A completion of our earlier work on the Cauchy problem for non-effectively hyperbolic operators

1. Probleemstelling

Het artikel richt zich op het Cauchy-probleem voor tweede-orde differentiaaloperatoren $P$ die niet-effectief hyperbolisch zijn. Specifiek worden operatoren bestudeerd met dubbele karakteristieken (waar de hoofdsymbool $p$ verdwijnt tot orde 2) die niet voldoen aan de standaard "effectief hyperbolische" conditie (waar de Hamilton-matrix reële niet-nul eigenwaarden heeft).

De kernvraag is de Gevrey-welgesteldheid (well-posedness) van het Cauchy-probleem. Wanneer de Ivrii-Petkov-Hörmander (IPH) conditie wordt geschonden, is het probleem niet $C^\infty$-welgesteld. De auteurs zoeken naar de optimale Gevrey-klass $s$ (waarbij $s > 1$) waarbinnen het probleem welgesteld blijft voor alle mogelijke lagere-orde termen.

Eerdere werken van de auteur hadden dit probleem opgelost voor het specifieke geval waarbij de codimensie van het manifold $\Sigma$ van dubbele karakteristieken gelijk was aan 3. Dit artikel heeft als doel deze restrictie op de codimensie te verwijderen en het resultaat voor het algemene geval te voltooien.

2. Methodologie

De aanpak combineert microlokalanalyse, symplectische meetkunde en de theorie van pseudodifferentiaaloperatoren op Gevrey-ruimten. De belangrijkste methodologische pijlers zijn:

• Normalvormen van de Hoofdsymbool:
  Onder de voorwaarde dat de Hamilton-matrix $F_p$ een Jordan-blok van grootte 4 heeft (wat leidt tot de situatie $Ker F_p^2 \cap Im F_p^2 \neq \{0\}$), wordt de hoofdsymbool $p$ lokaal gereduceerd tot een specifieke kwadratische vorm. Afhankelijk van de aanwezigheid van bicharakteristieken die raak zijn aan $\Sigma$, worden twee gevallen onderscheiden:

  1. Het algemene geval (met raakbicharakteristieken).
  2. Het geval zonder raakbicharakteristieken.

• Symplectische Coördinaten en Normalisatie:
  De auteurs gebruiken een symplectische coördinatentransformatie om de symbool te brengen in een gestandaardiseerde vorm (zoals $P_b$ in de tekst). Hierbij worden nieuwe variabelen geïntroduceerd (zoals $\psi_j$ en $\phi_j$) om de interactie tussen de tijd- en ruimtelijke variabelen te analyseren.

• Gevrey-gewichten en Pseudodifferentiaaloperatoren:
  Een cruciale stap is de constructie van specifieke gewichtssymbolen ($w$ en $\varphi$) die afhankelijk zijn van de Gevrey-regulariteit $s$. Deze gewichten worden gebruikt om een parametrix te construeren.

  • Er wordt een operator $e^\varphi$ geïntroduceerd die fungeert als een "conjugatie" om de operator te transformeren.
  • De auteurs ontwikkelen een samenstellingsformule (composition formula) voor pseudodifferentiaaloperatoren met symbolen van het type $e^{S^\kappa_{\rho,\delta}}$. Dit is essentieel omdat standaard symbolenklassen onvoldoende zijn voor de benodigde nauwkeurigheid in Gevrey-ruimten.

• Energie-schattingen:
  Na de transformatie worden energie-inequivalenties afgeleid voor de geconjugeerde operator. Door zorgvuldige keuze van parameters (zoals $\theta$, $\ell$, en $\gamma$) worden positieve termen gegenereerd die de groei van de oplossing beheersen, waardoor de welgesteldheid wordt bewezen.

3. Belangrijkste Bijdragen

1. Verwijdering van de Codimensie-restrictie:
   Het belangrijkste theoretische doorbraak is het bewijzen van de optimaliteit van de Gevrey-klassen voor het Cauchy-probleem zonder de beperking dat de codimensie van $\Sigma$ gelijk moet zijn aan 3. Dit voltooit de theorie voor niet-effectief hyperbolische operatoren met dubbele karakteristieken.

2. Optimaliteit van de Gevrey-klassen:
   De auteurs bewijzen dat de volgende klassen optimaal zijn:

   • Gevrey-klass 3: Als er bicharakteristieken zijn die raak zijn aan $\Sigma$ (het algemene geval).
   • Gevrey-klass 4: Als er geen bicharakteristieken zijn die raak zijn aan $\Sigma$.

3. Nieuwe Samenstellingsformule:
   Er wordt een nieuwe, eenvoudigere samenstellingsformule voor pseudodifferentiaaloperatoren in Gevrey-ruimten ontwikkeld (in de appendix). Hoewel deze minder precies is dan eerdere formules (zoals die van [11]), is deze makkelijker toe te passen en voldoende voor de bewijzen in dit artikel.

4. Constructie van de Parametrix:
   Het artikel levert een expliciete constructie van een parametrix met een eindige voortplantingssnelheid van micro-ondersteuning, wat essentieel is voor het bewijzen van de existentie van oplossingen.

4. Resultaten

De hoofdstellingen van het artikel zijn:

• Stelling 1.1: Als voorwaarde (1.1) geldt op $\Sigma$ (wat impliceert dat de Hamilton-matrix een Jordan-blok van grootte 4 heeft), dan is het Cauchy-probleem voor $P$ welgesteld in de Gevrey-klass $1 < s < 3$ voor alle lagere-orde termen. De klass $s=3$ is optimaal; voor $s > 3$ is het probleem niet lokaal oplosbaar voor bepaalde lagere-orde termen.

• Stelling 1.2: Als voorwaarde (1.1) geldt en er geen bicharakteristieken raak zijn aan $\Sigma$, dan is het Cauchy-probleem voor $P$ welgesteld in de Gevrey-klass $1 < s < 4$ voor alle lagere-orde termen. De klass $s=4$ is optimaal.

De optimaliteit wordt aangetoond door tegenvoorbeelden te construeren (zoals de operator $P_c = P_b + x_1^3 D_n^2$) waarvoor de oplossing faalt in hogere Gevrey-klassen.

5. Betekenis en Impact

Dit werk is van fundamenteel belang voor de theorie van partiële differentiaalvergelijkingen (PDE's), specifiek binnen het domein van hyperbolische operatoren met singuliere karakteristieken.

• Voltooiing van de theorie: Het sluit een belangrijke lacune in de bestaande literatuur door de resultaten te generaliseren naar willekeurige codimensies, waardoor een volledig beeld ontstaat van het gedrag van niet-effectief hyperbolische operatoren.
• Verband tussen geometrie en regulariteit: Het artikel legt een scherp verband tussen de geometrische eigenschappen van de Hamilton-vlakte (de aanwezigheid van raakbicharakteristieken) en de maximale regulariteit (Gevrey-klass) van de oplossing. Het toont aan dat de afwezigheid van raakbicharakteristieken de regulariteit van $s=3$ naar $s=4$ kan verhogen.
• Technische innovatie: De ontwikkelde methoden voor het omgaan met exponentiële gewichten in pseudodifferentiaaloperatoren bieden nieuwe instrumenten voor het analyseren van andere complexe PDE-problemen in Gevrey-ruimten.

Kortom, Nishitani levert een definitief antwoord op de vraag hoe "slecht" de karakteristieken van een hyperbolische operator kunnen zijn voordat de oplossing zijn regulariteit verliest, en kwantificeert dit precies in termen van de Gevrey-index.