[논문 리뷰] Extension Theory and Krein-type Resolvent Formulas for Nonsmooth Boundary Value Problems

Helmut Abels, Gerd Grubb외 1명|University of Regensburg Publication Server (University of Regensburg)|2010. 01. 01.

Advanced Mathematical Modeling in Engineering인용 수 4

한 줄 요약

이 논문은 경계가 $B^{\frac{3}{2}}_{p,2}$-연속성($p>2(n-1)$)을 가지며 계수들이 $H^1_q$ 공간에 속하는 비자기연산자인 2차 타원형 미분연산자에 대해 허위미분경계연산자 해석학을 수립한다. 이는 자기를 만족하는 확장의 완전한 특성화와 크레인 유형의 해석함수 공식 유도를 포함한다. 이 방법은 기호 부드러움화와 파라메트릭스 구성 기법을 활용하여 음의 정규성 공간에서의 정규성과 사상 성질을 확보하며, 고전 결과를 부드럽지 않은 설정으로 확장한다.

ABSTRACT

For a strongly elliptic second-order operator $A$ on a bounded domain $Ω\subset \mathbb{R}^n$ it has been known for many years how to interpret the general closed $L_2(Ω)$-realizations of $A$ as representing boundary conditions (generally nonlocal), when the domain and coefficients are smooth. The purpose of the present paper is to extend this representation to nonsmooth domains and coefficients, including the case of Hölder $C^{\frac32+\varepsilon}$-smoothness, in such a way that pseudodifferential methods are still available for resolvent constructions and ellipticity considerations. We show how it can be done for domains with $B^\frac32_{p,2}$-smoothness and operators with $H^1_q$-coefficients, for suitable $p>2(n-1)$ and $q>n$. In particular, Kre\uın-type resolvent formulas are established in such nonsmooth cases. Some unbounded domains are allowed.

연구 동기 및 목표

• 부드럽거나 $C^{1,1}$ 도메인을 초월하여 비부드러운 타원형 경계값문제에 대해 확장 이론과 크레인 유형의 해석함수 공식을 확장하기 위해.
• 경계의 부드러움이 제한된 경우에 낮은 정규성의 색소프 공간, 특히 음의 차수 공간에서의 사상 성질 문제를 다루기 위해.
• 주 기호 분석을 통해 타원성을 유지하고 하위항을 다룰 수 있는 허위미분경계연산자 해석학을 기반으로 한 프레임워크를 개발하기 위해.
• $B^{\frac{3}{2}}_{p,2}$-경계를 가진 도메인과 $H^1_q$-계수를 가진 비자기연산자에 대한 실현의 특성화를 위해.
• 기존 라플라스 연산자에 대한 결과를 도메인과 계수에 대한 더 약한 정규성 조건 하에서 일반적인 2차 타원형 미분연산자로 일반화하기 위해.

제안 방법

• 허위미분경계연산자 해석학을 활용하여 연산자를 주항등과 하위항으로 분해함으로써 정밀한 정규성 분석이 가능하도록 한다.
• 경계 매개변수화에서 $C^{\frac{3}{2}+\frac{1}{p}}$-정규성을 다루기 위해 기호 부드러움화 기법을 적용하여 타원성과 사상 성질과의 호환성을 확보한다.
• 디리클레-투-노이만 연산자와 포아송 해 연산자에 대한 파라메트릭스 구성 기법을 활용하여 음의 색소프 공간에서의 연속성을 확립한다.
• 정규성 순서를 낮추는 연산자 $\Lambda_{-,+}^r$ 및 $\Lambda_0^s$를 사용하여 음의 차수로의 클래스 개념을 확장함으로써, 낮은 정규성 설정에서의 경계 및 경계 연산자 분석이 가능하도록 한다.
• $x$-형식 이론과 경계 기호 해석학을 적용하여 $H^s(\mathbb{R}^n_+)$ 및 $H^s(\mathbb{R}^{n-1})$에서 작용하는 연산자의 사상 성질을 도출한다.
• 지정된 정규성 및 순서 제약 조건 하에서 잔여 연산자 $\mathcal{R} = \mathcal{A}\mathcal{B}^0 - I$의 색소프 공간에서의 연속성을 확립한다.

실험 결과

연구 질문

• RQ1 경계가 $B^{\frac{3}{2}}_{p,2}$-연속성을 가지는 도메인에서 비자기연산자인 2차 타원형 미분연산자에 대해 크레인 유형의 해석함수 공식을 도출할 수 있는가?
• RQ2 경계가 $C^{1,1}$ 또는 $C^{\frac{3}{2}+\varepsilon}$가 아닐 경우 허위미분경계해석학이 타원성과 정규성을 유지하기 위해 어떻게 적응될 수 있는가?
• RQ3 이러한 도메인에서 색소프 공간의 음의 차수에서 해석함수, 포아송 연산자, 디리클레-투-노이만 사상의 사상 성질은 무엇인가?
• RQ4 경계가 $B^{\frac{3}{2}}_{p,2}$-정규성과 $H^1_q$-계수를 가진 비부드러운 도메인으로 확장될 때 경계 삼중체 이론과 $m$-함수 이론은 어떻게 일반화될 수 있는가?
• RQ5 낮은 정규성 함수 공간에서 확장과 해석함수를 특성화하기 위해 파라메트릭스 방법을 어느 정도 활용할 수 있는가?

주요 결과

• 논문은 경계가 $B^{\frac{3}{2}}_{p,2}$-연속성을 가지며 $p>2(n-1)$인 $C^{\frac{3}{2}+\varepsilon}$-유형의 도메인에서 비자기연산자인 2차 타원형 미분연산자에 대해 자기를 만족하는 확장의 완전한 특성화를 수립한다.
• 주항등과 하위항으로 분해 가능하며 색소프 공간에서 타원성과 정규성을 보장하는 허위미분경계연산자 해석학이 개발된다.
• 일반적인 실현과 기준 연산자 간의 해석함수 차이는 경계 연산자를 통해 표현되며, 이는 비부드러운 설정에서 크레인 유형의 해석함수 공식을 도출한다.
• 해석함수, 포아송 해 연산자, 디리클레-투-노이만 사상의 사상 성질이 음의 색소프 공간에서 확립되며, 고전 결과가 확장된다.
• 이 이론은 비유계 도메인에도 적용 가능하며 $q>n$인 $H^1_q$-계수를 허용하여 곱셈과 경계 정리에 필요한 충분한 정규성을 보장한다.
• 정규성 순서를 낮추는 연산자의 사용은 클래스 개념을 음의 차수로 확장하며, 낮은 정규성 함수 공간에서의 경계 및 경계 연산자 분석을 가능하게 한다.