Función exponencial

¿Dónde nació Función exponencial?

Función exponencial nació en x.

---

En matemáticas, una función exponencial es una función de la forma${displaystyle f(x)=ab^{x}}$ en el que el argumento x se presenta como un exponente. Una función de la forma ${displaystyle f(x)=ab^{cx+d}}$ 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, su derivada) es directamente proporcional al valor de la función. La constante de proporcionalidad de esta relación es el logaritmo natural de la base b:${displaystyle {frac {d}{dx}}b^{x}=b^{x}log _{e}b.}$ La constante e = 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 en sí misma:${displaystyle {frac {d}{dx}}e^{x}=e^{x}log _{e}e=e^{x}.}$ 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 ${displaystyle xmapsto e^{x}}$ o bien${displaystyle xmapsto exp(x).}$Si bien ambas notaciones son comunes, la primera se usa generalmente para los exponentes más simples, mientras que la última tiende a usarse cuando el exponente es una expresión complicada.

La función exponencial satisface la identidad multiplicativa fundamental ${displaystyle e^{x+y}=e^{x}e^{y},}$ para todo ${displaystyle x,yin mathbb {R} .}$Esta identidad se extiende a los exponentes de valores complejos. Se puede mostrar que cada solución continua, distinta de cero, de la ecuación funcional ${displaystyle f(x+y)=f(x)f(y)}$ es una función exponencial, ${displaystyle f:mathbb {R} o mathbb {R} , xmapsto b^{x},}$ con La identidad multiplicativa fundamental, junto con la definición del número e como e¹, muestra que ${displaystyle e^{n}=underbrace {e imes cdots imes e} _{n{ ext{ términos}}}}$ para enteros positivos n y relaciona la función exponencial con la noción elemental de exponenciación.

El argumento de la función exponencial puede ser cualquier número real o complejo o incluso un tipo de objeto matemático completamente diferente (por ejemplo, una matriz).

Su omnipresente aparición en matemáticas puras y aplicadas ha llevado al matemático W. 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 la física, la química, la ingeniería, la biología matemática y la economía.

La gráfica de ${displaystyle y=e^{x}}$está inclinada hacia arriba, y aumenta más rápido a medida que x aumenta. El gráfico siempre se encuentra por encima del eje x, pero puede estar arbitrariamente cerca de él para x negativo; Así, el eje x es una así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. Su función inversa es el logaritmo natural, denotado ${displaystyle log ,}$^[4]​ ${displaystyle ln ,}$^[5]​ o ${displaystyle log _{e};}$debido a esto, algunos textos antiguos^[6]​ se refiere a la función exponencial como el antilogaritmo.

La función exponencial real ${displaystyle exp :mathbb {R} o mathbb {R} }$ se puede caracterizar de varias maneras equivalentes. Más comúnmente, se define por las siguientes series de potencias:^[3]​

Como el radio de convergencia de esta serie de potencias es infinito, esta definición es, de hecho, aplicable a todos los números complejos ${displaystyle zin mathbb {C} }$.

La diferenciación término por término de esta serie de potencias revela que ${displaystyle (d/dx)(exp x)=exp x}$ para todas las x reales, lo que lleva a otra caracterización común de ${displaystyle exp(x)}$ como la única solución de la ecuación diferencial

satisfaciendo la condición inicial ${displaystyle y(0)=1.}$

Basándose en esta caracterización, la regla de la cadena muestra que su función inversa, el logaritmo natural, satisface ${displaystyle (d/dy)(log _{e}y)=1/y}$ para ${displaystyle y>0,}$ o ${ extstyle log _{e}y=int _{1}^{y}{frac {1}{t}},dt.}$ Esta relación lleva a una definición menos común de la función exponencial real ${displaystyle exp(x)}$como la solución ${displaystyle y}$ a la ecuación

Por medio del teorema 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 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ó a Jacob Bernoulli en 1683 ^[8]​ al número

