Enmatemáticas, unafunción exponencial es una función de la forma en el que el argumento x se presenta como un exponente. Una función de la forma también es una función exponencial, ya que puede reescribirse como:
Como funciones de una variable real, las funciones exponenciales se caracterizan únicamente por el hecho de que la tasa de crecimiento de dicha función (es decir, suderivada) es directamente proporcional al valor de la función. La constante de proporcionalidad de esta relación es ellogaritmo natural de la baseb: La constantee = 2.71828... es la base única para la cual la constante de proporcionalidad es 1, de modo que la derivada de la función es ella misma:. Dado que el cambio de la base de la función exponencial simplemente da como resultado la aparición de un factor constante adicional, es computacionalmente conveniente reducir el estudio de las funciones exponenciales en el análisis matemático al estudio de esta función particular, llamada convencionalmente la "función exponencial natural",[1][2] o simplemente, "la función exponencial" y denotada por o bien. Si bien ambas notaciones son comunes, la primera se usa generalmente para los exponentes más simples, mientras que la segunda tiende a usarse cuando el exponente es una expresión complicada.
La función exponencial satisface la identidad multiplicativa fundamental para todo. Esta identidad se extiende a los exponentes devalores complejos. Se puede mostrar que cada solución continua, distinta de cero, de la ecuación funcional es una función exponencial, con la identidad multiplicativa fundamental, junto con la definición del númeroe comoe1, muestra que para enteros positivosn y relaciona la función exponencial con la noción elemental de exponenciación.
El argumento de la función exponencial puede ser cualquiernúmero real o complejo o incluso un tipo deobjeto matemático completamente diferente (por ejemplo, una matriz).
Su omnipresente aparición en matemáticas puras y aplicadas ha llevado al matemáticoW. Rudin a opinar que la función exponencial es "la función más importante en matemáticas".[3] En los ajustes aplicados, las funciones exponenciales modelan una relación en la que un cambio constante en la variable independiente proporciona el mismo cambio proporcional (es decir, aumento o disminución de porcentaje) en la variable dependiente. Esto ocurre ampliamente en las ciencias naturales y sociales; por lo tanto, la función exponencial también aparece en una variedad de contextos dentro de lafísica, laquímica, la ingeniería, la biología matemática y la economía.
Lagráfica deestá inclinada hacia arriba, y aumenta más rápido a medida quex aumenta. El gráfico siempre se encuentra por encima del ejex, pero puede estar arbitrariamente cerca de él parax negativo; Así, el ejex es unaasíntota horizontal. La pendiente de la tangente a la gráfica en cada punto es igual a su coordenada y en ese punto, como lo indica su función derivada. Sufunción inversa es ellogaritmo natural, denotado,[4],[5] o; debido a esto, algunos textos antiguos se refieren a la función exponencial como elantilogaritmo.[6]
La función exponencial (en azul) y la suma de los primeros n + 1 términos de sus series de potencias (en rojo).
La función exponencial real se puede caracterizar de varias maneras equivalentes. Más comúnmente, se define por las siguientesseries de potencias:[3]
Como elradio de convergencia de esta serie de potencias es infinito, esta definición es, de hecho, aplicable a todos los números complejos.
La diferenciación término por término de esta serie de potencias revela que para todas lasx reales, lo que lleva a otra caracterización común de como la única solución de la ecuación diferencial
satisfaciendo la condición inicial
Basándose en esta caracterización, la regla de la cadena muestra que su función inversa, el logaritmo natural, satisface para o Esta relación lleva a una definición menos común de la función exponencial realcomo la solución a la ecuación
Por medio delteorema del binomio y la definición de la serie de potencias, la función exponencial también se puede definir como el siguiente límite:[7]
La curva roja es la función exponencial. Las líneas horizontales negras muestran donde cruza las líneas verticales verdes.
La función exponencial surge cuando una cantidad crece o decae a una tasa proporcional a su valor actual. Una de esas situaciones es el interés continuamente compuesto, y de hecho, fue esta observación la que llevó aJacob Bernoulli en 1683[8] al número
ahora conocido comoe. Más tarde, en 1697,Johann Bernoulli estudió el cálculo de la función exponencial.[8]
Si una cantidad principal de 1 gana intereses a una tasa anual dex capitalización mensual, entonces el interés ganado cada mes esx/12 veces el valor actual, por lo que cada mes el valor total se multiplica por(1 +x/12), y el valor al final del año es(1 +x/12)12. Si, en cambio, el interés se agrava diariamente, esto se convierte en(1 +x/365)365. Dejar que el número de intervalos de tiempo por año crezca sin límite lleva a la definición límite de la función exponencial,
primero dado porLeonhard Euler.[7] Esta es una de varias caracterizaciones de la función exponencial; Otros implican series o ecuaciones diferenciales.
De cualquiera de estas definiciones se puede mostrar que la función exponencial obedece a la identidad de exponenciación básica,
lo que justifica la notaciónex.
La derivada (tasa de cambio) de la función exponencial es la función exponencial en sí misma. Más generalmente, una función con una tasa de cambio proporcional a la función en sí misma (en lugar de ser igual a ella) es expresable en términos de la función exponencial. Esta propiedad de función conduce a uncrecimiento exponencial odecaimiento exponencial.
La función exponencial se extiende a una función completa en el plano complejo. Lafórmula de Euler relaciona sus valores en argumentos puramente imaginarios confunciones trigonométricas. La función exponencial también tiene análogos para los cuales el argumento es una matriz, o incluso un elemento de unálgebra de Banach o unálgebra de Lie.
La derivada de la función exponencial es igual al valor de la función. Desde cualquier puntoP en la curva (azul), dibuje una línea tangente (roja) y una línea vertical (verde) con alturah, formando un triángulo rectángulo con una base b en el ejex. Dado que la pendiente de la línea tangente roja (la derivada) enP es igual a la relación entre la altura del triángulo y la base del triángulo (aumento sobre la ejecución), y la derivada es igual al valor de la función,h debe ser igual a la relación deh ab. Por lo tanto, la baseb siempre debe ser 1.
La importancia de la función exponencial en matemáticas y ciencias proviene principalmente de su definición como función única que es igual a su derivada y es igual a 1 cuandox = 0. Es decir,
Las funciones de la formacex para la constantec son las únicas funciones que son iguales a su derivada (por elteorema de Picard-Lindelöf). Otras formas de decir lo mismo incluyen:
La pendiente de la gráfica en cualquier punto es la altura de la función en ese punto.
La tasa de aumento de la función enx es igual al valor de la función enx.
Si la tasa de crecimiento o decaimiento de una variable es proporcional a su tamaño, como es el caso del crecimiento poblacional ilimitado (vercatástrofe maltusiana), interés compuesto continuamente o decaimiento radiactivo, entonces la variable puede escribirse como una función exponencial por el tiempo. Explícitamente para cualquier constante real k, una funciónf:R →R satisfacef′ =kf si y solo si f (x) = cekx para alguna constante c.k, a function satisfies if and only iff(x) =cekx for some constantc.
Además, para cualquier función diferenciablef(x), encontramos, por laregla de la cadena:
Función exponencial en el plano complejo. La transición de colores oscuros a claros muestra que la magnitud de la función exponencial está aumentando hacia la derecha. Las bandas horizontales periódicas indican que la función exponencial es periódica en laparte imaginaria de su argumento.
Como en el caso real, la función exponencial se puede definir en elplano complejo en varias formas equivalentes. La definición más común de la función exponencial compleja es paralela a la definición de la serie de potencias para los argumentos reales, donde la variable real se reemplaza por una compleja:
La multiplicación de dos copias de estas series de potencias en el sentido deCauchy, permitida por elteorema de Mertens, muestra que la propiedad multiplicativa definitoria de las funciones exponenciales sigue siendo válida para todos los argumentos complejos:
para todo
La definición de la función exponencial compleja a su vez conduce a las definiciones apropiadas que extienden lasfunciones trigonométricas a argumentos complejos.
En particular, cuando (real), la definición de la serie produce la expansión
En esta expansión, la reorganización de los términos en partes reales e imaginarias se justifica por la convergencia absoluta de la serie. Las partes reales e imaginarias de la expresión anterior de hecho corresponden a las expansiones de la serie de y, respectivamente.
Esta correspondencia proporciona motivación para definir el coseno y el seno para todos los argumentos complejos en términos dey la serie de potencias equivalentes:[10]
ypara todo
Las funciones exp, cos y sin, así definidas, tienen un radio infinito de convergencia por la prueba de relación y, por lo tanto, son funciones completas (es decir, holomorfas en). El rango de la función exponencial es, mientras que los rangos de las funciones complejas de seno y coseno son en su totalidad, de acuerdo con elteorema de Picard, que afirma que el rango de una función completa no constante es oexcluyendo unvalor lacunario.
Estas definiciones para las funciones exponenciales y trigonométricas conducen trivialmente a lafórmula de Euler:
para todo
Alternativamente, podríamos definir la función exponencial compleja basada en esta relación. Si, dondeyson reales, podríamos definir su exponencial como
donde exp, cos y sen en el lado derecho del signo de definición deben interpretarse como funciones de una variable real, previamente definida por otros medios.[11]
Para, la relaciónse mantiene, por lo quepara real ymapea la línea real (mod) al círculo unitario. Sobre la base de la relación entre y el círculo unitario, es fácil ver que, restringido a argumentos reales, las definiciones de seno y coseno dadas anteriormente coinciden con sus definiciones más elementales basadas en nociones geométricas.
La función exponencial compleja es periódica con el período y para todos.
Cuando su dominio se extiende desde la línea real al plano complejo, la función exponencial conserva las siguientes propiedades:
para todos los números complejosz y w. Esta es también una función multivalor, incluso cuandoz es real. Esta distinción es problemática, ya que las funciones multivalorlogz yzw se confunden fácilmente con sus equivalentes de un solo valor al sustituir un número real porz. La regla sobre la multiplicación de exponentes para el caso de números reales positivos debe modificarse en un contexto multivalor:
(ez)w ≠ ezw, sino más bien (ez)w = e(z + 2πin) w multivalor sobre enterosn
La función exponencial mapea cualquier línea en el plano complejo a unaespiral logarítmica en el plano complejo con el centro en el origen. Cabe señalar dos casos especiales: cuando la línea original es paralela al eje real, la espiral resultante nunca se cierra sobre sí misma; cuando la línea original es paralela al eje imaginario, la espiral resultante es un círculo de algún radio.
Gráficos en 3D de la parte real, la parte imaginaria y el módulo de la función exponencial
z = Re(ex +iy)
z = Im(ex +iy)
z = abs(ex+iy)
Considerando la función exponencial compleja como una función que involucra cuatro variables reales:
La gráfica de la función exponencial es una superficie bidimensional que se curva a través de cuatro dimensiones.
Comenzando con una parte codificada por colores del dominio, las siguientes son representaciones de la gráfica como se proyecta de manera diversa en dos o tres dimensiones.
Gráficos de la función exponencial compleja
Clave:
Proyección sobre el plano complejo de rango (V/W). Compare con la siguiente imagen en perspectiva.
Proyección en las dimensiones,y, produciendo una forma de bocina o embudo acampanado (concebida como una imagen en perspectiva 2-D).
Proyección en las dimensiones, y, produciendo una forma espiral. (rango extendido a ± 2π, nuevamente como imagen en perspectiva 2-D).
La segunda imagen muestra cómo se mapea el plano complejo de dominio en el plano complejo de rango:
cero se asigna a 1
el eje realse asigna al eje realpositivo
el eje imaginariose envuelve alrededor del círculo unitario a unavelocidad angular constante
los valores con partes reales negativas se asignan dentro del círculo unitario
los valores con partes reales positivas se asignan fuera del círculo unitario
los valores con una parte real constante se asignan a círculos centrados en cero
los valores con una parte imaginaria constante se asignan a rayos que se extienden desde cero
La tercera y cuarta imágenes muestran cómo el gráfico en la segunda imagen se extiende en una de las otras dos dimensiones que no se muestran en la segunda imagen.
La tercera imagen muestra el gráfico extendido a lo largo del eje real. Muestra que la gráfica es una superficie de revolución sobre el ejede la gráfica de la función exponencial real, que produce una forma de bocina o embudo.
La cuarta imagen muestra el gráfico extendido a lo largo del eje imaginario. Muestra que la superficie del gráfico para valorespositivos y negativos realmente no coinciden con el eje realnegativo, sino que forma una superficie en espiral alrededor del eje. Debido a que sus valoresse han extendido a ± 2π, esta imagen también representa mejor la periodicidad 2π en el valor imaginario.
Gráfico de la parte real de una función exponencial en el campo de los complejos
Si se toma como base el número complejoa diferente dee, y como variable el exponentez, se tiene que lafunción exponencial generalw = f(z)=, se define como:[12]:
Es una familia de funciones unívocas, no ligadas entre sí, que se distinguen por los factores exp(2kπiz), siendok cualquier número entero.[13]
La definición de la serie de potencias de la función exponencial tiene sentido para las matrices cuadradas (para las cuales la función se denominamatriz exponencial) y más generalmente en cualquier álgebraB de Banach. En esta configuración,e0 = 1, yex es invertible con e inversae−x para cualquier x enB. Sixy =yx, entoncesex +y =exey, pero esta identidad puede fallar para no conmutarx e y.
Algunas definiciones alternativas llevan a la misma función. Por ejemplo,ex puede definirse como:
Oex puede definirse comof(1), dondef:R→B es la solución a la ecuación diferencialf ′(t) =xf(t) con condición inicialf(0) = 1.
Dado unGrupo de LieG y suálgebra de Lie asociada, el mapa exponencial es un mapa↦G que satisface propiedades similares. De hecho, dado queR es el álgebra de Lie del grupo de Lie de todos los números reales positivos bajo multiplicación, la función exponencial ordinaria para los argumentos reales es un caso especial de la situación del álgebra de Lie. De manera similar, como el grupo de LieGL(n,R) de matrices invertiblesn ×n tiene como álgebra de LieM(n,R), el espacio de todas las matricesn ×n, la función exponencial para matrices cuadradas es un caso especial de Mapa exponencial de álgebra de Lie.
La identidadexp(x +y) = exp(x)exp(y) puede fallar para los elementos del álgebra de Liex yy que no conmutan; La fórmula de Baker – Campbell – Hausdorff proporciona los términos de corrección necesarios.
Al computar (una aproximación de) la función exponencial, si el argumento está cerca de 0, el resultado será cercano a 1, y computar la diferencia puede producir una pérdida de precisión.
Siguiendo una propuesta deWilliam Kahan, puede ser útil tener una rutina dedicada, a menudo llamadaexpm1, para calcularex − 1 directamente, sin pasar por el cálculo deex. Por ejemplo, si la exponencial se calcula utilizando suserie de Taylor
uno puede usar la serie de Taylor
Esto se implementó por primera vez en 1979 en la calculadoraHewlett-PackardHP-41C, y fue proporcionado por varias calculadoras,[14][15] sistemas deálgebra computacional y lenguajes de programación (por ejemplo, C99).[16]
Se ha utilizado un enfoque similar para el logaritmo.(verlnp1).[nb 1]
Abramowitz, M. y Stegun, I. A..Exponential Function. §4.2 enHandbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. New York: Dover, pp. 69-71, 1972.
Courant, Richard y Fritz, John.Introducción al cálculo y al análisis matemático Vol.I. Editorial Limusa,1999.ISBN 968-18-0639-5.
Apostol, T. M.,Calculus. Tomo I. Cálculo con funciones de una variable, con una introducción al Álgebra lineal. Editorial reverte, 2005ISBN 84-291-5002-1.
Ahlfors, Lars.Complex Analysis: an Introduction to the Theory of Analytic Functions of One Complex Variable (1953, 1966, 1979) (ISBN 0-07-000657-1)
↑Courant; Robbins (1996). Stewart, ed.What is Mathematics? An Elementary Approach to Ideas and Methods (2nd revised edición). Oxford University Press. p. 448.ISBN0-13-191965-2. «This natural exponential function is identical with its derivative. This is really the source of all the properties of the exponential function, and the basic reason for its importance in applications…».
↑In pure mathematics, the notationlogx generally refers to the natural logarithm ofx or a logarithm in general if the base is immaterial.
↑The notationlnx is the ISO standard and is prevalent in the natural sciences and secondary education (US). However, some mathematicians (e.g.,Paul Halmos) have criticized this notation and prefer to uselogx for the natural logarithm ofx.
↑Converse; Durrell (1911).Plane and spherical trigonometry. C. E. Merrill Co. p. 12. «Inverse Use of a Table of Logarithms; that is, given a logarithm, to find the number corresponding to it, (called its antilogarithm) ...»
↑abJohn J O'Connor; Edmund F Robertson.«The number e».School of Mathematics and Statistics. University of St Andrews, Scotland. Consultado el 13 de junio de 2011.
↑Beebe, Nelson H. F. (9 de julio de 2002).«Computation of expm1 = exp(x)−1». Salt Lake City, Utah, USA: Department of Mathematics, Center for Scientific Computing, University of Utah. Consultado el 2 de noviembre de 2015.