Nontrivial integrable weak stationary solutions to active scalar equations with non-odd drift

Technische Samenvatting: Niet-triviale integreerbare zwakke stationaire oplossingen voor actieve scalaire vergelijkingen met een niet-oneven drift

Probleemstelling
Dit artikel behandelt de existentie van niet-triviale zwakke oplossingen voor de stationaire actieve scalaire vergelijking op de torus $\mathbb{T}^d$ ($d \geq 2$):
$$\begin{cases} \nabla \cdot (\theta u) + \Lambda^\gamma \theta = 0 \\ u = T\theta \end{cases}$$
waarbij $\theta$ een scalair veld is, $u$ een divergentievrij snelheidveld is, en $\Lambda^\gamma = (-\Delta)^{\gamma/2}$ de fractionele Laplaciaan is met $0 < \gamma \leq 2$, en $T$ een convolutie-type Calderón-Zygmund operator is. De centrale structurele beperking van dit werk is dat de Fourier-multiplier $m(\xi)$ van de operator $T$ niet oneven is.

De auteurs richten zich op het construeren van oplossingen die integreerbare functies zijn (specifiek liggend in $L^{2-\epsilon}(\mathbb{T}^d)$ en $\dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}^d)$ voor $0 < \epsilon < 1$) in plaats van louter distributies. Een aanzienlijke uitdaging ontstaat omdat voor multipliers die wel oneven zijn, de operator $T$ skew-adjunct is op $L^2$, wat dwingt tot het feit dat het gemiddelde van de niet-lineaire term $\int_{\mathbb{T}^d} w T w$ moet verdwijnen voor gladde perturbaties $w$. Dit verdwijnen voorkomt de annulatie van leidende-orde fouten in standaard convex integration-schema's. Het onderzoek van dit artikel beperkt zich tot niet-oneven multipliers om deze obstructie te omzeilen, waarbij wordt opgemerkt dat algemene skew-adjunct operatoren buiten het bereik blijven van de huidige methoden.

Methodologie
De constructie maakt gebruik van de methode van convex integration, oorspronkelijk geïntroduceerd door De Lellis en Székelyhidi. De aanpak omvat een iteratief proces waarbij een sequentie van gladde benaderende oplossingen $(\theta_q, u_q, R_q)$ wordt geconstrueerd, die voldoen aan een gerelaxeerde vergelijking met een stressveld-fout $R_q$. Het doel is om $\|R_q\|_{\dot{H}^{-s}} \to 0$ te laten gaan als $q \to \infty$.

Belangrijke technische componenten zijn:

1. Exploitatie van de niet-oneven multiplier: Het niet-oneven karakter van $m(\xi)$ maakt het mogelijk dat het gemiddelde van de niet-lineaire term niet nul is. Specifiek maakt de constructie gebruik van het feit dat het beeld van $m(\xi) + m(-\xi)$ een basis voor $\mathbb{R}^d$ bevat (vastgesteld via Lemma's 2.9 en 2.10). Dit maakt het mogelijk om de leidende-orde stress-fout te annuleren met het gemiddelde van de perturbatie.
2. Intermitterende bouwstenen: De perturbaties $w_{q+1}$ worden geconstrueerd met behulp van "intermitterende slabs" (Lemma 2.12). Dit zijn hoog oscillerende functies met een variërende graad van intermittentie die afneemt naar nul bij hogere stadia van de iteratie. Deze specifieke structuur stelt de auteurs in staat om de $L^p$-normen van de oplossing te controleren terwijl de noodzakelijke regulariteit behouden blijft.
3. Negatieve regulariteitsschattingen: In tegenstelling tot eerdere convex integration-schema's voor fluïdumvergelijkingen die vaak fouten schatten in $L^p$- of $C^0$-normen, schat dit werk de stressveld in negatieve Sobolev-normen ($\dot{H}^{-s}$). Deze keuze is cruciaal omdat het voorkomt dat afgeleiden direct moeten opereren op de hoogfrequente bouwstenen, waardoor de vereiste dat de bouwstenen stationaire oplossingen moeten zijn van enige PDE, wordt versoepeld.
4. Definitie van zwakke oplossingen: Omdat de geconstrueerde oplossingen liggen in ruimtes met negatieve regulariteit waar het product $\theta u$ niet klassiek gedefinieerd is, hanteren de auteurs een definitie van zwakke oplossingen gebaseerd op paraproducten. Zij definiëren het product via de absolute convergentie van de paraproduct-expansie in $\dot{H}^{-s}$, volgens het kader van [1] en [21].

Belangrijkste bijdragen en resultaten
Het hoofdbestanddeel (Theorem 1.3) stelt vast dat er voor elke $0 < \gamma \leq 2$ niet-triviale zwakke oplossingen $(\theta, u)$ bestaan voor de stationaire actieve scalaire vergelijking zodanig dat:

• $\theta, u \in \bigcap_{0<\epsilon<1} (\dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}^d) \cap L^{2-\epsilon}(\mathbb{T}^d))$.
• Het product $\theta u$ goed gedefinieerd is als een paraproduct in $\dot{H}^{-s}(\mathbb{T}^d)$.
• Het paar de vergelijking op de wijze van de zwakke paraproduct-definitie bevredigt.

Het artikel biedt een gedetailleerd inductief bewijs (Proposition 4.1) dat aantoont dat de oscillatie-, Nash- en dissipatie-fouten willekeurig klein gemaakt kunnen worden in de $\dot{H}^{-s}$-norm door voldoende grote frequentieparameters $\lambda_q$ te kiezen.

Betekenis en reikwijdte
De auteurs claimen dat dit werk de eerste constructie is van zwakke oplossingen voor de stationaire actieve scalaire vergelijking op de torus die integreerbare functies zijn in plaats van louter distributies. Dit wordt benadrukt in Remark 1.4.

Het artikel is bescheiden over zijn beperkingen:

• De oplossingen liggen niet in $L^2(\mathbb{T}^d)$, wat een moeilijk openstaand probleem blijft.
• De resultaten zijn beperkt tot multipliers die niet oneven zijn. De auteurs geven expliciet aan dat hun resultaat niet van toepassing is op de Surface Quasi-Geostrophic (SQG) vergelijking, aangezien de multiplier daar oneven is.
• De methode vertrouwt op het feit dat de multiplier een Calderón-Zygmund operator is. Het artikel merkt op dat de Magneto-Geostrophic (MG) vergelijking een onbegrensde multiplier bevat, wat het buiten het bereik van de huidige methode plaatst, hoewel zij dit als een interessante open vraag suggereren.
• De constructie maakt gebruik van een specifieke klasse van niet-oneven multipliers; de auteurs beweren niet dat zij de existentie van oplossingen voor algemene skew-adjunct operatoren hebben opgelost.

Samenvattend breidt het artikel de convex integration-techniek uit naar een specifieke klasse van stationaire actieve scalaire vergelijkingen door gebruik te maken van de niet-oneven symmetrie van de drift-operator om leidende-orde fouten te annuleren, intermitterende bouwstenen te gebruiken om integreerbaarheid te bereiken, en negatieve Sobolev-normen te hanteren om de zwakke oplossing te definiëren.