ahora conocido como e. 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 de x capitalización mensual, entonces el interés ganado cada mes es x/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)¹². Si, en cambio, el interés se agrava diariamente, esto se convierte en (1 + x/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 por Leonhard 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ón e^x.

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 un crecimiento exponencial o decaimiento exponencial.

La función exponencial se extiende a una función completa en el plano complejo. La fórmula de Euler relaciona sus valores en argumentos puramente imaginarios con funciones 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 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 cuando x = 0. Es decir,

Las funciones de la forma ce^x para la constante c son las únicas funciones que son iguales a su derivada (por el teorema de Picard-Lindelöf). Otras formas de decir lo mismo incluyen:

Si la tasa de crecimiento o decaimiento de una variable es proporcional a su tamaño, como es el caso del crecimiento poblacional ilimitado (ver catá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ón f: R → R satisface f′ = kf si y solo si f (x) = cekx para alguna constante c. k, a function satisfies if and only if f(x) = ce^kx for some constant c.

Además, para cualquier función diferenciable f(x), encontramos, por la regla de la cadena:

Una fracción continua para e^x puede obtenerse a través de una identidad de Euler:

La siguiente fracción continua generalizada para e^z converge más rápidamente:^[9]​

o bien, aplicando la sustitución. z = x/y:

con un caso especial para z = 2:

Esta fórmula también converge, aunque más lentamente, para z> 2. Por ejemplo:

Como en el caso real, la función exponencial se puede definir en el plano 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 de Cauchy, permitida por el teorema de Mertens, muestra que la propiedad multiplicativa definitoria de las funciones exponenciales sigue siendo válida para todos los argumentos complejos:

La definición de la función exponencial compleja a su vez conduce a las definiciones apropiadas que extienden las funciones trigonométricas a argumentos complejos.

En particular, cuando ${displaystyle z=it}$ (${displaystyle t}$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 ${displaystyle cos t}$ y ${displaystyle sin t}$, respectivamente.

Esta correspondencia proporciona motivación para definir el coseno y el seno para todos los argumentos complejos en términos de ${displaystyle exp(pm iz)}$y la serie de potencias equivalentes:^[10]​

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 ${displaystyle mathbb {C} }$). El rango de la función exponencial es ${displaystyle mathbb {C} setminus {0}}$, mientras que los rangos de las funciones complejas de seno y coseno son ${displaystyle mathbb {C} }$ en su totalidad, en de acuerdo con el teorema de Picard, que afirma que el rango de una función completa no constante es ${displaystyle mathbb {C} }$ o ${displaystyle mathbb {C} }$excluyendo un valor lacunario.

Estas definiciones para las funciones exponenciales y trigonométricas conducen trivialmente a la fórmula de Euler:

Alternativamente, podríamos definir la función exponencial compleja basada en esta relación. Si ${displaystyle z=x+iy}$, donde ${displaystyle x}$y ${displaystyle y}$son 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 ${displaystyle tin mathbb {R} }$, la relación ${displaystyle {overline {exp(it)}}=exp(-it)}$se mantiene, por lo que ${displaystyle |exp(it)|=1}$para real ${displaystyle t}$ y ${displaystyle tmapsto exp(it)}$mapea la línea real (mod ${displaystyle 2pi }$) al círculo unitario. Sobre la base de la relación entre ${displaystyle exp(it)}$ 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 ${displaystyle 2pi i}$ y ${displaystyle exp(z+2pi ik)=exp z}$ para todos ${displaystyle zin mathbb {C} ,kin mathbb {Z} }$.

Cuando su dominio se extiende desde la línea real al plano complejo, la función exponencial conserva las siguientes propiedades:

Extender el logaritmo natural a argumentos complejos produce el logaritmo complejo log z, que es una función multivalor.

Podemos definir una exponenciación más general:

para todos los números complejos z y w. Esta es también una función multivalor, incluso cuando z es real. Esta distinción es problemática, ya que las funciones multivalor log z y z^w se confunden fácilmente con sus equivalentes de un solo valor al sustituir un número real por z. La regla sobre la multiplicación de exponentes para el caso de números reales positivos debe modificarse en un contexto multivalor:

La función exponencial mapea cualquier línea en el plano complejo a una espiral 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.

z = Re(e^{x + iy})

z = Im(e^{x + iy})

z = abs(e^{x + 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 ${displaystyle xy}$, las siguientes son representaciones de la gráfica como se proyecta de manera diversa en dos o tres dimensiones.

Clave:
${displaystyle x>0:;{ ext{verde}}}$
${displaystyle x<0:;{ ext{rojo}}}$
${displaystyle y>0:;{ ext{amarillo}}}$
${displaystyle y<0:;{ ext{azul}}}$

Proyección sobre el plano complejo de rango (V/W). Compare con la siguiente imagen en perspectiva.

Proyección en las dimensiones ${displaystyle x}$, ${displaystyle v}$y ${displaystyle w}$, produciendo una forma de bocina o embudo acampanado (concebida como una imagen en perspectiva 2-D).

Proyección en las dimensiones ${displaystyle y}$, ${displaystyle v}$ y ${displaystyle w}$, produciendo una forma espiral. (${displaystyle y}$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:

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 ${displaystyle x}$. Muestra que la gráfica es una superficie de revolución sobre el eje ${displaystyle x}$de 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 ${displaystyle y}$. Muestra que la superficie del gráfico para valores ${displaystyle y}$positivos y negativos realmente no coinciden con el eje real ${displaystyle v}$negativo, sino que forma una superficie en espiral alrededor del eje ${displaystyle y}$. Debido a que sus valores ${displaystyle y}$se han extendido a ± 2π, esta imagen también representa mejor la periodicidad 2π en el valor imaginario ${displaystyle y}$.

La exponenciación compleja a^b se puede definir convirtiendo a coordenadas polares y usando la identidad (e^ln(a))b
= a^b:

Sin embargo, cuando b no es un número entero, esta función es multivalor, porque θ no es única.

Si se toma como base el número complejo a diferente de e, y como variable el exponente z, se tiene que la función exponencial general w = f(z)=${displaystyle a^{z}}$, se define como: ^[12]​:

${displaystyle w=a^{z}=e^{zoperatorname {Log} a}=e^{zln |a|}cdot e^{zioperatorname {Arg} a}}$

Es una familia de funciones unívocas, no ligadas entre sí, que se distinguen por los factores exp(2kπiz), siendo k 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 denomina matriz exponencial) y más generalmente en cualquier álgebra B de Banach. En esta configuración, e⁰ = 1, y e^x es invertible con e inversa e^−x para cualquier x en B. Si xy = yx, entonces e^{x + y} = e^xe^y, pero esta identidad puede fallar para no conmutar x e y.

Algunas definiciones alternativas llevan a la misma función. Por ejemplo, e^x puede definirse como:

O e^x puede definirse como f(1), donde f: R→B es la solución a la ecuación diferencial f ′(t) = xf(t) con condición inicial f(0) = 1.

Dado un Grupo de Lie G y su álgebra de Lie asociada ${displaystyle {mathfrak {g}}}$, el mapa exponencial es un mapa ${displaystyle {mathfrak {g}}}$↦ G que satisface propiedades similares. De hecho, dado que R 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 Lie GL(n,R) de matrices invertibles n × n tiene como álgebra de Lie M(n,R), el espacio de todas las matrices n × n, la función exponencial para matrices cuadradas es un caso especial de Mapa exponencial de álgebra de Lie.

La identidad exp(x + y) = exp(x)exp(y) puede fallar para los elementos del álgebra de Lie x y y que no conmutan; La fórmula de Baker – Campbell – Hausdorff proporciona los términos de corrección necesarios.

La función e^z no está en C(z) (es decir, no es el cociente de dos polinomios con coeficientes complejos).

Para n números complejos distintos {a₁, …, a_n}, el conjunto {e^a₁z, …, e^a_nz} es linealmente independiente sobre C(z).

La función e^z es trascendental sobre C(z)

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 ${displaystyle exp(x)-1}$ puede producir una pérdida de precisión.

Siguiendo una propuesta de William Kahan, puede ser útil tener una rutina dedicada, a menudo llamada expm1, para calcular e^x − 1 directamente, sin pasar por el cálculo de e^x. Por ejemplo, si la exponencial se calcula utilizando su serie de Taylor

uno puede usar la serie de Taylor ${displaystyle e^{x}-1:}$

Esto se implementó por primera vez en 1979 en la calculadora Hewlett-Packard HP-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.(ver lnp1).^{[nb 1]}​

Una identidad en términos de la tangente hiperbólica,

proporciona un valor de alta precisión para valores pequeños de x en sistemas que no implementan expm1(x).

---