[논문 리뷰] Renormalised singular stochastic PDEs

Ismaël Bailleul, Yvain Bruned|arXiv (Cornell University)|2021. 01. 28.

Advanced Topology and Set Theory참고 문헌 23인용 수 5

한 줄 요약

이 논문은 정칙성 구조 이론 내에서 일반화된 재규합 맵을 사용하여 특이한 스토케스틱 PDE를 재규합하는 새로운 대수적 프레임워크를 제안한다. 확장된 장식을 필요로 하지 않으며, 비선형성에 대한 새로운 곱 연산 하에서의 준동형 성질을 증명함으로써 BPHZ 재규합이 특수한 경우로 나타나며, 준비 맵과 연결된 더 깊은 대수적 구조를 드러낸다.

ABSTRACT

Extended decorations on naturally decorated trees were introduced in the work of Bruned, Hairer and Zambotti on algebraic renormalization of regularity structures to provide a convenient framework for the renormalization of systems of singular stochastic PDEs within that setting. This non-dynamical feature of the trees complicated the analysis of the dynamical counterpart of the renormalization process. We provide a new proof of the renormalized system by-passing the use of extended decorations and working for a large class of renormalization maps, with the BPHZ renormalization as a special case. The proof reveals important algebraic properties connected to preparation maps.

연구 동기 및 목표

• 정칙성 구조에서 확장된 장식을 사용하지 않고 특이한 스토케스틱 PDE의 재규합된 시스템을 위한 새로운 증명 프레임워크를 개발하는 것.
• BPHZ를 특수한 경우로 포함하는 광범위한 재규합 맵의 클래스로 재규합 과정을 일반화하는 것.
• 준비 맵과 $Δ$-코작용과의 연결을 통해 재규합 과정의 내재된 대수적 성질을 밝혀내는 것.
• 장식된 트리 위에서 새로운 곱 연산 $∗$ 에서의 비선형성에 대한 준동형 성질을 확립하여 재규합 고정점 공식화의 일관성을 보장하는 것.

제안 방법

• 비선형성의 구조를 코딩하기 위해 접목과 미분 맵 $↑^k_B$ 를 사용하여 장식된 트리 위에 새로운 곱 연산 $∗$ 를 정의한다.
• $∗$-곱을 사용하여 트리 기호로 인덱싱된 비선형 함수 $F_i$ 에 대해 준동형 성질을 정의하여 재규합 과정과의 호환성을 확보한다.
• 정칙성 구조 이론의 $Δ$-코작용을 적용하여 $∗$-곱을 역으로 연결함으로써 모델링된 분포 프레임워크와 연결한다.
• 이전에 역동적 분석을 복잡하게 만들었던 확장된 장식을 피하는 장식된 트리와 준비 맵의 대수적 설정에서 작업한다.
• 모델링된 분포 공간 $τ \in \mathcal{D}^\gamma(T, \mathsf{g})$ 에서 고정점 공식화를 유도하여, 초임계성 조건 하에서 잘 정의됨을 보장한다.
• BPHZ 재규합이 일반화된 재규합 맵의 특수한 경우로 복원됨을 보여주며, 이 프레임워크의 일반성을 검증한다.

실험 결과

연구 질문

• RQ1 정칙성 구조에서 확장된 장식을 사용하지 않고 특이한 SPDE의 재규합을 재구성할 수 있는가?
• RQ2 재규합 과정의 배경이 되는 대수적 구조는 무엇이며, 이를 일반화된 재규합 맵를 통해 어떻게 기록할 수 있는가?
• RQ3 새로운 트리 곱 $∗$ 는 $Δ$-코작용과 어떻게 관련되며, 해의 재구성과 어떤 관계가 있는가?
• RQ4 이 프레임워크에서 BPHZ 재규합은 넓은 범위의 재규합 맵 클래스에 자연스럽게 포함되는가?
• RQ5 $∗$ 에서의 비선형성 준동형 성질이 재규합된 SPDE의 고정점 공식화에서 일관성을 보장할 수 있는가?

주요 결과

• 새로운 증명 프레임워크는 확장된 장식을 완전히 회피하여 특이한 SPDE에서의 역동적 재규합 분석을 단순화한다.
• 일반화된 재규합 맵은 BPHZ를 특수한 경우로 포함하여 이 프레임워크의 광범위한 적용 가능성을 입증한다.
• 모든 $\sigma, \tau$ 에 대해 트리 공간 내에서 준동형 성질 $F_i(\sigma \star \tau) = \partial^k D_{a_1}\dots D_{a_n} F_i(\tau) \prod_j F_{l_j}(\tau_j)$ 이 성립하여 재규합 과정 하에서 비선형성의 일관성이 보장된다.
• 곱 $\star$ 는 결합법칙을 만족하고 $Δ$-코작용과 쌍대를 이룬다. 이는 정칙성 구조 프레임워크 내에서 깊은 대수적 연결 고리를 드러낸다.
• 모델 $\mathsf{M}$ 이 적합하고 노이즈가 정규화된 경우, 해의 재구성 $u = \mathsf{R}^\mathsf{M} \mathsf{u}$ 는 형식적 SPDE (1.1)을 만족한다.
• 이 프레임워크는 준비 맵이 재규합 과정과 본질적으로 연결되어 있음을 드러내며, 특이한 SPDE의 구조에 대한 새로운 대수적 통찰을 제공한다.