[논문 리뷰] Boundary value problems in Lipschitz domains for equations with drifts

Georgios Sakellaris|arXiv (Cornell University)|2017. 01. 28.

Advanced Mathematical Modeling in Engineering참고 문헌 13인용 수 3

한 줄 요약

이 논문은 조건자성 조건이 만족되는 유계 리프시츠 도메인에서 $D_2$ 딜리클레 문제와 $R_2$ 정규성 문제에 대해 두 번째 차수 타원형 미분연산자에 대한 고유해결 가능성을 증명한다. 연산자는 $L = -\operatorname{div}(A\nabla\cdot) + b\nabla\cdot$ 형태이며, 조화 측도와 층 잠재력 기법을 사용한다. 주요 결과로는, $A$가 리프시츠이고 $b$가 유계일 경우, $L^t$에 대한 $D_2$ 문제와 $L$에 대한 $R_2$ 문제의 고유해결 가능성이 최소한의 조건 하에 성립하며, 반면 $L^t$에 대한 $R_2$ 문제는 $A$와 $\operatorname{div}b$에 더 강한 정규성 조건이 필요하다.

ABSTRACT

In this work we establish solvability and uniqueness for the $D_2$ Dirichlet problem and the $R_2$ Regularity problem for second order elliptic operators $L=-{ m div}(A abla\cdot)+b abla\cdot$ in bounded Lipschitz domains, where $b$ is bounded, as well as their adjoint operators $L^t=-{ m div}(A^t abla\cdot)-{ m div}(b\,\cdot)$. The methods that we use are estimates on harmonic measure, and the method of layer potentials. The nature of our techniques applied to $D_2$ for $L$ and $R_2$ for $L^t$ leads us to impose a specific size condition on ${ m div}b$ in order to obtain solvability. On the other hand, we show that $R_2$ for $L$ and $D_2$ for $L^t$ are uniquely solvable, assuming only that $A$ is Lipschitz continuous (and not necessarily symmetric) and $b$ is bounded.

연구 동기 및 목표

• 유계 리프시츠 도메인에서 두 번째 차수 타원형 미분연산자에 대한 $D_2$ 딜리클레 문제와 $R_2$ 정규성 문제의 고유해결 가능성을 확립한다.
• 드리프트 항 $b$와 그 발산 $\operatorname{div}b$가 경계값 문제의 해결 가능성 조건에 미치는 영향을 분석한다.
• 대칭성과 비대칭성에 따라 계수 행렬의 성질을 고려하여 연산자 $L$과 그 수반 연산자 $L^t$에 대한 해결 가능성 결과를 확장한다.
• 해의 $L^p$-노름과 계수의 정규성에 대한 양적 추정을 유도한다.
• 특히 비대칭 연산자에 대해 조화 측도와 층 잠재력 기법을 통합하여 경계값 문제의 처리를 통일한다.

제안 방법

• 논문은 $L$에 대한 $D_2$ 문제 분석을 위해 조화 측도의 밀도 추정과 최대함수 통제 기법을 활용한다.
• 층 잠재력 기법을 사용하여 $R_2$ 문제를 연구하며, 단일 및 이중 층 잠재력의 역행성과 경계에서의 점프 관계를 다룬다.
• 비대칭 케이스를 대칭 설정으로 환원하기 위해 드리프트 $b$를 발산이 없는 부분 $\tilde{b}$와 나머지로 분해한다. 이는 부분적 적분을 통해 이루어진다.
• 리플리히트 유형 추정을 적용하여 경계에서의 기울기의 $L^2$-노름을 제어하며, 이는 $R_2$ 해결 가능성에 핵심적이다.
• 중량이 부여된 $L^p$ 추정과 최대함수 기법을 사용하여 해의 비접선 최대함수를 제어한다.
• 분석은 도메인 $\Omega$의 리프시츠 정규성, 행렬 $A$의 균일 타원성, $b$와 $\operatorname{div}b$의 적분 가능성 조건에 기반한다.

실험 결과

연구 질문

• RQ1 유계 리프시츠 도메인에서 $L = -\operatorname{div}(A\nabla\cdot) + b\nabla\cdot$에 대해 드리프트 $b$와 그 발산 $\operatorname{div}b$가 어떤 조건을 만족할 경우 $D_2$ 딜리클레 문제가 고유하게 해결 가능한가?
• RQ2 만약 $A$가 리프시츠 연속이고 $b$가 유계일 경우, $\operatorname{div}b$가 $L^p$에 속하지 않더라도 $L$에 대한 $R_2$ 정규성 문제가 고유하게 해결 가능한가?
• RQ3 비대칭인 $A$에 대해 $L^t$에 대한 $R_2$ 문제를 고유하게 해결하기 위해 추가로 어떤 정규성 조건이 필요할까?
• RQ4 드리프트 $b$를 발산이 없는 부분과 나머지로 분해하는 것이 경계값 문제의 해결 가능성에 어떤 영향을 미치는가?
• RQ5 해결 가능성 결과가 계수 행렬 $A$의 대칭성에 얼마나 의존하는가?

주요 결과

• 유계 리프시츠 도메인에서 $A$가 균일 타원적이며 리프시츠 연속이고, $b \in L^\infty$, $\operatorname{div}b \in L^{p_d}(\Omega)$ 이며, $d=3$일 경우 $p_d = 2$, $d \geq 4$일 경우 $p_d = d/2$ 이면, $L = -\operatorname{div}(A\nabla\cdot) + b\nabla\cdot$에 대한 $D_2$ 딜리클레 문제가 고유하게 해결 가능하다.
• 같은 조건 하에 $L$에 대한 $R_2$ 정규성 문제도 고유하게 해결 가능하며, 상수는 $d$, $A$의 타원성, $A$의 리프시츠 노름, $\|b\|_\infty$, $\Omega$의 지름, $\Omega$의 리프시츠 특성에만 의존한다.
• $L^t = -\operatorname{div}(A^t\nabla\cdot) - \operatorname{div}(b\cdot)$에 대한 $D_2$ 딜리클레 문제는 $A$가 리프시츠이고 $b$가 유계일 경우에만 가정하면 고유하게 해결 가능하다.
• $L^t$에 대한 $R_2$ 정규성 문제는 $A$가 $C^{1,\alpha}$이고 $b$가 $\operatorname{Dr}_{d,\alpha}(\mathbb{R}^d)$에 속하며, $\operatorname{div}b \in L^d(\mathbb{R}^d)$ 이면 고유하게 해결 가능하다. 상수는 $\|A\|_{C^{1,\alpha}}$, $\|b\|_{\operatorname{Dr}_{d,\alpha}}$, 도메인의 지름과 특성에 의존한다.
• $p \in (2 - \varepsilon, \infty)$ 이면 $\operatorname{div}b \in L^{p_d}(\Omega)$ 이면 $L$에 대한 $D_p$ 딜리클레 문제도 고유하게 해결 가능하며, $\varepsilon > 0$ 는 도메인과 계수에 따라 달라진다.
• 해결 가능성 결과는 $b$의 소규모 변형에 대해 안정적이며, 이는 해의 구조를 유지하면서 비대칭 케이스로 환원할 수 있는 발산이 없는 수정항 $\tilde{b}$의 구성으로 입증된다.