An isoperimetric inequality for the second Robin eigenvalue of the Weighted Laplacian

Titel en Context

Het artikel onderzoekt een vormoptimalisatieprobleem voor de tweede Robin-eigenwaarde van de gewogen Laplaciaan op begrensde Lipschitz-domeinen die symmetrisch zijn ten opzichte van de oorsprong. De auteurs bewijzen dat een bol, gecentreerd in de oorsprong, deze eigenwaarde maximaliseert onder de voorwaarde van een vast gewogen volume, voor een specifiek bereik van negatieve Robin-parameters.

1. Het Probleem

De auteurs bestuderen het volgende eigenwaardeprobleem voor een domein $\Omega \subset \mathbb{R}^m$:
$$\begin{cases} -\text{div}(e^{h(|x|)}\nabla u) = \lambda e^{h(|x|)}u, & x \in \Omega, \\ \frac{\partial u}{\partial \nu} + \alpha u = 0, & x \in \partial\Omega, \end{cases}$$
waarbij:

• $\alpha \in \mathbb{R}$ de Robin-parameter is.
• $h(r)$ een $C^2$-functie is op $[0, +\infty)$.
• $d\gamma_h = e^{h(|x|)} dx$ de gewogen maat definieert.
• $\nu$ de uitwaartse eenheidsnormaal is.

De focus ligt op de tweede eigenwaarde $\lambda_{2,\alpha}(\Omega; \gamma_h)$. De variatiele karakterisering hiervoor is:
$$\lambda_{2,\alpha}(\Omega; \gamma_h) = \inf \left\{ \frac{\int_\Omega |\nabla u|^2 d\gamma_h + \alpha \int_{\partial\Omega} u^2 e^h dA}{\int_\Omega u^2 d\gamma_h} : u \in W^{1,2}(\Omega; \gamma_h) \setminus \{0\}, \int_\Omega u u_1 d\gamma_h = 0 \right\}$$
waarbij $u_1$ de eerste eigenfunctie is.

2. Methodologie

De bewijsvoering combineert spectrale theorie, variatierekening en symmetrisatie-technieken. De kern van de aanpak is als volgt:

• Weinberger's Truc: De auteurs gebruiken een methode geïntroduceerd door Weinberger voor Neumann-eigenwaarden, waarbij testfuncties worden geconstrueerd op basis van eigenfuncties van een ronde bol.
• Symmetrie en Orthogonaliteit: Vanwege de symmetrie van het domein $\Omega$ en de radiale symmetrie van de gewogen maat $e^{h(|x|)}$, is de eerste eigenfunctie $u_1$ radiaal (en dus symmetrisch). Dit garandeert dat de testfuncties die worden gebruikt voor de tweede eigenwaarde automatisch orthogonaal zijn op $u_1$.
• Analyse van de Bol: Eerst worden eigenschappen van de eigenwaarden voor een bol $B(R)$ onderzocht. De auteurs tonen aan dat de tweede eigenfuncties op de bol de vorm $u_i(x) = g(r) \frac{x_i}{r}$ hebben, waarbij $g(r)$ een oplossing is van een radiale differentiaalvergelijking.
• Monotonie van een Hulpfunctie: Een cruciaal technisch resultaat is het bewijzen dat een specifieke functie $F(r)$, afgeleid van de radiale component $g(r)$ en de parameter $\alpha$, monotoon dalend is op $(0, \infty)$. Dit is essentieel voor de toepassing van symmetrisatie-ongelijkheden.
• Hardy-Littlewood Ongelijkheid (Gewogen Symmetrisatie): Er wordt gebruik gemaakt van een lemma dat stelt dat voor een monotoon dalende functie $f(r)$, het integraal over een willekeurig domein $\Omega$ kleiner is dan of gelijk is aan het integraal over de bol $B$ met hetzelfde gewogen volume.

3. Belangrijkste Resultaten

Hoofdstelling (Theorema 1.1)

