[논문 리뷰] Fundamental solution of Fokker - Planck equation

Igor A. Tanski|ArXiv.org|2004. 07. 04.

Statistical Mechanics and Entropy참고 문헌 7인용 수 10

한 줄 요약

이 논문은 위치와 속도 공간에서 속도에 비례하는 감쇠력과 복합 확산을 받는 비상호작용 입자에 대해 3차원 Fokker-Planck 방정식의 정확한 기본 해를 유도한다. 푸리에 변환과 특성선 방법을 사용하여 시간에 따라 변화하는 계수를 갖는 가우시안 해를 구성하였으며, 대칭성 분석과 직접 대입을 통해 검증하였다. 이 해는 위치와 속도 공간에서 초기 델타 함수 분포의 진화를 묘사한다.

ABSTRACT

Fundamental solution of Fokker - Planck equation is built by means of the Fourier transform method. The result is checked by direct calculation. Changes: missed factor in (29), (30), corrected (31), (35), removed former (36), added explanation on prolonged operators (45), (46), (47).

연구 동기 및 목표

• 위치 및 속도 좌표에서 복합 확산이 존재하는 3차원 위상공간에서 Fokker-Planck 방정식의 기본 해에 대한 정확한 해석적 표현을 유도하는 것.
• 속도 비례 감쇠력과 확률적 확산을 받는 비상호작용 입자 시스템의 시간 진화를 모델링하는 것.
• 위치 및 속도 공간에서의 초기 델타 함수 분포에 대한 폐쇄형 해를 제공하는 것.
• 대칭성 분석과 원래 PDE에 대한 직접 대입을 통한 검증을 통해 해를 검증하는 것.

제안 방법

• Fokker-Planck 방정식에 푸리에 변환을 적용하여 운동량 공간에서 일阶 선형 PDE로 변환하는 것.
• 변환된 PDE를 특성선 방법으로 풀어, 운동량(px, py, pz) 세 개와 속도 운동량 및 초기 조건을 포함한 추가의 3개의 불변량을 식별하는 것.
• 특성 방정식을 통합하여 푸리에 공간에서의 해를 유도하고, 푸리에 변환의 로그를 이차형식으로 표현하는 것.
• 역 푸리에 변환을 적용하며, 콘볼루션 성질과 이차형식을 갖는 가우시안 함수의 알려진 변환 쌍을 활용하는 것.
• 초기 입자 위치와 속도를 나타내는 이동한 델타 함수와 시간에 따라 변화하는 가우시안 커널의 콘볼루션으로서 기본 해를 구성하는 것.
• 반대 방향 검증 방법을 사용하여 해를 검증하는 것: 해에 대해 가우시안 형태를 가정하고 원래 PDE에 대입하여 유도된 계수들이 유도된 ODE 시스템을 만족하는지 확인하는 것.

실험 결과

연구 질문

• RQ1 속도에 의존하는 감쇠력과 위치 및 속도 공간에서의 복합 확산이 존재하는 3차원 Fokker-Planck 방정식의 정확한 기본 해는 무엇인가?
• RQ2 복합 확산과 감쇠력이 작용하는 위상공간에서 초기 덴타 함수 분포로부터 해는 어떻게 진화하는가?
• RQ3 푸리에 변환과 특성선 방법을 사용하여 해를 유도하고 검증할 수 있는가?
• RQ4 공간 이동과 속도 이동을 나타내는 미분 연산자는 Fokker-Planck 방정식의 대칭성인가?
• RQ5 유도된 해가 직접 대입을 통해 원래 PDE를 만족하는가?

주요 결과

• 기본 해는 감쇠 계수 α와 확산 계수 k에 명시적으로 의존하는 시간에 따라 변화하는 계수를 갖는 위상공간에서의 가우시안 함수로 주어진다.
• 해는 초기 위치와 속도를 반영하는 이동한 덴타 함수와 시간에 따라 변화하는 가우시안 커널의 콘볼루션 형태를 갖는다.
• 공간 및 속도 성분은 (1 − e^−αt)/α 비례하는 드리프트 항을 통해 진화하며, 이는 속도가 0으로 수렴하고 초기 속도에 의해 발생하는 공간 이동을 반영한다.
• 지수부의 이차형식 행렬의 행렬식은 D(t) = αt(1 − e^−2αt) − 2(1 − e^−αt)²/(2α⁴)로 주어지며, 이는 해의 너비의 시간 진화를 지배한다.
• 가우시안 앵색을 원래 Fokker-Planck 방정식에 대입하여 유도된 ODE 시스템이 만족되는 것으로 보여, 해가 검증됨을 보였다.
• 미분 연산자 ∂/∂x, ∂/∂y, ∂/∂z 및 (1/α)(1 − e^−αt)∂/∂x + e^−αt ∂/∂vx (y, z에 대해서도 유사한 형태)가 PDE의 대칭성임을 증명하였으며, 이는 영초기 조건에서 임의의 초기 위치와 속도로의 일반화를 가능하게 한다.