[논문 리뷰] The double obstacle problem on non divergence form

Luis F. Duque|arXiv (Cornell University)|2017. 09. 20.

Nonlinear Partial Differential Equations참고 문헌 2인용 수 6

한 줄 요약

이 논문은 비발산형 완전 비선형 타원형 및 쌍곡형 작용소에 대한 이중 장벽 문제의 해에 대한 내부 $C^{1,\beta}$ 정규성을 확립한다. 이는 두 장벽이 충분히 매끄럽고 균일하게 분리되어 있다는 가정 하에 성립한다. 핵심 기법은 장벽과의 접촉점 근처에서 해의 성장률을 분석하는 것으로, 점성 해 이론과 컴팩턴스 추론을 활용하여 기울기의 허더 조건을 도출한다.

ABSTRACT

We study the regularity of the solution of the double obstacle problem form for fully non linear parabolic and elliptic operators. We show that when the obstacles are sufficiently regular the solution is $C^{1,α}$ in the interior for both the parabolic and the elliptic cases.

연구 동기 및 목표

• 비발산형 완전 비선형 타원형 및 쌍곡형 작용소에 대해 Kinderlehrer의 단일 장벽 문제 결과를 이중 장벽 사례로 확장한다.
• 장벽이 매끄럽고 균일하게 분리되어 있을 경우 해의 내부 $C^{1,\beta}$ 정규성을 확립한다.
• 해가 장벽과의 접촉점 근처에서의 행동, 특히 장벽에서 멀어질수록 해의 성장률을 분석한다.
• 벌금화 방법을 사용하여 타원형 이중 장벽 문제에 대한 존재성과 정규성 결과를 엄밀히 확보한다.
• 비발산형 작용소에 대한 문헌의 격차를 메우기 위해 기존의 정규성 결과를 이중 장벽 설정으로 확장한다.

제안 방법

• 비발산형에서의 이중 장벽 문제의 해를 정의하고 분석하기 위해 점성 해 이론을 사용한다.
• 초과해의 성장률을 제어하기 위해 $L^\theta_w$ 약한 유형 추정치(보조정리 4.1)를 적용한다.
• 장벽 제약 조건의 $C^2$-매끄러운 근사화를 위해 $\beta_\rho$-함수를 사용하여 벌금화 문제를 구성한다.
• 완전 비선형 작용소의 스케일링 성질을 활용하여 타원성의 유지와 균일 추정치 도출.
• 컴팩턴스와 소볼레프 포함을 활용하여 벌금화 수열에서 극한으로의 전환을 수행하고, $C^{1,\beta}$ 극한 해를 확보한다.
• 접촉 집합 $E_1 = \{u = \phi_1\}$, $E_2 = \{u = \phi_2\}$ 및 그 보완 $A = \{\phi_1 < u < \phi_2\}$ 을 통한 자유 경계 분석.

실험 결과

연구 질문

• RQ1 완전 비선형 비발산형 작용소에 대한 이중 장벽 문제의 해가 어떤 조건에서 $C^{1,\beta}$ 정규성을 갖는가?
• RQ2 해가 두 장벽 중 하나와 접촉하는 점 근처에서 어떻게 성장하는가?
• RQ3 비발산형 설정에서 매끄러운 장벽에 대해 해의 존재성과 정규성을 확보할 수 있는가?
• RQ4 자유 경계는 해의 정규성에 어떤 역할을 하는가?
• RQ5 완전 비선형 작용소의 스케일링 및 컴팩턴스 성질은 정규성 증명에 어떻게 기여하는가?

주요 결과

• 장애물 $\phi_1$ 및 $\phi_2$ 가 매끄럽고 균일하게 분리되어 있을 경우, $Q_1$ 내부에서 이중 장벽 문제의 해 $u$ 는 $C^{1,\beta}$ 정규성을 갖는다.
• 핵심 단계는 접촉점에서 해의 성장률을 묘사하는 성장 추정치 도출이다(타원형의 경우 보조정리 4.4, 쌍곡형의 경우 보조정리 5.6).
• 벌금화 방법은 원래 문제의 해로 수렴하는 균일 수렴하는 근사 문제의 해 수열을 성공적으로 구성한다.
• 극한 해는 점성 해로서 이중 장벽 문제를 만족하며, 비접촉 영역 $\{\phi_1 < u < \phi_2\}$ 에서는 $F(D^2u) = 0$ 이고, 각각의 접촉 영역에서는 $F(D^2u) \leq 0$ 또는 $\geq 0$ 이다.
• $W^{2,p}$ 추정치와 소볼레프 포함을 통해 극한 해는 임의의 $0 < \beta < 1$ 에 대해 $C^{1,\beta}(B_1)$ 에 속한다.
• 증명은 $F$ 의 타원성과 스케일링 성질을 통한 벌금화 해에 대한 균일 추정치에 기반하며, 이는 $C^{1,\beta}$ 해로의 수렴을 보장한다.