Existence and Smoothness of the Navier-Stokes equation using the Boundary Integral Method

Sintesi Tecnica: Esistenza e Regolarità dell'Equazione di Navier-Stokes mediante il Metodo degli Integrali di Confine

Enunciato del Problema
Il documento affronta il problema del Premio Millennium riguardante l'esistenza e la regolarità delle soluzioni delle equazioni di Navier- l'unsteady, incomprimibili di Navier-Stokes tridimensionali. Nello specifico, considera un fluido che riempie tutto lo spazio ($\mathbb{R}^3$) senza forze di corpo esterne, partendo da un campo di velocità iniziale liscio ($C^\infty$), privo di divergenza, che decade come uno Stokeslet all'infinito. La sfida centrale è dimostrare che una soluzione liscia esista per tutto il tempo successivo $t \ge 0$ senza esplosione in tempo finito (formazione di singolarità), un problema in cui i precedenti approcci basati su funzioni generalizzate (Ladyzhenskaya) o distribuzioni di dominio di Stokeslet (Ramm) hanno incontrato difficoltà riguardanti l'esplosione inerziale o l'illimitatezza logaritmica.

Metodologia
L'autore propone una nuova formulazione di integrale di confine basata su un sistema di riferimento mobile e una specifica classe di soluzioni fondamentali chiamate "nslets". La metodologia si basa su diversi spostamenti teorici chiave:

1. Formulazione di Integrale di Confine Spazio-Temporale: Il problema viene riformulato in un dominio spazio-temporale quadridimensionale ($\Sigma^+$) racchiuso da una ipersuperficie composta da un volume di tempo iniziale, un "sferindere" (cilindro sferico) di campo lontano e un confine infinitesimo che racchiude il punto del fluido.
2. Sistema di Riferimento Mobile e Coincidenza Lagrangiana-Euleriana: Un'innovazione critica è l'allineamento del calcolo dell'integrale di confine con un sistema di riferimento che si muove con la velocità del fluido nel punto di interesse. In questo limite, man mano che il confine racchiude il punto del fluido, la derivata materiale lagrangiana e la derivata parziale euleriana coincidono. Di conseguenza, il termine quadratico non lineare (l'accelerazione convettiva $u_j u_{i,j}$) svanisce nella formulazione dell'integrale di confine perché la non-linearità inerente alla descrizione euleriana viene assorbita nella derivata materiale del sistema di riferimento mobile.
3. Soluzioni Fondamentali (Nslets): La soluzione è costruita utilizzando "nslets", ovvero soluzioni fondamentali delle equazioni di Navier-Stokes.
   • Campo Vicino (Eulerlet): Vicino all'origine, l'nslet approssima un "eulerlet", una soluzione delle equazioni di Euler dove i termini inerziali dominano. L'eulerlet contiene una linea di singolarità allineata con la velocità del fluido (una linea di scia), garantendo che la direzione della velocità sia univocamente definita.
   • Campo Lontano (Stokeslet): Lontano dall'origine, l'nslet decade e approssima lo Stokeslet instazionario (o Oseenlet in un sistema di riferimento mobile).
4. Gestione della Non-Linearità tramite Divergenza: I termini non lineari sono trattati come divergenza di un campo vettoriale diretto lungo il raggio di spoke della soluzione fondamentale. Applicando il teorema della divergenza, l'integrale di dominio non lineare viene convertito in un integrale di confine. L'autore sostiene che, nel limite del piccolo confine che racchiude il punto del fluido, i contributi singolari dal termine non lineare si cancellano con i contributi singolari della pressione dell'eulerlet, e i termini rimanenti svaniscono per simmetria o decadimento esponenziale.

Contributi Chiave e Risultati

• Rappresentazione della Velocità: Il documento deriva una rappresentazione integrale di confine per il campo di velocità $u_k$ al tempo $T$ esclusivamente in termini della distribuzione di velocità iniziale $u_i(x', 0)$ e della soluzione fondamentale nslet:
  $$u_k(x, T) = -\int_V u_i(x', 0) u_{ki}(x-x', T) dV'$$
  Si dimostra che tale rappresentazione è valida poiché i contributi dal confine di campo lontano svaniscono, mentre il confine di campo vicino fornisce la velocità stessa.
• Dimostrazione di Esistenza e Regolarità:
  • L'autore dimostra che per un passo temporale $T$ sufficientemente piccolo, l'nslet approssima l'eulerlet con un errore limitato dell'ordine di $O(\nu \sqrt{T})$.
  • Iterando questo processo su passi temporali, l'autore sostiene che la velocità e le sue derivate rimangano lisce ($C^\infty$) per tutto il tempo.
  • La dimostrazione è condotta tramite ansatz: assumendo la regolarità per derivare la rappresentazione integrale, e poi mostrando che la rappresentazione risultante produce effettivamente una soluzione liscia, completando così la prova.
• Velocità Iniziale Nulla: La formulazione produce naturalmente la soluzione nulla se la velocità iniziale è zero, soddisfacendo la condizione di unicità per il caso omogeneo.
• Dinamica Caotica: Il documento nota che, poiché la linea di singolarità della soluzione fondamentale (l'eulerlet) deve allinearsi con la velocità locale del fluido, il sistema costituisce un sistema dinamico in cui le soluzioni fondamentali interagiscono con il campo di moto. Questo meccanismo permette comportamenti caotici, esemplificati dalla riduzione della formulazione al modello del "vortice lampeggiante" (blinking vortex) nel limite di alto numero di Reynolds.

Significato e Rivendicazioni
Il documento sostiene di fornire una dimostrazione dell'esistenza e della regolarità per le equazioni di Navier-Stokes 3D instazionarie aggirando la singolarità di "esplosione inerziale". Ciò viene ottenuto spostando l'analisi in un sistema di riferimento mobile dove il termine convettivo non lineare scompare dalla formulazione dell'integrale di confine, permettendo l'uso della teoria standard degli integrali di confine lineari (funzioni di Green) sviluppata da Oseen e Ladyzhenskaya.

L'autore afferma che questo approccio modella con successo:

1. Flussi a basso numero di Reynolds (validando rispetto alle approssimazioni di Oseen).
2. Flussi non lineari ad alto numero di Reynolds (validando rispetto alle teorie di Blasius e triple-deck).
3. Flussi caotici (dimostrando la riduzione alla dinamica del vortice lampeggiante).

Il documento conclude che la rappresentazione integrale risultante esiste ed è liscia per tutto il tempo, a condizione che le condizioni iniziali siano lisce e decadano in modo appropriato. Il significato risiede nell'offrire un metodo costruttivo per provare la regolarità trasformando il problema non lineare in un problema di integrale di confine lineare attraverso una specifica scelta di sistema di riferimento e soluzioni fondamentali, pur riconoscendo che la modellazione della turbolenza pienamente sviluppata rimane un soggetto di indagine futura.