Integralgleichungen 1. Art

In der Mathematik wird eine Integralgleichung, bei der die gesuchte Funktion nur unter dem Integralzeichen vorkommt, als Integralgleichung 1. Art bezeichnet. Sind beispielsweise $A, B \subseteq \R$, $k: A\times B\times \R \to \R$ und $f: A\to\R$ gegeben, so ist

$\int_B k\left(s,t,x(t)\right)\, dt = f(s)$

eine Integralgleichung der 1. Art für die unbekannte Funktion $x: B\to\R$.

Einteilung

Sind die Grenzen des Integrals fix, so wird die Integralgleichung Fredholmsch genannt; tritt die freie Variable in den Integralgrenzen auf, so heißt die Integralgleichung Volterrasch.

Ein einfaches Beispiel einer Volterraschen Integralgleichung 1. Art ist die Gleichung

$\int_0^s x(t)\,dt = f(s),$

deren Lösung offensichtlich die erste Ableitung ist: $x(t)=f'(t)\!$.

Lösbarkeit

Integralgleichungen 1. Art sind in der Regel sogenannte inkorrekt gestellte Probleme, also Probleme, die nicht in kanonischer Weise gelöst werden können. Ist nämlich

$K: x\mapsto \int_B k\left(s,t,x(t)\right)\, dt$

ein kompakter Operator zwischen Banachräumen X und Y und hat K unendlich-dimensionalen Bildraum, dann ist das Bild von K von erster Kategorie in Y. Das bedeutet, dass K nicht stetig invertierbar oder wenigstens offen sein kann. Zur Lösung von Integralgleichungen 1. Art sind daher Regularisierungsverfahren erforderlich.

Beispiel

Auch das bereits erwähnte Bilden der ersten Ableitung ist ein inkorrekt gestelltes Problem: Betrachtet man beispielsweise den normierten Vektorraum

$\left(C^\infty\left([0,1]\right),\|.\|_{\sup} \right)$

der unendlich oft stetig differenzierbaren Funktionen des Intervalls $[0,1]\;$ bezüglich der Supremumsnorm, so ist der Operator

$D:\begin{cases} C^\infty\left([0,1]\right) \to C^\infty\left([0,1]\right)\\ f\mapsto f'\end{cases},$

welcher der Funktion $f\!$ die Lösung der Integralgleichung

$\int_0^s x(t)dt = f(s)$

zuordnet, ein unstetiger linearer Operator:

$f_n:=\frac{1}{n}\sin\left(n^2x\right)$

ist im Sinne der Supremumsnorm eine Nullfolge, da

$\|f_n\|_{\sup} =\frac{1}{n},$

aber für

$Df_n=f'_n=n\cos\left(n^2x\right)$

gilt:

$\|Df_n\|_{\sup}=\|f'_n\|_{\sup}=n$.

Die Funktionenfolge $f_n(t)\!$ konvergiert also gegen die Funktion $f(t)=0\!$, aber die Folge $Df_n\!$ der Bilder divergiert.

Numerisches Differenzieren

Diese Eigenschaft spiegelt sich auch wider, wenn man versucht, näherungsweise gegebene Funktionen numerisch zu differenzieren. Berechnet man beispielsweise numerisch die Ableitung von e^x an der Stelle x = 0,5 durch Bilden der Differenzenquotienten $\frac{e^{0,5+h}-e^{0,5}}{h}$ für unterschiedliche Schrittweiten h, so erhält man typischerweise folgendes Ergebnis:

$h\!$	$\frac{e^{0,5+h}-e^{0,5}}{h}$
1	2,83297
0,1	1,73398
0,01	1.65699
0,001	1,64955
0,0001	1,6488
10 − 5	1,64873
10 − 6	1,64872
10 − 7	1,64872
10 − 8	1,64872
10 − 9	1,64872
10 − 10	1,64872
10 − 11	1,64873
10 − 12	1,64868
10 − 13	1,64979
10 − 14	1,64313
10 − 15	1,55431
10 − 16	2,22045

Der exakte Wert der Ableitung ist $e^{0{,}5}\approx 1.64872$. Der Fehler nimmt für immer kleinere Schrittweiten h also zuerst ab bis man praktisch den korrekten Wert erhält, für noch kleinere h nimmt der Fehler aber überraschenderweise wieder zu. Dies erklärt sich damit, dass für kleine h zwar der Diskretisierungsfehler, also der Unterschied zwischen dem Differenzenquotienten und der Ableitung, immer kleiner wird, dafür aber nimmt der Fehler zu, der dadurch entsteht, dass man ja e^x nicht exakt zur Verfügung hat, sondern nur eine numerische Approximation dieser Funktion. Da Differenzieren ein unstetiger linearer Operator ist, kann dieser zweite Fehler beliebig groß werden.

Dieses Verhalten ist generell typisch für inkorrekt gestellte Probleme.

Weitere Beispiele

Andere Beispiele von Integralgleichungen 1. Art sind die inverse Laplacetransformation sowie die nach Johann Radon benannte inverse Radontransformation, die in der Computertomografie eine wichtige Rolle spielt. Beides sind inkorrekt gestellte Probleme.

Die inverse Fouriertransformation ist ebenfalls eine Integralgleichung 1. Art, im Gegensatz zu den anderen Beispielen allerdings ein korrekt gestelltes Problem.