[논문 리뷰] Shape derivatives of boundary integral operators in electromagnetic scattering

Martin Costabel, Frédérique Le Louër|arXiv (Cornell University)|2010. 02. 08.

Numerical methods in inverse problems참고 문헌 29인용 수 10

한 줄 요약

이 논문은 경계 적분 방정식을 통해 전자기 산란 해의 형태 미분 가능성을 확립하며, 장애물 경계에서 멀리 떨어진 영역에서는 해가 무한히 형태 미분 가능하다는 것을 증명한다. 그러나 경계에서는 미분 가능성의 정(regularity)이 손실된다. 또한 첫 번째 형태 미분을 새로운 산란 문제의 해로 특성화하여, 적분 방정식 방법을 사용한 기울기 기반 형태 최적화를 전자기학 분야에서 가능하게 한다.

ABSTRACT

We develop the shape derivative analysis of solutions to the problem of scattering of time-harmonic electromagnetic waves by a bounded penetrable obstacle. Since boundary integral equations are a classical tool to solve electromagnetic scattering problems, we study the shape differentiability properties of the standard electromagnetic boundary integral operators. Using Helmholtz decomposition, we can base their analysis on the study of scalar integral operators in standard Sobolev spaces, but we then have to study the Gâteaux differentiability of surface differential operators. We prove that the electromagnetic boundary integral operators are infinitely differentiable without loss of regularity and that the solutions of the scattering problem are infinitely shape differentiable away from the boundary of the obstacle, whereas their derivatives lose regularity on the boundary. We also give a characterization of the first shape derivative as a solution of a new electromagnetic scattering problem.

연구 동기 및 목표

• 시간 조화 전자기 산란에 대해 장애물에 의한 해의 형태 미분 가능성을 분석한다.
• 에너지 공간 $\boldsymbol{\mathsf{T}}\boldsymbol{\mathsf{H}}^{-\frac{1}{2}}(\operatorname{div}_{\Gamma},\Gamma)$ 내의 접선 벡터장에 작용하는 전자기 경계 적분 연산자의 Gâteaux 미분 가능성을 확립한다.
• 첫 번째 형태 미분을 수정된 경계 조건을 가진 새로운 전자기 산란 문제의 해로 특성화한다.
• 전기 및 자기장의 첫 번째 형태 미분에 대한 명시적 표현을 제공함으로써 레이더 및 안테나 설계와 같은 응용 분야에서 기울기 기반 형태 최적화를 가능하게 한다.

제안 방법

• 스칼라 적분 연산자로의 분석을 단순화하기 위해 헬름홀츠 분해를 사용하여 공간 $\boldsymbol{\mathsf{T}}\boldsymbol{\mathsf{H}}^{-\frac{1}{2}}(\operatorname{div}_{\Gamma},\Gamma)$ 를 기울기 및 컬 성분으로 분리한다.
• 표준 소볼레프 공간 내에서 의사-동차 핵을 갖는 연산자의 Gâteaux 미분 가능성을 분석함으로써, 음향 환경에서의 결과를 전자기 환경으로 확장한다.
• 경계의 $\mathscr{C}^1$ 변형 하에서 표면 미분 연산자(예: $\nabla_\Gamma$, $\operatorname{curl}_\Gamma$)의 행동을 연구한다.
• 교환자 항등식과 표면 벡터 미적분학을 사용하여 전기장 및 자기장의 첫 번째 형태 미분에 대한 명시적 표현을 유도한다.
• 변형된 전달 조건을 사용하여, 그 해가 첫 번째 형태 미분과 일치하는 새로운 경계값 문제를 구성한다.
• 적분 표현 및 역 연산자를 활용하여 해 사상에 의한 미분 가능성의 전파를 유도한다.

실험 결과

연구 질문

• RQ1 장애물 경계의 $\mathscr{C}^k$ 변형에 대해 전자기 경계 적분 연산자는 무한히 형태 미분 가능한가?
• RQ2 유전체 산란 문제의 해는 내부에서는 여전히 무한히 형태 미분 가능한가, 아니면 경계 근처에서 정의가 떨어지는가?
• RQ3 전자기장의 첫 번째 형태 미분은 수정된 경계 조건을 가진 새로운 산란 문제의 해로 특성화될 수 있는가?
• RQ4 경계 영역의 변형에 대해 Gâteaux 미분을 수행할 때 표면 미분 연산자(예: $\nabla_\Gamma$ 및 $\operatorname{curl}_\Gamma$)는 어떻게 행동하는가?
• RQ5 적분 연산자의 Gâteaux 미분 가능성을 유지하는 데 최적의 경계 변형 정(regularity)은 무엇인가?

주요 결과

• 전자기 경계 적분 연산자는 도메인 내부에서는 정의의 손실 없이 무한히 형태 미분 가능하다.
• 산란 문제의 해는 내부에서는 무한히 형태 미분 가능하지만, 경계 $\Gamma$ 에서는 도함수의 정의가 손실된다.
• 전자기장의 첫 번째 형태 미분은 변형 벡터장의 표면 미분을 포함하는 수정된 전달 조건을 가진 새로운 산란 문제의 해로 특성화된다.
• 전기장의 형태 미분은 $\nabla_\Gamma\xi$ 와 $\boldsymbol{\mathsf{n}}\times\partial_\mathbf{n}(\boldsymbol{\mathsf{E}}^i - \boldsymbol{\mathsf{E}}^s)$ 를 포함하는 소스 항이 있는 맥스웰 방정식의 체계를 만족한다.
• Gâteaux 도함수는 $\mathscr{C}^1$ 변형에 대해 잘 정의되며, 립시츠 도메인에서도 가능하지만, 고차 미분을 위해서는 전체 $\mathscr{C}^2$ 정규성(regularity)이 필요하다.
• 헬름홀츠 분해를 통해 벡터 값 문제를 스칼라 연산자로 환원함으로써, 소볼레프 공간 내에서의 미분 가능성 분석을 체계적으로 수행할 수 있다.