Teoria di Fredholm
In matematica, la teoria di Fredholm è una teoria riguardante le equazioni integrali che si occupa della teoria spettrale applicata agli operatori di Fredholm e ai nuclei integrali di Fredholm in uno spazio di Hilbert.
Tra i principali risultati di questa teoria vi sono i teoremi di Fredholm, tra cui l'alternativa di Fredholm, ed il fatto che il nucleo è un operatore compatto quando lo spazio è formato da funzioni equicontinue.
La teoria prende il nome da Erik Ivar Fredholm, che nel 1903 pubblicò, sugli Acta Mathematica, uno dei più importanti articoli nell'ambito della teoria degli operatori.
Equazioni omogenee
Una notevole parte della teoria di Fredholm si occupa dello studio di un'equazione differenziale del tipo:
dove è un operatore differenziale lineare, è una funzione data e l'incognita. Ad esempio, può essere l'operatore ellittico , ed in tal caso l'equazione diventa l'equazione di Poisson.
Un metodo generale per la soluzione di queste equazioni è l'utilizzo di un'opportuna funzione di Green , che è soluzione dell'equazione:
dove è la delta di Dirac. La soluzione dell'equazione differenziale lineare è allora scritta in termini della funzione di Green attraverso l'equazione integrale di Fredholm:
Si tratta di un'equazione integrale che si incontra anche in diversi ambiti della fisica, e la funzione di Green è anche detta nucleo integrale.
In un contesto più generale e sono visti come punti di una varietà, che nel caso più semplice è uno spazio euclideo, e si utilizzano spesso funzioni quadrato sommabili o appartenenti ad uno spazio di Sobolev. La natura dello spazio utilizzato è in moti casi determinata dalle soluzioni dell'equazione agli autovalori:
dove sono gli autovalori e gli autovettori. Gli autovettori formano uno spazio di Banach, in cui si definisce in modo naturale un prodotto interno, sicché essi formano uno spazio di Hilbert completo:
in cui si applica il teorema di rappresentazione di Riesz. Il nucleo integrale può essere allora scritto come:
dove è lo spazio duale a quello generato dai . In una tale forma, è detto spesso operatore di Fredholm o nucleo di Fredholm. Dal momento che gli autovalori sono crescenti, gli autovalori di decrescono a zero.
Equazioni non omogenee
L'equazione integrale di Fredholm non omogenea ha la forma:
e può essere riscritta come:
la cui soluzione è:
Una soluzione di questo tipo è tipica della teoria spettrale, in cui l'operatore risolvente è definito come:
Considerando una collezione di autovalori e autovettori di il risolvente può essere esplicitato nel seguente modo:
e la soluzione è:
Una condizione necessaria e sufficiente per l'esistenza di tale soluzione è data da uno dei teoremi di Fredholm. Il risolvente può essere sviluppato in serie di potenze tramite la serie di Liouville-Neumann. In tal caso l'equazione integrale è scritta come:
ed il risolvente assume la forma:
Determinante di Fredholm
Il determinante di Fredholm è definito come:
dove:
e:
e così via. La corrispondente funzione zeta di Riemann è:
che può essere vista come il determinante del risolvente.
Bibliografia
- E.I. Fredholm, "Sur une classe d'equations fonctionnelles", Acta Mathematica, 27 (1903) pp. 365–390.
- D.E. Edmunds and W.D. Evans (1987), Spectral theory and differential operators, Oxford University Press. ISBN 0-19-853542-2.
- Bruce K. Driver, "Compact and Fredholm Operators and the Spectral Theorem", Analysis Tools with Applications, Chapter 35, pp. 579–600.
- Robert C. McOwen, "Fredholm theory of partial differential equations on complete Riemannian manifolds", Pacific J. Math. 87, no. 1 (1980), 169–185.
Voci correlate
- Alternativa di Fredholm
- Autovettore e autovalore
- Determinante di Fredholm
- Equazione differenziale lineare
- Equazione integrale di Fredholm
- Funzione di Green
- Nucleo di Fredholm
- Operatore compatto
- Operatore di Fredholm
- Spettro (matematica)
- Teoria spettrale
- Teoremi di Fredholm
Collegamenti esterni
- (EN) Fredholm operator, in PlanetMath.
- (EN) B.V. Khvedelidze, Fredholm operator, in Encyclopaedia of Mathematics, Springer e European Mathematical Society, 2002.
Controllo di autorità | GND (DE) 4155263-5 |
---|
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)