stringtranslate.com

Teorema fundamental del cálculo

El teorema fundamental del cálculo es un teorema que vincula el concepto de diferenciar una función (calcular sus pendientes o tasa de cambio en cada punto del tiempo) con el concepto de integrar una función (calcular el área bajo su gráfica o el efecto acumulativo de pequeñas contribuciones). En términos generales, las dos operaciones pueden considerarse como inversas entre sí.

La primera parte del teorema, el primer teorema fundamental del cálculo , establece que para una función continua f , una antiderivada o integral indefinida F puede obtenerse como la integral de f en un intervalo con un límite superior variable. [1]

Por el contrario, la segunda parte del teorema, el segundo teorema fundamental del cálculo , establece que la integral de una función f en un intervalo fijo es igual al cambio de cualquier antiderivada F entre los extremos del intervalo. Esto simplifica enormemente el cálculo de una integral definida siempre que se pueda hallar una antiderivada mediante integración simbólica , evitando así la integración numérica .

Historia

El teorema fundamental del cálculo relaciona la diferenciación y la integración, mostrando que estas dos operaciones son esencialmente inversas entre sí. Antes del descubrimiento de este teorema, no se reconocía que estas dos operaciones estuvieran relacionadas. Los matemáticos de la antigua Grecia sabían cómo calcular el área mediante infinitesimales , una operación que ahora llamaríamos integración. Los orígenes de la diferenciación también son anteriores al teorema fundamental del cálculo por cientos de años; por ejemplo, en el siglo XIV las nociones de continuidad de funciones y movimiento fueron estudiadas por los Calculadores de Oxford y otros eruditos. La relevancia histórica del teorema fundamental del cálculo no es la capacidad de calcular estas operaciones, sino la comprensión de que las dos operaciones aparentemente distintas (cálculo de áreas geométricas y cálculo de gradientes) en realidad están estrechamente relacionadas.

A partir de la conjetura y la demostración del teorema fundamental del cálculo, se inicia el cálculo como una teoría unificada de integración y diferenciación. El primer enunciado y demostración publicados de una forma rudimentaria del teorema fundamental, de carácter marcadamente geométrico, [2] fue obra de James Gregory (1638-1675). [3] [4] Isaac Barrow (1630-1677) demostró una versión más generalizada del teorema, [5] mientras que su alumno Isaac Newton (1642-1727) completó el desarrollo de la teoría matemática circundante. Gottfried Leibniz (1646-1716) sistematizó el conocimiento en un cálculo para cantidades infinitesimales e introdujo la notación que se utiliza hoy en día.

Significado geométrico/Prueba

El área sombreada con rayas rojas es cercana a h multiplicada por f ( x ) . Alternativamente, si se conociera la función A ( x ) , esta área sería exactamente A ( x + h ) − A ( x ) . Estos dos valores son aproximadamente iguales, particularmente para valores h pequeños .

El primer teorema fundamental puede interpretarse de la siguiente manera: dada una función continua cuyo gráfico se representa como una curva, se define una "función de área" correspondiente tal que A ( x ) es el área debajo de la curva entre 0 y x . El área A ( x ) puede no ser fácil de calcular, pero se supone que está bien definida.

El área bajo la curva entre x y x + h se puede calcular hallando el área entre 0 y x + h y luego restando el área entre 0 y x . En otras palabras, el área de esta "franja" sería A ( x + h ) − A ( x ) .

Hay otra forma de estimar el área de esta misma franja. Como se muestra en la figura adjunta, h se multiplica por f ( x ) para hallar el área de un rectángulo que tiene aproximadamente el mismo tamaño que esta franja. Por lo tanto:

Dividiendo por h en ambos lados, obtenemos:

Esta estimación se convierte en una igualdad perfecta cuando h se acerca a 0: es decir, la derivada de la función de área A ( x ) existe y es igual a la función original f ( x ) , por lo que la función de área es una antiderivada de la función original.

Así, la derivada de la integral de una función (el área) es la función original, de modo que derivada e integral son operaciones inversas que se invierten entre sí. Esta es la esencia del Teorema Fundamental.

Intuición física

Intuitivamente, el teorema fundamental establece que la integración y la diferenciación son operaciones inversas que se invierten entre sí.

El segundo teorema fundamental dice que la suma de los cambios infinitesimales en una cantidad (la integral de la derivada de la cantidad) se suma al cambio neto en la cantidad. Para visualizar esto, imagina que viajas en un automóvil y quieres saber la distancia recorrida (el cambio neto en la posición a lo largo de la carretera). Puedes ver la velocidad en el velocímetro, pero no puedes mirar hacia afuera para ver tu ubicación. Cada segundo, puedes encontrar qué tan lejos ha viajado el automóvil usando distancia = velocidad × tiempo , es decir, multiplicando la velocidad actual (en kilómetros o millas por hora) por el intervalo de tiempo (1 segundo = hora). Sumando todos estos pequeños pasos, puedes aproximar la distancia total recorrida, a pesar de no mirar fuera del automóvil: Como se vuelve infinitesimalmente pequeño, la suma corresponde a la integración . Por lo tanto, la integral de la función de velocidad (la derivada de la posición) calcula qué tan lejos ha viajado el automóvil (el cambio neto en la posición).

