Sie sind auf Seite 1von 11

VERALLGEMEINERTE FUNKTIONEN und ELEMENTE DER FUNKTIONALANALYSIS

KURZSKRIPTUM

Prof. Dr. K. Pilzweger

UNIVERSITT DER BUNDESWEHR MNCHEN FAKULTT FR ELEKTROTECHNIK UND INFORMATIONSTECHNIK

Herbsttrimester 2012

-1KAP I. EINFHRUNG 1. Einfhrendes Beispiel: * - Funktion Das bekannteste Beispiel fr eine verallgemeinerte Funktion ist die Diracsche Deltafunktion *(t), die oft auch als Diracsche Impulsfunktion oder Einheitsimpulsfunktion bezeichnet wird. Man kann sie durch ihre sog. Ausblendeigenschaft definieren. Darunter versteht man die Aussage, dass (1.1) fr jedes t0 0 und jede in t ' t0 stetige Funktion f : 6 . Speziell fr t0 ' 0 folgt daraus, dass (1.2) fr jede in t ' 0 stetige Funktion f : 6 . Mit Hilfe der Substitution u ' t & t0 erkennt man, dass umgekehrt auch (1.1) aus (1.2) folgt, so dass beide Aussagen zueinander quivalent sind. Nun kann man sich aber relativ schnell davon berzeugen (s. Vorlesung), dass es keine gewhnliche Funktion * : 6 geben kann, so dass (1.2) oder, gleichbedeutend damit, (1.1) richtig ist. Die Deltafunktion *(t) ist daher keine gewhnliche Funktion, sondern ein anderes mathematisches Objekt, eben eine verallgemeinerte Funktion oder, wie man auch sagt, eine Distribution. Wenn auch keine Funktion im blichen Sinne, so lsst sich *(t) doch durch solche Funktionen beliebig genau approximieren. Daraus ergibt sich dann eine Mglichkeit, sich eine Vorstellung von *(t) zu machen. Um dies zu erklren, betrachten wir irgendeine Funktion D : 6 , die auerhalb eines abgeschlossenen Intervalls [a, b] d verschwindet (d. h.: D(t) ' 0 fr t [a, b]) und fr die (1.3) gilt. Beispiele dafr sind etwa oder

Damit definieren wir dann fr jedes g > 0 die Funktion

die aus D(t) durch eine Kontraktion in waagrechter und eine Dilatation in senkrechter Richtung jeweils um den Faktor 1/g hervorgeht. Bei g denke man vor allem an eine kleine positive Zahl. Fr die obigen zwei Beispiele gilt bzw. Auch das Integral von Dg(t) von &4 bis %4 ist fr jedes g > 0 gleich 1, denn:

-2Dabei wurde die Substitutionsregel der Integralrechnung mit u ' t/g angewandt. Wie in der Vorlesung weiter gezeigt wird, gilt nun

fr jede in t ' 0 stetige Funktion f : 6 , so dass Dg(t) fr g 6 0% die Gleichung (1.2) immer genauer und schlielich beliebig genau erfllt. Weil diese Gleichung die Deltafunktion *(t) definiert, kann man sich deshalb *(t) als den idealen Grenzfall der Funktion Dg(t) fr g 6 0% vorstellen. Fr die Beispiele (1.3) ergeben sich die folgenden Bilder:

2. Ergnzungen zur Analysis (2.1) Stckweise stetige Funktionen. Unter einer (gewhnlichen) Funktion wird im Folgenden immer eine Funktion vom Typ f : A 6 oder f : A 6 , wobei A d , verstanden. Ohne es jedes Mal besonders zu erwhnen, setzen wir stets voraus, dass sie stetig oder wenigstens stckweise stetig auf ist. Sie heit stetig auf , wenn sie in jedem t 0 definiert und stetig ist. Es ist dann A ' . Zur Erklrung des Begriffs stckweise stetig auf zuerst die folgende (2.1.1) Definition: Eine Menge S d heit diskret, wenn in jedem Intervall [a, b] d hchstens endlich viele Punkte aus S liegen. Jede endliche Menge S ' {t1, t2, . . ., tn} ist diskret. Eine unendliche Menge S d ist es genau dann, wenn sich ihre Punkte nirgendwo auf der reellen Achse hufen. Die fr uns wichtigsten Beispiele fr eine unendliche diskrete Menge sind S ' {n )t * n 0 0} ' {0, )t, 2 )t, 3 )t, . . .} und S ' {k )t * k 0 } ' {0, )t, 2 )t, 3 )t, . . .}, wobei )t > 0 fest vorgegeben. 0 bezeichnet die Menge der nichtnegativen ganzen Zahlen, kurz: 0 :' c {0}. (2.1.2) Definition: Eine Funktion f : A (d ) 6 heit stckweise stetig auf , wenn es eine nichtleere diskrete Menge S d gibt, so dass f nur fr jedes t 0 \S definiert und stetig ist und in jedem Punkt t0 0 S die einseitigen Grenzwerte

