A rigidity result for the 3D capillary liquid drop with constant vorticity

Technische Samenvatting: Rigiditeit voor de 3D Capillaire Vloeistofdruppel met Constante Vorticiteit

Probleemstelling
Dit artikel onderzoekt het vrije randprobleem voor de Euler-vergelijkingen die de beweging van een driedimensionale vloeistofdruppel met oppervlaktespanning (capillariteit) $\sigma_0$ en een constante vorticiteitsvectorveld $\text{curl } u = \alpha_0 e_3$, waarbij $e_3 = (0,0,1)$, beschrijven. Het systeem wordt beschreven door de incompressibele Euler-vergelijkingen met een dynamische randvoorwaarde waarbij de druk gelijk is aan de oppervlaktespanning vermenigvuldigd met de gemiddelde kromming ($p = \sigma_0 H_{\partial \Omega_t}$). Het primaire focus ligt tweeledig: eerst, om de compatibiliteit van de constante vorticiteitsconditie met de tijdsontwikkeling van het systeem te analyseren; en ten tweede, om een rigiditeitsresultaat vast te stellen voor tijdsonafhankelijke (stationaire) oplossingen, specifiek het bepalen van de geometrische vorm van het vloeistofdomein $\Omega$ zonder a priori symmetrie aan te nemen.

Methodologie
De auteurs maken gebruik van een combinatie van geometrische analyse, vloeistofdynamica en de theorie van overgedetermineerde elliptische problemen.

1. Tijdsontwikkelingsanalyse: De auteurs maken gebruik van de vorticiteitsvergelijking en het Alexandrov-reflectieprincipe. Door af te leiden dat constante niet-nul vorticiteit impliceert dat het snelheidveld onafhankelijk is van de verticale coördinaat $x_3$, concluderen zij sterke geometrische beperkingen voor het domein. Verder gebruiken zij een specifiek tegenvoorbeeld bestaande uit een eenheidsbol en een rigide rotatie om de slecht gestelde aard (ill-posedness) in het algemene tijdafhankelijke geval aan te tonen.
2. Reductie naar Stationaire Toestand: Voor tijdsonafhankelijke oplossingen reduceert het probleem zich tot een systeem met het snelheidveld $u$ en het domein $\Omega$. De auteurs decomponeren het snelheidveld in een irrotationeel deel en een rotationeel deel. Door de symmetrie van het domein (bewezen via het Alexandrov-principe) en de eigenschappen van de torsiefunctie $v_D$ (de oplossing van $\Delta v_D = -1$ in de equatoriale doorsnede $D$ met nul Dirichlet-randvoorwaarden) te exploiteren, reduceren zij het 3D-probleem tot een overgedetermineerd probleem op de 2D-vlakverzameling $D$.
3. Overgedetermineerd Probleem en Rigiditeit: De kern van het bewijs behelst het afleiden van een specifieke randvoorwaarde op $\partial D$ voor de torsiefunctie $v_D$. Deze conditie relateert de gradiënt van de torsiefunctie, de kromming van de rand $\partial D$, en constanten bepaald door de fysieke parameters. De auteurs passen vervolgens Serrins klassieke rigiditeitstheoreem toe, die stelt dat indien de normale afgeleide van de torsiefunctie een functie is van de gemiddelde kromming, het domein een bol moet zijn. Om dit toe te passen, stellen zij vast dat het domein $D$ een cirkel moet zijn door de relevante constanten te begrenzen met behulp van eigenschappen van de torsiefunctie op convexe verzamelingen (specifiek gebruikmakend van $1/2$-concaafheid en Reillys formule).

Belangrijkste Bijdragen en Resultaten

• Compatibiliteit en Ill-posedness (Theorem 1.1 & 1.5): Het artikel bewijst dat voor $\alpha_0 \neq 0$, elke gladde oplossing met een convex domein een horizontaal symmetrievlak moet bezitten, en dat het snelheidveld onafhankelijk moet zijn van $x_3$. Cruciaal is dat de auteurs aantonen dat de verzameling initiële data die voldoet aan de constante vorticiteitsconditie geen invariante verzameling is voor de tijdsontwikkeling. Zij leveren een expliciet voorbeeld (Theorem 1.5) waarbij een oplossing beginnend met een sferisch domein en constante vorticiteit onmiddellijk een niet-constante vorticiteit ontwikkelt, wat aantoont dat het Cauchy-probleem voor dit systeem in 3D over het algemeen slecht gesteld (ill-posed) is. Dit staat in contrast met het 2D-geval en het irrotationele ($\alpha_0=0$) geval, waarbij constante vorticiteit behouden blijft.
• Rigiditeit van Stationaire Oplossingen (Theorem 1.7): Het hoofdbestek stelt vast dat voor tijdsonafhankelijke oplossingen, indien de ratio $\alpha_0^2/\sigma_0$ voldoende klein is (specifiek voldoet aan ongelijkheid 1.6), het vloeistofdomein $\Omega$ cilindrische symmetrie moet bezitten.
  • Het domein $\Omega$ is een oblate sferoïde (afgevlakt bij de polen, uitgebold bij de evenaar), die dicht bij maar niet gelijk is aan een bol.
  • Het snelheidveld wordt uniek bepaald als een rigide rotatie: $u = \frac{\alpha_0}{2}(-x_2, x_1, 0)$.
  • Dit resultaat wordt bereikt zonder vooraf cilindrische symmetrie aan te nemen; de symmetrie is een gevolg van de vergelijkingen en de kleinheidsvoorwaarde van de ratio tussen vorticiteit en oppervlaktespanning.
• Geometrische Karakterisering: Het artikel verbindt het vloeistofdynamische probleem met de calculus van variaties. Het toont aan dat onder de afgeleide condities het vloeistofdomein samenvalt met de kritieke punten van een vormfunctional die de omtrek en een rotationele energieterm bevat, eerder bestudeerd door Wente en Lopez.

Betekenis en Claims
De auteurs claimen dat dit het eerste resultaat is met betrekking tot de capillaire vloeistofdruppel met constante vorticiteit dat is verkregen zonder cilindrische symmetrie aan te nemen. Het werk benadrukt een fundamenteel verschil tussen irrotationele en rotationele stromingen: terwijl irrotationele stromingen een breed scala aan domeinvormen toestaan, legt constante vorticiteit zware geometrische beperkingen op die het domein voor stationaire toestanden beperkt tot specifieke symmetrische configuraties (oblate sferoïden).

Het artikel benadrukt dat de constante vorticiteitsconditie fungeert als een "sterke geometrische beperking" die over het algemeen incompatibel is met willekeurige tijdsontwikkeling, wat leidt tot ill-posedness. Echter, voor stationaire toestanden dwingt deze beperking het domein tot een oppervlak van revolutie. Het bewijs berust op het reduceren van het 3D vrije randprobleem tot een overgedetermineerd probleem voor de torsiefunctie van een 2D-vlakverzameling, waarmee de brug wordt geslagen tussen vloeistofdynamica en klassieke resultaten uit de geometrische analyse (Serrins theorem).

De auteurs merken op dat de aanname van strikte convexiteit een technische vereenvoudiging is voor de bewijzen, maar niet strikt noodzakelijk is voor het geldende rigiditeitsresultaat, aangezien het domein als gevolg van de regulariteit van de oplossing als strikt convex wordt aangetoond.