Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 26/latex
\setcounter{section}{26}
\zwischenueberschrift{Integralgleichungen}
In
Lemma 56.1 (Analysis (Osnabrück 2021-2023))
wird ein Anfangswertproblem
\mavergleichskette
{\vergleichskette
{ x'
}
{ = }{ F(t,x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ f(a)
}
{ = }{ w
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in die Integralgleichung
\mavergleichskettedisp
{\vergleichskette
{ x(s)
}
{ =} { w + \int_{ a }^{ s } F(t,x(t)) \, d t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
übersetzt. Damit konnte die Existenz und Eindeutigkeit einer Lösung unter bestimmten Voraussetzungen gezeigt werden und mit der Picard-Lindelöf-Iteration auch ein approximierendes Berechnungsverfahren begründet werden. Eine allgemeinere Form einer Integralgleichung ist
\mavergleichskettedisp
{\vergleichskette
{ x(s)
}
{ =} { \int_{ a }^{ s } F(s,t,x(t)) \, d t +g(s)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei die Abbildungen $g,F$ und die gesuchte Abbildung $x$ Werte im $\R^n$ besitzt. Da über $t$ integriert wird, darf das $s$ sowohl im Integranden als auch in der Integrationsgrenze vorkommen. Diese Gesamtsituation ist sehr allgemein, typischerweise betrachtet man Situationen, wo zusätzliche Bedingungen erfüllt sind. Wir betrachten die Situation, wo die gesuchte Funktion $x(t)$ linear in den Integranden eingeht, d.h. der Integrand besitzt die Form
\mavergleichskettedisp
{\vergleichskette
{ F(s,t,x(t))
}
{ =} { K(s,t) x(t)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einer skalarwertigen Funktion $K(s,t)$, die der Integralkern der Integralgleichung heißt. Man unterscheidet nun die folgenden Varianten gemäß der folgenden Fragen
\aufzaehlungdrei{Kommt die gesuchte Funktion $x(t)$ nur im Integranden oder
\zusatzklammer {wie oben} {} {}
auch außerhalb
\zusatzklammer {oben auf der linken Seite} {} {}
vor?
}{Ist die obere Inegrationsgrenze konstant oder variabel?
}{Ist
\mavergleichskette
{\vergleichskette
{ g(t)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {homogner Fall} {} {}
oder nicht
\zusatzklammer {inhomogener Fall} {} {.}
}
Einige Situationen bekommen einen eigenen Namen.
\aufzaehlungvier{
\mavergleichskettedisp
{\vergleichskette
{ 0
}
{ =} { \int_a^b K(s,t) x(t) dt +g (s)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {Fredholmsche Integralgleichung erster Art} {} {.}
}{
\mavergleichskettedisp
{\vergleichskette
{ x(s)
}
{ =} { \int_a^b K(s,t) x(t) dt +g (s)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {Fredholmsche Integralgleichung zweiter Art} {} {.}
}{
\mavergleichskettedisp
{\vergleichskette
{ 0
}
{ =} { \int_a^s K(s,t) x(t) dt +g (s)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {Volterrasche Integralgleichung erster Art} {} {.}
}{
\mavergleichskettedisp
{\vergleichskette
{ x(s)
}
{ =} { \int_a^s K(s,t) x(t) dt +g (s)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {Volterrasche Integralgleichung zweiter Art} {} {.}
}
Eine eindimensionale lineare inhomogene Differentialgleichung
\mavergleichskettedisp
{\vergleichskette
{ x'
}
{ =} { f(t)x + h(t)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ x(a)
}
{ =} { w
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
führt auf die Integralgleichung
\mavergleichskettedisp
{\vergleichskette
{ x(s)
}
{ =} { w + \int_a^s f(t) x(t) +h(t) dt
}
{ =} { w +H(s) + \int_a^s f(t)x(t) dt
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei $H$ eine Stammfunktion zu $h$ mit
\mavergleichskette
{\vergleichskette
{ H(a)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sei. Dies ist eine Volterrasche Differentialgleichung zweiter Art mit
\mavergleichskette
{\vergleichskette
{ g(s)
}
{ = }{ w+H(s)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputbeispiel{}
{
Wir betrachten die verschiedenen linearen eindimensionalen Integralgleichungen für den Fall, wo der Integralkern konstant gleich $1$ ist und im homogenen Fall, also
\mavergleichskette
{\vergleichskette
{ g
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\aufzaehlungvier{
\mavergleichskettedisp
{\vergleichskette
{ \int_a^b x(t) dt
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Hier gibt es eine Vielzahl an Lösungsfunktionen.
}{
\mavergleichskettedisp
{\vergleichskette
{ \int_a^b x(t) dt
}
{ =} { x(s)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da die linke Seite nicht von $s$ abhängt, muss die Lösungsfunktion konstant sein, hier ist die Nullfunktion eine Lösung. Bei
\mavergleichskettedisp
{\vergleichskette
{ b-a
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist aber auch jede konstante Funktion eine Lösung.
}{
\mavergleichskettedisp
{\vergleichskette
{ \int_a^s x(t) dt
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle $s$. Die Nullfunktion ist die einzige Lösung.
}{
\mavergleichskettedisp
{\vergleichskette
{ \int_a^s x(t) dt
}
{ =} { x(s)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Nullfunktion ist eine Lösung. Bei
\mavergleichskette
{\vergleichskette
{ a
}
{ = }{ - \infty
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wenn wir das hier zulassen und mit uneigentlichen Integralen arbeiten, sind $ce^t$ Lösungen.
}
}
\inputbeispiel{}
{
Eine Integralgleichung der Form
\mavergleichskettedisp
{\vergleichskette
{ x(s)
}
{ =} {\int_a^s K(s) x(t) dt
}
{ =} { K(s) \int_a^s x(t) dt
}
{ } {
}
{ } {
}
}
{}{}{,}
wo also der Integralkern nur von der Variablen $s$ abhängt, nach der nicht integriert wird, kann man wie folgt vorgehen. Alle Daten seien differenzierbar und gesucht sei nach differenzierbaren Funktionen. Es sei ferner $K(s)$ nullstellenfrei. Dann kann man die Gleichung auch als
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ x(s) }{ K(s) } }
}
{ =} { \int_a^s x(t) dt
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
schreiben und beidseitig ableiten. So erhält man die Bedingung
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ x'(s) K(s) - x(s)K'(s) }{ K(s)^2 } }
}
{ =} { x(s)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bzw. durch Umstellung
\mavergleichskettedisp
{\vergleichskette
{ x'(s)
}
{ =} { { \left( K(s) + { \frac{ K'(s) }{ K(s) } } \right) } x(s)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also eine homogene lineare Differentialgleichung, die mit
Satz 29.2 (Analysis (Osnabrück 2021-2023))
gelöst werden kann.
}
\inputfaktbeweis
{Integralgleichung/Fredholm/Zweiter Art/Lösung/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $[a,b]$ ein
\definitionsverweis {kompaktes Intervall}{}{,}
\maabbdisp {} {[a,b] \times [a,b] } { \R^n
} {}
ein stetiger Integralkern mit
\mavergleichskette
{\vergleichskette
{ \betrag { K(s,t) }
}
{ \leq }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{} und
\maabb {g} {[a,b] } { \R^n
} {}
eine stetige Funktion.}
\faktfolgerung {Dann gibt es zur jeder reellen Zahl $\lambda$ mit
\mavergleichskette
{\vergleichskette
{ \betrag { \lambda }
}
{ < }{{ \frac{ 1 }{ M(b-a) } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine eindeutige Lösungsfunktion
\maabb {x} { [a,b]} { \R^n
} {}
mit
\mavergleichskettedisp
{\vergleichskette
{ x(s)
}
{ =} { \lambda \int_a^b K(s,t) x(t) dt +g (s)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir betrachten den Vektorraum $X$ aller stetigen Kurven von $[a,b]$ nach $\R^n$. Dieser ist mit der
\definitionsverweis {Maximumsnorm}{}{}
ein
\definitionsverweis {metrischer Raum}{}{}
und nach
Satz 55.9 (Analysis (Osnabrück 2021-2023))
\definitionsverweis {vollständig}{}{.}
Es sei $\lambda$ mit der beschriebenen Eigenschaft fixiert. Die zum Kern gehörige Transformation
\mavergleichskettedisp
{\vergleichskette
{ (T_K(x)) (s)
}
{ =} { \lambda \int_a^b K(s,t) x(t) dt +g (s)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist eine Abbildung
\maabbeledisp {} {X} {X
} {x} {T(x)
} {.}
Die Wohldefiniertheit beruht auf der Existenz der bestimmten Integrale für stetige Funktionen und auf der Stetigkeit des Integrals, siehe
Satz 58.2 (Analysis (Osnabrück 2021-2023)).
Eine Lösung der Integralgleichung ist offenbar ein Fixpunkt der Transformation, wir werden also
den Banachschen Fixpunktsatz
anwenden. Zu Kurven
\mavergleichskette
{\vergleichskette
{ x_1,x_2
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ T(x_1) (s) - T(x_2) (s)
}
{ =} { \lambda \int_a^b K(s,t)(x_1(s) -x_2(s)) dt
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und dies ist durch
\mathdisp {\betrag { \lambda } \cdot M \cdot (b-a) \cdot \Vert {x_1-x_2} \Vert} { }
beschränkt. Daher ist
\mavergleichskettealign
{\vergleichskettealign
{ \Vert {T(x_1)-T(x_2) } \Vert
}
{ =} { \operatorname{max} \left( \Vert { T(x_1) (s) - T(x_2) (s) } \Vert {{|}} s \in [a,b] \right)
}
{ \leq} { \betrag { \lambda } \cdot M \cdot (b-a) \cdot \Vert {x_1-x_2} \Vert
}
{ } {
}
{ } {
}
}
{}
{}{}
und nach Voraussetzung ist
\mavergleichskette
{\vergleichskette
{ \betrag { \lambda } \cdot M \cdot (b-a)
}
{ < }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also ein Kontraktionsfaktor.
Wenn $g$ die Nullfunktion ist, also der homogene Fall vorliegt, so ist die Nullfunktion
\mavergleichskette
{\vergleichskette
{ x(s)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stets eine Lösung. Für $\lambda$ betragsmäßig klein bedeutet der Satz, dass die Nulllösung die einzige Lösung gibt. Für großes $\lambda$ gibt es im Allgemeinen nichttriviale Lösungen.