-3und eigentlich oder uneigentlich existieren. Einen Punkt t0 0 S nennen wir eine singulre Stelle von f. In einer singulren Stelle ist f entweder nicht definiert oder zwar definiert, aber nicht stetig. Eine t0 0 S heit eine Unendlichkeitsstelle von f, wenn oder . Wenn nicht fr alle t 0 definiert, ist eine stckweise stetige Funktion immerhin noch fr fast alle t 0 , d. h. fr alle t 0 auerhalb einer diskreten Teilmenge von definiert. (2.3) Definition: Eine Funktion f : A (d ) 6 heit stckweise stetig auf , wenn Re[f] und Im[f], Real- und Imaginrteil von f, stckweise stetig auf sind. Ein Punkt t0 0 ist eine singulre Stelle von f, wenn er eine von Re[f] oder Im[f] ist. (2.2) Heavisidesche Sprungfunktion. (2.2.1) Definition: Die durch

definierte Funktion s : 6 heit Heavisidesche Sprungfunktion oder Einheitssprungfunktion. Wichtig ist auch die Sprungfunktion s(t & t0), wobei t0 0 fest. Sie entsteht aus s(t) durch eine Translation um t0 in t - Richtung.

Die Bedeutung der Sprungfunktion s(t) liegt u. a. darin, dass mit ihr stckweise definierte Funktionen in geschlossener Form dargestellt werden knnen. (2.2.2) Beispiel: Seien t1, t2 0 mit t1 < t2 und sei

mit irgendwelchen Funktionen f1, f2 und f3. Dann gilt:

-4-

fr alle t 0 \{t1, t2}. (2.3) Ergnzungen zur Integralrechnung.

Sei f : A (d ) 6 eine auf stckweise stetige Funktion und seien a, b 0 mit a < b. Enthlt das Intervall [a, b] keine singulre Stellen von f, so ist das Integral unproblematisch, weil f dann stetig auf [a, b] ist und so das Integral (als Grenzwert Riemannscher Summen) eigentlich existiert. Ein Problem entsteht erst, wenn im Integrationsintervall eine oder mehrere singulre Stellen von f liegen. Wir behandeln zuerst die Flle, dass es genau eine singulre Stelle t0 von f enthlt und diese mit einem seiner beiden Randpunkte zusammenfllt. (2.3.1) Definition: Sei t0 eine singulre Stelle von f und seien a, b 0 mit a < t0 < b und derart, dass in [a, b] auer t0 keine weitere singulre Stelle von f liegt. Dann ist definiert: 1) ; 2) .

Die Integrale heien konvergent, wenn die sie definierenden Grenzwerte eigentlich existieren, divergent sonst.

Existiert der Grenzwert eigentlich, ist das Integral immer konvergent. Ist dagegen so kann es konvergieren oder auch nicht. Wenn nicht, divergiert es bestimmt gegen den Wert von also gegen % 4 oder & 4. Analoge Bemerkungen gelten fr das Integral .

(2.3.2) Satz: Seien t0, a und b wie in (2.3.1) und seien F1 und F2 Stammfunktionen von f auf den Intervallen [a, t0, bzw. +t0, b]. Dann gilt: 1) 2) wobei wobei

-5Als nchstes besprechen wir das Integral wobei t1 und t2 zwei aufeinander folgende singulre Stellen von f seien. Die Funktion f ist dann stetig auf dem offenen Intervall +t1, t2,. (2.3.3) Definition: Seien t1 und t2 zwei aufeinander folgende singulre Stellen von f. Dann ist definiert:

mit irgendeinem c 0 +t1, t2,. Das Integral heit konvergent, wenn die zwei Integrale auf der rechten Seite der definierenden Gleichung konvergieren, anderenfalls divergent.

