[논문 리뷰] Hyperbolic conservation laws on spacetimes. A finite volume scheme based on differential forms

Philippe G. LeFloch, Baver Okutmuştur|ArXiv.org|2008. 10. 01.

Geometric Analysis and Curvature Flows참고 문헌 26인용 수 14

한 줄 요약

이 논문은 미분 형식을 사용하여 시공간에서의 쌍곡 보존법칙에 대한 새로운 유한체적 스킴을 제안하며, 유량을 벡터장이 아닌 n-형식 필드로 설정한다. 전역적으로 쌍곡적인 조건 하에서 기하학적으로 자연스러운 L¹ 유사 거리에서 엔트로피 해의 반군이 존재하고, Kruzkov 이론을 최소한의 기하학적 가정으로서의 곡면에 일반화한 수축 성질을 증명한다.

ABSTRACT

We consider nonlinear hyperbolic conservation laws, posed on a differential (n+1)-manifold with boundary referred to as a spacetime, and in which the "flux" is defined as a flux field of n-forms depending on a parameter (the unknown variable). We introduce a formulation of the initial and boundary value problem which is geometric in nature and is more natural than the vector field approach recently developed for Riemannian manifolds. Our main assumption on the manifold and the flux field is a global hyperbolicity condition, which provides a global time-orientation as is standard in Lorentzian geometry and general relativity. Assuming that the manifold admits a foliation by compact slices, we establish the existence of a semi-group of entropy solutions. Moreover, given any two hypersurfaces with one lying in the future of the other, we establish a "contraction" property which compares two entropy solutions, in a (geometrically natural) distance equivalent to the L1 distance. To carry out the proofs, we rely on a new version of the finite volume method, which only requires the knowledge of the given n-volume form structure on the (n+1)-manifold and involves the {\sl total flux} across faces of the elements of the triangulations, only, rather than the product of a numerical flux times the measure of that face.

연구 동기 및 목표

• 일반적인 미분다양체에서 쌍곡 보존법칙을 메트릭에 의존하지 않는 기하학적으로 자연스러운 형태로 공식화하는 것.
• 미분 형식에 기반한 새로운 유한체적 방법을 통해 시공간에서의 보존법칙에 대한 엔트로피 해의 존재성을 확립하는 것.
• 기하학적으로 내재된 거리에서 엔트로피 해들 사이의 수축 성질을 증명하여 유일성과 안정성을 확보하는 것.
• 전역 쌍곡성 이외의 사전 기하학적 구조를 가정하지 않고 Kruzkov의 엔트로피 해 이론을 곡면으로 일반화하는 것.
• 메트릭에 의존하지 않는 유량 계산을 피하고 n-체적 형식과 요소 면을 통한 총 유량만을 요구하는 수치적으로 구현 가능한 스킴을 제공하는 것.

제안 방법

• 보존법칙을 $ d(\rho(u)) = 0 $ 형태로 공식화하며, 여기서 $ \rho(u) $ 는 알려지지 않은 $ u $ 에 따라 변하는 n-형식 필드(유량 필드)이다. 이를 통해 메트릭에 의존하지 않는 기하학적 공식화가 가능해진다.
• 시험 형식에 대한 적분을 통한 약한 해 정의를 사용하며, 스토크스 정리를 적용하여 보존 조건을 컴act 부분집합의 경계를 따라 총 유량이 0이 되는 것으로 표현한다.
• 시공간의 삼등분을 사용하여 유한체적 스킴을 구성하며, 면에 대한 수치 유량 계산 대신 $ \rho(u) $ 의 적분을 통해 유량을 계산한다.
• 이산 해의 영양 측도 극한을 포함하는 기하학적으로 일관된 엔트로피 부등식을 도입하여, 극한에서 엔트로피 감소가 보장되도록 한다.
• 전역 쌍곡성 조건을 사용하여 시간 방향성을 정의하고 과거와 미래를 구분함으로써, 잘 정의된 문제와 수축 추정을 가능하게 한다.
• 영양 측도의 컴act성과 약한* 수렴을 이용하여 엔트로피 부등식의 극한을 취함으로써 이산 스킴의 수렴성을 증명한다.

실험 결과

연구 질문

• RQ1 일반적인 시공간에서 리만 또는 로렌츠 메트릭을 가정하지 않고 쌍곡 보존법칙을 기하학적으로 내재된 방식으로 어떻게 공식화할 수 있는가?
• RQ2 n-체적 형식과 면을 통한 총 유량만을 사용하여 메트릭에 의존하는 유량 계산을 피하는 유한체적 방법을 어떻게 구성할 수 있는가?
• RQ3 어떤 기하학적 조건 하에서 엔트로피 해의 반군이 존재하고 기하학적으로 자연스러운 거리에서 수축 성질을 만족하는가?
• RQ4 메트릭이 없이도 미분 형식의 구조만을 사용하여 유한체적 스킴의 수렴성을 어떻게 증명할 수 있는가?
• RQ5 Kruzkov의 엔트로피 해 이론은 어느 정도까지 미분 형식을 사용하여 곡면에서의 시공간으로 일반화될 수 있는가?

주요 결과

• 논문은 전역 쌍곡성 조건 하에서 시공간에서의 쌍곡 보존법칙에 대해 엔트로피 해의 반군 존재성을 확립한다.
• 기하학적으로 자연스러운 거리(기하학적으로 L¹ 노름과 동치)에서 두 엔트로피 해 사이의 수축 성질이 증명되어 유일성이 보장된다.
• 메esh 크기 $ h \to 0 $ 일 때 유한체적 스킴이 엔트로피 해로 수렴하며, 이는 영양 측도 기법과 엔트로피 부등식의 극한을 통해 증명된다.
• 스킴은 n-체적 형식과 요소 면을 통한 총 유량 외에 다른 정보가 필요로 하지 않아 일반 다양체에 적용 가능하며 메트릭 가정이 필요하지 않다.
• 스킴의 오차 항 $ A^h, B^h, C^h $ 는 $ h \to 0 $ 일 때 0으로 수렴하며, 각각 $ |A^h| \leq C'' \frac{\tau_{\text{max}} + h}{(\tau_{\text{min}})^{1/2}} $ 및 $ |B^h| \leq C \frac{( au_{\text{max}} + h)^2}{h} $ 의 유계를 가지며, 이 둘 다 0으로 수렴한다.
• 미분 형식을 통한 공식화는 벡터장 접근 방식보다 더 단순하고 일반적인 프레임워크를 제공하며, 리만 및 로렌츠 설정에서의 이전 결과들을 통합하고 확장한다.