[논문 리뷰] Test Function Spaces for Geometric Finite Elements

Oliver Sander|arXiv (Cornell University)|2016. 07. 25.

Advanced Numerical Analysis Techniques참고 문헌 11인용 수 4

한 줄 요약

이 논문은 기하학적 유한요소(GFE)를 위한 시험 함수 공간을 도입하여, 최소화 기반 접근을 초월한 비선형 다양체 값 문제에서 약한 제형과 최적성 조건을 가능하게 한다. 이 방법은 국소적 다각체 구조를 이용해 GFE 함수의 변형으로 시험 함수를 구성하며, 잭비 필드를 일반화하고, 대수적 및 기하학적 제형의 일阶 최적성 조건 간의 등가성을 보장한다.

ABSTRACT

We construct test function spaces for geometric finite elements. Geometric finite elements (GFE) are generalizations of Lagrangian finite elements to situations where the unknown function maps into a nonlinear space. Test functions for such spaces arise as variations of GFE functions wherever the GFE function space has a local manifold structure. For any given GFE function $u_h$, the test functions form a linear space that depends on $u_h$. They generalize Jacobi fields in the same way that the GFE interpolation functions generalize geodesic curves. Having test function spaces allows to extend the GFE method to boundary value problems that do not have a minimization formulation.

연구 동기 및 목표

• 기하학적 유한요소(GFE)를 최소화 기반 제형을 초월하여 적절한 시험 함수 공간을 구성함으로써 확장한다.
• 기하학적 미분기하학에서의 잭비 필드를 일반화하여, GFE 함수의 변형으로서 시험 함수를 정의한다.
• 첫째 순서 최적성 조건을 대수적 설정 외에도 직접 GFE 함수 공간에서 가능하게 한다.
• 대수적 최소화를 통한 최적성 조건과 기하학적 시험 함수를 통한 최적성 조건 간의 등가성을 확립한다.
• 특히 지측선 및 투영 기반 GFE에 대해 시험 함수 평가가 계산적으로 실현 가능하도록 하는 프레임워크를 제공한다.

제안 방법

• 시험 함수는 주어진 GFE 함수 $ u_h $ 의 변형으로 정의되며, $ u_h $ 에 따라 달라지는 선형 공간 $ T_{u_h}V_h^M $ 을 이룬다.
• 공간 $ T_{u_h}V_h^M $ 은 라그랑주 노드에서의 접선 벡터로 식별되며, 각 노드당 $ \text{dim}(M) $ 차원의 벡터로 구성된 노드 기저를 갖는다.
• 지측선 유한요소의 경우, 시험 함수를 점에서 평가하기 위해 크기 $ \dim M $ 의 선형 시스템을 한 번만 풀면 되어 계산이 효율적이다.
• 투영 기반 GFE의 경우 평가 방법은 투영 메커니즘에 따라 달라지며, 구면의 경우 닫힌 형태의 표현식이 존재한다.
• 지측선 및 투영 기반 GFE에 모두 동일하게 적용되며, 유일한 차이는 보간 세부 사항뿐이다.
• 평가 및 접선 사상의 도형에서의 교환 법칙을 통해 대수적 및 기하학적 최적성 조건 간의 등가성이 증명된다.

실험 결과

연구 질문

• RQ1 기하학적 유한요소를 위한 시험 함수 공간은 어떻게 정의할 수 있으며, 이를 통해 비선형 다각체 값 문제에서 약한 제형을 어떻게 가능하게 할 수 있는가?
• RQ2 이산 GFE 함수 공간의 접선 공간과 대수적 구성 다각체 $ M^n $ 의 접선 공간 사이의 기하학적 및 대수적 관계는 무엇인가?
• RQ3 최소화 문제의 첫째 순서 최적성 조건은 대수적 설정 외에도 직접 GFE 함수 공간에서 어떻게 제형화할 수 있는가?
• RQ4 대수적 최소화를 통해 유도된 최적성 조건과 기하학적 시험 함수를 통해 유도된 최적성 조건는 서로 등가적인가?
• RQ5 GFE에서 시험 함수 평가의 계산 비용은 얼마이며, 실용적 구현을 위해 효율적으로 만들 수 있는가?

주요 결과

• 기하학적 유한요소를 위한 시험 함수는 이산 함수 $ u_h $ 의 변형으로 구성되며, $ u_h $ 에 따라 달라지는 선형 공간 $ T_{u_h}V_h^M $ 을 이룬다. 이는 잭비 필드를 일반화한다.
• 공간 $ T_{u_h}V_h^M $ 은 라그랑주 노드에서의 접선 공간의 곱과 등급을 이루며, 각 노드에서의 접선 벡터를 지정함으로써 노드 기저가 정의된다.
• 지측선 유한요소의 경우, 점에서 시험 함수를 평가하기 위해 크기 $ \dim M $ 의 선형 시스템을 한 번만 풀면 되어 계산이 효율적이다.
• 구면 $ M = S^{N-1} $ 의 경우, 시험 함수에 대해 닫힌 형태의 표현식이 존재하여 빠른 평가가 가능하다.
• 모든 $ \eta_h \in T_{v_h}V_h^M $ 에 대해 첫째 순서 최적성 조건 $ d\mathcal{J}[v_h](\eta_h) = 0 $ 이 대수적 조건 $ dJ[\bar{v}](\bar{\eta}) = 0 $ 과 등가임을 증명함으로써 기하학적 및 대수적 제형 간의 일致성을 입증한다.
• 제안된 시험 함수 구성은 최소화 구조가 없는 문제에 GFE를 사용할 수 있도록 정당화하며, 방법의 적용 범위를 확장한다.