[논문 리뷰] Generic ill-posedness for wave equation of power type on 3D torus

Bo Xia|arXiv (Cornell University)|2015. 07. 26.

Advanced Mathematical Physics Problems참고 문헌 3인용 수 8

한 줄 요약

이 논문은 초임계 Sobolev 영역 $ s < \frac{3}{2} - \frac{2}{p-1} $ 에서 3차원 토러스 위의 비집중형 거듭제곱형 파동방정식에 대해 일반적인 악수렴성을 확립한다. 이는 $ \mathcal{H}^s(\mathbb{T}^3) $ 에서 악수렴성 해를 유도하는 초기 데이터의 집합이 조밀하다는 것을 증명한다. 또한 [2] 및 [12]에서 제시한 확률적 방법으로 구성된 해들은 표준적인 초기 데이터 정규화로 복구될 수 없으며, 이러한 근사가 일반적인 초기 데이터에서 $ C(\mathbb{R}; \mathcal{H}^s) $ 에서 수렴하지 않기 때문이다.

ABSTRACT

In this article, we prove that the equation \begin{equation*} \left\{\begin{split} &amp;(\partial^2_t-Δ)u+|u|^{p-1}u=0,\ \ \ 3\leq p&lt;5 &amp;\big(u(0),\partial_tu(0)\big)=(u_0,u_1)\in H^{s}(\mathbb{T}^3) imes H^{s-1}(\mathbb{T}^3)=:\mathcal{H}^s(\mathbb{T}^3) \end{split} ight. \end{equation*} with $s

연구 동기 및 목표

• 초임계 Sobolev 영역 $ s < \frac{3}{2} - \frac{2}{p-1} $ 에서 3차원 토러스 위의 거듭제곱형 파동방정식 $ (\partial_t^2 - \Delta)u + |u|^{p-1}u = 0 $ 의 잘 정의됨을 조사한다.
• 확률적 방법 [2] 및 [12]으로 구성된 해들이 정규화된 초기 데이터로부터의 해의 극한으로 복구될 수 있는지 여부를 규명한다.
• $ \mathcal{H}^s(\mathbb{T}^3) $ 에서 악수렴성 해를 유도하는 초기 데이터의 집합이 조밀하다는 것을 증명하여, 악수렴성이 일반적임을 밝힌다.
• 특히 유한 속도 전파 및 프랙탈 Sobolev 노름의 맥락에서 표준 정규화 하에 초깃값에 대한 연속성 의존성 실패를 분석한다.

제안 방법

• 반경형 버스트 함수 $ \chi $ 를 사용한 스펙트럼 절단 $ \chi(2^{-|n|}|\Delta|) $ 을 통해 매끄러운 초기 데이터의 수열 $ (u_{0,n}, u_{1,n}) $ 을 구성한다.
• 정규화된 데이터로부터의 해 $ v_n $ 과의 차이 $ w_n = v - v_n $ 를 분석하고, $ H^s \times H^{s-1} $ 에서 $ w_n $ 의 에너지 추정을 유도한다.
• 유한 속도 전파와 전파 집합의 이산성 특성을 이용하여 국소화된 초기 데이터의 해에 대한 $ H^s $-노름 증가를 국소화한다.
• 레마 5.5 를 적용하여 $ \| \psi_n V(\lambda \phi_n) \|_{H^s} \gtrsim \lambda^s $ 를 도출함으로써, 고주기적이고 국소화된 초기 데이터를 가진 해의 $ H^s $-노름에 하한을 설정한다.
• 에너지 추정과 보간 및 상대적 증가를 조합하여 $ \| w_n \|_{C(\mathbb{R}; \mathcal{H}^s)} \to 0 $ 이 성립하는 것은 $ s > \frac{3}{2} - \frac{2}{p-1} $ 인 경우에만 가능하며, 이 외에는 오차가 여전히 크다는 것을 보인다.
• 유계 영역에서의 Sobolev-Slobodeckij 특성화를 활용하여 집합 $ K_{n_k} $ 에서의 $ H^s $-노름을 제어하며, 이는 서로 이산적인 전파 영역을 이용한다.

실험 결과

연구 질문

• RQ1 초기 데이터가 $ \mathcal{H}^s(\mathbb{T}^3) $ 에 속할 때, $ \mathbb{T}^3 $ 에서의 파동방정식 $ (\partial_t^2 - \Delta)u + |u|^{p-1}u = 0 $ 는 $ s < \frac{3}{2} - \frac{2}{p-1} $ 에서 잘 정의되는가?
• RQ2 확률적 방법 [2] 및 [12]으로 구성된 해들이 정규화된 초기 데이터로부터의 해의 극한으로 복구될 수 있는가?
• RQ3 초기 데이터가 $ \mathcal{H}^s(\mathbb{T}^3) $ 에서 악수렴성 해를 유도하는 집합이 $ s < \frac{3}{2} - \frac{2}{p-1} $ 에서 조밀한가?
• RQ4 유한 속도 전파 하에서 국소화되고 고주기적인 초기 데이터를 가진 해의 $ H^s $-노름은 어떻게 행동하는가?

주요 결과

• 모든 $ s < \frac{3}{2} - \frac{2}{p-1} $ 에 대해 하다르의 의미에서 일반적인 악수렴성이 성립하며, 악수렴성 해를 유도하는 초기 데이터의 집합은 $ \mathcal{H}^s(\mathbb{T}^3) $ 에서 조밀하다.
• 확률적 방법 [2] 및 [12]으로 구성된 해들은 일반적인 초기 데이터에서 $ C(\mathbb{R}; \mathcal{H}^s) $ 에서 정규화된 초기 데이터로부터의 해의 극한으로 복구될 수 없다.
• 초기 데이터 $ (u_0, u_1) \in C_c^\infty \times C_c^\infty $ 에 대해서도, 어떤 $ T > 0 $ 에 대해서도 $ L^\infty([-T,T]; \mathcal{H}^s) $ 에서 해가 존재하지 않는다. 유한 속도 전파가 있음에도 불구하고 그렇다.
• 국소화되고 고주기적인 초기 데이터를 가진 해의 $ H^s $-노름은 $ \log(n)^\alpha $ 의 형태로 증가하며, 이는 노름 붕괴를 시사한다.
• 스펙트럼 절단을 통한 정규화 과정은 $ s < \frac{3}{2} - \frac{2}{p-1} $ 에서 $ C(\mathbb{R}; \mathcal{H}^s) $ 에서 수렴하지 않으며, 오차 $ \| w_n \|_{C(\mathbb{R}; \mathcal{H}^s)} $ 가 0이 되지 않는다.
• 수렴 실패는 지수 $ g(s,p) = -\frac{1}{2}\big{(}(p-1)s - 2(p-2)\big{)}\big{(}s - \big{(}\frac{3}{2} - \frac{2}{p-1}\big{)}\big{)} \leq 0 $ 으로 정량화되며, 이는 초임계 영역에서 비음수이다.