Solving the multi-frequency electromagnetic inverse source problem by the Fourier method

Solving the multi-frequency electromagnetic inverse source problem by the Fourier method

Guan Wang 111School of Mathematics, Jilin University, Changchun, P. R. China. Email: wangguan@neepu.edu.cn    Fuming Ma 222School of Mathematics, Jilin University, Changchun, P. R. China. Email: mfm@jlu.edu.cn    Yukun Guo 333Corresponding author. Department of Mathematics, Harbin Institute of Technology, Harbin, P. R. China. Email: ykguo@hit.edu.cn    Jingzhi Li 444Department of Mathematics, Southern University of Science and Technology, Shenzhen, P. R. China. Email: li.jz@sustc.edu.cn
Abstract

This work is concerned with an inverse problem of identifying the current source distribution of the time-harmonic Maxwell’s equations from multi-frequency measurements. Motivated by the Fourier method for the scalar Helmholtz equation and the polarization vector decomposition, we propose a novel method for determining the source function in the full vector Maxwell’s system. Rigorous mathematical justifications of the method are given and numerical examples are provided to demonstrate the feasibility and effectiveness of the method.

Keywords: inverse source problem, Fourier method, time-harmonic, Maxwell’s equations, multi-frequency

1 Introduction

Inverse source problems arise naturally in various application areas such as biomedical tomography, non-invasive detection, target tracking and antenna synthesis. In recent years there have been tremendous advances in the theoretical understanding and numerical treatment of inverse source problems, see, e.g., [2, 5, 7, 22, 13, 6, 23, 19, 14, 15] and the references therein for relevant studies.

The inverse source problems could be posed in the frequency or time domain. The inverse source problem of determining a source in the Helmholtz equation has been studied in [7, 9, 5, 3, 4, 20, 8, 11]. For inverse source problems for time-harmonic Maxwell’s system, we refer to He and Romanov [23], Ammari et al. [13] and Albanese and Monk [22] for the investigation of the localization of brain activities. Rodríguez et al. [1] studied the inverse source problem for the eddy current of Maxwell’s equations. For recent works on dynamic inverse source problem of imaging the trajectory of a moving point source, we refer to [25, 26].

This work is concerned with the inverse source problem of determining the electric current in the time-harmonic Maxwell’s system from the multifrequency near-field measurements. For increasing stability analysis concerning the inverse source problem with multi-frequencies, we refer to [17, 18, 10].

A numerical method based on the Fourier expansion of the source has been proposed to solve the multi-frequency inverse source problem for the Helmholtz equation in [8]. This Fourier method has been extended to the far-field cases of acoustic inverse source problem [24]. The Fourier method is easy to implement with computational efficiency. Our goal in this paper is to extend the Fourier method from the scalar Helmholtz equation to full vector Maxwell’s equations. Due to the complexity of the profound structure of Maxwell’s equations, both the theoretical analysis and numerical implementation in the current study are radically much more challenging than the scalar counterpart presented in [8, 24]. In particular, one would encounter much more complicated technical difficulties in establishing the stability estimates.

The rest of this paper is organized as follows. In the next section, we introduce the model problem and recall some suitable Sobolev spaces. Section 3 is devoted to approximating the source function by the Fourier expansion, a uniqueness result on the approximate source, and then a numerical method for solving the inverse source problem are presented. The result of error estimate of measurements with noise is derived in Section 4. Finally, several numerical examples are provided to show the effectiveness of our method in Section 5.

2 Problem setting

In this section, we shall first give a description of the multifrequency inverse source problem under consideration. Then, some notation of relevant Sobolev spaces will be reviewed as the prerequisites for the theoretical analysis in the subsequent sections. Throughout this paper, we adopt the convention of using bold and non-bold fonts for vector and scalar values, respectively.

2.1 Model problem

In this paper, we consider the inverse source problem of determining a radiating current density excitation in the time-harmonic Maxwell’s equations in

(2.1)
(2.2)

with the Silver-Müller radiation condition

(2.3)

which holds uniformly for all directions , with . Here , and denote, respectively, the electric field, the magnetic field and the current density vector. The wavenumber/frequency of the problem is defined by the positive constant , with denoting the angular frequency and and the electric permittivity and the magnetic permeability in vacuum. Eliminating in (2.1)-(2.2) then the time-harmonic Maxwell’s equations can be written as

(2.4)

We consider the multi-frequency inverse source problem with the following assumptions:
(i) The current density vector is independent of and

(2.5)

where ia a cube and .
(ii) The current source is expressed in the following form

(2.6)

where and . Here, the polarization vector is assumed to be known and belongs to the following admissible set

In what follows, let be the measurement surface. Then the multi-frequency inverse source problem can be stated as follows:

Problem 2.1 (Multi-frequency Inverse Source Problem).

Given a fixed polarization vector and a finite set of admissible wavenumbers, reconstruct the source function in the form (2.6) from the measured data

