[논문 리뷰] A priori bounds for the $Φ^4$ equation in the full sub-critical regime

Ajay Chandra, Augustin Moinat외 1명|Warwick Research Archive Portal (University of Warwick)|2019. 10. 30.

Advanced Mathematical Modeling in Engineering참고 문헌 30인용 수 9

한 줄 요약

이 논문은 하이어러의 정규성 구조 프레임워크를 사용하여 전체 부분임계 영역에서 $φ^4$ 방정식에 대한 사전 경계를 수립한다. 노이즈 정규성 $C^{-3+\delta}$로 조정함으로써, 공간-시간 실린더 위의 해가 경계 데이터에 관계없이 다항식 표현에 의해 균일하게 유계임을 증명하며, $-\phi^3$ 비선형성으로 인한 초선형 감쇠 효과를 활용한다.

ABSTRACT

We derive a priori bounds for the $Φ^4$ equation in the full sub-critical regime using Hairer's theory of regularity structures. The equation is formally given by \begin{equation} \label{e}(\partial_t-Δ)ϕ= -ϕ^3 + \infty ϕ+ξ, ag{$\star$} \end{equation} where the term $+\infty ϕ$ represents infinite terms that have to be removed in a renormalisation procedure. We emulate fractional dimensions $d<4$ by adjusting the regularity of the noise term $ξ$, choosing $ξ\in C^{-3+δ}$. Our main result states that if $ϕ$ satisfies this equation on a space-time cylinder $P= (0,1) imes \{ |x| \leq 1 \}$, then away from the boundary $\partial P$ the solution $ϕ$ can be bounded in terms of a finite number of explicit polynomial expressions in $ξ$, and this bound holds uniformly over all possible choices of boundary data for $ϕ$. The derivation of this bound makes full use of the super-linear damping effect of the non-linear term $-ϕ^3$. A key part of our analysis consists of an appropriate re-formulation of the theory of regularity structures in the specific context of \eqref{e}, which allows to couple the small scale control one obtains from this theory with a suitable large scale argument. Along the way we make several new observations and simplifications. Instead of a model $(Π_x)_x$ and the family of translation operators $(Γ_{x,y})_{x,y}$ we work with just a single object $(\mathbb{X}_{x, y})$ which acts on itself for translations, very much in the spirit of Gubinelli's theory of branched rough paths. Furthermore, we show that in the specific context of \eqref{e} the hierarchy of continuity conditions which constitute Hairer's definition of a \emph{modelled distribution} can be reduced to the single continuity condition on the "coefficient on the constant level".

연구 동기 및 목표

• 전체 부분임계 영역, 즉 $d=4$ 이하의 분수 차원까지 포함하여 $φ^4$ 방정식에 대해 균일한 사전 경계를 수립하는 것.
• 정규성 구조에서 짧은 시간 존재성의 한계를 극복하기 위해 초기 조건이나 경계 데이터에 의존하지 않는 경계를 도출하는 것.
• 콤���트 집합에서의 해 제어가 노이즈 실현에만 의존함을 보여주어 결정론적 대규모 분석이 가능하게 하는 것.
• 정규성 구조 프레임워크를 단일 이동 객체를 통해 단순화하고, 모델링된 분포를 하나의 이동 객체로 재정의하는 것.
• $φ^4$ 맥락에서 모델링된 분포의 연속성 조건 계층이 상수 수준 계수에서의 단일 연속성 조건으로 축소됨을 보여주는 것.

제안 방법

• 분수 차원 $d<4$ 를 모의하기 위해 노이즈 $\xi$ 의 정규성 $C^{-3+\delta}$ 를 가정하며, $\delta \in (0, \frac{1}{2})$ 라고 둔다.
• 각 $X\bullet\tau$ 가 $\xi$ 에 대한 차수 $m_\tau$ 의 다항식인 국소적 곱 승격 $X\bullet\tau$ 를 사용하여 재규격화된 항을 표현한다.
• 구성된 정규성 구조를 단일 객체 $X_{x,y}$ 를 통해 재정의하며, 이는 구빈젤리의 가지 구조 브랜치드 루프 경로에 영감을 받는다.
• 잔여항 $v = \phi - \sum_{\tau \in \mathcal{T}_\mathcal{L}} X\bullet I(\tau)$ 를 정의하고, 더 작은 실린더 $D_R = (R^2, 1) \times \{ |x| < 1-R \}$ 에서의 초월 노름 $\|v\|_{D_R}$ 을 유계로 제한한다.
• 정규성 구조에 의한 소규모 제어와 포아송형 하올더 노름 및 삼점 연속성 경계를 사용한 대규모 추정을 조합한 하이브리드 방법을 적용한다.
• 모델링된 분포의 전체 연속성 조건 계층을 상수 수준 계수에서의 단일 조건으로 축소한다.

실험 결과

연구 질문

• RQ1 전체 부분임계 영역, 즉 $d=4$ 이하의 모든 분수 차원 $d<4$ 에 대해 $φ^4$ 방정식에 대한 사전 경계를 균일하게 수립할 수 있는가?
• RQ2 정규성 구조 프레임워크에서 $-\phi^3$ 비선형성으로 인한 초선형 감쇠 효과를 어떻게 활용하여 경계 데이터에 의존하지 않는 경계를 확보할 수 있는가?
• RQ3 특히 모델 및 모델링된 분포 정의 측면에서, $φ^4$ 방정식의 구체적 맥락에서 정규성 구조 기계를 얼마나 단순화할 수 있는가?
• RQ4 모델링된 분포의 연속성 조건 계층이 $φ^4$ 설정에서 단일 조건으로 축소될 수 있는가? 그리고 이는 정규성 추정에 어떤 영향을 미치는가?
• RQ5 콤팩트 도메인에서의 노이즈 실현만을 사용하여 콤팩트 집합에서의 해 거동을 어떻게 결정론적으로 제어할 수 있는가?

주요 결과

• 공간-시간 실린더 $D = (0,1) \times \{ |x| \leq 1 \}$ 에서의 $φ^4$ 방정식 해 $\phi$ 는 임의의 더 작은 실린더 $D_R = (R^2, 1) \times \{ |x| < 1-R \}$ 에서 균일한 사전 경계를 만족한다.
• 경계 데이터에 관계없이 균일하게 성립하는 경계 $\|v\|_{D_R} \lesssim \max\left( \frac{1}{R}, \frac{[X; \tau]^{1/\delta}}{m_\tau} \right)$ 가 성립하며, 여기서 $v = \phi - \sum X\bullet I(\tau)$ 이고, 이 경계는 오직 노이즈 실현과 $R$ 에만 의존한다.
• 모델링된 분포의 연속성 조건 계층이 상수 수준 계수에서의 단일 조건으로 축소되어, 이 맥락에서 이론의 분석을 크게 단순화시킨다.
• 저자들은 단일 이동 객체 $X_{x,y}$ 를 도입하여, 전체 모델 $(\mathcal{M}_x)_x$ 와 이동 연산자 $(\Pi_{x,y})_{x,y}$ 가 필요 없도록 하였으며, 구빈젤리의 접근과 일치시켰다.
• 분석 결과, 비선형성 $-\phi^3$ 가 초선형 감쇠 효과를 제공하여 경계 조건에 무관한 전역 제어를 가능하게 한다.
• 노이즈 정규성 $\delta \to 0^+$ 로 조정함으로써 기존의 $d=3$ 에서의 경계를 전체 부분임계 영역, 즉 $d=2$ 와 $d \to 4^-$ 로 확장한다.