Invariance of $ϕ^4$ measure under nonlinear wave and Schrödinger equations on the plane

기술 요약: 평면에서의 비선형 파동 방정식 및 슈뢰딩거 방정식에 대한 $\phi^4$ 측도의 불변성

문제 정의
본 논문은 2차원 유클리드 평면 $\mathbb{R}^2$ 상에서 디포커싱(defocusing) 질량형 비선형 파동 방정식(NLW)과 3차 비선형 슈뢰딩거 방정식(NLS)의 전역적 적정성(global well-posedness) 및 측도 불변성을 다룬다. 핵심 과제는 $\phi^4_2$ 무한 부피 측도(양자장론으로부터 유도된 깁스 측도)에서 샘플링된 초기 데이터에 대해 거의 확실한(almost sure) 전역적 존재성과 유일성을 확립하는 것이다.

차원이 $d \ge 2$인 경우, $\phi^4$ 측도는 함수가 아닌 분포(distributions) 위에 지지되므로, 위크 오더링(Wick ordering, 예: NLW의 경우 $:u^3:$, NLS의 경우 $:u|u|^2:$)을 통한 비선형 항의 재규격화(renormalization)가 필수적이다. 이러한 측도들이 그에 대응하는 방정식에 대해 불변이라는 사실은 주기적 도메인(토러스) $\mathbb{T}^d$ 상에서는 이미 입증되었다(특히 Bourgain, Oh, Thomann 등에 의해). 그러나 이러한 결과를 무한 부피 설정인 $\mathbb{R}^2$로 확장하는 것은 상당한 어려움을 수반한다. 구체적으로, 무한 부피 측도는 주기적 근사법의 약한 극한(weak limits)으로만 정의되며, 가우시안 자유 장(Gaussian free field, GFF)에 대해 절대 연속이 아니므로, 표준적인 총 변동(total variation) 수렴 논리를 적용할 수 없다. 또한, NLS 방정식은 파동 방정식이 가진 유한한 전파 속도(finite speed of propagation) 특성이 결여되어 있어, 주기적 설정으로의 환원이 복잡하다.

방법론
저자들은 확률적 콤팩트성 논증, 유한한 전파 속도, 그리고 확률적 양자화(stochastic quantization) 기술을 결합한 전략을 사용한다.

1. 주기적 근사와 약한 극한: 구성은 토러스 $\Lambda_L = [-L, L]^2$ 상의 $\phi^4_2$ 측도로부터 시작된다. 무한 부피 측도 $\mu$는 $L \to \infty$일 때 이 주기적 측도들의 약한 극한으로 얻어진다. 저자들은 확률적 양자화 접근법(Da Prato–Debessche 분해)을 통해 확립된, 다항식 가중치 베소프 공간(polynomially weighted Besov spaces) $H^{-\varepsilon}(\rho)$에서의 측도 타이트니스(tightness)에 의존한다. 여기서 해는 특이 가우시안 부분과 더 정규적인 섭동(perturbation)으로 분리된다.

2. 유한한 전파 속도 (NLW): 비선형 파동 방정식의 경우, 저자들은 유한한 전파 속도를 활용한다. 이 성질은 문제를 국소화할 수 있게 한다: 시간 간격 $[0, T]$ 내의 콤팩트한 공간 영역 $D$에 관한 사건은 빛의 원뿔(light cone)에 의해 결정되는 유계 영역 내의 초기 데이터에만 의존한다. 따라서 $L$이 충분히 크면, $\Lambda_L$ 상의 주기적 해를 $D$로 제한한 것은 무한 부피 해와 일치하게 된다. 이를 통해 약한 수렴을 통해 주기적 사례로부터 무한 부피 사례로 불변성 결과를 전이할 수 있다.

