Compressible Gravity-Capillary Water Waves with Vorticity: Local Well-Posedness, Incompressible and Zero-Surface-Tension Limits

Technische Samenvatting: Compressibele zwaartekracht-kapillaire watergolven met werveling

Probleemstelling
Dit artikel behandelt de lokale goedgesteldheid van de 3D-compressibele isentrope Euler-vergelijkingen die de beweging van een vloeistof met een vrij oppervlak en een vaste, vlakke bodem op eindige diepte beschrijven. Het systeem omvat de effecten van zwaartekracht en oppervlaktespanning, en neemt cruciaal niet aan dat de vloeistof irrotatieel is (er is werveling aanwezig). De primaire wiskundige uitdaging ligt in het vaststellen van het bestaan en de uniciteit van oplossingen, terwijl tegelijkertijd twee singuliere limieten worden behandeld: de oncompressibele limiet (Machgetal $\lambda \to 0$) en de limiet met nul oppervlaktespanning ($\sigma \to 0$).

Een aanzienlijke moeilijkheid in deze context is de interactie tussen de beweging van het vrij oppervlak en interne drukgolven, wat de afleiding van energie-schattingen die uniform zijn in zowel $\lambda$ als $\sigma$ bemoeilijkt. Vorige werken over compressibele vrij-oppervlakproblemen maakten vaak gebruik van Nash-Moser-iteratie, wat resulteerde in een verlies van regulariteit, of vereisten restrictieve aannames over de beginvoorwaarden, zoals de uniforme begrensdheid van hoge-orde tijdsafgeleiden van de snelheid met betrekking tot het Machgetal.

Methodologie
De auteurs hanteren een unified raamwerk dat Nash-Moser-iteratie vermijdt door gebruik te maken van een zorgvuldig ontworpen benaderingssysteem en een hyperbolische aanpak. De methodologie is gestructureerd rond enkele sleutelcomponenten:

1. Benaderingssysteem en Tangentiële Gladmaking: Om het verlies van afgeleiden inherent aan vrij-oppervlakproblemen te hanteren, introduceren de auteurs een niet-lineair benaderend $\kappa$-probleem. Dit omvat tangentiële mollificatie van het vrij oppervlak en de invoering van kunstmatige viscositeit ($\kappa^2(1-\Delta)$) in de randvoorwaarde. Deze regularisatie maakt de constructie van oplossingen via Picard-iteratie voor elke vaste $\kappa > 0$ mogelijk, met schattingen die uniform zijn in $\kappa$ naarmate $\kappa \to 0$.

2. Alinhac's "Goede Onbekenden": Om energie-schattingen af te leiden die uniform zijn in de oppervlaktespanning $\sigma$, maken de auteurs gebruik van Alinhac's "goede onbekenden". Door variabelen te definiëren zoals $V = T^\alpha v - \partial_3^\phi v T^\alpha \phi$ (waarbij $T^\alpha$ tangentiële afgeleiden voorstelt), commuteren ze effectief de afgeleiden met de variabele coëfficiënten van het systeem. Deze techniek herstelt de nodige randregulariteit zonder extra gladheid te vereisen van de niet-lineaire coëfficiënten die anders van $\sigma$ zouden afhangen.

3. Div-Curl-analyse en Drukreductie: De auteurs reduceren de controle van normale afgeleiden tot tangentiële afgeleiden en termen van lagere orde met behulp van div-curl-decomposities. De druk wordt via de impulsvergelijking gereduceerd tot de snelheid, en de divergentie wordt via de continuïteitsvergelijking gecontroleerd.

