[논문 리뷰] The stability of simple plane-symmetric shock formation for 3D compressible Euler flow with vorticity and entropy

Jonathan Luk, Jared Speck|arXiv (Cornell University)|2021. 07. 07.

Navier-Stokes equation solutions참고 문헌 48인용 수 4

한 줄 요약

이 논문은 평면 대칭성을 깨고 코어스피드와 엔트로피를 도입하는 소규모, 컴actsupport된 외란에 의해 3D 압축성 에일러르 흐름에서 충격 형성의 비선형 안정성을 확립한다. 청각 eikonal 함수에 기반한 기하학적 벡터장 방법을 사용하여, 충격 특이성—정확히 역접근 밀도의 영수준 집합 위에서 카르테시안 도함수의 폭발로 특징지어지는 것—이 외란 하에서도 유지되며, 전체 폭발 구조가 그대로 유지됨을 증명한다. 핵심 결과는 비회전성과 엔트로피를 포함한 3D 압축성 에일러르 흐름에서의 안정적 충격 형성에 대한 첫 번째 엄밀한 증명으로, 비선형 초월 편미분방정식 분야에서 오랫동안 열려있던 문제를 해결한다.

ABSTRACT

Consider a $1$D simple small-amplitude solution $( ho_{(bkg)}, v^1_{(bkg)})$ to the isentropic compressible Euler equations which has smooth initial data, coincides with a constant state outside a compact set, and forms a shock in finite time. Viewing $( ho_{(bkg)}, v^1_{(bkg)})$ as a plane-symmetric solution to the full compressible Euler equations in $3$D, we prove that the shock-formation mechanism for the solution $( ho_{(bkg)}, v^1_{(bkg)})$ is stable against all sufficiently small and compactly supported perturbations. In particular, these perturbations are allowed to break the symmetry and have non-trivial vorticity and variable entropy. Our approach reveals the full structure of the set of blowup-points at the first singular time: within the constant-time hypersurface of first blowup, the solution's first-order Cartesian coordinate partial derivatives blow up precisely on the zero level set of a function that measures the inverse foliation density of a family of characteristic hypersurfaces. Moreover, relative to a set of geometric coordinates constructed out of an acoustic eikonal function, the fluid solution and the inverse foliation density function remain smooth up to the shock; the blowup of the solution's Cartesian coordinate partial derivatives is caused by a degeneracy between the geometric and Cartesian coordinates, signified by the vanishing of the inverse foliation density (i.e., the intersection of the characteristics).

연구 동기 및 목표

• 소규모, 컴actsupport된 외란 하에서 3D 압축성 에일러르 흐름에서 1D 단순 평면대칭 충격 형성의 비선형 안정성을 확립하기 위해.
• 대칭성, 비선형성, 엔트로피가 외란을 통해 도입될 때 충격 형성 메커니즘의 강건성을 분석하기 위해.
• 첫 번째 특이 시점에서의 폭발 집합의 정확한 기하학적 구조를 규명하고, 이를 역접근 밀도의 영수준 집합으로 식별하기 위해.
• 유체 해와 기하학적 양이 충격까지 매끄럽게 유지되며, 폭발이 좌표의 비특이성에서 기인함을 보여주기 위해.
• 이전 연구에서 시작된 프로그램을 완성하여, 비선형성과 엔트로피를 포함한 전체 3D 에일러르 시스템에서 충격 형성의 안정성을 증명하기 위해.

제안 방법

• 청각 eikonal 함수에 기반한 기하학적 벡터장 방법을 사용하여 압축성 에일러르 방정식을 재구성함으로써 기하학적 좌표를 구성하기 위해.
• eikonal 함수에 의해 매끄럽게 나누어진 특성 초면의 가족을 도입하며, 역접근 밀도는 초면의 수렴도를 측정함.
• 역접근 밀도와 벡터장을 포함한 가중치가 부여된 노름을 사용한 상위 차수 에너지 추정 프레임워크를 적용하여 비선형 상호작용을 제어하기 위해.
• 유체 변수, 비선형성, 엔트로피 기울기, 기하학적 양에 대한 사전 추정을 포함한 부트스트랩 추론을 사용하며, 유한한 속도 전파와 국소화에 의존함.
• eikonal 함수와 벡터장 교환자에 의해 드러나는 방정식의 영구적 성질을 활용하여, 그로브랄 및 얀의 부등식을 통해 비선형 항을 제어함.
• 에너지 부등식에 대한 단순화된 추론을 수행하여, 큰 매개변수로부터 유도된 상수의 소규모 조건을 사용하여 비선형 항을 흡수함.

실험 결과

연구 질문

• RQ1 1D 단순 평면대칭 압축성 에일러르 흐름에서의 충격 형성 메커니즘이 대칭성을 깨고 비선형성과 엔트로피를 도입하는 소규모 3D 외란 하에서도 안정적인가?
• RQ2 외란된 3D 흐름에서 첫 번째 특이 시점에서의 폭발 집합의 정확한 기하학적 구조는 무엇인가?
• RQ3 유체 변수의 카르테시안 도함수는 어떻게 폭발하며, 어떤 기하학적 양이 이 폭발을 지배하는가?
• RQ4 비록 카르테시안 도함수가 폭발하더라도, 전체 해와 기하학적 양이 충격까지 매끄럽게 유지될 수 있는가?
• RQ5 방정식의 영구적 성질이 외란 하에서 충격 형성 메커니즘의 안정화에 어떤 역할을 하는가?

주요 결과

• 1D 단순 평면대칭 해에 대한 충격 형성 메커니즘은 대칭성을 깨고 비선형성과 엔트로피를 도입하는 모든 충분히 작은 컴actsupport된 외란 하에서도 안정하다.
• 1차 카르테시안 편도함수의 폭발은 정확히 역접근 밀도 함수의 영수준 집합 위에서 발생하며, 이는 특성 초면의 수렴도를 측정한다.
• 유체 해와 역접근 밀도 함수는 충격 시점까지 매끄럽게 유지되며, 폭발은 기하학적 좌표와 카르테시안 좌표 간의 비특이성에서 기인한다.
• 외란된 해의 폭발 시간은 $ T^{\text{Sing}} = (\delta^*_{\text{bkg}})^{-1} $ 로 주어지며, 배경 해의 폭발 시간과 일치하여 특이성 시간의 안정성을 확인한다.
• 큰 매개변수로부터 유도된 상수의 소규모 조건을 사용한 단순화된 추론을 통해 상위 차수 에너지 추정이 닫히며, 비선형 항이 제어됨을 보장한다.
• 하위 차수 에너지 추정은 양의 부등식과 그로브랄 부등식을 통해 핵심 항을 흡수함으로써 확립되며, 시간 적분 노름과 감쇠 가중치를 철저히 제어함.