Optimal existence of weak solutions for the generalised Navier-Stokes-Voigt equations

Titel: Optimal Existence of Weak Solutions for the Generalised Navier-Stokes-Voigt Equations

Auteurs: Ankit Kumar, Hermenegildo Borges de Oliveira, en Manil T. Mohan.

1. Probleemstelling en Model

Het artikel onderzoekt de incompressibele generaliseerde Navier-Stokes-Voigt (NSV) vergelijkingen in een begrensd domein $\Omega \subset \mathbb{R}^d$ (waarbij $d \geq 2$). Het model beschrijft de stroming van visco-elastische vloeistoffen met niet-Newtoniaanse eigenschappen (kracht-wet vloeistoffen).

De impulsvergelijking wordt gegeven door:
$$\partial_t(v - \kappa\Delta v) + \nabla \cdot (v \otimes v) + \nabla \pi - \nu \nabla \cdot \left(|D(v)|^{p-2}D(v)\right) = f$$
waarbij:

• $v$: Snelheidsveld.
• $\pi$: Druk.
• $f$: Externe krachten.
• $\kappa > 0$: Relaxatietijd (Voigt-term).
• $\nu > 0$: Kinematische viscositeit.
• $p \in (1, \infty)$: De machtswet-exponent die het stromingsgedrag karakteriseert ($1 < p < 2$ voor shear-thinning, $p > 2$ voor shear-thickening, $p=2$ voor Newtoniaanse vloeistoffen).
• $D(v) = \frac{1}{2}(\nabla v + (\nabla v)^\top)$: De symmetrische graad van de snelheid.

Het doel is om de existentie en uniciteit van zwakke oplossingen te bewijzen voor de optimale bereik van de exponent $p$, afhankelijk van de ruimtelijke dimensie $d$.

2. Methodologie

De auteurs hanteren een combinatie van functionaalanalyse, compactheidsargumenten en monotone operator-theorie. De aanpak verschilt afhankelijk van de dimensie en de waarde van $p$:

• Galerkin-benadering: De oplossing wordt geconstrueerd als de limiet van een rij eindig-dimensionale benaderingen.
• Monotone Operator Theorie: Voor het geval $p \geq d/2$ (en $d \leq 3$) wordt de standaardtheorie van monotone operators toegepast. De operator $A(v) = |D(v)|^{p-2}D(v)$ is monotoon, wat cruciaal is voor het bewijzen van de convergentie.
• Regulering en Druk-Decompositie: Voor het kritieke geval $d=4$ en $2d/(d+2) < p < d/2$ is de standaardtheorie ontoereikend vanwege gebrek aan compactheid. De auteurs introduceren:
  • Een geregulariseerd probleem met een extra viskeuze term ($\frac{1}{n} \text{div}(|D(v)|^{\beta-2}D(v))$) om de existentie van benaderende oplossingen te garanderen.
  • Een verfijnde decompositie van de druk (gebaseerd op werk van Wolf en Diening). De druk wordt opgesplitst in componenten ($\pi_1, \pi_2, \pi_h$) die corresponderen met respectievelijk de viskeuze, convectieve en inertie/Voigt-termen. Dit stelt hen in staat de niet-lineariteiten te controleren ondanks de beperkte regulariteit.
• Compactheid: Er wordt gebruik gemaakt van het Aubin-Dubinskiĭ-lemma (via Gelfand-drietallen) om sterke convergentie van de snelheidsrij te verkrijgen, wat essentieel is om de limiet in de convectieve term $(v \otimes v)$ te nemen.
• Minty-truc: Gebruikt om de identificatie van de limiet van de niet-lineaire term te bewijzen, d.w.z. om te tonen dat de limietoperator $A$ gelijk is aan $|D(v)|^{p-2}D(v)$.

3. Belangrijkste Resultaten

De paper levert de volgende optimale existentie- en uniciteitsresultaten:

1. Existentie voor $d=2, 3$:
   Er bestaat een zwakke oplossing voor alle $p > 1$. Dit is een optimaal resultaat, aangezien $p>1$ de minimale fysieke voorwaarde is voor de definitie van de stroomfunctie.

2. Existentie voor $d=4$:
   Er bestaat een zwakke oplossing voor $p > \frac{2d}{d+2}$ (d.w.z. $p > 4/3$).

   • Opmerking: Voor $d > 3$ is het bereik $1 < p \leq \frac{2d}{d+2}$ nog steeds onbereikbaar met huidige technieken vanwege het ontbreken van een geschikte Gelfand-drietal voor compactheid. De paper bewijst dat $p > \frac{2d}{d+2}$ de scherpe ondergrens is voor de toepasbaarheid van de Aubin-Dubinskiĭ-lemma in dit kader.

3. Uniciteit:
   De zwakke oplossing is uniek binnen de gedefinieerde klasse voor de bovenstaande bereiken van $p$.

4. Technische Innovatie:
   De auteurs vermijden het gebruik van de Helmholtz-Hodge-projectie voor het geval $p \in (1, 2)$. Traditionele methoden gebruiken deze projectie, maar deze is technisch zeer lastig te hanteren voor $p < 2$ vanwege de controle van de convectieve term. Door de projectie te vermijden en direct met de volledige vergelijking te werken, kunnen ze het volledige bereik $p > 1$ (voor $d \leq 3$) behandelen.

4. Significatie en Bijdrage

• Optimaliteit: De resultaten zijn "optimaal" in de zin dat ze de laagst mogelijke waarden voor $p$ bereiken waarvoor existentie bewezen kan worden met de huidige wiskundige toolbox. Vooral voor $d=4$ wordt een kritieke grens bereikt.
• Uitbreiding van de theorie: Het artikel vult een lacune in de literatuur over generaliseerde NSV-vergelijkingen. Hoewel er veel werk is gedaan over pure power-law vloeistoffen (Navier-Stokes) en lineaire NSV-vergelijkingen, was de combinatie van beide (niet-lineaire viscositeit + Voigt-regularisatie) minder bestudeerd.
• Robuustheid van het model: De bewijzen tonen aan dat het Voigt-term ($-\kappa \partial_t \Delta v$) een regulariserend effect heeft dat de analyse van niet-Newtoniaanse vloeistoffen in hogere dimensies mogelijk maakt, zelfs wanneer de standaard Navier-Stokes-theorie tekortschiet.
• Toepassingsgebied: Hoewel fysieke toepassingen zich meestal beperken tot $d=2$ en $d=3$, biedt de analyse voor $d=4$ inzicht in de structurele stabiliteit van de vergelijkingen en de interactie tussen dimensie en niet-lineariteit, wat waardevol is voor de theoretische vloeistofmechanica.

Conclusie

Dit artikel levert een grondige wiskundige analyse van generaliseerde Navier-Stokes-Voigt-vergelijkingen. Door een slimme combinatie van druk-decompositie, regularisatie en compactheidsargumenten, bewijzen de auteurs de existentie en uniciteit van zwakke oplossingen voor een optimaal bereik van de machtswet-exponent $p$. Dit resulteert in een robuust theoretisch kader voor het modelleren van visco-elastische, niet-Newtoniaanse vloeistoffen.