Oszillierendes Integral

Ein oszillierendes Integral ist ein Objekt aus dem mathematischen Teilgebiet der Funktionalanalysis beziehungsweise aus der mikrolokalen Analysis. Es ist ein verallgemeinerter Integralbegriff, welcher insbesondere im Bereich der Distributionentheorie Anwendung findet. Da die Phasenfunktion den Integranden oszillieren lässt, wurde das Integral entsprechend oszillierendes Integral genannt. Eingeführt wurde dieser Begriff von Lars Hörmander.

Phasenfunktion

Definition

Eine Funktion $\varphi \in C^{\mathrm{\infty }}(X\times {ℝ}^n\mathrm{\setminus }\{0\})$ heißt Phasenfunktion, falls für alle $(x,\xi )\in X\times {ℝ}^n\mathrm{\setminus }\{0\}$

• der Imaginärteil nichtnegativ ist, das heißt

$\mathrm{Im}\varphi (x,\xi )\ge 0$.

• die Funktion homogen ist, das heißt

$\varphi (x,\lambda \xi )=\lambda \varphi (x,\xi )$ für alle $\lambda >0$.

• das Differential ungleich null ist, das heißt

$\frac{\mathrm{d}\varphi (x,\xi )}{\mathrm{d}(x,\xi )}\ne 0$.

Beispiel

• Die Abbildungen $(x,\xi )\mapsto \pm ⟨x,\xi ⟩$, wobei $⟨\cdot ,\cdot ⟩$ das Standardskalarprodukt bezeichnet, sind Phasenfunktionen, welche bei der Fourier-Transformation und ihrer Rücktransformation auftreten.

Motivation

Sei $\varphi$ eine Phasenfunktion wie zum Beispiel $\varphi (x,\xi )=⟨x,\xi ⟩$ und sei $a\in S_{\rho ,\delta }^m(X\times {ℝ}^n)$ ein Symbol mit $m+k<-n,k\in \mathbb{N}$. Definiere weiterhin

$I_{\varphi }(a)(x):=\underset{{ℝ}^n}{\int }{e}^{i\varphi (x,\xi )}a(x,\xi )\mathrm{d}\xi \in C^k(X)$.

Die Abbildung

$S_{\rho ,\delta }^m(X\times {ℝ}^n)\to C^k(X),a\mapsto I_{\varphi }(a)$

ist stetig. Diese Typen von Parameterintegralen sind im Bereich der Funktionalanalysis verbreitet. So haben zum Beispiel die Fourier-Transformation und die Zweiseitige Laplacetransformation diese Gestalt. Oder auch die Lösung der Bessel’schen Differentialgleichung

$J_k(\lambda )=(2\pi {)}^{-1}\underset{0}{\overset{2\pi }{\int }}{e}^{i\lambda \sin (\xi )}{e}^{ik\xi }\mathrm{d}\xi$

kann so notiert werden.

Fortsetzungssätze

Fourier-Transformation auf L²

Die Fourier-Transformation kann auf dem Schwartz-Raum $𝒮({ℝ}^n)$ durch den Integraloperator

$I_{-tx}(f)(t)=ℱ(f)(t)=\frac{1}{{\left(2\pi \right)}^{\frac{n}{2}}}\underset{{ℝ}^n}{\int }{e}^{-\mathrm{i}tx}f(x)\mathrm{d}x$

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

Raum der Symbolklassen

Mit ${𝒟}^{\prime }(X)$ wird der Raum der Distributionen auf $X$ und mit $S_{\rho ,\delta }^m(X\times {ℝ}^n)$ der Raum der Symbolklassen bezeichnet. Sei $\varphi$ eine Phasenfunktion und sei $0<\rho \le 1$, $0\le \delta <1$. Dann gibt es genau eine Möglichkeit eine Abbildung

