Exponenciación


Exponenciación

Exponenciación

La exponenciación es una operación definible en un álgebra sobre un cuerpo normada completa o álgebra de Banach (espacio vectorial normado completo que además es un anillo) que generaliza la función exponencial de los números reales.

Contenido

Definición formal

Dado un elemento de un álgebra de Banach tenemos definidas una operación conmutativa de suma y otra de multiplicación, lo cual permite definir el anillo de polinomios sobre dicha álgebra. Además por tener una norma puede definirse para algunas series formales de potencias una noción de convergencia y por tanto de límite. En esas condiciones puede definirse la siguiente operación:

e^A = 	\lim_{n \to \infty}\sum_{k = 0}^{n} {A^k \over k!} = 1 + A + {A^2 \over 2!} + {A^3 \over 3!} + {A^4 \over 4!} + \cdots

Nótese que:

  • Si el cuerpo sobre la que está definida el álgebra no contiene a \R el límite anterior podría no converger, de hecho el álgebra no podría ser un álgebra de Banach.
  • Si el álgebra no es un espacio vectorial normado no existe manera de establecer si el límite anterior converge.

Exponenciación de números reales

La exponenciación de números reales se realiza mediante la función exponencial. Dado un número real su exponenciación está siempre bien definida y tiene las siguientes propiedades:

  • e^{a+b} = e^ae^b\;
  • e^{ab} = (e^a)^b\;
  • a > b \to e^a > e^b
  • a > 0 \to e^a >= 1; a = 0 \to e^a = 1, a < 0 \to e^a < 1
  • e^a > a\;

Exponenciación de números complejos

La exponenciación de números complejos se define sin problemas mediante serie de potencias al igual que en el caso de números reales. Dado un número complejo separado en sus partes real e imaginaria z = a + bi su exponencación resulta ser:

e^z = e^{a+bi} = e^a(\cos b + i \sin b)\;

Las propiedades de la exponenciación de números complejos son similares a las de los números reales (aunque las propiedades que involucran orden no son extendibles a los complejos):

  • e^{z_1+z_2} = e^{z_1}e^{z_2}\;
  • \neg \exists z: e^z = 0

Exponenciación de números cuaterniónicos

La exponenciación de números cuaterniónicos es computacionalmente más complicada aunque está definida sin ambigüedad. Dado un cuaternión escrito en forma canónica q = a + bi + cj + dk su exponenciación resulta ser:

e^q = e^{a+bi+cj+dk} =e^a
\left(\cos \sqrt{b^2+c^2+d^2} +\frac{\sin \sqrt{b^2+c^2+d^2}}{\sqrt{b^2+c^2+d^2}}(bi+cj+dk)\right)

Al no ser conmutativo el producto de cuaterniones no resulta cierto que la exponenciación de una suma sea igual al producto de exponenciales de los sumandos. Por ejemplo si consideramos q1 = πi y q2 = πj tenemos:

\begin{cases} e^{i\pi} = -1 \\ e^{j\pi} = -1\\
e^{i\pi+j\pi} = \cos {\sqrt{2}\pi}+ \cfrac{\sin {\sqrt{2}\pi}}{\sqrt{2}}(i+j) & \ne e^{i\pi}e^{j\pi}
\end{cases}

Exponenciación de matrices

Artículo principal: Exponencial de matrices

Las matrices cuadrdas reales o complejas puden ser interpretadas como expresiones en una base dada de una aplicación lineal este hecho pude ser aprovechado para computar más fácilmente la exponencial de una matriz. Si A representa la matriz de una cierta aplicación lineal f:E \to E entonces la exponenciación de una matriz puede obtenerse a partir de la forma canónica de Jordan Jf de dicho endomorfismo y la matriz cambio de base C entre la base original y la base de Jordan:

A=C^{-1}J_f C \to e^A = e^{C^{-1}J_f C} = \sum_{k=0}^\infty \frac{(C^{-1}J_f C)^k}{k!} =
\sum_{k=0}^\infty \frac{C^{-1}(J_f)^k C}{k!} = C^{-1}e^{J_f}C

La exponencial de la forma canónica de Jordan es muy sencilla, dado un bloque de Jordan BJ, submatriz nxn, que realiza la aplicación lineal en uno de los subespacios invariantes asociados a la aplicación de Jordan se tiene que:

B_J = \begin{bmatrix}
\lambda & 1 & 0 & \cdots & 0\\
0 & \lambda & 1 & \cdots & 0\\
0 & 0 & \lambda & \cdots & 0\\
\vdots &  & & \ddots & \vdots\\
0 & 0 & 0 & \cdots & \lambda\end{bmatrix} \Rightarrow \qquad
e^{B_J} = \begin{bmatrix}
e^\lambda & \frac{e^\lambda}{1!} & \frac{e^\lambda}{2!} & \cdots & \frac{e^\lambda}{(n-1)!}\\
0 & e^\lambda & \frac{e^\lambda}{1!} & \cdots & \frac{e^\lambda}{(n-2)!}\\
0 & 0 & e^\lambda & \cdots & \frac{e^\lambda}{(n-3)!}\\
\vdots &  & & \ddots & \vdots\\
0 & 0 & 0 & \cdots & e^\lambda \end{bmatrix}