where indicates the dependence of the radiated field on the wavenumber and the polarization vector .

In this paper, we derive a novel and effective numerical method for solving the multi-frequency inverse source problem. Our method is based on the Fourier expansion of the source function . We prove that a finite number of Fourier coefficients can be uniquely determined from the measured fields corresponding to a set of wavenumbers which are properly chosen. Meanwhile, we establish the explicit formula for each coefficient.

2.2 Tangential vector spaces

In this subsection, we recall some essential ingredients for tangential vector Sobolev spaces and we refer to [21] for more relevant details.

Let be a generic smooth and closed surface. Then the space of tangential vector fields is defined by

where denotes the unit outward normal of .

Let be the unit sphere and be the unit vectors of the spherical coordinates, where , and are the spherical harmonics.

Denote the vector spherical harmonics

where the surface gradient is defined by

Then the set of all vector spherical harmonics form a complete orthonormal basis of .

Now we introduce the space of three-dimensional vector functions by

and its trace space . We suppose has representation

then its norms in and are defined by

In order to compute the data from , we need the electric-to-magnetic Calderón operator which is defined by

(2.7)

where is the spherical Hankel function of the first kind of order , and .

3 Fourier approximation and uniqueness

In this section, we will approximate the functions by Fourier expansions and establish explicit formulas for the Fourier coefficients.

We begin this section with some notation and definitions that are used in the paper. Without loss of generality, let

and introduce the following Fourier basis functions

then the functions and can be written as Fourier expansions of the forms

with the Fourier coefficients

(3.1)
(3.2)

where the overbar denotes the complex conjugate. Thus the source has the following form

(3.3)

We introduce the Sobolev space of order

with the norm

(3.4)

where has the Fourier expansion of the form

Now we introduce the definition of admissible polarization vectors in the source function (2.6).

For an admissible polarization vector , the decomposition

(3.5)

is crucial for computing the Fourier coefficients. For simplicity, we denote , and it is clear that form an orthogonal basis of . A direct computation shows that

(3.6)

where or .

Combining and , we obtain

(3.7)

We can approximate by the truncated Fourier expansion

(3.8)

Then we have the following approximation result.

Theorem 3.1.

Let be a function in , then the following estimate holds

(3.9)
Proof.

From and , we obtain

which leads to the estimate . ∎

Motivated by Theorem 3.1, the inverse source problem under concern is to determine an approximate source in the form (3.8) with a fixed admissible polarization vector from the measurements on at a finite set of wavenumbers . To this end, we will establish explicit formulas for the Fourier coefficients and . Before we show that, we first state a uniqueness result.

Theorem 3.2.

Let and , then the Fourier coefficients and of in and can be uniquely determined by the measurements .

Proof.

Let be a source that produces the data . Using the electric-to-magnetic Calderón operator [21, p.249], we know that the source also produces the data .

For every and , multiplying equation by and and integrating over , then using , we obtain

and

On the other hand, using , we have

Then, we obtain

(3.10)
(3.11)

then the Fourier coefficients and of are uniquely determined. This completes the proof. ∎

It is clear that we can reconstruct all Fourier coefficients satisfying from the measurements on the wavenumbers in by and . Now we are in a position to introduce the numerical algorithm to reconstruct .

Theorem 3.3.

Let be a small positive constant. Take , , and

Let be defined as

(3.12)

where for . Then the following estimate holds

(3.13)
Proof.

It is easy to check that for , we have

(3.14)

and

(3.15)

Similar to the proof of Theorem 3.2, multiplying equation by and integrating over , then using , we obtain

On the other hand, using and , we have

Hence we have the following formula for

(3.16)

and the approximate formula for

Furthermore,

The proof is completed. ∎

4 Stability analysis

Let be the Fourier approximation in case that the measured data is perturbed with the noise level . In this section, we will establish the calculation formula and give an estimate of the error between and .

In general, only data with noise can be measured, and the data cannot be computed from by using the electric-to-magnetic Calderón operator (2.7). In this paper, we follow [8] to overcome this difficulty. For simplicity, we write for with a fixed polarization .

Using spherical coordinates , we can write the measured noisy data on as

where

(4.1)
(4.2)

Then, for , we define

Take , and let , we have

(4.3)
(4.4)

Now, we propose modified formulas for the approximate Fourier coefficients

(4.5)
(4.6)

for , where , and

(4.7)

where for .

By using and , we define the function by

(4.8)

which will be an approximation of the source .

Let the measured noisy data satisfy

(4.9)

where . First we give an estimate on .

Lemma 4.1.

Let , then there exists a positive constant such that

(4.10)

where depends only on and .

Proof.

Introduce the fundamental solution of the Helmholtz equation

Then the unique solution to equation with the radiation condition can be written as (see, e.g., [12])

(4.11)

where and denotes the identity matrix.

Let

then for all and , we obtain