Table of Contents
Fetching ...

Infinite-dimensional Lipschitz stability in the Calderón problem and general Zernike bases

Henrik Garde, Markus Hirvensalo, Nuutti Hyvönen

TL;DR

The paper addresses the Calderón inverse conductivity problem on the unit ball and demonstrates Lipschitz stability on infinite-dimensional conductivity classes. It introduces a d-dimensional Zernike basis built from radial Zernike polynomials and spherical harmonics, and proves that, under a decay condition on basis coefficients, boundary data determines interior conductivities with a Lipschitz bound. The authors verify the necessary Assumption for the Zernike basis, provide explicit 2D and 3D basis formulas, and derive sharp bounds for the radial polynomials. This work extends Lipschitz stability results to nonlinear Calderón problems in higher dimensions and offers a framework for stable reconstruction in infinite-dimensional settings.

Abstract

Calderón's inverse conductivity problem has, so far, only been subject to conditional logarithmic stability for infinite-dimensional classes of conductivities and to Lipschitz stability when restricted to finite-dimensional classes. Focusing our attention on the unit ball domain in any spatial dimension $d\geq 2$, we give an elementary proof that there are (infinitely many) infinite-dimensional classes of conductivities for which there is Lipschitz stability. In particular, Lipschitz stability holds for general expansions of conductivities, allowing all angular frequencies but with limited freedom in the radial direction, if the basis coefficients decay fast enough to overcome the growth of the basis functions near the domain boundary. We construct general $d$-dimensional Zernike bases and prove that they provide examples of infinite-dimensional Lipschitz stability.

Infinite-dimensional Lipschitz stability in the Calderón problem and general Zernike bases

TL;DR

The paper addresses the Calderón inverse conductivity problem on the unit ball and demonstrates Lipschitz stability on infinite-dimensional conductivity classes. It introduces a d-dimensional Zernike basis built from radial Zernike polynomials and spherical harmonics, and proves that, under a decay condition on basis coefficients, boundary data determines interior conductivities with a Lipschitz bound. The authors verify the necessary Assumption for the Zernike basis, provide explicit 2D and 3D basis formulas, and derive sharp bounds for the radial polynomials. This work extends Lipschitz stability results to nonlinear Calderón problems in higher dimensions and offers a framework for stable reconstruction in infinite-dimensional settings.

Abstract

Calderón's inverse conductivity problem has, so far, only been subject to conditional logarithmic stability for infinite-dimensional classes of conductivities and to Lipschitz stability when restricted to finite-dimensional classes. Focusing our attention on the unit ball domain in any spatial dimension , we give an elementary proof that there are (infinitely many) infinite-dimensional classes of conductivities for which there is Lipschitz stability. In particular, Lipschitz stability holds for general expansions of conductivities, allowing all angular frequencies but with limited freedom in the radial direction, if the basis coefficients decay fast enough to overcome the growth of the basis functions near the domain boundary. We construct general -dimensional Zernike bases and prove that they provide examples of infinite-dimensional Lipschitz stability.

Paper Structure

This paper contains 13 sections, 7 theorems, 109 equations.

Key Result

Theorem 1.1

There exists $C_{\partial B} > 0$ such that for any $\gamma_1,\gamma_2\in C_+(\overline{B})$, In particular, $C_{\partial B}$ does not depend on the minima/maxima of $\gamma_1$ and $\gamma_2$.

Theorems & Definitions (13)

  • Theorem 1.1: Sylvester--Uhlmann SylvesterUhlmann88
  • Corollary 1.2
  • Remark 1.3
  • Remark 1.5
  • Theorem 1.6
  • proof
  • Corollary 1.7
  • Proposition 2.1
  • proof
  • Theorem 2.2
  • ...and 3 more