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

Sintesi Tecnica: Rigidità per la Goccia di Liquido Capillare 3D con Vorticità Costante

Enunciato del Problema
Questo articolo investiga il problema del contorno libero per le equazioni di Euler che governano il moto di una goccia di liquido tridimensionale con tensione superficiale (capillarità) $\sigma_0$ e un campo vettoriale di vorticità costante $\text{curl } u = \alpha_0 e_3$, dove $e_3 = (0,0,1)$. Il sistema è descritto dalle equazioni di Euler incomprimibili con una condizione al contorno dinamica in cui la pressione è uguale alla tensione superficiale per la curvatura media ($p = \sigma_0 H_{\partial \Omega_t}$). L'obiettivo primario è duplice: primo, analizzare la compatibilità della condizione di vorticità costante con l'evoluzione temporale del sistema; secondo, stabilire un risultato di rigidità per soluzioni tempo-indipendenti (stazionarie), determinando specificamente la forma geometrica del dominio fluido $\Omega$ senza assumere a priori la simmetria.

Metodologia
Gli autori utilizzano una combinazione di analisi geometrica, dinamica dei fluidi e teoria dei problemi ellittici sovradeterminati.

1. Analisi dell'Evoluzione Temporale: Gli autori utilizzano l'equazione della vorticità e il principio di riflessione di Alexandrov. Derivando che una vorticità costante non nulla implica che il campo di velocità sia indipendente dalla coordinata verticale $x_3$, deducono forti vincoli geometrici sul dominio. Successivamente, impiegano un controesempio specifico che coinvolge una sfera unitaria e una rotazione rigida per dimostrare l'ill-posedness (mal posto) nel caso generale tempo-dipendente.
2. Riduzione allo Stato Stazionario: Per le soluzioni tempo-indipendenti, il problema si riduce a un sistema che coinvolge il campo di velocità $u$ e il dominio $\Omega$. Gli autori decompongono il campo di velocità in una parte irrotazionale e una parte rotazionale. Sfruttando la simmetria del dominio (dimostrata tramite il principio di Alexandrov) e le proprietà della funzione di torsione $v_D$ (la soluzione di $\Delta v_D = -1$ nella sezione equatoriale trasversale $D$ con condizioni al contorno di Dirichlet nulle), riducono il problema 3D a un problema sovradeterminato sul insieme planare 2D $D$.
3. Problema Sovradeterminato e Rigidità: Il nucleo della dimostrazione consiste nel derivare una specifica condizione al contorno su $\partial D$ per la funzione di torsione $v_D$. Questa condizione mette in relazione la derivata normale della funzione di torsione, la curvatura del contorno $\partial D$ e costanti determinate dai parametri fisici. Gli autori applicano quindi il classico teorema di rigidità di Serrin, il quale afferma che se la derivata normale della funzione di torsione è una funzione della curvatura media, il dominio deve essere una sfera. Per applicarlo, stabiliscono che il dominio $D$ debba essere un disco mediante la limitazione delle costanti rilevanti usando le proprietà della funzione di torsione su insiemi convessi (utilizzando specificamente la $1/2$-concavità e la formula di Reilly).

Contributi Chiave e Risultati

• Compatibilità e Ill-posedness (Teoremi 1.1 & 1.5): Il articolo dimostra che per $\alpha_0 \neq 0$, ogni soluzione regolare con un dominio convesso deve possedere un piano di simmetria orizzontale, e il campo di velocità deve essere indipendente da $x_3$. Fondamentalmente, gli autori mostrano che l'insieme dei dati iniziali che soddisfano la condizione di vorticità costante non è un insieme invariante per l'evoluzione temporale. Forniscono un esempio esplicito (Teorema 1.5) in cui una soluzione che parte da un dominio sferico e con vorticità costante sviluppa immediatamente una vorticità non costante, dimostrando che il problema di Cauchy per questo sistema è generalmente mal posto in 3D. Ciò contrasta con il caso 2D e il caso irrotazionale ($\alpha_0=0$), dove la vorticità costante viene preservata.
• Rigidità delle Soluzioni Stazionarie (Teorema 1.7): Il risultato principale stabilisce che, per soluzioni tempo-indipendenti, se il rapporto $\alpha_0^2/\sigma_0$ è sufficientemente piccolo (specificamente soddisfacendo la disuguaglianza 1.6), il dominio fluido $\Omega$ deve possedere una simmetria cilindrica.
  • Il dominio $\Omega$ è un sferoide oblato (schiacciato ai poli, rigonfio all'equatore), che è vicino ma non uguale a una sfera.
  • Il campo di velocità è determinato univocamente come una rotazione rigida: $u = \frac{\alpha_0}{2}(-x_2, x_1, 0)$.
  • Questo risultato è ottenuto senza assumere inizialmente la simmetria cilindrica; la simmetria è una conseguenza delle equazioni e della condizione di piccolezza del rapporto vorticità-tensione superficiale.
• Caratterizzazione Geometrica: L'articolo connette il problema della dinamica dei fluidi al calcolo delle variazioni. Mostra che, sotto le condizioni derivate, il dominio fluido coincide con i punti critici di un funzionale di forma che coinvolge il perimetro e un termine di energia rotazionale, precedentemente studiato da Wente e Lopez.

Significato e Rivendicazioni
Gli autori affermano che questo è il primo risultato riguardante la goccia di liquido capillare con vorticità costante ottenuto senza assumere la simmetria cilindrica. Il lavoro evidenzia una differenza fondamentale tra flussi irrotazionali e rotazionali: mentre i flussi irrotazionali permettono una vasta gamma di forme di dominio, la vorticità costante impone severi vincoli geometrici che restringono il dominio a configurazioni simmetriche specifiche (sferoidi ob lati) per gli stati stazionari.

L'articolo sottolinea che la condizione di vorticità costante agisce come un "forte vincolo geometrico" che è generalmente incompatibile con un'arbitraria evoluzione temporale, portando all'ill-posedness. Tuttavia, per gli stati stazionari, questo vincolo forza il dominio a essere una superficie di rotazione. La prova si basa sulla riduzione del problema a contorno libero 3D a un problema sovradeterminato per la funzione di torsione di un insieme planare 2D, collegando la dinamica dei fluidi con i risultati classici dell'analisi geometrica (teorema di Serrin).

Gli autori notano che l'assunzione di convessità stretta è una semplificazione tecnica per le dimostrazioni ma non è strettamente necessaria affinché il risultato di rigidità sussista, poiché il dominio viene mostrato essere strettamente convesso come conseguenza della regolarità della soluzione.