[논문 리뷰] On Schauder estimates for a class of nonlocal fully nonlinear parabolic equations

Hongjie Dong, Hong Zhang|arXiv (Cornell University)|2016. 04. 01.

Nonlinear Partial Differential Equations참고 문헌 19인용 수 3

한 줄 요약

이 논문은 순차적이고 비선형이며 비국소적인 포물형 방정식에 대해, $σ \in (0,2)$ 순서를 가진 뚜렷하지 않은 비대칭 핵을 갖는 샤페르 추정을 수립한다. 데이터와 핵에 대한 허더 연속성 조건 하에서 해가 $C^{1+\alpha/\sigma,\sigma+\alpha}$ 정규성을 갖는 것을 증명한다. 주요 기여는 대칭성이나 매끄러움 조건 없이 에반스-크릴로프 유형 추정을 비대칭이고 비매끄러운 핵으로 확장한 것으로, $σ \to 2$일 때 균일한 경계를 확보하고, 비국소 타원 방정식에 대한 새로운 결과를 보조정리로 도출한다.

ABSTRACT

We obtain Schauder estimates for a class of concave fully nonlinear nonlocal parabolic equations of order $σ\in (0,2)$ with rough and non-symmetric kernels. As a application, we prove that the solution to a translation invariant equation with merely bounded data is $C^σ$ in $x$ variable and $Λ^1$ in $t$ variable, where $Λ^1$ is the Zygmund space.

연구 동기 및 목표

• 비대칭성이나 매끄러움 조건을 가정하지 않은, 비대칭이고 뚜렷한 핵을 갖는 완전 비선형 비국소 포물형 방정식으로 샤페르 추정을 확장하는 것.
• 단지 유계 데이터를 갖는 이동 불변 방정식의 해가 핵의 정규성 조건 없이도 공간에서 $C^{\sigma}$, 시간에서 $\Lambda^1$ 정규성을 갖는다는 것을 증명하는 것.
• 기존에 알려지지 않은 설정에서 뚜렷하고 비대칭인 핵을 갖는 비국소 타원 방정식에 대한 새로운 샤페르 추정을 도출하는 것.
• $\sigma \to 2$의 극한에서 균일한 경계를 확립하여 국소 경우의 고전적 샤페르 추정을 복원하는 것.

제안 방법

• 저자들은 핵의 대칭성이나 매끄러움 조건을 가정하지 않고, 정규성 추정을 증명하기 위해 블로업 분석과 리우빌 유형 정리를 사용한다.
• 해의 공간 및 시간 변수에서의 허더 반모드를 제어하기 위해 고전적 보간 부등식의 수정된 형태를 도입한다.
• 핵심 기술적 단계로는 캐리어 함수를 구성하고, 비국소적 $\Lambda^1$ 시간 정규성을 사용하여 시간 진동을 제어하는 것이다.
• 스케일링 및 국소화 기법을 활용하여, 방정식의 볼록성에 기반해 이중 실린더에서 사전 추정을 유도한다.
• 해의 진동도가 링형 영역에서의 반복 감쇠 추정을 수립함으로써 공간 및 시간에서 허더 정규성을 이끌어내는 것이다.
• 타원 케이스는 시간 평균화 기법을 통해 포물형 케이스로 환원함으로써, 이 방법이 포물형 및 타원 방정식 양쪽에 적용 가능하다.

실험 결과

연구 질문

• RQ1 비대칭성이나 매끄러움 조건 없이, 비대칭이고 뚜렷한 핵을 갖는 완전 비선형 비국소 포물형 방정식에 대해 샤페르 추정을 수립할 수 있는가?
• RQ2 유계 데이터와 뚜렷한 핵을 갖는 이동 불변 비국소 포물형 방정식의 해의 최적 정규성은 무엇인가?
• RQ3 $\sigma \to 2$의 극한에서 정규성 추정은 어떻게 행동하며, 고전적 샤페르 추정을 복원하는가?
• RQ4 에반스-크릴로프 정리가 핵의 $C^2$ 정규성 조건 없이 비대칭 핵으로 확장될 수 있는가?
• RQ5 지그문트 공간 $\Lambda^1$은 비국소 방정식의 시간 정규성을 기술하는 데 어떤 역할을 하는가?

주요 결과

• 방정식 $u_t = \inf_{a \in \mathcal{A}}(L_a u + f_a)$의 해 $u$는 사전 추정 $[u]_{1+\alpha/\sigma, \sigma+\alpha; Q_{1/2}} \leq C \|u\|_{\alpha/\sigma, \alpha; (-1,0) \times \mathbb{R}^d} + C C_0$ 를 만족하며, 여기서 $C_0 = \sup_a [f_a]_{\alpha/\sigma, \alpha; Q_1}$ 이다.
• 추정에서 상수 $C$ 는 $d, \lambda, \Lambda, \alpha, A, \sigma$ 에만 의존하며, $\sigma \to 2$일 때 균일하게 유계이므로 고전 이론과의 연속성을 보장한다.
• 유계 데이터를 갖는 이동 불변 방정식의 해는 핵이 비대칭적이거나 뚜렷하더라도 공간에서 $C^\sigma$ 및 시간에서 $\Lambda^1$ 정규성을 갖는다.
• 저자들은 $f_a$ 및 $K_a$ 에 대한 허더 연속성 조건 하에서, 임의의 $\alpha \in (0, \hat{\alpha})$ 에 대해 $\hat{\alpha} \in (0,1)$ 이 $d, \sigma, \lambda, \Lambda$ 에 따라 결정되는 조건에서 $C^{1+\alpha/\sigma, \sigma+\alpha}$ 정규성이 성립함을 증명한다.
• 비국소 포물형 방정식에 대한 결과는 기존에 알려지지 않은 설정에서 뚜렷하고 비대칭인 핵을 갖는 비국소 타원 방정식에 대한 새로운 샤페르 추정을 암시한다.
• 블로업 분석 및 리우빌 유형 정리에 기반한 증명 기법은 취소 조건 $\int_{S_r} y K_a(t,x,y) \, ds = 0$ 를 요구하지 않아도 비대칭 핵을 다룰 수 있다. 다만 $\sigma = 1$ 인 경우는 이 조건을 가정한다.