Función propia

Función matemática de un operador lineal.

Esta solución del problema del tambor vibratorio es, en cualquier momento, una función propia del operador de Laplace en un disco.

En matemáticas , una función propia de un operador lineal D definida en algún espacio funcional es cualquier función distinta de cero en ese espacio que, cuando D actúa sobre ella , solo se multiplica por algún factor de escala llamado valor propio . Como ecuación, esta condición se puede escribir como ${\displaystyle f}$

$${\displaystyle Df=\lambda f}$$

escalar ^{[1] [2] [3]}condiciones de contorno ${\displaystyle \lambda .}$

Una función propia es un tipo de vector propio .

Funciones propias

En general, un vector propio de un operador lineal D definido en algún espacio vectorial es un vector distinto de cero en el dominio de D que, cuando D actúa sobre él, simplemente se escala mediante algún valor escalar llamado valor propio. En el caso especial en el que D se define en un espacio funcional, los vectores propios se denominan funciones propias . Es decir, una función f es una función propia de D si satisface la ecuación

donde λ es un escalar. ^{[1] [2] [3]} Las soluciones de la ecuación ( 1 ) también pueden estar sujetas a condiciones de contorno. Debido a las condiciones de contorno, los valores posibles de λ generalmente están limitados, por ejemplo a un conjunto discreto λ ₁ , λ ₂ ,… o a un conjunto continuo en algún rango. El conjunto de todos los valores propios posibles de D a veces se denomina espectro , y puede ser discreto, continuo o una combinación de ambos. ^[1]

Cada valor de λ corresponde a una o más funciones propias. Si varias funciones propias linealmente independientes tienen el mismo valor propio, se dice que el valor propio es degenerado y el número máximo de funciones propias linealmente independientes asociadas con el mismo valor propio es el grado de degeneración o multiplicidad geométrica del valor propio . ^{[4] [5]}

Ejemplo de derivada

Una clase ampliamente utilizada de operadores lineales que actúan en espacios de dimensiones infinitas son los operadores diferenciales en el espacio C ^∞ de funciones reales o complejas infinitamente diferenciables de un argumento real o complejo t . Por ejemplo, considere el operador derivado con ecuación de valor propio ${\textstyle {\frac {d}{dt}}}$

$${\displaystyle {\frac {d}{dt}}f(t)=\lambda f(t).}$$

Esta ecuación diferencial se puede resolver multiplicando ambos lados por e integrando. Su solución, la función exponencial. ${\textstyle {\frac {dt}{f(t)}}}$

$${\displaystyle f(t)=f_{0}e^{\lambda t},}$$

f ₀ft

Supongamos en el ejemplo que f ( t ) está sujeto a las condiciones de contorno f (0) = 1 y . Luego encontramos que ${\textstyle \left.{\frac {df}{dt}}\right|_{t=0}=2}$

$${\displaystyle f(t)=e^{2t},}$$

Enlace a valores propios y vectores propios de matrices.

Las funciones propias se pueden expresar como vectores columna y los operadores lineales se pueden expresar como matrices, aunque pueden tener dimensiones infinitas. Como resultado, muchos de los conceptos relacionados con los vectores propios de matrices se trasladan al estudio de las funciones propias.

Defina el producto interno en el espacio funcional en el que D se define como

$${\displaystyle \langle f,g\rangle =\int _{\Omega }\ f^{*}(t)g(t)dt,}$$

t*conjugado complejo

Supongamos que el espacio funcional tiene una base ortonormal dada por el conjunto de funciones { u ₁ ( t ), u ₂ ( t ),…, u _n ( t )}, donde n puede ser infinito. Para la base ortonormal,

$${\displaystyle \langle u_{i},u_{j}\rangle =\int _{\Omega }\ u_{i}^{*}(t)u_{j}(t)dt=\delta _{ij}={\begin{cases}1&i=j\\0&i\neq j\end{cases}},}$$

δ _ijdelta de Kroneckermatriz identidad

Las funciones se pueden escribir como una combinación lineal de las funciones base,

$${\displaystyle f(t)=\sum _{j=1}^{n}b_{j}u_{j}(t),}$$

expansión de Fourierftb _jn por 1 b = [ b ₁ b ₂ … b _n ] ^T

Además, defina una representación matricial del operador lineal D con elementos

$${\displaystyle A_{ij}=\langle u_{i},Du_{j}\rangle =\int _{\Omega }\ u_{i}^{*}(t)Du_{j}(t)dt.}$$

Podemos escribir la función Df ( t ) como una combinación lineal de las funciones base o como D actuando sobre la expansión de f ( t ),

$${\displaystyle Df(t)=\sum _{j=1}^{n}c_{j}u_{j}(t)=\sum _{j=1}^{n}b_{j}Du_{j}(t).}$$

Tomando el producto interno de cada lado de esta ecuación con una función de base arbitraria u _i ( t ),

