Autofunzione

In matematica, un'autofunzione è un autovettore in uno spazio funzionale. Le autofunzioni rivestono grande importanza in meccanica quantistica, dove rappresentano gli autostati di un operatore nella base della posizione.

Definizione

Un'autofunzione di un operatore lineare $A$ definito in uno spazio funzionale è una funzione non nulla $f$ tale che, se applicata all'operatore in questo spazio, ritorna se stessa a meno di un fattore moltiplicativo. Vale cioè l'equazione:

$A f = \lambda f \$

dove il particolare scalare λ è chiamato autovalore.

Un esempio molto significativo in matematica e fisica è quello dell'autofunzione

$f_k(x) = e^{kx} \$

dell'operatore differenziale

$\mathcal A = \frac{d}{dx},$

per ogni $k$, a cui corrisponde un autovalore $\lambda = k$. Infatti

$\mathcal A(e^{kx}) = ke^{kx}$

per le usuali regole di derivazione.

Autofunzioni in meccanica quantistica

In meccanica quantistica, data un'osservabile A ed un suo autostato $|f \rangle$, la generica autofunzione di A è la funzione d'onda dell'autostato, cioè l'autostato nella base della posizione:

$\psi_f (x) = \langle x|f \rangle$

Se l'operatore rappresenta un'osservabile esso è hermitiano: le sue autofunzioni sono ortogonali e gli autostati corrispondono agli autovettori della matrice hermitiana di dimensione finita che rappresenta l'operatore.

Le autofunzioni più importanti sono quelle dell'energia: l'equazione di Schrödinger

$i \hbar \frac{\partial}{\partial t} \psi = \mathcal H \psi$

dove $H$ è l'operatore hamiltoniano, ha soluzioni della forma

$\psi(t) = \sum_k e^{-i E_k t/\hbar} \phi_k (x)$

dove:

$\phi_k (x) = \langle x|k \rangle$

sono autofunzioni di $H$ con autovalori $E_k$. Se il sistema conservativo i vettori $|k \rangle$ rappresentano gli autostati dell'energia nei quali il sistema rimane invariato nel tempo, che sono largamente usati per descrivere i sistemi atomici e molecolari in condizioni di stabilità.

Autofunzioni proprie e improprie

Data l'equazione di Schrödinger per la funzione d'onda $u(x)$ relativa agli autostati dell'energia:

$-\frac{\hbar^2}{2m}\nabla^2 u(x) + V(\mathbf{r}) u(x) = E u(x)$

vi sono due famiglie di soluzioni:

$\left \{ u_n(x) \right \} \quad ; \quad \left \{ u_\lambda (x) \right \}$

La prima è la famiglia delle autofunzioni proprie, relativa agli autovalori propri $E_n$ che costituiscono un insieme discreto di valori. Tali autofunzioni sono a quadrato sommabile e la condizione di ortonormalizzazione è:

