[논문 리뷰] Self-adjoint and skew-symmetric extensions of the Laplacian with singular Robin boundary condition

С. А. Назаров, Nicolas Popoff|arXiv (Cornell University)|2017. 11. 27.

Advanced Mathematical Modeling in Engineering참고 문헌 10인용 수 11

한 줄 요약

이 논문은 경계의 한 점에서 선형적으로 사라지는 특이한 로빈 경계 조건을 가진 라플라스 연산자의 자기수반 및 반대칭 확장에 대해 연구한다. 매칭된 점근적 전개를 통해 정규화된 자기수반 문제의 고유값이 로그 척도 $|\ln \varepsilon|$ 에서 거의 주기적인 진동을 보이며, $\varepsilon \to 0$ 일 때 실수 직선 위에 밀도 있는 스펙트럼 집적이 발생함을 보여주며, 이때 매개변수 $\theta_\varepsilon$ 는 속도 $O(\varepsilon^{-1})$ 로 변화한다. 또한 물리적으로 타당한 반대칭 확장은 소머펠드 방사 조건을 통해 식별된다.

ABSTRACT

We study the Laplacian in a smooth bounded domain, with a varying Robin boundary condition singular at one point. The associated quadratic form is not semi-bounded from below, and the corresponding Laplacian is not self-adjoint, it has the residual spectrum covering the whole complex plane. We describe its self-adjoint extensions and exhibit a physically relevant skew-symmetric one. We approximate the boundary condition, giving rise to a family of self-adjoint operators, and we describe their eigenvalues by the method of matched asymptotic expansions. These eigenvalues acquire a strange behaviour when the small perturbation parameter $\\varepsilon>0$ tends to zero, namely they become almost periodic in the logarithmic scale $|\\ln \\epsilon|$ and, in this way, "wander" along the real axis at a speed $O(\\eps^{-1})$.

연구 동기 및 목표

• 경계의 한 점에서 선형적으로 사라지는 로빈 경계 조건을 가진 라플라스 연산자의 스펙트럼 성질을 분석하여, 비반사형 이차형식과 비자기수반 실현을 초래함.
• 결함 지수 $(1,1)$ 과 매개변수 $\theta \in \mathbb{S}^1$ 를 사용하여 기본 연산자 $A_0$ 의 모든 자기수반 확장을 분류함.
• 특이점에서 소머펠드 방사 조건을 통해 물리적으로 의미 있는 반대칭 확장을 식별함.
• 로빈 계수를 0이 되지 않도록 편향시켜 정규화한 자기수반 연산자 가족에서 고유값의 점근적 행동을 이해함.
• 가중치 함수가 특이점 근처에서 $a(s) \sim a_0 s$ 에서 $a(s) \sim a_0 |s|$ 로 변할 때 스펙트럼 구조의 전이를 기술함. 이는 특이해의 수와 결함 지수에 영향을 줌.

제안 방법

• 특이점 $x_0$ 근처에서 연산자 $A_0$ 의 수반 도메인 $D(A_0^*)$ 내의 함수 행동을 분석하기 위해 콘드라티에프의 점근적 이론을 사용하여, 형태 $r^{ib_0}$ 와 $r^{-ib_0}$ 의 가능성을 식별함.
• 반평면 $\mathbb{R}^2_+$ 에서 불연속적인 로빈 계수 $\mathfrak{a}(\xi_1) = a_0(\mathrm{sign}(\xi_1) + \xi_1)$ 를 가진 모델 문제를 구성하여 국소적 해의 행동을 연구함.
• 매칭된 점근적 전개의 적용: 자기수반 확장의 고유함수를 사용한 원거리 전개와 내부 영역의 스케일링 $x = \varepsilon \xi$ 를 통해 내부 해를 유도함.
• 절단 함수를 통해 내부 및 외부 전개를 매칭하여 준모드를 구성하고, 관계식 $\theta_\varepsilon = \theta - 2b_0 \ln \varepsilon \pmod{2\pi}$ 를 유도함. 여기서 $b_0 = a_0^{-1}$.
• 스케일드 문제에서 무한대에서의 행동을 원점에서의 행동으로 변환하기 위해 역변환 $\xi \mapsto \eta = |\xi|^{-2}\xi$ 를 사용하여 콘드라티에프 이론의 적용 가능성을 확보함.
• 가중치 함수가 $a(s) = a_0 |s| + O(s^2)$ 일 때의 스펙트럼 전이 분석을 통해 결함 지수가 $(2,2)$ 로 변화하고, 진동하는 해의 수가 $a_0$ 와 $\pi/2$ 의 상대적 크기에 따라 달라짐을 보임.

