[논문 리뷰] The square root problem for second order, divergence form operators with mixed boundary conditions on $L^p$

Pascal Auscher, Nadine Badr외 2명|arXiv (Cornell University)|2012. 10. 02.

Advanced Harmonic Analysis Research참고 문헌 40인용 수 5

한 줄 요약

이 논문은 $p \in (1,2)$에 대해 가중 치환 솔레브 공간 $W^{1,p}_D(\Omega)$와 $L^p(\Omega)$ 사이의 위상적 동형사상이 $p=2$일 때 성립한다고 가정할 때, 혼합 경계 조건을 갖는 이차형 분산형 타입 타원형 미분연산자의 제곱근이 이 두 공간 간의 위상적 동형사상임을 증명한다. 결과적으로 이는 일반적인 기하학적 조건과 계수 조건 하에서 힐버트 공간이 아닌 $L^p$ 공간으로 케이토의 제곱근 문제를 확장하며, 불규칙 도메인에서 아르플러스-데이비드 정규 딜리클레 부분과 비-리프시츠 경계 차트를 갖는 뉴먼 부분을 고려하여 보간법과 하디 유형 부등식을 사용한다.

ABSTRACT

We show that, under general conditions, the operator $\\bigl (-\ abla \\cdot \\mu \ abla +1\\bigr)^{1/2}$ with mixed boundary conditions provides a topological isomorphism between $W^{1,p}_D(\\Omega)$ and $L^p(\\Omega)$, for $p \\in {]1,2[}$ if one presupposes that this isomorphism holds true for $p=2$. The domain $\\Omega$ is assumed to be bounded, the Dirichlet part $D$ of the boundary has to satisfy the well-known Ahlfors-David condition, whilst for the points from $\\overline {\\partial \\Omega \\setminus D}$ the existence of bi-Lipschitzian boundary charts is required.

연구 동기 및 목표

• 혼합 경계 조건을 갖는 $L^p$-공간에 대해 $p \neq 2$일 때 케이토의 제곱근 문제를 확장한다.
• 분산형 타입 타원형 미분연산자의 제곱근의 정의역이 $p \in (1,2)$에 대해 솔레브 공간 $W^{1,p}_D(\Omega)$임을 규명한다.
• 이전의 타원형 미분연산자에 대한 $L^p$-동형사상 결과를 매끄럽지 않은 도메인과 혼합 경계 조건으로 일반화한다.
• 순수 딜리클레 및 뉴먼 경우에 알려진 결과에 대해 전역 기하학적 가정을 사용하여 새로운 증명을 제시한다.

제안 방법

• 제곱근 동형사상이 $p=2$일 때 성립한다고 가정하여 시작한다.
• 실수 및 복소 보간 이론을 적용하여 $L^2$에서 $L^p$로의 동형사상 성질을 $p \in (1,2)$로 확장한다.
• 확장 연산자와 $p$-지배성 기준을 통해 유도된 혼합 경계 조건에 대한 하디 유형 부등식을 사용한다.
• 뉴먼 부분에 대해 비-리프시츠 경계 차트와 딜리클레 부분에 대해 아르플러스-데이비드 조건을 적용하여 기하학적 비정규성을 제어한다.
• 칼데론-지그문드 분해와 연산자 이론을 적용하여 $L^p$에서 제곱근의 행동을 제어한다.
• 대칭성과 수반 연산자 논리를 사용하여 성질을 $L^p$에서 $q \in [2,\infty)$에 대해 $W^{-1,q}_D$-공간으로 이전한다.

실험 결과

연구 질문

• RQ1 혼합 경계 조건을 갖는 이차형 분산형 타입 타원형 미분연산자의 제곱근이 $p \in (1,2)$에 대해 $W^{1,p}_D(\Omega)$와 $L^p(\Omega)$ 사이의 위상적 동형사상인가?
• RQ2 일반적인 기하학적 및 계수 조건 하에서 제곱근 연산자의 $L^p$-동형사상 성질이 $p=2$에서 $p \in (1,2)$로 확장 가능한가?
• RQ3 도메인 $\Omega$와 그 경계 분할 $D \cup (\partial\Omega \setminus D)$에 대해 제곱근 연산자의 $L^p$-동형사상이 보장되기 위한 충분한 기하학적 조건는 무엇인가?
• RQ4 보간 기법과 하디 유형 부등식은 비힐베르트 공간인 비힐베르트 $L^p$-공간으로 제곱근 문제를 확장하는 데 어떻게 기여하는가?
• RQ5 $L^p$-동형사상은 연산자의 $H^\infty$-계산법과 쌍대 공간에서의 최대 평행 정규성에 어떤 영향을 미치는가?

주요 결과

• 제곱근 연산자 $(-\nabla \cdot \mu \nabla + 1)^{1/2}$는 $p \in (1,2)$에 대해 $W^{1,p}_D(\Omega)$와 $L^p(\Omega)$ 사이의 위상적 동형사상임을 보여주며, 이는 $p=2$일 때 동일한 성질가 성립한다고 가정할 때 성립한다.
• 최소한의 기하학적 가정 하에서도 결과가 성립한다: 딜리클레 부분 $D$는 아르플러스-데이비드 조건을 만족하고, 뉴먼 부분 $\partial\Omega \setminus D$는 비-리프시츠 경계 차트를 갖는다.
• 확장 연산자와 $p$-지배성 기준을 통해 혼합 경계 조건에 대한 하디 부등식이 확립되어 경계 근처의 특이성을 제어할 수 있다.
• 수반 연산자 $(-\nabla \cdot \mu^T \nabla + 1)^{1/2}$는 $q \in [2,\infty)$에 대해 $L^q(\Omega)$에서 $W^{-1,q}_D(\Omega)$로의 동형사상을 유도하며, 이는 대칭성 논리를 가능하게 한다.
• $L^q(\Omega)$에서 연산자 $-\nabla \cdot \mu \nabla + 1$는 각도 $\arctan(\|\mu\|_{L^\infty}/\mu_\bullet)$를 갖는 유계 $H^\infty$-계산법을 가지며, 최대 평행 정규성을 만족한다.
• 연산자를 $W^{-1,q}_D(\Omega)$로 확장할 경우 양의 성질, 유계 $H^\infty$-계산법, 최대 평행 정규성이 유지되어 비선형 평행 방정식에의 응용이 가능하다.