1 Introduction
In this work, we study the inverse problem of recovering a space-dependent potential coefficient in elliptic and parabolic equations. Let be a simply connected convex polyhedral domain with a boundary . Then the governing equation in the elliptic and parabolic cases are given respectively by
(1.1) |
and
(1.2) |
where is the final time. The functions and in (1.1) and (1.2) are the source and initial data, respectively. The space-dependent potential belongs to the admissible set such that
with . To explicitly indicate the dependence of the solution to problems (1.1) and (1.2) on the potential , we write . Further, we are given the observational data on or :
where denotes the exact data (corresponding to the exact potential ), , and denotes the measurement noise. The accuracy of the data is measured by the noise level or , in the elliptic and parabolic cases, respectively. The inverse potential problem is to recover the potential from the noisy observation . It arises in several practical applications, where represents the radiativity coefficient in heat conduction [37] and perfusion coefficient in Pennes’ bio-heat equation in human physiology [29, 33] (see [31, 39] for experimental studies) and the elliptic case also in quantitative dynamic elastography [12].
The inverse potential problem is ill-posed, which poses challenges to construct accurate and stable numerical approximations. A number of reconstruction methods have been designed to overcome the ill-posed nature, with the most prominent one being Tikhonov regularization [16, 23]. In practical computation, one still needs to discretize the continuous regularized formulation. This is often achieved by the Galerkin finite element method (FEM) when the domain is irregular and the problem data ( and ) have only limited regularity. This strategy has been widely used [37, 14, 38]. Yamamoto and Zou [37] proved the convergence of the discrete approximations in the parabolic case. However, the convergence rates of discrete approximations are generally very challenging to obtain, due to the strong nonconvexity of the regularized functional, which itself stems from the high degree nonlinearity of the parameter-to-state map. Indeed, this has been a long standing issue for the numerical analysis of many nonlinear inverse problems, e.g., parameter identifications for PDEs. So far there have been only very few error bounds on discrete approximations, despite the fact that such an analysis would provide useful guidelines for choosing suitable discretization parameters. For the related inverse conductivity problem, the works [35, 24] derived error bounds in a weighted norm by employing a special test function for elliptic and parabolic cases, and the latter work [24] also gives the standard error estimates with the help of a positivity condition on the weighted function.
In this work we study the concerned elliptic and parabolic inverse potential problems, and contribute in the following two aspects. First, we establish novel conditional stability estimates for the concerned inverse problem, including both weighted and standard stability. The latter is obtained under a certain positivity condition, which can be verified for a class of problem data. The derivation is purely variational, using only a nonstandard test function, and extends directly to the error analysis. Second, we derive novel weighted error bounds for the discrete approximations under very mild regularity conditions on the problem data and unknown coefficient as well as the standard error bounds under some positivity condition. Note that the analysis does not employ standard source type conditions. Instead, it is achieved by a novel choice of the test function in the weak formulation, as in the conditional stability analysis, adapting the stability argument to the discrete setting, which allows us to bypass the standard source condition. To the best of our knowledge, these results represent the first error bounds for the discrete approximations for the inverse potential problem. Further, we provide several numerical experiments to complement the theoretical analysis.
Now we review existing works on the analysis and numerics of the inverse potential problem. Several uniqueness and stability results have been obtained [30, 11, 25, 3, 12]. Choulli and Yamamoto [11] proved the uniqueness of recovering the potential , initial condition and boundary coefficient from terminal measurement, and also gave a stability result under a smallness condition. In the parabolic case, Beretta and Cavaterra [3] proved the unique recovery of the potential from the time-averaged observation. More recently, Choulli [12] derived a new stability estimate in the elliptic case. The well-posedness of the continuous regularized formulation has been analyzed for both elliptic / parabolic cases [17, 37, 14, 38], and convergence rates with respect to the noise level were obtained under various conditions. In the 1D elliptic case, Engl et al [17, Example 3.1] derived a convergence rate of the regularized approximation by Tikhonov regularization under the standard source condition with a small sourcewise representer. Hao and Quyen [22] presented a different approach without explicitly using the source condition. More recently, Chen et al [9] proved conditional stability of the inverse problem in negative Sobolev spaces, which allows deriving variational inequality type source conditions and also showing convergence rates of the regularized solutions, and the authors studied both elliptic and parabolic cases. Klibanov, Li, and Zhang [26] presented an interesting convexification method for the inverse problem which allows proving globle convergence despite the nonlinearity of the inverse problem (and actually the method allows recovering a time-independent source simultaneously). This work extends the current literature with new stability analysis and error analysis of discrete approximations Broadly speaking, this work is along the line of research which connects stability analysis with error analysis of discrete schemes (see, e.g., [7, 8] and references therein) and convergence rate with conditional stability (see, e.g., [10, 36]).
The rest of the paper is organized as follows. In Section 2 we present novel conditional stability estimates for the concerned inverse problems. In Sections 3 and 4, we describe the regularized formulation, their finite element discretizations, and derive novel error bounds on the discrete approximations, for the elliptic and parabolic cases, respectively. In Section 5, we present one- and two-dimensional numerical experiments to complement the theoretical analysis. We conclude with some useful notation. For any and , we denote by the standard Sobolev spaces of order , equipped with the norm and also write and with the norm when [1]. We denote the inner product by . We also use Bochner spaces: For a Banach space , we define by
The space is defined similarly. Throughout, we denote by a positive constant not necessarily the same at each occurrence but always independent of the discretization parameters and , the noise level and the regularization parameter .
2 Conditional stability estimates
In this section, we present novel conditional stability estimates for the concerned inverse problem. The analysis will also inspire the error analysis of the discrete approximations in Sections 3 and 4.
2.1 Elliptic inverse problem
We have the following conditional stability results in weighted and standard norms.
Theorem 2.1.
Suppose that and . Let and be the corresponding weak solutions of problem (1.1). Then there holds
Moreover, if there exists a such that
(2.1) |
then the following estimate holds
Proof.
By the weak formulations of and , for any
Let . Note that . Since , elliptic regularity theory implies , and by Sobolev embedding, we have for . Then we have and , i.e., . Now by the Cauchy-Schwarz inequality, we obtain the first assertion by
(2.2) |
Next we decompose the domain into two disjoint sets , with and , with the constant to be chosen. On the subdomain , we have
Meanwhile, by the box constraint of , we have
Then the desired result follows by balancing the last two estimates with . ∎
The positivity condition (2.1) quantifies the decay rate of the solution to zero as (due to the presence of a zero Dirichlet boundary condition). It can be verified under suitable conditions on the source . This requires the following property of Green’s function for the elliptic problem. The notation denotes the ball centered at with a radius .
Theorem 2.2.
Let the diffusion coefficient with a strictly positive lower bound over . For any and , let be Green’s function for the elliptic operator (with a zero Dirichlet boundary condition). Then for , the following estimate holds
Proof.
When , the result is well known for [27, 21]. We prove the slightly more general case for completeness. Let . Since the operator is self-adjoint, there holds . It suffices to prove
(2.3) |
By definition, we have
(2.4) |
Let . Consider a cut-off function with the following properties: on and on , meanwhile and . By inserting a test function into (2.4) and applying the boundedness and uniform ellipticity of the operator and the Cauchy-Schwarz inequality, since , we derive
This and the construction of lead to
(2.5) |
Since and , we can choose a sufficiently small radius such that
Replacing the radius by and repeating the argument of (2.5) yield
Let be a test function of (2.4) satisfying on and on , with on , on and on . It follows from the boundedness of the operator, and the last three estimates that
where we have used Harnack’s inequality [20, p. 189] for Green’s function on the compact subset , with the constant depending on the , and . This completes the proof of the theorem. ∎
Remark 2.1.
When , i.e., with , Green’s function of the operator is explicitly given by
(2.6) |
Now consider the asymptotics of the function near the boundary. Let be close to the point and . Since on , we have
where the symbol denotes by up to a positive constant depending on and . A similar result holds when is close to the point . Since the operator is self-adjoint, we have
That is, the assertion in Theorem 2.2 holds also for . For a general potential , by the weak maximum principle, for any fixed , we have a.e. , and thus the desired assertion follows.
Now we can state a sufficient condition for the positivity condition (2.1).
Proposition 2.1.
Let and a.e. in . Then condition (2.1) holds with .
Proof.
Recall that for every , there exists a unique Green’s function for the elliptic operator , such that
By Theorem 2.2, we have
Now for any , let be the ball centered at with a radius . Since , , we have
and thus the desired result follows directly. ∎
2.2 Parabolic inverse problem
The next result gives a conditional stability estimate for the parabolic inverse problem.
Theorem 2.3.
Suppose that , and . Let and be the corresponding weak solutions of problem (1.2). Then with , there holds
Moreover, suppose that there exists a such that
(2.7) |
for any . Then there holds
Proof.
By the weak formulations of and , for any
Let . Then . By the standard parabolic regularity theory [18], problem (4.2) has a unique solution , and then by Sobolev embedding theorem [1], . Then there holds and . Thus we have . Meanwhile, the Cauchy-Schwarz inequality and the box constraint yield
It remains to bound the term . By integration by parts, we have
For the first two terms, by the Cauchy-Schwarz inequality, since , we have
Next by the regularity , and the box constraint in , we have . Using Cauchy-Schwarz inequality leads to
These estimates directly imply the first desired assertion. Under the positivity condition (2.7), the estimate follows from the argument of Theorem 2.1. ∎
The next result gives a sufficient condition on the positivity condition (2.7).
Proposition 2.2.
Let , the source and a.e. in , and a.e. in . Then there exists a positive constant , depending only on , , and , such that the positivity condition (2.7) holds with .
Proof.
Since and , the standard parabolic maximum principle (see, e.g., [28, 19]) implies , a.e. in Let , which satisfies
Since a.e. in and a.e. in , the parabolic maximum principle yields a.e. in . It suffices to prove that (2.7) with holds for any . By fixing , we have . Then consider the following elliptic problem
By Green’s function in Theorem 2.2, there holds
for any and , i.e., the positivity condition (2.7) with holds. ∎
3 Error analysis for the elliptic inverse problem
Now we formulate the regularized output least-squares formulation for the elliptic inverse problem, discretize the continuous formulation by the Galerkin FEM with continuous piecewise linear elements, and provide a complete error analysis.
3.1 Regularization problem and its FEM approximation
To reconstruct the coefficient , we employ the standard Tikhonov regularization with an seminorm penalty [16, 23], which is equivalent to minimizing the following regularized functional:
(3.1) |
where satisfies
(3.2) |
Recall that the given data is noisy with a noise level relative to the exact data (corresponding to the exact radiativity ), i.e., The continuous problem (3.1)–(3.2) is well-posed in the sense that it has at least one globale minimizer, and the minimizer is continuous with respect to the perturbations in the data, and further as the noise level tends to zero, the sequence of minimizers converges to the exact solution in (if is chosen properly) [17, 16, 23].
To discretize problem (3.1)–(3.2), we employ the standard Galerkin FEM [5]. Let be a shape regular quasi-uniform simplicial triangulation of the domain , with a grid size . On the triangulation , we define the conforming piecewise linear finite element spaces and by
and . We use the spaces and to approximate the state and the parameter , respectively. The following inverse inequality holds in the finite element space [5]
(3.3) |
We denote by the standard -projection operator associated with the finite element space . Then it is known that for