[논문 리뷰] Time-convexity of the entropy in the multiphasic formulation of the incompressible euler equation

Hugo Lavenant|arXiv (Cornell University)|2017. 01. 23.

Navier-Stokes equation solutions참고 문헌 19인용 수 6

한 줄 요약

이 논문은 볼록 도메인에서 비압축성 올레르 방정식의 브레니에 다상 유체 공식화에서 시간 평균 엔트로피가 시간에 대해 볼록 임을 증명한다. 이는 브레니에의 추측을 확인하는 것이다. 저자들은 JKO 스킴을 영감으로 삼은 시간 이산화된 유동 교환 부등식을 도입하여 이 결과를 확립하며, 워샤르슈타인 공간 내에서의 볼록성과 비압축성 제약 조건을 활용한다.

ABSTRACT

We study the multiphasic formulation of the incompressible Euler equation introduced by Brenier: infinitely many phases evolve according to the compressible Euler equation and are coupled through a global in-compressibility constraint. We are able to prove that the entropy, when averaged over all phases, is a convex function of time, a result that was conjectured by Brenier. The novelty in our approach consists in introducing a time-discretization that allows us to import a flow interchange inequality previously used by Matthes, McCann and Savar{\\'e} to study first order in time PDE, namely the JKO scheme associated with non-linear parabolic equations.

연구 동기 및 목표

• 비압축성 올레르 방정식의 다상 공식화에서 평균 엔트로피의 시간 볼록성을 증명하여 브레니에의 추측을 확인한다.
• 유체 상이가 압축성 운동을 따르지만 전역적 비압축성 제약 조건에 의해 연결되는 변분 프레임워크를 수립한다.
• 워샤르슈타인 공간에서 최적 궤적을 따라 엔트로피의 정칙성 및 볼록성 성질을 분석한다.
• JKO 스킴의 유동 교환 부등식 기법을 유체역학에서 발생하는 2차 시간 편미분 방정식으로 확장한다.
• 경계 조건이 매개변수 형태로 주어질 때, 최소 작용 해를 엔트로피와 작용 최소화에 기반하여 특성화한다.

제안 방법

• 시간 이산화된 다상 올레르 시스템을 도입하여 2차 시간 도함수를 처리한다.
• 마타스, 머캔, 사바레의 유동 교환 부등식을 적용하여 시간에 따른 엔트로피 변화를 제어한다.
• 상태 공간에서 엔트로피와 작용의 볼록 기능에 대해 젠센의 부등식을 사용하여 경계를 도출한다.
• 확률 측도의 분해를 활용하여 전역 교통 계획에서 상의 궤적 집합을 구성한다.
• 도메인의 볼록성을 활용하여 엔트로피의 2차 도함수에서 경계 항의 음이 아닌 성질을 보장한다.
• 속도 장을 잠재력의 기울기로 표현한 하미르톤-자코비 공식을 활용하여 최적 운반 이론과 연결한다.

실험 결과

연구 질문

• RQ1 볼록 도메인 조건 하에서 다상 비압축성 올레르 방정식의 평균 엔트로피는 시간에 대해 볼록한가?
• RQ2 JKO 스킴의 유동 교환 부등식은 변분 유체 모델에서 유도된 2차 시간 편미분 방정식에 적응 가능한가?
• RQ3 개별 상이가 분리되거나 확산되는 경우, 즉 고전적 딜라 해와 다를 경우에도 엔트로피의 시간 볼록성은 유지되는가?
• RQ4 비압축성 제약 조건은 다상 프레임워크에서 엔트로피 변화와 어떻게 상호작용하는가?
• RQ5 경계 조건이 제약 조건이 주어질 때 최소 작용 해를 매개변수 형태의 엔트로피와 작용 최소화로 매개변수화할 수 있는가?

주요 결과

• 평균 엔트로피 $ H(t) $의 2차 도함수는 볼록 도메인에서 음이 아닌데, 이는 시간 볼록성을 증명한다.
• 경계에서의 핵심 항 $ \nabla p_t \cdot n $ 는 도메인의 볼록성으로 인해 음이 아니며, 이는 $ H''(t) $ 의 하한을 보장한다.
• 시간 이산화된 유동 교환 부등식은 엔트로피 변화를 효과적으로 제어하여 볼록성 증명을 가능하게 한다.
• 구성된 해의 작용과 엔트로피는 각각 $ \mathcal{A}_P(\rho,\mathbf{v}) \leq \mathcal{A}(Q) $ 와 $ H_P(\rho,\mathbf{v})(t) \leq H_Q(t) $ 를 만족한다.
• 경계 조건이 매개변수 형태로 주어지면 총 엔트로피가 최소화되는 해는 매개변수화할 수 있다.
• 도메인 $ \Omega $ 가 볼록하다면, $ \mathcal{P}(\Omega) $ 내의 임의의 초기 및 최종 밀도에 대해 결과가 성립한다.