[논문 리뷰] Coupled Domain-Boundary Variational Formulations For Hodge-Helmholtz Operators

Schulz, Erick, Hiptmair, Ralf|arXiv (Cornell University)|2020. 03. 27.

Numerical methods in inverse problems인용 수 2

한 줄 요약

이 논문은 3차원 유계 리프시츠 도메인에서 Hodge-Helmholtz 및 Hodge-Laplace 방정식에 대해 혼합 유한요소 형식과 제1종 경계적분방정식을 칼라손 프로젝터를 통해 대칭적으로 결합한 변분형식을 제시한다. 주요 기여는 T-코어시비티를 통한 잘 정의됨을 증명하고 공진 주파수에서 벗어난 영역에서 안정성을 확보하며, 전자기파 산란 문제에 대해 강건한 갈레르킨 이산화를 가능하게 한다.

ABSTRACT

We couple the mixed variational problem for the generalized Hodge-Helmholtz or Hodge-Laplace equation posed on a bounded three-dimensional Lipschitz domain with the first-kind boundary integral equation arising from the latter when constant coefficients are assumed in the unbounded complement. Recently developed Calderon projectors for the relevant boundary integral operators are used to perform a symmetric coupling. We prove stability of the coupled problem away from resonant frequencies by establishing a generalized Garding inequality (T-coercivity). The resulting system of equations describes the scattering of monochromatic electromagnetic waves at a bounded inhomogeneous isotropic body possibly having a "rough" surface. The low-frequency robustness of the potential formulation of Maxwell's equations makes this model a promising starting point for Galerkin discretization.

연구 동기 및 목표

• 비균일한 유전체에서 Hodge-Helmholtz 방정식에 의해 지배되는 전자기 산란 문제를 위한 안정적이고 대칭적인 변분형식을 개발하는 것.
• 외부 균일 매질 문제에서 유도된 제1종 경계적분방정식(BIE)과 체적 영역 내 혼합 변분형식을 결합하는 것.
• T-코어시비티를 사용하여 결합 시스템의 잘 정의됨을 확립하여 공진 주파수에서 벗어난 영역에서 존재성, 유일성 및 안정성을 보장하는 것.
• 유한요소 및 경계요소를 사용한 갈레르킨 이산화에 적합한 변분 프레임워크를 제공하는 것.

제안 방법

• 벡터 잠근 및 스칼라 잠근을 사용하여 약한 혼합 형태로 Hodge-Helmholtz 방정식을 설정하고 라우르츠 조건을 포함하는 것.
• 무한한 보완 영역에서 일정한 계수를 가진 외부 Hodge-Helmholtz 문제로부터 제1종 경계적분방정식을 유도하는 것.
• 최근 개발된 칼라손 프로젝터를 사용하여 표면 Γ에서 체적 변분 문제와 BIE를 대칭적으로 결합하는 것.
• 인터페이스 항을 균형 잡고 대칭성 및 컴 pact성 확보를 위해 매개변수화된 동형사상(τ, β, θ, λ)을 도입하는 것.
• 일반화된 G {a}ding 부등식과 컴팩트한 변화에 의존하여 T-코어시비티를 사용하여 프레드홀름 성질 및 안정성을 증명하는 것.
• 혼합 변분형식과 BIE로부터 유도된 인터페이스 항이 자연스럽게 일치하여 추가 안정화 없이도 대칭적 결합이 가능함을 보여주는 것.

실험 결과

연구 질문

• RQ1 리프시츠 경계에서 Hodge-Helmholtz 방정식의 혼합 변분형식과 제1종 경계적분방정식 사이에 대칭적 결합을 구성할 수 있는가?
• RQ2 결과로 유도된 결합 시스템은 공진 주파수에서 벗어난 영역에서도 잘 정의되고 안정적인가?
• RQ3 Hodge 유형 분해와 칼라손 프로젝터를 사용하여 이 결합 시스템에 대해 T-코어시비티를 확립할 수 있는가?
• RQ4 체적 및 경계 형식에서 유도된 인터페이스 추적은 어떻게 상호작용하여 대칭적 결합을 가능하게 하는가?
• RQ5 이 결합된 변분형식은 유한요소 및 경계요소 방법을 사용한 갈레르킨 이산화에 적합한가?

주요 결과

• 혼합 변분형식과 제1종 BIE의 대칭적 결합은 인덱스가 0인 프레드홀름 시스템으로 잘 정의됨을 보여준다.
• T-코어시비티를 통한 잘 정의됨이 입증되어 주파수가 공진 주파수에서 벗어날 경우 해의 존재성과 유일성을 보장한다.
• 체적 및 경계 형식에서 유도된 인터페이스 항이 완벽하게 일치하여 추가 안정화 없이도 대칭적 결합이 가능하다.
• 저주파수 근처에서도 안정적이고 강건하여 갈레르킨 이산화에 적합하다.
• Rellich의 정리와 단일 및 이중층 잠근의 연속성을 사용하여 변화항의 컴팩트성을 증명한다.
• 특정 매개변수 조합(β = τ, λ = θ)을 선택할 경우 이차형식의 실수부가 0이 되어 대칭적 구조가 확인되고 T-코어시비티 증명이 가능해진다.