[논문 리뷰] The Variable Coefficient Thin Obstacle Problem: Optimal Regularity and Regularity of the Regular Free Boundary

Herbert Koch, Angkana Rüland외 1명|arXiv (Cornell University)|2015. 04. 14.

Nonlinear Partial Differential Equations참고 문헌 21인용 수 5

한 줄 요약

이 논문은 $W^{1,p}$ 메트릭($p > n+1$)을 갖는 변수 계수 얇은 장애물 문제에서 해의 최적 정규성과 정규 자유 경계의 $C^{1,α}$ 정규성을 확립한다. Reifenberg 평탄성 접근법과 새로운 해 분할 기법을 도입함으로써, 정규 자유 경계점 근처에서 해의 주요 순서 점근 전개를 유도하고, 해에 대한 최적의 $C^{1,\min\{1-\frac{n+1}{p},\frac{1}{2}\}}$ 정규성을 증명한다.

ABSTRACT

This article deals with the variable coefficient thin obstacle problem in $n+1$ dimensions. We address the regular free boundary regularity, the behavior of the solution close to the free boundary and the optimal regularity of the solution in a low regularity set-up. We first discuss the case of zero obstacle and $W^{1,p}$ metrics with $p\in(n+1,\infty]$. In this framework, we prove the $C^{1,α}$ regularity of the regular free boundary and derive the leading order asymptotic expansion of solutions at regular free boundary points. We further show the optimal $C^{1,\min\{1-\frac{n+1}{p}, \frac{1}{2}\}}$ regularity of solutions. New ingredients include the use of the Reifenberg flatness of the regular free boundary, the construction of an (almost) optimal barrier function and the introduction of an appropriate splitting of the solution. Important insights depend on the consideration of various intrinsic geometric structures. Based on variations of the arguments in \cite{KRS14} and the present article, we then also discuss the case of non-zero and interior thin obstacles. We obtain the optimal regularity of the solutions and the regularity of the regular free boundary for $W^{1,p}$ metrics and $W^{2,p}$ obstacles with $p\in (2(n+1),\infty]$.

연구 동기 및 목표

• 낮은 정규성 프레임워크에서 변수 계수 얇은 장애물 문제의 해에 대한 최적 정규성을 확립하기 위해.
• $W^{1,p}$ 메트릭 가정($p > n+1$) 하에서 정규 자유 경계의 $C^{1,\alpha}$ 정규성을 증명하기 위해.
• 정규 자유 경계점 근처에서 해의 주요 순서 점근 전개를 도출하기 위해.
• $W^{1,p}$ 메트릭과 $W^{2,p}$ 장애물($p > 2(n+1)$)을 고려하여, 비영이거나 내부에 위치한 얇은 장애물로의 결과 확장을 위해.

제안 방법

• 정규 자유 경계의 Reifenberg 평탄성을 활용하여 (거의) 최적 스케일링 장벽 함수를 구성하기 위해.
• 발산형 우변을 다루고 주요 기여를 분리하기 위해 해 분할 기법을 도입하기 위해.
• Harmonic 측도와 자유 경계 근처의 성장률을 제어하기 위해 Carleson 및 경계 Harnack 추정을 적용하기 위해.
• 변형된 함수 $v_{x_0}(x) = w(x) - \tilde{b}(x_0)x_{n+1}$ 를 통한 블로업 분석을 통해 소멸 순서와 점근적 성질을 연구하기 위해.
• 중량 함수 $e^{\tau \tilde{\phi}(\ln r)}$ 를 갖는 변형된 Carleman 추정을 사용하여 링형 영역 내의 $L^2$ 노름을 제어하기 위해.
• 삼각부등식과 메트릭의 $C^{0,\alpha}$ 정규성을 활용하여 법선 도함수 $\tilde{b}(x_0) = \partial_{n+1}w(x_0^+)$ 의 정규성을 확립하기 위해.

실험 결과

연구 질문

• RQ1 변수 계수 얇은 장애물 문제의 해에 대한 최적 정규성은 무엇인가? ($W^{1,p}$ 메트릭, $p > n+1$ 조건 하에서.)
• RQ2 동일한 메트릭 가정 하에서 정규 자유 경계는 $C^{1,\alpha}$ 정규성을 갖는가?
• RQ3 정규 자유 경계점 근처에서 해의 주요 순서 점근적 행동은 무엇인가?
• RQ4 비영이거나 내부에 위치한 얇은 장애물이 존재할 경우, $W^{2,p}$ 장애물($p > 2(n+1)$) 조건 하에서 해와 자유 경계의 정규성은 어떻게 확장되는가?
• RQ5 법선 도함수 $\partial_{n+1}w$ 의 점근 전개는 정량화될 수 있으며, 그 정규성은 어떻게 확립되는가?

주요 결과

• 해 $w$ 는 $p > n+1$ 조건 하에서 $W^{1,p}$ 메트릭 설정에서 최적 정규성 $C^{1,\min\{1-\frac{n+1}{p},\frac{1}{2}\}}$ 를 달성한다.
• 정규 자유 경계 $\Gamma_w$ 는 Reifenberg 평탄성과 장벽 구성에 기반하여 $C^{1,\alpha}$ 정규성임을 입증한다.
• 정규 자유 경계점 근처에서 해는 메트릭과 법선 도함수에 의존하는 함수 $G_{x_0}(x)$ 를 포함한 주요 순서 점근 전개를 갖는다.
• 법선 도함수 $\tilde{b}(x_0) = \partial_{n+1}w(x_0^+)$ 는 $3/2$-순서 자유 경계 집합에서 $C^{0,\frac{1}{2}+\alpha}$ 정규성임을 입증한다.
• 비영이거나 내부에 위치한 얇은 장애물이 존재하고, $W^{1,p}$ 메트릭과 $W^{2,p}$ 장애물($p > 2(n+1)$) 조건이 만족될 경우, 해는 최적의 $C^{1,\min\{1-\frac{n+1}{p},\frac{1}{2}\}}$ 정규성을 달성한다.
• $v_{x_0}(x) = w(x) - \tilde{b}(x_0)x_{n+1}$ 를 기반으로 한 블로업 분석은 블로업 극한의 유일성을 보장하며, 점근 추정을 원래 해 $w$ 에로 전달할 수 있도록 한다.