Consider the problem of reconstructing unknown Robin inclusions inside a heat conductor from boundary measurements. This problem arises from active thermography and is formulated as an inverse boundary value problem for the heat equation. In our previous works, we proposed a sampling-type method for reconstructing the boundary of the Robin inclusion and gave its rigorous mathematical justification. This method is non-iterative and based on the characterization of the solution to the so-called Neumann-to-Dirichlet map gap equation. In this paper, we give a further investigation of the reconstruction method from both the theoretical and numerical points of view. First, we clarify the solvability of the Neumann-to-Dirichlet map gap equation and establish a relation of its solution to the Green function associated with an initial-boundary value problem for the heat equation inside the Robin inclusion. This naturally provides a way of computing this Green function from the Neumann-to-Dirichlet map and explains what is the input for the linear sampling method. Assuming that the Neumann-to-Dirichlet map gap equation has a unique solution, we also show the convergence of our method for noisy measurements. Second, we give the numerical implementation of the reconstruction method for two-dimensional spatial domains. The measurements for our inverse problem are simulated by solving the forward problem via the boundary integral equation method. Numerical results are presented to illustrate the efficiency and stability of the proposed method. By using a finite sequence of transient input over a time interval, we propose a new sampling method over the time interval by single measurement which is most likely to be practical.

We study detecting a boundary corrosion damage in the inaccessible part of a rectangular shaped electrostatic conductor from a one set of Cauchy data specied on an accessible boundary part of conductor. For this nonlinear ill-posed problem, we prove the uniqueness in a very general framework. Then we establish the conditional stability of Holder type based on some a priori assumptions on the unknown impedance and the electrical current input specied in the accessible part. Finally a regularizing scheme of double regularizing parameters, using the truncation of the series expansion of the solution, is proposed with the convergence analysis on the explicit regularizing solution in terms of a practical average norm for measurement data.

We consider an inverse time-dependent source problem governed by a distributed time-fractional diffusion equation using interior measurement data. Such a problem arises in some ultra-slowdiffusion phenomena in many applied areas. Based on the regularity result of the solution to the direct problem, we establish the solvability of this inverse problem as well as the conditional stability in suitable function space with a weak norm. By a variational identity connecting the unknown time-dependent source and the interior measurement data, the conjugate gradient method is also introduced to construct the inversion algorithm under the framework of regularizing scheme. We show the validity of the proposed scheme by several numerical examples.

Consider the image restoration from incomplete noisy frequency data with total variation and sparsity regularizing penalty terms. Firstly, we establish an unconstrained optimization model with dierent smooth approximations on the regularizing terms. Then, to weaken the amount of computations for cost functional with total variation term, the alternating iterative scheme is developed to obtain the exact solution through shrinkage thresholding in inner loop, while the nonlinear Euler equation is appropriately linearized at each iteration in exterior loop, yielding a linear system with diagonal coefficient matrix in frequency domain. Finally the linearized iteration is proven to be convergent in generalized sense for suitable regularizing parameters, and the error between the linearized iterative solution and the one gotten from the exact nonlinear Euler equation is rigorously estimated, revealing the essence of the proposed alternative iteration scheme. Numerical tests for different configurations show the validity of the proposed scheme, compared with some existing algorithms.

No abstract uploaded!