[논문 리뷰] Existence of minimizers for spectral problems

Dario Mazzoleni, Aldo Pratelli|arXiv (Cornell University)|2011. 12. 01.

Advanced Mathematical Modeling in Engineering참고 문헌 5인용 수 4

한 줄 요약

이 논문은 $\mathbb{R}^N$ 내 단위 측도를 가진 열린 집합 위에서 첫 번째 $k$ 개의 딜리클레 라플라시안 고유값의 증가 함수기능에 대해 유계 최소화자를 존재시킴을 확립한다. 무한대 영역에서의 컴actness 부족을 극복하기 위해 저자들은 $\lambda_k/\lambda_1$ 가 오직 $k$와 $N$ 에 의존하는 상수로 유계임을 증명함으로써, 버타초–달마소의 컴팩트니스 결과를 적용할 수 있게 하고, 기능에 관계없이 항상 유계 영역 내에 최소화자가 존재함을 보장한다.

ABSTRACT

In this paper we show that any increasing functional of the first k eigenvalues of the Dirichlet Laplacian admits a (quasi-)open minimizer among the subsets of R^N of unit measure. In particular, there exists such a minimizer which is bounded, where the bound depends on k and N, but not on the functional. In the meantime, we show that the ratio λ_k(Ω)/λ_1(Ω) is uniformly bounded for sets Ω\in R^N.

연구 동기 및 목표

• 무한대 영역에서 딜리클레 라플라시안의 첫 번째 $k$ 개 고유값에 대한 증가 기능에 대해 최소화자의 존재라는 오랜 열린 문제를 해결하기 위해.
• 이러한 최소화자가 $\mathbb{R}^N$ 내에서 특정 기능에 관계없이 유계임을 보이고, 이를 통해 존재를 보장하기 위해.
• 모든 준개방 집합 $\Omega \subseteq \mathbb{R}^N$ 에 대해 $\lambda_k(\Omega)/\lambda_1(\Omega)$ 의 균일한 상한을 $k$와 $N$ 에만 의존하는 상수로 확립하기 위해.
• 기존의 버타초–달마소 존재성 결과를 유계 영역에서 전체 공간 $\mathbb{R}^N$ 으로 확장하기 위해, 최소화 수열의 사전 유계성 조건을 요구하지 않기 위해.

제안 방법

• 집합을 첫 번째 고유값이 제어 가능한 부분집합들로 반복적으로 분해함으로써 $\lambda_k/\lambda_1$ 의 균일한 유계성을 증명하기 위해.
• 기하학적 보조정리(보조정리 3.2)를 재귀적으로 적용하여 집합 $\Omega$ 를 $2^j$ 개의 서로소 열린 부분집합으로 나누며, 각 부분집합의 $\lambda_1$ 가 $k$, $N$, 그리고 초기 값 $K$ 에 의존하는 상수로 유계임을 보장하기 위해.
• 최소-최대 원리와 레일리 몫 추정을 적용하여 $\lambda_k(\Omega)$ 를 이러한 부분집합들 중에서 $\lambda_1$ 의 최댓값으로 유계화하기 위해.
• 비율 $\lambda_k/\lambda_1$ 가 척도에 대해 불변임을 활용하여 일반적인 경우를 $\lambda_1 = 1$ 인 경우로 줄여, 균일한 유계성을 확보하기 위해.
• 임의의 최소화 수열이 기능 값이 증가하지 않도록 유계 수열로 대체될 수 있음을 보여줌으로써, 농도-콤팩트니스 원리를 암묵적으로 활용하기 위해.
• 유계 최소화 수열에 대해 버타초–달마소 콤팩트니스 정리를 적용하여 최소화자의 존재를 도출하기 위해.

실험 결과

연구 질문

• RQ1 모든 증가 기능에 대해 단위 측도를 가진 $\mathbb{R}^N$ 내의 집합에서 첫 번째 $k$ 개의 딜리클레 고유값에 대한 최소화자가 존재하는가?
• RQ2 무한대 영역에서의 컴팩트니스 부족을 극복하여 이러한 최소화자가 존재함을 보장할 수 있는가?
• RQ3 $\lambda_k(\Omega)/\lambda_1(\Omega)$ 는 모든 준개방 집합 $\Omega \subseteq \mathbb{R}^N$ 에 대해 균일하게 유계인가?
• RQ4 기존의 버타초–달마소 존재성 결과를 유계 영역에서 전체 공간 $\mathbb{R}^N$ 으로 확장할 수 있는가? 이 경우 최소화 수열의 사전 유계성 조건이 필요하지 않은가?

주요 결과

• 모든 준개방 집합 $\Omega \subseteq \mathbb{R}^N$ 에 대해 비율 $\lambda_k(\Omega)/\lambda_1(\Omega)$ 는 $M(k,N)$ 이라는 상수로 유계이며, 집합의 기하학적 형태에 무관하다.
• 모든 증가 하중연속 기능 $\mathcal{F}: \mathbb{R}^k \to \mathbb{R}$ 에 대해, $|A| = 1$ 인 열린 집합 $A \subseteq \mathbb{R}^N$ 에서 $\mathcal{F}(\lambda_1(A), \dots, \lambda_k(A))$ 의 하한은 어떤 유계 집합 $A$ 에 의해 도달된다.
• 최소화자는 오직 $k$와 $N$ 에만 의존하는 $R(k,N)$ 의 변을 가진 정육면체 내에 포함된다. 이는 기능 $\mathcal{F}$ 에 영향을 받지 않는다.
• 증명 과정에서, $\lambda_1(\Omega) \leq K$ 를 만족하는 모든 열린 집합 $\Omega$ 는 $\lambda_k(\Omega) \leq M'(k,K,N)$ 를 만족하며, $M'$ 는 오직 $k$, $K$, $N$ 에만 의존한다.
• 이 결과는 $\mathbb{R}^N$ 내에서 첫 번째 $k$ 개 고유값에 대한 임의의 증가 기능으로 일반화된 파벨–크라hn 및 크라hn–스체고 부등식을 제공한다.
• $\lambda_3$ 에 대한 최소화자의 존재가 이제 도출되며, 최적의 집합은 아직 알려져 있지 않다.