[Paper Review] Regularity of the minimizers in the composite membrane problem in R^2

Sagun Chanillo, Carlos E. Kenig+1 more|ArXiv.org|Apr 7, 2008

Advanced Mathematical Modeling in Engineering6 references3 citations

TL;DR

This paper establishes the $C^{1,1}$ regularity of minimizers and the analytic regularity of the free boundary $\partial\{u>c\}$ in the composite membrane problem in $\mathbb{R}^2$, under the physical condition $\alpha < \lambda$. Using second variation analysis and global geometric arguments, it proves that the superlevel set $\{u>c\}$ has finitely many disjoint, analytic components with positive gradient on the boundary, resolving singular point issues in minimizers.

ABSTRACT

We study the regularity of minimizers to the composite membrane problem in the plane (ie given a domain omega and a positive number A, smaller than the measure of omega, minimize the first Dirichlet eigenvalue for the Schrodinger operator with potential equal to a fixed multiple of the characteristic function of a subset D of omega, with measure A). We show that for minimizers, the boundary of D is analytic.

Motivation & Objective

• To establish the regularity of minimizers in the composite membrane problem in $\mathbb{R}^2$ under the physical condition $\alpha < \lambda$.
• To resolve the regularity of the free boundary $\partial\{u>c\}$, particularly at points where $|Du| = 0$, which are potential singularities.
• To show that minimizers are $C^{1,1}$ and that the boundary of each connected component of $\{u>c\}$ is a finite union of disjoint, simple, real-analytic curves with $|Du| > 0$.
• To rule out unstable blow-up solutions via second variation analysis, leading to improved regularity.

Proposed method

• Derives the first and second variations of the energy functional $E(s,t)$ under domain and function perturbations, with $|D(t)| = A$.
• Uses the second variation formula to rule out unstable blow-up limits, particularly those with vanishing gradient at the free boundary.
• Applies global geometric arguments, including the Jordan Curve Theorem, to analyze the structure of connected components of $\{u>c\}$.
• Employs blow-up analysis and classification of singularities from prior work [5] to exclude pathological configurations.
• Combines $C^{1,1}$ regularity of $u$ with analyticity of the boundary via the strong maximum principle and elliptic regularity.
• Uses contradiction arguments based on divergence of $\sum \int_{\mathcal{F}_k} |Du|^{-1}$ to prove $|Du| > 0$ on $\partial U$.

Experimental results

Research questions

• RQ1 Can the minimizers of the composite membrane problem in $\mathbb{R}^2$ be shown to be $C^{1,1}$ regular under the physical condition $\alpha < \lambda$?
• RQ2 Is the free boundary $\partial\{u>c\}$ analytic, even at points where $|Du| = 0$?
• RQ3 Can the second variation of the energy functional be used to rule out unstable blow-up solutions that would prevent analytic regularity?
• RQ4 Do the connected components of $\{u>c\}$ have boundaries consisting of finitely many disjoint, analytic curves with non-vanishing gradient?
• RQ5 Is the number of connected components of $\{u>c\}$ finite, and are their closures disjoint?

Key findings

• The minimizer $u$ is $C^{1,1}$-regular in $\Omega$ under the condition $\alpha < \overline{\alpha}(A)$, resolving a key regularity question.
• The free boundary $\partial\{u>c\}$ consists of finitely many disjoint, simple, closed, real-analytic curves where $|Du| > 0$.
• The set $\{u>c\}$ has finitely many connected components, and the closures of these components are pairwise disjoint.
• The gradient $|Du|$ is strictly positive on $\partial\{u>c\}$, eliminating singular points where $|Du| = 0$ in minimizers.
• The function $u$ is analytic in the closure of each connected component of $\{u>c\}$, due to analytic boundary and elliptic regularity.
• A modified set $\tilde{D}$ with $\partial\tilde{D} = \partial\{u>c\}$ exists and agrees with $D$ up to a null set, confirming the boundary structure is physically meaningful.