Laat $\Omega$ een begrensde Lipschitz-domein zijn dat symmetrisch is rond de oorsprong. Laat $h(r)$ voldoen aan $h'(r) \geq 0$ en $h''(r) \geq 0$. Laat $B$ de bol zijn met hetzelfde gewogen volume als $\Omega$.
Als de Robin-parameter $\alpha$ voldoet aan:
$$\alpha \in [-\sigma_1(B; \gamma_h), 0]$$
waarbij $\sigma_1(B; \gamma_h)$ de eerste niet-triviale Steklov-eigenwaarde van de bol is, dan geldt:
$$\lambda_{2,\alpha}(\Omega; \gamma_h) \leq \lambda_{2,\alpha}(B; \gamma_h)$$
Gelijkheid treedt op dan en slechts dan als $\Omega$ congruent is met de bol $B$.

Corollaria en Speciale Gevallen

1. Neumann Geval ($\alpha = 0$): De stelling bevestigt dat de bol de tweede Neumann-eigenwaarde maximaliseert voor gewogen domeinen. Dit herbevestigt eerdere resultaten van Brock, Chiacchio en di Blasio.
2. Gauss-Maat: Het resultaat is specifiek toepasbaar op de Gauss-maat ($h(r) = |x|^2/2$), wat relevant is voor problemen zoals $-\Delta u - x \cdot \nabla u = \lambda u$.
3. Brock-Weinstock Ongelijkheid: Door $\alpha = -\sigma_1(B; \gamma_h)$ te kiezen, volgt de ongelijkheid voor de eerste Steklov-eigenwaarde: $\sigma_1(\Omega; \gamma_h) \leq \sigma_1(B; \gamma_h)$.

4. Technische Uitdagingen en Innovatie

• Analyse van de tweede eigenfunctie: Het bewijzen dat de tweede eigenfunctie op de bol de specifieke vorm $g(r)x_i/r$ heeft en dat de bijbehorende eigenwaarde strikt kleiner is dan de tweede radiale eigenwaarde, vereiste zorgvuldige vergelijking van differentiaalvergelijkingen en gebruik van Sturm-Liouville theorie.
• Monotonie van $F(r)$: Het bewijzen dat de functie $F(r)$ monotoon dalend is onder de gegeven voorwaarden voor $\alpha$ en $h$, was noodzakelijk om de variatiele schattingen te kunnen koppelen aan de symmetrisatie-ongelijkheid. Dit vereiste een gedetailleerde analyse van de afgeleiden en het gebruik van de voorwaarden $h' \geq 0, h'' \geq 0$.
• Behandeling van negatieve $\alpha$: De paper behandelt een bereik van negatieve $\alpha$-waarden, wat complexer is dan het standaard Neumann-geval, omdat dit de teken van de randterm beïnvloedt.

5. Betekenis en Impact

Dit artikel draagt bij aan het veld van de spectrale meetkunde en vormoptimalisatie door:

• De klassieke Szegö-Weinberger ongelijkheid (voor Neumann-eigenwaarden) uit te breiden naar het gewogen Laplaciaan en het Robin-geval.
• Een scherp resultaat te leveren voor een breed scala aan gewichten (waaronder de Gauss-maat), wat toepassingen heeft in kansrekening, statistische mechanica en partiële differentiaalvergelijkingen.
• Het verduidelijken van de rol van domeinsymmetrie: de auteurs tonen aan dat symmetrie rond de oorsprong essentieel is voor de geldigheid van de orthogonaliteitsvoorwaarden die nodig zijn voor de tweede eigenwaarde.
• Het bieden van een robuuste methode (Weinberger's truc aangepast voor gewogen ruimtes) die mogelijk toepasbaar is op andere spectrale optimalisatieproblemen.

Samenvattend generaliseren Gao, Wang en Zhu bestaande isoperimetrische ongelijkheden naar een gewogen setting met Robin-randvoorwaarden, waarbij ze bewijzen dat de bol de optimale vorm blijft voor het maximaliseren van de tweede eigenwaarde binnen een specifiek parameterbereik.