[논문 리뷰] The Boundary value problems for second order elliptic operators satisfying a Carleson condition

Martin Dindoš, Jill Pipher외 1명|arXiv (Cornell University)|2013. 01. 03.

Advanced Harmonic Analysis Research참고 문헌 17인용 수 4

한 줄 요약

이 논문은 립시츠 상수의 크기가 작은 립시츠 영역에서 계수들이 작은 카르레손 노름을 가진 카르레손 조건을 만족할 때, 제2형 타입의 타원형 미분연산자에 대해 $H^{1,p}(\bar{\partial}\Omega)$ 데이터를 갖는 딜리클레 정규성 문제와 $L^p(\partial\Omega)$ 데이터를 갖는 뉴먼 문제의 해법 가능성을 확립한다. 계수들은 난류적이지만 통제 가능한 진동을 가지며, 결과는 모든 $1 < p < \infty$ 에 대해 성립하며, 이는 이전의 $L^p$ 딜리클레 문제 연구를 완성하고, 높은 차원에서 비대칭이며 비발산형이 아닌 연산자에 대해서까지 해법 가능성을 확장한다.

ABSTRACT

Let $Ω$ be a Lipschitz domain in $\mathbb R^n$ $n\geq 2,$ and $L=\mbox{div} (A abla\cdot)$ be a second order elliptic operator in divergence form. We establish solvability of the Dirichlet regularity problem with boundary data in $H^{1,p}(\partialΩ)$ and of the Neumann problem with $L^p(\partialΩ)$ data for the operator $L$ on Lipschitz domains with small Lipschitz constant. We allow the coefficients of the operator $L$ to be rough obeying a certain Carleson condition with small norm. These results complete the results of [5] where $L^p(\partialΩ)$ Dirichlet problem was considered under the same assumptions and [6] where the regularity and Neumann problems were considered on two dimensional domains.

연구 동기 및 목표

• 비대칭이며 발산형 타입의 타원형 연산자에 대해 계수의 최소한의 정규성 조건을 가정하여 경계값 문제의 해법 가능성을 확장하기.
• 립시츠 영역에서 립시츠 상수가 작을 때, 모든 $1 < p < \infty$ 에 대해 $H^{1,p}(\bar{\partial}\Omega)$ 데이터를 갖는 딜리클레 정규성 문제의 해법 가능성을 확립하기.
• 동일한 조건 하에서 $L^p(\partial\Omega)$ 데이터를 갖는 뉴먼 문제의 해법 가능성을 증명하여, 두 문제에 대해 $p$의 전체 범위를 완성하기.
• 두 차원에서의 이전의 $L^p$ 딜리클레 문제 및 뉴먼 문제 연구 결과를 통합하고 일반화하여, 이를 고차원으로 확장하기.

제안 방법

• 저자들은 계수의 진동에 대해 카르레손 조건을 사용하며, 이는 $ d\mu = \delta(X)^{-1} (\text{osc}_{B(X,\delta(X)/2)} a_{ij})^2 dX $ 로 정의되며, 카르레손 노름이 작다.
• 층상 잠재함수 방법과 최대함수 추정을 적용하며, 도메인의 립시츠 상수가 작고 계수의 진동에 대한 카르레손 노름이 작다는 점에 의존한다.
• 핵심 기법은 계수의 두 번째 도함수를 다룰 때 탄성 방향으로의 부분적 적분을 사용하여 고차항을 저차항으로 감소시키는 것이다.
• 증명은 계수의 $|\nabla A|$에 대한 카르레손 조건에서 유도된 $|\nabla u|$에 대한 점별 추정을 기반으로 한 부스팅 기법을 사용한다.
• 뉴먼 문제의 분석은 $H^1$ 공간에서 라크스-밀그램 정리를 적용한 후, 비탄성 최대함수 추정과 내부에서의 감쇠 조절을 수행한다.
• 작은 립시츠 상수를 통해 스무스 영역에서 립시츠 영역으로의 증명을 변형하며, 국소화 및 평탄화 기법을 사용한다.

실험 결과

연구 질문

• RQ1 비대칭이며 발산형 타입의 타원형 연산자에 대해, 경계에서 카르레손 조건을 만족하는 난류 계수를 가진 영역에서 $H^{1,p}$ 데이터를 갖는 딜리클레 정규성 문제의 해법 가능성은 존재하는가?
• RQ2 동일한 종류의 연산자와 영역에서, 모든 $1 < p < \infty$ 에 대해 $L^p$ 데이터를 갖는 뉴먼 문제의 해법 가능성은 존재하는가?
• RQ3 계수들이 작은 노름을 가진 카르레손 조건을 만족할 때, 비대칭 조건이 존재하더라도 뉴먼 문제의 해법 가능성은 고차원으로 확장되는가?
• RQ4 영역의 작은 립시츠 상수와 계수의 진동에 대한 카르레손 노름 간의 상호작용이 해법 가능성에 어떻게 영향을 미치는가?
• RQ5 두 차원에서의 결과는 계수에 대한 최소한의 정규성 조건 하에서 임의의 차원으로 일반화될 수 있는가?

주요 결과

• 립시츠 상수가 충분히 작은 립시츠 영역에서 모든 $1 < p < \infty$ 에 대해 $H^{1,p}(\bar{\partial}\Omega)$ 데이터를 갖는 딜리클레 정규성 문제의 해법 가능성이 성립한다.
• 동일한 조건 하에서 $L^p(\partial\Omega)$ 데이터를 갖는 뉴먼 문제의 해법 가능성이 모든 $1 < p < \infty$ 에 대해 성립하며, 균일 추정식 $\|N(\nabla u)\|_{L^p(\partial\Omega)} \leq C\|f\|_{L^p(\partial\Omega)}$ 이 성립한다.
• 측도 $ d\mu = \delta(X)^{-1} (\text{osc}_{B(X,\delta(X)/2)} a_{ij})^2 dX $ 가 작은 노름을 가진 카르레손 측도라는 조건 하에서 결과가 성립한다.
• 이 결과들은 발산형 연산자에 대한 $L^p$ 해법 가능성 프로그램을 완성하여, 정규성 문제와 뉴먼 문제 양쪽에 대해 $p$의 전체 범위를 확장한다.
• 증명은 뉴먼 문제의 해법 가능성은 작은 도메인 및 계수의 변화에 대해 안정적이며, 비대칭 설정에서도 성립함을 보여준다.
• 이 방법은 스무스 영역과 립시츠 영역 양쪽에 동일하게 적용되며, $\ell$ 과 $\|\mu\|_{\text{Carl},r_0}$ 에 대한 작은 조건 하에서 추정식이 안정적이다.