Searcharxiv⌕ Search

arXiv subjects

Matthias Schlottbom

Publications and source records attributed to Matthias Schlottbom.

At least 37 records · Page 2Linked to original sources

On the unique solvability of radiative transfer equations with polarization

We investigate the well-posedness of the radiative transfer equation with polarization and varying refractive index. The well-posedness analysis includes non-homogeneous boundary value problems on bounded spatial domains, which requires the analysis of suitable trace spaces. Additionally, we discuss positivity, Hermiticity, and norm-preservation of the matrix-valued solution. As auxiliary results, we derive new trace inequalities for products of matrices.

math.AP↗

A model reduction approach for inverse problems with operator valued data

We study the efficient numerical solution of linear inverse problems with operator valued data which arise, e.g., in seismic exploration, inverse scattering, or tomographic imaging. The high-dimensionality of the data space implies extremely high computational cost already for the evaluation of the forward operator which makes a numerical solution of the inverse problem, e.g., by iterative regularization methods, practically infeasible. To overcome this obstacle, we take advantage of the underlying tensor product structure of the problem and propose a strategy for constructing low-dimensional certified reduced order models of quasi-optimal rank for the forward operator which can be computed much more efficiently than the truncated singular value decomposition. A complete analysis of the proposed model reduction approach is given in a functional analytic setting and the efficient numerical construction of the reduced order models as well as of their application for the numerical solution of the inverse problem is discussed. In summary, the setup of a low-rank approximation can be achieved in an offline stage at essentially the same cost as a single evaluation of the forward operator, while the actual solution of the inverse problem in the online phase can be done with extremely high efficiency. The theoretical results are illustrated by application to a typical model problem in fluorescence optical tomography.

math.NA↗

On robustly convergent and efficient iterative methods for anisotropic radiative transfer

This paper considers the iterative solution of linear systems arising from discretization of the anisotropic radiative transfer equation with discontinuous elements on the sphere. In order to achieve robust convergence behavior in the discretization parameters and the physical parameters we develop preconditioned Richardson iterations in Hilbert spaces. We prove convergence of the resulting scheme. The preconditioner is constructed in two steps. The first step borrows ideas from matrix splittings and ensures mesh independence. The second step uses a subspace correction technique to reduce the influence of the optical parameters. The correction spaces are build from low-order spherical harmonics approximations generalizing well-known diffusion approximations. We discuss in detail the efficient implementation and application of the discrete operators. In particular, for the considered discontinuous spherical elements, the scattering operator becomes dense and we show that $\mathcal{H}$- or $\mathcal{H}^2$-matrix compression can be applied in a black-box fashion to obtain almost linear or linear complexity when applying the corresponding approximations. The effectiveness of the proposed method is shown in numerical examples.

math.NA↗

Analysis of a mixed discontinuous Galerkin method for the time-harmonic Maxwell equations with minimal smoothness requirements

An error analysis of a mixed discontinuous Galerkin (DG) method with Brezzi numerical flux for the time-harmonic Maxwell equations with minimal smoothness requirements is presented. The key difficulty in the error analysis for the DG method is that the tangential or normal trace of the exact solution is not well-defined on the mesh faces of the computational mesh. We overcome this difficulty by two steps. First, we employ a lifting operator to replace the integrals of the tangential/normal traces on mesh faces by volume integrals. Second, optimal convergence rates are proven by using smoothed interpolations that are well-defined for merely integrable functions. As a byproduct of our analysis, an explicit and easily computable stabilization parameter is given.

math.NA↗

On a convergent DSA preconditioned source iteration for a DGFEM method for radiative transfer

We consider the numerical approximation of the radiative transfer equation using discontinuous angular and continuous spatial approximations for the even parts of the solution. The even-parity equations are solved using a diffusion synthetic accelerated source iteration. We provide a convergence analysis for the infinite-dimensional iteration as well as for its discretized counterpart. The diffusion correction is computed by a subspace correction, which leads to a convergence behavior that is robust with respect to the discretization. The proven theoretical contraction rate deteriorates for scattering dominated problems. We show numerically that the preconditioned iteration is in practice robust in the diffusion limit. Moreover, computations for the lattice problem indicate that the presented discretization does not suffer from the ray effect. The theoretical methodology is presented for plane-parallel geometries with isotropic scattering, but the approach and proofs generalize to multi-dimensional problems and more general scattering operators verbatim.

math.NA↗

Parameter identification in a structured population model

We study parameter identification problems in a structured population model without mutations. Given measurements of the total population size or critical points of the population, we aim to recover its growth rate, death rate or initial distribution. We present uniqueness results under suitable assumptions and present counterexamples when these assumptions are violated. Our results a supplemented by numerical studies, either based on Tikhonov regularization or the use of explicit reconstruction formulas.

math.AP↗

A perfectly matched layer approach for radiative transfer in highly scattering regimes

