Integralgleichung

Eine Gleichung wird in der Mathematik Integralgleichung genannt, wenn die gesuchte Funktion unter einem Integral vorkommt. Integralgleichungen können in Naturwissenschaft und Technik zur Beschreibung verschiedener Phänomene verwendet werden. Ein bekanntes Beispiel für eine Integralgleichung mit einigen Anwendungen ist die Abelsche Integralgleichung, die auch historisch zu den ersten untersuchten Integralgleichungen zählt.

Das Teilgebiet der Mathematik, das sich mit Integralgleichungen und den unten erwähnten kompakten Operatoren beschäftigt, ist die Funktionalanalysis.

Definition

Lineare Integralgleichung

Eine lineare Integralgleichung ist eine Gleichung für eine unbekannte Funktion und hat für $x\in \Omega$ die Form

$\lambda (x)u(x)+\int _{\Omega }k(x,y)u(y)\,\mathrm {d} y=f(x),$

wobei $\lambda$ , , gegebene Funktionen und $\Omega \subseteq \mathbb {R} ^{n}$ kompakt sind. Die Funktion wird Kern genannt.

Nichtlineare Integralgleichung

Eine nichtlineare Integralgleichung hat die Gestalt

$\int _{\Omega }K(y,x,u(y))\mathrm {d} y=f(x)$

mit einem geeigneten Definitionsbereich der Kernfunktion K und einem geeigneten Integrationsbereich $\Omega \subset \mathbb {R} ^{n}$ .

Klassifikation linearer Integralgleichungen

Lineare Integralgleichungen kann man in

Integralgleichungen 1. Art, wenn $\lambda (x)\equiv 0$ ,
Integralgleichungen 2. Art, wenn $\lambda (x)\equiv \lambda \in \mathbb {C} \setminus \{0\}$ , und
Integralgleichungen 3. Art, für alle anderen $\lambda$ ,

einteilen.

Diese Einteilung erscheint willkürlich, ist aber aufgrund der unterschiedlichen analytischen Eigenschaften der jeweiligen Arten von Integralgleichungen notwendig. So sind beispielsweise Integralgleichungen 2. Art (unter schwachen Voraussetzungen an den Kern) für fast alle Werte von $\lambda$ eindeutig lösbar, und die Lösung hängt stetig von ab. Dies gilt für Integralgleichungen 1. Art (unter denselben Voraussetzungen an den Kern) im Allgemeinen nicht. Integralgleichungen 1. Art sind wie z.B. die Laplace-Transformation fast immer inkorrekt gestellte Probleme. Die Fourier-Transformation bildet eine der wenigen Ausnahmen. Auch Integralgleichungen 3. Art sind in der Regel inkorrekt gestellte Probleme.

Ist die in einer Integralgleichung vorkommende bekannte Funktion $f\equiv 0$ , so ist die Gleichung homogen, andernfalls inhomogen.

Außerdem kann man Integralgleichungen nach ihren Integrationsgrenzen klassifizieren. Sind alle Grenzen konstant, so spricht man von Fredholm-Integralgleichungen, ist eine der Grenzen variabel, so nennt man die Gleichung eine Volterra-Integralgleichung.

Eine weitere Einteilung beruht auf Eigenschaften des Kerns. Hier gibt es schwach singuläre und stark singuläre Integralgleichungen.

Beispiele

(lineare) Fredholmsche Integralgleichung 1. Art:

$\int _{0}^{1}k(s,t)x(t)dt=f(s),s\in [0,1]$

(lineare) Volterrasche Integralgleichung 1. Art:

$\int _{0}^{s}k(s,t)x(t)dt=f(s),s\in [0,1]$

Operatortheoretischer Zugang

→ Hauptartikel: Integraloperator

Mit

$(Ku)(x)=\int _{\Omega }k(x,y)u(y)\,\mathrm {d} y$

wird für einen hinreichend integrierbaren Kern $k(x,y)$ ein linearer Operator definiert. Wesentlich für die Theorie der (nicht stark singulären) Integralgleichungen ist die Theorie der kompakten Operatoren. Diese Theorie ähnelt in gewisser Weise der von linearen Gleichungen im Endlichdimensionalen. Kompakte Operatoren haben nämlich im Wesentlichen pure Eigenwertspektren. Genauer heißt das: Das Spektrum besteht (evtl. von der Null abgesehen) nur aus Eigenwerten und diese häufen sich in höchstens einem Punkt, der Null. Alle Eigenräume (evtl. von dem der Null abgesehen) sind endlichdimensional.

Dualität von Integral- und Differentialgleichungen

Integraloperatoren treten oft (aber nicht ausschließlich) bei der Lösung von Differentialgleichungen auf, zum Beispiel bei Sturm-Liouville-Problemen, oder bei partiellen Differentialgleichungen in Form der Greenschen Funktion.

Integro-Differentialgleichung

Eine Integro-Differentialgleichung ist eine Gleichung, in der sowohl die Ableitung der zu bestimmenden Funktion als auch ein Integral vorkommt, in dessen Integrand diese gesuchte Funktion auftritt.

Solche Gleichungen können genauso wie Integral- beziehungsweise Differenzialgleichungen linear oder nichtlinear sein. Treten nur gewöhnliche Ableitungen der gesuchten Funktion auf, spricht man von einer gewöhnlichen Integro-Differentialgleichung, treten partielle Ableitungen auf, dann spricht man von einer partiellen Integro-Differentialgleichung.

Ein Beispiel hierfür ist die aus der kinetischen Gastheorie stammende Boltzmann-Gleichung.

Basierend auf einem Artikel in:

Wikipedia.de