[논문 리뷰] Transport noise restores uniqueness and prevents blow-up in geometric transport equations

Aythami Bethencourt-de-León, So Takao|arXiv (Cornell University)|2022. 11. 27.

Stochastic processes and financial applications인용 수 4

한 줄 요약

이 논문은 벡터장과 k-벡터장이 포함된 기하학적 운반 방정식에서 운반 노이즈가 유일성 회복과 유한시간 폭발 방지를 가능하게 한다는 것을 증명한다. 노이즈 하에서 스트로크 플로우와 헬더 추정을 적용하여 근사의 수렴성과 균일한 유계성을 입증함으로써, 특성의 특이성 발생으로 인해 결정론적 방정식이 실패할 수 있는 경우에도 잘 정의된 문제임을 보장한다.

ABSTRACT

In this work, we demonstrate well-posedness and regularisation by noise results for a class of geometric transport equations that contains, among others, the linear transport and continuity equations. This class is known as linear advection of $k$-forms. In particular, we prove global existence and uniqueness of $L^p$-solutions to the stochastic equation, driven by a spatially $α$-Hölder drift $b$, uniformly bounded in time, with an integrability condition on the distributional derivative of $b$, and sufficiently regular diffusion vector fields. Furthermore, we prove that all our solutions are continuous if the initial datum is continuous. Finally, we show that our class of equations without noise admits infinitely many $L^p$-solutions and is hence ill-posed. Moreover, the deterministic solutions can be discontinuous in both time and space independently of the regularity of the initial datum. We also demonstrate that for certain initial data of class $C^\infty_{0},$ the deterministic $L^p$-solutions blow up instantaneously in the space $L^{\infty}_{loc}$. In order to establish our results, we employ characteristics-based techniques that exploit the geometric structure of our equations.

연구 동기 및 목표

• 결정론적 동역학 하에서 기하학적 운반 방정식의 유일성 붕괴와 유한시간 폭발 문제를 다루기 위해.
• 스토크라틱(노이즈 정규화) 운반 플로우가 이러한 방정식에서 잘 정의된 문제를 복원할 수 있는지 조사하기 위해.
• 노이즈가 있는 플로우 하에서 k-벡터장의 역상 근사의 수렴성을 증명하기 위해.
• 스토크라틱 플로우 하에서 도함수와 헬더 노름에 대한 균일한 유계성을 확립하여 정규성을 보장하기 위해.
• 벡터장에서 고차원 k-벡터장으로의 결과 확장을 인도적 추론을 통해 수행하기 위해.

제안 방법

• 노이즈에 의해 구동되는 스트로크 플로우 (ϕt, ψt) 를 사용하여 기하학적 운반 방정식을 정규화한다.
• 자기행렬과 도함수 항의 차이를 제어하기 위해 헬더 부등식과 코시-슈바르츠 부등식을 적용한다.
• 가중 헬더 노름과 추정치(예: C1(ω,t) 및 C2)를 사용하여 역상의 변동을 유계화한다.
• k에 대한 귀납을 통해 벡터장(k=1)에서 k-벡터장(k≥2)으로 결과를 일반화한다.
• k-벡터장의 역상 차이를 벡터장 유형 문제로 줄이기 위해 보조 벡터장 vml,i 및 vl,i 를 정의한다.
• Lr 및 L2r 노름을 통한 모멘트 유계성과 균일한 적분 가능성을 활용하여 기대값 수렴을 보장한다.

실험 결과

연구 질문

• RQ1 운반 노이즈는 결정론적 경우에 특이성이 있는 기하학적 운반 방정식에서 폭발을 방지할 수 있는가?
• RQ2 노이즈는 k-벡터장에 대한 기하학적 운반 방정식의 해에서 유일성을 복원하는가?
• RQ3 스토크라틱 플로우는 k-벡터장의 역상의 정규성에 어떤 영향을 미치는가?
• RQ4 노이즈 하에서 근사의 수렴을 보장하기 위해 필요한 모멘트 및 헬더 추정치는 무엇인가?
• RQ5 스토크라틱 정규화를 통해 시간과 공간에 대해 균일하게 역상의 수렴을 확립할 수 있는가?

주요 결과

• k-벡터장에 대해 운반 노이즈는 근사의 수렴성 ϕtm∗U → ϕt∗U 를 Lr(ω,t,R′)에서 보장하며, 수렴 속도는 헬더 및 모멘트 추정치에 의해 제어된다.
• C1(ω,t) 항은 헬더 제어와 플로우의 약한 수렴성으로 인해 극한에서 사라지며, 안정성을 보장한다.
• 모든 s≥1 에 대해 ∥Dϕ⋅m(⋅)∥Lsω,t,R′n/4 의 균일한 유계성이 유지되어 도함수의 폭발을 방지한다.
• ~r(ϕt(x)) 의 L2r 노름은 ∥~r∥L∞R′r∥Dϕ⋅(⋅)∥Lnω,t,R′n/2<∞ 를 통해 유계지며, 적분 가능성을 보장한다.
• k=2 인 경우, 역상의 차이는 ∥Dψt∥L8r 및 ∥ϕ⋅m−ϕ⋅∥L4r 를 포함하는 항들로 유계지며, 이들 모두는 0으로 수렴한다.
• 귀납적 프레임워크는 일반적인 k로 확장되며, r>(n+1)/(α2k+1) 인 가정이 2r>(n+1)/α2k 를 위한 재귀적 적용을 보장한다.