[논문 리뷰] A Note on the Ladyzenskaja-Babuska-Brezzi Condition

Abner J. Salgado, Johnny Guzmán외 1명|arXiv (Cornell University)|2012. 03. 08.

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

한 줄 요약

이 논문은 스토크스 문제에서 정규화된, 형태가 규칙적인 메시를 가정할 때, 고전적 레이즈네스카자-바부шка-브레즈지(LBB) 조건과 일반화된 LBB(GLBB) 조건 간의 등가성을 입증한다. 도메인이 충분한 정규성을 가진다면 GLBB는 LBB를 함의하며, 추가로 GLBB는 프리컨디셔닝 및 시간에 의존하는 문제에 관련된 가중치가 부여된 인프-서프 조건을 함의함을 보여준다.

ABSTRACT

The analysis of finite-element-like Galerkin discretization techniques for the stationary Stokes problem relies on the so-called LBB condition. In this work we discuss equivalent formulations of the LBB condition.

연구 동기 및 목표

• 혼합 유한요소 방법에서 고전적 LBB 조건과 일반화된 LBB(GLBB) 조건 간의 관계를 명확히 하는 것.
• GLBB가 정규화된 메시에서 고전적 LBB 조건을 함의하는지 조사하는 것.
• GLBB가 프리컨디셔닝 및 시간에 의존하는 스토크스 문제에서 사용되는 가중치가 부여된 인프-서프 조건을 함의함을 보여주는 것.
• GLBB 조건이 L² 유계 Fortin 사영의 존재를 보장함으로써 안정성과 수렴성을 확보하는 데 충분함을 확립하는 것.

제안 방법

• L² 근사 성질을 갖는 Fortin 사영을 구성하기 위해 스코트-자앙 보간 연산자를 사용한다.
• 역 불등식과 메시의 정규성 가정(정규화된, 형태가 규칙적인)을 적용하여 노름을 제어한다.
• 노름 ‖·‖_H¹+ε⁻¹L² 와 ‖·‖_L²∩εH¹ 를 포함하는 가중치가 부여된 인프-서프 조건을 적용하여 프리컨디셔닝을 분석한다.
• 연속적인 인프-서프 안정성이 (2.8)을 만족하는 Fortin 연산자의 존재를 활용하여 연속적인 안정성을 이산 설정으로 이전한다.
• ε 가 메시 크기 h 와 비교될 때의 경우 분석을 통해 가중치가 부여된 인프-서프 조건을 증명한다.
• 도메인이 볼에 대해 별다르게 볼 수 있는 별다른 정규성(스타형)을 보장함으로써 연속적인 인프-서프 안정성을 확보한다.

실험 결과

연구 질문

• RQ1 정규화된 메시에서 일반화된 LBB 조건(GLBB)은 고전적 LBB 조건과 등가인가?
• RQ2 GLBB 조건은 시간에 의존하는 스토크스 문제의 프리컨디셔닝에 사용되는 가중치가 부여된 인프-서프 조건을 함의하는가?
• RQ3 GLBB 조건 하에서 L² 유계 Fortin 사영의 존재를 보장할 수 있는가?
• RQ4 GLBB 조건이 도메인이 스토크스 해에 대해 H² 정규성을 가질 경우 LBB를 함의하는가?
• RQ5 GLBB 조건을 사용하여 타일러후드 및 마이니 요소를 포함한 모든 표준 인프-서프 안정 유한요소 공간에 대해 안정성을 확립할 수 있는가?

주요 결과

• 정규화된, 형태가 규칙적인 메시에서, 일반화된 LBB 조건(GLBB)은 고전적 LBB 조건을 함의한다.
• 스토크스 문제에서 도메인이 H² 정규성을 가질 경우, GLBB는 LBB와 등가이다.
• GLBB 조건은 ε 과 h 에 독립적인 상수를 갖는 가중치가 부여된 인프-서프 조건 (5.1)을 함의한다.
• 2차원에서 최소 차수의 타일러후드 요소에 대해 GLBB는 가중치가 부여된 인프-서프 조건을 함의하며, 이는 2차원 및 3차원의 모든 타일러후드 요소로 확장된다.
• GLBB 조건은 L²에서 유계이면서 최적의 근사 성질을 갖는 Fortin 사영의 존재를 보장한다.
• 결과는 정규화된 메시를 가정할 때 성립하며, 이 조건을 제거할 수 있는지 여부는 저자들이 열어두고 있다.