stringtranslate.com

Serie de Taylor

A medida que aumenta el grado del polinomio de Taylor, se acerca a la función correcta. Esta imagen muestra sen x y sus aproximaciones de Taylor mediante polinomios de grado 1 , 3 , 5 , 7 , 9 , 11 y 13 en x = 0 .

En matemáticas , la serie de Taylor o desarrollo de Taylor de una función es una suma infinita de términos que se expresan en términos de las derivadas de la función en un único punto. Para la mayoría de las funciones comunes, la función y la suma de su serie de Taylor son iguales cerca de este punto. Las series de Taylor reciben su nombre de Brook Taylor , quien las introdujo en 1715. Una serie de Taylor también se denomina serie de Maclaurin cuando 0 es el punto donde se consideran las derivadas, en honor a Colin Maclaurin , quien hizo un uso extensivo de este caso especial de la serie de Taylor en el siglo XVIII.

La suma parcial formada por los primeros n + 1 términos de una serie de Taylor es un polinomio de grado n que se llama el n º polinomio de Taylor de la función. Los polinomios de Taylor son aproximaciones de una función, que se vuelven generalmente más precisas a medida que n aumenta. El teorema de Taylor proporciona estimaciones cuantitativas sobre el error introducido por el uso de tales aproximaciones. Si la serie de Taylor de una función es convergente , su suma es el límite de la secuencia infinita de los polinomios de Taylor. Una función puede diferir de la suma de su serie de Taylor, incluso si su serie de Taylor es convergente. Una función es analítica en un punto x si es igual a la suma de su serie de Taylor en algún intervalo abierto (o disco abierto en el plano complejo ) que contiene x . Esto implica que la función es analítica en cada punto del intervalo (o disco).

Definición

La serie de Taylor de una función real o compleja f  ( x ) , que es infinitamente diferenciable en un número real o complejo a , es la serie de potencias Aquí, n ! denota el factorial de n . La función f ( n ) ( a ) denota la derivada n ésima de f evaluada en el punto a . La derivada de orden cero de f se define como f misma y ( xa ) 0 y 0! se definen como 1 . Esta serie se puede escribir utilizando la notación sigma , como en la fórmula del lado derecho. [1] Con a = 0 , la serie de Maclaurin toma la forma: [2]

Ejemplos

La serie de Taylor de cualquier polinomio es el polinomio mismo.

La serie Maclaurin de 1/1 − x es la serie geométrica

Entonces, sustituyendo x por 1 − x , la serie de Taylor de 1/incógnita en a = 1 es

Al integrar la serie de Maclaurin anterior, encontramos la serie de Maclaurin de ln(1 − x ) , donde ln denota el logaritmo natural :

La serie de Taylor correspondiente de ln x en a = 1 es

y de manera más general, la serie de Taylor correspondiente de ln x en un punto arbitrario distinto de cero a es:

La serie de Maclaurin de la función exponencial e x es

La expansión anterior se cumple porque la derivada de e x con respecto a x también es e x , y e 0 es igual a 1. Esto deja los términos ( x − 0) n en el numerador y n ! en el denominador de cada término en la suma infinita.

Historia

El antiguo filósofo griego Zenón de Elea consideró el problema de sumar una serie infinita para lograr un resultado finito, pero lo rechazó como una imposibilidad; [3] el resultado fue la paradoja de Zenón . Más tarde, Aristóteles propuso una resolución filosófica de la paradoja, pero el contenido matemático aparentemente quedó sin resolver hasta que lo retomó Arquímedes , como lo había sido antes de Aristóteles por el atomista presocrático Demócrito . Fue a través del método de agotamiento de Arquímedes que se pudo realizar un número infinito de subdivisiones progresivas para lograr un resultado finito. [4] Liu Hui empleó de forma independiente un método similar unos siglos después. [5]

En el siglo XIV, los primeros ejemplos de series de Taylor específicas (pero no del método general) fueron proporcionados por el matemático indio Madhava de Sangamagrama . [6] Aunque no sobrevive ningún registro de su trabajo, los escritos de sus seguidores en la escuela de astronomía y matemáticas de Kerala sugieren que encontró la serie de Taylor para las funciones trigonométricas de seno , coseno y arcotangente (véase serie de Madhava ). Durante los dos siglos siguientes, sus seguidores desarrollaron más expansiones de series y aproximaciones racionales.

