[논문 리뷰] Exact spectrum of the Laplacian on a domain in the Sierpinski gasket

Hua Qiu|arXiv (Cornell University)|2012. 06. 07.

Mathematical Dynamics and Fractals참고 문헌 32인용 수 6

한 줄 요약

이 논문은 표준 스펙트럴 디메이션 방법이 실패하는 경우를 다루기 위해 약한 스펙트럴 디메이션 방법을 사용하여 시에르핀스키 가스킷의 도메인 Ω에서 딜리클레 및 뉴먼 경계 조건을 갖는 라플라시안의 완전한 스펙트럼 분석을 제시한다. 점점 커지는 x에 대해 ρ^Ω(x) = g(log x)x^{log 3/log 5} + O(x^{log 2/log 5} log x)의 점근적 고유값 수 함수를 확립하며, 여기서 g는 유계이고 log 5-주기 함수이며, 와일 및 베리 유형의 추측과 일치하는 x^{log 2/log 5} 차수의 두 번째 항을 확인한다.

ABSTRACT

For a certain domain $Ω$ in the Sierpinski gasket $\mathcal{SG}$ whose boundary is a line segment, a complete description of the eigenvalues of the Laplacian, with an exact count of dimensions of eigenspaces, under the Dirichlet and Neumann boundary conditions is presented. The method developed in this paper is a weak version of the spectral decimation method due to Fukushima and Shima, since for a lot of "bad" eigenvalues the spectral decimation method can not be used directly. Let $ρ^0(x)$, $ρ^Ω(x)$ be the eigenvalue counting functions of the Laplacian associated to $\mathcal{SG}$ and $Ω$ respectively. We prove a comparison between $ρ^0(x)$ and $ρ^Ω(x)$ says that $ 0\leq ρ^{0}(x)-ρ^Ω(x)\leq C x^{\log2/\log 5}\log x$ for sufficiently large $x$ for some positive constant $C$. As a consequence, $ρ^Ω(x)=g(\log x)x^{\log 3/\log 5}+O(x^{\log2/\log5}\log x)$ as $x ightarrow\infty$, for some (right-continuous discontinuous) $\log 5$-periodic function $g:\mathbb{R} ightarrow \mathbb{R}$ with $0

연구 동기 및 목표

• 시에르핀스키 가스킷의 도메인 Ω에서 딜리클레 및 뉴먼 경계 조건을 갖는 라플라시안의 고유값과 고유공간 차원에 대한 완전한 기술을 제공한다.
• 일반적인 대칭 조건을 만족하지 못하는 '나쁜' 고유값에 대해 표준 스펙트럴 디메이션 방법의 한계를 극복하기 위해, 이를 적용할 수 있는 약한 형태의 방법을 개발한다.
• 큰 x에 대해 고유값 수 함수 ρ^Ω(x)의 점근적 행동을 도출하며, 주요 항과 보조 항을 포함한다.
• ρ^Ω(x)를 전체 시에르핀스키 가스킷 고유값 수 함수 ρ^0(x)와 비교하여, ρ^0(x) - ρ^Ω(x) ≤ Cx^{log 2/log 5} log x 를 확립한다.

제안 방법

• 대칭성이 부족하여 표준 스펙트럴 디메이션 방법에 적합하지 않은 고유값을 다루기 위해, 약한 스펙트럴 디메이션 방법을 개발한다.
• 이 방법은 도메인 Ω의 연속적인 그래프 근사에 관련된 특성 다항식 p_m(x)의 근을 분석하는 데 기반한다.
• 고유값 수 함수 ρ^Ω(x)는 반복 함수 시스템의 점근적 행동과 유한 그래프 위에서의 라플라시안 스펙트럼 성질을 통해 분석된다.
• 증명은 다항식 p_m(x)의 부호 분석과 귀납법을 사용하여, m ≥ 3일 때 특정 고유값이 2를 초과함을 보여준다.
• θ_m(z) = q_m(φ_−^{(m)}(z))의 재귀적 구성은 q_m(x)가 관련 구간에서 양수임을 보여주며, 고유값의 존재를 보장한다.
• 재생 정리의 정밀화를 통해 ρ^Ω(x)의 점근적 형태를 유도하며, 주요 항에 log 5-주기 함수 g(log x)가 나타난다.

실험 결과

연구 질문

• RQ1 표준 스펙트럴 디메이션 방법이 일부 고유값에 대해 실패할 경우, 시에르핀스키 가스킷의 유계 도메인 Ω에서 라플라시안의 스펙트럼을 어떻게 완전히 기술할 수 있는가?
• RQ2 큰 x에 대해 고유값 수 함수 ρ^Ω(x)의 정밀한 점근적 행동은 무엇이며, 전체 시에르핀스키 가스킷 스펙트럼과 어떻게 비교할 수 있는가?
• RQ3 실험 데이터와 와일 및 베리의 추측에 대한 유사성에 따라, ρ^Ω(x)의 점근 전개에서 x^{log 2/log 5} 차수의 두 번째 항을 식별할 수 있는가?
• RQ4 ρ^Ω(x)의 주요 항에 등장하는 log 5-주기 함수 g(log x)는 어떤 역할을 하는가? 그리고 그 유계성은 시에르핀스키 가스킷의 스펙트럼 차원과 어떻게 관련이 있는가?
• RQ5 대칭성이 감소한 도메인에 대해 표준 방법이 붕괴되는 상황에서, 약한 스펙트럴 디메이션 방법을 체계적으로 적용할 수 있는가?

주요 결과

• x → ∞ 일 때, 고유값 수 함수 ρ^Ω(x)는 ρ^Ω(x) = g(log x)x^{log 3/log 5} + O(x^{log 2/log 5} log x) 를 만족하며, 여기서 g는 0 < inf g < sup g < ∞ 를 만족하는 유계이고 log 5-주기 함수이다.
• 충분히 큰 x에 대해, 전체 시에르핀스키 가스킷 고유값 수 함수 ρ^0(x)와 ρ^Ω(x)의 차이는 Cx^{log 2/log 5} log x 이하로 유계이며, 이때 C > 0 이다.
• m ≥ 3 일 때, 첫 번째 m-레벨 초기 고유값 λ_{m+1,r_m+1} 은 2를 초과한다. 이 결과는 특성 다항식의 부호 분석을 통해 도출된다.
• θ_m(z)에 대한 귀납법을 통해 q_m(x)가 (0, φ_−^{(m)}(6)) 에서 양수임을 입증함으로써, 필요한 구간에서 고유값의 존재를 보장한다.
• ρ^Ω(x)의 점근 전개에는 x^{log 2/log 5} 차수의 두 번째 항이 포함되어 있으며, 이는 수치적 데이터에서 명백해지고 와일 및 베리 유형의 기대와 일치한다.
• 약한 스펙트럴 디메이션 방법은 대칭성이 부족하여 표준 스펙트럴 디메이션 방법이 실패하는 도메인으로의 스펙트럼 분석을 성공적으로 확장한다.