Diese Definition von

ist unabhngig von c, d. h., jedes c 0 +t1, t2, fhrt auf dasselbe

Ergebnis. Das zeigt auch der folgende (2.3.4) Satz: Seien t1 und t2 wie in (2.3.3) und sei F eine Stammfunktion von f auf dem Intervall +t1, t2,. Dann gilt:

Schlielich diskutieren wir noch den allgemeinen Fall, in dem das Integrationsintervall [a, b] eine oder mehrere singulre Stellen von f enthlt. (2.3.5 Definition: Seien t1, . . ., tn mit a # t1 < . . . < tn # b alle singulren Stellen von f im Intervall [a, b], wobei a, b 0 mit a < b. Dann ist definiert: . Das Integral heit konvergent, wenn alle Integrale auf der rechten Seite der definierenden Gleichung konvergieren, divergent sonst. Konvergiert , sagt man auch, die Funktion f sei ber dem Intervall [a, b] integrierbar. (2.3.6) Definition: Eine Funktion f : A (d ) 6 heit lokal integrierbar, wenn sie ber jedem Intervall [a, b] d integrierbar ist.

-6Alle stetigen und alle stckweise stetigen Funktionen, die keine Unendlichkeitsstellen haben, sind lokal integrierbar. Es gibt aber auch stckweise stetige Funktionen mit Unendlichkeitsstellen, die lokal integrierbar sind. Ein Beispiel dafr ist die Funktion f(t) ' ln *t*; t 0. Bisher war f als reellwertig vorausgesetzt. Die obigen Definitionen und die darin geprgten Begriffe sind aber fr den Fall einer komplexwertigen Funktion f genauso sinnvoll und knnen daher ohne jede nderung dafr bernommen werden. Die Stze (2.3.2) und (2.3.4) bleiben dann wortwrtlich gltig. Weiter gilt mit u :' Re[f] und v :' Im[f] fr jedes Intervall [a, b] d : liegen in [a, b] singulre Stellen von f, so ist genau dann konvergent, wenn die (reellen) Integrale und es sind, und es ist dann . Enthlt [a, b] keine singulren Stellen von f, gilt diese Gleichung sowieso. Es folgt, dass eine Funktion f : A (d ) 6 genau dann lokal integrierbar ist, wenn u und v lokal integrierbar sind. Zum Schluss noch eine Aussage, die wir im Folgenden immer wieder brauchen werden. Dabei spielt die durch *f*(t) :' *f (t)* fr alle t 0 A definierte Funktion eine Rolle. (2.3.7) Satz: Sei f : A (d ) 6 lokal integrierbar. Dann ist auch *f* lokal integrierbar, und es gilt:

fr jedes Intervall [a, b] d .

-7KAP II. BEGRIFFE DER FUNKTIONALANALYSIS 1. Lineare Funktionale (1.1) Vektorrume. Sei

' oder

' .

(1.1.1) Definition: Ein Vektorraum (auch: linearer Raum) ber ist eine nichtleere Menge X, ausgestattet mit zwei algebraischen Operationen, von denen die erste je zwei Elementen x, y 0 X eindeutig eine Summe x r y 0 X und die zweite jeder Zahl " 0 und jedem Element x 0 X eindeutig ein Produkt ". x 0 X derart zuordnet, dass die folgenden Gesetze erfllt sind: (A 1) x r y ' y r x x, y 0 X. (A 2) (x r y) r z ' x r (y r z) x, y, z 0 X. (A 3) Es gibt genau ein Element 0 0 X, so dass x r 0 ' x x 0 X. (A 4) Zu jedem x 0 X gibt es genau ein xN 0 X mit x r xN ' 0. (M 1) (" $). x ' ".($. x) ", $ 0 , x 0 X. (M 2) (" % $). x ' ". x r $. x ", $ 0 , x 0 X. (M 3) ". (x r y) ' ". x r ". y " 0 , x, y 0 X. (M 4) 1. x ' x x 0 X. Die Elemente von X bezeichnet man als Vektoren, die Zahlen aus auch als Skalare. Die zwei algebraischen Operationen sind die Addition von Vektoren und die Multiplikation von Skalar und Vektor. Man nennt sie die Vektorraumoperationen. Die Gesetze (A 1) - (A 4) und (M 1) - (M4) sind die sog. Vektorraumaxiome. Den Vektor 0 aus (A 3) nennt man den Nullvektor von X, und der fr jedes x 0 X eindeutig bestimmte Vektor xN aus (A 4) heit der zu x entgegengesetzte Vektor; wir bezeichnen ihn - zunchst einmal - mit s x. (1.1.2) Beispiele: 1. Sei n 0 und sei
n

die Menge aller n - stelligen Spalten von Zahlen aus , also:


n

:' {x *

wobei x1, x2, . . ., xn 0 }.

