Bifurcation analysis of Stokes waves with piecewise smooth vorticity in deep water

Technische Samenvatting: Bifurcatieanalyse van Stokes-golven met stuksgewijs gladheid van de vorticiteit in diep water

Probleemstelling
Dit artikel behandelt de rigoureuze existentie van tweedimensionale, periodieke, stationaire watergolven (Stokes-golven) die voortplanten in een oneindig diep vloeistofdomein onder invloed van zwaartekracht. De studie richt zich op rotatievloei waarbij de vorticiteitsverdeling stuksgewijs glad is, wat specifiek een eindig aantal sprongdiscontinuïteiten binnen de vloeistof toestaat. Deze setting modelleert stratificatie-effecten die worden waargenomen in reële oceanografische verschijnselen, zoals plotselinge veranderingen in de stromingsschering.

De wiskundige formulering betreft een vrij randprobleem waarbij het vloeistofdomein onbegrensd is naar beneden ($y \to -\infty$) en het vrije oppervlak ($y = \eta(x)$) onbekend is. De leidende vergelijkingen zijn de stationaire Euler-vergelijkingen voor een niet-viskeuze, incompressibele vloeistof. De primaire uitdagingen die worden geïdentificeerd zijn:

1. De aanwezigheid van een interne interface als gevolg van discontinuïteiten in de vorticiteit.
2. Het onbegrensde ruimtelijke domein, wat voorkomt dat de geliniariseerde operator Fredholm is (een standaardvereiste voor klassieke bifuratietheorie).
3. De noodzaak om zwakke oplossingen te behandelen vanwege de discontinue vorticiteit, wat een herformulering vereist die transmissiecondities over de interface accommodeert.

Methodologie
De auteurs hanteren een meerstaps analytische aanpak waarbij hodografetransformaties, hoogtefunctieformuleringen en singulariteit-bifuratietheorie worden gecombineerd:

1. Herformulering via Hoogtefunctie:
   Het probleem wordt getransformeerd van het fysieke $(x, y)$-domein naar een vast rechthoekig domein met behulp van de Dubreil-Jacotin-transformatie (hodograaf-transformatie). De onafhankelijke variabelen zijn $(q, p)$ waarbij $q=x$ en $p=-\psi$ (pseudo-stroomfunctie). De afhankelijke variabele is de hoogtefunctie $h(q, p) = y$. Dit zet het vrije randprobleem om in een quasilineaire elliptische PDE met schuine randvoorwaarden op een vast domein. De stuksgewijs gladde vorticiteit $\gamma(\psi)$ introduceert een transmissieprobleem met specifieke interfacecondities op de diepte waar de vorticiteit sprongen vertoont.

2. Approximatie en Regularisatie:
   Vanwege het onbegrensde domein is de geliniariseerde operator niet Fredholm. Om dit te overwinnen, introduceren de auteurs een sequentie van approximerende problemen (geparameteriseerd door $\epsilon$) waarbij de operator wordt gemodificeerd zodat deze Fredholm van index nul is. Dit volgt de strategie die in eerdere werken over diep watergolven is gebruikt, maar is aangepast voor de structuur van het transmissieprobleem.

3. Globale Bifuratietheorie:
   De existentie van niet-triviale oplossingen wordt vastgesteld met behulp van analytische globale bifuratietheorie (specifiek het framework van Buffoni en Toland):

   • Lokale Bifurcatie: De auteurs identificeren een bifuratiepunt vanuit de triviale (laminaire) stromingsoplossing door de kernel van de geliniariseerde operator te analyseren. Zij bewijzen de existentie van een eenvoudige eigenwaarde en verifiëren de transversaliteitsconditie.
   • Nodale Eigenschappen: Een cruciale stap is het behoud van het "nodale patroon" (monotoniciteit van het golfprofiel) langs de bifuratie-tak. De auteurs definiëren een verzameling oplossingen die voldoen aan specifieke tekencondities op de afgeleiden en bewijzen dat de lokale bifuratiecurve binnen deze verzameling blijft, waardoor de vorming van gesloten lussen of een terugkeer naar de laminaire tak wordt voorkomen.
   • Globale Continuatie: Met behulp van Whyburns topologische lemma gaan de auteurs over naar de limiet naarmate de approximatieparameter $\epsilon \to 0$. Zij verifiëren dat de verzameling oplossingen voor de approximerende problemen compact en gesloten is, wat de constructie van een globale continuüm van oplossingen voor het oorspronkelijke probleem mogelijk maakt.