$I_{\varphi }:S_{\rho ,\delta }^{\mathrm{\infty }}(X\times {ℝ}^n)=\bigcup _{m\in ℝ}{S}_{\rho ,\delta }^m(X\times {ℝ}^n)\to {𝒟}^{\prime }(X)$

zu definieren, so dass für $a\in S_{\rho ,\delta }^m(X\times {ℝ}^n),m<-n$ das Integral

$I_{\varphi }(a)(x)=\underset{{ℝ}^n}{\int }{e}^{i\varphi (x,\xi )}a(x,\xi )\mathrm{d}\xi$

existiert und die Abbildung $I_{\varphi }:S_{\rho ,\delta }^{\mathrm{\infty }}(X\times {ℝ}^n)\to {𝒟}^{\prime }(X)$ stetig ist.

Definition

Die beiden oben erwähnten Fortsetzungssätze zeigen, dass es wünschenswert ist, einen Integralbegriff zu haben, so dass man auch die Fortsetzungen in der Integralschreibweise ausdrücken kann. Dafür kann das im Folgenden definierte oszillierende Integral verwendet werden.

Oszillierendes Integral

Sei $\chi \in C_c^{\mathrm{\infty }}({ℝ}^n)$ eine Abschneidefunktion mit $\chi (\xi )=1$ für $|\xi |\le 1$ und $\chi (\xi )=0$ für $|\xi |\ge 2$. Außerdem sei $\varphi :{ℝ}^n\times {ℝ}^N\to ℝ$ eine Phasenfunktion und $a\in S^m({ℝ}^n\times {ℝ}^N)$ eine Symbolklasse. Nun setzt man

$I_{\varphi }(a)(x):=\underset{{ℝ}^N}{\int }{e}^{i\varphi (x,\xi )}a(x,\xi )\mathrm{d}\xi :=\underset{j\to \mathrm{\infty }}{\lim }\underset{{ℝ}^N}{\int }\chi \left(\frac{\xi }{j}\right)e^{i\varphi (x,\xi )}a(x,\xi )\mathrm{d}\xi$

wobei der Grenzwert im Sinne von Distributionen zu verstehen ist. Das heißt, der Grenzwert ist durch

$⟨I_{\varphi }(a),u⟩=\underset{j\to \mathrm{\infty }}{\lim }\underset{{ℝ}^N}{\int }\underset{{ℝ}^n}{\int }\chi \left(\frac{\xi }{j}\right)e^{i\varphi (x,\xi )}a(x,\xi )u(x)\mathrm{d}x\mathrm{d}\xi$

für alle Testfunktionen $u\in 𝒟({ℝ}^n)\cong C_c^{\mathrm{\infty }}({ℝ}^n)$ erklärt. Der Integralausdruck $I_{\varphi }$ heißt oszillierendes Integral.

Oszillierender Integraloperator

Sei $\varphi :{ℝ}^n\times {ℝ}^N\to ℝ$wieder eine Phasenfunktion und $a\in S^m({ℝ}^n\times {ℝ}^N)$ eine Symbolklasse. Die Abbildung

$u\mapsto T_{\lambda }(u)(x):=I_{\varphi }(au)(x)=\underset{{ℝ}^N}{\int }{e}^{i\lambda \varphi (x,\xi )}a(x,\xi )u(\xi )\mathrm{d}\xi$

ist ein oszillierender Integraloperator.

Beschränktheit auf L²

Lars Hörmander zeigte, dass oszillierende Integraloperatoren unter gewissen Voraussetzungen beschränkte Operatoren auf dem Raum der quadratintegrierbaren Funktionen $L^2({ℝ}^n)$ sind.

Sei $\varphi$ eine Phasenfunktion und die Symbolklasse $a:{ℝ}^n\times {ℝ}^N\to ℝ$ sei eine glatte Funktion mit kompaktem Träger. Dann existiert eine Konstante $C$, so dass

$\Vert T_{\lambda }(u){\Vert }_{L^2({ℝ}^n)}\le C{\lambda }^{-\frac{n}{2}}\Vert u{\Vert }_{L^2({ℝ}^n)}$