Die Vektorraumoperationen r und . werden definiert durch und fr alle x, y 0 X und alle " 0 . Man prft leicht nach, dass damit die Vektorraumaxiome (A 1) (A 4) und (M 1) - (M 4) erfllt sind, so dass n, ausgestattet mit diesen Operationen, ein Vektor-

-8raum ber ben durch ist. Der Nullvektor und der zu einem x 0
n

entgegengesetzte Vektor s x sind gege-

und

Dieses Beispiel ist von der Linearen Algebra her bekannt. Nur die Bezeichnungen sind vielleicht etwas befremdlich. 2. Sei F() die Menge aller Funktionen x : 6 , kurz: F() :' {x * x : 6 }. Fhrt man auf F() die durch (x r y)(t) :' x(t) % y(t) t 0 und (". x)(t) :' " x(t) t 0 (()

definierten Operationen ein, sind wieder die Vektorraumaxiome erfllt. Die Menge F() wird dadurch zu einem Vektorraum ber und jede Funktion x : 6 damit zu einem Vektor aus F(). Der Nullvektor von F() ist die Nullfunktion 0, definiert durch 0(t) :' 0 fr alle t 0 , und der zu einem x 0 F() entgegengesetzte Vektor s x ist die durch (s x)(t) ' & x(t) fr alle t 0 gegebene Funktion. Einen Vektorraum, der wie F() aus Funktionen besteht, nennt man einen Funktionenraum. 3. Weitere Beispiele fr einen Funktionenraum sind: C(), der Raum aller stetigen Funktionen x : 6 , C(m)(), der Raum aller m - mal stetig differenzierbaren Funktionen x : 6 , wobei m 0 , C(4)(), der Raum aller beliebig oft differenzierbaren Funktionen x : 6 .

Die Vektorraumoperationen r und . auf diesen Rumen sind wie in (() definiert. Offensichtlich gilt C(4)() d C(m)() d C() d F(). Die Inklusionen sind alle echt, d. h., das Inklusionszeichen d kann berall durch das Zeichen fr eine echte Inklusion ersetzt werden. Bevor wir fortfahren, vereinfachen wir noch unsere Bezeichnungsweisen. Was die Vektorraumoperationen angeht, schreiben wir fortan anstelle von x r y, ". x und s x einfacher x % y, " x und &x. Die Elemente (Vektoren) eines allgemeinen Vektorraums, so wie er in unseren Definitionen und Stzen immer vorkommt, werden nach wie vor durch Unterstreichen gekennzeichnet. Bei den Elementen eines Funktionenraums hingegen unterlassen wir das und bezeichnen sie von jetzt an immer mit kleinen lateinischen, manchmal auch griechischen Buchstaben ohne Unterstrich. Nur an dem Symbol 0 fr die Nullfunktion halten wir weiter fest. Dies geschieht, um sie von der Zahl 0 zu unterscheiden. (1.1.3) Definition: Sei X ein Vektorraum ber . Eine nichtleere Teilmenge U von X heit ein

-9Unterraum von X, wenn sie die folgenden Eigenschaften hat: (U 1) x, y 0 U Y x % y 0 U, (U 2) " 0 , x 0 U Y " x 0 U, d. h., wenn U mit x, y 0 X auch x % y und mit x 0 X auch " x fr jedes " 0 dann, U sei abgeschlossen gegenber den Vektorraumoperationen. Ein Unterraum U von X, ausgestattet mit den auf ganz X definierten Vektorraumoperationen, ist selbst wieder ein Vektorraum ber . Wendet man die Eigenschaften (U 1) und (U 2) wiederholt an, erkennt man, dass ein Unterraum U mit endlich vielen Vektoren x1, x2, . . ., xn 0 X auch jede Linearkombination von x1, x2, . . ., xn, d. h. jeden Vektor x 0 X der Form , enthlt. In Zeichen: (U 3) "1, "2, . . ., "n 0 , x1, x2, . . ., xn 0 U Y enthlt. Man sagt

0 U.

Die einfachsten Beispiele fr einen Unterraum von X sind U ' {0} und U ' X. Ein anspruchvolleres Beispiel ist die lineare Hlle einer nichtleeren Menge A d X. (1.1.4) Definition: Sei X ein Vektorraum ber und sei A eine nichtleere Teilmenge von X. Dann heit die Menge aller Linearkombinationen, die man mit endlich vielen Vektoren aus A bilden kann, die lineare Hlle von A; sie wird mit Lin[A] bezeichnet. Kurz: Lin[A] :' x1, x2, . . ., xn 0 A, "1, "2, . . ., "n 0 , n 0 }.

Lin[A] erfllt offensichtlich die Bedingungen (U 1) und (U 2) und ist somit ein Unterraum von X. (1.1.5) Beispiel: Seien fi : 6 , wobei i ' 0, 1, 2, . . ., die Potenzfunktionen fi(t) ' ti. (f0 ist die konstante Funktion f0(t) ' 1). Weil beliebig oft differenzierbar auf , ist fi fr jedes i ' 0, 1, 2, . . . ein Element des Funktionenraums C(4)() und die Menge A :' {f0, f1, f2, . . .} deshalb eine Teilmenge von C(4)(). Da jede Linearkombination x von endlich vielen Elementen . . ., aus A, wobei 0 # i1 < i2 < . . . < in, auf die Form mit N :' in und Zahlen "1, "2, . . ., "N 0 gebracht werden kann, und weil

t 0 ,
ist Lin[A] einfach der aus allen Polynomen x : 6 (1.1.6) Definition: Sei X ein Vektorraum ber . bestehende Unterraum von C(4)().

-101) Eine endliche Teilmenge A ' {x1, x2, . . ., xn} von X heit linear unabhngig, wenn die Vektorgleichung nur die triviale Lsung ("1, "2, . . ., "n) ' (0, 0, . . ., 0) besitzt. 2) Eine unendliche Teilmenge A von X heit linear unabhngig, wenn jede endliche Teilmenge von A linear unabhngig ist. 3) Eine nicht linear unabhngige (endliche oder unendliche) Teilmenge von X heit linear abhngig. Eine einelementige Menge A ' {x} ist genau dann linear unabhngig, wenn x 0, und eine endliche mehrelementige Menge A ' {x1, x2, . . ., xn} ist es genau dann, wenn sich keiner der n Vektoren x1, x2, . . ., xn als Linearkombination der brigen n&1 darstellen lsst. Die Dimension eines Vektorraums X, in Zeichen: dim X, ist definiert als die maximale Anzahl der Elemente, die eine linear unabhngige Teilmenge von X haben kann. Dass dim X ' n, wobei n 0

, bedeutet daher, dass es linear unabhngige Teilmengen von X mit genau n Elementen gibt, dass aber jede Teilmenge von X mit mehr als n Elementen linear abhngig ist. Ein Beispiel dafr ist der Vektorraum n. Die oben eingefhrten Funktionenrume C(4)(), C(m)(), C() und F() enthalten dagegen auch linear unabhngige Teilmengen mit unendlich vielen Elementen, so dass man ihnen die Dimension 4 zuordnen muss; sie sind also unendlichdimensional. In der Vorlesung wird dazu gezeigt, dass etwa die unendliche Menge A ' {f0, f1, f2, . . .} aus Beispiel (1.1.5) eine linear unabhngige Teilmenge des Funktionenraums C(4)() ist.
(1.2) Raum der Testfunktionen. (1.2.1) Definition: Man sagt, eine Funktion f : 6 habe einen kompakten Trger, wenn sie auerhalb eines Intervalls [a, b] d verschwindet (d. h.: f (t) ' 0 fr alle t [a, b]).

Wie das Bild zeigt, gibt es zu einer Funktion f : 6 mit kompaktem Trger immer ein bez. t ' 0 symmetrisches Intervall [&a, a], auerhalb dem f verschwindet. Es ist nicht schwer, auf ganz stetige oder auch differenzierbare Funktionen mit einem kompakten Trger anzugeben. Schwierig ist es jedoch, eine Funktion mit kompakten Trger zu finden, die auf ganz beliebig oft differenzierbar ist. Solche Funktionen gibt es aber (s. u.: (1.2.3)), und