[논문 리뷰] Weighted fractional chain rule and nonlinear wave equations with minimal regularity

Kunio Hidano, Jin-Cheng Jiang외 2명|arXiv (Cornell University)|2016. 05. 22.

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

한 줄 요약

이 논문은 임계 정규성 범위 $ s > 3/2 $ 내의 초기 자료를 가진 3차원 반경대칭 제곱형 반선형 파동방정식에 대해 조건부가 아닌 국소 적으로 잘 정의됨을 확립한다. 이는 기존에 $ s < 3/2 $ 에서의 악성 불안정성과 $ s \geq 2 $ 에서의 잘 정의됨 사이에 오랫동안 존재하던 격차를 메운다. 핵심 혁신은 새로운 가중 분수계 사슬법칙으로, 이는 날카운 스트리히르츠 유형 추정과 반경대칭 경우에서의 글라스시 추측의 증명을 가능하게 한다. 최소한의 정규성 조건 하에 성립한다.

ABSTRACT

We consider the local well-posedness for 3-D quadratic semi-linear wave equations with radial data: $\Box u = a |\partial_t u|^2+b| abla_x u|^2$, $u(0,x)=u_0(x)\in H^{s}_{\mathrm{rad}}$, $\partial_t u(0,x)=u_1(x)\in H^{s-1}_{\mathrm{rad}}$. It has been known that the problem is well-posed for $s\ge 2$ and ill-posed for $s&lt;3/2$. In this paper, we prove unconditional well-posedness up to the scaling invariant regularity, that is to say, for $s&gt;3/2$ and thus fill the gap which was left open for many years. For the purpose, we also obtain a weighted fractional chain rule, which is of independent interest. Our method here also works for a class of nonlinear wave equations with general power type nonlinearities which contain the space-time derivatives of the unknown functions. In particular, we prove the Glassey conjecture in the radial case, with minimal regularity assumption.

연구 동기 및 목표

• 기존에 알려진 $ s < 3/2 $ 에서의 악성 불안정성과 $ s \geq 2 $ 에서의 잘 정의됨 사이의 국소 적으로 잘 정의진 이론의 격차를 메우는 것.
• 반경대칭 초기 자료가 $ H^s_{\text{rad}} \times H^{s-1}_{\text{rad}} $ 에 속할 때 임계 정규성 범위 $ s \in (3/2, 2) $ 내에서 조건부가 아닌 잘 정의됨을 확립하는 것.
• 최소한의 정규성 조건 하에 새로운 가중 분수계 사슬법칙을 사용하여 반경대칭 경우에서 글라스시 추측을 증명하는 것.
• 작은 초기 자료에 대해 최적의 수명 추정을 도출하여, 크기에 따라 지수적 또는 다항식 수명을 보이는 거의 전역 존재성을 보여주는 것.

제안 방법

• 반경대칭 함수에 대한 새로운 가중 분수계 사슬법칙을 개발하여, 도함수를 포함하는 비선형 항을 제어할 수 있도록 한다. 이는 별도의 관심사가 되며, 비선형 항의 제어를 가능하게 한다.
• 가중치 $ w(r) = (1 + r)^{-2\delta} $ 를 가진 일반화된 스트리히르츠 추정을 적용하여, $ L^2 $-기반 노름에서 비선형성을 제어한다. 여기서 $ \delta = s - 3/2 $ 이다.
• 가중 $ L^2 $ 노름을 포함하는 개선된 함수 공간에서 고정점 정리를 적용하여, 해의 연속성과 유일성을 보장한다. 이 함수 공간은 $ \partial u $ 의 가중 $ L^2 $ 노름을 포함한다.
• 반경대칭을 가진 파동 연산자에 대해 에너지 및 산산각 추정을 확립하며, 하디 부등식과 가중 $ L^2 $ 제어를 활용한다.
• 두 해가 동일한 초기 자료를 가질 경우, 작동 시간에 대한 수축 원리를 통해 국소적으로 동일함을 보여, 조건부가 아닌 유일성을 증명한다.
• 비선형 항에 대해 $ L^{p-1}_t L^\infty_x $ 노름을 사용하여 일반화된 스트리히르츠 추정과 결합함으로써, 차원 2에서의 작은 자료에 대한 전역 존재성을 확립한다.

실험 결과

연구 질문

• RQ1 임계 정규성 범위 $ s > 3/2 $ 내에서 $ H^s_{\text{rad}} \times H^{s-1}_{\text{rad}} $ 에 속하는 초기 자료에 대해 3차원 반경대칭 제곱형 반선형 파동방정식이 국소적으로 잘 정의되는가? 이는 기존에 알려진 $ s \geq 2 $ 영역을 초월한다.
• RQ2 최소한의 정규성 조건 하에 반경대칭 경우에서 글라스시 추측을 증명할 수 있는가?
• RQ3 임계 정규성 범위 내에서 초기 자료 크기에 따라 최적의 해 수명은 어떻게 되는가?
• RQ4 낮은 정규성 조건 하에서 시공간 도함수를 포함하는 비선형성을 다룰 수 있는 가중 분수계 사슬법칙을 어떻게 구성할 수 있는가?

주요 결과

• 모든 $ s > 3/2 $ 에 대해 $ H^s_{\text{rad}} \times H^{s-1}_{\text{rad}} $ 에서 문제는 조건부가 아닌 잘 정의되며, $ L^\infty_T H^s \cap \text{Lip}_T H^{s-1} $ 내에 고유한 해가 존재한다.
• 해의 수명 $ T_\varepsilon $ 는 $ \varepsilon < 1 $ 일 때 $ T_\varepsilon = \exp(c\varepsilon^{-1}) $ 이고, $ \varepsilon \geq 1 $ 일 때 $ T_\varepsilon = c\varepsilon^{-1/(s-3/2)} $ 를 만족한다. 여기서 $ \varepsilon $ 는 초기 자료 크기를 측정한다.
• 해는 향상된 정규성을 만족한다: $ u \in C([0,T]; H^s) \cap C^1([0,T]; H^{s-1}) $ 이며, $ r^{-1/2 + \delta} \langle r \rangle^{-\delta} \partial u \in L^2([0,T] \times \mathbb{R}^3) $ 이며, $ \delta = s - 3/2 $ 이다.
• 가중 분수계 사슬법칙이 확립되었으며, 이는 $ \| \partial (|u|^p) \| $ 이 $ L^2 $-기반 노름에서 제어 가능하게 하여, 낮은 정규성 조건 하에서 스트리히르츠 추정의 증명을 가능하게 한다.
• 최소한의 정규성 조건 하에, 반경대칭 경우에서 글라스시 추측이 $ s > 3/2 $ 에서 확인되었으며, 잘 정의됨과 수명 추정을 통해 증명되었다.
• 차원 2에서 $ p > 5 $ 인 경우, 임계 정규성 $ s_c = 2 - 1/(p-1) \in (1,2) $ 에 대해, 일반화된 스트리히르츠 추정과 $ C_t H^{s_c} \cap C_t^1 H^{s_c - 1} $ 에서의 수축을 통해 작은 자료에 대한 전역 존재성이 확립되었다.