[논문 리뷰] On fully nonlinear elliptic and parabolic equations in domains with VMO coefficients

Xu Li, Krylov, N. V.외 1명|arXiv (Cornell University)|2010. 08. 19.

Advanced Mathematical Modeling in Engineering참고 문헌 17인용 수 9

한 줄 요약

이 논문은 유계 영역에서 VMO(소멸 평균 진동) 계수를 가진 완전 비선형 포물선형 및 타원형 방정식의 해법 가능성을 $W^{1,2}_p$ 및 $W^2_p$ 소볼레프 공간을 통해 확립한다. 계수에 대한 최소한의 정규성 조건 하에서 존재성, 유일성 및 사전 추정치를 증명하며, 벨만형 구조와 저차항의 비선형성을 포함한 경우로 결과를 확장한다.

ABSTRACT

We prove the solvability in Sobolev spaces $W^{1,2}_p$, $p>d+1$, of the terminal-boundary value problem for a class of fully nonlinear parabolic equations, including parabolic Bellman's equations, in bounded cylindrical domains with VMO ``coefficients''. The solvability in $W^{2}_p$, $p>d$, of the corresponding elliptic boundary-value problem is also obtained.

연구 동기 및 목표

• 유계 원통형 영역에서 VMO 계수를 가진 완전 비선형 포물선형 방정식의 해법 가능성을 확립하기 위해.
• 주 계수의 정규성이 허들러 또는 디니 연속성보다 약한 조건인 소멸 평균 진동(VMO) 조건을 만족할 경우, 완전 비선형 방정식 이론을 확장하기 위해.
• 적절한 경계 및 종단 조건 하에서 $p > d+1$ 인 $W^{1,2}_p$ 공간과 $p > d$ 인 $W^2_p$ 공간에서 해의 존재성과 유일성을 증명하기 위해.
• 계수가 매끄럽지 않더라도 VMO 조건을 충족하고, 그 반경이 충분히 작다면 해법 가능성 이론이 유지됨을 보여주기 위해.
• 작은 계수의 변형에 대해 사전 추정치와 존재성 결과가 VMO 구조에 기반해 안정적임을 보여주기 위해.

제안 방법

• 조건 (H1) 및 (H2) 하에서 유도된 사전 추정치의 사용: 저차항의 비선형성에 대해 볼록성과 리프시츠 연속성을 가정한다.
• 계수 동결 방법의 적용: 각 점에서 공간-시간에 독립적인 상수 행렬장으로 계수를 근사하며, 이 경우 (H1)를 만족시키고 오차는 VMO 반경으로 제어한다.
• 경계를 $C^{1,1}$ 미분동형사상으로 평탄화하고, 단위 분할을 사용하여 문제를 반공간 및 전체 공간 모델로 국소화한다.
• 캘러드론-지그문트 연산자 이론과 최대 함수 이론에 기반한 반공간 및 전체 공간에서 선형화된 방정식에 대한 최대 $L_p$-정규성 추정치의 사용.
• 중간 추정식을 사용하여 $Du$ 를 $D^2u$ 와 $u$ 로 제어함으로써, 작은 VMO 매개변수 조건 하에서 사전 추정치의 닫힘을 가능하게 한다.
• (barrier 함수와 포물선형 알렉산드로프 추정치를 사용하여 해의 $L_p$-노름을 제어함으로써, 사전 추정치의 상수가 시간 영역 $T$ 와 무관하게 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 VMO 계수를 가진 완전 비선형 포물선형 방정식은 $p > d+1$ 인 소볼레프 공간 $W^{1,2}_p$ 에서 해법 가능할 수 있는가?
• RQ2 저차항의 비선형성(예: 벨만 방정식)이 존재하는 경우, VMO 조건 하에서 해법 가능성 이론은 확장 가능한가?
• RQ3 VMO 조건 하에서 사전 추정치는 시간 영역 $T$ 와 무관하게 유지될 수 있는가?
• RQ4 해법 가능성에 있어 비선형성 전체에 대한 볼록성 조건 (H3) 이 필수적인가, 아니면 제거될 수 있는가?
• RQ5 해의 노름이 VMO 반경과 $K$, $\delta$, 도메인 기하학 등의 다른 매개변수에 대해 최적의 의존성을 가지는가?

주요 결과

• 시간 영역 $ω_T$ 에서 완전 비선형 포물선형 방정식의 종단-경계값 문제는 $p > d+1$ 인 경우 $W^{1,2}_p(\mathcal{D}_T)$ 에서 유일하게 해법 가능하며, 이는 VMO 반경 $\theta$ 가 $d$, $p$, $\delta$, $∪\mathcal{D}$ 의 $C^{1,1}$ 노름에 따라 충분히 작을 경우에 성립한다.
• 형식 $\|u\|_{W^{1,2}_p(\mathcal{D}_T)} \leq N\|\bar{G}\|_{L_p(\mathcal{D}_T)} + N\|g\|_{W^{1,2}_p(\mathcal{D}_T)} + N_0$ 의 사전 추정치가 성립하며, $N$ 은 $T$ 와 무관하고 $N_0$ 은 $χ$, $T$, 및 도메인에만 의존한다.
• 타원형 방정식의 경우, 주 계수에 동일한 VMO 조건이 만족되면 $p > d$ 인 경우 $W^2_p(\mathcal{D})$ 에서 경계값 문제는 해법 가능하다.
• 사전 추정치의 상수 $N$ 은 $d$, $p$, $\delta$, $K$, $R_0$, $∪\mathcal{D}$ 의 $C^{1,1}$ 노름 및 $​\text{diam}(\mathcal{D})$ 에만 의존하며, $χ \equiv 0$ 이면 $N_0 = 0$ 이다.
• 증명은 조건 (H3) — $F + G$ 가 $u''$ 에 대해 볼록임 — 이 사전 추정치에는 필요하지 않음을 보여주며, 존재성 증명에서는 사용되지만 제거 가능할 수 있음을 시사한다.
• 이 방법은 계수가 매끄럽지 않더라도 VMO에 속해 있다면 사전 추정치와 연속성 방법을 통해 해를 구성할 수 있음을 허용한다.