[논문 리뷰] Well-posedness of the free boundary problem in compressible elastodynamics

Yuri Trakhinin|arXiv (Cornell University)|2017. 05. 31.

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

한 줄 요약

이 논문은 압축성 탄성역학의 자유경계 문제에 대해 국소적인 시간 동안의 잘 정의됨을 입증한다. 두 가지 다른 조건 하에서: 또는 초기 경계에서 변형률 행렬의 열들이 공선적이지 않거나, 고전적인 레일리-타일러 부호 조건이 성립할 경우이다. 매끄러운 해의 존재성과 유일성을 증명하고, 두 조건이 동시에 실패할 경우 불안정성을 보여주는 헤다르드 유형의 불안정성 예제를 구성하여, 잘 정의됨을 확보하기 위해 두 조건 중 하나가 반드시 필요하다는 것을 확인한다.

ABSTRACT

We study the free boundary problem for the flow of a compressible isentropic inviscid elastic fluid. At the free boundary moving with the velocity of the fluid particles the columns of the deformation gradient are tangent to the boundary and the pressure vanishes outside the flow domain. We prove the local-in-time existence of a unique smooth solution of the free boundary problem provided that among three columns of the deformation gradient there are two which are non-collinear vectors at each point of the initial free boundary. If this non-collinearity condition fails, the local-in-time existence is proved under the classical Rayleigh-Taylor sign condition satisfied at the first moment. By constructing an Hadamard-type ill-posedness example for the frozen coefficients linearized problem we show that the simultaneous failure of the non-collinearity condition and the Rayleigh-Taylor sign condition leads to Rayleigh-Taylor instability.

연구 동기 및 목표

• 압축성 탄성역학의 자유경계 문제에 대해 국소적인 시간 동안 매끄러운 해의 존재성과 유일성을 입증하는 것.
• 잘 정의됨을 보장하는 초기 자료에 대한 최소한의 구조적 조건을 규명하는 것.
• 비공선성 조건과 레일리-타일러 부호 조건의 날카로움을 불안정성 예제를 구성하여 규명하는 것.
• 변형률 행렬의 열 구조가 자유경계 문제의 안정성에서 수행하는 역할을 명확히 하는 것.

제안 방법

• 상태 변수 (p, v, F₁, F₂, F₃) 를 사용하여 탄성역학 시스템을 오일러 좌표계에서 기술하고, 대칭 히퍼볼릭 시스템 (4) 를 사용한다.
• 경계 조건을 적용한다: 자유경계에서 압력이 0이며, 변형률 행렬의 열들이 경계에 탄성적임을 보장한다.
• 자유경계 문제를 분석하기 위해 고정 도메인 문제로 줄이기 위해 라그랑주 유형의 변환을 적용한다.
• 에너지 추정과 크라이스 심메트리화 프레임워크를 사용하여 선형화된 문제에 대한 사전 추정을 유도한다.
• 고정계수 선형화된 문제에 대한 푸리에 분석을 수행하여 분산 관계를 유도하고, 불안정한 모드를 식별한다.
• 비공선성 조건과 레일리-타일러 조건이 동시에 실패할 경우, 지수적으로 증가하는 모드의 존재를 분석하여 헤다르드 유형의 불안정성 예제를 구성한다.

실험 결과

연구 질문

• RQ1 압축성 탄성역학의 자유경계 문제에 대해, 초기 변형률 행렬에 어떤 조건이 성립할 경우 국소적으로 매끄러운 해가 존재하는가?
• RQ2 레일리-타일러 부호 조건이 실패할 경우, 변형률 행렬의 두 열이 비공선적일 경우에 충분한가?
• RQ3 비공선성 조건과 레일리-타일러 부호 조건이 모두 위반될 경우, 잘 정의됨은 어떻게 되는가?
• RQ4 두 조건이 동시에 실패할 경우 불안정성을 보여주는 헤다르드 유형의 불안정성 예제를 구성할 수 있는가?
• RQ5 매우 최소한의 변형률 행렬에 대한 구조적 가정은 무엇인가, 여전히 사전 추정과 잘 정의됨을 보장할 수 있는가?

주요 결과

• 초기 자유경계에서 변형률 행렬의 두 열 이상이 비공선적일 경우, 국소적인 시간 동안 매끄러운 해의 존재성과 유일성이 입증된다.
• 비공선성 조건이 실패할 경우, 초기 시점에서 고전적인 레일리-타일러 부호 조건이 성립하면 여전히 잘 정의됨이 유지된다.
• 비공선성 조건과 레일리-타일러 조건이 동시에 실패할 경우, 고정계수 선형화된 문제에 대해 헤다르드 유형의 불안정성 예제가 구성되며, 이는 레일리-타일러 불안정성을 보여준다.
• 불안정성은 푸리에 분석에서 지수적으로 증가하는 모드의 존재로 발생하며, 특히 변형률 행렬의 열들이 공선적이고 레일리-타일러 조건이 위반될 경우에 나타난다.
• 분석 결과, 비공선성 조건과 레일리-타일러 조건은 안정성 확보를 위해 함께 필요하며, 둘 중 하나만 성립할 경우에는 충분하지 않다.
• 비선형 자유경계 문제에 대해 고정 도메인으로의 환원과 사전 추정을 통해 결과가 확장되며, 제시된 조건 하에서 잘 정의됨이 입증된다.