[논문 리뷰] Dirichlet problem in domains with lower dimensional boundaries

Joseph Feneuil, Svitlana Mayboroda외 1명|arXiv (Cornell University)|2018. 10. 16.

Advanced Harmonic Analysis Research참고 문헌 27인용 수 10

한 줄 요약

이 논문은 $L^q$ 경계 데이터를 가진 제1종 경계값 문제의 적절성을 입증한다. 이는 $d < n-1$ 인 $ olimitsackslash mathbb{R}^n \setminus \mathbb{R}^d$ 와 같은 저차원 경계를 가진 영역에서 복소계수를 가진 두계수 타원형 연산자에 대해 성립한다. 저자는 저차원 경계의 구조에 적합한 열화된 타원형 연산자를 도입하고, 계수에 대해 작은 Carleson 노름 조건을 만족할 경우 모든 $q > 1$ 에 대해 해법 가능성을 입증한다. 이는 이전의 가정을 완화시키며, 경계에서의 새로운 국소적인 Moser 유형 및 제곱 함수 추정식을 수립한다.

ABSTRACT

The present paper pioneers the study of the Dirichlet problem with $L^q$ boundary data for second order operators with complex coefficients in domains with lower dimensional boundaries, e.g., in $Ω:= \mathbb R^n \setminus \mathbb R^d$ with $d1$ provided that the coefficients satisfy the small Carleson norm condition. Even in the context of the classical case $d=n-1$, (the analogues of) our results are new. The conditions on the coefficients are more relaxed than the previously known ones (most notably, we do not impose any restrictions whatsoever on the first $n-1$ rows of the matrix of coefficients) and the results are more general. We establish local rather than global estimates between the square function and the non-tangential maximal function and, perhaps even more importantly, we establish new Moser-type estimates at the boundary and improve the interior ones.

연구 동기 및 목표

• 저차원 경계를 가진 영역, 예를 들어 $\mathbb{R}^n \setminus \mathbb{R}^d$ ($d < n-1$) 에서 복소계수를 가진 두계수 타원형 연산자에 대해 제1종 경계값 문제의 적절성을 다루는 것.
• 경계의 하우스도르프 차원이 낮은 경우, 기존의 여부 차원 1 경계에서 벗어나 $L^q$ 제1종 경계값 이론을 확장하는 것.
• 계수 행렬의 첫 $n-1$ 행에 대한 제약 조건을 제거하여 계수 조건을 완화하고, 이는 이전 결과보다 개선된 조건을 제공하는 것.
• 제곱 함수 $S$와 비접선 최대 함수 $N$ 사이의 국소적 추정식을 수립하고, 경계에서 새로운 Moser 유형의 추정식을 도출하는 것.

제안 방법

• 저차원 경계의 구조에 맞게 조정된 열화된 타원형 연산자를 도입하여, 적절한 강성 조건과 해법 가능성을 확보하는 것.
• 에너지 및 Moser 유형의 추정식을 도출하기 위해 $q$-타원성 조건을 사용하며, 특히 경계 행동에 중점을 두는 것.
• 제곱 함수 $S$와 비접선 최대 함수 $N$ 사이의 국소적 $L^q$ 추정식을 수립하고, $S < N$ 및 $N < S$ 를 국소적으로 증명하는 것.
• 해의 경계 근처에서의 진동과 안정성을 제어하기 위해 노름이 작은 Carleson 측도 조건을 적용하는 것.
• 절단 함수와 가중 측도를 사용하여 추정식을 국소화하며, 특히 $ olimitsackslash mathbb{R}^n \setminus \mathbb{R}^d$ 영역에서 $|t|^{n-d-2}$ 에 따라 변하는 가중치를 사용하는 것.
• 복소계수이자 비대칭인 계수를 다루기 위해 Kato 문제의 해법과 제곱 함수 기법을 활용하는 것.

실험 결과

연구 질문

• RQ1 저차원 경계를 가진 영역에서 복소계수를 가진 두계수 타원형 연산자에 대해 $L^q$ 데이터를 가진 제1종 경계값 문제가 잘 정의될 수 있는가?
• RQ2 이러한 영역에서 모든 $q > 1$ 에 대해 해법 가능성을 보장하기 위해 계수 행렬에 어떤 조건이 필요한가?
• RQ3 전역적인 정규성 조건이 없을 경우, 제곱 함수와 비접선 최대 함수 사이의 국소적 추정식은 어떻게 수립할 수 있는가?
• RQ4 열화된 설정에서 경계 근처의 Moser 유형 추정식은 어떻게 개선할 수 있으며, 내부 추정식과의 관계는 어떠한가?
• RQ5 해법 가능성을 확보하기 위해 필요한 최소한의 계수 조건(예: Carleson 노름)은 무엇이며, 이는 이전 결과보다 완화될 수 있는가?

주요 결과

• 계수 행렬이 작은 Carleson 노름 조건을 만족할 경우, $d < n-1$ 인 $ olimitsackslash mathbb{R}^n \setminus \mathbb{R}^d$ 와 같은 영역에서 모든 $q > 1$ 에 대해 제1종 경계값 문제가 잘 정의된다.
• 저자들은 $L^q$ 에서 국소적 추정식 $S < N$ 및 $N < S$ 를 수립하였으며, 이는 전역적 해법 가능성과 유일성의 증명에 핵심적인 역할을 한다.
• 경계에서 새로운 Moser 유형의 추정식이 유도되었으며, 이는 기존의 내부 추정식을 초월하여 저차원 경계 근처의 점별 행동을 제어할 수 있도록 한다.
• 계수 조건이 크게 완화되었으며, 이전 결과와 달리 계수 행렬의 첫 $n-1$ 행에 대한 제약 조건이 전혀 없다.
• 영역에서의 영이 되는 경계 조건과 비접선 최대 함수 제어를 통해 해의 유일성이 증명되었으며, $L^q$ 의미에서 경계 트레이스가 0인 해는 거의 어디서나 0이어야 함을 보였다.
• 기존의 결과보다 더 엄격하지 않은 계수 조건을 가진다 하더라도, 이 결과들은 고전적 경우 $d = n-1$ 에서도 새로운 것으로 간주되며, 이는 경계가 여부 차원 1이지만 계수에 대한 가정이 이전 연구보다 더 약해졌기 때문이다.