Alternativa di Fredholm

In matematica, l'alternativa di Fredholm, il cui nome è dovuto a Ivar Fredholm, è uno dei teoremi di Fredholm, che si inserisce nel contesto della teoria di Fredholm. L'enuciato mostra che un numero complesso non nullo o è un autovalore di un operatore compatto oppure è nel relativo risolvente.

Il teorema può essere enunciato in diversi modi, in quanto la sua formulazione può essere svolta nell'ambito dell'algebra lineare, delle equazioni integrali o nella teoria degli operatori di Fredholm.

Algebra lineare

Sia $V$ uno spazio vettoriale di dimensione n e $T:V\to V$ una trasformazione lineare. Allora vale esattamente una delle seguenti affermazioni:

• Per ogni $𝐯\in V$ esiste $𝐮\in V$ tale che $T(𝐮)=𝐯$. In altri termini, $T$ è una funzione suriettiva, e dunque biunivoca poiché lo spazio è finito-dimensionale.
• $\dim (\ker (T))>0$

Una formulazione che utilizza le matrici afferma in modo equivalente che data una matrice $A$ di dimensione $m\times n$ ed un vettore colonna $𝐛$ di dimensione $m\times 1$, vale esattamente una delle seguenti affermazioni:

• $A𝐱=𝐛$ possiede una soluzione $𝐱$
• $A^T𝐲=\mathrm{𝟎}$ ha soluzione $𝐲$ con ${𝐲}^T𝐛\ne 0$

Ovvero, $A𝐱=𝐛$ ha soluzione (cioè $𝐛\in \mathrm{Im}(A)$) se e solo se per ogni $𝐲$ tale che $A^T𝐲=\mathrm{𝟎}$ si ha ${𝐲}^T𝐛=0$, cioè $𝐛\in \ker (A^T{)}^{\mathrm{\perp }}$.

Equazioni integrali

L'alternativa può essere espressa dicendo che, dato un operatore compatto $T$, e dato $\lambda \in ℂ-\{0\}$, o $T𝐯=\lambda 𝐯$ possiede una soluzione diversa da zero oppure $(T-\lambda I)𝐯=f$ ha soluzione unica per qualsiasi scelta di $f$, che equivale a dire che o $\lambda$ è un autovalore (cioè un elemento dello spettro puntuale) oppure $(T-\lambda I{)}^{-1}$ è limitato, cioè $\lambda$ è nel dominio dell'operatore risolvente. Nell'ambito delle equazioni integrali questo viene espresso considerando l'equazione integrale di Fredholm:

$\varphi (x)-\lambda \underset{a}{\overset{b}{\int }}K(x,y)\varphi (y)dy=0$

dove se $K(x,y)$ è un nucleo integrale liscio l'operatore integrale così definito è compatto. Data l'equazione non omogenea:

$\varphi (x)-\lambda \underset{a}{\overset{b}{\int }}K(x,y)\varphi (y)dy=f(x)$

l'alternativa di Fredholm afferma che per ogni numero complesso non nullo $\lambda \in ℂ$ o la prima equazione ha una soluzione non banale oppure la seconda ha una soluzione per ogni $f(x)$, e questo vale anche per le rispettive relazioni complesse coniugate:

$\psi (x)-\overline{\lambda }\underset{a}{\overset{b}{\int }}\overline{K(x,y)}\psi (y)dy=0\psi (x)-\overline{\lambda }\underset{a}{\overset{b}{\int }}\overline{K(x,y)}\psi (y)dy=g(x)$

Una condizione sufficiente per la validità del teorema è che $K(x,y)$ sia quadrato sommabile sul rettangolo $[a,b]\times [a,b]$ (dove gli estremi possono essere illimitati).

Il teorema in spazi di Banach

Attraverso gli operatori di Fredholm si generalizza il teorema a spazi di Banach di dimensione arbitraria. In modo informale, la corrispondenza tra la versione dell'enunciato in algebra lineare e quello per le equazioni integrali si mostra ponendo:

$T(x,y)=\lambda \delta (x-y)-K(x,y)$

con $\delta (x-y)$ la delta di Dirac. L'operatore $T$ può essere visto come un operatore lineare che agisce su uno spazio di Banach $V$ di funzioni $\varphi (x)$, sicché $T:V\to V$ è dato dalla mappa $\varphi \mapsto \psi$, con $\psi$ fornito da:

$\psi (x)=\underset{a}{\overset{b}{\int }}T(x,y)\varphi (y)dy$

Il teorema stabilisce che dato un operatore lineare continuo $T:E\to E$ fra spazi di Banach, e detto $T^{*}:E^{*}\to E^{*}$ l'operatore nello spazio duale, o esistono soluzioni uniche per:

$T(x)=y{T}^{*}(f)=gx,y\in Ef,g\in E^{*}$

oppure le equazioni omogenee:

$T(x)=0T^{*}(f)=0x\in Ef\in E^{*}$

hanno lo stesso numero $n<\mathrm{\infty }$ di soluzioni linearmente indipendenti.

Siano $x_1,\dots x_n$ e $f_1,\dots f_n$ le soluzioni delle equazioni omogenee. Allora, date due soluzioni particolari $x^{\prime }$ e $f^{\prime }$ delle equazioni non omogenee, la soluzione generale di queste ultime è la somma di una soluzione particolare e di una combinazione lineare di soluzioni (linearmente indipendenti) della relativa equazione omogenea:

$x=x^{\prime }+\sum _1^n{c}_i{x}_{i}f=f^{\prime }+\sum _1^n{c}_i{f}_i$

con $c_1,\dots ,c_n$ coefficienti arbitrari.

L'alternativa di Fredholm si applica a un operatore se e solo se esso può essere scritto come la somma di un operatore compatto e di un operatore con inverso continuo.

Bibliografia

• E.I. Fredholm, "Sur une classe d'equations fonctionnelles", Acta Math., 27 (1903) pp.  365–390.
• A. G. Ramm, "A Simple Proof of the Fredholm Alternative and a Characterization of the Fredholm Operators", American Mathematical Monthly, 108 (2001) p.  855.
• V.I. Smirnov, A course of higher mathematics , 4 , Addison-Wesley (1964)
• V.S. Vladimirov, Equations of mathematical physics , MIR (1984)
• L.V. Kantorovich, G.P. Akilov, Functional analysis in normed spaces , Pergamon (1964)

Voci correlate

• Autovettore e autovalore
• Determinante di Fredholm
• Equazione integrale di Fredholm
• Delta di Dirac
• Nucleo di Fredholm
• Operatore compatto
• Operatore di Fredholm
• Spettro (matematica)
• Teoremi di Fredholm
• Teoria di Fredholm
• Teoria spettrale

Collegamenti esterni

• Template:Collegamenti esterni
• Template:PlanetMath
• Template:SpringerEOM