[논문 리뷰] On weak solutions to the 2D Savage-Hutter model of the motion of a gravity driven avalanche flow

Eduard Feireisl, Piotr Gwiazda외 1명|arXiv (Cornell University)|2015. 02. 22.

Navier-Stokes equation solutions참고 문헌 51인용 수 5

한 줄 요약

이 논문은 볼록 적분을 사용하여 중력에 의해 구동되는 눈보라의 2차원 Savage-Hutter 모델에 대해 무한히 많은 약한 해의 존재를 확립하며, 에너지 부등식이 성립하지 않을 경우 비유일성을 보여준다. 이러한 비유일성에도 불구하고, 에너지 부등식을 도입하면 약한-강한 해의 유일성이 유지되어 부드러운 해에 대해 물리적 일致성을 보장한다.

ABSTRACT

We consider the Savage-Hutter system consisting of two-dimensional depth-integrated shallow water equations for the incompressible fluid with the Coulomb-type friction term. Using the method of convex integration we show that the associated initial-value problem possesses infinitely many weak solutions for any finite-energy initial data. On the other hand, the problem enjoys the weak-strong uniqueness property provided the system of equations is supplemented with the energy inequality.

연구 동기 및 목표

• 중력에 의해 구동되는 눈보라를 위한 깊이 평균 얕은 수면 모델인 2차원 Savage-Hutter 시스템에 대한 약한 해의 존재성과 유일성 문제를 해결하기 위해.
• 다중값을 가진 쿨롱 마찰 항이 약한 해의 존재를 방해하거나 비유일성을 초래하는지 조사하기 위해.
• 시스템의 쌍곡성과 충격 형성 가능성을 감안할 때, 에너지 부등식이 약한 해의 클래스에서 유일성을 복원할 수 있는지 판단하기 위해.
• 이전에 온도-불완전성 방정식에 사용된 볼록 적분 기법을, 비연속적인 마찰 항을 포함하는 Savage-Hutter 시스템에 확장하기 위해.
• 약한 해의 비유일성이 눈보라 유동 모델링에 미치는 영향과 에너지 소산이 물리적으로 관련된 해를 선택하는 데서의 역할을 탐구하기 위해.

제안 방법

• Savage-Hutter 시스템을 비연속적이고 다중값을 가진 마찰 항을 포함한 쌍곡형 보존법칙 시스템으로 재구성하며, 마찰 방향은 속도의 단위 벡터로 표현된다.
• 적분 항등식 (1.5)와 (1.6)을 통한 약한 해의 정의를 제시하며, 마찰 방향에 대한 다중값 선택 ${\bf B}_{\bf u}$ 를 포함한다.
• 유한 에너지 초깃값에 대해, 속도 및 높이 필드의 진동하는 미세 구조를 활용하여 볼록 적분 기법을 적용해 무한히 많은 약한 해를 구성한다.
• 에너지 부등식 (3.2) 를 선택 기준으로 도입하여, 물리적으로 타당한 해와 비물리적인 진동하는 해를 구분한다.
• 상대 에너지 부등식 (3.4) 를 사용하여 약한-강한 해의 유일성을 증명하며, 강한 해가 존재할 경우 그 해와 일치하는 유일한 에너지 소산 약한 해가 있음을 보여준다.
• 비압축성 Euler 방정식에 대한 De Lellis와 Székelyhidi의 볼록 적분 기법을 변형하여 Savage-Hutter 시스템에 적용하며, 비선형성과 다중값 마찰 항을 처리한다.

실험 결과

연구 질문

• RQ1 Savage-Hutter 시스템은 쌍곡성과 비연속성의 특성을 지닌다 하더라도, 유한 에너지 초깃값에 대해 무한히 많은 약한 해를 갖는가?
• RQ2 쿨롱 형 마찰이 포함된 시스템과 같이 다중값 마찰 항을 가진 시스템에 대해 볼록 적분 기법을 성공적으로 적용할 수 있는가?
• RQ3 에너지 부등식이 도입된 상태에서 Savage-Hutter 시스템에서 약한-강한 해의 유일성이 유지되는가?
• RQ4 에너지 부등식은 볼록 적분을 통해 구성된 비물리적인 진동하는 약한 해를 어떻게 제거하는가?
• RQ5 약한 해의 비유일성이 눈보라 유동 모델링에 미치는 영향은 무엇이며, 에너지 소산은 물리적으로 관련된 해를 선택하는 원리로 작용할 수 있는가?

주요 결과

• 볼록 적분을 통해 증명된 linfinitly many weak solutions 존재는 약한 해 클래스에서의 유일성 부재를 시사한다.
• 에너지 부등식 (3.2) 는 선택 원리로 작용한다: 무한히 많은 약한 해 중에서 에너지 부등식을 만족하는 해들만 물리적으로 허용된다.
• 약한-강한 해의 유일성이 유지된다: 강한 해가 존재할 경우, 그 해는 에너지 소산 약한 해로서 유일하다. 이는 에너지 제약 조건 하에서 고전적 해와의 일致성을 보장한다.
• 상대 에너지 부등식 (3.4) 는 유일성 증명에 핵심적인 역할을 하며, 약한 해와 강한 해 사이의 상대 에너지가 시간이 지남에 따라 0이 됨을 보여준다.
• 볼록 적분 기법은 다중값 마찰 항 ${\bf B}_{\bf u}$ 를 성공적으로 처리한다. 이 항은 속도가 0이 아닐 경우 속도의 단위 벡터로, 0일 경우 전체 단위 구를 의미한다.
• 결과는 $h|{\bf u}|{\bf u}$ 와 같은 속도 의존 항을 포함한 다른 마찰 모델로도 확장 가능하여, 더 복잡한 유체역학적 특성을 가진 눈보라 모델에 광범위하게 적용 가능하다.