Uniqueness and numerical inversion in bioluminescence tomography with time-dependent boundary measurement

In the paper, an inverse source problem in bioluminescence tomography (BLT) is investigated. BLT is a method of light imaging and offers many advantages such as sensitivity, cost-effectiveness, high signal-to-noise ratio and non-destructivity. It thus has promising prospects for many applications such as cancer diagnosis, drug discovery and development as well as gene therapies. In the literature, BLT is extensively studied based on the (stationary) diffusion approximation (DA) equation, where the distribution of peak sources is reconstructed and no solution uniqueness is guaranteed without proper a priori information. In this work, motivated by solution uniqueness, a novel dynamic coupled DA model is proposed. Theoretical analysis including the well-posedness of the forward problem and the solution uniqueness of the inverse problem are given. Based on the new model, iterative inversion algorithms under the framework of regularizing schemes are introduced and applied to reconstruct the smooth and non-smooth sources. We discretize the regularization functional with the finite element method and give the convergence rate of numerical solutions. Several numerical examples are implemented to validate the effectiveness of the new model and the proposed algorithms.