[논문 리뷰] Large deviation principle for bridges of degenerate diffusions

Ismaël Bailleul|arXiv (Cornell University)|2013. 03. 12.

Advanced Mathematical Modeling in Engineering참고 문헌 4인용 수 5

한 줄 요약

이 논문은 컴act 다양체 위에서 비타당한 미분형식의 다리(bridge)에 대해, 하위타원형 리 괄호 조건 하에서 대규모 편차 원리(LDP)를 수립한다. 히트 커널 추정과 거친 경로 기법을 사용하여, 시간 영역이 0으로 수렴함에 따라 조건부 확산의 분포가 두 끝점 사이의 유일한 최소 에너지 경로에 집중된 드리에크 측도로 약한 수렴함을 증명하며, 다리 분포의 결정론적 1차 점근적 행동을 규명한다.

ABSTRACT

We prove that bridges of subelliptic diffusions on a compact manifold, with distinct ends, satisfy a large deviation principle in a space of Holder continuous functions, with a good rate function, when the travel time tends to 0. This leads to the identification of the deterministic first order asymptotics of the distribution of the bridge under generic conditions on the endpoints of the bridge.

연구 동기 및 목표

• 컴 pact 다각체 위에서 비타당한 확산의 조건부(다리) 과정에 대해 대규모 편차 원리(LDP)를 수립하는 것.
• 시간 영역이 0으로 갈수록 다리 분포의 결정론적 1차 점근적 행동을 규명하는 것.
• 타원형 경우를 초월하여 리 괄호 조건에 의해 지배되는 더 일반적인 하위타원형 설정으로 LDP 결과를 확장하는 것.
• 준거 확산 분석이나 확률 흐름에 의존하지 않고, 히트 커널 추정과 거친 경로 이론을 사용한 직접적이고 분석적인 증명을 제공하는 것.

제안 방법

• LDP의 비용 함수로 하위리만다 거리와 에너지 함수 $ J(\gamma) = \frac{1}{2}(\inf\|h\|^2 - d(x,y)^2) $ 를 사용한다.
• 전이 확률을 제어하고 지수적 경계를 도출하기 위해 Léandre의 히트 커널 추정을 적용한다.
• Hölder 위상에서 가족 $ \mathbb{P}^{x,y}_{\epsilon} $ 의 지수적 밀도를 확립하기 위해 거친 경로 이론을 활용한다.
• 경로의 이웃 영역에서의 확률을 추정하기 위해 시간 반전과 경로 잘라내기 기법을 사용하여 LDP의 하한 및 상한을 증명한다.
• 기존의 대규모 편차 결과와 연결하기 위해 고전적 Freidlin-Wentzell 이론과 용량 추정을 활용한다.
• 일반적인 조건 하에서 $ \mathbb{P}^{x,y}_{\epsilon} $ 가 유일한 최소 에너지 경로에 집중된 드리에크 측도로 약한 수렴함을 확립한다.

실험 결과

연구 질문

• RQ1 시간 영역이 0으로 수렴함에 따라 비타당한 확산의 다리 측도는 대규모 편차 원리를 만족하는가?
• RQ2 일반적인 끝점 조건 하에서 다리 분포의 결정론적 1차 극한은 무엇인가?
• RQ3 타원성 조건 없이 최소한의 하위타원형 리 괄호 조건 하에서 LDP를 수립할 수 있는가?
• RQ4 비용 함수 $ J $ 는 경로의 에너지와 하위리만다 거리와 어떻게 관련이 있는가?
• RQ5 다리 측도가 유일한 최소 에너지 경로에 집중된 드리에크 델타 측도로 약한 수렴하기 위한 조건은 무엇인가?

주요 결과

• 가족 $ \mathbb{P}^{x,y}_{\epsilon} $ 는 $ \frac{1}{3} < \alpha < \frac{1}{2} $ 인 공간 $ \mathcal{C}^{\alpha}_{x,y}([0,1],M) $ 에서 좋은 비용 함수 $ J $ 를 가진 대규모 편차 원리를 만족한다.
• 비용 함수 $ J(\gamma) $ 는 $ \frac{1}{2}(\inf\|h\|^2 - d(x,y)^2) $ 로 주어지며, 여기서 최소화는 $ \gamma^h = \gamma $ 를 만족하는 제어 $ h $ 에 대해 이루어진다.
• 두 점 $ x $ 와 $ y $ 사이에 유일한 최소 에너지 경로 $ \gamma $ 가 존재할 경우, 다리 측도 $ \mathbb{P}^{x,y}_{\epsilon} $ 는 $ \epsilon \to 0 $ 일 때 $ \delta_\gamma $ 로 약한 수렴한다.
• 다양체 $ M^2 $ 에서 유일한 최소 에너지 경로를 갖는 쌍 $ (x,y) $ 의 집합은 $ M^2 $ 에서 조밀하다.
• 증명은 분석적이고 자가 포함적이며, 히트 커널 추정과 거친 경로 기법에 의존하여 준거 확산 분석이나 확률 흐름의 필요성을 피한다.
• 결과는 리 괄호 조건 하에서 Freidlin-Wentzell 이론을 비타당한 경우로 확장하며, 이 일반 설정에서의 첫 번째 명시적 증명을 제공한다.