Global hypoellipticity and global solvability of Vekua-type operators associated with diagonal operators on compact Lie groups

Titel: Globale Hypoelliptizität und globale Lösbarkeit von Vekua-Typ-Operatoren, die mit diagonalen Operatoren auf kompakten Lie-Gruppen assoziiert sind.

1. Problemstellung und Motivation
Das Paper untersucht die Eigenschaften der globalen Hypoelliptizität (GH) und der globalen Lösbarkeit (GS) für eine Klasse von Differentialoperatoren, die als Vekua-Typ-Operatoren bezeichnet werden. Diese Operatoren treten in der komplexen Analysis und der Theorie der verallgemeinerten Cauchy-Riemann-Gleichungen auf und sind durch ihre $\mathbb{R}$-Linearität, aber Nicht-$\mathbb{C}$-Linearität (durch Terme mit komplex konjugierten Variablen) gekennzeichnet.

Bisherige Arbeiten konzentrierten sich stark auf den Torus $\mathbb{T}^n$ oder Operatoren erster Ordnung. Das Ziel dieser Arbeit ist es, diese Ergebnisse auf kompakte Lie-Gruppen zu erweitern und Operatoren beliebiger Ordnung zu behandeln. Ein zentrales Anliegen ist die explizite Konstruktion von Beispielen, die (GH) oder (GS) erfüllen oder nicht, unter Verwendung der intrinsischen Fourier-Analyse auf Lie-Gruppen (Peter-Weyl-Theorem) anstelle von allgemeinen Methoden für kompakte Mannigfaltigkeiten.

2. Methodik
Die Analyse stützt sich vollständig auf die Fourier-Analysis auf kompakten Lie-Gruppen mittels des Peter-Weyl-Theorems.

• Fourier-Koeffizienten: Funktionen und Distributionen werden durch ihre Matrix-Fourier-Koeffizienten $\hat{u}(\xi)$ bezüglich der irreduziblen unitären Darstellungen $\xi$ der Gruppe $G$ charakterisiert.
• Symbolkalkül: Für linksinvariante Operatoren $L$ wird das Symbol $\sigma_L(\xi)$ definiert. Der Vekua-Operator $P$ wird als $Pu = Lu - q \cdot u - p \cdot \bar{u}$ definiert (wobei $p, q \in \mathbb{C}, p \neq 0$).
• Diagonale Operatoren: Der Fokus liegt auf Operatoren $L$, deren Symbole $\sigma_L(\xi)$ diagonal sind. Dies ermöglicht es, das System für die Fourier-Koeffizienten von $u$ und $\bar{u}$ in ein entkoppeltes System von linearen Gleichungen für die Matrixeinträge zu überführen.
• Diophantische Bedingungen: Die Charakterisierung der Eigenschaften (GH) und (GS) erfolgt durch das Studium der Determinante (Diskriminante) des entstehenden linearen Systems, bezeichnet als $\Delta_k(\xi)$. Es werden Bedingungen formuliert, die das Wachstum dieser Determinante für große Eigenwerte $\langle \xi \rangle$ einschränken (ähnlich Diophantischen Bedingungen auf dem Torus).

3. Hauptergebnisse

A. Konstante Koeffizienten (Abschnitt 3)
Für Vekua-Operatoren mit konstanten Koeffizienten auf einer kompakten Lie-Gruppe $G$ werden notwendige und hinreichende Bedingungen hergeleitet:

• Diagonale Operatoren: Es wird angenommen, dass $L$ ein diagonaler Operator ist. Das System für die Fourier-Koeffizienten führt zu einer Diskriminante $\Delta_k(\xi)$.
• Bedingung (DC): Die Existenz einer Konstanten $C, M > 0$ mit $|\Delta_k(\xi)| \geq C \langle \xi \rangle^{-M}$ für fast alle $\xi$.
• Satz 3.1 & 3.3 (GH): Unter der Annahme, dass keine Darstellung $\xi$ zu ihrer konjugierten Darstellung $\bar{\xi}$ isomorph ist (d.h. $[\xi] \neq [\bar{\xi}]$), ist der Operator $P$ genau dann global hypoelliptisch, wenn die Bedingung (DC) erfüllt ist.
  • Beweisidee: Wenn (DC) gilt, impliziert $Pu \in C^\infty$ die schnelle Abnahme der Fourier-Koeffizienten von $u$. Wenn (DC) verletzt ist, kann eine Distribution konstruiert werden, die nicht glatt ist, aber auf eine glatte Funktion abgebildet wird.