gilt, was bedeutet, dass der lineare Operator $T_{\lambda }$ auf $L^2$ beschränkt, also stetig, ist. Außerdem folgt aus dem Satz von Banach-Steinhaus, dass die Familie $(T_{\lambda }{)}_{\lambda }$ von Operatoren gleichmäßig beschränkt ist.

Beispiele

Besselfunktion

Vorlage:Hauptartikel Die Besselfunktion

$\frac{1}{2\pi }\underset{-\pi }{\overset{\pi }{\int }}{e}^{\mathrm{i}x\sin \phi }{e}^{-\nu \phi }\mathrm{d}\phi .$

ist ein osszillierendes Integral mit der Phasenfunktion $\sin \phi$ und dem Symbol $e^{-\nu \phi }$.

Fourier-Transformation

Sei $a:{ℝ}^n\times {ℝ}^n\to ℝ$ eine glatte Funktion mit kompaktem Träger und mit $a(0,0)=\frac{1}{{\left(2\pi \right)}^{\frac{n}{2}}}$ und sei $\varphi (x,\xi )=-⟨x,\xi ⟩$ die Phasenfunktion. Durch Reskalieren kann man den oszillierenden Integraloperator

$T_{\lambda }(u)(x)=I_{\varphi }(au)(x)=\underset{{ℝ}^n}{\int }{e}^{-i\lambda ⟨x,\xi ⟩}a(x,\xi )u(\xi )\mathrm{d}\xi$

in

${\tilde{T}}_{\lambda }(u)(x)=\underset{{ℝ}^n}{\int }{e}^{-i⟨x,\xi ⟩}a(\frac{x}{\sqrt{\lambda }},\frac{\xi }{\sqrt{\lambda }})u(\xi )\mathrm{d}\xi$

transformieren. Diese Familie von Operatoren ist gleichmäßig beschränkt auf $L^2$ und für $\lambda \to \mathrm{\infty }$ erhält man die Fourier-Transformation

${\tilde{T}}_{\mathrm{\infty }}(u)(x)=ℱ(u)(x)=\frac{1}{{\left(2\pi \right)}^{\frac{n}{2}}}\underset{{ℝ}^n}{\int }{e}^{-\mathrm{i}x\xi }u(\xi )\mathrm{d}\xi$.

Pseudodifferentialoperator

Mit Hilfe des oszillierenden Integrals definiert man einen speziellen stetigen und linearen Operator

$T:𝒮({ℝ}^n)\to 𝒮({ℝ}^n)$

auf den Schwartz-Raum, welcher durch

$\begin{array}{cc}T(u)(x)=I_{⟨x,\xi ⟩}(aℱ(u))(x)& =\underset{{ℝ}^n}{\int }{e}^{i⟨x,\xi ⟩}a(x,\xi )ℱ(u)(\xi )\mathrm{d}\xi \\ & =\underset{{ℝ}^n}{\int }{e}^{i⟨x,\xi ⟩}a(x,\xi )\underset{{ℝ}^n}{\int }{e}^{-i⟨y,\xi ⟩}u(y)\mathrm{d}y\mathrm{d}\xi \\ & =\underset{{ℝ}^n}{\int }\underset{{ℝ}^n}{\int }{e}^{i⟨x-y,\xi ⟩}a(x,\xi )u(y)\mathrm{d}y\mathrm{d}\xi \end{array}$

gegeben ist. Die Funktion $a\in S^m({ℝ}^n\times {ℝ}^n)$ ist eine Symbolfunktion und der Operator $T$ heißt Pseudodifferentialoperator. Es ist eine Verallgemeinerung eines Differentialoperators. Der Integralkern dieses Operators lautet

$K(x,y):=\underset{{ℝ}^n}{\int }{e}^{i⟨x-y,\xi ⟩}a(x,\xi )\mathrm{d}\xi$

und ist 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).