A finales de 1670, James Gregory recibió en una carta de John Collins varias series de Maclaurin ( y ) derivadas por Isaac Newton , y le dijo que Newton había desarrollado un método general para expandir funciones en serie. De hecho, Newton había utilizado un método engorroso que implicaba una larga división de series y una integración término por término, pero Gregory no lo sabía y se propuso descubrir un método general por sí mismo. A principios de 1671, Gregory descubrió algo parecido a la serie general de Maclaurin y envió una carta a Collins que incluía series para (la integral de ), (la integral de sec , la función inversa de Gudermann ), y (la función de Gudermann ). Sin embargo, pensando que simplemente había vuelto a desarrollar un método de Newton, Gregory nunca describió cómo obtuvo estas series, y solo se puede inferir que entendió el método general examinando un trabajo preliminar que había garabateado en el reverso de otra carta de 1671. [7]

Entre 1691 y 1692, Isaac Newton escribió una exposición explícita de la serie de Taylor y Maclaurin en una versión inédita de su obra De Quadratura Curvarum . Sin embargo, esta obra nunca se completó y las secciones pertinentes se omitieron de las partes publicadas en 1704 bajo el título Tractatus de Quadratura Curvarum .

No fue hasta 1715 que Brook Taylor publicó finalmente un método general para construir estas series para todas las funciones para las que existen [8] , de quien ahora reciben el nombre las series.

La serie de Maclaurin debe su nombre a Colin Maclaurin , un matemático escocés que publicó el caso especial del resultado de Taylor a mediados del siglo XVIII.

Funciones analíticas

La función e (−1/ x 2 ) no es analítica en x = 0 : la serie de Taylor es idénticamente 0, aunque la función no lo sea.

Si f  ( x ) está dada por una serie de potencias convergentes en un disco abierto centrado en b en el plano complejo (o un intervalo en la recta real), se dice que es analítica en esta región. Por lo tanto, para x en esta región, f está dada por una serie de potencias convergentes

Diferenciando por x la fórmula anterior n veces, y luego estableciendo x = b, obtenemos:

y por lo tanto la expansión en serie de potencias concuerda con la serie de Taylor. Por lo tanto, una función es analítica en un disco abierto centrado en b si y solo si su serie de Taylor converge al valor de la función en cada punto del disco.

Si f  ( x ) es igual a la suma de su serie de Taylor para todo x en el plano complejo, se llama función entera . Los polinomios, la función exponencial e x y las funciones trigonométricas seno y coseno son ejemplos de funciones enteras. Ejemplos de funciones que no son enteras incluyen la raíz cuadrada , el logaritmo , la función trigonométrica tangente y su inversa, arctan . Para estas funciones, la serie de Taylor no converge si x está lejos de b . Es decir, la serie de Taylor diverge en x si la distancia entre x y b es mayor que el radio de convergencia . La serie de Taylor se puede utilizar para calcular el valor de una función entera en cada punto, si el valor de la función y de todas sus derivadas se conocen en un solo punto.

Los usos de la serie de Taylor para funciones analíticas incluyen:

  1. Las sumas parciales ( polinomios de Taylor ) de la serie se pueden utilizar como aproximaciones de la función. Estas aproximaciones son adecuadas si se incluyen suficientes términos.
  2. La diferenciación e integración de series de potencias se puede realizar término por término y, por lo tanto, es particularmente fácil.
  3. Una función analítica se extiende de forma única a una función holomorfa en un disco abierto en el plano complejo . Esto hace que la maquinaria del análisis complejo esté disponible.
  4. La serie (truncada) se puede utilizar para calcular valores de funciones numéricamente (a menudo reformulando el polinomio en la forma de Chebyshev y evaluándolo con el algoritmo de Clenshaw ).
  5. Las operaciones algebraicas se pueden realizar fácilmente en la representación de series de potencias; por ejemplo, la fórmula de Euler se deduce de las expansiones de series de Taylor para funciones trigonométricas y exponenciales. Este resultado es de importancia fundamental en campos como el análisis armónico .
  6. Las aproximaciones que utilizan los primeros términos de una serie de Taylor pueden hacer posibles problemas que de otro modo serían irresolubles para un dominio restringido; este enfoque se utiliza a menudo en física.

Error de aproximación y convergencia

La función seno (azul) se aproxima estrechamente a su polinomio de Taylor de grado 7 (rosa) para un período completo centrado en el origen.
Los polinomios de Taylor para ln(1 + x ) sólo proporcionan aproximaciones precisas en el rango −1 < x ≤ 1 . Para x > 1 , los polinomios de Taylor de mayor grado proporcionan aproximaciones peores.
Aproximaciones de Taylor para ln(1 + x ) (negro). Para x > 1 , las aproximaciones divergen.

