[논문 리뷰] Distribution Dependent Reflecting Stochastic Differential Equations

Feng‐Yu Wang|arXiv (Cornell University)|2021. 06. 24.

Stochastic processes and financial applications참고 문헌 29인용 수 5

한 줄 요약

이 논문은 비볼록 영역에서 특이성 또는 단조성 계수를 가진 분포에 의존하는 반사 확률미분방정식(DDRSDEs)에 대해 잘 정의됨과 기능적 부등식을 수립한다. 이는 일반적인 기준을 제시하여 DDRSDE의 잘 정의됨을 표준 반사 SDE의 잘 정의됨으로 귀결시키며, 노이만 경계 조건을 가진 관련 비선형 포크너-플랭크 방정식에 대해 로그-하르낙크 부등식을 도출한다.

ABSTRACT

To characterize the Neumann problem for nonlinear Fokker-Planck equations, we investigate distribution dependent reflecting SDEs (DDRSDEs) in a domain. We first prove the well-posedness and establish functional inequalities for reflecting SDEs with singular drifts, then extend these results to DDRSDEs with singular or monotone coefficients, for which a general criterion deducing the well-posedness of DDRSDEs from that of reflecting SDEs is established.

연구 동기 및 목표

• 노이만 경계 조건을 가진 비선형 포크너-플랭크 방정식을 모델링하기 위해 분포에 의존하는 반사 SDEs(DDRSDEs)에 대한 이론적 프레임워크를 개발하는 것.
• 특이한 비틀림을 가진 반사 SDE의 잘 정의됨 이론을 분포에 의존하는 경우로 확장하는 것.
• DDRSDE의 잘 정의됨을 분포에 의존하지 않는 계수를 가진 표준 반사 SDE의 잘 정의됨으로 유도하는 일반적인 기준을 수립하는 것.
• DDRSDE에 의해 생성된 마코프 세미군에 대해 기능적 부등식—특히 로그-하르낙크 부등식—을 유도하는 것.
• 이론을 (특이한) 곡물 매체 방정식과 같은 구체적 모델에 적용하여 노이만 경계 조건을 갖는다.

제안 방법

• 분석은 볼록성의 일반화이며 $ C^k_b $-연속 경계를 포함하는 도메인 가정(D) 하에서 수행된다.
• 다른 초기 분포를 가진 두 해를 비교하기 위해 시간에 따라 변형된 베셀 과정과 기리산وف 변환을 사용하는 커플링 방법이 사용된다.
• 핵심 기술 도구는 두 해 $ X_t $와 $ Y_t $ 사이의 거리를 제어하는 시간에 따라 변형된 베셀 과정 $ \xi_t $이며, 라돈-니코디움 미분의 마틴갈 representation을 유도하는 데 사용된다.
• 기리산오프 변환을 적용하여 확률 측도를 재가중하고, 드리프트 보정이 있는 SDE를 새로운 측도 하에서 표준 SDE로 변환한다.
• 상대 엔트로피 유계 $ \mathbb{E}[N_{t_0} \log N_{t_0}] \leq \frac{c}{t_0} \mathbb{W}_2(\mu_0, \nu_0)^2 $를 통해 로그-하르낙크 부등식이 유도되며, 이는 초기 분포 간 거리에 대한 의존성을 제어한다.
• 최종 부등식을 확립하기 위해 이토의 공식, 마틴갈 수렴, 파투의 보조정리를 사용하여 극한을 취하는 데 의존한다.

실험 결과

연구 질문

• RQ1 비볼록 또는 거친 경계를 가진 영역에서 분포에 의존하는 반사 SDE는 어떤 조건에서 유일한 강한 해를 갖는가?
• RQ2 DDRSDE의 잘 정의됨은 분포에 의존하지 않는 계수를 가진 표준 반사 SDE의 잘 정의됨으로 어떻게 귀결될 수 있는가?
• RQ3 일반적인 계수 조건 하에서 DDRSDE의 마코프 세미군에 대해 로그-하르낙크와 같은 기능적 부등식은 무엇을 도출할 수 있는가?
• RQ4 이 이론은 노이만 경계 조건을 가진 비선형 포크너-플랭크 방정식, 예를 들어 곡물 매체 방정식에 적용될 수 있는가?
• RQ5 로그-하르낙크 부등식은 초기 분포 간 거리 $ \mathbb{W}_2(\mu_0, \nu_0) $ 에 대해 어떤 정량적 의존성을 가지는가?

주요 결과

• 논문은 비볼록 영역에서도 분포에 의존하는 반사 SDE의 잘 정의됨을 특이성 또는 단조성 계수를 가진 경우에 대해 도메인 가정(D) 하에서 증명한다.
• DDRSDE의 잘 정의됨을 분포에 의존하지 않는 계수를 가진 표준 반사 SDE의 잘 정의됨으로 귀결시키는 일반적인 기준이 수립된다.
• DDRSDE와 관련된 마코프 세미군에 대해 로그-하르낙크 부등식이 도출되며, 형태 $ P_{t_0} \log f(\nu_0) \leq \log P_{t_0} f(\mu_0) + \frac{c}{t_0} \mathbb{W}_2(\mu_0, \nu_0)^2 $ 의 유계를 가진다.
• 라돈-니코디움 미분의 상대 엔트로피는 $ \mathbb{E}[N_{t_0} \log N_{t_0}] \leq \frac{c}{t_0} \mathbb{W}_2(\mu_0, \nu_0)^2 $ 를 만족하며, 이는 유한 시간 내 경로 유일성을 암시한다.
• 이론은 노이만 경계 조건을 가진 곡물 매체 방정식에 적용되어, 해가 로그-하르낙크 부등식을 만족하고 에르고딕성과 일관된 장기적 행동을 보임을 보여준다.
• 경계에 대한 최소한의 정규성 가정—$ C^k_b $ 및 $ C^{k+\varepsilon}_b $ 스무스성—하에서도 결과가 성립하며, 볼록 영역을 초월하여 확장된다.