Table of Contents
Fetching ...

Shape Taylor expansion for wave scattering problems

Gang Bao, Haoran Ma, Jun Lai, Jingzhi Li

TL;DR

This work addresses the challenge of high-order shape derivatives in wave scattering by introducing a recurrence framework based on exterior differential forms, Lie derivatives, and material derivatives to compute the shape Taylor expansion for acoustic and electromagnetic problems. It unifies Dirichlet, Neumann, impedance, and transmission boundary cases, deriving recursion formulas that propagate higher-order boundary data from lower-order quantities. A key innovation is the trace operator decomposition, which avoids complex surface differential operators and enables compact, recursive updates for all derivative orders. The results, complemented by vector proxies for second-order derivatives, open pathways for improved inverse scattering, design optimization, and uncertainty quantification in shape-perturbed scattering problems.

Abstract

The Taylor expansion of wave fields with respect to shape parameters has a wide range of applications in wave scattering problems, including inverse scattering, optimal design, and uncertainty quantification. However, deriving the high order shape derivatives required for this expansion poses significant challenges with conventional methods. This paper addresses these difficulties by introducing elegant recurrence formulas for computing high order shape derivatives. The derivation employs tools from exterior differential forms, Lie derivatives, and material derivatives. The work establishes a unified framework for computing the high order shape perturbations in scattering problems. In particular, the recurrence formulas are applicable to both acoustic and electromagnetic scattering models under a variety of boundary conditions, including Dirichlet, Neumann, impedance, and transmission types.

Shape Taylor expansion for wave scattering problems

TL;DR

This work addresses the challenge of high-order shape derivatives in wave scattering by introducing a recurrence framework based on exterior differential forms, Lie derivatives, and material derivatives to compute the shape Taylor expansion for acoustic and electromagnetic problems. It unifies Dirichlet, Neumann, impedance, and transmission boundary cases, deriving recursion formulas that propagate higher-order boundary data from lower-order quantities. A key innovation is the trace operator decomposition, which avoids complex surface differential operators and enables compact, recursive updates for all derivative orders. The results, complemented by vector proxies for second-order derivatives, open pathways for improved inverse scattering, design optimization, and uncertainty quantification in shape-perturbed scattering problems.

Abstract

The Taylor expansion of wave fields with respect to shape parameters has a wide range of applications in wave scattering problems, including inverse scattering, optimal design, and uncertainty quantification. However, deriving the high order shape derivatives required for this expansion poses significant challenges with conventional methods. This paper addresses these difficulties by introducing elegant recurrence formulas for computing high order shape derivatives. The derivation employs tools from exterior differential forms, Lie derivatives, and material derivatives. The work establishes a unified framework for computing the high order shape perturbations in scattering problems. In particular, the recurrence formulas are applicable to both acoustic and electromagnetic scattering models under a variety of boundary conditions, including Dirichlet, Neumann, impedance, and transmission types.
Paper Structure (16 sections, 6 theorems, 110 equations, 1 figure)

This paper contains 16 sections, 6 theorems, 110 equations, 1 figure.

Key Result

Lemma 3.1

Given a velocity field $\mathbf{w}$, define $\mathcal{J}_t(\boldsymbol{\omega}):=\int_{D_t}\mathbf{i}_{\mathbf{v}(D_t)}\boldsymbol{\omega}(D_t)$ as a domain functional on the moving geometry $D_t$. The material derivative of $\mathcal{J}_t(\boldsymbol{\omega})$ w.r.t. $\mathbf{w}$ at $t=0$ is given

Figures (1)

  • Figure 1: The scattering model with a perturbed boundary.

Theorems & Definitions (17)

  • Remark 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • Definition 2.5
  • Lemma 3.1
  • proof
  • Corollary 3.2
  • Theorem 3.3
  • proof
  • ...and 7 more