$${\displaystyle {\begin{aligned}\sum _{j=1}^{n}c_{j}\int _{\Omega }\ u_{i}^{*}(t)u_{j}(t)dt&=\sum _{j=1}^{n}b_{j}\int _{\Omega }\ u_{i}^{*}(t)Du_{j}(t)dt,\\c_{i}&=\sum _{j=1}^{n}b_{j}A_{ij}.\end{aligned}}}$$

Esta es la multiplicación de matrices Ab = c escrita en notación de suma y es una matriz equivalente del operador D que actúa sobre la función f ( t ) expresada en la base ortonormal. Si f ( t ) es una función propia de D con valor propio λ, entonces Ab = λb .

Valores propios y funciones propias de operadores hermitianos.

Muchos de los operadores que se encuentran en física son hermitianos . Supongamos que el operador lineal D actúa sobre un espacio funcional que es un espacio de Hilbert con una base ortonormal dada por el conjunto de funciones { u ₁ ( t ), u ₂ ( t ),…, u _n ( t )}, donde n puede ser infinito. En base a esto, el operador D tiene una representación matricial A con elementos

$${\displaystyle A_{ij}=\langle u_{i},Du_{j}\rangle =\int _{\Omega }dt\ u_{i}^{*}(t)Du_{j}(t).}$$

t

Por analogía con las matrices hermitianas , D es un operador hermitiano si A _ij = A _ji *, o: ^[6]

$${\displaystyle {\begin{aligned}\langle u_{i},Du_{j}\rangle &=\langle Du_{i},u_{j}\rangle ,\\[-1pt]\int _{\Omega }dt\ u_{i}^{*}(t)Du_{j}(t)&=\int _{\Omega }dt\ u_{j}(t)[Du_{i}(t)]^{*}.\end{aligned}}}$$

Considere el operador hermitiano D con valores propios λ ₁ , λ ₂ ,… y funciones propias correspondientes f ₁ ( t ), f ₂ ( t ),…. Este operador hermitiano tiene las siguientes propiedades:

• Sus valores propios son reales, λ _i = λ _i * ^{[4] [6]}
• Sus funciones propias obedecen a una condición de ortogonalidad, si i ≠ j ^{[6] [7] [8]} ${\displaystyle \langle f_{i},f_{j}\rangle =0}$

La segunda condición siempre se cumple para λ _i ≠ λ _j . Para funciones propias degeneradas con el mismo valor propio λ _i , siempre se pueden elegir funciones propias ortogonales que abarquen el espacio propio asociado con λ _i , por ejemplo, utilizando el proceso de Gram-Schmidt . ^[5] Dependiendo de si el espectro es discreto o continuo, las funciones propias se pueden normalizar estableciendo el producto interno de las funciones propias igual a una función delta de Kronecker o una función delta de Dirac , respectivamente. ^{[8] [9]}

Para muchos operadores hermitianos, en particular los operadores de Sturm-Liouville , una tercera propiedad es

• Sus funciones propias forman la base del espacio funcional en el que se define el operador ^[5]

Como consecuencia, en muchos casos importantes, las funciones propias del operador hermitiano forman una base ortonormal. En estos casos, una función arbitraria se puede expresar como una combinación lineal de las funciones propias del operador hermitiano.

Aplicaciones

cuerdas vibrantes

La forma de una onda estacionaria en una cuerda fijada en sus límites es un ejemplo de función propia de un operador diferencial. Los valores propios admisibles se rigen por la longitud de la cuerda y determinan la frecuencia de oscilación.

Sea h ( x , t ) el desplazamiento transversal de una cuerda elástica tensionada, como las cuerdas vibrantes de un instrumento de cuerda , en función de la posición x a lo largo de la cuerda y del tiempo t . Aplicando las leyes de la mecánica a porciones infinitesimales de la cuerda, la función h satisface la ecuación diferencial parcial

$${\displaystyle {\frac {\partial ^{2}h}{\partial t^{2}}}=c^{2}{\frac {\partial ^{2}h}{\partial x^{2}}},}$$

que se llama ecuación de ondac

Este problema se puede solucionar con el método de separación de variables . Si asumimos que h ( x , t ) se puede escribir como el producto de la forma X ( x ) T ( t ) , podemos formar un par de ecuaciones diferenciales ordinarias:

$${\displaystyle {\frac {d^{2}}{dx^{2}}}X=-{\frac {\omega ^{2}}{c^{2}}}X,\qquad {\frac {d^{2}}{dt^{2}}}T=-\omega ^{2}T.}$$

Cada una de ellas es una ecuación de valores propios con valores propios y − ω ² , respectivamente. Para cualquier valor de ω y c , las ecuaciones se satisfacen con las funciones ${\textstyle -{\frac {\omega ^{2}}{c^{2}}}}$

$${\displaystyle X(x)=\sin \left({\frac {\omega x}{c}}+\varphi \right),\qquad T(t)=\sin(\omega t+\psi ),}$$

φψ

