[논문 리뷰] Infinite-dimensional stochastic differential equations and tail $ σ$-fields

Hirofumi Osada, Hideki Tanemura|arXiv (Cornell University)|2014. 12. 30.

Random Matrices and Applications참고 문헌 41인용 수 12

한 줄 요약

이 논문은 $ ^d$에서 무한히 많은 상호작용하는 브라운 운동 입자를 기술하는 무한차원 확률미분방정식(ISDEs)에 대한 강해의 존재성과 경로별 유일성을 보장하는 일반적인 정리들을 수립한다. 레이블된 경로 공간의 尾 $ $-필드를 이용한 새로운 설정을 도입함으로써, 루엘의 클래스(예: 레너드존스 6-12) 및 랜덤 매트릭스 이론의 로그함수 잠재력과 같은 넓은 범위의 상호작용 잠재력에 대해 이러한 결과들을 증명하며, 이 분야에서 오랫동안 남아있던 열린 문제를 해결한다.

ABSTRACT

We present general theorems solving the long-standing problem of the existence and pathwise uniqueness of strong solutions of infinite-dimensional stochastic differential equations (ISDEs) called interacting Brownian motions. These ISDEs describe the dynamics of infinite-many Brownian particles moving in $ \mathbb{R}^d $ with free potential $ Φ$ and mutual interaction potential $ Ψ$. We apply the theorems to essentially all interaction potentials of Ruelle's class such as the Lennard-Jones 6-12 potential and Riesz potentials, and to logarithmic potentials appearing in random matrix theory. We solve ISDEs of the Ginibre interacting Brownian motion and the sine$_β$ interacting Brownian motion with $ β= 1,2,4$. We also use the theorems in separate papers for the Airy and Bessel interacting Brownian motions. One of the critical points for proving the general theorems is to establish a new formulation of solutions of ISDEs in terms of tail $ σ$-fields of labeled path spaces consisting of trajectories of infinitely many particles. These formulations are equivalent to the original notions of solutions of ISDEs, and more feasible to treat in infinite dimensions.

연구 동기 및 목표

• 무한히 많은 상호작용하는 브라운 운동을 기술하는 무한차원 SDE(ISDEs)에 대한 강해의 존재성과 경로별 유일성을 증명하는 오랜 동안 남아있던 열린 문제를 해결하기 위해.
• 기존의 컴 pact 지지 또는 지수 감소 잠재력에 국한된 ISDE 이론의 적용 범위를 통계역학 및 랜덤 매트릭스 이론에서 중요한 다항식 감소 및 로그함수 잠재력으로 확장하기 위해.
• 레이블된 경로 공간의 꼬리 $\r$-필드를 이용한 ISDE 해의 새로운 설정을 개발하여, 무한차원 설정에서 더 분석 가능하도록 만들기 위해.
• 기본 모델인 진이브레 및 사인 $\beta$ 상호작용 브라운 운동($\beta = 1,2,4$)에 대해 적용 가능한 정리를 수립하기 위해.
• 약해와 딜레르트 형식을 다룬 이전 결과들을 통합하고 확장하는 일반적인 프레임워크를 제공하기 위해.

제안 방법

• 레이블된 경로 공간의 꼬리 $\r$-필드 $\mathcal{T}_{ m{path}}(S^{\mathbb{N}})$를 이용한 ISDE 해의 새로운 설정을 도입하며, 이는 고전적 해와 동치이지만 무한차원 설정에서 분석에 더 유리하다.
• IFC, TT, AC, SIN, NBJ의 다섯 가지 가정을 포함하는 다섯 가지 가정 프레임워크를 사용하여, 꼬리 $ $-필드가 자명한 경우($\mathcal{T}_{ m{path}}(S^{\mathbb{N}})$)와 비자명한 경우에 대해 각각 주요 정리 두 개를 증명한다.
• 경로 공간의 꼬리 $ $-필드가 다섯 가지 가정 하에 자명하다는 두 번째 꼬리 정리(정리 5.1)를 확립하며, 이는 경로별 유일성을 증명하는 데 핵심적인 단계이다.
• 계수의 국소화와 리프시츠 연속성 논증(제8.2조)를 사용하여 진이브레 및 사인 $\beta$ 과정과 같은 특정 모델에 대해 존재성과 유일성을 증명한다.
• 랜덤 환경을 가진 SDE에 대한 야마다와 와타나베 이론을 적용하여 다섯 가지 가정 하에 강해를 확립한다.
• 조지아이의 꼬리 분해를 사용하여 조건부 측도의 구조를 분석하고, 꼬리 측도가 거의 확실히 0 또는 1임을 증명함으로써 유일성을 확보한다.

실험 결과

연구 질문

• RQ1 장거리 또는 로그함수 상호작용 잠재력(예: 레너드존스 6-12 잠재력)을 가진 ISDE에 대해 강해가 존재하고 경로별로 유일하게 존재할 수 있는가?
• RQ2 무한차원 공간에서의 분석에 더 적합한 방식으로 ISDE의 해 개념을 어떻게 재정의할 수 있는가?
• RQ3 레이블된 경로 공간의 꼬리 $ $-필드가 언제 자명해지며, 이는 해의 경로별 유일성과 어떻게 관련되는가?
• RQ4 일반 정리들이 진이브레 및 사인 $\beta$ 랜덤 점장에 대해 $\beta=1,2,4$일 때 ISDE를 해결하는 데 적용될 수 있는가?
• RQ5 상호작용 잠재력과 초기 측도에 대해 다섯 가지 핵심 가정(Implicit Feller Condition, Trivial Tail, Absolute Continuity, Strong Irreducibility, Non-Blocking Jump)이 성립하기 위한 충분조건는 무엇인가?

주요 결과

• 논문은 루엘의 클래스에 속하는 상호작용 잠재력(예: 레너드존스 6-12 잠재력 및 리츠 잠재력 포함)을 가진 ISDE에 대해 강해의 존재성과 경로별 유일성을 보장하는 일반 정리(정리 3.1 및 3.4)를 수립한다.
• 저자들은 다섯 가지 가정 하에 꼬리 $ $-필드 $\mathcal{T}_{ m{path}}(S^{\mathbb{N}})$가 자명하다는 것을 증명하며, 이는 경로별 유일성을 증명하는 데 핵심적인 단계이다.
• 진이브레 상호작용 브라운 운동은 일반 정리들을 사용하여 $\beta=1,2,4$에 대해 해결되었으며, 유일한 강해 존재가 확인되었다.
• 사인 $\beta$ 상호작용 브라운 운동($\beta=1,2,4$)도 동일한 프레임워크를 통해 해결되었으며, 이는 이전 결과를 $\beta$ 값의 전체 범위로 확장한 것이다.
• 특히 SIN 및 NBJ 조건에 대해 국소화와 테일러 전개 기법을 사용하여 다섯 가지 핵심 가정에 대한 충분조건를 제공한다.
• 꼬리 분해 결과(보조정리 14.2)는 꼬리 측도 $\mu_{ m{Tail}}^{\mathsf{a}}$가 거의 확실히 0 또는 1이며, 서로 다른 값에 대해 상호 비정상적임을 보여주며, 이는 유일성 증명에 필수적이다.