[논문 리뷰] Paracontrolled quasilinear SPDEs

Marco Furlan, Massimiliano Gubinelli|arXiv (Cornell University)|2016. 10. 25.

Differential Equations and Numerical Methods참고 문헌 40인용 수 5

한 줄 요약

이 논문은 다항형 확률편미분방정식(quasilinear stochastic PDEs), 예를 들어 공간-시간 백색잡음이 있는 포물형 안드레아슨 모형과 같은 문제를 재정규화하기 위해 비선형 파라컨트롤(calculus)을 도입한다. 파라프로덕트를 통해 비선형성을 분해하고, 일정한 계수를 가진 매개변수형 템플릿 해를 사용함으로써, 정규화된 해가 하올더 공간에서 거의 확실하게 잘 정의된 극한으로 수렴함을 입증한다. 이는 낮은 정규성의 잡음으로 인해 발생하는 특이성을 해결한다.

ABSTRACT

We introduce a non-linear paracontrolled calculus and use it to renormalise a class of singular SPDEs including certain quasilinear variants of the periodic two dimensional parabolic Anderson model.

연구 동기 및 목표

• 매우 불규칙한 잡음을 가진 비선형 확률편미분방정식을 재정규화하기 위한 프레임워크를 개발하는 것.
• 잡음의 낮은 정규성과 비선형성으로 인해 고전적 해 이론이 붕괴되는 문제를 다루는 것.
• 확산 계수가 해에 의존하는 비선형 설정으로 파라컨트롤 계산법을 확장하는 것.
• 정규화된 해가 포물형 하올더 노름에서 잘 정의된 극한으로 거의 확실하게 수렴함을 입증하는 것.
• 백색잡음 이외의 다양한 잡음 구조와 벡터값 방정식으로 이 접근법을 일반화하는 것.

제안 방법

• 보니의 파라프로덕트 분해를 기반으로 한 비선형 파라컨트롤 계산법을 도입하여, 비선형 확률편미분방정정에서 특이한 항들을 다루는 데 사용한다.
• 비선형성을 $ \partial_t u - a(u) \prec \Delta u = \xi + \Phi(u) $ 로 분해하며, 여기서 $ \prec $ 는 파라프로덕트를 나타내고 $ \Phi(u) $ 는 공진 기여를 포괄한다.
• 일정한 계수 $ \eta_1, \eta_2 $ 를 가진 매개변수형 템플릿 문제를 사용하여 해의 구조를 모델링하고, 파라컨트롤 앵색(Ansatz) $ u = \Pi_{\prec\prec}(a(u), \vartheta) + u^\sharp $ 를 정의한다.
• 삼중선형 교환자 추정과 파라프로덕트 추정을 적용하여 $ \mathscr{C}^\alpha $ 공간에서 비선형 항의 정규성을 제어한다.
• 시간으로 스무스한 파라프로덕트와 비교 보조정리를 사용하여 시간 정규성을 다루고 포물형 하올더 노름에서 수렴성을 확보한다.
• 정규화 보정항 $ \sigma_\varepsilon \frac{a'(u_\varepsilon)}{a(u_\varepsilon)^2} $ 을 추가함으로써 정규화된 해 $ u_\varepsilon $ 의 수렴성을 증명하며, 이는 $ \varepsilon \to 0 $ 일 때 발산을 상쇄시키기 위해 선택된다.

실험 결과

연구 질문

• RQ1 확산 계수가 해 자체에 의존하는 비선형 확률편미분방정식에 대해 파라컨트롤 계산법을 확장할 수 있는가?
• RQ2 비선형성이 분포론적 의미에서 잘 정의되지 않는 공간-시간 백색잡음을 가진 비선형 확률편미분방정식을 어떻게 재정규화할 수 있는가?
• RQ3 정규화된 해가 하올더 공간에서 극한으로 수렴하도록 보장하기 위해 필요한 올바른 재정규화 보정항은 무엇인가?
• RQ4 파라컨트롤 접근법을 비정수, 비퇴화 계수와 일반적인 잡음 구조를 가진 방정식으로 일반화할 수 있는가?
• RQ5 잡음의 포물형 정규성 $ \rho > -4/3 $ 인 경우, 포물형 하올더 공간에서 해의 정규성은 어떻게 되는가?

주요 결과

• 비선형 확률편미분방정식의 해 $ u $ 는 거의 확실하게 포물형 하올더 공간 $ \mathscr{L}_T^\alpha(\mathbb{T}^2) = C([0,T], \mathscr{C}^\alpha(\mathbb{T}^2)) \cap C^{\alpha/2}([0,T], \mathscr{C}^0(\mathbb{T}^2)) $ 에 속하며, $ \alpha \in (2/3, 1) $ 이다.
• 정규화된 해 $ u_\varepsilon $ 는 $ \varepsilon \to 0 $ 일 때 재정규화 보정항 $ \sigma_\varepsilon \frac{a'(u_\varepsilon)}{a(u_\varepsilon)^2} $ 을 추가한 후 거의 확실하게 극한 $ u $ 로 수렴한다.
• 극한 $ u $ 는 파라컨트롤 특이 확률편미분방정식을 만족하며, 분해 $ u = \Pi_{\prec\prec}(a(u), \vartheta) + u^\sharp $ 로 특징지어지며, 여기서 $ u^\sharp $ 는 표준 편미분방정식을 만족한다.
• 공진 항 $ a(u) \circ \Delta u $ 는 정규성 $ 2\alpha - 2 $ 를 가지며, 이는 잡음 $ \xi \in \mathscr{C}^{\alpha-2} $ 보다 더 좋기 때문에 파라컨트롤 기법으로 제어할 수 있다.
• 이 방법은 공간 백색잡음에 국한되지 않고, 벡터값 시스템과 포물형 정규성 $ \rho > -4/3 $ 인 잡음이 포함된 광범위한 방정식 클래스에 적용 가능하다.
• 이 이론은 강건하며, 일반적인 매끄럽고 비퇴화된 계수를 가진 방정식 $ a_1(u)\partial_t u - a_2(u)\Delta u = \xi(a_3(u), t, x) $ 로 자연스럽게 확장된다.