[논문 리뷰] Invariant measure for a three dimensional nonlinear wave equation

Nicolas Burq, Nikolay Tzvetkov|ArXiv.org|2007. 07. 10.

Advanced Mathematical Physics Problems참고 문헌 2인용 수 10

한 줄 요약

이 논문은 3차원에서의 비집중하적(의존하적) 하위세제곱 비선형파동방정식에 대해, $ H^{1/2} $ 이하의 낮은 정규성 조건을 만족하는 원형 대칭 소볼레프 공간에서 낮은 정규성의 무작위 초기 자료에 대해 전역 존재성과 유일성을 확립한다. 해밀토니안 근사 프레임워크와 발산이 없는 벡터장에 대한 리우빌 정리에 기반한 새로운 불변 측도 구성 방법을 사용하여, 흐름 하에서 유한한 불변 측도가 존재함을 증명하였으며, 이를 통해 파oincaré의 정리에 의해 재귀성을 확보한다.

ABSTRACT

We study the long time behavior of the subcritical (subcubic) defocussing nonlinear wave equation on the three dimensional ball, for random data of low regularity. We prove that for a large set of radial initial data in $\cap_{s<1/2} H^s(B(0,1))$ the equation is (globally in time) well posed and we construct an invariant measure.

연구 동기 및 목표

• 3차원 단위 구 내에서 비집중하적 하위세제곱 비선형파동방정식에 대해 낮은 정규성의 무작위 초기 자료에 대해 전역 잘 정의성을 확립한다.
• 비선형파동방정식의 흐름 하에서 $ L^2 $-노름 보존이 없음에도 불구하고, 유한한 불변 측도를 구성한다.
• 비선형 슈뢰딩거 방정식에 사용된 불변 측도 구성 방법을 비선형파동방정식으로 확장하여, $ L^2 $-보존이 없는 상황에서도 이를 극복한다.
• 불변 측도를 통해 흐름의 재귀성 성질을 Poincaré의 재귀 정리에 의해 증명한다.

제안 방법

• 3차원 구에서의 원형 고유함수 $ e_n(r) = \frac{\sqrt{2}\sin(\pi n r)}{r} $ 를 이용한 스펙트럼 절단을 통해 무한차원 파동방정식을 유한차원 해밀토니안 상미분방정식으로 근사한다.
• 독립적인 표준 정규분포 $ (h_n, l_n) $ 를 이용한 초기 자료의 확률적 구성으로, $ \cap_{s<1/2} H^s_{\text{rad}}(B(0,1)) $ 에서의 위너 측도를 정의한다.
• 3차원 구에서 원형 파동에 대한 스트리카르츠 유형 부등식을 사용하여, $ \sigma \in \left(\max\left(0,\frac{\alpha-1}{\alpha}\right), \frac{1}{2}\right) $ 에 대해 $ C([-T,T], H^\sigma_{\text{rad}}) $ 에서 국소 잘 정의성을 증명한다.
• 균일한 유계성과 컴팩턴스를 이용하여 근사 ODE에서 극한을 취함으로써, $ C(\mathbb{R}, H^\sigma_{\text{rad}}) $ 에서 전역 해로의 수렴을 확보한다.
• 유한차원 근사에서 발산이 없는 벡터장에 대한 리우빌 정리를 활용하여, 유한차원 측도 $ \rho_N $ 의 극한으로서 불변 측도 $ \rho $ 를 구성한다.
• 흐름의 균일한 연속성과 근사에서의 측도 수렴을 이용하여, 컴팩트 집합 $ K $ 에 대해 $ \rho(\Phi(\tau)(K)) \geq \rho(K) $ 를 증명함으로써 측도 불변성을 입증한다.

실험 결과

연구 질문

• RQ1 3차원에서 비집중하적 비선형파동방정식에 대해, $ \cap_{s<1/2} H^s_{\text{rad}}(B(0,1)) $ 에서의 초기 자료에 대해 전역 해를 구성할 수 있는가?
• RQ2 비선형파동방정식의 흐름 하에서 $ L^2 $-노름 보존이 없을 경우, 유한한 불변 측도가 존재하는가?
• RQ3 비선형 슈뢰딩거 방정식에 사용된 불변 측도 구성 방법을 $ L^2 $-보존이 없는 비선형파동방정식에 적용할 수 있는가?
• RQ4 무작위 초기 자료에 대해 거의 확실히 전역 존재성을 보장하는 정규성 임계값은 무엇인가?
• RQ5 장기간에 걸쳐 흐름은 통계적으로 어떻게 행동하며, 불변 측도로부터 어떤 재귀 성질이 도출되는가?

주요 결과

• $ \alpha < 2 $ 인 경우, $ \cap_{s<1/2} H^s_{\text{rad}}(B(0,1)) $ 에서 거의 확실히 원형 초기 자료에 대해 비선형파동방정식은 전역 잘 정의되며, $ \sigma \in \left(\max\left(0,\frac{\alpha-1}{\alpha}\right), \frac{1}{2}\right) $ 에 대해 해는 $ C(\mathbb{R}, H^\sigma_{\text{rad}}) $ 에 속한다.
• 해는 사전 조건으로서의 유계성 $ \|u(t)\|_{H^\sigma_{\text{rad}}} \leq C(f_1,f_2) \log(2+|t|)^{1/2} $ 를 만족하며, 고차 소볼레프 노름에서 느린 성장을 보인다.
• 무작위 초기 자료에 의해 유도된 위너 측도는 불변이 아니지만, 이를 절대 연속으로 하는 새로운 측도 $ \rho $ 는 전역 흐름 하에서 불변이다.
• 불변 측도 $ \rho $ 는 유한차원 근사에서의 극한 절차를 통해 구성되었으며, 근사 ODE에서 발산이 없는 벡터장에 대한 리우빌 정리를 이용하여 그 불변성이 증명되었다.
• 불변 측도의 존재는 $ L^2 $-보존이 없음에도 불구하고 파oincaré의 재귀 정리에 의해 흐름의 재귀성을 암시한다.
• 이 방법은 $ L^2 $-노름 보존에 의존하지 않으며, $ L^2 $-노름 보존이 없는 분산형 PDE에 대한 새로운 불변 측도 구성 접근법을 제공한다.