[논문 리뷰] An exterior calculus framework for polytopal methods

Francesco Bonaldi, Daniele A. Di Pietro외 2명|arXiv (Cornell University)|2023. 03. 20.

Advanced Numerical Methods in Computational Mathematics참고 문헌 51인용 수 5

한 줄 요약

이 논문은 외재 미분 형식의 다면체 복합체를 처음으로 제안하며, 외재 미분 계산법과 다면체 방법을 융합하여 일반적인 다면체 메esh에서 안정적이고 호환 가능한 이산 de Rham 복합체를 구성한다. 연산자 간의 교환성, 다항식 일致성, 그리고 이산 코homology가 연속 de Rham 복합체와 일치함을 입증함으로써, 복잡한 격자에서 PDE에 대한 강력한 수치적 방법을 가능하게 한다.

ABSTRACT

We develop in this work the first polytopal complexes of differential forms. These complexes, inspired by the Discrete De Rham and the Virtual Element approaches, are discrete versions of the de Rham complex of differential forms built on meshes made of general polytopal elements. Both constructions benefit from the high-level approach of polytopal methods, which leads, on certain meshes, to leaner constructions than the finite element method. We establish commutation properties between the interpolators and the discrete and continuous exterior derivatives, prove key polynomial consistency results for the complexes, and show that their cohomologies are isomorphic to the cohomology of the continuous de Rham complex.

연구 동기 및 목표

• 일반적인 다면체 메쉬를 위한 유한요소 외재 미분 계산법과 다면체 방법을 통합한다.
• 연속 de Rham 복합체의 호모로지적 구조를 유지하는 이산 de R Rham 복합체를 개발한다.
• 보간자들을 통해 연속 및 이산 외재 미분 형식 간의 교환 성질을 확립한다.
• 이산 및 연속 복합체 간의 다항식 일치성과 코homology 동형성을 입증한다.
• 비일관성, 복잡한 격자에서의 PDE에 대해 안정적이고 고차수의 수치적 방법을 가능하게 한다.

제안 방법

• Discrete De Rham 및 가상 요소 방법에 영감을 받아 다면체 방법을 사용하여 이산 de Rham 복합체를 구성한다.
• 고차원, 기저에 의존하지 않는 프레임워크를 사용하여 일반적인 다면체 요소에서 이산 미분 형식을 정의한다.
• 연속 및 이산 외재 미분 형식과 모두 교환되는 보간자를 구현한다.
• 이산 설정에서 경계 및 제약 조건을 정의하기 위해 Koszul 미분형식과 추적 연산자를 사용한다.
• 이산 형식이 주어진 차수 이내의 다항식 행동을 정확히 재현함을 입증함으로써 다항식 일치성을 확립한다.
• 이산 복합체의 코homology가 연속 de Rham 복합체와 동형임을 입증한다.

실험 결과

연구 질문

• RQ1 외재 미분 형식 원리에 기반하여 일반적인 다면체 메쉬에서 이산 de Rham 복합체를 구성할 수 있는가?
• RQ2 다면체 요소에서 연속 및 이산 외재 미분 형식과 모두 교환되는 보간자를 어떻게 설계할 수 있는가?
• RQ3 다면체 메쉬에서 이산 de Rham 복합체의 다항식 일치성을 보장하는 조건은 무엇인가?
• RQ4 이산 복합체가 연속 de Rham 복합체의 코호몰로지적 구조를 유지하는가?
• RQ5 이 프레임워크는 비일관성, 복잡한 격자에서의 PDE에 대해 안정적이고 고차수의 방법을 지원할 수 있는가?

주요 결과

• 제안된 외재 미분 형식의 다면체 복합체는 외재 미분 형식을 사용하여 임의의 다면체 메쉬로 de Rham 복합체를 일반화한 최초의 사례이다.
• 보간자가 연속 및 이산 외재 미분 형식과 모두 교환되며, 일致성과 안정성을 보장한다.
• 이산 복합체는 다항식 일치성을 보이며, 주어진 차수 이내의 다항식 형식을 정확히 재현한다.
• 이산 복합체의 코homology는 연속 de Rham 복합체와 동형이며, 위상적 구조를 유지한다.
• 특정 메쉬에서 기존의 유한요소보다 더 간결한 이산 공간을 가능하게 하여 자유도를 감소시킨다.
• 이 접근법은 임의의 차수의 방법과 일반적인 다면체 요소를 지원하며, 일치하지 않는 표면과 복잡한 격자도 처리할 수 있다.