[논문 리뷰] Kinetic maximal $L^2$-regularity for the (fractional) Kolmogorov equation

Lukas Niebel, Rico Zacher|arXiv (Cornell University)|2020. 06. 20.

Advanced Mathematical Physics Problems참고 문헌 32인용 수 7

한 줄 요약

이 논문은 분수 마르코프 방정식에 대해 시간 가중치를 갖는 운동론적 최대 $L^2$-정규성을 수립하며, 이는 비등방적 소볼레프 공간에서 해의 정규성 특성을 규명한다. 해는 위치 $x$에서 $rac{\beta}{\beta+1}$ 개의 도함수를 획득하고, $(0,T)\times\mathbb{R}^{2n}$에서 즉각적인 $C^\infty$ 스무딩을 달성한다. 이는 초기 데이터의 정규성에 제한이 있더라도 성립한다.

ABSTRACT

We introduce the notion of kinetic maximal $L^2$-regularity with temporal weights for the (fractional) Kolmogorov equation. In particular, we determine the function spaces for the inhomogeneity and the initial value which characterize the regularity of solutions to the fractional Kolmogorov equation in terms of fractional anisotropic Sobolev spaces. It is shown that solutions of the homogeneous (fractional) Kolmogorov equation define a semi-flow in a suitable function space and the property of instantaneous regularization is investigated.

연구 동기 및 목표

• 시간 가중치가 존재하는 (분수) 마르코프 방정식에 대해 정밀한 $L^2$-정규성 이론을 수립하기 위해.
• 비등방적 소볼레프 공간에서 최대 $L^2$-정규성을 보장하는 비균형항 및 초기 데이터의 함수 공간을 규명하기 위해.
• 특히 속도 $v$에서 위치 $x$로의 정규성 전이 현상을 포함한 해의 즉각적 정규화 현상을 조사하기 위해.
• 기존의 정규성 전이 결과(예: 부슈의 정리)를 시간 가중치가 있는 $L^2$-설정으로 확장하기 위해.
• 초기 데이터의 정규성이 제한되어 있더라도, 동차 방정식의 해가 $t=0$ 이후 즉각적으로 공간과 시간에서 매끄럽게 된다는 것을 증명하기 위해.

제안 방법

• 시간 가중치 $t^{1-\mu}$를 갖는 새로운 운동론적 최대 $L^2$-정규성 개념을 도입한다. 여기서 $\mu \in (\frac{1}{2},1]$이다.
• 시간 도함수 및 속도 도함수에 대한 시간 가중 추정을 포함하기 위해 해 공간 $\mathcal{T}_\mu((0,T);X)$ 및 $L^2_\mu((0,T);X)$를 정의한다.
• 기존의 $L^2$-추정을 가중치 없는 설정에서 가중치가 있는 설정으로 이전하기 위해 등사사상 $\Phi_\mu(u)(t) = t^{1-\mu}u(t)$를 사용한다.
• 반군 이론 및 스펙트럼 다중화 이론을 적용하여 마르코프 연산자 $\partial_t + v\cdot\nabla_x + (-\Delta_v)^{\beta/2}$를 분석한다.
• 가중 추정과 보간, 등연속성 추론을 결합하여 $x$에서 $rac{\beta^2}{2(\beta+1)}$의 추가 정규성을 확보한다.
• 연속적인 시간 이동을 통해 정규성 획득을 반복하여 $(0,T)\times\mathbb{R}^{2n}$에서 $C^\infty$ 스무딩을 증명한다.

실험 결과

연구 질문

• RQ1 비균형항 및 초기 데이터에 대해 시간 가중치가 있는 분수 마르코프 방정식에서 최대 $L^2$-정규성을 보장하는 함수 공간은 무엇인가?
• RQ2 분수 마르코프 방정식에서 속도 정규성으로부터 위치 변수 $x$에서 얼마나 많은 정규성을 획득할 수 있는가?
• RQ3 동차 분수 마르코프 방정식의 해는 $t=0$ 이후 즉각적으로 $C^\infty$ 정규성을 달성할 수 있는가?
• RQ4 정규성 전이 현상($v$에서 $x$로의 정규성 전이)은 초기 데이터의 $x$에서의 정규성에 반영되는가?
• RQ5 시간 가중치는 정규성 추정을 어떻게 향상시키며, 즉각적 스무딩 증명을 가능하게 하는가?

주요 결과

• 해 공간 $\mathcal{T}_\mu((0,T);L^2)\cap L^2_\mu((0,T);X_\beta^1)\cap L^2_{1-\beta}((0,T);\dot{H}_x^\beta)$ 는 $C((0,T];H^{\beta/2}(\mathbb{R}^{2n}))$ 에 연속적으로 통합된다.
• 해는 위치 변수 $x$에서 $rac{\beta}{\beta+1}$ 개의 도함수를 획득하며, 이는 기존 결과와 일치하지만, 이제는 전역적이고 가중치가 있는 $L^2$-설정에서 성립한다.
• 동차 방정식의 해는 $T>0$에 대해 어떤 $T$에 대해서도 $(0,T)\times\mathbb{R}^{2n}$에서 $C^\infty((0,T)\times\mathbb{R}^{2n})$에 속한다. 초기 데이터의 정규성이 제한되어 있더라도 성립한다.
• $x$에서의 정규성 획득은 초기 데이터의 $x$에서의 정규성과 등가이며, $v$에서의 정규성은 초기 데이터의 $x$와 $v$에 대한 공동 정규성과 대응한다.
• $\mu > \frac{1}{2}$ 인 시간 가중치 $t^{1-\mu}$는 시간 이동을 통한 반복적 정규성 획득을 통해 $C^\infty$ 스무딩을 증명하는 데 기여한다.
• 결과는 부슈의 정리를 가중치가 있는 $L^2$-프레임워크로 확장하며, $u \in \mathcal{T}_\mu((0,T);L^2)\cap L^2_\mu((0,T);H_v^r)$ 이면 $u \in L^2_\mu((0,T);H_x^{r/(r+1)})$ 임을 보여준다.