[논문 리뷰] An Ill Posed Cauchy Problem for a Hyperbolic System in Two Space Dimensions

Alberto Bressan|ArXiv.org|2003. 02. 19.

Advanced Mathematical Physics Problems참고 문헌 5인용 수 67

한 줄 요약

이 논문은 두 개의 공간 차원에서 초구속 시스템의 코시 문제는 표준 가정(Lipschitz 연속된 유속 및 유계이고 0이 아닌 초기 자료)이 한 차원에서는 잘 정의됨을 보장하지만, 여전히 잘 정의되지 않을 수 있음을 보여주는 반례를 구축한다. 이로 인해 해의 재구성에 필요한 역매핑이 무너지는 불연속적인 ODE 궤적의 존재로 인해, 초기 자료에 대한 의존성이 불연속적이게 되며, 이는 스칼라 보존법칙 해의 진동으로 인한 것이다.

ABSTRACT

The theory of weak solutions for nonlinear conservation laws is now well developed in the case of scalar equations [3] and for one-dimensional hyperbolic systems [1, 2]. For systems in several space dimensions, however, even the global existence of solutions to the Cauchy problem remains a challenging open question. In this note we construct a conterexample showing that, even for a simple class of hyperbolic systems, in two space dimensions the Cauchy problem can be ill posed.

연구 동기 및 목표

• 일차원에서 초구속 시스템의 잘 정의됨이 두 번째 공간 차원으로 확장되는지 조사하기.
• 이러한 시스템의 코시 문제에서 고차원에서 잘 정의되지 않을 수 있는 조건을 규명하기.
• Lipschitz 연속된 유속과 유계이며 0이 아닌 초기 자료가 있음에도 불구하고, 두 차원에서 해의 유일성과 연속적 의존성이 붕괴될 수 있음을 보여주기.

제안 방법

• ρ = 1, 2, 3에서 비연속적인 행동을 보이는 두 차원에서의 조각별 애프린, Lipschitz 연속된 유속 함수 F(ρ)를 구성하기.
• f(ρ)는 F(ρ) = f(ρ)ρ로부터 유도되며, 시스템을 u_t + ∑_α ∂/∂x_α (f(|u|) u_α) = 0 으로 정의하기.
• 세 가지의 다른 엔트로피 약한 해를 갖는 스칼라 보존법칙 ρ_t + ∇·F(ρ) = 0 을 풀기: ρ^♮ ≡ 3, ρ^♯ = 4인 이동하는 직사각형 Q에서, ρ^♭ = 2인 이동하는 직사각형에서.
• 각 해 ρ에 대해 ODE 시스템 ẋ = f(ρ(t,x)) 를 분석하여 입자 궤적을 추적하고, 역매핑 Φ^{-t}의 존재성과 정규성을 평가하기.
• ρ^♯ 및 ρ^♭에 대해, 비영인 ρ의 이동 직사각형으로 인해 f(ρ(t,x))가 불연속적이며, 이로 인해 유동 매핑에 진동이 발생함을 보여주기.
• 이러한 진동으로 인해 거의 모든 x에 대해 역매핑 Φ^{-t}가 잘 정의되지 않으며, 해 재구성 절차가 붕괴됨을 보여주기.

실험 결과

연구 질문

• RQ1 두 차원에서 초구속 시스템의 코시 문제는 한 차원에서 잘 정의됨을 보장하는 동일한 가정 하에 여전히 잘 정의될 수 있는가?
• RQ2 이러한 시스템의 약한 해의 존재성과 유일성에 있어 ODE 유동 매핑의 정규성은 어떤 역할을 하는가?
• RQ3 왜 한 차원에서는 작동하는 표준 해 재구성 방법(스칼라 보존법칙을 풀고, ODE로 각도 성분을 진화시키기)이 두 차원에서는 실패하는가?
• RQ4 스칼라 해 ρ(t,x)의 진동이 특성 매핑 Φ^{-t}의 역행성에 어떤 영향을 미치는가?
• RQ5 L^∞보다 더 강한 초기 자료 정규성(예: 유계 변동성)이 두 차원에서 잘 정의됨을 보장할 수 있는가?

주요 결과

• 표준 가정 (A1) 및 (A2) 하에 두 차원에서 초구속 시스템의 코시 문제는 잘 정의되지 않는다.
• Lipschitz 연속된 유속과 유계이며 0이 아닌 초기 자료가 있음에도 불구하고, 초기 조건에 대한 궤적의 불연속적 의존성으로 인해 해 매핑이 연속적이지 않다.
• 스칼라 해의 비영인 ρ의 이동 직사각형으로 인한 ODE 벡터장 f(ρ(t,x))의 진동으로 인해 거의 모든 x에 대해 역매핑 Φ^{-t}가 존재하지 않는다.
• 반례는 표준 해 재구성 방법—스칼라 보존법칙을 풀고, ODE로 각도 성분을 진화시키기—가 두 차원에서는 실패함을 보여준다.
• 잘 정의되지 않는 원인은 유속의 특이성 때문이 아니라, 스칼라 해의 불연속적인 유속으로 인해 유도된 ODE 유동 매핑의 정규성 부족 때문이다.
• 결과적으로 초기 자료가 L^∞에만 있을 경우 두 차원에서 잘 정의됨이 보장되지 않으며, 약한 해의 존재를 위해 BV 정규성이 필요할 수 있음을 시사한다.