[논문 리뷰] Amiable mixed schemes for fourth order curl equations

Shuo Zhang|arXiv (Cornell University)|2016. 07. 17.

Advanced Numerical Methods in Computational Mathematics참고 문헌 13인용 수 3

한 줄 요약

이 논문은 보조 변수를 도입하여 네째단계 컬 방정식에 대해 안정적이고 저차수의 혼합 유한요소 스킴을 제안한다. 문제는 잘 정의된 혼합 형식으로 재구성되며, $H^1$, $H({\rm curl})$, 및 $L^2$ 유한요소를 사용하여 최적 수렴 속도를 확보한다. 볼록 다면체 영역에서 정규성 결과가 확인되었고, 표준 변분 분석을 통해 수렴성이 증명되었다.

ABSTRACT

In this paper, amiable mixed schemes are presented for two variants of fourth order curl equations. Specifically, mixed formulations for the problems are constructed, which are well-posed in Babuska-Brezzi's sense and admit stable discretizations by finite element spaces of low smoothness and of low degree. The regularities of the mixed formulations and thus equivalently the primal problems are established, and some finite elements examples are given which can exploit the regularity of the solutions to an optimal extent.

연구 동기 및 목표

• 네째단계 컬 방정식의 두 변종에 대해 최소한의 미분 조건을 요구하는 안정적이고 잘 정의된 혼합 형식을 개발하기 위해.
• 볼록 다면체 영역에서 혼합 형식의 정규성 결과를 확립하고, 원래 문제와의 등가성을 입증하기 위해.
• 저차수, 저연속성 유한요소 공간을 활용하여 해의 정규성을 최적화하는 유한요소 이산화를 설계하기 위해.
• 중첩 그리드에서 대수적이고 위상적인 포함 관계를 보장함으로써 다수준 방법과의 호환성을 확보하고 효율적이고 확장 가능한 해법 전략을 제공하기 위해.
• 미래의 연구를 위한 기초를 마련하기 위해, 매개변수에 대해 안정적인 이산화 및 고유값 문제를 고려하기 위해.

제안 방법

• 네째단계 컬 문제를 두 번째 단계 방정식의 체계로 줄이기 위해 보조 변수를 도입하여 혼합 형식을 구성하기 위해.
• 표준 유한요소 공간인 $L^2$, $H({\rm curl})$, 및 $H^1$ 유형의 유한요소 공간을 사용하여 바부쉬카-브레즈지 조건을 충족하는 잘 정의된 혼합 변분 형식을 구성하기 위해.
• 볼록 다면체에서 벡터 포텐셜과 그 컬의 $H^2$-정규성을 입증함으로써 혼합 형식의 정규성을 증명하기 위해.
• 표준 유한요소, 예를 들어 네데lec 요소와 조각별 다항식을 사용하여 안정적이고 수렴하는 이산화를 달성하기 위해.
• 쌍대성 원리와 사전 오차 추정을 적용하여 에너지 노름 및 $L^2$ 노름에서의 수렴 속도를 유도하기 위해.
• 다중 수준 방법 호환성을 확보하기 위해 중첩 그리드에서 대수적이고 위상적인 포함 관계를 보장하기 위해.

실험 결과

연구 질문

• RQ1 저연속성, 저차수 유한요소를 사용하여 네째단계 컬 방정식에 대해 안정적인 혼합 형식을 구성할 수 있는가?
• RQ2 혼합 형식의 해의 정규성은 어떠한가? 볼록 다면체 영역에서 원래 문제의 해에 대해 $H^2$-정규성이 확인되는가?
• RQ3 혼합 형식을 어떻게 이산화할 수 있으며, 이는 기존의 조절자와 함께 최적 수렴과 효율적인 해법을 가능하게 하는가?
• RQ4 해의 컬에 대한 경계 조건은 변분 설정에서 어떻게 적절하게 강제할 수 있는가?
• RQ5 향후 연구에서 이로 인한 스킴을 매개변수에 대해 안정적인 이산화나 고유값 문제로 확장할 수 있는가?

주요 결과

• 두 문제 변종 (A) 및 (B)에 대한 혼합 형식은 $L^2$, $H({\rm curl})$, 및 $H^1$ 공간을 사용하여 바부쉬카-브레즈지 조건을 충족하며 잘 정의되고 안정하다.
• 해 $\undertilde{u}$ 와 그 컬 $\nabla\times\undertilde{u}$ 는 볼록 다면체 영역에서 $H^2$-정규성을 확보하며, 이는 이전 연구에서의 가정을 확인한다.
• 최적 수렴 속도가 달성된다: 혼합 변수 $\undertilde{\varphi}$ 에 대해 $\|\undertilde{\varphi} - \undertilde{\varphi}_h\|_{0,\Omega} \leq Ch^2\|\undertilde{f}\|_{0,\Omega}$.
• 문제 (B)의 경우 $H({\rm curl})$-노름에서의 수렴 속도는 $O(h)$이며, $\undertilde{f} \in \undertilde{H}^1(\Omega)$ 이면 $O(h^2)$로 향상된다.
• 사용된 유한요소 공간—예를 들어 $N^2_{h0}$ 및 $\mathcal{L}^2_{h0}$—는 중첩 그리드에서 대수적이고 위상적인 포함 관계를 보이며, 효율적인 다중 수준 해법기를 가능하게 한다.
• 이 스킴은 표준 유한요소 패키지로 구현 가능하며, 기존의 최적 조절자와 호환된다.