On the non-stationary Navier-Stokes flows and reiterated homogenization

Technische Samenvatting: Over Niet-stationaire Navier-Stokes-achtige Stromingen en Herhaalde Homogenisatie

Probleemstelling
Dit artikel onderzoekt de deterministische herhaalde homogenisatie van niet-stationaire (tijdafhankelijke) Navier-Stokes-achtige vergelijkingen gedefinieerd op een vast begrensde domein $\Omega \subset \mathbb{R}^N$ (specifiek $N=2$) over een tijdsinterval $]0, T[$. De regulerende vergelijkingen beschrijven stroming van vloeistoffen met periodiek snel variërende viscositeitscoëfficiënten. De specifieke schaling van deze coëfficiënten omvat twee verschillende microscopische schalen, $\varepsilon$ en $\varepsilon^2$, wat leidt tot de definitie:
$$a^\varepsilon_{ij}(x) = a_{ij}\left(\frac{x}{\varepsilon}, \frac{x}{\varepsilon^2}\right)$$
waarbij $a_{ij}$ continue, begrenste, symmetrische en uniform elliptische functies zijn gedefinieerd op het product van twee periodiciteitscellen, $Y \times Z$. De studie richt zich op het Cauchy-Dirichlet randwaardeprobleem voor de snelheid $u^\varepsilon$ en druk $p^\varepsilon$, gekenmerkt door de vergelijking:
$$\frac{\partial u^\varepsilon}{\partial t} + P^\varepsilon u^\varepsilon + \sum_{j=1}^N u^\varepsilon_j \frac{\partial u^\varepsilon}{\partial x_j} + \nabla p^\varepsilon = f, \quad \text{div } u^\varepsilon = 0$$
met nul begin- en randvoorwaarden. Het primaire doel is het macroscopische gedrag van de oplossing $(u^\varepsilon, p^\varepsilon)$ te bepalen naarmate de parameter $\varepsilon \to 0$.

Methodologie
De analyse steunt op de methode van herhaalde tweeschaalconvergentie, een uitbreiding van de standaard tweeschaalconvergentietechniek die is ontworpen om om te gaan met meerdere schalen van oscillatie. De methodologie verloopt via de volgende stappen:

1. Functioneel Kader: Het probleem wordt geformuleerd in geschikte Sobolev-ruimten, specifiek $W(0, T)$, die continu inbedt in $C(0, T; H)$ en compact in $L^2(0, T; H)$. De ruimte $V$ (divergentievrije vectorvelden) en haar duale worden gebruikt om de incompressibiliteitsbeperking te behandelen.
2. A Priori Schattingen: Met gebruikmaking van de coerciviteit van de bilineaire vorm geassocieerd met de operator $P^\varepsilon$ en de eigenschappen van de trilineaire vorm die het convectieve term vertegenwoordigt, stellen de auteurs uniforme grenzen vast voor de rij oplossingen $(u^\varepsilon)$ in $W(0, T)$ en $(p^\varepsilon)$ in $L^2(0, T; L^2(\Omega))$.
3. Compactheid en Convergentie: Door gebruik te maken van de compactheidsresultaten van herhaalde tweeschaalconvergentie (Stellingen 1 en 2) halen de auteurs een deelrij op die convergeert naar een limiettripel $(u_0, u_1, u_2)$. Hier vertegenwoordigt $u_0$ de macroscopische limiet, terwijl $u_1$ en $u_2$ de correcties van de eerste en tweede orde op microscopische schaal vertegenwoordigen die geassocieerd zijn met de schalen $y = x/\varepsilon$ en $z = x/\varepsilon^2$, respectievelijk.
4. Afleiding van het Gehomogeniseerde Model: Door de variationale formulering te testen met specifieke oscillerende testfuncties en naar de limiet te gaan, leiden de auteurs een gekoppeld stelsel van vergelijkingen af. Dit omvat het oplossen van lokale celproblemen op de periodiciteitscellen $Y$ en $Z$ om correctorfuncties $\chi_{ik}$ en $\eta_{ik}$ te definiëren.
5. Correctoranalyse: Onder aanvullende regulariteitsaannames over het domein en de data leidt het artikel een correctorresultaat af, waarbij wordt bewezen dat de gradiënt van de oorspronkelijke oplossing kan worden benaderd door de som van de gradiënten van de macroscopische oplossing en de geschaalde microscopische correctors.

Belangrijkste Bijdragen en Resultaten

• Macroscopisch Gehomogeniseerd Model: Het artikel leidt een uniek macroscopisch limietprobleem af (Stelling 5) van het Navier-Stokes-type. De limietvergelijking voor de macroscopische snelheid $u_0$ en druk $p_0$ is:
  $$\frac{\partial u_0}{\partial t} + Q u_0 + \sum_{j=1}^N u^0_j \frac{\partial u_0}{\partial x_j} + \nabla p_0 = f$$
  waarbij $Q$ een gehomogeniseerde differentiaaloperator is met constante coëfficiënten $q_{ijkh}$. Deze coëfficiënten worden expliciet gedefinieerd via integralen die de oorspronkelijke coëfficiënten $a_{ij}$ en de oplossingen van de celproblemen op $Y$ en $Z$ omvatten.
• Uniciteit: Het artikel stelt de uniciteit van de oplossing van het afgeleide gehomogeniseerde probleem vast (Propositie 8), waardoor de goedgesteldheid van het macroscopische model wordt gewaarborgd.
• Convergentiestelling: Het wordt bewezen dat $u^\varepsilon$ zwak convergeert naar $u_0$ in $W(0, T)$ en dat de gradiënten herhaald convergeren in de tweeschaalzin naar de som van de macroscopische en microscopische gradiënten (Stelling 4).
• Correctorresultaat: Een sterk convergentieresultaat voor de gradiënten wordt vastgesteld (Stelling 6). Specifiek, onder geschikte regulariteitsaannames, verdwijnt de fout tussen de werkelijke gradiënt $\nabla u^\varepsilon$ en de benadering $\nabla u_0 + \varepsilon \nabla_y u_1 + \varepsilon^2 \nabla_z u_2$ in de $L^2$-norm naarmate $\varepsilon \to 0$.

Betekenis en Reikwijdte
De auteur positioneert dit werk als een bijdrage aan de wiskundige analyse van Navier-Stokes-achtige stromingen met complexe, multischaal viscositeitsstructuren. Het artikel beweert de eerste te zijn die de herhaalde homogenisatie van onstabiele (niet-stationaire) niet-lineaire vloeistofstromingen aanpakt in een deterministische setting met de specifieke schaling $a_{ij}(x/\varepsilon, x/\varepsilon^2)$.

De studie wordt gemotiveerd door de behoefte om meerfasestromingen met ruimtelijk variërende viscositeiten te modelleren. Hoewel de auteur opmerkt dat de aanpak kan worden aangepast aan meer algemene (niet-periodieke) gedragingen van viscositeiten, is het huidige werk strikt beperkt tot de periodieke setting.

Het artikel behoudt een bescheiden reikwijdte wat tijdafhankelijke coëfficiënten betreft. De auteur stelt expliciet dat de studie ervan uitgaat dat de viscositeitscoëfficiënten $a_{ij}$ alleen van ruimtelijke variabelen afhankelijk zijn, niet van de tijd. De conclusie erkent dat het uitbreiden van deze resultaten naar tijdafhankelijke viscositeiten een moeilijke taak is vanwege het ontbreken van vastgestelde uniciteit en schattingen voor dergelijke gevallen in de literatuur, en merkt op dat het huidige homogenisatieproces geldig blijft op voorwaarde dat die schattingen en uniciteitsresultaten kunnen worden vastgesteld.

Het werk bouwt voort op eerdere studies van de auteur over stationaire stromingen en homogenisatie op enkele schaal, evenals op de fundamentele theorie van herhaalde tweeschaalconvergentie die door andere onderzoekers is ontwikkeld (geciteerd als [5], [6], [8]). De resultaten bieden een rigoureuze wiskundige basis voor het benaderen van complexe, snel oscillerende vloeistofdynamica met een eenvoudiger, effectief macroscopisch model.