[논문 리뷰] Singularity formation for compressible Euler equations

Geng Chen, Ronghua Pan외 1명|arXiv (Cornell University)|2014. 08. 28.

Navier-Stokes equation solutions참고 문헌 19인용 수 12

한 줄 요약

이 논문은 압축성 운동방정식에서 등엔트로피 및 단열 흐름에 대해 유한 시간 내에 특이점 형성이 발생하는 경우를 완전히 분류한다. 비선형 압축의 임계 강도를 도입하고 밀도 감쇠에 대한 정밀한 경계를 유도함으로써, 특이점이 형성되는 것은 초기 압축이 이 임계 임계값을 초과할 경우에만 유한 시간 내에 발생함을 증명하며, 대규모 데이터에 대한 초점에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

It is well-known that shock will form in finite time for hyperbolic conservation laws from initial nonlinear compression no matter how small and smooth the data are. Classical results, including Lax [14], Liu [22], Li-Zhou-Kong [16], confirm that when initial data are small smooth perturbations near constant states, blowup in gradient of solutions occurs in finite time if and only if intial data contain any compression in some truly nonlinear characteristic field. A natural puzzle is that: Will this picture keep true for large data problem of physical systems such as compressible Euler equations? One of the key issues is how to find an effective way to obtain sharp enough control on density lower bound. For isentropic flow, we offer a complete picture on the finite time shock formation from smooth initial data away from vacuum, which is consistent with small data theory. For adiabatic flow, we show a striking observation that initial weak compressions do not necessarily develop singularity in finite time, in a sharp contrast to the small data theory. Furthermore, we find the critical strength of nonlinear compression, and prove that if the compression is stronger than this critical value, then singularity develops in finite time, and otherwise there are a class of initial data admitting global smooth solutions with maximum strength of compression equals to this critical value.

연구 동기 및 목표

• 대규모 초기 자료에 대한 압축성 운동방정식에서의 유한 시간 특이점 형성 문제를 해결함으로써, 소규모 자료 이론의 범위를 넘어서는 것.
• 대규모 자료 영역에서 특이점 형성 분석에 필수적인, 밀도의 하한에 대한 정밀하고 효과적인 제어 방법을 개발하는 것.
• 초기 비선형 압축 강도에 따라 등엔트로피 및 단열 흐름에서의 특이점 형성 조건을 분류하는 것.
• 특이점이 유한 시간 내에 형성되는지 여부를 결정짓는 임계 압축 강도를 설정하고, 그 이하에서는 전역적인 매끄러운 해가 존재함을 보장하는 것.
• 밀도 감쇠와 음속 행동의 역할을 철저히 규명함으로써, 고전적인 소규모 자료 결과를 대규모 자료 설정으로 확장하는 것.

제안 방법

• 소리의 속도의 역수와 리만 불변량을 사용한 밀도 하한 감쇠의 새로운 특성화를 도입하여 장기적 행동을 제어할 수 있도록 한다.
• 라그랑주 좌표계에서 p-시스템에 라크스의 방법을 적용하여 리만 불변량과 그 기울기의 진화 방정식을 유도한다.
• 압축 강도의 임계 강도를 조건 $\int_0^\infty a(\tau(x(t),t))\,dt = \infty$ 를 통해 정의한다. 여기서 $a(\tau) = \frac{p_{\tau\tau}}{4(-p_\tau)^{5/4}}$.
• 리만 불변량을 사용하여 속도와 내부 에너지에 대한 균일한 $L^\infty$ 경계를 확립함으로써, 초기 자료가 압축되지 않은 경우 전역 존재를 보장한다.
• 압력 법칙에 대한 가정 A.5에 기반하여 불등식 $\frac{1}{a(\tau)} \leq K_2 + K_3 t$ 를 사용하여, 압축이 임계 임계값을 초과할 경우 폭발을 증명한다.
• 일반적인 압력 법칙에 대해 약간의 구조 조건을 만족시키는 경우에 적용 가능하며, $\gamma$-법 $p = K\tau^{-\gamma}$ 포함, 전역 존재는 $s_x(x,0) \geq 0$ 와 $r_x(x,0) \geq 0$ 일 때에만 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 대규모 초기 자료에 대해 소규모 가정 없이도 압축성 운동방정식에서 유한 시간 특이점 형성이 발생하는가?
• RQ2 대규모 자료 해에 대해 밀도 하한에 대한 정밀하고 효과적인 제어를 확립하여 무한 감쇠를 방지할 수 있는가?
• RQ3 초기 압축 강도에 대해 전역적인 매끄러운 해와 유한 시간 폭발을 분리하는 임계 강도가 존재하는가?
• RQ4 대규모 자료에서 p-시스템(등엔트로피 경우)의 특이점 형성 행동은 소규모 자료 이론과 비교해 어떻게 다른가?
• RQ5 특이점이 임계 값 이상의 압축을 초과할 경우에만 형성되는 것을 보장하는 압력 법칙에 대한 어떤 구조 조건이 필요한가?

주요 결과

• 등엔트로피 흐름의 경우, 특이점이 형성되는 것은 초기 자료가 진정으로 비선형 특성장 내에 어느 정도의 압축을 포함하고 있을 경우에만 성립하며, 이는 소규모 자료 결과를 대규모 자료로 확장한 것이다.
• 단열 흐름의 경우, 초기 약한 압축이 반드시 유한 시간 폭발로 이어지는 것은 아니며, 오히려 특이점이 형성되는 데 필요한 임계 강도의 압축이 존재한다.
• 최대 압축 강도가 임계 값과 일치하는 초기 자료의 일부 클래스에 대해 전역적인 매끄러운 해가 존재함을 보여주며, 이는 임계값의 정밀성(정확성)을 입증한다.
• 논문은 $\int_0^\infty a(\tau(x(t),t))\,dt = \infty$ 가 초기 압축이 임계 임계값을 초과할 경우에만 성립함을 증명하며, 이는 폭발의 핵심 조건이다.
• 이 방법은 리만 불변량과 조건 $ (5+A)(p_{\tau\tau})^2 - 4p_\tau p_{\tau\tau\tau} \geq 0 $ 을 사용하여 밀도와 음속에 대한 균일한 경계를 확립함으로써 장기적 행동을 제어한다.
• 이 결과는 압력 법칙에 대해 A.2–A.5 가정을 만족시키는 일반적인 경우에도 성립하며, $\gamma > 1$ 인 $\gamma$-법 $p = K\tau^{-\gamma}$ 를 포함하여 광범위한 적용 가능성을 확인한다.