[논문 리뷰] On the Spectrum of the Dirichlet Laplacian in a Narrow Strip, II

Leonid Friedlander, Michael Solomyak|ArXiv.org|2007. 10. 09.

Spectral Theory in Mathematical Physics참고 문헌 3인용 수 6

한 줄 요약

이 논문은 $h(x)$가 $x=0$에서 유일한 전역 최대값을 가지는 좁고 비유계 영역 $\Omega_\epsilon = \{(x,y) \in \mathbb{R} \times (0, \epsilon h(x))\}$에서 딜리클레 라플라시안의 스펙트럼 행동을 분석한다. 유사역행렬 분석과 딜리클레-뉴먼 브라켓팅을 이용하여 $\epsilon \to 0$일 때 본래 스펙트럼 아래의 고유값 수가 발산하며, 고유값에 대해 이중근수근수렴, 고유함수에 대해 단일근수렴이 성립함을 입증한다. 이는 $x=0$ 근처에서 $h(x)$의 국소적 행동으로부터 유도된 보조 상미분방정식에 의해 결정된다. 이 결과들은 이전의 유한 구간에 대한 연구를 무한 구간으로 확장하며, 지수적으로 감쇠하는 밴드 갭을 갖는 주기적 파동가로에의 응용을 포함한다.

ABSTRACT

We consider the Dirichlet Laplacian in a family of narrow unbounded domains. As the width of these domains goes to 0, we study the asymptotic behavior of the eigenvalues that lie below the essential spectrum and the asymptotic behavior of the corresponding eigenfunctions.

연구 동기 및 목표

• $\epsilon \to 0$일 때 $\Omega_\epsilon = \{(x,y) : x \in \mathbb{R}, 0 < y < \epsilon h(x)\}$에서 딜리클레 라플라시안의 스펙트럼 성질을 연구한다.
• $h(x)$가 $x=0$에서 유일한 전역 최대값을 갖는 조건 하에 $\epsilon \to 0$일 때 고유값에 대해 이중근수렴, 고유함수에 대해 단일근수렴을 확립한다.
• 이전의 유한 구간 결과를 $I = \mathbb{R}$의 경우로 확장하며, 본질 스펙트럼이 비자명하고 $\epsilon \to 0$일 때 본질 스펙트럼 아래의 이산 고유값 수가 발산하는 상황을 다룬다.
• 유사역행렬 분석을 피하고 딜리클레-뉴먼 브라켓팅을 이용한 고유값 수렴의 간소화된 증명을 제공한다.

제안 방법

• 적절히 선택된 $K$를 사용하여 주어진 연산자 $\mathfrak{A}_{\epsilon,D}^{-1} = (\Delta_{\epsilon,D} - K\epsilon^{-2})^{-1}$의 유사역행렬 분석을 통해 주요 스펙트럼 행동을 분리한다.
• 스펙트럼 문제를 $\mathbb{R}$ 위에서 정의된 보조 상미분연산자로 환원하며, 이 연산자의 고유값과 고유함수는 원래 문제의 수렴 행동을 결정한다.
• 유한 부분구간과 그 여집합 위에서 정의된 국소화된 연산자의 스펙트럼과 $\Delta_{\epsilon,D}$의 스펙트럼을 비교하기 위해 딜리클레-뉴먼 브라켓팅 기법을 적용한다.
• $t = x \epsilon^{-\alpha}$의 척도 변환을 사용하여 $\epsilon \to 0$일 한계에서 효과적 퍼텐셜을 분석하고, 연산자 노름 수렴을 이끌어낸다.
• 스체로딩거 연산자에 대한 수렴 정리의 적용 가능성을 보장하기 위해 $V_\epsilon(t)$에 대한 균일한 경계를 확립한다.
• 혼합 경계 조건을 갖는 $DN$-문제 결과를 활용하여 $D$-문제와의 비교를 통해 고유값 추정을 유도한다.

실험 결과

연구 질문

• RQ1 $\epsilon \to 0$일 때, $x=0$에서 $h(x)$가 유일한 최대값을 갖는 비유계 좁은 스트립에서 본질 스펙트럼 아래의 고유값 수는 어떻게 행동하는가?
• RQ2 $\epsilon \to 0$일 때, 이러한 스트립에서 딜리클레 라플라시안의 고유값 $\lambda_j(\epsilon)$에 대한 이중근수렴은 무엇인가?
• RQ3 고유함수는 어떻게 점점 수렴하며, 그 국소화 및 형태는 무엇에 의해 결정되는가?
• RQ4 디테일한 유사역행렬 분석을 피하고, 딜리클레-뉴먼 브라켓팅과 같은 대체 방법을 통해 스펙트럼 수렴을 도출할 수 있는가?
• RQ5 주기적 $h(x)$의 경우 스펙트럼의 행동은 어떠한가? 그리고 $\epsilon \to 0$일 때 밴드 갭은 어떻게 감쇠하는가?

주요 결과

• $\epsilon \to 0$일 때, 본질 스펙트럼 아래의 딜리클레 라플라시안 고유값 수는 비유계 영역 $I = \mathbb{R}$에서도 무한히 발산한다.
• 각 고유값 $\lambda_j(\epsilon)$의 이중근수렴은 $\lambda_j(\epsilon) = \epsilon^{-2} \left( \frac{\pi^2}{M^2} + \mu_j \right) + o(\epsilon^{-2})$로 주어지며, 여기서 $\mu_j$는 $x=0$ 근처에서 $h(x)$의 국소 전개로부터 유도된 $\mathbb{R}$ 위에서 정의된 보조 상미분방정식의 고유값이다.
• 고유함수는 점점 $x=0$ 근처에 국소화되며, 그 형태는 동일한 보조 상미분방정식의 고유함수에 의해 결정된다.
• 본질 스펙트럼 $\sigma_{\text{ess}}(\Delta_{\epsilon,D})$는 $\epsilon \to 0$일 때 $\nu(\epsilon) \to \infty$를 만족하며, 임의의 컴acts셋 $\widehat{I} = [-a,a]$에 대해 $\frac{\pi^2}{M_a^2 \epsilon^2}$보다 위에 위치한다. 여기서 $M_a < M$이다.
• 주기적 $h(x)$의 경우, $\Delta_{\epsilon,D}$의 스펙트럼은 밴드-갭 율을 갖으며, 밴드의 너비는 $\epsilon \to 0$일 때 지수적으로 감쇠한다. 이는 동반 논문 [4]에서 보여졌다.
• 딜리클레-뉴먼 브라켓팅을 통한 고유값 수렴의 간소화된 증명이 확보되었으며, 이는 디테일한 유사역행렬 분석을 피하고 직접적으로 $I = \mathbb{R}$의 경우에 적용 가능하다.