Global strong solutions to a one-dimensional full non-Newtonian fluid with far field vacuum

1. Il Problema Studiato

Il lavoro si concentra sul problema di Cauchy per un fluido non newtoniano comprimibile, omogeneo e conducente di calore, in una dimensione spaziale. Il sistema è governato dalle equazioni di conservazione della massa, della quantità di moto e dell'energia, con una particolare attenzione alla presenza di vuoto al campo lontano (far field vacuum), ovvero situazioni in cui la densità del fluido tende a zero all'infinito.

Le equazioni costitutive del fluido sono caratterizzate da due termini non lineari che descrivono la viscosità e il flusso di calore:

• Stress viscoso: $(|u_x|^{q-2}u_x)_x$
• Flusso di calore: $(|\theta_x|^{p-2}\theta_x)_x$

Dove gli esponenti soddisfano $1 < p, q < 2$. Questo intervallo di parametri è cruciale perché introduce singolarità e comportamenti di crescita sub-lineare che differiscono significativamente dai modelli classici di Navier-Stokes (dove $p=q=2$) o dai modelli di fluidi non newtoniani incompressibili.

L'obiettivo principale è stabilire l'esistenza e l'unicità di soluzioni forti globali (global strong solutions) in presenza di vuoto al campo lontano, un contesto notoriamente difficile a causa della degenerazione delle equazioni quando la densità si annulla.

2. Metodologia

Gli autori adottano un approccio analitico sofisticato basato su trasformazioni di coordinate e stime a priori.

• Coordinate Lagrangiane: Il sistema viene trasformato in coordinate lagrangiane utilizzando la mappa di flusso $\eta(y, t)$. Le variabili diventano:

  • $J = \eta_y$ (determinante dello Jacobiano, legato alla densità tramite $J\varrho = J_0\varrho_0$).
  • $\varrho, v, \Theta$: densità, velocità e temperatura in coordinate lagrangiane.
    Questo passaggio è essenziale per gestire la conservazione della massa e la struttura del vuoto.

• Metodo Iterativo per l'Esistenza Locale: Per dimostrare l'esistenza locale, gli autori utilizzano un metodo iterativo e il teorema del punto fisso. Una sfida maggiore rispetto ai fluidi newtoniani è la gestione dei termini non lineari singolari $(|v_y/J|^{q-2}v_y/J)_y$ e $(|\Theta_y/J|^{p-2}\Theta_y/J)_y$. Per superare questo ostacolo, viene sviluppata una tecnica di stima uniforme che non dipende dal limite inferiore della densità iniziale.

• Estensione Globale e Controllo del Vuoto: La parte più critica è l'estensione della soluzione locale a tempo globale.

  • Viene introdotta una funzione di peso dipendente dal tempo per controllare il limite inferiore di $J(y,t)$ (che corrisponde alla densità).
  • A differenza dei risultati precedenti per i fluidi di Navier-Stokes (es. Li e Xin), dove il controllo di $J$ è legato ai dati iniziali, qui gli autori dimostrano che $J$ può tendere a zero asintoticamente.
  • Viene costruita una serie divergente di intervalli di tempo. Dimostrando che la somma degli incrementi di tempo possibili per estendere la soluzione è infinita, si prova l'esistenza globale.

• Disuguaglianze di Energia: Vengono derivate stime energetiche pesate (weighted energy estimates) che sfruttano la decadenza lenta della densità iniziale al campo lontano. Queste stime permettono di controllare i termini non lineari e garantire che la soluzione non sviluppi singolarità in tempo finito.

3. Risultati Chiave

Il paper presenta due teoremi principali:

1. Esistenza Locale (Teorema 1.1):
   Sotto opportune condizioni sui dati iniziali (densità positiva localmente, regolarità in spazi di Sobolev pesati, e condizioni di crescita della densità iniziale), esiste un tempo $T > 0$ tale che il problema ammette una soluzione forte unica locale. Le condizioni includono vincoli specifici sull'esponente di peso $\alpha$ in funzione di $p$ e $q$.

2. Esistenza Globale (Teorema 1.2):
   Se la densità iniziale $\varrho_0(y)$ decade lentamente al campo lontano (specificamente, $\varrho_0(y) \geq \frac{A_0}{(1+|y|)^l}$ con un $l$ sufficientemente piccolo), allora la soluzione forte locale può essere estesa a tempo globale ($T \to \infty$).

   • Un risultato fondamentale è che il fluido non newtoniano possiede una limitatezza temporale dell'energia anche in presenza di vuoto al campo lontano, a condizione che la densità decada sufficientemente lentamente.

4. Contributi e Innovazioni

• Gestione della Singolarità Non Newtoniana: Il lavoro affronta la difficoltà tecnica introdotta dagli esponenti $p, q \in (1, 2)$, che rendono gli operatori di viscosità e conduzione termica singolari quando i gradienti sono piccoli.
• Differenza rispetto ai Fluidi Newtoniani: Il paper evidenzia una differenza sostanziale rispetto ai risultati noti per il sistema di Navier-Stokes comprimibile (Li e Xin, 2020). Nel caso newtoniano, il controllo del vuoto è spesso più rigido; qui, la struttura non lineare del fluido non newtoniano, combinata con la decadenza lenta della densità, permette di ottenere soluzioni globali con un comportamento energetico diverso.
• Costruzione della Serie Divergente: L'uso di una serie divergente per sommare gli intervalli di esistenza locale è una tecnica innovativa applicata con successo a questo specifico sistema di equazioni differenziali parziali non lineari.

5. Significato e Implicazioni

Questo studio colma una lacuna significativa nella teoria matematica dei fluidi non newtoniani. Mentre l'esistenza di soluzioni per fluidi non newtoniani incompressibili o comprimibili senza vuoto è stata studiata, l'esistenza di soluzioni forti globali per fluidi comprimibili, conduttivi di calore e con vuoto al campo lontano era un problema aperto.

I risultati hanno implicazioni per:

• Modellazione Fisica: Migliorano la comprensione del comportamento di fluidi complessi (come polimeri fusi, sospensioni, fluidi biologici) in condizioni estreme dove la densità può diventare molto bassa.
• Analisi Matematica: Forniscono nuovi strumenti tecnici per gestire equazioni di tipo p-Laplaciano in contesti di fluidodinamica comprimibile con vuoto, aprendo la strada a ulteriori ricerche su sistemi accoppiati più complessi.

In sintesi, il paper dimostra che, nonostante le singolarità intrinseche dei modelli non newtoniani e la presenza di vuoto, è possibile garantire l'esistenza globale di soluzioni forti se la densità iniziale decade in modo controllato e sufficientemente lento.