Diffeological Tangent Spaces and Distributional Linearization for Lifted Euler--Reynolds Limits

Sintesi Tecnica: Spazi Tangenti Diffeologici e Linearizzazione Distributiva per i Limiti di Euler–Reynolds Sollevati

Enunciato del Problema
Le equazioni di Euler incomprimibili occupano una posizione centrale nella meccanica dei fluidi e nella moderna teoria della integrazione convessa. Una chiave di lettura fondamentale in questo campo è che le soluzioni esatte vengono studiate efficacemente attraverso la classe più ampia dei sottosoluzioni di Euler–Reynolds, triple $(v, p, R)$ che soddisfano $\partial_t v + \text{div}(v \otimes v) + \nabla p = -\text{div} R$ e $\text{div} v = 0$, dove $R$ è il tensore dello stress di Reynolds che rappresenta il difetto. Gli schemi di integrazione convessa generano sequenze di tali sottosoluzioni in cui lo stress di Reynolds converge a zero mentre i campi di velocità sviluppano oscillazioni fini. Tuttavia, i flussi non lineari non convergono al flusso del limite ($v_\alpha \otimes v_\alpha \not\to v \otimes v$), portando a descrizioni a valore di misura dei limiti deboli.

Una sfida geometrica fondamentale sorge in questi spazi: a differenza degli spazi di configurazione classici, lo spazio delle sottosoluzioni di Euler–Reynolds non forma un varietà liscio. I vincoli definiti sono distribuzionali e i limiti deboli spesso violano la relazione costitutiva non lineare $Q = v \otimes v$. Di conseguenza, non esiste una nozione canonica di vettore tangente, rendendo non banale la questione fondamentale di cosa significhi perturbare infinitesimalmente uno stato di Euler–Reynolds. I quadri esistenti (misure di Young, integrazione convessa) si concentrano su esistenza e rilassamento, ma mancano di una teoria geometrica del primo ordine unificata per gli spazi in cui risiedono questi limiti.

Metodologia
Gli autori affrontano questo problema sviluppando un quadro diffeologico, una generalizzazione dei varietà lisci che sostituisce le mappe di coordinate con famiglie di parametrizzazioni lisce compatibili (plot). Questo approccio permette di definire spazi tangenti interni intrinseci senza richiedere una struttura di varietà sottostante, rendendolo adatto a spazi di dimensione infinita definiti da vincoli analitici deboli.

La metodologia procede in cinque fasi:

1. Formulazione Sollevata (Lifted): Gli autori separano le strutture lineari e non lineari trattando la velocità $v$, il flusso quadratico $Q$ e lo stress di Reynolds $R$ come variabili indipendenti in uno spazio ambiente $E$. Il vincolo non lineare $Q = v \otimes v$ viene recuperato solo come un locus specifico (il "locus di Euler") all'interno di questo spazio sollevato.
2. Costruzione Diffeologica: Essi definiscono lo spazio limite sollevato $X(v_0, A)$ come la chiusura debole delle sottosoluzioni strette e lisce all'interno dello spazio vettoriale conveniente ambiente $E$. Questo spazio è dotato di una diffeologia di sottospazio.
3. Spazi Tangenti Interni: Utilizzando la teoria degli spazi tangenti interni per gli spazi diffeologici, costruiscono vettori tangenti in modo intrinseco. Stabiliscono una mappa di "realizzazione ambiente" che associa questi vettori intrinseci a concrete perturbazioni distribuzionali in $E$.
4. Linearizzazione Distributiva: Dimostrano che queste realizzazioni ambiente soddisfano le equazioni di Euler–Reynolds linearizzate nel senso delle distribuzioni.
5. Modelli a Miscela Finita: Per illustrare la teoria astratta, introducono un modello a miscela finita di stati sollevati, analizzando come i differenziali delle mappe di miscela realizzano specifiche direzioni tangenti e si relazionano allo stress di Reynolds rispetto alla scissione di fase infinitesima.

Contributi Chiave e Risultati

