[논문 리뷰] On the formation of shocks for quasilinear wave equations

Shuang Miao, Pin Yu|arXiv (Cornell University)|2014. 12. 09.

Navier-Stokes equation solutions참고 문헌 6인용 수 3

한 줄 요약

이 논문은 3차원 비선형 파동 방정식에서 큰 초기 자료를 가진 경우 충격 형성이 발생하는 기하학적 메커니즘을 확립한다. 여기서 부드러운 해는 들어오는 특성 초평면의 붕괴로 인해 붕괴됨을 보여준다. 핵심 결과는 초기 자료가 큰 비선형 파동 방정식에 대해 대칭성 가정 없이 충격 형성의 첫 번째 증명을 제공하며, 에너지 추정과 방정식의 구조에서 유도된 효과적 메트릭의 로레츠 기하학을 사용한다.

ABSTRACT

The paper is devoted to the study of shock formation of the 3-dimensional quasilinear wave equation \begin{equation}\label{Main Equation} - \big(1+3G^{\prime\prime}(0) (\partial_tϕ)^2\big)\partial^2_t ϕ+Δϕ=0, ag{ extbf{$\star$}} \end{equation} where $G^{\prime\prime}(0)$ is a non-zero constant. We will exhibit a family of smooth initial data and show that the foliation of the incoming characteristic hypersurfaces collapses. Similar to 1-dimensional conservational laws, we refer this specific type breakdown of smooth solutions as shock formation. Since $(\star)$ satisfies the classical null condition, it admits global smooth solutions for small data. Therefore, we will work with large data (in energy norm). Moreover, no symmetry condition is imposed on the initial datum. We emphasize the geometric perspectives of shock formations in the proof. More specifically, the key idea is to study the interplay between the following two objects: (1) the energy estimates of the linearized equations of $(\star)$; (2) the differential geometry of the Lorentzian metric $g=-\dfrac{1}{\left(1+3G^{\prime\prime}(0) (\partial_tϕ)^2 ight)} d t^2+dx_1^2+dx_2^2+dx_3^2$. Indeed, the study of the characteristic hypersurfaces (implies shock formation) is the study of the null hypersurfaces of $g$. The techniques in the proof are inspired by the work \cite{Ch-Shocks} in which the formation of shocks for $3$-dimensional relativistic compressible Euler equations with small initial data is established. We also use the short pulse method which is introduced in the study of formation of black holes in general relativity in \cite{Ch-BlackHoles} and generalized in \cite{K-R-09}.

연구 동기 및 목표

• 클래식한 소형 자료 전역 존재성의 실패가 발생하는 큰 초기 자료 조건 하에서 비선형 파동 방정식의 충격 형성 문제를 탐구한다.
• 대칭성 가정 없이 3차원에서 충격 형성의 기하학적 메커니즘을 확립하며, 1차원 보존법칙과 상대론적 유체역학 방정식의 결과를 확장한다.
• 충격 형성의 원인이 들어오는 특성 초평면의 붕괴임을 보여주며, 이는 효과적 로레츠 메트릭의 영향을 받는 영향을 받는 영향을 받는 null 초평면으로 해석된다.
• 곡률 기반 기하학적 불변량을 통해 초기 자료와 충격 형성 간의 직접적인 연결을 제공한다.
• 유 variational 구조를 이용해 유도 손실 없이 큰 자료의 에너지 추정을 닫는다. 나시-모저 방법을 피한다.

제안 방법

• 저자들은 삼차 비선형성을 갖는 비선형 파동 전파의 모델로 삼기 위해 $-(1 + 3G''(0)( abla_t heta)^2) abla_t^2 heta + riangle heta = 0$ 형태의 비선형 파동 방정식을 분석한다. 여기서 $G''(0) eq 0$이다.
• 이 방정식의 특성 표면과 대응하는 효과적 로레츠 메트릭 $g = -\frac{1}{1 + 3G''(0)( abla_t heta)^2}dt^2 + dx_1^2 + dx_2^2 + dx_3^2$를 정의한다.
• 충격 형성의 분석은 이 메트릭의 미분 기하학, 특히 들어오는 null 초평면의 제2 기본형식의 폭발을 통해 이루어진다.
• 해를 기준으로 한 선형화된 방정식에 대한 에너지 추정은 광학 좌표계에서의 벡터장과 가중치가 붙은 노름을 사용하여 유도된다.
• 단단한 펄스 방법을 적용하여 충격 형성을 유도하는 큰 초기 자료의 가족을 구성하였으며, 블랙홀 형성 문제에서 크리스토풀로의 작업을 영감으로 삼았다.
• 해의 변형의 도함수를 제어하기 위해 부스팅 추론을 사용하였으며, 소볼레프 부등식과 등면적 추정을 통해 붕괴 시간까지의 정규성을 보장한다.

실험 결과

연구 질문

• RQ1 대칭성 가정 없이 3차원 비선형 파동 방정식에서 큰 초기 자료 조건 하에서도 충격 형성이 발생할 수 있는가?
• RQ2 효과적 로레츠 메트릭의 기하학적 구조는 부드러운 해의 붕괴와 어떻게 관련이 있는가?
• RQ3 충격 형성 메커니즘은 곡률과 null 초평면 기하학을 기반으로 순수하게 기하학적으로 기술할 수 있는가?
• RQ4 유도 손실 없이 방정식의 변분적 구조를 이용해 큰 자료의 에너지 추정을 닫는 것이 가능한가?
• RQ5 붕괴 시간과 충격 형성은 기하학적 불변량을 통해 초기 자료로부터 직접 예측할 수 있는가?

주요 결과

• 충격 형성은 대칭성이 없는 부드러운 큰 자료 초기 조건에 대해 3차원 비선형 파동 방정식 $-(1 + 3G''(0)( abla_t heta)^2) abla_t^2 heta + riangle heta = 0$ 에서 발생한다.
• 부드러운 해의 붕괴는 들어오는 특성 초평면의 붕괴로 인해 발생하며, 이는 효과적 메트릭 $g$의 null 초평면이다.
• 붕괴가 진정한 충격 형성임이 입증되었으며, 1차원 보존법칙과 유사하며 곡률 폭발을 기반으로 정확한 기하학적 해석이 가능하다.
• 해가 초기 시간 간격 이후로 부드럽게 연장될 수 있는 조건은 광학 좌표 변환의 자코비안이 0에서 멀리 떨어져 있어야 한다는 것이 입증되었으며, 이 조건은 붕괴 시점에서 실패한다.
• 부스팅 추론은 $|\rho| \to 0$ 조건에서 닫히며, 이는 충격 형성과 함께 $t^* = s^*$ 이후로 해의 연장이 불가능함을 의미한다.
• 결과적으로 충격 형성은 효과적 메트릭의 제2 기본형식과 곡률 텐서와 같은 기하학적 양을 통해 초기 자료로부터 직접 감지 가능하다는 것이 확인되었다.