4. Schattingen en Compactheid:
   Om het onbegrensde domein in de limiet te behandelen, stellen de auteurs uniforme exponentiële verval-schattingen vast voor de afgeleiden van de hoogtefunctie als $p \to -\infty$. Deze schattingen, afgeleid uit Phragmén-Lindelöf-type argumenten en Schauder-type schattingen toegesneden op transmissieproblemen (refererend aan Ladyzhenskaya en Gilbarg-Trudinger), garanderen de relatieve compactheid van de verzameling oplossingen in de passende functieruimten.

Belangrijkste Resultaten
Het hoofdbestek is Theorem 2.1, die de existentie vaststelt van een verbonden globale bifuratie-tak $\mathcal{K}$ van oplossingen $(c, h)$ (golfsnelheid en hoogtefunctie) in de ruimte $\mathbb{R} \times C^{0,\alpha}(\mathcal{D}) \cap C^{3,\alpha}$ (stuksgewijs gladde regulariteit).

Het continuüm $\mathcal{K}$ ontspringt aan een laminaire stromingsoplossing en strekt zich globaal uit. De auteurs bewijzen dat er langs deze tak één van de volgende twee alternatieven moet optreden:

• (a) Onbegrensde Golfsnelheid: De golfsnelheid $c$ nadert oneindig ($\lim c_k = \infty$).
• (b) Horizontale Stagnatie: Het golfprofiel nadert een toestand van horizontale stagnatie, waarbij de horizontale vloeistofsnelheid $u$ de golfsnelheid $c$ nadert ($\lim \sup \partial_p h_k = \infty$, wat impliceert dat $u \to c$). Dit komt overeen met de vorming van een stagnatiepunt op het vrije oppervlak of binnen de stroming.

De resultaten gelden voor vorticiteitsfuncties $\gamma$ die stuksgewijs $C^{1,\alpha}$ zijn met een eindig aantal sprongen, mits de vorticiteit voldoende snel vervalt bij oneindigheid ($O(s^{-2-r})$) en voldoet aan een specifieke grens gerelateerd aan zwaartekracht ($-\Gamma_{inf} < g/2^{3/4}$).

Betekenis en Claims
Het artikel claimt een specifieke leemte in de wiskundige theorie van watergolven op te vullen door twee moeilijke aspecten simultaan aan te pakken:

1. Diep Water: In tegenstelling tot veel bestaande resultaten die beperkt zijn tot eindige diepte, behandelt dit werk het geval van oneindige diepte waarbij het snelheidveld en de vorticiteit bij de bodem vervallen.
2. Discontinue Vorticiteit: Hoewel eerdere studies (bijv. Constantin, Hur) gladde vorticiteit of discontinue vorticiteit in begrensde domeinen hebben behandeld, biedt dit artikel een uitgebreide behandeling voor stuksgewijs gladde vorticiteit in diep water.

De auteurs benadrukken dat hun aanpak de niet-Fredholm natuur van de geliniariseerde operator in onbegrensde domeinen en de technische uitdagingen van zwakke oplossingen voortvloeiend uit vorticiteitssprongen overwint. Door de hoogtefunctieformulering te combineren met een singulariteit-bifuratieargument en Whyburns lemma, construeren zij rigoureus grote-amplitude golven die stratificatie-effecten vertonen, een kenmerk dat door Constantin als een veelbelovende richting voor toekomstig onderzoek in de watergolftheorie is aangemerkt. Het werk breidt de toepasbaarheid van globale bifuratietheorie uit naar transmissieproblemen in onbegrensde domeinen.