Fully nonlinear elliptic PDEs in thin domains with oblique-Dirichlet mixed boundary conditions

Titel: Volledig niet-lineaire elliptische PDE's in dunne domeinen met schuine-Dirichlet gemengde randvoorwaarden

1. Probleemstelling en Context

Het artikel onderzoekt het asymptotische gedrag van oplossingen voor volledig niet-lineaire elliptische partiële differentiaalvergelijkingen (PDE's) in "dunne domeinen".

• Het Domein: Het domein $\Omega_\varepsilon$ is een $(N+1)$-dimensionaal gebied dat "instort" naar een $N$-dimensionaal domein $\Omega$ wanneer de parameter $\varepsilon \to 0$. Het domein wordt gedefinieerd als $\Omega_\varepsilon = \{(x, y) \in \Omega \times \mathbb{R} : \varepsilon g_-(x) < y < \varepsilon g_+(x)\}$, waarbij $\Omega \subset \mathbb{R}^N$ een begrensd domein is.
• De Vergelijking: De operator $F$ is van het Bellman-Isaacs type, wat betekent dat het een inf-sup structuur heeft (vaak gerelateerd aan stochastische speltheorie of controleproblemen).
  $$F(D^2u_\varepsilon, Du_\varepsilon, u_\varepsilon, z) = 0 \quad \text{in } \Omega_\varepsilon$$
• Randvoorwaarden: Het probleem combineert drie soorten randvoorwaarden:
  1. Bovenkant ($\partial_T \Omega_\varepsilon$): Schuine (oblique) randvoorwaarde $\gamma_+ \cdot Du_\varepsilon = \beta_+$.
  2. Onderkant ($\partial_B \Omega_\varepsilon$): Schuine randvoorwaarde $\gamma_- \cdot Du_\varepsilon = \beta_-$.
  3. Zijkant ($\partial_L \Omega_\varepsilon$): Dirichlet randvoorwaarde $u_\varepsilon = \beta$.

De Kernuitdaging: In eerdere studies (zoals referentie [2] van dezelfde auteurs) werd aangenomen dat de operator $F$ strikt monotoon was in de variabele $u$ (de oplossing zelf). Dit betekent dat de coëfficiënt $c_{\lambda\mu}$ strikt positief was. In dit artikel wordt deze restrictie opgeheven. De auteurs nemen alleen aan dat $F$ niet-dalend is in $u$ (d.w.z. $c_{\lambda\mu} \geq 0$). Dit maakt het probleem aanzienlijk moeilijker, omdat strikte monotonie vaak essentieel is voor het bewijzen van uniciteit en bestaan via standaard vergelijkingstechnieken.

2. Methodologie

De aanpak van de auteurs combineert viscositeitstheorie, asymptotische analyse en meetkundige transformaties.

• Verzwakking van de Monotonie: In plaats van strikte monotonie te eisen, introduceren de auteurs een globale ellipticiteitsvoorwaarde in het limietdomein $\Omega$. Er wordt geëist dat er een functie $s \in C^2(\Omega)$ bestaat zodanig dat voor alle parameters $(\lambda, \mu)$:
  $$\inf |(Ds(x), -Ds(x)\gamma_0^\top(x)) A_{\lambda\mu}(x, 0) (Ds(x), -Ds(x)\gamma_0^\top(x))^\top| > 0$$
  Dit garandeert dat de operator voldoende "elliptisch" blijft in de richting van de gradiënt van $s$, zelfs zonder strikte monotonie in $u$.

• Constructie van Sub- en Super-oplossingen (Lemma 2):
  Het bewijs van bestaan en uniform begrensdheid van de oplossingen $u_\varepsilon$ rust op de constructie van strikte sub- en super-oplossingen ($\underline{\psi}_\varepsilon$ en $\overline{\psi}_\varepsilon$).

  • Stap 1 (Gevallen $\gamma_0 = 0$): Eerst wordt het geval behandeld waar de schuine hoek op de rand horizontaal is ($\gamma_0 = 0$). Hier worden expliciete constructies gemaakt met exponentiële functies van de vorm $e^{\alpha s(x)}$ en kwadratische termen in $y$.
  • Stap 2 & 3 (Coördinatentransformatie): Voor het algemene geval ($\gamma_0 \neq 0$) gebruiken de auteurs een coördinatentransformatie (een diffeomorfisme $P$) om het domein en de randvoorwaarden te "verstoren" (distort). Hierdoor wordt het probleem lokaal getransformeerd naar het geval waar $\gamma_0 = 0$. Dit stelt hen in staat de constructies uit Stap 1 toe te passen op het getransformeerde systeem en deze vervolgens terug te transformeren naar het originele domein.

• Asymptotische Analyse: Na het bewijzen van uniform begrensdheid, gebruiken de auteurs half-limieten (half-limits) van de oplossingenreeks ($u^+$ en $u^-$) om de limietvergelijking af te leiden. Ze tonen aan dat deze limieten viscositeitssub- en super-oplossingen zijn van de gereduceerde vergelijking in $\Omega$.

3. Belangrijkste Resultaten

1. Bestaan en Uniforme Begrensdheid (Propositie 2):
   Voor voldoende kleine $\varepsilon > 0$ bestaat er een viscositeitssoplossing $u_\varepsilon$ voor het probleem $(D_\varepsilon)$. Bovendien zijn alle dergelijke oplossingen uniform begrensd, ongeacht de waarde van $\varepsilon$. Dit resultaat is bereikt zonder de aanname van strikte monotonie in $u$.

2. Het Limietprobleem $(D_0)$:
   De auteurs leiden de gereduceerde PDE af die geldt in het $N$-dimensionale domein $\Omega$:
   $$G(D^2u, Du, u, x) = 0 \quad \text{in } \Omega, \quad u = \beta(x,0) \quad \text{op } \partial\Omega$$
   De operator $G$ wordt expliciet geconstrueerd uit de oorspronkelijke operator $F$ en de geometrie van het dunne domein (via de functies $g_\pm$ en $\gamma_0$).

3. Convergentie (Hoofdstelling 1):
   De reeks van oplossingen $u_\varepsilon$ convergeert uniform naar de unieke viscositeitssoplossing $u_0$ van het limietprobleem $(D_0)$ wanneer $\varepsilon \to 0$.
   $$\lim_{\varepsilon \to 0^+} \sup_{u \in S_\varepsilon} \sup_{(x,y) \in \Omega_\varepsilon} |u(x,y) - u_0(x)| = 0$$

4. Uniciteit:
   Onder de gegeven voorwaarden (inclusief de nieuwe ellipticiteitsvoorwaarde) is de oplossing van het limietprobleem uniek.

4. Bijdragen en Significatie

• Verzwakking van Aannames: De belangrijkste theoretische bijdrage is het verwijderen van de vereiste van strikte monotonie in de oplossingvariabele. Dit maakt de theorie toepasbaar op een bredere klasse van problemen, waaronder degenerate elliptische operatoren die vaak voorkomen in stochastische controle en speltheorie, waar strikte monotonie niet altijd geldt.
• Nieuwe Ellipticiteitsvoorwaarde: De auteurs introduceren een subtiele maar krachtige globale ellipticiteitsvoorwaarde (afhankelijk van een testfunctie $s$) die de rol van strikte monotonie overneemt bij het bewijzen van de vergelijkingseigenschappen (zoals het maximumprincipe en vergelijking).
• Technische Innovatie: De methode van het "verstoren" van het coördinatenstelsel om schuine randvoorwaarden te reduceren tot een standaardgeval, is een elegante technische oplossing die de complexiteit van de randvoorwaarden in dunne domeinen beheersbaar maakt.
• Toepassingsgebied: De resultaten zijn relevant voor de wiskundige modellering van fysische systemen in dunne lagen (zoals vloeistoffilmstroming, warmtegeleiding in dunne platen of membraanproblemen) waarbij de interactie aan de boven- en onderkant schuin is en de zijwanden vastgehouden worden.

Conclusie:
Dit artikel biedt een robuust wiskundig raamwerk voor het analyseren van niet-lineaire PDE's in dunne domeinen met gemengde randvoorwaarden. Door de afhankelijkheid van strikte monotonie te doorbreken en deze te vervangen door een gerichte ellipticiteitsconditie, openen de auteurs de deur voor de analyse van meer realistische en complexe degeneratieve systemen.