$\langle u_{n}|u_{n'} \rangle = \int dx \, u_n^{*} (x) u_{n'} (x) = \delta_{n,n'}$

La seconda è la famiglia delle autofunzioni improprie, relativa agli autovalori impropri $E_\lambda$ che costituiscono un insieme continuo di valori. Tali autofunzioni non sono a quadrato sommabile e la condizione di ortonormalizzazione è:

$\langle u_{\lambda}|u_{\lambda'} \rangle = \int dx \, u_{\lambda}^{*} (x) u_{\lambda'} (x) = \delta ({\lambda - \lambda'})$

Le autofunzioni proprie sono caratterizzate dal fatto che lo spettro dei valori di energia accessibili al sistema è discreto: si tratta di una caratteristica degli stati legati, caratterizzati da un potenziale negativo. Le autofunzioni improprie sono caratterizzate invece da uno spettro continuo, poiché l'equazione differenziale ha soluzione per ogni vettore d'onda k. Tali autofunzioni non sono a quadrato sommabile e sono indicizzate dal parametro $\lambda$ appartenente al'insieme dei numeri reali.

Vale inoltre:

$\langle u_n|u_{\lambda'} \rangle = \int dx \, u_n^{*} (x) u_{\lambda'} (x) = 0$

Se le autofunzioni proprie $u_n(x)$ e improprie $u_\lambda(x)$ costituiscono un sistema ortonormale completo generalizzato, allora il prodotto scalare è definito da

$\langle g|f \rangle = \sum_n \tilde{g}_n^* \tilde{f}_n + \int d\lambda_1...\lambda_k \tilde{g}_{\lambda}^* \tilde{f}_{\lambda}$

e una generica funzione d'onda $f(x)$ soluzione dell'equazione di Schrödinger può essere espressa in termini delle autofunzioni

$f(x) = \sum_n u_n(x) \tilde{f}_n + \int d\lambda_1...\lambda_k u_{\lambda} (x) \tilde{f}_\lambda$

con:

$\tilde{f}_n = \int dx \, u_n^{*}(x) f(x) \quad ; \quad \tilde{f}_\lambda = \int dx \, u_\lambda^{*}(x) f(x)$

Particella libera

Per approfondire, vedi la voce particella libera.

L'esempio più importante di autofunzioni improprie è il caso di un'hamiltoniana che descrive una particella libera, in cui le autofunzioni dell'energia coincidono con le le autofunzioni dell'operatore impulso, dal momento che i due operatori $\hat{H}$ e $\hat{p}$ commutano, e possiedono quindi una base di autostati comune.
L'equazione di Schrödinger stazionaria per le autofunzioni di particella libera è in generale

$-\frac{\hbar^2}{2m} \frac{d^2}{dx^2} \phi (x) = E \, \phi (x).$

dove m è la massa della particella ed E l'energia dello stato $\phi$.
La soluzione generale, dipendente da $k$, può essere scritta nella forma

$\phi_k(x) = A\,e^{i k x}+ B\,e^{-i k x},$

con A,B coefficienti reali arbitrari da determinarsi.
Si nota che tale soluzione non è a quadrato sommabile e non descrive stati legati, pertanto si tratta di un'autofunzione impropria.

La funzione d'onda più generale nel caso di particella libera è il pacchetto d'onda in una dimensione:

$\psi (x,t) = \frac{1}{\sqrt{2 \pi \hbar}} \int dp \, \phi(p) e^{i (px - \frac{p^2}{2m} t ) / \hbar}$

L'autofunzione dell'impulso è quindi la trasformata di Fourier della funzione d'onda nella base della posizione, e viceversa la funzione d'onda è la sua antitrasformata.

Autofunzioni del momento angolare orbitale

Per approfondire, vedi la voce Autofunzioni del momento angolare.

Le autofunzioni del momento angolare orbitale sono le autofunzioni simultanee di$\vec L^2$ e della sua componente $L_z \$. Esse sono:

$Y_{l,m} (\theta, \varphi) = \Theta(\theta) \cdot \Phi(\varphi) = \Theta (\theta) \cdot e^{i m \varphi}$

dove:

$\Phi (\varphi) = e^{i m \varphi}$

e

$\Theta_{l,m} = C \frac{1}{(sin \theta)^m} \left(\frac{d}{d(\cos \theta)} \right)^{l-m} (1 - \cos^2 \theta)^l$

dove inglobiamo le costanti di normalizzazione nel fattore C. Quindi la soluzione completa è data:

$Y_{l,m} (\theta, \varphi) = C \frac{e^{i m \varphi}}{(sin \theta)^m} \left(\frac{d}{d(\cos \theta)} \right)^{l-m} (1 - \cos^2 \theta)^l$

queste soluzioni sono ben note alla fisica matematica e si chiamano armoniche sferiche, che dipendono ovviamente dai valori di $l = 0,1, \dots$ ed $m = -l, -l+1, \dots, l$. Le armoniche sferiche hanno importanti proprietà di parità, tra le quali:

$Y_{l,m} (\pi - \theta, \varphi + \pi) = (-1)^l Y_{l,m}$

che ha un diretto significato fisico, essa rappresenta l'inversione spaziale delle coordinate polari sferiche.

Bibliografia

• S. Auyang, How is Quantum Field Theory Possible, Oxford University Press, 1995.
• G. Mackey, Mathematical Foundations of Quantum Mechanics, W. A. Benjamin, 1963.
• V. Varadarajan, The Geometry of Quantum Mechanics vols 1 and 2, Springer-Verlag 1985.

Voci correlate

• Autostato
• Autovettore
• Funzione d'onda
• Operatore posizione
• Osservabile
• Stato quantico

Portale Matematica

Portale Meccanica quantistica