[논문 리뷰] Variational methods for the kinetic Fokker-Planck equation

Scott N. Armstrong, Armstrong, S.외 2명|arXiv (Cornell University)|2019. 02. 11.

Gas Dynamics and Kinetic Theory참고 문헌 46인용 수 44

한 줄 요약

논문은 Kramers 및 동역학적 Fokker-Planck 방정식에 대해 함수해석적 및 변분적 프레임워크를 개발하고, 히포엘립틱 H1 유형 공간과 푸아케-타입 부등식을 통해 잘정의성, 규칙성 및 평형으로의 지수적 수렴을 입증한다.

ABSTRACT

We develop a functional analytic approach to the study of the Kramers and kinetic Fokker-Planck equations which parallels the classical $H^1$ theory of uniformly elliptic equations. In particular, we identify a function space analogous to $H^1$ and develop a well-posedness theory for weak solutions in this space. In the case of a conservative force, we identify the weak solution as the minimizer of a uniformly convex functional. We prove new functional inequalities of Poincaré and Hörmander type and combine them with basic energy estimates (analogous to the Caccioppoli inequality) in an iteration procedure to obtain the $C^\infty$ regularity of weak solutions. We also use the Poincaré-type inequality to give an elementary proof of the exponential convergence to equilibrium for solutions of the kinetic Fokker-Planck equation which mirrors the classic dissipative estimate for the heat equation. Finally, we prove enhanced dissipation in a weakly collisional limit.

연구 동기 및 목표

• Kinetic Fokker-Planck 방정식의 히포엘립틱 구조에 맞춘 H^{1}_{hyp} 함수 공간을 도입한다.
• 약한 해의 존재-고유성 보장을 위해 변분법과 Lax-Milgram 유형의 논증으로 보정된 문제의 잘정의성을 확립한다.
• 자료 및계수의 적절한 규칙성 하에서 약해해가 매끄럽게 되는 규칙성 결과를 보인다.
• 히포엘립틱 설정에서 푸아케 및 Hörmander형 부등식을 도출하여 coercivity와 속도 평균화를 얻는다.
• 관련 한도에서 평형으로의 지수적 수렴 및 강화된 소멸을 입증한다.

제안 방법

• H^{1}_{hyp}(U)의 히포엘립틱 소벡 공간을 정의하고, ∇_{v}f의 L^{2}_{x}L^{2}_{gamma} 제어와 v·∇_{x}f의 L^{2}_{x}H^{-1}_{gamma} 제어를 결합한 노름을 제시한다.
• Kramers 방정식에 대한 약해해 해 개념을 H^{1}_{hyp}와 H^{-1}_{gamma}와의 이원쌍(pairing)으로 구성한다.
• H^{1}_{hyp}에 대한 푸아케 부등식을 확립하여 coercivity와 잘정의성을 얻는다.
• Kramers 방정식을 해 최소화 문제로 푼 일관적이고 균일하게 볼록한 함수적(최소화) 구성체를 구성한다.
• 히포엘립틱 유형 부등식을 입증하여 공간적 부분 규칙성과 칸초포올리(Caccioppoli) 유도 없이도 약해해의 내부 규칙성을 얻는다.
• 시간 의존적 동역학적 Fokker-Planck 방정식으로 프레임워크를 확장하고, 동역학적 푸아케 부등식을 통해 평형으로의 지수적 수렴을 도출한다.
• 도르스-토르스의 토러스에서 약한 충돌 한계 하의 강화된 소멸은 시간 및 ε 의존 Hörmander 부등식으로 보여준다.

실험 결과

연구 질문

• RQ1 히포엘립틱 Kramers 및 동역학적 Fokker-Planck 방정식에 대해 균일하게 타당한 elliptic 방정식에 상응하는 함수-해석적 변분 프레임워크를 구축할 수 있는가?
• RQ2 히포엘립틱 구조를 포착하고 약한 해의 well-posedness와 속도 평균화를 가능하게 하는 올바른 함수 공간은 무엇인가?
• RQ3 자료와 계수의 합리적 규칙성 하에서 내부 규칙성 및 매끄러움을 얻을 수 있는가?
• RQ4 Kinetic 설정에서 푸아케 유사 부등식이 평형으로의 지수적 수렴과 coercivity를 보장하는가?
• RQ5 약한 충돌 한계에서의 현상은 어떠하며 강화된 소멸을 확립할 수 있는가?

주요 결과

• 히포엘립틱 함수 공간 H^{1}_{hyp}를 확인하고 이를 사용해 Kramers 방정식의 약해해를 정의한다.
• H^{1}_{hyp}에 대한 푸아케 부등식을 증명하여 coercivity를 보장하고 변분법으로 잘정의성을 가능하게 한다.
• 호르만더형 부등식이 부분적 공간 규칙성을 제공하고, 칼초포올리 유도와 함께 약해해의 내부 C^{a0}{\infty} 규칙성으로 이어진다.
• 시간 의존적 동역학적 Fokker-Planck 방정식에 대해 유사한 H^{1}_{kin} 프레임워크를 적용하여 평형으로의 지수적 수렴을 얻는다.
• RHS가 없고 b가 없는 토러스에서 약한 충돌 영역에서 빠른 시간 척도상의 강화된 소멸을 보인다.
• 결과는 가변적 해석적 접근을 통해 히포엘립틱 방정식과 고전적인 타원/유체 이론을 연결한다.