[논문 리뷰] Krein resolvent formulas for elliptic boundary problems in nonsmooth domains

Gerd Grubb|ArXiv.org|2008. 10. 15.

Spectral Theory in Mathematical Physics참고 문헌 15인용 수 39

한 줄 요약

이 논문은 비자기적 경계 조건을 가진 이차형 강한 타원형 연산자에 대해 $C^{1,1}$-연속 영역에서 Kreĭn의 해석적 공식을 유도한다. 이를 위해 비연속 피시도 경계 연산자 해석학을 활용하여 $M$-함수 형식을 확장한다. 주요 결과는 $M$-함수가 호일더 연속 성분을 가진 순수 피시도 연산자로서 순서 $-1$의 일반화된 피시도 연산자임을 보여주며, 이는 비자기적 확장에 대한 완전한 Kreĭn 공식을 비연속 설정에서 가능하게 한다.

ABSTRACT

The paper reports on a recent construction of M-functions and Krein resolvent formulas for general closed extensions of an adjoint pair, and their implementation to boundary value problems for second-order strongly elliptic operators on smooth domains. The results are then extended to domains with $C^{1,1}$ Hölder smoothness, by use of a recently developed calculus of pseudodifferential boundary operators with nonsmooth symbols.

연구 동기 및 목표

• 비자기적 타원형 경계 문제에 대해 $M$-함수 이론과 Kreĭn 해석적 공식을 비연속 영역으로 확장한다.
• 특히 $C^{1,1}$-정규 경계에서 비자기적 및 비연속 설정에서의 $M$-함수에 대한 체계적 프레임워크 부족 문제를 해결한다.
• 최근 개발된 비연속 계수를 가진 피시도 경계 연산자 해석학을 활용하여 $M$-함수를 일반화된 피시도 연산자로 구성한다.
• 매개변수 타원성과 호일더 연속성 조건 하에, 외부 영역 및 변형된 반평면을 포함한 비연속 영역에서도 Kreĭn 해석적 공식의 타당성을 확립한다.

제안 방법

• 닫힘된 밀집 정의역을 가진 연산자 쌍 $A_{\min}$, $A'_{\min}$과 그 확장 $\widetilde{A} \in \mathcal{M}$의 추상적 프레임워크를 사용하며, $A_\gamma$가 가역임을 가정한다.
• 핵 공간 $Z$ 및 $Z'$ 위에서 정의된 연산자 $T$를 통해 해석적 차이를 $M$-함수와 연결하는 추상 Green 공식을 적용한다.
• Abels [3]의 비연속 피시도 경계 연산자 해석학을 활용하여 $C^{1,1}$-정규 경계를 다루고, $M_L(\lambda)$를 일반화된 $\psi$do로 정의한다.
• 시간 주기적 확장 $\widehat{\Omega} = \Omega \times S^1$ 상에서 시스템 $\mathcal{A}(\lambda) = \begin{pmatrix} A - \lambda \\ \nu_1 - C\gamma_0 \end{pmatrix}$에 대해 매개변수 역행을 구성함으로써 $\lambda$-의존 분석을 가능하게 한다.
• 스펙트럼 射선 상에서 $L^\lambda = C - P^{\lambda}_{\gamma_0,\nu_1}$의 매개변수 타원성 조건을 통해 큰 $\lambda$에서 $L^\lambda$의 가역성을 확보하고, $M_L(\lambda) = -(L^\lambda)^{-1}$을 도출한다.
• Agmon의 원리와 계수 해석학을 적용하여, $C$가 $C^{0,1}$-정규성을 가진 일계 미분 연산자일 경우 $M_L(\lambda)$가 호일더 연속 계수를 가진 순서 $-1$의 일반화된 피시도 연산자임을 보인다.

실험 결과

연구 질문

• RQ1 비자기적 확장에 대해 강한 타원형 연산자의 $C^{1,1}$-연속 경계에서 $M$-함수를 일반화된 피시도 연산자로 정의할 수 있는가?
• RQ2 경계 연산자의 계수가 호일더 연속일 경우, 비연속 영역에서 Kreĭn 해석적 공식이 성립하는가?
• RQ3 경계 연산자 $C$와 관련된 $L^\lambda$에 어떤 조건이 성립하면 큰 스펙트럼 매개변수 $\lambda$에서 $M$-함수의 가역성과 정규성이 보장되는가?
• RQ4 비연속 피시도 경계 연산자 해석학은 $M$-함수 이론을 연속 영역을 초월해 어떻게 확장할 수 있는가?
• RQ5 비연속 설정에서 $M$-함수는 어떤 정도까지 순서 $-1$의 타원형 $\psi$do와 하위 순서의 나머지항의 합으로 표현될 수 있는가?

주요 결과

• 경계 연산자 $C$가 $C^{0,1}$-정규성을 가진 일계 미분 연산자일 경우, $M_L(\lambda)$는 호일더 연속 계수를 가진 순서 $-1$의 일반화된 피시도 연산자임을 보였다.
• 스펙트럼 射선 상에서 큰 $\lambda$에 대해 $\lambda = -\mu^2 e^{i\theta}$일 때, $M_L(\lambda) = -(L^\lambda)^{-1}$는 순서 $-1$의 타원형 $\psi$do와 하위 순서의 나머지항의 합으로 표현되며, 이는 정규성과 가역성을 보장한다.
• 확장 $\widetilde{A}$의 정의역은 $D(\widetilde{A}) \subset H^2(\Omega)$를 만족하며, $C^*$가 $C^{0,1}$-정규성을 가질 경우 $\widetilde{A}^*$ 역시 동일하게 정의된다.
• $A$와 $L$이 형식적으로 자비수임일 경우, 확장 $\widetilde{A}$는 자비수이며, 이는 $C^{1,1}$ 영역에서 자비수 케이스에 대한 Kreĭn 공식의 완전한 실현을 제공한다.
• 시간 주기적 영역 $\widehat{\Omega}$ 상에서 $\mathcal{A}(\lambda)$에 대한 매개변수 역행 구성은 $O(\langle\mu\rangle^{-\theta})$ 오차 추정을 제공하며, 이는 $L^\lambda$와 따라서 $M_L(\lambda)$의 진짜 역행이 존재함을 보장한다.
• 이 이론은 유계 영역 뿐 아니라 외부 영역 및 변형된 반평면에도 적용 가능하여, Kreĭn 공식 적용 범위를 더 넓은 기하 설정으로 확장한다.