[논문 리뷰] Uniform semigroup spectral analysis of the discrete, fractional \& classical Fokker-Planck equations

Stéphane Mischler, Isabelle Tristani|arXiv (Cornell University)|2015. 07. 17.

Fractional Differential Equations Solutions참고 문헌 12인용 수 2

한 줄 요약

이 논문은 다양한 확산 영역에서 이산, 분수, 고전적 Fokker-Planck 방정식과 관련된 준거군의 균일한 지수 수렴성을 확립한다. 섭동 및 확장 기법을 활용한 준거군 분해 프레임워크를 통해, 생성자(operator)가 자기수반 또는 국소적이지 않더라도, 이산에서 분수로, 분수에서 고전으로 전이되는 동안 스펙트럼 간격과 수렴 속도가 0에서 일정하게 유지됨을 증명한다.

ABSTRACT

In this paper, we investigate the spectral analysis (from the point of view of semi-groups) of discrete, fractional and classical Fokker-Planck equations. Discrete and fractional Fokker-Planck equations converge in some sense to the classical one. As a consequence, we first deal with discrete and classical Fokker-Planck equations in a same framework, proving uniform spectral estimates using a perturbation argument and an enlargement argument. Then, we do a similar analysis for fractional and classical Fokker-Planck equations using an argument of enlargement of the space in which the semigroup decays. We also handle another class of discrete Fokker-Planck equations which converge to the fractional Fokker-Planck one, we are also able to treat these equations in a same framework from the spectral analysis viewpoint, still with a semigroup approach and thanks to a perturbative argument combined with an enlargement one. Let us emphasize here that we improve the perturbative argument introduced in [7] and developed in [11], relaxing the hypothesis of the theorem, enlarging thus the class of operators which fulfills the assumptions required to apply it.

연구 동기 및 목표

• 이산, 분수, 고전적 Fokker-Planck 방정식의 스펙트럼 분석을 통합된 프레임워크 내에서 통합하기 위해.
• 다양한 확산 연산자 간에 균일한 스펙트럼 간격을 갖는 지수 수렴을 증명하기 위해.
• 확산 매개변수 ε → 0에 수렴할 때 수렴 속도가 균일하게 유지됨을 확립하기 위해.
• 비자기수반 및 비국소 연산자(예: 분수 라플라스 연산자, 이산 점프 커널 포함)에 대해 준거군 분해 기법을 확장하기 위해.

제안 방법

• 분해 Λε = Aε + Bε를 이용해 준거군을 유한차원 성분과 감쇠 성분으로 분리하기.
• 생성자 Λε의 해석적 임계점 근처에서의 해석 함수를 분석하기 위해, 극한 연산자 Λ0의 해석 함수를 사용하는 섭동 이론 적용하기.
• Bε의 거듭제곱 정규성 성질을 활용해 섭동과 산산이 흩어지는 부분 간의 상호작용 제어하기.
• Kreĭn-Rutman 이론을 활용해 정적 상태 Gε의 존재성과 유일성을 확립하기.
• 작은 공간에서의 Lp 추정치를 더 큰 가중치 L1 공간으로 확장하기 위해 확장 기법 사용하기.
• 스펙트럼 맵핑 정리를 적용해 가중치 레베그 공간 X = L1r 내에서 균일한 지수 감쇠 추정치 도출하기.

실험 결과

연구 질문

• RQ1 이산, 분수, 고전적 Fokker-Planck 방정식 간에 스펙트럼 간격과 지수 수렴 속도가 균일하게 유계로 유지될 수 있는가?
• RQ2 이산에서 고전으로의 전이 과정에서 분수 중간 단계를 거쳐 확산 연산자가 변화할 때 준거군의 행동은 어떻게 변화하는가?
• RQ3 섭동 및 확장 기법을 사용해 비자기수반, 비국소 Fokker-Planck 연산자에 대해 균일한 수렴을 증명할 수 있는가?
• RQ4 연산자 섭동 하에서 핵에 대한 스펙트럼 사영이 균일하게 유계로 유지되기 위한 조건은 무엇인가?
• RQ5 확산 매개변수 ε → 0일 때, 가중치 레베그 공간 X = L1r 내에서 수렴 속도가 균일한가?

주요 결과

• 모든 t ≥ 0에 대해, ∥SΛε(t)f0 − Gε⟨f0⟩∥X ≤ C eat ∥f0 − Gε⟨f0⟩∥X 를 만족하는 ε0 > 0 및 a < 0 가 존재한다.
• 이산에서 고전으로의 전이 과정에서 스펙트럼 간격이 0에서 일정하게 유지되어 균일한 지수 감쇠 보장.
• 모든 ε ∈ [0, ε0]에 대해 정적 상태 Gε는 유일하고, 양수이며, 단위 질량을 가짐.
• ε → 0일 때, Λε의 핵에 대한 스펙트럼 사영 Πε는 B(X0)에서 강한 수렴을 보이며, ∥Πε − Π0∥B(X0) → 0.
• 원점에서 멀리 떨어진 영역 Daθ 내에서 Λε의 해석 함수는 균일하게 유계이며, Λε의 스펙트럼은 점점 줄어드는 원점 근처의 이웃에 포함됨.
• 이론적 기법을 통해 이산 → 고전, 분수 → 고전, 이산 → 분수의 세 영역에서 수렴 속도가 균일하게 유지되며, 섭동 및 확장 기법을 통해 명시적 제어 가능.