실험 결과

연구 질문

• RQ1 경계의 한 점에서 특이한 로빈 경계 조건을 가진 라플라스 연산자의 자기수반 확장은 어떻게 행동하며, 어떻게 매개변수화되는가?
• RQ2 로빈 계수가 0이 되지 않도록 편향된 정규화된 자기수반 연산자 가족에서 고유값의 점근적 행동은 무엇인가?
• RQ3 왜 정규화된 연산자의 스펙트럼은 $\varepsilon \to 0$ 일 때 실수 직선 위에 밀도 있게 집적이며, $|\ln \varepsilon|$ 에서 거의 주기적인 진동이 발생하는가?
• RQ4 로빈 계수의 0으로 수렴하는 순서에 따라 수반 연산자 $A_0^*$ 와 그로 인한 결함 지수는 어떻게 달라지는가?
• RQ5 소머펠드 방사 조건은 물리적으로 의미 있는 반대칭 확장을 구성하는 데 어떤 역할을 하는가?

주요 결과

• 특이한 로빈 라플라스 연산자의 자기수반 확장은 $\theta \in \mathbb{S}^1$ 로 매개변수화되며, 이는 결함 지수 $(1,1)$ 과 관련되며, 특이점 근처에서의 점근적 행동 $u \sim r^{ib_0} + e^{i\theta} r^{-ib_0}$ 로 특징지어진다.
• 정규화된 자기수반 연산자 $A^\varepsilon$ 의 고유값 $\lambda_k(\theta_\varepsilon)$ 는 $\theta_\varepsilon = \theta - 2b_0 \ln \varepsilon \pmod{2\pi}$ 를 만족하며, 이는 $\varepsilon \to 0$ 일 때 로그 척도에서 거의 주기적인 진동을 유도한다.
• $\varepsilon \to 0$ 일 때 $A^\varepsilon$ 의 스펙트럼은 실수 직선 위에 밀도 있게 집적이며, 즉 $\mathbb{R} = \bigcup_{\varepsilon \downarrow 0} \sigma(A^\varepsilon)$ 가 성립한다. 이는 $\theta_\varepsilon$ 가 로그 척도에서 $O(\varepsilon^{-1})$ 의 속도로 변화하기 때문이다.
• 물리적으로 타당한 반대칭 확장이 존재하며, 이는 특이점에서 소머펠드 방사 조건에 의해 결정되며, 극한에서 외부파 동역학을 보장한다.
• 로빈 계수가 $a(s) \sim a_0 |s|$ 로 행동할 경우 결함 지수가 $(2,2)$ 로 변화하며, 특이해의 수는 $a_0$ 에 따라 달라진다: $a_0 > \pi/2$ 이면 하나의 음의 고유값, $a_0 < \pi/2$ 이면 두 개의 고유값, $a_0 = \pi/2$ 에서는 로그 해가 나타난다.
• 매칭된 점근적 전개 방법은 $A^\varepsilon$ 의 고유값을 근사하는 준모드를 성공적으로 구성하며, 오차는 $\varepsilon \to 0$ 일 때 0으로 수렴한다. 이는 스펙트럼 행동의 타당성을 검증한다.