Table of Contents
Fetching ...

A novel shape optimization approach for source identification in elliptic equations

Wei Gong, Ziyi Zhang

TL;DR

The paper addresses identifying both the support $\omega$ and the strength $q$ of a source in elliptic equations from Cauchy data on $\Gamma$. It introduces a regularized least-squares formulation and eliminates $q$ via the first-order optimality system, reducing the problem to a shape optimization on $\omega$. A gradient-descent algorithm based on level-set representations is derived, with a shape derivative and a perimeter-regularization term ensuring existence; numerical experiments show accurate recovery of smooth, polygonal, and topology-changing sources and robustness to noise, with a post-processing step to refine the source strength. The results extend shape optimization techniques to inverse source problems and suggest avenues for extensions to unsteady diffusion, pointwise strength constraints, and more general source models.

Abstract

In this paper, we propose a novel shape optimization approach for the source identification of elliptic equations. This identification problem arises from two application backgrounds: actuator placement in PDE-constrained optimal controls and the regularized least-squares formulation of source identifications. The optimization problem seeks both the source strength and its support. By eliminating the variable associated with the source strength, we reduce the problem to a shape optimization problem for a coupled elliptic system, known as the first-order optimality system. As a model problem, we derive the shape derivative for the regularized least-squares formulation of the inverse source problem and propose a gradient descent shape optimization algorithm, implemented using the level-set method. Several numerical experiments are presented to demonstrate the efficiency of our proposed algorithms.

A novel shape optimization approach for source identification in elliptic equations

TL;DR

The paper addresses identifying both the support and the strength of a source in elliptic equations from Cauchy data on . It introduces a regularized least-squares formulation and eliminates via the first-order optimality system, reducing the problem to a shape optimization on . A gradient-descent algorithm based on level-set representations is derived, with a shape derivative and a perimeter-regularization term ensuring existence; numerical experiments show accurate recovery of smooth, polygonal, and topology-changing sources and robustness to noise, with a post-processing step to refine the source strength. The results extend shape optimization techniques to inverse source problems and suggest avenues for extensions to unsteady diffusion, pointwise strength constraints, and more general source models.

Abstract

In this paper, we propose a novel shape optimization approach for the source identification of elliptic equations. This identification problem arises from two application backgrounds: actuator placement in PDE-constrained optimal controls and the regularized least-squares formulation of source identifications. The optimization problem seeks both the source strength and its support. By eliminating the variable associated with the source strength, we reduce the problem to a shape optimization problem for a coupled elliptic system, known as the first-order optimality system. As a model problem, we derive the shape derivative for the regularized least-squares formulation of the inverse source problem and propose a gradient descent shape optimization algorithm, implemented using the level-set method. Several numerical experiments are presented to demonstrate the efficiency of our proposed algorithms.
Paper Structure (8 sections, 4 theorems, 87 equations, 8 figures)

This paper contains 8 sections, 4 theorems, 87 equations, 8 figures.

Key Result

Theorem 3.1

The shape identification problem (OPT_obj) admits a solution.

Figures (8)

  • Figure 5.1: Objective functional value and strength error for Example \ref{['e1']}.
  • Figure 5.2: Numerical results for Example \ref{['e1']} with different noise levels.
  • Figure 5.3: Numerical results for Example \ref{['e2']} with different noise levels.
  • Figure 5.4: Objective functional value and strength error for Example \ref{['e3']}.
  • Figure 5.5: Numerical results for Example \ref{['e3']} with different noise levels.
  • ...and 3 more figures

Theorems & Definitions (13)

  • Theorem 3.1
  • Lemma 3.2
  • proof
  • Lemma 3.3
  • proof
  • Theorem 4.1
  • proof
  • Example 5.2
  • Example 5.3
  • Example 5.4
  • ...and 3 more