We consider the numerical approximation of boundary conditions in radiative transfer problems by a perfectly matched layer approach. The main idea is to extend the computational domain by an absorbing layer and to use an appropriate reflection boundary condition at the boundary of the extended domain. A careful analysis shows that the consistency error introduced by this approach can be made arbitrarily small by increasing the size of the extension domain or the magnitude of the artificial absorption in the surrounding layer. A particular choice of the reflection boundary condition allows us to circumvent the half-space integrals that arise in the variational treatment of the original vacuum boundary conditions and which destroy the sparse coupling observed in numerical approximation schemes based on truncated spherical harmonics expansions. A combination of the perfectly matched layer approach with a mixed variational formulation and a PN-finite element approximation leads to discretization schemes with optimal sparsity pattern and provable quasi-optimal convergence properties. As demonstrated in numerical tests these methods are accurate and very efficient for radiative transfer in the scattering regime.

math.NA↗

On the uniqueness of nonlinear diffusion coefficients in the presence of lower order terms

We consider the identification of nonlinear diffusion coefficients of the form $a(t,u)$ or $a(u)$ in quasi-linear parabolic and elliptic equations. Uniqueness for this inverse problem is established under very general assumptions using partial knowledge of the Dirichlet-to-Neumann map. The proof of our main result relies on the construction of a series of appropriate Dirichlet data and test functions with a particular singular behavior at the boundary. This allows us to localize the analysis and to separate the principal part of the equation from the remaining terms. We therefore do not require specific knowledge of lower order terms or initial data which allows to apply our results to a variety of applications. This is illustrated by discussing some typical examples in detail.

math.AP↗

A class of Galerkin schemes for time-dependent radiative transfer

The numerical solution of time-dependent radiative transfer problems is challenging, both, due to the high dimension as well as the anisotropic structure of the underlying integro-partial differential equation. In this paper we propose a general framework for designing numerical methods for time-dependent radiative transfer based on a Galerkin discretization in space and angle combined with appropriate time stepping schemes. This allows us to systematically incorporate boundary conditions and to preserve basic properties like exponential stability and decay to equilibrium also on the discrete level. We present the basic a-priori error analysis and provide abstract error estimates that cover a wide class of methods. The starting point for our considerations is to rewrite the radiative transfer problem as a system of evolution equations which has a similar structure like first order hyperbolic systems in acoustics or electrodynamics. This analogy allows us to generalize the main arguments of the numerical analysis for such applications to the radiative transfer problem under investigation. We also discuss a particular discretization scheme based on a truncated spherical harmonic expansion in angle, a finite element discretization in space, and the implicit Euler method in time. The performance of the resulting mixed PN-finite element time stepping scheme is demonstrated by computational results.

math.NA↗

Error analysis of a diffuse interface method for elliptic problems with Dirichlet boundary conditions

We use a diffuse interface method for solving Poisson's equation with a Dirichlet condition on an embedded curved interface. The resulting diffuse interface problem is identified as a standard Dirichlet problem on approximating regular domains. We estimate the errors introduced by these domain perturbations, and prove convergence and convergence rates in the $H^1$-norm, the $L^2$-norm and the $L^\infty$-norm in terms of the width of the diffuse layer. For an efficient numerical solution we consider the finite element method for which another domain perturbation is introduced. These perturbed domains are polygonal and non-convex in general. We prove convergence and convergences rates in the $H^1$-norm and the $L^2$-norm in terms of the layer width and the mesh size. In particular, for the $L^2$-norm estimates we present a problem adapted duality technique, which crucially makes use of the error estimates derived for the regularly perturbed domains. Our results are illustrated by numerical experiments, which also show that the derived estimates are sharp.

math.NA↗

Notes on a PDE System for Biological Network Formation

We present new analytical and numerical results for the elliptic-parabolic system of partial differential equations proposed by Hu and Cai, which models the formation of biological transport networks. The model describes the pressure field using a Darcy's type equation and the dynamics of the conductance network under pressure force effects. Randomness in the material structure is represented by a linear diffusion term and conductance relaxation by an algebraic decay term. The analytical part extends the results of Haskovec, Markowich and Perthame regarding the existence of weak and mild solutions to the whole range of meaningful relaxation exponents. Moreover, we prove finite time extinction or break-down of solutions in the spatially onedimensional setting for certain ranges of the relaxation exponent. We also construct stationary solutions for the case of vanishing diffusion and critical value of the relaxation exponent, using a variational formulation and a penalty method. The analytical part is complemented by extensive numerical simulations. We propose a discretization based on mixed finite elements and study the qualitative properties of network structures for various parameters values. Furthermore, we indicate numerically that some analytical results proved for the spatially one-dimensional setting are likely to be valid also in several space dimensions.

math.AP↗

Diffuse Interface Methods for Inverse Problems: Case Study for an Elliptic Cauchy Problem

