[논문 리뷰] Existence of minimizers for eigenvalues of the Dirichlet-Laplacian with a drift

Barbara Brandolini, Francesco Chiacchio외 2명|arXiv (Cornell University)|2014. 06. 26.

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

한 줄 요약

이 논문은 가중 측도 $e^{|x|^2/2}dx$를 포함하는 가중 체적 제약 조건 하에서 드리프트 항 $-\Delta - x\cdot\nabla$를 가진 딜레르흐-라플라스 연산자 $\lambda_k$의 모든 고유값에 대해 최소화자 존재성을 확립한다. 가중 소볼레프 공간에서의 컴팩트 임bedding과 관련된 PDE의 해 수열을 이용한 새로운 수렴 추론 기법을 활용하여, 저자들은 $\mathbb{R}^N$ 내에서 최소화자인 준개방 집합이 존재함을 증명하며, 드리프트 연산자에 대한 스펙트럼 최적화 문제에서 열려 있는 문제를 해결한다.

ABSTRACT

This paper deals with the eigenvalue problem for the operator $L=-\\Delta -x\\cdot \ abla $ with Dirichlet boundary conditions. We are interested in proving the existence of a set minimizing any eigenvalue $\\lambda_k$ of $L$ under a suitable measure constraint suggested by the structure of the operator. More precisely we prove that for any $c>0$ and $k\\in \\mathbb{N} $ the following minimization problem $$ \\min\\left\\{\\lambda_k(\\Omega): \\> \\Omega \\>\\mbox{quasi-open} \\>\\mbox{set}, \\> \\int_\\Omega e^{|x|^2/2}dx\\le c\ ight\\} $$ has a solution.

연구 동기 및 목표

• 연산자 $L = -\Delta - x\cdot\nabla$의 고유값 $\lambda_k$를 최소화하는 도메인의 존재성 문제를 자연스러운 가중 측도 제약 조건 하에서 해결하는 것.
• 비유계 영역에서의 컴팩트성 부족을 극복하고, $\mathbb{R}^N$ 내에서 드리프트가 있는 고유값 문제에 대한 최소화자 존재성을 확립하는 것.
• 표준 딜레르흐-라플라스 연산자에서의 스펙트럼 최적화 기법을 가중 측도 $m_N = e^{|x|^2/2}dx$를 사용하여 드리프트가 있는 연산자로 확장하는 것.
• 비균일하고 지수적으로 증가하는 가중치 하에서 고유값 $\lambda_k$의 최소화를 위한 엄밀한 프레임워크를 제공하는 것.

제안 방법

• 체적 제약 조건 $m_N(\Omega_n) \leq c$를 만족하는 준개방 집합 $\Omega_n$의 최소화 수열을 구성하고, $\lambda_j(\Omega_n)$에 대응하는 고유함수 $u_n^j$를 고려한다.
• 다음과 같은 문제의 해 $w_n$을 정의한다: $\Omega_n$ 내에서 $-\mathrm{div}(e^{|x|^2/2}\nabla w_n) = e^{|x|^2/2}$, $\partial\Omega_n$에서 $w_n = 0$이며, $w_n \to w$가 $L^2(\mathbb{R}^N; m_N)$에서 강한 수렴임을 증명한다.
• 최대원리로부터 유도된 점별 유계성 $|u_n^j| \leq \Lambda M w_n$을 이용하여 $u_n^j$가 $L^\infty$에서 유계이고, 따라서 $H_0^1(\Omega_n; m_N)$에서 등부분집합임을 보인다.
• 강한 수렴 $u_n^j \to u^j$ in $L^2(\mathbb{R}^N; m_N)$과 약수렴 $u_n^j \rightharpoonup u^j$ in $H^1(\mathbb{R}^N; m_N)$을 증명하며, $u^j \in H_0^1(\hat{\Omega}; m_N)$이 되고, 여기서 $\hat{\Omega} = \{w > 0\}$임을 보인다.
• 하한 연속성과 컴팩트성에 기반하여 고유값 기능의 하한이 $\lambda_j(\hat{\Omega})$임을 증명함으로써 최소화자 존재성을 입증한다.
• 고유함수의 $L^\infty$ 노름을 제어하고 수렴을 보장하기 위해 가중 하디 유형 부등식과 정밀한 역 허들러 부등식을 사용한다.

실험 결과

연구 질문

• RQ1 모든 $\Omega \subset \mathbb{R}^N$에 대해 $-\Delta - x\cdot\nabla$의 $k$번째 고유값 $\lambda_k(\Omega)$를 최소화하는 도메인이 존재하는가?
• RQ2 $\mathbb{R}^N$에서 컴팩트성 부족 문제를 적절한 가중 측도를 사용하여 드리프트가 있는 스펙트럼 최적화 문제에서 극복할 수 있는가?
• RQ3 모든 준개방 집합 $\Omega$에 대해 $\int_\Omega e^{|x|^2/2}dx \leq c$ 조건을 만족할 때, 드리프트가 있는 라플라스 연산자의 $\lambda_k$ 최소화 문제의 잘 정의된 문제인가?
• RQ4 드리프트가 있는 라플라스 연산자의 고유함수는 도메인 변화에 대해 균일하게 제어될 수 있는가?

주요 결과

• 모든 $c > 0$ 및 $k \in \mathbb{N}$에 대해, $\min\{\lambda_k(\Omega) : \Omega \subset \mathbb{R}^N \text{ 준개방}, \, m_N(\Omega) \leq c\}$ 문제는 해를 가진다.
• 최소화자는 $f \equiv 1$인 가중 푸아송 문제의 해 $w$에 대해 $\hat{\Omega} = \{w > 0\}$로 주어지는 준개방 집합이다.
• 고유함수 $u_n^j$는 $L^2(\mathbb{R}^N; m_N)$에서 강한 수렴과 $H^1(\mathbb{R}^N; m_N)$에서 약수렴하여, $\hat{\Omega}$의 고유함수 $u^j$로 수렴한다.
• 극한 고유값 $\lambda_j(\hat{\Omega})$는 하한을 도달하며, 모든 $k$에 대해 최소화자 존재성을 입증한다.
• 준개방 집합에서 드리프트 연산자 $-\Delta - x\cdot\nabla$에 대한 최대원리가 성립하여, 음이 아닌 데이터 하에 해가 비음이 아님을 보장한다.
• 가중 소볼레프 공간 $H_0^1(\Omega; m_N)$은 $L^2(\Omega; m_N)$에 컴팩트하게 임베딩되며, 이는 수렴 추론에 필수적이다.