No Arabic abstract
We propose and study a regularization method for recovering an approximate electrical conductivity solely from the magnitude of one interior current density field. Without some minimal knowledge of the boundary voltage potential, the problem has been recently shown to have nonunique solutions, thus recovering the exact conductivity is impossible. The method is based on solving a weighted least gradient problem in the subspace of functions of bounded variations with square integrable traces. The computational effectiveness of this method is demonstrated in numerical experiments.
We consider the inverse problem of recovering an isotropic electrical conductivity from interior knowledge of the magnitude of one current density field generated by applying current on a set of electrodes. The required interior data can be obtained by means of MRI measurements. On the boundary we only require knowledge of the electrodes, their impedances, and the corresponding average input currents. From the mathematical point of view, this practical question leads us to consider a new weighted minimum gradient problem for functions satisfying the boundary conditions coming from the Complete Electrode Model of Somersalo, Cheney and Isaacson. This variational problem has non-unique solutions. The surprising discovery is that the physical data is still sufficient to determine the geometry of the level sets of the minimizers. In particular, we obtain an interesting phase retrieval result: knowledge of the input current at the boundary allows determination of the full current vector field from its magnitude. We characterize the non-uniqueness in the variational problem. We also show that additional measurements of the voltage potential along one curve joining the electrodes yield unique determination of the conductivity. A nonlinear algorithm is proposed and implemented to illustrate the theoretical results.
For a given domain $Omega subset Bbb{R}^n$, we consider the variational problem of minimizing the $L^1$-norm of the gradient on $Omega$ of a function $u$ with prescribed continuous boundary values and satisfying a continuous lower obstacle condition $uge Psi$ inside $Omega$. Under the assumption of strictly positive mean curvature of the boundary $partialOmega$, we show existence of a continuous solution, with Holder exponent half of that of data and obstacle. This generalizes previous results obtained for the unconstrained and double-obstacle problems. The main new feature in the present analysis is the need to extend various maximum principles from the case of two area-minimizing sets to the case of one sub- and one superminimizing set. This we accomplish subject to a weak regularity assumption on one of the sets, sufficient to carry out the analysis. Interesting open questions include the uniqueness of solutions and a complete analysis of the regularity properties of area superminimizing sets. We provide some preliminary results in the latter direction, namely a new monotonicity principle for superminimizing sets, and the existence of ``foamy superminimizers in two dimensions.
We study two notions of Dirichlet problem associated with BV energy minimizers (also called functions of least gradient) in bounded domains in metric measure spaces whose measure is doubling and supports a $(1,1)$-Poincare inequality. Since one of the two notions is not amenable to the direct method of the calculus of variations, we construct, based on an approach of [23, 29], solutions by considering the Dirichlet problem for $p$-harmonic functions, $p>1$, and letting $pto 1$. Tools developed and used in this paper include the inner perimeter measure of a domain.
The total least squares problem with the general Tikhonov regularization can be reformulated as a one-dimensional parametric minimization problem (PM), where each parameterized function evaluation corresponds to solving an n-dimensional trust region subproblem. Under a mild assumption, the parametric function is differentiable and then an efficient bisection method has been proposed for solving (PM) in literature. In the first part of this paper, we show that the bisection algorithm can be greatly improved by reducing the initially estimated interval covering the optimal parameter. It is observed that the bisection method cannot guarantee to find the globally optimal solution since the nonconvex (PM) could have a local non-global minimizer. The main contribution of this paper is to propose an efficient branch-and-bound algorithm for globally solving (PM), based on a novel underestimation of the parametric function over any given interval using only the information of the parametric function evaluations at the two endpoints. We can show that the new algorithm(BTD Algorithm) returns a global epsilon-approximation solution in a computational effort of at most O(n^3/epsilon) under the same assumption as in the bisection method. The numerical results demonstrate that our new global optimization algorithm performs even much faster than the improved version of the bisection heuristic algorithm.
This paper proposes a homotopy coordinate descent (HCD) method to solve the $l_0$-norm regularized least square ($l_0$-LS) problem for compressed sensing, which combine the homotopy technique with a variant of coordinate descent method. Differs from the classical coordinate descent algorithms, HCD provides three strategies to speed up the convergence: warm start initialization, active set updating, and strong rule for active set initialization. The active set is pre-selected using a strong rule, then the coordinates of the active set are updated while those of inactive set are unchanged. The homotopy strategy provides a set of warm start initial solutions for a sequence of decreasing values of the regularization factor, which ensures all iterations along the homotopy solution path are sparse. Computational experiments on simulate signals and natural signals demonstrate effectiveness of the proposed algorithm, in accurately and efficiently reconstructing sparse solutions of the $l_0$-LS problem, whether the observation is noisy or not.