Large time decay of the Oseen flow in exterior domains subject to the Navier slip-with-friction boundary condition

Technische Samenvatting: Grote Tijdverval van de Oseen-stroming in Exterieure Domeinen onderhevig aan de Navier Slip-met-Wrijving Randvoorwaarde

Probleemstelling
Het artikel onderzoekt het asymptotische gedrag van de Oseen-stroming, die dient als de linearisatie van de Navier-Stokes-vergelijkingen, in een driedimensionaal exterieur domein $\Omega$ (het complement van een begrensde obstructie). De vloeistof is viskeus en incompressibel. De studie richt zich op het systeem dat onderworpen is aan de Navier slip-met-wrijving randvoorwaarde op de rand $\partial\Omega$ van de obstructie en een voorgeschreven uitstroomsnelheid $u_\infty$ in de ruimtelijke oneindigheid.

De regerende vergelijkingen voor de perturbatie-snelheid $u$ en druk $p$ rond de stationaire toestand $u_\infty$ worden gegeven door het Oseen initiële waardeprobleem:
$$\partial_t u = \Delta u + \eta \cdot \nabla u - \nabla p, \quad \text{div } u = 0 \quad \text{in } \Omega \times (0, \infty),$$
waarbij $\eta = -u_\infty$. De randvoorwaarden zijn:
$$\nu \cdot u|_{\partial\Omega} = 0, \quad [(2Du)\nu]_\tau + \alpha u_\tau|_{\partial\Omega} = 0, \quad \lim_{|x|\to\infty} u = 0,$$
waarbij $\nu$ de naar buiten gerichte eenheidsnormaal is, $Du$ de symmetrische gradiënt is en $\alpha(x) \geq 0$ de wrijvingscoëfficiënt is, en de subscript $\tau$ de tangentiële component aanduidt.

De primaire doelstellingen zijn tweeledig:

1. Om de resolventverzameling van de geassocieerde Oseen-operator $L$ in de $L^q$-kader te karakteriseren, specifiek door de spectrale eigenschappen nabij de oorsprong in het complexe vlak te analyseren onder invloed van de geometrie van de rand, de wrijvingscoëfficiënt $\alpha$, en de uitstroom $\eta$.
2. Om $L^q$-$L^r$ verval-schattingen te vestigen voor de Oseen-semigroep $e^{-tL}$ naarmate $t \to \infty$, die cruciaal zijn voor het bewijzen van de globale welgebondenheid van het nietlineaire Navier-Stokes-systeem nabij een stationaire toestand.

Methodologie
De analyse maakt gebruik van een combinatie van spectrale theorie, functionele analyse en energie-methoden, gestructureerd als volgt:

1. Resolventanalyse en Uniciteit: Het artikel stelt eerst de uniciteit van oplossingen aan het resolventsysteem $(\lambda + L)u = f$ vast binnen specifieke klassen van functies. Hiervoor worden energie-schattingen afgeleid door de vergelijking met de oplossing te vermenigvuldigen en over het domein te integreren. Een cruciale stap is het afhandelen van de randtermen die voortvloeien uit de Navier-conditie. De auteurs maken gebruik van de Weingarten-kaart van de rand $\partial\Omega$ om de deformatietensor $Du$ te relateren aan de gradiënt $\nabla u$. Specifiek gebruiken zij de identiteit:
   $$2\|Du\|_2^2 = \|\nabla u\|_2^2 - \int_{\partial\Omega} [(\nabla N)u] \cdot u \, d\sigma,$$
   waar $-\nabla N$ de Weingarten-kaart is en $\kappa(x)$ de minimale eigenwaarde daarvan vertegenwoordigt (gerelateerd aan de hoofdcurvatuur). Deze geometrische term maakt de afleiding van voorwaarden mogelijk waaronder het reële deel van de energie-identiteit niet-negatief is, wat uniciteit waarborgt.

2. Parametrix-constructie: Om de resolvent in het exterieure domein te construeren, gebruiken de auteurs een afkappingsprocedure (cut-off). Zij combineren de oplossingoperator voor de gehele ruimte $\mathbb{R}^3$ (Oseen-resolvent) met de oplossingoperator voor een begrensd interieur domein (onderworpen aan dezelfde randvoorwaarde). Een Bogovskii-operator wordt toegepast in een ringvormig gebied om de divergentie van de samengevoegde oplossing te corrigeren, waardoor aan de solenoidale conditie wordt voldaan. Dit levert een representatie van de resolvent op die een compacte perturbatie-operator $T_\eta(\lambda)$ bevat.

3. Regulariteit nabij de Oorsprong: De kern van de vervalanalyse berust op het gedrag van de resolvent $(\lambda + L)^{-1}$ nabij $\lambda = 0$, in het bijzonder langs de imaginaire as. De auteurs bewijzen dat onder specifieke voorwaarden op $\alpha$ en de kromming van $\partial\Omega$, de resolvent analytisch is in een omgeving van de oorsprong (met uitzondering van de oorsprong zelf voor het Stokes-geval) en specifieke Hölder-continuïteitsschattingen voldoet in de $L^q$-norm.