El primer teorema fundamental dice que el valor de cualquier función es la tasa de cambio (la derivada) de su integral desde un punto de partida fijo hasta cualquier punto final elegido. Continuando con el ejemplo anterior utilizando una velocidad como función, puede integrarla desde el tiempo de partida hasta cualquier tiempo dado para obtener una función de distancia cuya derivada sea esa velocidad. (Para obtener la posición de su marcador de carretera, necesitaría sumar su posición de partida a esta integral y tener en cuenta si su viaje fue en la dirección de los marcadores de millas crecientes o decrecientes).

Declaraciones formales

El teorema consta de dos partes: la primera trata de la derivada de una antiderivada , mientras que la segunda trata de la relación entre antiderivadas e integrales definidas .

Primera parte

Esta parte a veces se denomina el primer teorema fundamental del cálculo . [6]

Sea f una función continua de valor real definida en un intervalo cerrado [ a , b ] . Sea F la función definida, para todo x en [ a , b ] , por

Entonces F es uniformemente continua en [ a , b ] y diferenciable en el intervalo abierto ( a , b ) , y para todo x en ( a , b ) entonces F es una antiderivada de f .

Corolario

Teorema fundamental del cálculo (animación)

El teorema fundamental se emplea a menudo para calcular la integral definida de una función para la que se conoce una antiderivada. En concreto, si es una función continua de valor real en y es una antiderivada de en , entonces

El corolario supone continuidad en todo el intervalo. Este resultado se refuerza ligeramente en la siguiente parte del teorema.

Segunda parte

Esta parte a veces se denomina el segundo teorema fundamental del cálculo [7] o el teorema de Newton-Leibniz .

Sea una función de valor real en un intervalo cerrado y una función continua en la que es una antiderivada de en :

Si es Riemann integrable en entonces

La segunda parte es algo más fuerte que el corolario porque no supone que sea continuo.

Cuando existe una antiderivada de , entonces hay infinitas antiderivadas para , que se obtienen sumando una constante arbitraria a . Además, por la primera parte del teorema, siempre existen antiderivadas de cuando es continua.

Prueba de la primera parte

Para una función dada f , defina la función F ( x ) como

Para cualesquiera dos números x 1 y x 1 + Δ x en [ a , b ] , tenemos

La última igualdad resulta de las propiedades básicas de las integrales y de la aditividad de las áreas.

Según el teorema del valor medio para la integración , existe un número real tal que

De lo cual se deduce que y por lo tanto que

Tomando el límite como y teniendo en cuenta que se obtiene que es, según la definición de la derivada, la continuidad de f , y el teorema del apretón . [8]

Prueba del corolario

Supóngase que F es una antiderivada de f , con f continua en [ a , b ] . Sea

Por la primera parte del teorema, sabemos que G también es una antiderivada de f . Como F ′ − G ′ = 0 el teorema del valor medio implica que FG es una función constante , es decir, hay un número c tal que G ( x ) = F ( x ) +  c para todo x en [ a , b ] . Si x = a , tenemos que significa que c = − F ( a ) . En otras palabras, G ( x ) = F ( x ) − F ( a ) , y por lo tanto

Prueba de la segunda parte

Esta es una prueba límite mediante sumas de Riemann .

Para empezar, recordemos el teorema del valor medio . Dicho brevemente, si F es continua en el intervalo cerrado [ a , b ] y diferenciable en el intervalo abierto ( a , b ) , entonces existe algún c en ( a , b ) tal que

Sea f integrable (Riemann) en el intervalo [ a , b ] , y sea f admitiendo una antiderivada F en ( a , b ) tal que F sea continua en [ a , b ] . Comencemos con la cantidad F ( b ) − F ( a ) . Sean números x 0 , ..., x n tales que

Resulta que

Ahora, sumamos cada F ( x i ) junto con su inverso aditivo, de modo que la cantidad resultante sea igual:

La cantidad anterior se puede escribir como la siguiente suma:

La función F es diferenciable en el intervalo ( a , b ) y continua en el intervalo cerrado [ a , b ] ; por lo tanto, también es diferenciable en cada intervalo ( x i −1 , x i ) y continua en cada intervalo [ x i −1 , x i ] . De acuerdo con el teorema del valor medio (arriba), para cada i existe un en ( x i −1 , x i ) tal que

