[논문 리뷰] Geometric Representations of Whitney Forms and their Generalization to Minkowski Spacetime

Joe Salamon, John Atwell Moody외 1명|arXiv (Cornell University)|2014. 02. 28.

Advanced Differential Geometry Research참고 문헌 11인용 수 5

한 줄 요약

이 논문은 유클리드 공간을 초월하여 평탄한 편미분 리만다이언만다이프 매니폴드, 특히 민코프스키 시공간에 일반화된 웨이틀리 형식의 두 개의 등가 기하 표현을 제안한다. 주요 기여는 웨이틀리 형식과 그 호지 쌍대의 좌표에 의존하지 않고 기하학적으로 직관적인 특성화를 제공함으로써, 시공간 FEEC 및 다중심플렉틱 변분 적분을 통한 고전 전자기학에 대한 완전히 공변적인 시공간 유한요소 이산화를 가능하게 한다.

ABSTRACT

In this work, we present two alternative yet equivalent representation formulae for Whitney forms that are valid for any choice of coordinates, and generalizes the original characterization of Whitney forms in Whitney (1957) that requires the use of barycentric coordinates. In addition, we demonstrate that these formulae appropriately generalize the notion of Whitney forms and barycentric coordinates to Minkowski spacetime, and naturally to any other flat pseudo-Riemannian manifold. These alternate forms are related to each other through a duality between the exterior algebras on vectors and covectors. In addition, these two formulae have a geometrically intuitive interpretation which provide interesting insights into their structure. Furthermore, we obtain an explicit characterization of the Hodge dual of the space of Whitney forms on Minkowski spacetime, and this opens the door to treating the theory of classical electromagnetism in a fully covariant fashion through the combination of multisymplectic variational integration and spacetime finite-element exterior calculus (FEEC) techniques. We conclude the paper with the results from an $\mathbb{R}^{1+1}$ wave equation simulation, as a proof-of-concept of the spacetime formulation described herein.

연구 동기 및 목표

• 유클리드 공간을 초월하여 평탄한 편미분 리만다이언만다이프 매니폴드, 특히 민코프스키 시공간으로 웨이틀리 형식을 일반화하는 것.
• 외적 대수학을 이용한 벡터 및 코벡터에 기반한 좌표에 의존하지 않고 기하학적으로 직관적인 웨이틀리 형식 표현을 제공하는 것.
• 민코프스키 시공간에서 웨이틀리 형식의 호지 쌍대를 명시적으로 특성화하는 것.
• 해밀토니안 장 이론에 대한 완전히 공변적인 시공간 유한요소 외적 미분 계산(FEEC) 프레임워크를 가능하게 하는 것.
• 1+1차원 파동 방정식 시뮬레이션을 통해 시공간 FEEC와 다중심플렉틱 변분 적분의 실현 가능성과 타당성을 입증하는 것.

제안 방법

• 메트릭 쌍대성에 기반한 벡터 기반 미분형식과 코벡터 기반 형식을 사용한 웨이틀리 형식의 두 가지 등가 표현을 유도한다.
• 호지 스타 연산자와 메트릭에 의해 유도되는 등장사상(이sovorphism)을 사용하여 벡터 및 코벡터 표현 간의 관계를 설정한다.
• 이동 불변성과 매개변수화 기법을 적용하여 웨이틀리 형식의 정규화 조건과 차수 조건을 검증한다.
• 외적 대수의 구조, 특히 외적 곱, 수축, 공미분 연산자를 사용하여 단체 위에서 형식을 정의하고 다루는 데 사용한다.
• 단체의 꼭짓점에서 유도된 코벡터 장의 외적 곱의 호지 스타를 포함하는 일반화된 웨이틀리 형식 공식을 도입한다.
• 귀납법과 0-형식 및 1-형식에 대한 명시적 계산을 통해 표현의 타당성을 검증하며, 기존의 바리센터릭 웨이틀리 형식과 일치함을 보인다.

실험 결과

연구 질문

• RQ1 웨이틀리 형식은 바리센터릭 좌표를 초월하여 민코프스키 시공간과 같은 임의의 평탄한 편미분 리만다이언만다이프 매니폴드로 어떻게 일반화될 수 있는가?
• RQ2 벡터 기반 표현과 코벡터 기반 표현 간의 기하학적 및 대수적 관계는 무엇인가?
• RQ3 민코프스키 시공간에서 웨이틀리 형식의 호지 쌍대는 어떻게 명시적으로 특성화할 수 있는가?
• RQ4 제안된 표현 방식은 완전히 공변적인 시공간 유한요소 외적 미분 계산(FEEC) 프레임워크를 지원할 수 있는가?
• RQ5 시공간 FEEC 표현 방식은 물리적 장 이론 시뮬레이션에서 성능과 일관성이 있는가?

주요 결과

• 논문은 임의의 평탄한 편미분 리만다이언만다이프 매니폴드에서 유효한, 벡터 기반과 코벡터 기반의 두 가지 등가 기하 표현을 제시한다.
• 벡터 기반 표현은 호지 스타와 메트릭 쌍대를 통해 민코프스키 시공간으로 바리센터릭 좌표를 일반화한다.
• 민코프스키 시공간에서 웨이틀리 형식의 호지 쌍대는 체적 형식과 메트릭에 의해 유도된 등장사상을 사용하여 명시적으로 특성화된다.
• 매개변수화와 내적 항등식을 활용하여 0-형식 및 1-형식에 대해 ∫ρ w_j = 1 정규화 조건이 엄밀히 검증된다.
• 1+1차원 파동 방정식 시뮬레이션을 통해 시공간 FEEC 표현 방식의 일관성과 실현 가능성, 다중심플렉틱 변분 적분과의 호환성이 확인된다.
• 유도된 표현 방식은 일반 좌표계 하에서도 웨이틀리 형식의 핵심 성질인 차수, 지지, 경계 행동을 유지한다.