3. Bourgain의 전역화 논증: 전역적 적정성 증명은 Bourgain이 도입한 확률적 프레임워크를 따른다.

   • 국소 적정성(Local well-posedness): 선형 부분과 그 Wick 거듭제곱에 대한 모멘트 유계값에 의해 정의된 고확률 집합 $A$ 내의 초기 데이터에 대해 결정론적 국소 존재성이 증명된다.
     고전적인 리우빌 정리(Liouville's theorem)를 통해 유한 차원 해밀토니안 시스템 상에서 절단된 깁스 측도의 불변성이 보장된다. 극한을 취함으로써, 절단되지 않은 주기적 측도의 불변성이 확립된다.
   • 전역화: 국소 존재 시간 $\tau$를 반복 사용하고 측도의 불변성을 이용함으로써, 폭발(blow-up)할 확률이 임의로 작음을 보인다. 저자들은 해가 전역적으로 존재하고 유일한 초기 데이터의 고확률 집합을 구성함으로써 이를 무한 부피 사례로 적응시킨다.

4. NLS를 위한 약한 불변성: 비선형 슈뢰딩거 방정식의 경우, 유한한 전파 속도의 결여로 인해 직접적인 주기적 사례로의 환원이 불가능하다. 대신, 저자들은 "약한 불변성" 결과를 증명한다. 이들은 감소된 공간적 정규성을 가진 공간($s > 4$인 $H^{-s}(\rho)$)에서 주기적 해의 타이트니스를 확립하고, 콤팩트성을 사용하여 수렴하는 부분 수열을 추출한다. 극한은 NLS의 마일드 형식(mild formulation)을 만족하며, 그 궤적의 법칙(law)은 $\phi^4$ 측도와 일치함이 밝혀진다. 이 접근법은 경로적 유일성(pathwise uniqueness)과 완전한 공간적 정규성을 희생하며, 이는 유체 방정식에서 사용되는 "Albeverio–Cruzeiro" 의미의 불변성과 일치한다.

주요 기여 및 결과

• 정리 1.1 (NLW에 대한 전역적 존재성 및 유일성): 저자들은 무한 부피 $\phi^4_2$ 측도와 화이트 노이즈의 곱에서 샘플링된 거의 모든 초기 데이터에 대해, $\mathbb{R}^2$ 상의 디포커싱 질량형 NLW가 $C(\mathbb{R}^+; H^{-\varepsilon}(\rho))$ 내에서 유일한 마일드 해를 가짐을 증명한다. 결정적으로, 무한 부피 $\phi^4$ 측도는 이 방정식의 흐름(flow)에 대해 불변이다.
• 정리 1.2 (NLS에 대한 약한 불변성): $\mathbb{R}^2$ 상의 3차 NLS에 대해, 저자들은 복소 $\phi^4_2$ 측도로부터의 거의 모든 초기 데이터에 대해, 더 낮은 정규성을 가진 공간($s > 4$인 $C(\mathbb{R}^+; H^{-s}(\rho))$) 내의 마일드 해가 존재함을 증명한다. 임의의 시간 $t$에서의 해의 법칙은 초기 $\phi^4$ 측도와 일치한다. 이 설정에서는 해의 유일성이 확립되지 않는다.
• 기술적 단순화: 본 논문은 NLW에 대한 주기적 이론을 검토하고 약간 단순화하여, Bourgain의 전역화 논증과 약한 극한 측도의 구성에 대한 상세한 설명을 제공한다.
• 무한 부피 처리: 저자들은 유한한 전파 속도를 활용하여 무한 부피 측량의 절대 연속성 결여를 우회함으로써 문제를 주기적 설정으로 환원하고, 이를 통해 총 변동 수렴을 사용할 수 있음을 보여준다.

의의 및 주장
본 논문은 이전 연구들이 1차원 또는 방사 대칭(radial symmetry)에 국한되었던 $\mathbb{R}^2$ 상의 NLW에 대한 $\phi^4$ 측도의 전역적 적정성과 불변성을 해결했다고 주장한다. 저자들은 자신들의 논증이 유한한 전파 속도에 크게 의존하며, 이것이 최적 운송(optimal transport) 또는 Wasserstein 메트릭을 사용하는 최근의 확률적 양자화 연구들(예: Oh, Tolomeo, Wang, Zheng)과 구별되는 점이라고 언급한다.

NLS와 관련하여, 저자들은 유한한 전파 속도의 부재로 인해 결과가 NLW 사례보다 약함을 인정한다. 저자들은 이 설정에서 해의 유일성에 대해 언급할 수 없음을 명시하며, 이는 1차원에서 성립하는 성질이다. NLS 결과의 의의는 (Euler 및 Navier–Stokes 방정식에서 탐구되었던) 약한 불변성의 개념을 전체 공간에서의 2D NLS로 확장했다는 데 있다.

저자들은 자신들의 작업을 확률적 분산 PDE(probabilistic dispersive PDE) 이론의 더 넓은 맥락 안에 위치시키며, 주기적 도메인 불변성 이론은 거의 완성 단계에 있지만 무한 부피 사례는 여전히 덜 개발되었음을 지적한다. 그들은 자신들의 방법론이 더 일반적인 다항식 비선형성 및 벡터 값 모델로 확장될 수 있음을 시사하지만, 더 높은 차원(예: $\mathbb{R}^3$)은 더 심각한 특이 거동으로 인해 분석적 추정치의 상당한 변화가 필요할 것임을 인정한다.