En la imagen se muestra una aproximación precisa del seno x alrededor del punto x = 0. La curva rosa es un polinomio de grado siete:

El error en esta aproximación no es mayor que | x | 9  / 9! . Para un ciclo completo centrado en el origen ( −π < x < π ) el error es menor que 0,08215. En particular, para −1 < x < 1 , el error es menor que 0,000003.

En contraste, también se muestra una imagen de la función logaritmo natural ln(1 + x ) y algunos de sus polinomios de Taylor alrededor de a = 0 . Estas aproximaciones convergen a la función solo en la región −1 < x ≤ 1 ; fuera de esta región, los polinomios de Taylor de grado superior son peores aproximaciones para la función.

El error en que se incurre al aproximar una función por su polinomio de Taylor de grado n se denomina residuo y se denota por la función R n ( x ) . El teorema de Taylor se puede utilizar para obtener un límite para el tamaño del residuo .

En general, las series de Taylor no necesitan ser convergentes en absoluto. De hecho, el conjunto de funciones con una serie de Taylor convergente es un conjunto exiguo en el espacio de Fréchet de funciones suaves . Incluso si la serie de Taylor de una función f converge, su límite no necesita ser igual al valor de la función f  ( x ) . Por ejemplo, la función

es infinitamente diferenciable en x = 0 y tiene todas las derivadas cero en ese punto. En consecuencia, la serie de Taylor de f  ( x ) en torno a x = 0 es idénticamente cero. Sin embargo, f  ( x ) no es la función cero, por lo que no es igual a su serie de Taylor en torno al origen. Por lo tanto, f  ( x ) es un ejemplo de una función suave no analítica .

En el análisis real , este ejemplo muestra que existen funciones infinitamente diferenciables f  ( x ) cuyas series de Taylor no son iguales a f  ( x ) incluso si convergen. Por el contrario, las funciones holomorfas estudiadas en el análisis complejo siempre poseen una serie de Taylor convergente, e incluso la serie de Taylor de las funciones meromórficas , que podrían tener singularidades, nunca converge a un valor diferente de la función misma. La función compleja e −1/ z 2 , sin embargo, no tiende a 0 cuando z tiende a 0 a lo largo del eje imaginario, por lo que no es continua en el plano complejo y su serie de Taylor no está definida en 0.

En términos más generales, toda sucesión de números reales o complejos puede aparecer como coeficientes en la serie de Taylor de una función infinitamente diferenciable definida sobre la recta real, una consecuencia del lema de Borel . Como resultado, el radio de convergencia de una serie de Taylor puede ser cero. Incluso existen funciones infinitamente diferenciables definidas sobre la recta real cuya serie de Taylor tiene un radio de convergencia 0 en todas partes. [9]

Una función no puede escribirse como una serie de Taylor centrada en una singularidad ; en estos casos, a menudo se puede lograr una expansión en serie si se permiten también potencias negativas de la variable x ; véase la serie de Laurent . Por ejemplo, f  ( x ) = e −1/ x 2 puede escribirse como una serie de Laurent.

Generalización

La generalización de la serie de Taylor converge al valor de la función misma para cualquier función continua acotada en (0,∞) , y esto se puede hacer utilizando el cálculo de diferencias finitas . Específicamente, el siguiente teorema, debido a Einar Hille , que para cualquier t > 0 , [10]

Aquí Δen
es el n -ésimo operador de diferencia finita con tamaño de paso h . La serie es precisamente la serie de Taylor, excepto que las diferencias divididas aparecen en lugar de la diferenciación: la serie es formalmente similar a la serie de Newton . Cuando la función f es analítica en a , los términos de la serie convergen a los términos de la serie de Taylor y, en este sentido, generaliza la serie de Taylor habitual.

En general, para cualquier secuencia infinita a i , se cumple la siguiente identidad de serie de potencias:

Así, en particular,

La serie de la derecha es el valor esperado de f  ( a + X ) , donde X es una variable aleatoria distribuida por Poisson que toma el valor jh con probabilidad e t / h · ( toneladas por hora ) j/yo ! . Por lo tanto,

La ley de los grandes números implica que la identidad se cumple. [11]

Lista de series de Maclaurin de algunas funciones comunes

A continuación se presentan varias expansiones importantes de la serie de Maclaurin. Todas estas expansiones son válidas para argumentos complejos x .

Función exponencial

La función exponencial e x (en azul), y la suma de los primeros n + 1 términos de su serie de Taylor en 0 (en rojo).

La función exponencial (con base e ) tiene serie de Maclaurin [12]

Converge para todo x .

La función generadora exponencial de los números de Bell es la función exponencial del predecesor de la función exponencial:

Logaritmo natural

El logaritmo natural (con base e ) tiene serie de Maclaurin [13]

La última serie se conoce como serie de Mercator , llamada así por Nicholas Mercator (ya que fue publicada en su tratado de 1668 Logarithmotechnia ). [14] Ambas series convergen para . (Además, la serie para ln(1 − x ) converge para x = −1 , y la serie para ln(1 + x ) converge para x = 1 .) [13]

Serie geométrica

Las series geométricas y sus derivadas tienen serie de Maclaurin

Todas son convergentes para . Estos son casos especiales de la serie binomial que se dan en la siguiente sección.

Serie binomial

La serie binomial es la serie de potencias

cuyos coeficientes son los coeficientes binomiales generalizados [15]

(Si n = 0 , este producto es un producto vacío y tiene valor 1). Converge para cualquier número real o complejo α .

Cuando α = −1 , se trata esencialmente de la serie geométrica infinita mencionada en la sección anterior. Los casos especiales α = 1/2 y α = − 1/2 da lafunción raíz cuadrada y su inversa : [16]

Cuando sólo se conserva el término lineal , esto se simplifica a la aproximación binomial .

Funciones trigonométricas

Las funciones trigonométricas habituales y sus inversas tienen la siguiente serie de Maclaurin: [17]

Todos los ángulos se expresan en radianes . Los números B k que aparecen en las expansiones de tan x son los números de Bernoulli . Los E k en la expansión de sec x son los números de Euler . [18]

Funciones hiperbólicas

Las funciones hiperbólicas tienen series de Maclaurin estrechamente relacionadas con las series de las funciones trigonométricas correspondientes: [19]

Los números B k que aparecen en la serie para tanh x son los números de Bernoulli . [19]

Funciones polilogarítmicas

Los polilogaritmos tienen estas identidades definitorias:

Las funciones chi de Legendre se definen de la siguiente manera:

Y las fórmulas que se presentan a continuación se llaman integrales tangentes inversas :

En termodinámica estadística estas fórmulas son de gran importancia.

Funciones elípticas

Las integrales elípticas completas de primer tipo K y de segundo tipo E se pueden definir de la siguiente manera:

Las funciones theta de Jacobi describen el mundo de las funciones modulares elípticas y tienen estas series de Taylor:

La secuencia de números de partición regular P(n) tiene esta función generadora:

La secuencia de números de partición estricta Q(n) tiene esa función generadora:

Cálculo de la serie de Taylor

Existen varios métodos para el cálculo de la serie de Taylor de un gran número de funciones. Se puede intentar utilizar la definición de la serie de Taylor, aunque esto a menudo requiere generalizar la forma de los coeficientes de acuerdo con un patrón fácilmente aparente. Alternativamente, se pueden utilizar manipulaciones como la sustitución, la multiplicación o la división, la suma o la resta de la serie de Taylor estándar para construir la serie de Taylor de una función, en virtud de que la serie de Taylor es una serie de potencias. En algunos casos, también se puede derivar la serie de Taylor aplicando repetidamente la integración por partes . Particularmente conveniente es el uso de sistemas de álgebra computacional para calcular la serie de Taylor.

Primer ejemplo

Para calcular el polinomio de Maclaurin de séptimo grado para la función

Primero se puede reescribir la función como

La composición de dos funciones y la serie de Taylor para el logaritmo natural es (usando la notación O grande )

y para la función coseno

Los primeros términos de la segunda serie se pueden sustituir en cada término de la primera serie. Como el primer término de la segunda serie tiene grado 2, tres términos de la primera serie son suficientes para obtener un polinomio de séptimo grado:

Como el coseno es una función par , los coeficientes para todas las potencias impares son cero.

Segundo ejemplo

Supongamos que queremos la serie de Taylor en 0 de la función

La serie de Taylor para la función exponencial es

y la serie para el coseno es

Supongamos que la serie para su cociente es

Multiplicando ambos lados por el denominador y luego expandiéndolo como una serie obtenemos

Comparando los coeficientes de con los coeficientes de

Los coeficientes de la serie para se pueden calcular de a uno por vez, lo que equivale a una división larga de la serie para y :

Tercer ejemplo

Aquí empleamos un método llamado "expansión indirecta" para expandir la función dada. Este método utiliza la conocida expansión de Taylor de la función exponencial. Para expandir (1 + x ) e x como una serie de Taylor en x , utilizamos la conocida serie de Taylor de la función e x :

De este modo,

Series de Taylor como definiciones

