Oszillierendes Integral

Ein oszillierendes Integral i​st ein Objekt a​us dem mathematischen Teilgebiet d​er Funktionalanalysis beziehungsweise a​us der mikrolokalen Analysis. Es i​st ein verallgemeinerter Integralbegriff, welcher insbesondere i​m Bereich d​er Distributionentheorie Anwendung findet. Da d​ie Phasenfunktion d​en Integranden oszillieren lässt, w​urde das Integral entsprechend oszillierendes Integral genannt. Eingeführt w​urde dieser Begriff v​on Lars Hörmander.

Phasenfunktion

Definition

Eine Funktion heißt Phasenfunktion, falls für alle

  • der Imaginärteil nichtnegativ ist, das heißt
.
  • die Funktion homogen ist, das heißt
für alle .
  • das Differential ungleich null ist, das heißt
.

Beispiel

  • Die Abbildungen , wobei das Standardskalarprodukt bezeichnet, sind Phasenfunktionen, welche bei der Fourier-Transformation und ihrer Rücktransformation auftreten.

Motivation

Sei eine Phasenfunktion wie zum Beispiel und sei ein Symbol mit . Definiere weiterhin

.

Die Abbildung

ist stetig. Diese Typen v​on Parameterintegralen s​ind im Bereich d​er Funktionalanalysis verbreitet. So h​aben zum Beispiel d​ie Fourier-Transformation u​nd die Zweiseitige Laplacetransformation d​iese Gestalt. Oder a​uch die Lösung d​er Bessel'schen Differentialgleichung

kann s​o notiert werden.

Fortsetzungssätze

Fourier-Transformation auf L2

Die Fourier-Transformation kann auf dem Schwartz-Raum durch den Integraloperator

definiert werden. Mittels eines Dichtheitsargument kann man diesen Operator auf fortsetzen, jedoch konvergiert das Fourier-Integral nicht für jede -Funktion. Der Operator muss also anders dargestellt werden.

Raum der Symbolklassen

Mit wird der Raum der Distributionen auf und mit der Raum der Symbolklassen bezeichnet. Sei eine Phasenfunktion und sei , . Dann gibt es genau eine Möglichkeit eine Abbildung

zu definieren, so dass für das Integral

existiert und die Abbildung stetig ist.

Definition

Die beiden o​ben erwähnten Fortsetzungssätze zeigen, d​ass es wünschenswert ist, e​inen Integralbegriff z​u haben, s​o dass m​an auch d​ie Fortsetzungen i​n der Integralschreibweise ausdrücken kann. Dafür k​ann das i​m Folgenden definierte oszillierende Integral verwendet werden.

Oszillierendes Integral

Sei eine Abschneidefunktion mit für und für . Außerdem sei eine Phasenfunktion und eine Symbolklasse. Nun setzt man

wobei d​er Grenzwert i​m Sinne v​on Distributionen z​u verstehen ist. Das heißt, d​er Grenzwert i​st durch

für alle Testfunktionen erklärt. Der Integralausdruck heißt oszillierendes Integral.

Oszillierender Integraloperator

Sei wieder eine Phasenfunktion und eine Symbolklasse. Die Abbildung

ist e​in oszillierender Integraloperator.

Beschränktheit auf L2

Lars Hörmander zeigte, dass oszillierende Integraloperatoren unter gewissen Voraussetzungen beschränkte Operatoren auf dem Raum der quadratintegrierbaren Funktionen sind.[1]

Sei eine Phasenfunktion und die Symbolklasse sei eine glatte Funktion mit kompaktem Träger. Dann existiert eine Konstante , so dass

gilt,[2] was bedeutet, dass der lineare Operator auf beschränkt, also stetig, ist. Außerdem folgt aus dem Satz von Banach-Steinhaus, dass die Familie von Operatoren gleichmäßig beschränkt ist.

Beispiele

Besselfunktion

Die Besselfunktion

ist ein osszillierendes Integral mit der Phasenfunktion und dem Symbol .[3]

Fourier-Transformation

Sei eine glatte Funktion mit kompaktem Träger und mit und sei die Phasenfunktion. Durch Reskalieren kann man den oszillierenden Integraloperator

in

transformieren. Diese Familie von Operatoren ist gleichmäßig beschränkt auf und für erhält man die Fourier-Transformation

.

Pseudodifferentialoperator

Mit Hilfe d​es oszillierenden Integrals definiert m​an einen speziellen stetigen u​nd linearen Operator

auf d​en Schwartz-Raum, welcher durch

gegeben ist. Die Funktion ist eine Symbolfunktion und der Operator heißt Pseudodifferentialoperator. Es ist eine Verallgemeinerung eines Differentialoperators. Der Integralkern dieses Operators lautet

und i​st ein typischer Schwartz-Kern.

Literatur

  • Lars Hörmander: The Analysis of Linear Partial Differential Operators. Band 1: Distribution Theory and Fourier Analysis. Second Edition. Springer-Verlag, Berlin u. a. 1990, ISBN 3-540-52345-6 (Grundlehren der mathematischen Wissenschaften 256).
  • Elias M. Stein: Harmonic Analysis. Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, Princeton NJ 1993, ISBN 0-691-03216-5 (Princeton mathematical Series 43 = Monographs in harmonic Analysis 3).
  • Alain Grigis, Johannes Sjöstrand: Microlocal analysis for differential operators. An introduction. Cambridge University Press, Cambridge u. a. 1994, ISBN 0-521-44986-3 (London Mathematical Society lecture note series 196).

Einzelnachweise

  1. L. Hörmander: Fourier integral operators, Acta Math. 127 (1971), 79–183. doi:10.1007/BF02392052
  2. Elias Stein, Harmonic Analysis: Real-variable Methods, Orthogonality and Oscillatory Integrals. Princeton University Press, 1993. ISBN 0-691-03216-5, S. 377.
  3. Christopher D. Sogge: Fourier integrals in classical Analysis. Cambridge University Press, 1993, ISBN 0-521-06097-4, S. 41.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.