[논문 리뷰] Regularity Structures on Manifolds and Vector Bundles

Martin Hairer, Harprit Singh|arXiv (Cornell University)|2023. 08. 09.

Advanced Mathematical Modeling in EngineeringComputer Science인용 수 3

한 줄 요약

이 논문은 리만 다양체 위에서 값이 벡터 다발에 있는 단순한 확률 편미분방정식(singular stochastic PDEs)을 해결하기 위해 정칙성 구조 이론을 일반화한다. 기하적 프레임워크를 도입하여 제트 다발, 계층적 구조, 적응된 모델을 사용하며, 접속과 계량을 통합함으로써 시공간 백색잡음에 의해 구동되는 초임계 SPDEs를 다룰 수 있게 되었고, 고차원에서 곡률에 따라 달라질 수 있는 재정규화 절차를 포함한다.

ABSTRACT

We develop a generalisation of the original theory of regularity structures, [Hai14], which is able to treat SPDEs on manifolds with values in vector bundles. Assume $M$ is a Riemannian manifold and $E o M$ and $F^i o M$ are vector bundles (with a metric and connection), this theory allows to solve subcritical equations of the form $$ \partial_t u + \mathcal{L}u = \sum_{i=0}^m G_i(u, abla u,\ldots, abla^n u)ξ_i\ , $$ where $u$ is a (generalised) section of $E$, $\mathcal{L}$ is a uniformly elliptic operator on $E$ of order strictly greater than $n$, the $ξ_i$ are $F^i$-valued random distributions (e.g. $F^i$-valued white noises), and the $G_i:E imes TM^*\otimes E imes\ldots imes (TM^*)^{\otimes n} \otimes E o L(F^i ,E)$ are local functions. We apply our framework to three example equations which illustrate that when $\mathcal{L}$ is a Laplacian it is possible in most cases to renormalise such equations by adding spatially homogeneous counterterms and we discuss in which cases more sophisticated renormalisation procedures (involving the curvature of the underlying manifold) are required.

연구 동기 및 목표

• 리만 다각형 위에서 해가 벡터 다발에 속하는 확률 편미분방정식을 다룰 수 있도록 정칙성 구조 이론을 일반화하는 것.
• 접속, 계량, 스케일링 구조를 포함하는 기하적 프레임워크를 개발하여 다각형 위에서 정칙성 구조와 모델을 정의하는 것.
• 다각형 위에서 ∂tu + Lu = ∑Gi(u, ∇u, ..., ∇nu)ξi 형태의 초임계 SPDEs를 해결하기 위한 일반적인 분석적 프레임워크를 수립하는 것.
• 재정규화가 공간적으로 균일한 보정항인지, 곡률에 의존하는 보정항이 필요한지 식별하는 것.
• 이 프레임워크를 기하적 PAM 및 다각형 위의 Φ⁴ 유형 방정식과 같은 구체적 방정식에 적용하는 것.

제안 방법

• 유클리드 공간에서의 동차성 개념을 일반화하기 위해 리만 계량과 호환되는 접속을 사용하여 다각형 위에 기하적 스케일링 구조를 도입하는 것.
• 제트 다발 J^k를 사용하여 추상 다항식의 계층적 공간을 구성하고, 자연스러운 포함 J^k ↪ J와 자연스러운 노름 및 계층 구조를 갖추는 것.
• 대칭 집합과 벡터 다발 할당의 텐서곱을 통해 다발 위에서 정칙성 구조를 정의함으로써 구조화된 모델링 분포를 허용하는 것.
• 클래식한 정칙성 구조 프레임워크를 다각형으로 일반화하기 위해, 이완된 일致 조건 Π_p Γ_p,q ≈ Π_q 를 만족하는 모델을 정의하는 것.
• 특수한 커널에 대한 재구성과 통합을 적용하여 모델링 분포를 정의하고 추상 방정식을 해결하는 것.
• 모델에 대한 재정규화 군 작용을 도입하고, 라플라스 연산자가 충분하지 않은 경우 곡률에서 유도된 명시적 보정항을 제공하는 것.

실험 결과

연구 질문

• RQ1 정칙성 구조 이론은 어떻게 리만 다각형 위에서 해가 벡터 다발에 속하는 SPDEs를 다룰 수 있도록 일반화될 수 있는가?
• RQ2 정합적인 정칙성 구조를 정의하기 위해 필요한 기하적 구조는 무엇인가? 예를 들어 접속, 계량, 스케일링 등.
• RQ3 다각형 위의 SPDEs에 대한 재정규화는 언제 곡률에 무관한가, 언제 곡률에 의존하는 보정항이 필요한가?
• RQ4 이 프레임워크는 콪팩트 다각형 위의 기하 SPDEs, 예를 들어 g-PAM 및 Φ⁴ 방정식에 적용될 수 있는가?
• RQ5 벡터 다발 값의 분포를 가진 다각형 환경에서 재구성 및 통합 연산자는 어떻게 행동하는가?

주요 결과

• 이론은 정칙성 구조를 리만 다각형 위의 벡터 다발으로 성공적으로 일반화하여, 시공간 백색잡음에 의해 구동되는 초임계 SPDEs를 해결할 수 있게 되었다.
• 콤��� 2차원 다각형 위의 g-PAM 방정식에서는 공간적으로 균일한 보정항으로도 충분하며, 비트리비얼 기하학적 구조가 존재하더라도 문제없이 적용된다.
• 4차원 다각형에서는 방정식 ∂tu + Δu = u² + ξ 에 추가로 스칼라 곡률 비례 보정항이 필요함을 보여주며, 재정규화의 곡률 의존성이 확인된다.
• 2차원 또는 3차원 다각형 위에서 벡터 다발 위의 일반화된 라플라스 연산자를 갖는 Φ⁴ 유형 방정식은 재정규화를 통해 해를 얻을 수 있으며, 공식적으로 이중우물 포텐셜을 갖는 기브스 측도로 표현되는 불변 측도를 가진다.
• 이 프레임워크는 다각형 위에서 모델링 분포와 재구성의 체계적인 다루기 가능성을 제공하며, 특이 커널에 대한 일致적인 통합이 가능하다.
• 대칭 집합과 벡터 다발 할당의 텐서곱을 사용함으로써 정칙성 구조를 범주론적이고 대수학적으로 기술할 수 있으며, 유클리드 경우를 일반화한다.