Real analytic solutions to the divergence equation

1. Il Problema

L'obiettivo principale della ricerca è costruire soluzioni esplicite e reali analitiche per l'equazione della divergenza:
$$\text{div}_{\mathbb{R}^n} \mathbf{v} = f$$
definita su un dominio anulare $A(R_1, R_2) = \{x \in \mathbb{R}^n : R_1 < |x| < R_2\}$, con $n \ge 2$ e $0 < R_1 < R_2 < \infty$.

Le condizioni imposte sono:

• Il termine noto $f$ è una funzione reale analitica su $A(R_1, R_2)$ (estendibile analiticamente a un intorno aperto del dominio).
• $f$ soddisfa la condizione di compatibilità (integrale nullo): $\int_{A(R_1, R_2)} f \, \text{Vol}_{\mathbb{R}^n} = 0$.
• La soluzione vettoriale $\mathbf{v}$ deve essere reale analitica su $A(R_1, R_2)$ e deve soddisfare la condizione al contorno di Dirichlet omogenea: $\mathbf{v} = 0$ sul bordo $\partial A(R_1, R_2)$.

Il lavoro si distingue dal contesto classico delle spazi di Sobolev ($W^{1,p}$) o Hölder ($C^{k,\alpha}$), dove l'esistenza di soluzioni è ben nota (tramite l'approccio di Bogovskii o Kapitanskii-Pileckas), ma la costruzione di soluzioni esplicitamente analitiche con condizioni al contorno nulle è un problema molto più sottile e meno trattato in letteratura.

2. Metodologia

Gli autori sviluppano un metodo differenziale-topologico che si discosta dalle tecniche standard di mappatura integrale (come l'operatore di Bogovskii). La metodologia si articola in tre fasi principali:

A. Riduzione a un problema algebrico lineare (Lemma 2.4)

Prima di affrontare la PDE, gli autori risolvono un problema di interpolazione polinomiale radiale. Dimostrano che, dati valori e derivate prescritti su due sfere concentriche ($R_1$ e $R_2$) e la condizione di integrale nullo, è possibile costruire un'unica funzione reale analitica radiale $Q(\rho)$ che soddisfi questi vincoli. Questo passaggio riduce la complessità del problema di controllo al bordo a un sistema di equazioni lineari risolvibile esplicitamente.

B. Costruzione di una forma differenziale (Lemma 3.1 e Corollario 3.2)

Il cuore del metodo è ispirato alla dimostrazione di Spivak (in A Comprehensive Introduction to Differential Geometry) sulla coomologia di De Rham a supporto compatto ($H^n_c(\mathbb{R}^n) \cong \mathbb{R}$).
Tuttavia, gli autori introducono due innovazioni cruciali rispetto a Spivak:

1. Sostituzione della forma arbitraria con una soluzione di Poisson: Invece di usare una forma differenziale $(n-2)$ arbitraria $\eta$ per risolvere l'equazione sulla sfera, risolvono l'equazione di Poisson sulla sfera unitaria $S^{n-1}$:
   $$-\Delta_{S^{n-1}} \phi = g_2$$
   dove $g_2$ è la media radiale di $f$. Poiché $f$ è analitica, anche $\phi$ lo è. Questo permette di costruire una forma differenziale esplicita e analitica.
2. Funzione di taglio (Cut-off) Analitica: Utilizzano una funzione di taglio $\chi$ definita tramite potenze di funzioni seno ($\sin^{l+3}$), che garantisce la regolarità analitica necessaria all'interno dell'anello, a differenza delle funzioni di taglio $C^\infty$ standard usate in analisi funzionale classica.

C. Correzione al bordo

La soluzione ottenuta tramite il metodo di Spivak modificato (Corollario 3.2) soddisfa l'equazione della divergenza ma non necessariamente si annulla sul bordo. Per correggere questo, gli autori aggiungono un campo vettoriale "correttivo" radiale $\lambda \frac{\partial}{\partial \rho}$.
Questo termine è costruito utilizzando i risultati del Lemma 2.4 per garantire che:

• La divergenza totale rimanga $f$.
• Il campo vettoriale totale si annulli esattamente su $|x|=R_1$ e $|x|=R_2$.

3. Risultati Chiave

• Teorema 1.1 (Formulazione Semplificata): Afferma l'esistenza di un campo vettoriale $\mathbf{U}$ reale analitico su $A(R_1, R_2)$ tale che $\text{div} \mathbf{U} = f$ e $\mathbf{U}|_{\partial A} = 0$.
• Teorema 4.1 (Risultato Principale e Costruzione Esplicita): Fornisce la formula esplicita per il campo vettoriale $\mathbf{U}$. La soluzione è data dalla somma di due parti:
  1. Una parte costruita tramite l'operatore di omotopia modificato (basato su $\tilde{f}$, una versione corretta di $f$ che annulla i momenti al bordo) e la soluzione dell'equazione di Poisson sulla sfera.
  2. Un termine radiale correttivo calcolato esplicitamente tramite le funzioni razionali $Q_{k,a}(\mu)$ (dove $\mu = R_2/R_1 - 1$) ottenute risolvendo il sistema lineare del Lemma 2.4.
• Regolarità: La soluzione $\mathbf{U}$ è dimostrata essere reale analitica su tutto il dominio anulare, non solo $C^\infty$.

4. Contributi Principali

1. Costruzione Esplicita: A differenza degli approcci di Bogovskii o Kapitanskii-Pileckas che forniscono operatori lineari continui ma non formule chiuse, questo lavoro offre una formula analitica chiusa per la soluzione.
2. Regolarità Analitica: Estende la teoria della divergenza al regime di funzioni reali analitiche, un ambito in cui la letteratura è scarsa, specialmente con condizioni al contorno nulle.
3. Innovazione Topologica: L'uso della soluzione dell'equazione di Poisson sulla sfera ($-\Delta \phi = g$) al posto di forme arbitrarie permette di mantenere la proprietà di analiticità in ogni passaggio della costruzione, cosa che non è ovvia con metodi puramente funzionali.
4. Metodo di Correzione al Bordo: La tecnica di "sottrazione" dei momenti al bordo tramite funzioni razionali specifiche (Lemma 2.4) permette di forzare la condizione di Dirichlet senza distruggere la regolarità analitica della soluzione.

5. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

• Teoria delle PDE: Fornisce un nuovo strumento per problemi di regolarità massima (analitica) in domini non semplicemente connessi (anelli).
• Fluidodinamica e Meccanica dei Continui: L'equazione della divergenza è fondamentale nella decomposizione di Helmholtz e nella risoluzione delle equazioni di Navier-Stokes. Avere soluzioni analitiche esplicite può essere utile per testare algoritmi numerici o per studi di stabilità in regimi ad alta regolarità.
• Geometria Differenziale: Il lavoro collega profondamente la teoria della coomologia di De Rham con problemi di analisi reale, mostrando come strumenti topologici possano essere adattati per costruire soluzioni analitiche specifiche, andando oltre la semplice esistenza teorica.

In sintesi, gli autori hanno trasformato un problema di esistenza di soluzioni in un problema di algebra lineare e analisi complessa, fornendo una ricetta esplicita per generare soluzioni analitiche alla divergenza su anelli, colmando un vuoto nella letteratura tra la teoria Sobolev classica e la geometria differenziale analitica.