Many inverse problems have to deal with complex, evolving and often not exactly known geometries, e.g. as domains of forward problems modeled by partial differential equations. This makes it desirable to use methods which are robust with respect to perturbed or not well resolved domains, and which allow for efficient discretizations not resolving any fine detail of those geometries. For forward problems in partial differential equations methods based on diffuse interface representations gained strong attention in the last years, but so far they have not been considered systematically for inverse problems. In this work we introduce a diffuse domain method as a tool for the solution of variational inverse problems. As a particular example we study ECG inversion in further detail. ECG inversion is a linear inverse source problem with boundary measurements governed by an anisotropic diffusion equation, which naturally cries for solutions under changing geometries, namely the beating heart. We formulate a regularization strategy using Tikhonov regularization and, using standard source conditions, we prove convergence rates. A special property of our approach is that not only operator perturbations are introduced by the diffuse domain method, but more important we have to deal with topologies which depend on a parameter $\eps$ in the diffuse domain method, i.e. we have to deal with $\eps$-dependent forward operators and $\eps$-dependent norms. In particular the appropriate function spaces for the unknown and the data depend on $\eps$. This prevents to apply some standard convergence techniques for inverse problems, in particular interpreting the perturbations as data errors in the original problem does not yield suitable results. We consequently develop a novel approach based on saddle-point problems.

math.NA↗

Identification of Chemotaxis Models with Volume Filling

Chemotaxis refers to the directed movement of cells in response to a chemical signal called chemoattractant. A crucial point in the mathematical modeling of chemotactic processes is the correct description of the chemotactic sensitivity and of the production rate of the chemoattractant. In this paper, we investigate the identification of these non-linear parameter functions in a chemotaxis model with volume filling. We also discuss the numerical realization of Tikhonov regularization for the stable solution of the inverse problem. Our theoretical findings are supported by numerical tests.

math.AP↗

Analysis of the Diffuse Domain Method for second order elliptic boundary value problems

The diffuse domain method for partial differential equations on complicated geometries recently received strong attention in particular from practitioners, but many fundamental issues in the analysis are still widely open. In this paper we study the diffuse domain method for approximating second order elliptic boundary value problems posed on bounded domains, and show convergence and rates of the approximations generated by the diffuse domain method to the solution of the original second order problem when complemented by Robin, Dirichlet or Neumann conditions. The main idea of the diffuse domain method is to relax these boundary conditions by introducing a family of phase-field functions such that the variational integrals of the original problem are replaced by a weighted average of integrals of perturbed domains. From an functional analytic point of view, the phase-field functions naturally lead to weighted Sobolev spaces for which we present trace and embedding results as well as various type of Poincaré inequalities with constants independent of the domain perturbations. Our convergence analysis is carried out in such spaces as well, but allows to draw conclusions also about unweighted norms applied to restrictions on the original domain. Our convergence results are supported by numerical examples.

math.NA↗

Diffusion asymptotics for linear transport with low regularity

We provide an asymptotic analysis of linear transport problems in the diffusion limit under minimal regularity assumptions on the domain, the coefficients, and the data. The weak form of the limit equation is derived and the convergence of the solution in the $L^2$ norm is established without artificial regularity requirements. This is important to be able to deal with problems involving realistic geometries and heterogeneous media. In a second step we prove the usual $O(\varepsilon)$ convergence rates under very mild additional assumptions. The generalization of the results to convergence in $L^p$ with $p \ne 2$ and some limitations are discussed.

math.AP↗

An $L^p$ theory for stationary radiative transfer

We present a self-contained analysis of the stationary radiative transfer equation in weighted $L^p$ spaces. The use of weighted spaces allows us to derive uniform a-priori estimates for $1 \le p \le \infty$ under minimal assumptions on the parameters. By constructing an explicit example, we show that our estimates are sharp and cannot be improved in general. Better estimates are however derived under additional assumptions on the parameters. We also present estimates for derivatives and traces of the solution and formulate a natural energy space, for which the data-to-solution map becomes an isomorphism. As a side result, we are able to prove uniform convergence of the source iteration for all $1 \le p \le \infty$ without the assumption of positive absorption that is frequently used in the literature.

math.AP↗

Identification of nonlinear heat conduction laws

We consider the identification of nonlinear heat conduction laws in stationary and instationary heat transfer problems. Only a single additional measurement of the temperature on a curve on the boundary is required to determine the unknown parameter function on the range of observed temperatures. We first present a new proof of Cannon's uniqueness result for the stationary case, then derive a corresponding stability estimate, and finally extend our argument to instationary problems.

math.AP↗

Simultaneous identification of diffusion and absorption coefficients in a quasilinear elliptic problem

In this work we consider the identifiability of two coefficients $a(u)$ and $c(x)$ in a quasilinear elliptic partial differential equation from observation of the Dirichlet-to-Neumann map. We use a linearization procedure due to Isakov [On uniqueness in inverse problems for semilinear parabolic equations. Archive for Rational Mechanics and Analysis, 1993] and special singular solutions to first determine $a(0)$ and $c(x)$ for $x \in Ω$. Based on this partial result, we are then able to determine $a(u)$ for $u \in \mathbb{R}$ by an adjoint approach.

math.AP↗