[논문 리뷰] Regularity of solutions for the critical $N$-dimensional Burgers' equation

Chi Hin Chan, Magdalena Czubak|ArXiv.org|2008. 10. 17.

Advanced Mathematical Physics Problems참고 문헌 10인용 수 4

한 줄 요약

이 논문은 Caffarelli와 Vasseur가 영향을 미친 수정된 평탄한 De Giorgi 방법을 사용하여, $L^2(\mathbf{R}^N)$에 속하는 초기 자료를 가진 임계 $N$-차원 버거스 방정식의 해에 대해 전역 존재성과 해의 매끄러움을 확립한다. 약한 해가 국소적으로 허더 연속임을 증명함으로써 해는 매끄럽고, 1차원 주기적 경우의 정칙성 결과를 일반적인 $N$-차원 설정으로 확장한다.

ABSTRACT

We consider the fractional Burgers' equation on $\R^N$ with the critical dissipation term. We follow the parabolic De-Giorgi's method of Caffarelli and Vasseur \cite{Driftdiffusion} and show existence of smooth solutions given any initial datum in $L^2(\R^N)$.

연구 동기 및 목표

• 임계 $N$-차원 버거스 방정식에 대해 $L^2(\mathbb{R}^N)$에 속하는 초기 자료를 가진 해에 대해 전역적으로 정칙인 해의 존재를 확립하는 것.
• Caffarelli와 Vasseur의 평탄한 De Giorgi 방법을 비준지구적이고 비선형적인 버거스 방정식 설정으로 확장하는 것.
• 약한 해가 국소적으로 허더 연속임을 증명하고, 따라서 해가 주기성 또는 베소프 공간 가정 없이도 매끄럽다는 것을 보이는 것.
• 이전 결과가 1차원 또는 주기적 설정에 국한되었던 고차원에서의 정칙성 문제를 다루는 것.
• Caffarelli와 Vasseur의 방법이 비선형 대류항 $\theta \nabla \theta$와 임계 분산 $(-\triangle)^{1/2}$을 가진 방정식에 어떻게 적용될 수 있는지 보여주는 것.

제안 방법

• Caffarelli와 Vasseur [2]의 평탄한 De Giorgi 방법을 $L^p$에 속하지 않는 $\theta_0$를 가진 임계 $N$-차원 버거스 방정식에 적응하는 것.
• 분수 라플라스 연산자 $(-\triangle)^{1/2}$의 구조에서 유도된 해의 양성 부분에 대한 국소 에너지 부등식을 사용하는 것.
• 상반평면에서의 경계 추정을 통해 비국소 항 $(-\triangle)^{1/2}\theta$를 조절하기 위해 조화 확장을 사용하는 것.
• 허더 연속성 추정에 기반한 부스팅 근거를 적용하여 $C^\beta$ 정칙성이 반복적으로 $C^\rho$로 향상됨을 보이는 것, 여기서 $\rho < 1$이다.
• 리프츠 변환에서 발생하는 특이 적분 연산자를 포인트와이즈 추정과 파oisson 커널의 감쇠 성질을 통해 조절하는 것.
• 평탄한 실린더에서의 반복적인 감쇠와 스케일링 추론을 통해 해와 그 도함수의 $L^\rho$ 유계성을 확립하는 것.

실험 결과

연구 질문

• RQ1 평탄한 De Giorgi 방법은 임계 준지구적 방정식에서 임계 버거스 방정식으로 $N$ 차원으로 확장될 수 있는가?
• RQ2 모든 $L^2(\mathbb{R}^N)$ 초기 자료가 임계 $N$-차원 버거스 방정식에 대해 전역적으로 매끄러운 해를 생성하는가?
• RQ3 약한 해의 국소 허더 연속성이 임계 $N$-차원 설정에서 매끄러움을 암시하는 데 충분한가?
• RQ4 발산 자유 속도장이 없는 조건에서 Caffarelli와 Vasseur의 방법이 비선형항 $\theta \nabla \theta$를 다룰 수 있는가?
• RQ5 임계 분산 $(-\triangle)^{1/2}$은 고차원에서 일반적인 $L^2$ 초기 자료에 대해 정칙성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 모든 초기 자료 $\theta_0 \notin L^p$ ($p>2$)에 대해, 모든 $\rho < \rho_0$에 대해 $L^\rho_{\text{loc}}((0,\rho)\times\mathbb{R}^N)$에 속하는 전역 약한 해 $\theta \notin L^\rho$ ($\rho>2$)가 존재한다.
• 해 $\theta$는 모든 $\rho < \rho_0$에 대해 $L^\rho_{\text{loc}}((0,\rho)\times\mathbb{R}^N)$에 속하며, $N>2$이면 $\rho_0 = \frac{2N}{N-2}$이고, $N=2$이면 $\rho_0 = \rho$이다.
• 해는 공간과 시간에 대해 국소적으로 허더 연속이며, 허더 지수 $\beta$는 $2\beta < 1$을 만족한다.
• 비국소 항의 정칙성에 기반한 부스팅 근거로 인해 해 $\theta$는 매끄럽고, 즉 모든 $\rho < 1$에 대해 $C^\rho$이다.
• 해가 $\rho < \rho_0$에 대해 $L^\rho$에서 유계로 유지됨을 보장하는 방법을 통해 $\rho_0 = \frac{2N}{N-2}$ ($N>2$)이다.
• 증명은 $C^\beta$ 정칙성이 모든 $\beta' < 1$에 대해 $C^{\beta'}$ 정칙성으로 이어지고, 결과적으로 모든 $\rho < 1$에 대해 $C^\rho$ 정칙성으로 이어짐을 보여준다.