[논문 리뷰] On the differentiability of the solution to the Hamilton-Jacobi equation with critical fractional diffusion

Luís Silvestre|arXiv (Cornell University)|2009. 11. 26.

Nonlinear Partial Differential Equations참고 문헌 9인용 수 5

한 줄 요약

이 논문은 해밀턴-자코비 방정식에 대해 임계 분수 확산(order $s=1/2$)이 존재할 때조차도, 해밀턴ian $H$가 국소적 리프시츠 조건을 만족하고도 반드시 볼록일 필요가 없더라도, 해의 고전적 $C^{1,\beta}$ 정칙성을 확립한다. 핵심 혁신은 유계이고 발산-free가 아닐 수 있는 벡터장에 대해 비변분적 허더 정규성 추정을 제안한 것으로, 이는 속도장 $w = DH(\nabla u)$가 발산-free 조건을 갖지 않더라도 미분 가능성의 증명을 가능하게 한다.

ABSTRACT

We prove that the Hamilton Jacobi equation for an arbitrary Hamiltonian $H$ (locally Lipschitz but not necessarily convex) and fractional diffusion of order one (critical) has classical $C^{1,α}$ solutions. The proof is achieved using a new Hölder estimate for solutions of advection diffusion equations of order one with bounded vector fields that are not necessarily divergence free.

연구 동기 및 목표

• 임계 분수 확산($s=1/2$)을 갖는 해밀턴-자코비 방정식의 해에 대해 고전적 $C^{1,\alpha}$ 정칙성을 확립하며, 이는 $H$가 볼록이 아닐 경우에도 성립함을 보이고자 한다.
• 비선형항과 확산항이 모든 척도에서 균형을 이루는 임계 경우 $s=1/2$에서의 정칙성 문제를 해결하고자 한다.
• 기존의 변분적 방법을 넘어서, 발산-free 조건이 필요 없는 유계 벡터장을 갖는 광역-확산 방정식에 대해 새로운 허더 추정을 개발하고자 한다.
• 변분 기법과 대조되는 비변분적 방법으로 선형화된 방정식에 대한 허더 정규성 증명을 제공하고자 한다.

제안 방법

• 유계 벡터장을 갖는 1차 광역-확산 방정식에 대해, 발산-free 조건 없이도 적용 가능한 비변분적 허더 추정을 도입한다.
• 핵심 연구 대상으로는 $w = DH(\nabla u)$인 선형화된 방정식 $v_t + w \cdot \nabla v + (-\Delta)^{1/2}v = 0$을 사용한다.
• 공간-시간 실린더 내에서 해의 진동을 제어하기 위한 핵심 진동 감쇠 보조정리(보조정리 5.1)를 확립한다.
• 방향 도함수 $v = u_e$에 대해 허더 추정을 적용함으로써 $\nabla u$의 허더 연속성을 증명한다.
• 비선형 해의 미분 가능성에 대한 사전 조건이 없더라도, 복소해법 이론을 활용하여 선형화된 방정식 유도를 정당화하고, 해의 미분 가능성에 대한 제약 조건을 처리한다.
• Perron의 방법을 사용하여 복소해를 구성하고, 장벽 함수 및 비교 원리를 활용하여 $t=0$에서의 연속성을 검증한다.

실험 결과

연구 질문

• RQ1 임계 분수 확산($s=1/2$)을 갖는 해밀턴-자코비 방정식의 해가 $H$가 볼록이 아니어도 $C^{1,\alpha}$ 정규성을 갖는다고 입증할 수 있는가?
• RQ2 유계이고 발산-free가 아닐 수 있는 벡터장을 갖는 광역-확산 방정식에 대해 비변분적 방법으로 허더 정규성을 입증할 수 있는가?
• RQ3 속도장 $w = DH(\nabla u)$에 대해 발산-free 조건이 없을 경우, De Giorgi 유형의 정규성 이론 적용이 불가능한가? 만약 그렇다면 새로운 접근법이 이를 극복할 수 있는가?
• RQ4 비선형항과 확산항이 균형을 이루는 임계 경우 $s=1/2$는 초임계 경우 $s>1/2$와 동일한 정규성 결과를 갖는가? 비록 비선형항과 확산항이 균형을 이루더라도 말이다.
• RQ5 초임계 경우 $s<1/2$에서 해의 정규성은 어떻게 되며, 이는 임계 및 초임계 영역과 본질적으로 다를까?

주요 결과

• 해밀턴-자코비 방정식의 해 $u$는 $s=1/2$일 때조차도 공간과 시간에서 모두 $C^{1,\alpha}$로 매끄럽다. 이는 $H$가 국소적 리프시츠 조건을 만족하고도 반드시 볼록일 필요가 없음을 의미한다.
• 발산이 0이 아닐 수 있는 $w \in L^\infty$ 조건 하에서 $v_t + w \cdot \nabla v + (-\Delta)^{1/2}v = 0$의 해에 대해, 기존 결과를 크게 일반화한 비변분적 허더 추정이 확립되었다.
• 해의 진동 감쇠 보조정리(보조정리 5.1)를 통해 공간-시간 실린더 내에서 해의 진동을 제어함으로써 $\nabla u$의 허더 연속성을 도출하는 데 기여한다.
• 이 결과는 $s=1/2$일 때 방정식이 고전적 의미에서 잘 정의되어 있음을 확인하며, 이는 이전 연구들(일차원 경우 포함)에서 남겨진 열린 문제를 해결한다.
• 초임계 경우 $s<1/2$에서는 Kiselev, Nazarov, Shterenberg의 구성 기반으로 한 추론에 의해 해가 특이성을 갖을 수 있음이 입증된다.
• Perron의 방법을 통해 연속적인 복소해의 존재가 입증되었으며, 장벽 구성 및 비교 원리를 통해 초기 조건의 연속성이 보장된다.