[논문 리뷰] H-principle for the 2D incompressible porous media equation with viscosity jump

Francisco Mengual|arXiv (Cornell University)|2020. 04. 07.

Navier-Stokes equation solutions참고 문헌 32인용 수 7

한 줄 요약

이 논문은 점성 변화가 있는 2차원 비압축성 다공체 매체(IPM) 방정식에 대해 |A| < 1 인 경우에 h-원리 체계를 수립한다. 이는 이전 결과인 점성 일정(A = 0)의 경우를 확장한 것이다. 볼록 적분을 통해 $ C_t L^{∞w*}_∞ $ 공간에서 무수히 많은 약한 해를 구성하며, 이는 시간에 대해 컴팩트한 초점 해와 불안정한 무스켓 문제에 대한 $ \Theta_A $-혼합 해를 포함한다. 이는 레일리-테일러 및 코어스터성도가 경계에서 존재하지 않더라도 매크로스코픽 수준에서 혼합이 발생함을 증명한다.

ABSTRACT

In this work we extend the results in [6,32] on the 2D IPM system with constant viscosity (Atwood number $A_μ=0$) to the case of viscosity jump ($|A_μ|&lt;1$). We prove a h-principle whereby (infinitely many) weak solutions in $C_tL_{w^*}^{\infty}$ are recovered via convex integration whenever a subsolution is provided. As a first example, non-trivial weak solutions with compact support in time are obtained. Secondly, we construct mixing solutions to the unstable Muskat problem with initial flat interface. As a byproduct, we check that the connection, established by Székelyhidi for $A_μ=0$, between the subsolution and the Lagrangian relaxed solution of Otto, holds for $|A_μ|&lt;1$ too. For different viscosities, we show how a pinch singularity in the relaxation prevents the two fluids from mixing wherever there is neither Rayleigh-Taylor nor vorticity at the interface.

연구 동기 및 목표

• 2D 비압축성 다공체 매체(IPM) 시스템의 h-원리 프레임워크를 점성 일정(A = 0)의 경우에서 점성 변화(|A| < 1)의 경우로 확장한다.
• |A| < 1 인 IPM 시스템에 대해 $ C_t L^{∞w*}_∞ $ 공간에서 무수히 많은 약한 해의 존재를 증명하며, 시간에 대해 컴팩트한 초점 해를 포함한다.
• 평탄한 初기 경계를 가진 불안정한 무스켓 문제에 대해 $ \Theta_A $-혼합 해를 구성하여, 레일리-테일러나 코어스터성도가 경계에서 존재하지 않더라도 매크로스코픽 수준의 혼합이 발생함을 보인다.
• 오트와 슈에케리디가 A = 0 인 경우에 이전에 확립한 하위해와 라그랑주적으로 완화된 해 사이의 연결성 관계가 |A| < 1 인 경우에도 유지됨을 입증한다.
• 다른 점성에 대해 편심 특이점이 완화 과정에서 수행하는 역할을 분석하여, 레일리-테일러나 코어스터성도가 존재하지 않을 경우 혼합을 방지함을 보여준다.

제안 방법

• 논문은 볼록 적분을 활용하여 주어진 하위해로부터 IPM 시스템의 약한 해를 복원함으로써 점성 변화(|A| < 1)의 경우에 h-원리를 확장한다.
• 하위해는 IPM 시스템의 선형화된 형태의 약한 해로서, 볼록 적분에 필요한 구조적 제약 조건을 만족한다.
• 구성은 점성 대비를 매개변수화하는 Atwood 수 $ A = A_\mu = (\mu^+ - \mu^-)/(\mu^+ + \mu^-) \in (-1,1) $ 에 기반한다.
• 오트가 도입한 라그랑주적 완화 해 $ \Theta_A $ 는 혼합의 매크로스코픽 모델로 사용되며, 해들이 약한-* 수렴을 통해 $ \Theta_A $ 로 수렴함을 보여준다.
• 자유 경계 $ d_A^\pm(t) $ 에 대한 초기값 문제를 풀어 유한한 영역 내에서 경계 효과를 포함한 혼합 영역의 시간 진화를 분석한다. 이 경계는 경계에서의 점프 조건에서 유도된다.
• 피카르드-린델뢰프 정리에 의해 자유 경계 진화의 존재성과 유일성이 확립되며, 혼합 영역이 안정한 평면상의 상태로 유한 시간 내에 붕괴됨을 보여준다.

실험 결과

연구 질문

• RQ1 2D IPM 시스템의 h-원리는 점성 일정(A = 0)의 경우에서 점성 변화(|A| < 1)의 경우로 확장될 수 있는가?
• RQ2 |A| < 1 인 경우에 IPM 시스템에 대해 시간에 대해 컴팩트한 초점 해를 갖는 비자명한 약한 해가 존재하는가?
• RQ3 |A| < 1 인 경우에 평탄한 초기 경계를 가진 불안정한 무스켓 문제에 대해 $ \Theta_A $-혼합 해를 구성할 수 있는가?
• RQ4 오트와 슈에케리디의 결과처럼, 하위해와 라그랑주적 완화 해 사이의 연결성이 |A| < 1 인 경우에도 유지되는가?
• RQ5 레일리-테일러나 코어스터성도가 경계에서 존재하지 않을 경우, 완화 과정에서의 편심 특이점은 혼합을 방지하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 |A| < 1 인 IPM 시스템에 대해 $ C_t L^{∞w*}_∞ $ 공간에서 무수히 많은 약한 해의 존재를 증명하며, 이는 시간에 대해 컴팩트한 초점 해를 포함한다.
• 평탄한 초기 경계를 가진 불안정한 무스켓 문제에 대해, 유한한 혼합 속도를 가지며 매크로스코픽 수준에서 혼합을 보이는 무수히 많은 $ \Theta_A $-혼합 해를 구성한다.
• 혼합 영역은 시간에 따라 선형적으로 성장하며, 해들이 약한-* 수렴을 통해 군집화된 상태 $ \Theta_A $ 로 수렴함을 확인하여, |A| < 1 인 경우에 라이프팅된 해 모델의 타당성을 입증한다.
• 이전에 A = 0 인 경우에 확립된 하위해와 라그랑주적 완화 해 사이의 연결성 관계가 |A| < 1 인 경우에도 유지됨을 확인한다.
• A ≠ 0 인 경우, 완화 과정에서의 편심 특이점은 레일리-테일러나 코어스터성도가 존재하지 않을 경우 혼합을 방지함을 보여주며, 이는 시스템이 불안정함에도 불구하고 해당 현상이 발생함을 시사한다.
• 유한한 영역에서는 혼합 영역이 유한한 시간 $ t_A $ 내에 붕괴되어 안정한 평면상의 상태에 도달하며, $ t_A $ 는 자유 경계 $ f_A^\pm(t) $ 에 대한 초기값 문제를 통해 명시적으로 기술된다.