[논문 리뷰] Optimal Regularity for Degenerate Obstacle Problems

John Andersson, Erik Lindgren외 1명|arXiv (Cornell University)|2014. 02. 20.

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

한 줄 요약

이 논문은 $p$-라플라스 연산자를 포함하는 열화된 $p$-장애 문제의 해에 대한 최적의 국소 정칙성을 확립한다. 장애물 $\phi$가 $C^{1,1}$일 경우 해는 자유경계점에서 균일하게 $C^{1,1}$임을 증명하며, $L^\infty$에 속하는 비동차항이 존재하는 경우에도 이를 확장한다. 이는 시공간 변수에서의 포물선 정규성에 대한 함의를 지닌다.

ABSTRACT

In this paper we discuss the obstacle problem for the $p$-Laplace operator. We prove optimal growth results for the solution. Of particular interest is the point-wise regularity of the solution at free boundary points. The most surprising result we prove is the one for the $p$-obstacle problem: Find the smallest $u$ such that $$ \hbox{div} (| abla u|^{p-2} abla u) \leq 0, \qquad u\geq \phi, \qquad \hbox{in } B_1, $$ with $\phi \in C^{1,1}(B_1)$ and given boundary datum on $\partial B_1$. We prove that the solution is uniformly $C^{1,1}$ at free boundary points. Similar results are obtained in the case of an inhomogeneity belonging to $L^\infty$. When applied to the corresponding parabolic problem, these results imply that any solution which is Lipschitz in time is $C^{1,\frac{1}{p-1}}$ in the spatial variables.

연구 동기 및 목표

• 자유경계점에서 $p$-장애 문제의 해에 대한 날카로운 국소 정규성 추정을 확립하기 위해.
• 장애물 $\phi$가 $C^{1,1}(B_1)$에 속할 경우 해의 행동을 분석하기 위해.
• 비동차항이 $L^\infty$에 속하는 경우에도 정규성 결과를 확장하기 위해.
• 해가 시간에 대해 리프시츠일 경우 공간 정규성이 포물선 문제에 어떻게 영향을 미치는지 탐색하기 위해.

제안 방법

• 변분부등식을 통한 $p$-라플라스 연산자 분석: $\mathrm{div}(|\nabla u|^{p-2}\nabla u) \leq 0$ 이며 $u \geq \phi$ 이다. $B_1$ 내에서.
• 자기유사성 원리와 근접 분석을 통해 자유경계점 근처의 국소적 행동을 연구하기 위해 비교 원리와 붕괴 분석을 적용한다.
• 장애물 $\phi$의 $C^{1,1}$ 정규성을 핵심적인 구조적 가정으로 삼아 최적의 성장 추정을 도출한다.
• 점근적 분석과 볼록해법 기법을 활용하여 해의 국소적 행동을 특성화한다.
• 이차 바리에이션과의 비교를 통해 자유경계점에서 해가 균일하게 $C^{1,1}$임을 증명한다.
• 해가 시간에 대해 리프시츠일 경우 시공간 해를 분석함으로써, 공간 변수에서 $C^{1,\frac{1}{p-1}}$ 정규성을 도출한다.

실험 결과

연구 질문

• RQ1 장애물이 $C^{1,1}$일 경우, 자유경계점에서 $p$-장애 문제의 해에 대한 최적의 국소 정규성은 무엇인가?
• RQ2 비동차항이 $L^\infty$에 속할 경우 해의 정규성은 어떻게 영향을 받는가?
• RQ3 자유경계점에서의 $C^{1,1}$ 정규성 결과는 동차 사례를 초월하여 확장될 수 있는가?
• RQ4 해가 시간에 대해 리프시츠일 경우, 포물선 $p$-장애 문제의 해는 어떤 정규성을 갖는가?
• RQ5 자유경계 근처의 성장 추정은 정규성 결과의 날카로움을 어떻게 결정하는가?

주요 결과

• 장애물 $\phi$가 $C^{1,1}(B_1)$에 속할 경우, $p$-장애 문제의 해는 자유경계점에서 균일하게 $C^{1,1}$이다.
• 비동차항이 $L^\infty$에 속하는 경우에도 정규성 결과가 유지된다.
• 자유경계 근처에서 해의 최적 성장은 이차 상한함수로 특징지어지며, 이는 $C^{1,1}$ 정규성을 확인한다.
• 포물선 $p$-장애 문제에서, 시간에 대해 리프시츠인 모든 해는 공간 변수에서 $C^{1,\frac{1}{p-1}}$ 정규성을 갖는다.
• $C^{1,1}$ 정규성은 극한 바리에이션의 구성에 의해 날카로움이 입증되었으며, 향상될 수 없다.
• 비교 원리, 붕괴 분석, 볼록해법 기법의 조합을 통해 결과가 도출되었으며, 다양한 정규성 가정에 대해 강건함을 보였다.