4. Verbeterde Oncompressibele Limiet via Paradifferentiële Calculus: Om de aannames over de beginvoorwaarden te versoepelen (specifiek het verwijderen van de vereiste voor de uniforme begrensdheid van hoge-orde tijdsafgeleiden van de snelheid), decomponeren de auteurs de druk in een "harmonisch deel" en een "golfdeel". De evolutie van het vrij oppervlak wordt geanalyseerd met behulp van paradifferentiële calculus (specifiek de Dirichlet-naar-Neumann-operator en paralineariserings-technieken ontwikkeld door Alazard-Burq-Zuily). Dit stelt hen in staat het bijdrage van oppervlaktespanning (randbeweging) te scheiden van interne drukgolven. Een nieuwe gewogen energiefunctionaal van de vijfde orde wordt geïntroduceerd om het bijdrage van de drukgolf te controleren, waardoor het afleiden van uniforme schattingen mogelijk wordt zonder de restrictieve grenzen voor hoge-orde tijdsafgeleiden die in eerdere literatuur werden aangetroffen.

Belangrijkste Resultaten

1. Lokale Goedgesteldheid: Het artikel bewijst de lokale goedgesteldheid van het compressibele zwaartekracht-kapillaire watergolf-systeem met werveling. De oplossing bestaat voor een tijdsinterval dat alleen afhangt van de beginvoorwaarden en voldoet aan specifieke Sobolev-regulariteitsgrenzen. De energie-schattingen zijn uniform in het Machgetal $\lambda$ en, mits de Rayleigh-Taylor-tekenvoorwaarde geldt, uniform in de oppervlaktespanningscoëfficiënt $\sigma$.

2. Simultane Limieten: De auteurs stellen de gelijktijdige oncompressibele en nul-oppervlaktespanning-limieten vast. Ze bewijzen dat naarmate $\lambda, \sigma \to 0$, de oplossing van het compressibele systeem convergeert naar de oplossing van het oncompressibele zwaartekracht-watergolf-systeem (zonder oppervlaktespanning) in geschikte Sobolev-ruimten.

3. Verbeterde Eisen voor Beginvoorwaarden: Een belangrijke bijdrage is de verbetering van de voorwaarden die nodig zijn voor de oncompressibele limiet. In tegenstelling tot eerdere werken (bijv. [45, 47, 18]) die de uniforme begrensdheid van top-orde tijdsafgeleiden van de snelheid vereisten (bijv. $\partial_t^4 v = O(1)$), toont dit artikel aan dat alleen de begrensdheid van afgeleiden van lagere orde (specifiek gerelateerd aan de propagatie van de Rayleigh-Taylor-tekenvoorwaarde, $\partial_t^2 v = O(1)$) noodzakelijk is. Dit wordt bereikt door paradifferentiële calculus toe te passen op de evolutievergelijking van het vrij oppervlak, waardoor de rand- en interieur-dynamica effectief worden ontkoppeld.

Betekenis en Claims
Het artikel claimt het eerste expliciete goedgesteldheidsresultaat te bieden voor compressibele zwaartekracht-kapillaire watergolven op een onbegrensd domein met oppervlaktespanning en werveling, zonder gebruik te maken van Nash-Moser-iteratie. Door het verlies van regulariteit geassocieerd met Nash-Moser-schema's te vermijden, verkrijgen de auteurs energie-schattingen die uniform zijn in het Machgetal.

Bovendien schrijft dit werk aanzienlijk vooruitgang in het begrip van de oncompressibele limiet voor vloeistoffen met een vrij oppervlak. Door succesvol paradifferentiële technieken toe te passen op de compressibele setting, overwinnen de auteurs de moeilijkheid van "slecht voorbereide" beginvoorwaarden met betrekking tot hoge-orde tijdsafgeleiden. De auteurs merken op dat hun methode niet afhankelijk is van de verdwijnende randvoorwaarde voor druk (zoals in [77]), wat suggereert dat deze aanpak toepasbaar zou kunnen zijn op andere gekoppelde vloeistofmodellen of vortex-sheet-problemen. De resultaten verenigen de behandeling van compressibele en oncompressibele vrij-oppervlak Euler-vergelijkingen, zowel met als zonder oppervlaktespanning, onder één enkel energie-raamwerk.