• Geometria del Primo Ordine Intrinseca: Il lavoro dota gli spazi limite di Euler–Reynolds sollevati di una geometria del primo ordine intrinseca. Dimostra che ogni vettore tangente interno, quando realizzato nello spazio ambiente, soddisfa le equazioni di Euler–Reynolds linearizzate in senso distributivo (Teorema 3.7, Proposizioni 4.11–4.12). Ciò stabilisce una naturale linearizzazione distributiva per gli spazi limite sollevati deboli.
• Direzioni Tangenti al Locus di Euler: Gli autori distinguono tra direzioni tangenti che preservano lo stato di Euler esatto (dove $Q = v \otimes v$ e $R=0$) e quelle che generano stress di Reynolds. Mostrano che per le sottosoluzioni lisce, la realizzazione ambiente dello spazio tangente interno coincide con il pieno spazio delle soluzioni del sistema di Euler–Reynolds linearizzato (Proposizione 4.5).
• Gerarchia degli Osservabili e Kernel: Un contributo significativo è la caratterizzazione delle direzioni infinitesimali "osservabili" rispetto a quelle "nascoste". Gli autori definiscono i kernel per le osservabili di velocità, flusso e stato completo:
  • Kernel di Velocità: Tangenti invisibili alle misurazioni di velocità ($w=0$).
  • Kernel di Flusso: Tangenti invisibili sia alle misurazioni di velocità che di flusso ($w=0, H=0$).
  • Direzioni di Gauge dello Stress: Direzioni nel kernel del flusso che sono non nulle solo nella componente dello stress ($S \neq 0$). Esse rappresentano deformazioni del primo ordine genuine dello stress di Reynolds che sono rilevabili solo tramite sonde di velocità o di flusso. Gli autori mostrano che queste direzioni soddisfano $\text{div} S = \nabla \pi$ (Teorema 4.20) e costruiscono espliciti rappresentanti lisci (Proposizione 4.21).
• Realizzazione a Miscela Finita: Il documento sviluppa un modello a dimensione finita in cui lo stress di Reynolds appare come un difetto di covarianza generato dalla scissione di fase infinitesima. Sotto ipotesi di genericità, ogni tensore di stress deviatore è realizzato da tale difetto di miscela del primo ordine (Teorema 5.13). Ciò fornisce limiti di conteggio delle fasi e un risultato di minimità per la gerarchia degli osservabili (Teorema 5.15), determinando l'ordine minimo di momenti richiesto per separare le direzioni di peso in una miscela.
• Vincoli di Energia: La teoria è estesa a strati con vincoli di energia, identificando le direzioni tangenti compatibili sia con la dinamica linearizzata che con profili di energia cinetica prescritti (Teorema 3.9).

Significato e Rivendicazioni
Il lavoro sostiene di fornire un quadro unificato per la linearizzazione distributiva, le strutture tangenti osservabili e le realizzazioni a miscela in dimensione finita dei limiti di Euler–Reynolds. Spostando l'enfasi dall'analisi dei limiti deboli alla geometria differenziale degli spazi in cui essi risiedono, l'opera offre un'interpretazione geometrica rigorosa di quali variazioni infinitesimali siano fisicamente visibili e quali rimangano celate all'interno della formulazione sollevata.

Gli autori sottolineano che il loro approccio è compatibile con le descrizioni classiche a valore di misura (misure di Young), ma fornisce una prospettiva geometrica distinta. I risultati distinguono le perturbazioni osservabili dalle direzioni di gauge dello stress nascoste, chiarendo la flessibilità geometrica intrinseca nel sistema di Euler–Reynolds che è assente nelle equazioni di Euler esatte. Il modello a miscela finita funge da realizzazione concreta di queste direzioni tangenti astratte, collegando la struttura algebrica della scissione di fase alla generazione dello stress di Reynolds.

Il documento non propone nuovi schemi di integrazione convessa o applicazioni sperimentali, ma stabilisce il linguaggio geometrico fondamentale necessario per studiare la struttura infinitesimale delle soluzioni deboli e dei loro limiti.