Si imponemos condiciones de contorno, por ejemplo, que los extremos de la cuerda estén fijos en x = 0 y x = L , es decir, X (0) = X ( L ) = 0 , y que T (0) = 0 , restringimos la valores propios. Para estas condiciones de frontera, sin( φ ) = 0 y sin( ψ ) = 0 , por lo que los ángulos de fase φ = ψ = 0 , y

$${\displaystyle \sin \left({\frac {\omega L}{c}}\right)=0.}$$

Esta última condición de frontera obliga a ω a tomar un valor ω _n =ncπ/l, donde n es cualquier número entero. Por tanto, la cuerda sujeta soporta una familia de ondas estacionarias de la forma

$${\displaystyle h(x,t)=\sin \left({\frac {n\pi x}{L}}\right)\sin(\omega _{n}t).}$$

En el ejemplo de un instrumento de cuerda, la frecuencia ω _n es la frecuencia del n -ésimo armónico , que se denomina ( n − 1) -ésimo sobretono .

ecuación de Schrödinger

En mecánica cuántica , la ecuación de Schrödinger

$${\displaystyle i\hbar {\frac {\partial }{\partial t}}\Psi (\mathbf {r} ,t)=H\Psi (\mathbf {r} ,t)}$$

operador hamiltoniano

$${\displaystyle H=-{\frac {\hbar ^{2}}{2m}}\nabla ^{2}+V(\mathbf {r} ,t)}$$

^[10]función de onda Ψ( r , t ) = φ ( r ) T ( t )

Ambas ecuaciones diferenciales son ecuaciones de valores propios con valor propio E . Como se muestra en un ejemplo anterior, la solución de la ecuación ( 3 ) es la exponencial

$${\displaystyle T(t)=e^{{-iEt}/{\hbar }}.}$$

La ecuación ( 2 ) es la ecuación de Schrödinger independiente del tiempo. Las funciones propias φ _k del operador hamiltoniano son estados estacionarios del sistema mecánico cuántico, cada uno con una energía correspondiente E _k . Representan estados de energía permisibles del sistema y pueden estar restringidos por condiciones de contorno.

El operador hamiltoniano H es un ejemplo de operador hermitiano cuyas funciones propias forman una base ortonormal. Cuando el hamiltoniano no depende explícitamente del tiempo, las soluciones generales de la ecuación de Schrödinger son combinaciones lineales de los estados estacionarios multiplicados por la T ( t ) oscilatoria , ^[11] o, para un sistema con un espectro continuo, ${\textstyle \Psi (\mathbf {r} ,t)=\sum _{k}c_{k}\varphi _{k}(\mathbf {r} )e^{{-iE_{k}t}/{\hbar }}}$

$${\displaystyle \Psi (\mathbf {r} ,t)=\int dE\,c_{E}\varphi _{E}(\mathbf {r} )e^{{-iEt}/{\hbar }}.}$$

El éxito de la ecuación de Schrödinger a la hora de explicar las características espectrales del hidrógeno se considera uno de los mayores triunfos de la física del siglo XX.

Señales y sistemas

En el estudio de señales y sistemas , una función propia de un sistema es una señal f ( t ) que, cuando se ingresa al sistema, produce una respuesta y ( t ) = λf ( t ) , donde λ es un valor propio escalar complejo. ^[12]

Ver también

• Valores propios y vectores propios
• Teorema de Hilbert-Schmidt
• Teoría espectral de ecuaciones diferenciales ordinarias.
• Combinador de punto fijo
• Funciones propias de la transformada de Fourier

Notas

Citas

1. Davydov 1976, pag. 20.
2. Kusse y Westwig 1998, pág. 435.
3. Wasserman 2016.
4. Davydov 1976, pág. 21.
5. Kusse y Westwig 1998, pág. 437.
6. Kusse y Westwig 1998, pág. 436.
7. Davydov 1976, pág. 24.
8. Davydov 1976, pág. 29.
9. Davydov 1976, pág. 25.
10. Davydov 1976, pág. 51.
11. Davydov 1976, pág. 52.
12. Girod, Rabenstein y Stenger 2001, pág. 49.

Trabajos citados

• Courant, Richard; Hilbert, David. Métodos de Física Matemática . vol. 1. Wiley. ISBN 047150447-5.(Volumen 2: ISBN 047150439-4 ) 
• Davydov, AS (1976). Mecánica cuántica . Traducido, editado y con adiciones de D. ter Haar (2ª ed.). Oxford: Prensa de Pérgamo. ISBN 008020438-4.
• Girod, Bernd ; Rabenstein, Rudolf; Stenger, Alejandro (2001). Señales y sistemas (2ª ed.). Wiley. ISBN 047198800-6.
• Kusse, Bruce; Westwig, Erik (1998). Física Matemática . Nueva York: Wiley Interscience. ISBN 047115431-8.
• Wasserman, Eric W. (2016). "Función propia". MundoMatemático . Investigación Wolfram . Consultado el 12 de abril de 2016 .

enlaces externos

• Más imágenes (no GPL) en Atom in a Box