Clásicamente, las funciones algebraicas se definen mediante una ecuación algebraica, y las funciones trascendentales (incluidas las analizadas anteriormente) se definen mediante alguna propiedad que se cumple para ellas, como una ecuación diferencial . Por ejemplo, la función exponencial es la función que es igual a su propia derivada en todas partes y asume el valor 1 en el origen. Sin embargo, también se puede definir una función analítica mediante su serie de Taylor.

Las series de Taylor se utilizan para definir funciones y " operadores " en diversas áreas de las matemáticas. En particular, esto es cierto en áreas en las que las definiciones clásicas de funciones no funcionan. Por ejemplo, utilizando las series de Taylor, se pueden extender las funciones analíticas a conjuntos de matrices y operadores, como la matriz exponencial o la matriz logarítmica .

En otras áreas, como el análisis formal, resulta más conveniente trabajar directamente con las series de potencias . Así, se puede definir una solución de una ecuación diferencial como una serie de potencias que, se espera demostrar, es la serie de Taylor de la solución deseada.

Serie de Taylor en varias variables

La serie de Taylor también puede generalizarse a funciones de más de una variable con [20]

Por ejemplo, para una función que depende de dos variables, x e y , la serie de Taylor de segundo orden respecto al punto ( a , b ) es

donde los subíndices denotan las respectivas derivadas parciales .

Serie de Taylor de segundo orden en varias variables

Una expansión en serie de Taylor de segundo orden de una función escalar de más de una variable se puede escribir de manera compacta como

donde D f  ( a ) es el gradiente de f evaluado en x = a y D 2 f  ( a ) es la matriz hessiana . Aplicando la notación de índices múltiples, la serie de Taylor para varias variables se convierte en

lo cual debe entenderse como una versión multiíndice aún más abreviada de la primera ecuación de este párrafo, con una analogía completa con el caso de una sola variable.

Ejemplo

Aproximación de la serie de Taylor de segundo orden (en naranja) de una función f  ( x , y ) = e x ln(1 + y ) alrededor del origen.

Para calcular una expansión de la serie de Taylor de segundo orden alrededor del punto ( a , b ) = (0, 0) de la función

Primero se calculan todas las derivadas parciales necesarias:

Evaluando estas derivadas en el origen se obtienen los coeficientes de Taylor

Sustituyendo estos valores en la fórmula general

produce

Como ln(1 + y ) es analítico en | y | < 1 , tenemos

Comparación con las series de Fourier

La serie trigonométrica de Fourier permite expresar una función periódica (o una función definida en un intervalo cerrado [ a , b ] ) como una suma infinita de funciones trigonométricas ( senos y cosenos ). En este sentido, la serie de Fourier es análoga a la serie de Taylor, ya que esta última permite expresar una función como una suma infinita de potencias . Sin embargo, las dos series difieren entre sí en varias cuestiones relevantes:

Véase también

Notas

  1. ^ Banner 2007, pág. 530.
  2. ^ Thomas y Finney 1996, Véase §8.9.
  3. ^ Lindberg 2007, pág. 33.
  4. ^ Kline 1990, págs. 35–37.
  5. ^ Boyer y Merzbach 1991, págs. 202-203.
  6. ^ Dani 2012.
  7. ^
    • Turnbull 1939, págs. 168-174
    • Roy 1990
    • Maleta 1993
  8. ^
    • Taylor 1715, pág. 21–23, véase Prop. VII, Teoría 3, Cor. 2. Véase Struik 1969, págs. 329–332 para la traducción al inglés, y Bruce 2007 para la retraducción.
    • Feigenbaum 1985
  9. ^ Rudin 1980, p. 418, Véase Ejercicio 13.
  10. ^
    • Feller 2003, págs. 230–232
    • Hille y Phillips 1957, págs. 300–327
  11. ^ Feller 2003, pág. 231.
  12. ^ Abramowitz y Stegun 1970, pág. 69.
  13. ^ desde
    • Bilodeau, Thie y Keough 2010, pág. 252
    • Abramowitz y Stegun 1970, pág. 15
  14. ^ Hofmann 1939.
  15. ^ Abramowitz y Stegun 1970, pág. 14.
  16. ^ Abramowitz y Stegun 1970, pág. 15.
  17. ^ Abramowitz y Stegun 1970, pág. 75, 81.
  18. ^ Abramowitz y Stegun 1970, pág. 75.
  19. ^ ab Abramowitz y Stegun 1970, pág. 85.
  20. ^
    • Hörmander 2002, véase la ecuación. 1.1.7 y 1.1.7′
    • Kolk y Duistermaat 2010, pág. 59–63

Referencias

Enlaces externos