-
Solution of parameter-dependent diffusion equation in layered media
Authors:
Antti Autio,
Antti Hannukainen
Abstract:
This work studies the parameter-dependent diffusion equation in a two-dimensional domain consisting of locally mirror symmetric layers. It is assumed that the diffusion coefficient is a constant in each layer. The goal is to find approximate parameter-to-solution maps that have a small number of terms. It is shown that in the case of two layers one can find a solution formula consisting of three t…
▽ More
This work studies the parameter-dependent diffusion equation in a two-dimensional domain consisting of locally mirror symmetric layers. It is assumed that the diffusion coefficient is a constant in each layer. The goal is to find approximate parameter-to-solution maps that have a small number of terms. It is shown that in the case of two layers one can find a solution formula consisting of three terms with explicit dependencies on the diffusion coefficient. The formula is based on decomposing the solution into orthogonal parts related to both of the layers and the interface between them. This formula is then expanded to an approximate one for the multi-layer case. We give an analytical formula for square layers and use the finite element formulation for more general layers. The results are illustrated with numerical examples and have applications for reduced basis methods by analyzing the Kolmogorov n-width.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Distributed finite element solution using model order reduction
Authors:
Tom Gustafsson,
Antti Hannukainen,
Vili Kohonen
Abstract:
We present a method for the distributed finite element solution of elliptic boundary value problems using model order reduction on each subdomain of the domain decomposition. We show that the error of the reduction can be succesfully controlled in the $H^1$ norm due to the properly weighted $l^2$ low-rank approximation. Our numerical results demonstrate the technique using tetrahedral meshes with…
▽ More
We present a method for the distributed finite element solution of elliptic boundary value problems using model order reduction on each subdomain of the domain decomposition. We show that the error of the reduction can be succesfully controlled in the $H^1$ norm due to the properly weighted $l^2$ low-rank approximation. Our numerical results demonstrate the technique using tetrahedral meshes with up to 85 million degrees-of-freedom on a laptop computer by distributing the bulk of the model order reduction to the cloud.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Compound Krylov subspace methods for parametric linear systems
Authors:
Antti Autio,
Antti Hannukainen
Abstract:
In this work, we propose a reduced basis method for efficient solution of parametric linear systems. The coefficient matrix is assumed to be a linear matrix-valued function that is symmetric and positive definite for admissible values of the parameter $\mathbfσ\in \mathbb{R}^s$. We propose a solution strategy where one first computes a basis for the appropriate compound Krylov subspace and then us…
▽ More
In this work, we propose a reduced basis method for efficient solution of parametric linear systems. The coefficient matrix is assumed to be a linear matrix-valued function that is symmetric and positive definite for admissible values of the parameter $\mathbfσ\in \mathbb{R}^s$. We propose a solution strategy where one first computes a basis for the appropriate compound Krylov subspace and then uses this basis to compute a subspace solution for multiple $\mathbfσ$. Three kinds of compound Krylov subspaces are discussed. Error estimate is given for the subspace solution from each of these spaces. Theoretical results are demonstrated by numerical examples related to solving parameter dependent elliptic PDEs using the finite element method (FEM).
△ Less
Submitted 24 September, 2021;
originally announced September 2021.
-
Distributed solution of Laplacian eigenvalue problems
Authors:
Antti Hannukainen,
Jarmo Malinen,
Antti Ojalammi
Abstract:
The purpose of this article is to approximately compute the eigenvalues of the symmetric Dirichlet Laplacian within an interval $(0,Λ)$. A novel domain decomposition Ritz method, partition of unity condensed pole interpolation method, is proposed. This method can be used in distributed computing environments where communication is expensive, e.g., in clusters running on cloud computing services or…
▽ More
The purpose of this article is to approximately compute the eigenvalues of the symmetric Dirichlet Laplacian within an interval $(0,Λ)$. A novel domain decomposition Ritz method, partition of unity condensed pole interpolation method, is proposed. This method can be used in distributed computing environments where communication is expensive, e.g., in clusters running on cloud computing services or networked workstations. The Ritz space is obtained from local subspaces consistent with a decomposition of the domain into subdomains. These local subspaces are constructed independently of each other, using data only related to the corresponding subdomain. Relative eigenvalue error is analysed. Numerical examples on a cluster of workstations validate the error analysis and the performance of the method.
△ Less
Submitted 31 March, 2021; v1 submitted 18 June, 2020;
originally announced June 2020.
-
Inverse heat source problem and experimental design for determining iron loss distribution
Authors:
Antti Hannukainen,
Nuutti Hyvönen,
Lauri Perkkiö
Abstract:
Iron loss determination in the magnetic core of an electrical machine, such as a motor or a transformer, is formulated as an inverse heat source problem. The sensor positions inside the object are optimized in order to minimize the uncertainty in the reconstruction in the sense of the A-optimality of Bayesian experimental design. This paper focuses on the problem formulation and an efficient numer…
▽ More
Iron loss determination in the magnetic core of an electrical machine, such as a motor or a transformer, is formulated as an inverse heat source problem. The sensor positions inside the object are optimized in order to minimize the uncertainty in the reconstruction in the sense of the A-optimality of Bayesian experimental design. This paper focuses on the problem formulation and an efficient numerical solution of the discretized sensor optimization and source reconstruction problems. A semirealistic linear model is discretized by finite elements and studied numerically.
△ Less
Submitted 26 October, 2020; v1 submitted 23 March, 2020;
originally announced March 2020.
-
Computing homogenized coefficients via multiscale representation and hierarchical hybrid grids
Authors:
A. Hannukainen,
J. -C. Mourrat,
H. Stoppels
Abstract:
We present an efficient method for the computation of homogenized coefficients of divergence-form operators with random coefficients. The approach is based on a multiscale representation of the homogenized coefficients. We then implement the method numerically using a finite-element method with hierarchical hybrid grids, which is a semi-implicit method allowing for significant gains in memory usag…
▽ More
We present an efficient method for the computation of homogenized coefficients of divergence-form operators with random coefficients. The approach is based on a multiscale representation of the homogenized coefficients. We then implement the method numerically using a finite-element method with hierarchical hybrid grids, which is a semi-implicit method allowing for significant gains in memory usage and execution time. Finally, we demonstrate the efficiency of our approach on two- and three-dimensional examples, for piecewise-constant coefficients with corner discontinuities. For moderate ellipticity contrast and for a precision of a few percentage points, our method allows to compute the homogenized coefficients on a laptop computer in a few seconds, in two dimensions, or in a few minutes, in three dimensions.
△ Less
Submitted 16 May, 2019;
originally announced May 2019.
-
Computational framework for applying electrical impedance tomography to head imaging
Authors:
Valentina Candiani,
Antti Hannukainen,
Nuutti Hyvönen
Abstract:
This work introduces a computational framework for applying absolute electrical impedance tomography to head imaging without accurate information on the head shape or the electrode positions. A library of fifty heads is employed to build a principal component model for the typical variations in the shape of the human head, which leads to a relatively accurate parametrization for head shapes with o…
▽ More
This work introduces a computational framework for applying absolute electrical impedance tomography to head imaging without accurate information on the head shape or the electrode positions. A library of fifty heads is employed to build a principal component model for the typical variations in the shape of the human head, which leads to a relatively accurate parametrization for head shapes with only a few free parameters. The estimation of these shape parameters and the electrode positions is incorporated in a regularized Newton-type output least squares reconstruction algorithm. The presented numerical experiments demonstrate that strong enough variations in the internal conductivity of a human head can be detected by absolute electrical impedance tomography even if the geometric information on the measurement configuration is incomplete to an extent that is to be expected in practice.
△ Less
Submitted 14 February, 2019;
originally announced February 2019.
-
Efficient solution of symmetric eigenvalue problems from families of coupled systems
Authors:
Antti Hannukainen,
Jarmo Malinen,
Antti Ojalammi
Abstract:
Efficient solution of the lowest eigenmodes is studied for a family of related eigenvalue problems with common $2\times 2$ block structure. It is assumed that the upper diagonal block varies between different versions while the lower diagonal block and the range of the coupling blocks remains unchanged. Such block structure naturally arises when studying the effect of a subsystem to the eigenmodes…
▽ More
Efficient solution of the lowest eigenmodes is studied for a family of related eigenvalue problems with common $2\times 2$ block structure. It is assumed that the upper diagonal block varies between different versions while the lower diagonal block and the range of the coupling blocks remains unchanged. Such block structure naturally arises when studying the effect of a subsystem to the eigenmodes of the full system. The proposed method is based on interpolation of the resolvent function after some of its singularities have been removed by a spectral projection. Singular value decomposition can be used to further reduce the dimension of the computational problem. Error analysis of the method indicates exponential convergence with respect to the number of interpolation points. Theoretical results are illustrated by two numerical examples related to finite element discretisation of the Laplace operator.
△ Less
Submitted 18 June, 2020; v1 submitted 19 June, 2018;
originally announced June 2018.
-
An inverse boundary value problem for the $p$-Laplacian
Authors:
Antti Hannukainen,
Nuutti Hyvönen,
Lauri Mustonen
Abstract:
This work tackles an inverse boundary value problem for a $p$-Laplace type partial differential equation parametrized by a smoothening parameter $τ\geq 0$. The aim is to numerically test reconstructing a conductivity type coefficient in the equation when Dirichlet boundary values of certain solutions to the corresponding Neumann problem serve as data. The numerical studies are based on a straightf…
▽ More
This work tackles an inverse boundary value problem for a $p$-Laplace type partial differential equation parametrized by a smoothening parameter $τ\geq 0$. The aim is to numerically test reconstructing a conductivity type coefficient in the equation when Dirichlet boundary values of certain solutions to the corresponding Neumann problem serve as data. The numerical studies are based on a straightforward linearization of the forward map, and they demonstrate that the accuracy of such an approach depends nontrivially on $1 < p < \infty$ and the chosen parametrization for the unknown coefficient. The numerical considerations are complemented by proving that the forward operator, which maps a Hölder continuous conductivity coefficient to the solution of the Neumann problem, is Fréchet differentiable, excluding the degenerate case $τ=0$ that corresponds to the classical (weighted) $p$-Laplace equation.
△ Less
Submitted 28 March, 2018;
originally announced March 2018.
-
An iterative method for elliptic problems with rapidly oscillating coefficients
Authors:
S. Armstrong,
A. Hannukainen,
T. Kuusi,
J. -C. Mourrat
Abstract:
We introduce a new iterative method for computing solutions of elliptic equations with random rapidly oscillating coefficients. Similarly to a multigrid method, each step of the iteration involves different computations meant to address different length scales. However, we use here the homogenized equation on all scales larger than a fixed multiple of the scale of oscillation of the coefficients.…
▽ More
We introduce a new iterative method for computing solutions of elliptic equations with random rapidly oscillating coefficients. Similarly to a multigrid method, each step of the iteration involves different computations meant to address different length scales. However, we use here the homogenized equation on all scales larger than a fixed multiple of the scale of oscillation of the coefficients. While the performance of standard multigrid methods degrades rapidly under the regime of large scale separation that we consider here, we show an explicit estimate on the contraction factor of our method which is independent of the size of the domain. We also present numerical experiments which confirm the effectiveness of the method, with openly available source code.
△ Less
Submitted 27 March, 2020; v1 submitted 9 March, 2018;
originally announced March 2018.
-
Efficient inclusion of total variation type priors in quantitative photoacoustic tomography
Authors:
Antti Hannukainen,
Nuutti Hyvönen,
Helle Majander,
Tanja Tarvainen
Abstract:
Quantitative photoacoustic tomography is an emerging imaging technique aimed at estimating the distribution of optical parameters inside tissues from photoacoustic images, which are formed by combining optical information and ultrasonic propagation. This optical parameter estimation problem is ill-posed and needs to be approached within the framework of inverse problems. Photoacoustic images are t…
▽ More
Quantitative photoacoustic tomography is an emerging imaging technique aimed at estimating the distribution of optical parameters inside tissues from photoacoustic images, which are formed by combining optical information and ultrasonic propagation. This optical parameter estimation problem is ill-posed and needs to be approached within the framework of inverse problems. Photoacoustic images are three-dimensional and high-resolution. Furthermore, high-resolution reconstructions of the optical parameters are targeted. Therefore, in order to provide a practical method for quantitative photoacoustic tomography, the inversion algorithm needs to be able to perform successfully with problems of prominent size. In this work, an efficient approach for the inverse problem of quantitative photoacoustic tomography is proposed, assuming an edge-preferring prior for the optical parameters. The method is based on iteratively combining priorconditioned LSQR with a lagged diffusivity step and a linearisation of the measurement model, with the needed multiplications by Jacobians performed in a matrix-free manner. The algorithm is tested with three-dimensional numerical simulations. The results show that the approach can be used to produce accurate and high quality estimates of absorption and diffusion in complex three-dimensional geometries with moderate computation time and cost.
△ Less
Submitted 1 June, 2016; v1 submitted 9 December, 2015;
originally announced December 2015.
-
Convergence analysis of GMRES for the Helmholtz equation via pseudospectrum
Authors:
Antti Hannukainen
Abstract:
Most finite element methods for solving time-harmonic wave-propagation problems lead to a linear system with a non-normal coefficient matrix. The non-normality is due to boundary conditions and losses. One way to solve these systems is to use a preconditioned iterative method. Detailed mathematical analysis of the convergence properties of these methods is important for develo** new and understa…
▽ More
Most finite element methods for solving time-harmonic wave-propagation problems lead to a linear system with a non-normal coefficient matrix. The non-normality is due to boundary conditions and losses. One way to solve these systems is to use a preconditioned iterative method. Detailed mathematical analysis of the convergence properties of these methods is important for develo** new and understanding old preconditioners. Due to non-normality, there is currently very little existing literature in this direction. In this paper, we study the convergence of GMRES for such systems by deriving inclusion and exclusion regions for the pseudospectrum of the coefficient matrix. All analysis is done a priori by relating the properties of the weak problem to the coefficient matrix. The inclusion is derived from the stability properties of the problem and the exclusion is established via field of values and boundedness of the weak form. The derived tools are applied to estimate the pseudospectrum of time-harmonic Helmholtz equation with first-order absorbing boundary conditions, with and without a shifted-Laplace preconditioner.
△ Less
Submitted 29 May, 2015;
originally announced May 2015.
-
Edge-promoting reconstruction of absorption and diffusivity in optical tomography
Authors:
Antti Hannukainen,
Lauri Harhanen,
Nuutti Hyvönen,
Helle Majander
Abstract:
In optical tomography a physical body is illuminated with near-infrared light and the resulting outward photon flux is measured at the object boundary. The goal is to reconstruct internal optical properties of the body, such as absorption and diffusivity. In this work, it is assumed that the imaged object is composed of an approximately homogeneous background with clearly distinguishable embedded…
▽ More
In optical tomography a physical body is illuminated with near-infrared light and the resulting outward photon flux is measured at the object boundary. The goal is to reconstruct internal optical properties of the body, such as absorption and diffusivity. In this work, it is assumed that the imaged object is composed of an approximately homogeneous background with clearly distinguishable embedded inhomogeneities. An algorithm for finding the maximum a posteriori estimate for the absorption and diffusion coefficients is introduced assuming an edge-preferring prior and an additive Gaussian measurement noise model. The method is based on iteratively combining a lagged diffusivity step and a linearization of the measurement model of diffuse optical tomography with priorconditioned LSQR. The performance of the reconstruction technique is tested via three-dimensional numerical experiments with simulated measurement data.
△ Less
Submitted 28 May, 2015;
originally announced May 2015.
-
Field of values analysis of preconditioners for the Helmholtz equation in lossy media
Authors:
Antti Hannukainen
Abstract:
In this paper, we analyze the convergence of the preconditioned GMRES method for the first order finite element discretizations of the Helmholtz equation in media with losses. We consider a Laplace preconditioner, an inexact Laplace preconditioner and a two-level preconditioner. Our analysis is based on bounding the field of values of the preconditioned system matrix in the complex plane. The anal…
▽ More
In this paper, we analyze the convergence of the preconditioned GMRES method for the first order finite element discretizations of the Helmholtz equation in media with losses. We consider a Laplace preconditioner, an inexact Laplace preconditioner and a two-level preconditioner. Our analysis is based on bounding the field of values of the preconditioned system matrix in the complex plane. The analysis takes the non-normal nature of the linear system naturally into account and allows us to easily consider certain type of inexact Laplace preconditioners via a perturbation argument. For the two-level preconditioner, our convergence analysis takes into account a media, which has not been considered in previous works.
△ Less
Submitted 2 June, 2011;
originally announced June 2011.