[논문 리뷰] The lower bound of the error estimate in the L2 norm for the Adini element of the biharmonic equation

Jun Hu, Zhong‐Ci Shi|arXiv (Cornell University)|2012. 11. 20.

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

한 줄 요약

이 논문은 비함의 방정식에 대한 아디니 비일관 유한요소의 $L^2$ 노름 오차 추정치에 대한 하한을 확립하여 수렴 속도가 $\mathcal{O}(h^2)$를 초과할 수 없음을 증명함으로써, 라스코 및 레생이 오랫동안 제기한 추측을 엄밀히 확인한다. 이 추측은 $L^2$ 및 $H^1$ 수렴 속도가 에너지 노름 속도를 초과할 수 없다는 것이다. 분석은 개선된 보간 연산자와 $(-f, e)_{L^2}$에 대한 항등식에 기반하며, 이는 주요 오차 항을 분리하고 $H^4$ 정규성 조건 하에서 하한 유도를 가능하게 한다.

ABSTRACT

This paper is devoted to the $L^2$ norm error estimate of the Adini element for the biharmonic equation. Surprisingly, a lower bound is established which proves that the $ L^2$ norm convergence rate can not be higher than that in the energy norm. This proves the conjecture of [Lascaux and Lesaint, Some nonconforming finite elements for the plate bending problem, RAIRO Anal. Numer. 9 (1975), pp. 9--53.] that the convergence rates in both $L^2$ and $H^1$ norms can not be higher than that in the energy norm for this element.

연구 동기 및 목표

• 비함의 방정식 문제에서 아디니 유한요소의 $L^2$ 노름 오차 추정 문제를 오랫동안 미해결로 남아 있던 문제를 해결하기 위해.
• 라스코 및 레생(1975)이 제기한 추측을 엄밀히 증명하기 위해, 즉 $L^2$ 및 $H^1$ 수렴 속도가 에너지 노름 속도를 초과할 수 없다는 것을 증명하기 위해.
• 아디니 요소에 대한 $L^2$ 오차 추정치에 하한을 설정하여 일반적으로 고차원 수렴이 불가능함을 보여주기 위해.

제안 방법

• 기존의 정규성 요구 조건을 개선하기 위해, 새로운 전개 방법을 통해 기저 보간 연산자 $\Pi_h$의 개선된 성질을 유도한다.
• 주요 오차 항을 고차항 기여와 분리하는 데 핵심적인 역할을 하는 $(-f, w - w_h)_{L^2}$에 대한 항등식을 수립한다.
• 이 항등식을 개선된 보간 추정치와 결합하여 $L^2$ 오차를 아래에서 유계로 제한한다.
• 포incare 부등식을 적용하여 $L^2$ 및 $H^1$ 오차 유계를 연결함으로써, 둘 다 최대 $\mathcal{O}(h^2)$임을 보여준다.
• 이전 연구에서 사용된 $H^5$ 가정을 약화시켜 정확한 해의 $H^4$ 정규성에 의존한다.
• 이산 $L^2$ 오차가 $h^2 \| \partial^3 w / \partial x^2 \partial y \|_{L^2}$ 비례하는 항으로 아래에서 유계임을 보이며, 이는 비자명한 우항 $f$ 조건 하에서도 영이 아님을 보여준다.

실험 결과

연구 질문

• RQ1 아디니 요소에 대한 $L^2$ 노름 오차 추정치가 $\mathcal{O}(h^2)$를 초과할 수 있는가, 아니면 이것이 최적의 속도인가?
• RQ2 라스코 및 레생(1975)이 제기한 추측, 즉 $L^2$ 및 $H^1$ 수렴 속도가 에너지 노름 속도를 초과할 수 없다는 주장은 수학적으로 타당한가?
• RQ3 두 번째 차수의 일致성과 근사성에도 불구하고 아디니 요소의 어떤 구조적 성질이 고차원 $L^2$ 수렴을 방지하는가?

주요 결과

• 아디니 요소에 대한 $L^2$ 노름 오차 추정치는 하한이 $\mathcal{O}(h^2)$이므로, 이보다 더 빠른 수렴 속도는 향상될 수 없다.
• Poincaré 부등식과 $L^2$ 하한에 의해 유도되는 바와 같이, $H^1$ 노름 오차 추정치 역시 최대 $\mathcal{O}(h^2)$이다.
• 기본 보간 연산자 $\Pi_h$ 는 $|v - \Pi_h v|_{H^1} \leq C h^2 |v|_{H^4}$ 를 만족하는 개선된 오차 추정치를 갖는다. 이는 분석에 있어 핵심적인 역할을 한다.
• $(-f, w - w_h)_{L^2} = \text{주요 항} + \text{고차항}$ 이라는 항등식은 주요 오차 기여를 분리하는 데 기여한다.
• 오차 항등식의 주요 항은 $h^2 \| \partial^3 w / \partial x^2 \partial y \|_{L^2}$ 비례하며, 이는 $f \not\equiv 0$일 경우 영이 아니므로 하한이 비자명함을 보장한다.
• 분석은 이전 유사 작업에서 사용된 $H^5$ 가정을 초월하여 정확한 해의 $H^4$ 정규성만 요구한다.