La exponenciación de matrices tiene estas otras propiedades similares a los números reales:

  • Acotación de la norma: \|e^A\| \le e^{\|A\|}
  • Matriz identidad: e^0 = I\;
  • Inverso: (e^A)^{-1} = e^{-A}\;
  • Relación traza-determinante: \det(e^A) = e^{\mbox{tr}(A)}\;

Una propiedad importante de la exponenciación de matrices es que en general, a diferencia de lo que sucede con números reales, la exponenciación de una suma de matrices no es el producto de exponenciales matrices:

AB \ne BA \Rightarrow e^Ae^B \ne e^{A+B} \ne e^Be^A

Aunque cuando el conmutador se anula sí se satisface la igualdad:

AB = BA \iff e^Ae^B = e^{A+B} = e^Be^A

Exponenciación de operadores

La exponenciación de operadores lineales definidos sobre un espacio vectorial normado es una generalización del caso de la exponenciación de matrices. Ya que el hecho de que el espacio vectorial sea normado implica que el espacio de operadores es un espacio de Banach.

La exponenciación de operadores puede ser usada para resolver la ecuación de Schrödinger

 \hat{H} \left| \psi (t) \right\rangle = i \hbar {\partial\over\partial t} \left| \psi (t) \right\rangle

Una solución formal de esta ecuación se obtiene por exponenciación del operador hamiltoniano:

 \left| \psi (t) \right\rangle = e^{-\frac{i}{\hbar}\int_0^t \hat{H}\ dt}\left| \psi_0 \right\rangle

Sin embargo, en muchos casos el cálculo de la exponenciación del operador hamiltoniano puede ser computacionalmente muy complejo. Además al ser normalmente el hamiltoniano un operador no acotado la exponencial sólo podría definirse sobre un dominio del espacio de Hilbert y entonces definir una extensión del operador obtenido previamente.

Véase también

Obtenido de "Exponenciaci%C3%B3n"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Exponenciación — La exponenciación es una multiplicación de varios factores iguales, al igual que la multiplicación es una suma de varios sumandos iguales. En la nomenclartura de la exponenciación se diferencian dos partes, la base y el exponente, que se escribe… …   Enciclopedia Universal

  • Exponenciación binaria — Saltar a navegación, búsqueda La exponenciación binaria es un algoritmo utilizado para calcular de forma rápida grandes potencias enteras de un número x dado. También es conocido como potenciación por cuadrados o elevar al cuadrado y multiplicar …   Wikipedia Español

  • Exponenciación binaria — La exponenciación binaria es un algoritmo utilizado para calcular de forma rápida grandes potencias de un número dado. También es conocida como algoritmo de exponenciación por cuadrados o de elevar al cuadrado y multiplicar. Implícitamente… …   Enciclopedia Universal

  • Número cardinal (teoría de conjuntos) — Este artículo trata sobre números cardinales en teoría de conjuntos axiomática. Para una introducción más básica, véase Número cardinal. Comparación de los cardinales numerable y continuo. Cada sucesión binaria, compuesta por una cantidad… …   Wikipedia Español

  • Multiplicador modular inverso — Saltar a navegación, búsqueda El multiplicador modular inverso de un entero n módulo p es un entero m tal que n 1 ≡ m (mod p) Esto significa que es el multiplicador inverso en el anillo de los enteros módulo p. Es equivalente a mn ≡ 1 (mod p) El… …   Wikipedia Español

  • Inverso multiplicativo (aritmética modular) — Este artículo o sección sobre matemáticas necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 16 de abril de 2011. También puedes …   Wikipedia Español

  • RSA — En criptografía, RSA (Rivest, Shamir y Adleman) es un sistema criptográfico de clave pública desarrollado en 1977. Es el primer y más utilizado algoritmo de este tipo y es válido tanto para cifrar como para firmar digitalmente. La seguridad de… …   Wikipedia Español

  • Cuaternión — Saltar a navegación, búsqueda Los cuaterniones son una extensión de los números reales, similar a la de los números complejos. Mientras que los números complejos son una extensión de los reales por la adición de la unidad imaginaria i, tal que i2 …   Wikipedia Español

  • Logaritmo — Logaritmos Gráfica de Logaritmos Definición …   Wikipedia Español

  • Exponencial de matrices — Saltar a navegación, búsqueda La exponencial de matrices es una función definida sobre las matrices cuadradas, parecida a la función exponencial. Sea X una matriz nxn de números reales o complejos. La exponencial de X denotada por eX o exp(X) es… …   Wikipedia Español