[논문 리뷰] Forward Feynman-Kac type representation for semilinear nonconservative Partial Differential Equations

Anthony Le Cavil, Nadia Oudjane외 1명|arXiv (Cornell University)|2016. 08. 17.

Fractional Differential Equations Solutions참고 문헌 28인용 수 8

한 줄 요약

이 논문은 해의 값과 그 기울기에 따라 변하는 비선형 이탈 및 반응 항을 포함한 비보존 비선형 편미분방정식(nonconservative parabolic PDEs)에 대해 프로브레프-파인만-카크 유형의 전진형 표현을 제안한다. 비선형 확률미분방정식을 통해 해의 존재성과 유일성을 확립하고, 가중치를 가진 입자 시스템의 수렴성을 보이며, 보존적이지 않은 설정으로 확장된 확률적 표현을 제공한다. 이는 버거스-피셔 방정식과 하미르톤-자코비-벨만 방정식을 포함한다.

ABSTRACT

We propose a nonlinear forward Feynman-Kac type equation, which represents the solution of a non-conservative semilinear parabolic Partial Differential Equations (PDE). We show in particular existence and uniqueness. The solution of that type of equation can be approached via a weighted particle system.

연구 동기 및 목표

• 해의 값과 그 기울기에 따라 변하는 반응 항을 포함한 비보존 비선형 편미분방정식에 대해 확률적 표현을 보존적인 경우에서 확장한다.
• 반응-확산 과정에서 발생하는 비보존 항을 포함한 편미분방정식에 대해 시간 전진형 확률적 표현을 수립한다.
• 기존의 McKean 유형의 비선형 확률미분방정식을 시간에 따라 변화하는 지수 마틴갈러 인자와 함께 시간 동질적인 전진형 확률미분방정식을 통해 비보존 역학을 다룰 수 있도록 일반화한다.
• 보존적이지 않은 경우를 초월하여 두 번째 차수 비선형 편미분방정식을 해석하기 위한 엄밀한 확률적 프레임워크를 제공한다. 이는 확률적 제어 이론에서 유래한 하미르톤-자코비-벨만 방정식을 포함한다.
• 해가 입자 수가 증가함에 따라 수렴하는 가중치를 가진 입자 시스템을 통해 근사 가능함을 보이며, 혼합의 전파 및 수렴 결과를 활용한다.

제안 방법

• 브라운 운동에 의해 구동되는 전진형 비선형 확률미분방정식 (1.2)를 제안하며, 이는 해 $ u $에 따라 변하는 이탈 및 분산 계수를 포함하고, 시간 진동에는 $ \nabla u $를 포함하는 비선형 지수 인자로 구성된다.
• 파인만-카크 유형의 공식 (1.2)를 사용하여 해 $ u(t, \cdot) $를 시간에 따라 변화하는 측도의 밀도로 정의하며, 이는 가중치를 가진 경험 분포의 기대값을 포함한다.
• 비선형 확률미분방정식의 해에 이토의 공식을 적용하여 편미분방정식 (1.1)을 유도하며, 이로써 확률미분방정식의 해가 편미분방정식의 약한 해임을 증명한다.
• 시간 간격 $ \tau $를 사용한 시간 이산화 방법 (3.13)을 적용하며, 전이 핵함수 $ P(s,x_0,t,dx) $ 를 사용하여 측도 $ \mu $ 의 진화를 정의하고, 귀납법을 통해 일致성을 증명한다.
• 입자 간에 해 $ u $ 를 기반으로 한 평균장 유형의 가중치를 갖는 가중치를 가진 입자 시스템을 도입하며, 입자 수가 증가함에 따라 진짜 해로 수렴함을 보인다.
• 전이 핵함수의 마르코프 성질을 확인하기 위해 찰크프-콜모고로프 방정식을 적용하며, 시간 이산화 방법의 일致성을 보장한다.

실험 결과

연구 질문

• RQ1 해의 값과 그 기울기에 따라 변하는 반응 항을 포함한 비선형 비보존 편미분방정식에 대해 전진형 확률적 표현을 구성할 수 있는가?
• RQ2 제안된 비선형 확률미분방정식 (1.2)는 유일한 해를 가지며, 이는 기저 편미분방정식 (1.1)의 약한 해와 대응하는가?
• RQ3 비보존 편미분방정식의 해는 가중치를 가진 입자 시스템을 통해 근사 가능하며, 이러한 방법의 수렴 거동은 어떠한가?
• RQ4 해 $ u $ 와 $ \nabla u $ 에 따라 변하는 $ \Lambda $-항의 포함 여부가 보존적인 경우($ \Lambda = 0 $)와 비교해 확률적 표현에 어떤 영향을 미치는가?
• RQ5 제안된 프레임워크는 버거스-피셔 방정식 또는 하미르톤-자코비-벨만 방정식과 같은 중요한 편미분방정식 클래스에 적용 가능한가?

주요 결과

• 적절한 정규성 및 비퇴화 조건 하에서, 편미분방정식 (1.1)의 해 $ u $ 는 비선형 확률미분방정식 (1.2)의 해 $ Y_t $ 의 법칙의 밀도와 동치임을 보였다.
• 함수 $ \Phi $ 가 매끄럽고 리프시츠 연속이며 비퇴화이고, $ g $ 가 리프시츠 연속일 경우 비선형 확률미분방정식 (1.2)의 해에 대해 존재성과 경로 유일성을 확립하였다.
• 편미분방정식 (1.4)의 약한 해는 전방 방정식 (1.2)의 유일한 해로 특징지어지며, 해 $ u $ 는 지수 마틴갈러 인자에 의해 정의된 측도 $ \nu_t $ 의 밀도이다.
• 귀납법과 찰크프-콜모고로프 방정식을 통해 시간 이산화 방법 (3.13) 이 연속 시간 방정식 (1.2) 와 일致함을 증명하였으며, 이는 근사의 수렴을 보장한다.
• 가중치를 가진 입자 시스템 근사는 법의 수렴성을 보이며, 수렴 속도는 시간 간격 $ \tau $ 에 따라 달라지며, 혼합의 전파 현상은 유지된다.
• 이 프레임워크는 버거스-피셔 방정식과 하미르톤-자코비-벨만 방정식과 같은 비보존 편미분방정식에 성공적으로 확장되었으며, 전통적인 편미분방정식 해법에 대한 확률적 대안을 제공한다.