[논문 리뷰] Velocity averaging and Hölder regularity for kinetic Fokker-Planck equations with general transport operators and rough coefficients

Yuzhe Zhu|arXiv (Cornell University)|2020. 10. 08.

Gas Dynamics and Kinetic Theory참고 문헌 23인용 수 4

한 줄 요약

이 논문은 일반적인 운반 연산자와 난류 계수를 가진 운동학적 Fokker-Planck 방정식의 약한 해에 대해 국소 유계성과 Hölder 연속성을 입증한다. 이를 위해 속도 평균화 보조정리와 De Giorgi-Nash-Moser 이론을 결합한다. 주요 기여는 운반장 $ b(v) $ 에 대해 최소한의 비퇴화 조건 하에서도 이러한 정규성 성질을 증명한 것이다. 이는 이전 결과에서 $ b(v) = v $ 인 경우에 국한되었던 결과를 일반적인 $ b \in L^\infty \cap H^1 $ 로 확장한 것이다.

ABSTRACT

This article addresses the local boundedness and Hölder continuity of weak solutions to kinetic Fokker-Planck equations with general transport operators and rough coefficients. These results are due to the mixing effect of diffusion and transport. Although the equation is parabolic only in the velocity variable, it has a hypoelliptic structure provided that the transport part $\partial_t+b(v)\cdot abla_x$ is nondegenerate in some sense. We achieve the results by revisiting the method, proposed by Golse, Imbert, Mouhot and Vasseur in the case $b(v)= v$, that combines the elliptic De Giorgi-Nash-Moser theory with velocity averaging lemmas.

연구 동기 및 목표

• 일반적인 운반 연산자와 난류 계수를 가진 운동학적 Fokker-Planck 방정식의 약한 해에 대해 국소 유계성을 확립하는 것.
• 운반장 $ b(v) $ 에 대한 비퇴화 조건 하에서 해의 Hölder 연속성을 증명하는 것.
• De Giorgi-Nash-Moser 이론을 $ b(v) = v $ 인 경우가 아닌 일반적인 $ b(v) $ 를 가진 운동학 방정식에 적용하는 것.
• 비퇴화 조건이 만족될 경우, 속도 평균화 보조정리가 속도 변수에서 타원성 정규성의 부족을 보완할 수 있음을 보여주는 것.
• 해의 진동과 $ C^\beta $ 노름에 대한 양적 추정을 데이터 노름에 따라 유도하는 것.

제안 방법

• Golse, Imbert, Mouhot, Vasseur 의 방법을 재검토하여 운동학 방정식에 대해 속도 평균화 보조정리와 De Giorgi-Nash-Moser 이론을 결합하는 것.
• 운반장에 대한 비퇴화 조건을 사용하며, 이는 수준 집합 측도 한계로 표현된다: $ \big{|}\{v \in B_r(v_0) : |\mu + b(v)\cdot\nu| \leq \epsilon\}\big{|} \leq K r^{d_2-1} \epsilon $, 이를 통해 운반과 확산의 혼합 효과를 통제한다.
• Hölder 연속성 확보를 위해 재스케일링 기법을 적용하여 비퇴화 조건을 강화하며, 이때 $ b \in C^1 $ 이고 $ Db $ 가 제어 가능한 연속성 모듈러스를 가져야 한다.
• 운동학 기하학에서 수정된 De Giorgi 반복 기법을 사용하며, 초타원적 구조를 다루기 위해 내재된 포물형 실린더 $ \mathcal{C}_r $ 을 활용한다.
• 해의 양성 및 음성 부분을 통제하기 위해 커프오프 및 절단 기법을 도입하여 문제를 하위해 추정으로 환원한다.
• 등고선의 성질을 활용한 정성적 등고선 렘마를 적용하여, 특성 함수의 도함수가 $ L^p $ 에 유계일 경우 반드시 음수이어야 한다는 것을 보여, 진동을 통제한다.

실험 결과

연구 질문

• RQ1 일반적인 운반장 $ b(v) $ 와 난류 계수를 가진 운동학적 Fokker-Planck 방정식에 대해 국소 유계성을 확립할 수 있는가?
• RQ2 운동학적 Fokker-Planck 방정식의 해가 Hölder 연속성을 가지기 위한 $ b(v) $ 에 대한 조건은 무엇인가?
• RQ3 속도 평균화 보조정리가 속도 변수에서 타원성의 부족을 얼마나 보완할 수 있는가?
• RQ4 수준 집합 두께로 측정된 $ b(v) $ 의 비퇴화 정도가 해의 정규성에 어떤 영향을 미치는가?
• RQ5 De Giorgi-Nash-Moser 이론은 비선형 운반 연산자에 대해 어떻게 일반화될 수 있는가?

주요 결과

• 비퇴화 조건 (1.3) 하에서 하위해에 대해 국소 유계성이 성립하며, $ s \in L^q $ 이고 $ q > \frac{(4+\alpha)(4+d_2)(1+d_1+d_2)}{2\alpha} $ 라면 $ f^+ $ 는 $ Q_{\text{int}} $ 에서 유계이다.
• $ f^+ $ 의 $ L^\infty $ 노름은 $ \|f^+\|_{L^2(Q_1)} + \|s\|_{L^q(Q_1)} $ 에 의해 제어되며, 이 정수는 $ \lambda, \Lambda, d_1, d_2, K, \alpha, q $ 에만 의존한다.
• 해당 해가 $ d_1 = d_2 = d $, $ b \in C^1 $ 이고 비퇴화 조건 (1.4) 가 성립하며 $ b \in C^1 $ 이고 $ Db $ 가 모듈러스 연속성 $ o_1 $ 을 가질 경우, Hölder 연속성이 확립된다.
• $ \|f\|_{C^\beta(Q_{\text{int}})} \leq C(\|f\|_{L^2(Q_1)} + \|s\|_{L^q(Q_1)}) $ 를 만족하며, $ q > (1+2d)^2 $ 이고 $ \beta \in (0,1) $ 이며, 상수 $ C $ 는 $ \lambda, \Lambda, d, K, q, o_1 $ 에만 의존한다.
• 더 작은 실린더에서 해의 진동은 기하급수적으로 감소한다: $ \text{osc}_{\mathcal{C}_\omega} \tilde{f} \leq (1-\theta_0)\text{osc}_{\mathcal{C}_1} \tilde{f} + C\|s\|_{L^q} + \text{osc}_{B_1 \times B_1} f(0,\cdot,\cdot) $ 로 이어져 Hölder 연속성이 유도된다.
• 양적 Hölder 추정이 도출된다: $ \text{osc}_{B_{cr^3}(z_0)} f \lesssim r^{3\beta_0}(\|f\|_{L^2} + \|s\|_{L^q} + \|f(0,\cdot,\cdot)\|_{C^{\alpha_0}}) $ 이며, $ \beta_0 = \frac{1}{3}\min(\frac{\alpha_0}{2}, \beta_1) $ 이다.