[논문 리뷰] Analysis of Segregated Boundary-Domain Integral Equations for Variable-Coefficient Dirichlet and Neumann Problems with General Data

Sergey E. Mikhailov|arXiv (Cornell University)|2015. 09. 11.

Numerical methods in engineering참고 문헌 31인용 수 9

한 줄 요약

이 논문은 비정상계수 딜리클레 및 뉴먼 문제에 대해 일반적인 우변항을 갖는 $H^{-1}(\bar{\Omega})$ 또는 $\widetilde{H}^{-1}(\Omega)$ 에서 분離형 경계-영역 적분방정식(BDIE)을 제시하고 분석한다. 비정상계수를 다루기 위해 파라메트릭스를 사용하며, 원래의 BVP와의 동치성을 확립하고, 딜리클레 BDIE 연산자의 가역성을 증명한다. 또한, 원래 뉴먼 BDIE 연산자가 프레드홀름이지만 비자명한 핵을 지닌다는 점을 감안해, 유한차원의 변형을 통해 가역성을 복원하는 방법을 제시한다.

ABSTRACT

Segregated direct boundary-domain integral equations (BDIEs) based on a parametrix and associated with the Dirichlet and Neumann boundary value problems for the linear stationary diffusion partial differential equation with a variable coefficient are formulated. The PDE right hand sides belong to the Sobolev space $H^{-1}(Ω)$ or $ ilde H^{-1}(Ω)$, when neither classical nor canonical co-normal derivatives are well defined. Equivalence of the BDIEs to the original BVP, BDIE solvability, solution uniqueness/non-uniqueness, and as well as Fredholm property and invertibility of the BDIE operators are analysed in Sobolev (Bessel potential) spaces. It is shown that the BDIE operators for the Neumann BVP are not invertible, and appropriate finite-dimensional perturbations are constructed leading to invertibility of the perturbed operators.

연구 동기 및 목표

• 기존의 고전적 법선 도함수가 정의되지 않는 비정상계수 PDE에 대해 $H^{-1}(\bar{\Omega})$ 또는 $\widetilde{H}^{-1}(\Omega)$ 에서 우변항을 갖는 경계-영역 적분방정식(BDIE) 설정을 확장한다.
• 뉴먼 BDIE 연산자가 가역성이 없음을 해결하기 위해 유한차원 변형을 구성함으로써 가역성을 복원한다.
• 딜리클레 및 뉴먼 문제에 대해 베셀 잠재공간(Sobolev 공간)에서 BDIE 시스템의 동치성, 해법 가능성 및 프레드홀름 성질을 확립한다.
• 이전 연구에서 $L^2$-자료에 국한되었던 BDIE 결과를 일반화하여 약한 해와 일반화된 법선 도함수를 포함한다.
• 비정상계수 PDE에 대한 BDIE 기반 수치 해법의 수렴성과 안정성 분석을 향한 기초를 마련한다.

제안 방법

• 비정상계수 PDE에서 이용 가능한 기본해가 없기 때문에, 파라메트릭스(레비 함수)를 사용하여 직접적인 분리형 BDIE 시스템을 설정한다.
• 첫 번째 그린 항등식과 우변항을 $\widetilde{H}^{-1}(\Omega)$ 로 확장함으로써 일반화된 법선 도함수를 정의하여 비연속 데이터의 처리를 가능하게 한다.
• 베셀 잠재공간 $H^s(\Omega)$ 와 $H^s(\partial\Omega)$ 에서 BDIE 연산자를 분석함으로써 엄밀한 함수해석학적 프레임워크를 확보한다.
• 이전 결과를 $L^2$ 에서 $H^{-1}$-자료로 확장하기 위해 일반화된 제3그린 항등식을 사용하여 BDIE를 유도한다.
• Rellich 컴act 임bedding 정리를 적용하여 경계값과 법선 도함수 연산자의 컴팩턴스를 증명한다.
• 핵과 코핵 원소들의 쌍대 기저를 사용하여 뉴먼 BDIE 연산자의 유한차원 변형을 구성함으로써, 변형된 시스템이 연속적으로 가역성을 갖도록 보장한다.

실험 결과

연구 질문

• RQ1 비정상계수와 일반적인 우변항을 갖는 딜리클레 및 뉴먼 문제에 대해 분리형 BDIE 시스템을 설정하고 분석할 수 있는가? 이 경우 우변항은 $H^{-1}(\Omega)$ 에 속한다.
• RQ2 유도된 BDIE 연산자가 소볼레프(베셀 잠재공간) 공간에서 원래 경계값 문제와 동치인가?
• RQ3 왜 뉴먼 문제의 BDIE 연산자는 가역적이지 않은가? 그리고 유한차원 변형을 통해 가역성을 복원할 수 있는가?
• RQ4 고전적 경계값 조건을 가정하지 않고 정의된 일반화된 법선 도함수의 영향으로 인해 BDIE 시스템의 구조와 해법 가능성은 어떻게 변화하는가?
• RQ5 이 분석은 더 일반적인 PDE, 혼합 문제, 비유계 영역, 또는 $H^{-1}$-자료를 갖는 PDE의 연립계로 확장될 수 있는가?

주요 결과

• 딜리클레 문제의 BDIE 연산자는 관련 베셀 잠재공간에서 연속적이며 연속적으로 가역적이다.
• 뉴먼 문제의 BDIE 연산자는 지수 0인 프레드홀름 연산자이지만, 비자명한 핵과 코핵을 지녀 가역적이지 않다.
• 뉴먼 BDIE 연산자의 유한차원 변형이 명시적으로 구성되었으며, 이 변형된 연산자는 연속적으로 가역적이다.
• 이 변형은 원래 BDIE 시스템의 해법성을 유지하며, 해가 원래의 뉴먼 문제를 만족하도록 보장한다.
• 원래 BVP와 BDIE 시스템 사이의 동치성은 $H^{-1}$-자료를 갖는 약한 설정에서 엄밀히 확립되었다.
• 이 분석은 비정상계수 PDE에 대한 BDIE 기반 수치 해법의 수렴성과 안정성 분석을 위한 기초를 제공한다.