4. Lokale Energieverval: Gebruikmakend van de regulariteit van de resolvent langs de imaginaire as, leiden de auteurs lokale energieverval-schattingen af. Dit wordt bereikt door de semigroep uit te drukken via de Dunford-integraal en een lemma toe te passen dat de vervalsnelheid van de inverse Fourier-transformatie relateert aan de regulariteit van de functie in het frequentiedomein (specifiek de modulus van continuïteit van de resolvent).

Belangrijkste Bijdragen en Resultaten

• Karakterisering van de Resolventverzameling:
  Het artikel stelt vast dat de resolventverzameling $\rho(-L)$ het rechter halfvlak (met uitzondering van de oorsprong) bevat onder de voorwaarde:
  $$\alpha(x) \geq \frac{\eta \cdot \nu(x)}{2} \quad \text{voor alle } x \in \partial\Omega.$$
  Verder, indien aan een sterkere voorwaarde met betrekking tot de randkromming wordt voldaan:
  $$\alpha(x) + \kappa(x) \geq \frac{\eta \cdot \nu(x)}{2},$$
  waar $\kappa(x)$ de minimumwaarde van de hoofdcurvaturen is, bevat de resolventverzameling de regio $\mathbb{C} \setminus S_\eta$, waarbij $S_\eta = \{ \lambda \in \mathbb{C} : |\eta|^2 \text{Re } \lambda + (\text{Im } \lambda)^2 \leq 0 \}$. Dit breidt eerdere resultaten die bekend waren voor de no-slip conditie uit naar het geval van de Navier slip-met-wrijving.

• $L^q$-$L^r$ Vervalschattingen:
  Het hoofddoel (Theorema 2.2) levert vervalschattingen voor de Oseen-semigroep. Voor initiële data $f \in L^q_\sigma(\Omega)$ voldoet de oplossing aan:
  $$\|\nabla^j e^{-tL}f\|_r \leq C t^{-\frac{j}{2} - \frac{3}{2}(\frac{1}{q} - \frac{1}{r})} \|f\|_q$$
  voor $j=0$, en een licht gewijzigde snelheid waarbij $(1+t)$ betrokken is voor $j=1$. Deze schattingen gelden voor $t \to \infty$ onder de voorwaarde $\alpha(x) \geq \frac{\eta \cdot \nu(x)}{2}$.

• Herstel van Bekende Resultaten:
  De resultaten herstellen de bekende vervalschattingen voor de Stokes-semigroep ($\eta=0$) onder full slip ($\alpha=0$) en de Oseen-semigroep onder de no-slip conditie ($\alpha \to \infty$) als specifieke gevallen.

Betekenis en Claims
Het artikel claimt een gat te vullen in de bestaande literatuur met betrekking tot het exterieure probleem met een niet-nul uitstroom ($u_\infty \neq 0$) onder Navier-randvoorwaarden, aangezien eerdere werken voor dergelijke randvoorwaarden grotendeels een nul-uitstroom veronderstelden.

De betekenis ligt in:

1. Het overbruggen van het Gat: De resultaten interpoleren tussen de full slip ($\alpha=0$) en no-slip ($\alpha \to \infty$) regimes, en bieden een verenigd kader voor grote-tijd vervalschattingen.
2. Geometrisch Inzicht: De analyse benadrukt de rol van de geometrie van de rand (via de Weingarten-kaart en hoofdcurvaturen) bij het bepalen van de spectrale eigenschappen van de Oseen-operator, in het bijzonder de vorm van de resolventverzameling nabij de oorsprong.
3. Fundament voor Nietlineaire Stabiliteit: De vastgestelde $L^q$-$L^r$ vervalschattingen worden gepresenteerd als een noodzakelijk instrument voor het onderzoeken van de globale welgebondenheid en stabiliteit van het nietlineaire Navier-Stokes-systeem in exterieure domeinen met slip-randvoorwaarden, met name voor initiële data die dicht bij een stationaire toestand liggen.

De auteurs merken op dat hoewel de vervalsnelheden voor de gradiënt ($j=1$) optimaal zijn voor het Stokes-geval onder no-slip, de optimaliteit voor het Oseen-geval met een niet-nul uitstroom niet wordt geclaimd vanwege de verschillende ruimtelijke vervalstructuur (wake-structuur) van de stationaire Oseen-stroming. Daarnaast blijft de afhankelijkheid van de vervalconstante van de wrijvingscoëfficiënt $\alpha$ een open vraagstuk vanwege een gebrek aan uniforme a priori schattingen in begrensde domeinen voor kleine $\alpha$.