arXiv subjects
Publications and source records attributed to Otmar Scherzer.
In this paper we study the attenuated $X$-ray transform of 2-tensors supported in strictly convex bounded subsets in the Euclidean plane. We characterize its range and reconstruct all possible 2-tensors yielding identical $X$-ray data. The characterization is in terms of a Hilbert-transform associated with $A$-analytic maps in the sense of Bukhgeim.
We provide high-order approximations to periodic travelling wave profiles and to the velocity field and the pressure beneath the waves, in flows with constant vorticity over a flat bed.
To obtain the initial pressure from the collected data on a planar sensor arrangement in Photoacoustic tomography, there exists an exact analytic frequency domain reconstruction formula. An efficient realization of this formula needs to cope with the evaluation of the datas Fourier transform on a non-equispaced mesh. In this paper, we use the non-uniform fast Fourier transform to handle this issue and show its feasibility in 3D experiments. This is done in comparison to the standard approach that uses polynomial interpolation. Moreover, we investigate the effect and the utility of flexible sensor location on the quality of photoacoustic image reconstruction. The computational realization is accomplished by the use of a multi-dimensional non-uniform fast Fourier algorithm, where non-uniform data sampling is performed both in frequency and spatial domain. We show that with appropriate sampling the imaging quality can be significantly improved. Reconstructions with synthetic and real data show the superiority of this method.
In recent years, a series of convergence rates conditions for regularization methods has been developed. Mainly, the motivations for developing novel conditions came from the desire to carry over convergence rates results from the Hilbert space setting to generalized Tikhonov regularization in Banach spaces. For instance, variational source conditions have been developed and they were expected to be equivalent to standard source conditions for linear inverse problems in a Hilbert space setting. We show that this expectation does not hold. However, in the standard Hilbert space setting these novel conditions are optimal, which we prove by using some deep results from Neubauer, and generalize existing convergence rates results. The key tool in our analysis is a novel source condition, which we put into relation to the existing source conditions from the literature. As a positive by-product, convergence rates results can be proven without spectral theory, which is the standard technique for proving convergence rates for linear inverse problems in Hilbert spaces.
A penalization method for a suitable reformulation of the governing equations as a constrained optimization problem provides accurate numerical simulations for large-amplitude travelling water waves in irrotational flows and in flows with constant vorticity.
Elastographic imaging is a widely used technique which can in principle be implemented on top of every imaging modality. In elastography, the specimen is exposed to a force causing local displacements in the probe, and imaging is performed before and during the displacement experiment. From the computed displacements material parameters can be deduced, which in turn can be used for clinical diagnosis. Photoacoustic imaging is an emerging image modality, which exhibits functional and morphological contrast. However, opposed to ultrasound imaging, for instance, it is considered a modality which is not suited for elastography, because it does not reveal speckle patterns. However, this is somehow counter-intuitive, because photoacoustic imaging makes available the whole frequency spectrum as opposed to single frequency standard ultrasound imaging. In this work, we show that in fact artificial speckle patterns can be introduced by using only a band-limited part of the measurement data. We also show that after introduction of artificial speckle patterns, deformation estimation can be implemented more reliably in photoacoustic imaging.
We extend the concept of optical flow with spatiotemporal regularisation to a dynamic non-Euclidean setting. Optical flow is traditionally computed from a sequence of flat images. The purpose of this paper is to introduce variational motion estimation for images that are defined on an evolving surface. Volumetric microscopy images depicting a live zebrafish embryo serve as both biological motivation and test data.
We study the inverse boundary value problem for the Helmholtz equation using the Dirichlet-to-Neumann map at selected frequency as the data. We develop an explicit reconstruction of the wavespeed using a multi-level nonlinear projected steepest descent iterative scheme in Banach spaces. We consider wavespeeds containing discontinuities. A conditional Lipschitz stability estimate for the inverse problem holds for wavespeeds of the form of a linear combination of piecewise constant functions with an underlying domain partitioning, and gives a framework in which the scheme converges. The stability constant grows exponentially as the number of subdomains in the domain partitioning increases. To mitigate this growth of the stability constant, we introduce hierarchical compressive approximations of the solution to the inverse problem with piecewise constant functions. We establish an optimal bound of the stability constant, which leads to a condition on the compression rate pertaining to these approximations.
The goal of quantitative elastography is to identify biomechanical parameters from interior displacement data, which are provided by other modalities, such as ultrasound or magnetic resonance imaging. In this paper, we analyze the stability of several linearized problems in quantitative elastography. Our method is based on the theory of redundant systems of linear partial differential equations. We analyze the ellipticity properties of the corresponding PDE systems augmented with the interior displacement data; we explicitly characterize the kernel of the forward operators and show injectivity for particular linearizations. Stability criteria can then be deduced. Our results show stability of shear modulus, pressure and density; they indicate that singular strain fields should be avoided, and show how additional measurements can help in ensuring stability.
In this chapter a general mathematical model of Optical Coherence Tomography (OCT) is presented on the basis of the electromagnetic theory. OCT produces high resolution images of the inner structure of biological tissues. Images are obtained by measuring the time delay and the intensity of the backscattered light from the sample considering also the coherence properties of light. The scattering problem is considered for a weakly scattering medium located far enough from the detector. The inverse problem is to reconstruct the susceptibility of the medium given the measurements for different positions of the mirror. Different approaches are addressed depending on the different assumptions made about the optical properties of the sample. This procedure is applied to a full field OCT system and an extension to standard (time and frequency domain) OCT is briefly presented.
We propose a number of variational regularisation methods for the estimation and decomposition of motion fields on the $2$-sphere. While motion estimation is based on the optical flow equation, the presented decomposition models are motivated by recent trends in image analysis. In particular we treat $u+v$ decomposition as well as hierarchical decomposition. Helmholtz decomposition of motion fields is obtained as a natural by-product of the chosen numerical method based on vector spherical harmonics. All models are tested on time-lapse microscopy data depicting fluorescently labelled endodermal cells of a zebrafish embryo.
L2-TGV-regularization has been introduced by Bredies, Kunisch, and Pock. This regularization method requires careful tuning of two regularization parameters. The focus of this paper is to derive analytical results, which allow for characterizing parameter settings, which make this method in fact different from L2-TV (the ROF-model) and L2-TV2 regularization, respectively. In this paper we also provide explicit solutions of TGV-denoising for particular one-dimensional function data.
In this paper, we present a method for the numerical minimization of the Mumford-Shah functional that is based on the idea of topological asymptotic expansions. The basic idea is to cover the expected edge set with balls of radius ε> 0 and use the number of balls, multiplied with 2ε, as an estimate for the length of the edge set. We introduce a functional based on this idea and prove that it converges in the sense of Γ-limits to the Mumford-Shah functional. Moreover, we show that ideas from topological asymptotic analysis can be used for determining where to position the balls covering the edge set. The results of the proposed method are presented by means of two numerical examples and compared with the results of the classical approximation due to Ambrosio and Tortorelli.
We extend the concept of optical flow to a dynamic non-Euclidean setting. Optical flow is traditionally computed from a sequence of flat images. It is the purpose of this paper to introduce variational motion estimation for images that are defined on an evolving surface. Volumetric microscopy images depicting a live zebrafish embryo serve as both biological motivation and test data.
In this paper we develop a convergence analysis in an infinite dimensional setting of the Levenberg-Marquardt iteration for the solution of a hybrid conductivity imaging problem. The problem consists in determining the spatially varying conductivity $σ$ from a series of measurements of power densities for various voltage inductions. Although this problem has been very well studied in the literature, convergence and regularizing properties of iterative algorithms in an infinite dimensional setting are still rudimentary. We provide a partial result under the assumptions that the derivative of the operator, mapping conductivities to power densities, is injective and the data is noise-free. Moreover, we implemented the Levenberg-Marquardt algorithm and tested it on simulated data.
In this paper we derive time reversal imaging functionals for two strongly causal acoustic attenuation models, which have been proposed recently. The time reversal techniques are based on recently proposed ideas of Ammari et al for the thermo-viscous wave equation. Here and there an asymptotic analysis provides reconstruction functionals from first order corrections for the attenuating effect. In addition, we present a novel approach for higher order corrections.
This paper considers the nonparametric regression model with an additive error that is dependent on the explanatory variables. As is common in empirical studies in epidemiology and economics, it also supposes that valid instrumental variables are observed. A classical example in microeconomics considers the consumer demand function as a function of the price of goods and the income, both variables often considered as endogenous. In this framework, the economic theory also imposes shape restrictions on the demand function, like integrability conditions. Motivated by this illustration in microeconomics, we study an estimator of a nonparametric constrained regression function using instrumental variables by means of Tikhonov regularization. We derive rates of convergence for the regularized model both in a deterministic and stochastic setting under the assumption that the true regression function satisfies a projected source condition including, because of the non-convexity of the imposed constraints, an additional smallness condition.
There has been devoted significant mathematical research to model the light propagation in tissue and to recover the absorption and scattering coefficients after photoacoustic inversion. Typically, the basic light propagation models considered there are the diffusion limits of the radiative heat transfer model. These equations are well suited for models where the elastic scattering is the dominant effect. If, however, the scattering is less pronounced, a single scattering approximation model is practicable. As we show in this paper, this approach is practically relevant in focused/sectional photoacoustic imaging. In this paper, we study analytical reconstruction formulas for the single scattering case. To realise the single scattering approach, we propose concrete physical experiments based on photoacoustical sectional imaging.