[논문 리뷰] Ergodicity of Stochastic Curve Shortening Flow in the Plane

Abdelhadi Es–Sarhir, M.-K. von Renesse|arXiv (Cornell University)|2010. 03. 10.

Stochastic processes and financial applications참고 문헌 11인용 수 7

한 줄 요약

이 논문은 가속도 항이 있는 평면 상의 확률적 곡선 단순화 흐름에 대해, 비선형 확률 편미분방정식의 비퇴화형 변분 프레임워크와 리아푸노프 유형 조건(강한 강제성 조건 대신)을 사용하여 잘 정의됨과 정규성의 존재를 입증한다. 주요 기여는 e-성질과 컴팩트한 수준집합을 가진 리아푸노프 함수를 통해 정규성을 증명함으로써, 강한 강제성 조건이 성립하지 않는 평균 곡률 유형의 확률적 편미분방정식에 이론을 확장하는 것이다.

ABSTRACT

We study a model of the motion by mean curvature of an (1+1) dimensional interface in a 2D Brownian velocity field. For the well-posedness of the model we prove existence and uniqueness for certain degenerate nonlinear stochastic evolution equations in the variational framework of Krylov Rozovskii, replacing the standard coercivity assumption by a Lyapunov type condition. Ergodicity is established for the case of additive noise, using the lower bound technique for Markov semigroups by Komorowski, Peszat and Szarek

연구 동기 및 목표

• 표준 강제성 조건이 성립하지 않는 경우에도 평면 상의 비퇴화형 확률적 곡선 단순화 흐름에 대해 잘 정의됨을 입증하는 것.
• 강제성 조건을 대체하는 리아푸노프 유형 조건을 사용한 비선형 확률 편미분방정식의 변분 프레임워크를 개발하는 것.
• 가속도 항이 있는 경우에 일반해가 e-성질과 리아푸노프 함수의 컴팩트한 수준집합을 통해 정규성을 보임을 증명하는 것.
• 기하학적 흐름에 대해 비퇴화형 드리프트 연산자를 가진 확률 편미분방정식 이론의 적용 범위를 확장하는 것.

제안 방법

• Gelfand 삼중체 $ H_0^1([0,1]) \subset L^2([0,1]) \subset H^{-1}([0,1]) $ 내에서 확률적 곡선 단순화 흐름을 비선형 확률 편미분방정식으로 공식화하는 것.
• Krylov-Rozovskiï 프레임워크를 사용하여 리아푸노프 유형 조건을 강제성 조건 대신 사용하여 존재성과 유일성을 입증하는 것.
• 근사화를 통해 $ L^2([0,1]) $ 상의 초기 자료에 대해서도 일반해를 $ L^2([0,1]) $ 상의 마코프 과정으로 정의하는 것.
• 리아푸노프 함수의 컴팩트한 수준집합을 사용하여 관련된 펠러 반군의 e-성질을 검증하는 것.
• Komorowski, Peszat, 및 Szarek [6, Theorem 1]의 추상적 정규성 기준을 적용하여 가속도 항이 있는 경우에 정규성을 입증하는 것.
• 확률적 추정과 Poincaré 부등식을 사용하여 해의 차이를 제어하고 정규성에 필요한 하한 조건을 확보하는 것.

실험 결과

연구 질문

• RQ1 표준 강제성 조건이 실패할 경우 비퇴화형 드리프트를 가진 확률적 곡선 단순화 흐름에 대해 잘 정의됨이 입증될 수 있는가?
• RQ2 Krylov-Rozovskiï의 변분 프레임워크가 리아푸노프 유형 조건을 통해 비강한 강제성 조건을 가진 확률 편미분방정식에 일반화될 수 있는가?
• RQ3 가속도 항이 있는 경우에 일반해가 정규성을 가지는가?
• RQ4 리아푸노프 함수의 컴팩트한 수준집합을 사용하여 이 SPDE와 관련된 마코프 반군의 e-성질을 검증할 수 있는가?
• RQ5 해 과정의 장기적 행동은 $ L^2([0,1]) $ 에서 어떻게 되며, 유일한 불변 측도로 수렴하는가?

주요 결과

• 조건 $ \sum_{i=1}^\infty (\text{Lip}(\phi_i))^2 \leq \Lambda^2 $ 하에, SPDE (1.2)는 초기 자료가 $ L^2 $ 에도 불구하고 $ L^2([0,1]) $ 상의 마코프 과정으로서 유일한 일반해를 가진다.
• 초기 자료가 $ H_0^1([0,1]) $ 에 속할 경우, 해는 강한 해로서 변분 방법에 의해 유일하게 정의된다.
• 일반해는 e-성질을 만족하고 가속도 항이 있는 경우 정규성을 가지며, Komorowski, Peszat, 및 Szarek의 하한 기법을 통해 입증된다.
• 컴팩트한 수준집합을 가진 리아푸노프 함수의 존재는 정규성에 필요한 하한 조건을 검증하는 데 기여한다.
• 이행 확률은 모든 $ \delta > 0 $ 와 $ x \in L^2([0,1]) $ 에 대해 $ \liminf_{T\to\infty} Q^T(x, B_\delta(0)) > 0 $ 를 만족하며, 이는 영점 주변으로의 균일한 재진입을 확인한다.
• 기본 흐름이 국소적으로 균형점으로 수렴하지 않기 때문에 [6, Theorem 3]과 같은 다른 기준이 적용되지 않음에도 불구하고, 정규성 결과는 성립한다.