• Satz 3.5 (GS): Unter derselben Nicht-Selbstdualitäts-Voraussetzung ist $P$ genau dann global lösbar (das Bild von $P$ ist der Raum der "zulässigen" Distributionen), wenn eine analoge Bedingung (DC') für die nicht-verschwindenden Werte von $\Delta_k(\xi)$ gilt.
• Fall $S^3$: Für die 3-Sphäre $S^3 \cong SU(2)$ sind Darstellungen selbst-dual ($[\xi] = [\bar{\xi}]$). Das Paper passt die Beweise an, indem es die Symmetrie der Fourier-Koeffizienten ausnutzt, und leitet analoge Ergebnisse für $S^3$ und Produkte wie $S^3 \times \mathbb{T}^1$ ab.
• Beispiele: Es werden konkrete Beispiele konstruiert (z.B. auf $S^3$ und $S^3 \times \mathbb{T}^1$), die zeigen, wie die Wahl der Koeffizienten $p, q$ und des Operators $L$ entscheidet, ob (GH) oder (GS) vorliegt.

B. Nicht-konstante Koeffizienten (Abschnitt 4)
Der Paper behandelt eine Klasse von Vekua-Operatoren auf $T^1 \times G$ mit nicht-konstanten Koeffizienten, die von der Variablen $t \in T^1$ abhängen:
$$Pu = (\partial_t - (p_0 + i\lambda q(t))D)u - (s(t) + i\delta q(t))u - \alpha q(t)\bar{u}$$
Hierbei ist $D$ ein diagonaler Operator auf $G$.

• Haupttheorem (Theorem 4.1): Es werden hinreichende Bedingungen für die globale Lösbarkeit ($C^\infty$-Lösbarkeit) angegeben.
• Schlüsselbedingungen:
  1. Eine algebraische Bedingung an die Koeffizienten ($|\delta| \neq |\alpha|$ und $|\lambda \sigma_m + \delta| \neq |\alpha|$).
  2. Eine untere Schranke für den Parameter $\rho_m(\xi)$ (verbunden mit den Eigenwerten des Systems).
  3. Eine Diophantische Bedingung (DCn) an die Exponentialterme, die aus der Integration über die Periode $T^1$ resultieren:
     $$|e^{-\rho_m(\xi)q_0} - e^{\pm(\sigma_m(\xi)2\pi p_0 + s_0)}| \geq \langle \xi \rangle^{-M}$$
• Beweistechnik: Die Methode basiert auf der Reduktion des partiellen Differentialgleichungssystems auf ein System von gewöhnlichen Differentialgleichungen für die Fourier-Koeffizienten in $t$. Durch Diagonalisierung des Systems und explizite Integration werden die Lösungen konstruiert. Die Abschätzung der Integrale zeigt, dass unter den genannten Bedingungen die Lösungen glatt bleiben.

4. Bedeutung und Beitrag

• Erweiterung des Geltungsbereichs: Das Paper überträgt die Theorie der Vekua-Operatoren vom Torus auf allgemeine kompakte Lie-Gruppen und behandelt Operatoren beliebiger Ordnung, was eine signifikante Verallgemeinerung früherer Arbeiten (wie [17], [18]) darstellt.
• Intrinsische Methode: Durch die Nutzung der Peter-Weyl-Fourier-Reihen wird eine intrinsische, gruppentheoretische Herangehensweise gewählt, die explizite Beispiele liefert, die mit allgemeinen Methoden schwer zu konstruieren wären.
• Charakterisierung: Die Arbeit liefert vollständige Charakterisierungen (notwendige und hinreichende Bedingungen) für die globale Hypoelliptizität im Fall konstanter Koeffizienten und hinreichende Bedingungen für die globale Lösbarkeit im Fall nicht-konstanter Koeffizienten.
• Beispielhaftigkeit: Die Konstruktion konkreter Beispiele auf $S^3$ und $S^3 \times \mathbb{T}^1$ demonstriert die Anwendbarkeit der Theorie und zeigt, wie topologische und algebraische Eigenschaften der Gruppe (wie Selbst-Dualität von Darstellungen) die Regularitätseigenschaften der Operatoren beeinflussen.

Zusammenfassend stellt dieses Werk einen wichtigen Schritt in der Theorie der partiellen Differentialgleichungen auf Lie-Gruppen dar, indem es die Verbindung zwischen globaler Regularität, Diophantischen Bedingungen und der Struktur der unitären Dualität von Lie-Gruppen für eine wichtige Klasse von nicht-komplex-linearen Operatoren herstellt.