[논문 리뷰] Regularity for fully nonlinear nonlocal parabolic equations with rough kernels

Joaquim Serra|arXiv (Cornell University)|2014. 01. 18.

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

한 줄 요약

이 논문은 비국소성과 거친 핵을 가진 완전 비선형 비정적 편미분 방정식의 점근 해에 대해 공간과 시간에서의 정칙성을 확립한다. 이는 새로운 리우빌 유형 정리와 붕괴/콤���트성 추론을 통해 이루어지며, 유계해가 공간에서 지수 $\beta < \min\{\sigma, 1+\alpha\}$, 시간에서 지수 $\beta/\sigma$ 에 대해 허더 연속임을 증명한다. 이는 이전 결과를 비정적 설정과 $\sigma \leq 1$ 경우로 확장한다.

ABSTRACT

We prove space and time regularity for solutions of fully nonlinear parabolic integro-differential equations with rough kernels. We consider parabolic equations $u_t = \I u$, where $\I$ is translation invariant and elliptic with respect to the class $\mathcal L_0(σ)$ of Caffarelli and Silvestre, $σ\in(0,2)$ being the order of $\I$. We prove that if $u$ is a viscosity solution in $B_1 imes (-1,0]$ which is merely bounded in $\R^n imes (-1,0]$, then $u$ is $C^β$ in space and $C^{β/σ}$ in time in $\overline{B_{1/2}} imes [-1/2,0]$, for all $β&lt; \min\{σ, 1+α\}$, where $α&gt;0$. Our proof combines a Liouville type theorem ---relaying on the nonlocal parabolic $C^α$ estimate of Chang and Dávila--- and a blow up and compactness argument.

연구 동기 및 목표

• 완전 비선형 비국소성 비정적 방정식의 유계해에 대해 $\mathcal{L}_0(\sigma)$ 클래스에 속하는 거친 핵을 가진 내부 정칙성 추정을 확립하는 것, 여기서 $\sigma \in (0,2)$.
• 동일한 거친 핵 조건 하에서 타원 방정식의 $C^{1+\alpha}$ 정칙성 이론을 비정적 방정식으로 확장하는 것.
• 비국소적 설정에서 증분 몰입의 $L^\infty$ 노름에 대한 전역적 통제가 부족하여 고전적 반복 방법이 막히는 문제를 다루는 것.
• 이전 방법의 범위를 초월해 적용 가능한 새로운 증명 전략을 제시하는 것, 이는 리우빌 유형 정리와 붕괴/콤팩트성 추론에 기반한다.
• $\sigma \leq 1$ 인 경우에 대해, 이전 방법이 실패하는 이유로 강한 원거리 진동의 영향을 받는다.

제안 방법

• 비국소성 비정적 방정식 $u_t = \tilde{I}u$ 의 전역 해에 대해 리우빌 유형 정리를 확립하여, 첫 번째 순서 모멘트가 0인 유계 전역 해는 애핀 함수임을 보이는 것.
• 붕괴 및 콤팩트성 추론을 사용: 관심이 있는 점 근처의 해를 스케일링하고, 스케일링된 함수의 수열에서 극한 해를 추출하는 것.
• 창과 다비라의 비국소성 비정적 $C^\alpha$ 추정을 적용하여 스케일링된 해의 성장을 제어하고 극한이 전역 해로 수렴하도록 보장하는 것.
• 스케일링 과정에서 최소 제곱의 최적 조건(평균과 선형 항이 0이 되는 조건)을 적용하여 대칭성을 강제하고 극한 행동을 제어하는 것.
• 확장되는 비정적 실린더 $Q_R^{\sigma_m}$ 에서 증분 몰입의 진동에 대한 재귀적 추정을 통해 스케일링된 해의 성장을 제어하는 것.
• 스케일링된 방정식에서 극한을 취해 극한 해가 이동 불변성과 타원 비국소 방정식을 만족함을 보이고, 해가 부드럽지 않다면 모순이 발생함을 보여, 해가 정칙임을 증명하는 것.

실험 결과

연구 질문

• RQ1 완전 비선형 비국소성 비정적 방정식의 점근 해에 대해 $\mathcal{L}_0(\sigma)$ 에 속하는 거친 핵을 가진 경우, 공간에서 $C^{\beta}$ 와 시간에서 $C^{\beta/\sigma}$ 정칙성을 확립할 수 있는가?
• RQ2 비국소적 방정식의 거친 핵을 가진 경우, 증분 몰입의 전역 $L^\infty$ 통제가 부족하여 고전적 반복 방법이 성능을 상실하는가?
• RQ3 비국소적 설정에서 반복 방법의 실패를 극복하고 내부 정칙성 추정을 도출하기 위해 리우빌 유형 정리를 사용할 수 있는가?
• RQ4 $\sigma \leq 1$ 인 경우에 대해, 이전 방법이 실패하는 조건에서 거친 핵 조건 하에서 $C^{1+\alpha}$ 정규성 결과를 확장할 수 있는가?
• RQ5 비국소성 비정적 방정식의 거친 핵을 가진 경우, $\mathbb{R}^n \times (-1,0]$ 에서만 유계인 해에 대해 정확한 정규성 임계값은 무엇인가?

주요 결과

• 유계해 $u$ 가 $\mathbb{R}^n \times (-1,0]$ 에서 정의되고 $B_1 \times (-1,0]$ 에서 $u_t = \mathrm{I}u$ 를 만족하면, $\overline{B_{1/2}} \times [-1/2,0]$ 에서 공간에서 $C^\beta$, 시간에서 $C^{\beta/\sigma}$ 정칙성을 가진다. 여기서 $\beta < \min\{\sigma, 1+\alpha\}$.
• 정규성 임계값 $\beta < \min\{\sigma, 1+\alpha\}$ 는 정확하다: $\sigma \leq 1$ 인 경우 최고의 공간 정규성은 $C^{\sigma - \epsilon}$ 이며, $\sigma > 1$ 인 경우는 $C^{1+\alpha - \epsilon}$ 이다.
• 이 증명은 전역 $L^\infty$ 통제 부족으로 인해 고전적 반복 기법이 실패하는 문제를 피하기 위해 새로운 방법을 도입한다. 이는 리우빌 정리와 붕괴/콤팩트성 추론에 기반한다.
• 이 방법은 비국소성 방정식의 시간 의존성과 경계 정규성 문제 등으로도 확장 가능하다.
• 결과는 $\sigma \in (0,2)$ 전역에서 일관되게 성립하며, 이는 이전의 $C^{1+\alpha}$ 추정이 더 매끄러운 핵이 필요로 했던 $\sigma \leq 1$ 경우에도 적용된다.
• 콤팩트성 추론은 스케일링된 수열이 애인 함수로 수렴하지 않는다고 가정할 경우 모순을 유도하며, 이는 해가 정칙임을 증명한다.