En matemáticas , la serie de Taylor o expansión 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 solo 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 llevan el nombre de Brook Taylor , quien las introdujo en 1715. Una serie de Taylor también se llama 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 series 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 denomina n- ésimo polinomio de Taylor de la función. Los polinomios de Taylor son aproximaciones de una función, que generalmente se vuelven más precisas a medida que n aumenta. El teorema de Taylor proporciona estimaciones cuantitativas del 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 contenga 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 f ( x ) real o de valor complejo , 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 enésima derivada de f evaluada en el punto a . La derivada de orden cero de f se define como la propia f y ( x − a ) 0 y 0. ambos están definidos como 1 . Esta serie se puede escribir usando 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 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 de 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 fue retomado por Arquímedes , como lo había sido antes de Aristóteles por el atomista presocrático Demócrito . Fue mediante el 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 más tarde. [5]
En el siglo XIV, los primeros ejemplos de series específicas de Taylor (pero no del método general) fueron dados 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 (ver serie Madhava ). Durante los dos siglos siguientes, sus seguidores desarrollaron nuevas expansiones de series y aproximaciones racionales.
A finales de 1670, a James Gregory se le mostraron en una carta de John Collins varias series de Maclaurin ( y ) derivadas de Isaac Newton , y se 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 incluyendo series para (la integral de ), (la integral de sec , la función gudermanniana inversa ) y (la función gudermanniana). Sin embargo, pensando que simplemente había redesarrollado un método de Newton, Gregory nunca describió cómo obtuvo estas series, y sólo se puede inferir que entendió el método general examinando los borradores que había garabateado en el reverso de otra carta de 1671. [7]
En 1691-1692, Isaac Newton escribió una declaración explícita de la serie de Taylor y Maclaurin en una versión inédita de su obra De Quadratura Curvarum . Sin embargo, este trabajo nunca se completó y las secciones relevantes se omitieron en las partes publicadas en 1704 bajo el título Tractatus de Quadratura Curvarum .
No fue hasta 1715 que Brook Taylor [8] finalmente publicó un método general para construir estas series para todas las funciones para las que existen , de quien ahora reciben el nombre las series.
La serie Maclaurin lleva el nombre de Colin Maclaurin , un profesor de Edimburgo, que publicó el caso especial del resultado de Taylor a mediados del siglo XVIII.
Funciones analíticas
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. Así, para x en esta región, f está dada por una serie de potencias convergentes
Diferenciando por x la fórmula anterior n veces, luego estableciendo x = b se obtiene:
y por tanto el desarrollo de la serie de potencias concuerda con la serie de Taylor. Por tanto, una función es analítica en un disco abierto centrado en b si y sólo 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 entero . Los polinomios, la función exponencial e x y las funciones trigonométricas seno y coseno son ejemplos de funciones completas. Ejemplos de funciones que no son completas incluyen la raíz cuadrada , el logaritmo , la función trigonométrica tangente y su inversa, arctan . Para estas funciones las series de Taylor no convergen 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 completa 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:
Las sumas parciales (los polinomios de Taylor ) de la serie se pueden utilizar como aproximaciones de la función. Estas aproximaciones son buenas si se incluyen suficientes términos.
La diferenciación e integración de series de potencias se puede realizar término por término y, por tanto, es particularmente sencilla.
La serie (truncada) se puede utilizar para calcular valores de funciones numéricamente (a menudo reformulando el polinomio a la forma de Chebyshev y evaluándolo con el algoritmo de Clenshaw ).
Las operaciones algebraicas se pueden realizar fácilmente en la representación de series de potencias; por ejemplo, la fórmula de Euler se deriva de expansiones en series de Taylor para funciones trigonométricas y exponenciales. Este resultado es de fundamental importancia en campos como el análisis armónico .
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.
En la imagen se muestra una aproximación precisa de sen x alrededor del punto x = 0 . La curva rosa es un polinomio de grado siete:
El error en esta aproximación no es más que | x | 9/9 ! . Para un ciclo completo centrado en el origen ( −π < x < π ) el error es inferior a 0,08215. En particular, para −1 < x < 1 , el error es menor que 0,000003.
Por el contrario, 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 sólo en la región −1 < x ≤ 1 ; fuera de esta región, los polinomios de Taylor de mayor grado son peores aproximaciones de la función.
El error incurrido al aproximar una función por su polinomio de Taylor de enésimo grado se llama resto o residual y se denota por la función R n ( x ) . El teorema de Taylor se puede utilizar para obtener un límite en el tamaño del resto .
En general, las series de Taylor no necesitan ser convergentes en absoluto. De hecho, el conjunto de funciones con 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 tiene por qué 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 allí. En consecuencia, la serie de Taylor de f ( x ) alrededor de 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 alrededor del origen. Por tanto, f ( x ) es un ejemplo de función suave no analítica .
En 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 análisis complejo siempre poseen una serie de Taylor convergente, e incluso la serie de Taylor de funciones meromórficas , que podrían tener singularidades, nunca convergen a un valor diferente de la función misma. Sin embargo, la función compleja e −1/ z 2 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.
De manera más general, toda secuencia 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, consecuencia del lema de Borel . Como resultado, el radio de convergencia de una serie de Taylor puede ser cero. Incluso hay funciones infinitamente diferenciables definidas sobre la recta real cuyas series de Taylor tienen un radio de convergencia 0 en todas partes. [9]
Una función no se puede escribir como una serie de Taylor centrada en una singularidad ; en estos casos, a menudo todavía se puede lograr una expansión en serie si se permiten también potencias negativas de la variable x ; ver serie de Laurent . Por ejemplo, f ( x ) = e −1/ x 2 se puede escribir 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 usando el cálculo de diferencias finitas . Específicamente, el siguiente teorema, debido a Einar Hille , que para cualquier t > 0 , [10]
Aquí Δnorte hes el enésimo operador de diferencias finitas con tamaño de paso h . La serie es precisamente la serie de Taylor, excepto que aparecen diferencias divididas en lugar de 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:
La última serie se conoce como Serie Mercator , llamada así en honor a Nicholas Mercator (ya que fue publicada en su tratado Logarithmotechnia de 1668 ). [14] Ambas series convergen para . (Además, la serie de ln(1 − x ) converge para x = −1 , y la serie de ln(1 + x ) converge para x = 1. ) [13]
(Si n = 0 , este producto es un producto vacío y tiene valor 1.) Converge para cualquier número real o complejo α .
Cuando α = −1 , esta es esencialmente la serie geométrica infinita mencionada en la sección anterior. Los casos especiales α = 1/2 y α = − 1/2 da la función raíz cuadrada y su inversa : [16]
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 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 de tanh x son los números de Bernoulli . [19]
Funciones polilogarítmicas
Los polilogaritmos tienen estas identidades definitorias:
La secuencia numérica 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 series 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 según un patrón fácilmente aparente. Alternativamente, se pueden utilizar manipulaciones como sustitución, multiplicación o división, suma o resta de series 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 series 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 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. Debido a que el primer término de la segunda serie tiene grado 2, tres términos de la primera serie son suficientes para dar un polinomio de séptimo grado:
Como el coseno es una función par , los coeficientes de 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 del coseno es
Supongamos que la serie de su cociente es
Multiplicar ambos lados por el denominador y luego expandirlo como una serie produce
Comparando los coeficientes de con los coeficientes de
De este modo , los coeficientes de la serie para se pueden calcular uno a la 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 , usamos la serie de Taylor conocida de la función e x :
De este modo,
Serie 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 por 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 donde las definiciones clásicas de funciones fallan. Por ejemplo, utilizando series de Taylor, se pueden extender funciones analíticas a conjuntos de matrices y operadores, como la matriz exponencial o la matriz logaritmo .
En otras áreas, como el análisis formal, es más conveniente trabajar directamente con las propias series de potencias . Así, se puede definir una solución de una ecuación diferencial como una serie de potencias que, como 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 se puede generalizar 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 alrededor del punto ( a , b ) es
que debe entenderse como una versión aún más abreviada de múltiples índices de la primera ecuación de este párrafo, con una analogía completa con el caso de una sola variable.
Ejemplo
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:
La evaluación de estas derivadas en el origen da los coeficientes de Taylor.
Sustituyendo estos valores en la fórmula general.
produce
Dado que ln(1 + y ) es analítico en | y | < 1 , tenemos
Comparación con la serie 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 se diferencian entre sí en varios aspectos relevantes:
Los truncamientos finitos de la serie de Taylor de f ( x ) alrededor del punto x = a son todos exactamente iguales a f en a . Por el contrario, la serie de Fourier se calcula integrando en un intervalo completo, por lo que generalmente no existe un punto en el que todos los truncamientos finitos de la serie sean exactos.
El cálculo de la serie de Taylor requiere el conocimiento de la función en una pequeña vecindad arbitraria de un punto, mientras que el cálculo de la serie de Fourier requiere conocer la función en todo su intervalo de dominio . En cierto sentido se podría decir que la serie de Taylor es "local" y la serie de Fourier es "global".
La serie de Taylor se define para una función que tiene infinitas derivadas en un solo punto, mientras que la serie de Fourier se define para cualquier función integrable . En particular, la función no podría ser diferenciable en ninguna parte. (Por ejemplo, f ( x ) podría ser una función de Weierstrass ).
La convergencia de ambas series tiene propiedades muy diferentes. Incluso si la serie de Taylor tiene un radio de convergencia positivo, la serie resultante puede no coincidir con la función; pero si la función es analítica entonces la serie converge puntualmente a la función y de manera uniforme en cada subconjunto compacto del intervalo de convergencia. Con respecto a la serie de Fourier, si la función es integrable al cuadrado entonces la serie converge en media cuadrática , pero se necesitan requisitos adicionales para asegurar la convergencia puntual o uniforme (por ejemplo, si la función es periódica y de clase C 1 entonces la convergencia es uniforme).
Finalmente, en la práctica se quiere aproximar la función con un número finito de términos, digamos con un polinomio de Taylor o una suma parcial de la serie trigonométrica, respectivamente. En el caso de la serie de Taylor, el error es muy pequeño en las proximidades del punto donde se calcula, mientras que puede ser muy grande en un punto distante. En el caso de la serie de Fourier el error se distribuye a lo largo del dominio de la función.
Taylor 1715, pag. 21–23, véase la Proposición VII, Thm. 3, cor. 2. Véase Struik 1969, págs. 329-332 para una traducción al inglés y Bruce 2007 para una nueva traducción.
Banner, Adrián (2007). The Calculus Lifesaver: todas las herramientas que necesita para sobresalir en Cálculo. Prensa de la Universidad de Princeton. ISBN 978-0-691-13088-0.
Bilodeau, Gerald; Thie, Paul; Keough, GE (2010). Una introducción al análisis . Editorial Jones y Bartlett. ISBN 978-0-7637-7492-9.
Boyer, C.; Merzbach, U. (1991). Una historia de las matemáticas (2ª ed.). John Wiley e hijos. ISBN 0-471-09763-2.
Bruce, Ian (2007). "Método Incrementorum Directa & Inversa]". 17centurymaths.com .
Dani, SG (2012). "Matemáticas indias antiguas: un resumen". Resonancia . 17 (3): 236–246. doi :10.1007/s12045-012-0022-y. S2CID 120553186.
Feigenbaum, L. (1985). "Brook Taylor y el método de incrementos". Archivo de Historia de las Ciencias Exactas . 34 (1–2): 1–140. doi :10.1007/bf00329903. S2CID 122105736.
Feller, William (2003) [1971]. Una introducción a la teoría de la probabilidad y sus aplicaciones . vol. 2 (3ª ed.). Wiley. ISBN 9789971512989. OCLC 818811840.
Greenberg, Michael (1998). Matemáticas de ingeniería avanzada (2ª ed.). Prentice Hall. ISBN 0-13-321431-1.
Hille, Einar ; Phillips, Ralph S. (1957). Análisis funcional y semigrupos . Publicaciones del Coloquio AMS. vol. 31. Sociedad Matemática Estadounidense.
Hofmann, Josef Ehrenfried (1939). "Sobre el descubrimiento de la serie logarítmica y su desarrollo en Inglaterra hasta Cotes". Revista Nacional de Matemáticas . 14 (1): 33–45. doi :10.2307/3028095. JSTOR 3028095.
Hörmander, Lars (2002) [1990]. "1. Funciones de prueba §1.1. Una revisión del cálculo diferencial". El análisis de operadores diferenciales parciales . vol. 1 (2ª ed.). Saltador. doi :10.1007/978-3-642-61497-2_2. ISBN 978-3-642-61497-2.
Kline, M. (1990). Pensamiento Matemático desde la Antigüedad hasta la Modernidad . Nueva York: Oxford University Press. ISBN 0-19-506135-7.
Kolk, Johan AC; Duistermaat, JJ (2010). "Expansión de Taylor en varias variables". Distribuciones: Teoría y aplicaciones . Birkhauser. doi :10.1007/978-0-8176-4675-2_6. ISBN 978-0-8176-4672-1.
Lindberg, David (2007). Los inicios de la ciencia occidental (2ª ed.). Prensa de la Universidad de Chicago. ISBN 978-0-226-48205-7.
Malet, Antoni (1993). "James Gregorie sobre las tangentes y la regla" Taylor "para las expansiones de series". Archivo de Historia de las Ciencias Exactas . 46 (2): 97-137. doi :10.1007/BF00375656. JSTOR 41133959. S2CID 120101519.
Roy, Ranjan (1990). "El descubrimiento de la fórmula en serie para π por Leibniz, Gregory y Nilakantha" (PDF) . Revista Matemáticas . 63 (5): 291–306. doi :10.1080/0025570X.1990.11977541.
—— (2021) [2011]. Series y Productos en el Desarrollo de la Matemática . vol. 1 (2ª ed.). Prensa de la Universidad de Cambridge.