Sustituyendo lo anterior en ( 1' ), obtenemos

El supuesto implica también que puede expresarse como de partición .

Una secuencia convergente de sumas de Riemann. El número en la esquina superior izquierda es el área total de los rectángulos azules. Convergen a la integral definida de la función.

Estamos describiendo el área de un rectángulo, multiplicando el ancho por la altura, y sumando las áreas. Cada rectángulo, en virtud del teorema del valor medio , describe una aproximación de la sección de la curva sobre la que se dibuja. Además, no es necesario que sea el mismo para todos los valores de i , o en otras palabras, el ancho de los rectángulos puede diferir. Lo que tenemos que hacer es aproximar la curva con n rectángulos. Ahora, a medida que el tamaño de las particiones se hace más pequeño y n aumenta, lo que da como resultado más particiones para cubrir el espacio, nos acercamos cada vez más al área real de la curva.

Al tomar el límite de la expresión cuando la norma de las particiones se acerca a cero, llegamos a la integral de Riemann . Sabemos que este límite existe porque se supuso que f era integrable. Es decir, tomamos el límite cuando la mayor de las particiones se acerca a cero en tamaño, de modo que todas las demás particiones son más pequeñas y el número de particiones se acerca al infinito.

Entonces, tomamos el límite en ambos lados de ( 2' ). Esto nos da

Ni F ( b ) ni F ( a ) dependen de , por lo que el límite en el lado izquierdo sigue siendo F ( b ) − F ( a ) .

La expresión del lado derecho de la ecuación define la integral sobre f de a a b . Por lo tanto, obtenemos lo que completa la prueba.

Relación entre las partes

Como se ha comentado anteriormente, de la primera parte se desprende una versión ligeramente más débil de la segunda parte.

De manera similar, casi parece que la primera parte del teorema se sigue directamente de la segunda. Es decir, supongamos que G es una antiderivada de f . Entonces por el segundo teorema, . Ahora, supongamos que . Entonces F tiene la misma derivada que G , y por lo tanto F ′ = f . Sin embargo, este argumento solo funciona si ya sabemos que f tiene una antiderivada, y la única forma en que sabemos que todas las funciones continuas tienen antiderivadas es por la primera parte del Teorema Fundamental. [9] Por ejemplo, si f ( x ) = e x 2 , entonces f tiene una antiderivada, a saber y no hay una expresión más simple para esta función. Por lo tanto, es importante no interpretar la segunda parte del teorema como la definición de la integral. De hecho, hay muchas funciones que son integrables pero carecen de antiderivadas elementales , y las funciones discontinuas pueden ser integrables pero carecer de antiderivadas en absoluto. Por el contrario, muchas funciones que tienen antiderivadas no son integrables en Riemann (véase la función de Volterra ).

Ejemplos

Calcular una integral particular

Supongamos que se desea calcular lo siguiente:

Aquí podemos utilizar y como antiderivada. Por lo tanto:

Usando la primera parte

Supongamos que se debe calcular. Utilizando la primera parte del teorema con se obtiene

Esto también se puede comprobar utilizando la segunda parte del teorema. En concreto, es una antiderivada de , por lo que

Una integral donde el corolario es insuficiente

Supongamos que Entonces no es continua en cero. Además, no se trata solo de una cuestión de cómo se define en cero, ya que el límite como de no existe. Por lo tanto, el corolario no se puede utilizar para calcular Pero considere la función Observe que es continua en (incluso en cero por el teorema de compresión ), y es diferenciable en con Por lo tanto, se aplica la segunda parte del teorema, y

Ejemplo teórico

El teorema se puede utilizar para demostrar que

Puesto que el resultado se sigue de,

Generalizaciones

La función f no tiene por qué ser continua en todo el intervalo. La parte I del teorema dice entonces: si f es cualquier función integrable de Lebesgue en [ a , b ] y x 0 es un número en [ a , b ] tal que f es continua en x 0 , entonces

es diferenciable para x = x 0 con F ′( x 0 ) = f ( x 0 ) . Podemos relajar aún más las condiciones sobre f y suponer que es meramente integrable localmente. En ese caso, podemos concluir que la función F es diferenciable casi en todas partes y F ′( x ) = f ( x ) casi en todas partes. En la línea real, esta afirmación es equivalente al teorema de diferenciación de Lebesgue . Estos resultados siguen siendo válidos para la integral de Henstock-Kurzweil , que permite una clase más amplia de funciones integrables. [10]

En dimensiones superiores, el teorema de diferenciación de Lebesgue generaliza el teorema fundamental del cálculo al afirmar que para casi cada x , el valor promedio de una función f sobre una bola de radio r centrada en x tiende a f ( x ) cuando r tiende a 0.

La segunda parte del teorema es válida para cualquier función integrable de Lebesgue f , que tenga una antiderivada F (no todas las funciones integrables la tienen, sin embargo). En otras palabras, si una función real F en [ a , b ] admite una derivada f ( x ) en cada punto x de [ a , b ] y si esta derivada f es integrable de Lebesgue en [ a , b ] , entonces [11]

Este resultado puede fallar para funciones continuas F que admiten una derivada f ( x ) en casi todo punto x , como lo muestra el ejemplo de la función de Cantor . Sin embargo, si F es absolutamente continua , admite una derivada F′ ( x ) en casi todo punto x , y además F′ es integrable, con F ( b ) − F ( a ) igual a la integral de F′ en [ a , b ] . Por el contrario, si f es cualquier función integrable, entonces F como se da en la primera fórmula será absolutamente continua con F′ = f casi en todas partes.

Las condiciones de este teorema pueden ser nuevamente relajadas al considerar las integrales involucradas como integrales de Henstock-Kurzweil . Específicamente, si una función continua F ( x ) admite una derivada f ( x ) en todos los puntos excepto en un número contable, entonces f ( x ) es integrable según Henstock-Kurzweil y F ( b ) − F ( a ) es igual a la integral de f en [ a , b ] . La diferencia aquí es que no es necesario suponer la integrabilidad de f . [12]

La versión del teorema de Taylor que expresa el término de error como una integral puede verse como una generalización del teorema fundamental.

Existe una versión del teorema para funciones complejas : supongamos que U es un conjunto abierto en C y f  : UC es una función que tiene una antiderivada holomorfa F en U . Entonces, para cada curva γ : [ a , b ] → U , la integral de la curva se puede calcular como

El teorema fundamental puede generalizarse a integrales de curvas y superficies en dimensiones superiores y en variedades . Una de esas generalizaciones que ofrece el cálculo de superficies en movimiento es la evolución temporal de las integrales . Las extensiones más conocidas del teorema fundamental del cálculo en dimensiones superiores son el teorema de la divergencia y el teorema del gradiente .

Una de las generalizaciones más poderosas en esta dirección es el teorema generalizado de Stokes (a veces conocido como el teorema fundamental del cálculo multivariable): [13] Sea M una variedad suave orientada por partes de dimensión n y sea una forma ( n  − 1) suave y compactamente soportada en M . Si M denota el límite de M dada su orientación inducida , entonces

Aquí d es la derivada exterior , que se define utilizando únicamente la estructura de la variedad.

El teorema se utiliza a menudo en situaciones en las que M es una subvariedad orientada e incorporada de alguna variedad mayor (por ejemplo, R k ) en la que se define la forma .

El teorema fundamental del cálculo nos permite plantear una integral definida como una ecuación diferencial ordinaria de primer orden. puede plantearse como con como el valor de la integral.

Véase también

Notas

Referencias

  1. ^ Weisstein, Eric W. "Primer teorema fundamental del cálculo". mathworld.wolfram.com . Consultado el 15 de abril de 2024 .
  2. ^ Malet, Antoni (1993). «James Gregorie sobre las tangentes y la regla de «Taylor» para desarrollos de series». Archivo de Historia de las Ciencias Exactas . 46 (2). Springer-Verlag : 97–137. doi :10.1007/BF00375656. S2CID  120101519. El pensamiento de Gregorie, por otra parte, pertenece a un marco conceptual de marcado carácter geométrico. (página 137)
  3. ^ Véase, por ejemplo, Marlow Anderson, Victor J. Katz, Robin J. Wilson, Sherlock Holmes en Babilonia y otros cuentos de historia matemática , Mathematical Association of America, 2004, pág. 114.
  4. ^ Gregorio, James (1668). Geometriae Pars Universalis. Museo Galileo : Patavii: typis heredum Pauli Frambotti.
  5. ^ Niño, James Mark; Barrow, Isaac (1916). Las lecciones geométricas de Isaac Barrow. Chicago: Open Court Publishing Company .
  6. ^ Apóstol 1967, §5.1
  7. ^ Apóstol 1967, §5.3
  8. ^ Leithold, L. (1996), El cálculo de una sola variable (6.ª ed.), Nueva York: HarperCollins College Publishers, pág. 380.
  9. ^ Spivak, Michael (1980), Cálculo (2.ª ed.), Houston, Texas: Publish or Perish Inc.
  10. ^ Bartle (2001), Teoría 4.11.
  11. ^ Rudin 1987, tomo 7.21
  12. ^ Bartle (2001), Teoría 4.7.
  13. ^ Spivak, M. (1965). Cálculo de variedades . Nueva York: WA Benjamin. pp. 124-125. ISBN. 978-0-8053-9021-6.

Bibliografía

Lectura adicional

Enlaces externos