[논문 리뷰] Existence and regularity of solutions to optimal partition problems involving Laplacian eigenvalues

Miguel Ramos, Hugo Tavares외 1명|arXiv (Cornell University)|2012. 01. 01.

Advanced Mathematical Modeling in Engineering참고 문헌 23인용 수 8

한 줄 요약

이 논문은 R^N 내 유계 도메인에서 딜리클레 고유값 문제에 대한 최적 분할의 존재성과 정칙성을, 부호가 변화하는 성분 간의 경쟁을 모델링하는 슈뢰딩거형 시스템을 사용한 특이 섭동 접근을 통해 확립한다. 핵심 결과는 최적 분할의 자유 경계가 무시할 만한 집합을 제외하고 국소적으로 C^{1,α} 초곡면임을 보여준다.

ABSTRACT

Let $\Omega\subset \mathbb{R}^N$ be an open bounded domain and $m\in \mathbb{N}$. Given $k_1,\ldots,k_m\in \mathbb{N}$, we consider a wide class of optimal partition problems involving Dirichlet eigenvalues of elliptic operators, including the following \[ \inf\left\{\Phi(\omega_1,\ldots,\omega_m):=\sum_{i=1}^m \lambda_{k_i}(\omega_i): (\omega_1,\ldots, \omega_m)\in \mathcal{P}_m(\Omega) ight\}, \] where $\lambda_{k_i}(\omega_i)$ denotes the $k_i$-th eigenvalue of $(-\Delta,H^1_0(\omega_i))$ counting multiplicities, and $\mathcal{P}_m(\Omega)$ is the set of all open partitions of $\Omega$, namely \[ \mathcal{P}_m(\Omega)=\left\{(\omega_1,\ldots,\omega_m): \omega_i\subset \Omega ext{ open}, \omega_i\cap \omega_j=\emptyset \forall i eq j ight\}. \] We prove the existence of an open optimal partition $(\omega_1,\ldots, \omega_m)\in \mathcal{P}_m(\Omega)$, proving as well its regularity in the sense that the free boundary $\cup_{i=1}^m \partial \omega_i\cap \Omega$ is, up to a residual set, locally a $C^{1,\alpha}$ hypersurface. In order to prove this result, we first treat some general optimal partition problems involving all eigenvalues up to a certain order. The study of this new class of problems is done via a singular perturbation approach with a class of Schr\odinger-type systems which models competition between different groups of possibly sign-changing components. An optimal partition appears in relation with the nodal set of the limiting components, as the competition parameter becomes large. The proofs also involve new boundary Harnack principles on NTA and Reifenberg flat domains, as well as an extensive use of Almgren-type monotonicity formulas.

연구 동기 및 목표

• 유계 도메인 Ω의 m개의 서로소 부분도메인에서 딜리클레 고유값의 합을 최소화하는 최적 분할의 존재성을 확립한다.
• 분할된 도메인을 분리하는 자유 경계의 정칙성을 증명한다.
• 주어진 순서까지의 모든 고유값을 포함하는 최적 분할 문제의 클래스를 특이 섭동 프레임워크를 통해 분석한다.
• 경쟁하는 슈뢰딩거형 시스템의 점근적 행동을 노달 집합과 연결하여 최적 분할을 특성화한다.
• NTA 및 Reifenberg 평탄한 도메인에서 경계 하르나크 원리와 얼름그렌 유형의 단조성 공식을 개발하고, 정칙성 분석에 적용한다.

제안 방법

• 경쟁 매개변수를 도입하여 특이 섭동 접근을 사용하며, 이는 최적 분할에 해당하는 한계 구조로 시스템을 이끌어낸다.
• 다른 그룹 간의 경쟁을 모델링하는 부호가 변화하는 성분을 가진 슈뢰딩거형 방정식의 시스템을 연구한다.
• 경쟁 매개변수가 무한으로 갈 때, 최적 분할은 한계 성분의 노달 집합으로 나타난다.
• 경계 근처의 해 행동을 제어하기 위해 NTA 및 Reifenberg 평탄한 도메인에 대한 경계 하르나크 원리를 개발한다.
• 특이점에서의 붕괴 행동을 분석하고 자유 경계의 정칙성을 확립하기 위해 얼름그렌 유형의 단조성 공식을 사용한다.
• 한계로 갈 때 존재성과 구조를 유도하기 위해 정교한 추정과 컴팩턴스 추론을 기반으로 분석한다.

실험 결과

연구 질문

• RQ1 R^N 내 유계 도메인의 m개의 서로소 부분도메인에서 딜리클레 고유값의 합에 대한 최적 분할이 존재하는가?
• RQ2 이러한 최적 분할에서 부분도메인을 분리하는 자유 경계의 정칙성은 어떠한가?
• RQ3 경쟁하는 슈뢰딩거형 시스템의 점근적 행동은 최적 분할을 어떻게 특성화할 수 있는가?
• RQ4 자유 경계의 정칙성을 보장하기 위해 필요한 경계 조건과 기하학적 가정(예: NTA, Reifenberg 평탄)은 무엇인가?
• RQ5 얼름그렌 유형의 단조성 공식과 경계 하르나크 원리는 정칙성 증명에 얼마나 기여하는가?

주요 결과

• 최적 분할은 Ω의 개방형, 서로소 부분도메인의 클래스 내에서 존재하며, k_i번째 딜리클레 고유값의 합을 최소화한다.
• 자유 경계 ∪_{i=1}^m ∂ω_i ∩ Ω는 무시할 만한 잔여 집합을 제외하고 국소적으로 C^{1,α} 초곡면이다.
• 경쟁 성분을 가진 특이 섭동 슈뢰딩거형 시스템의 한계 노달 집합은 경쟁 매개변수가 발산할 때 최적 분할에 해당한다.
• NTA 및 Reifenberg 평탄한 도메인에 대해 경계 하르나크 원리가 확립되어 경계 근처의 해 감쇠를 제어할 수 있다.
• 얼름그렌 유형의 단조성 공식을 사용하여 특이점에서의 붕괴 프로파일을 분석하고 자유 경계의 정칙성을 증명한다.
• 일반적인 기하학적 가정 하에서 정규성 결과가 성립하며, 이는 이전 결과를 더 넓은 도메인 클래스로 확장한다.