-
A fourth-order exponential time differencing scheme with dimensional splitting for non-linear reaction-diffusion systems
Authors:
E. O. Asante-Asamani,
A. Kleefeld,
B. A. Wade
Abstract:
A fourth-order exponential time differencing (ETD) Runge-Kutta scheme with dimensional splitting is developed to solve multidimensional non-linear systems of reaction-diffusion equations (RDE). By approximating the matrix exponential in the scheme with the A-acceptable Padé (2,2) rational function, the resulting scheme (ETDRK4P22-IF) is verified empirically to be fourth-order accurate for several…
▽ More
A fourth-order exponential time differencing (ETD) Runge-Kutta scheme with dimensional splitting is developed to solve multidimensional non-linear systems of reaction-diffusion equations (RDE). By approximating the matrix exponential in the scheme with the A-acceptable Padé (2,2) rational function, the resulting scheme (ETDRK4P22-IF) is verified empirically to be fourth-order accurate for several RDE. The scheme is shown to be more efficient than competing fourth-order ETD and IMEX schemes, achieving up to 20 times speed in CPU time. Inclusion of up to three pre-smoothing steps of a lower order L-stable scheme facilitates efficient dam** of spurious oscillations arising from problems with non-smooth initial/boundary conditions.
△ Less
Submitted 21 March, 2024;
originally announced March 2024.
-
Inverse parameter and shape problem for an isotropic scatterer with two conductivity coefficients
Authors:
Rafael Ceja Ayala,
Isaac Harris,
Andreas Kleefeld
Abstract:
In this paper, we consider the direct and inverse problem for isotropic scatterers with two conductive boundary conditions. First, we show the uniqueness for recovering the coefficients from the known far-field data at a fixed incident direction for multiple frequencies. Then, we address the inverse shape problem for recovering the scatterer for the measured far-field data at a fixed frequency. Fu…
▽ More
In this paper, we consider the direct and inverse problem for isotropic scatterers with two conductive boundary conditions. First, we show the uniqueness for recovering the coefficients from the known far-field data at a fixed incident direction for multiple frequencies. Then, we address the inverse shape problem for recovering the scatterer for the measured far-field data at a fixed frequency. Furthermore, we examine the direct sampling method for recovering the scatterer by studying the factorization for the far-field operator. The direct sampling method is stable with respect to noisy data and valid in two dimensions for partial aperture data. The theoretical results are verified with numerical examples to analyze the performance by the direct sampling method.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
An Approach to Colour Morphological Supremum Formation using the LogSumExp Approximation
Authors:
Marvin Kahra,
Michael Breuß,
Andreas Kleefeld,
Martin Welk
Abstract:
Mathematical morphology is a part of image processing that has proven to be fruitful for numerous applications. Two main operations in mathematical morphology are dilation and erosion. These are based on the construction of a supremum or infimum with respect to an order over the tonal range in a certain section of the image. The tonal ordering can easily be realised in grey-scale morphology, and s…
▽ More
Mathematical morphology is a part of image processing that has proven to be fruitful for numerous applications. Two main operations in mathematical morphology are dilation and erosion. These are based on the construction of a supremum or infimum with respect to an order over the tonal range in a certain section of the image. The tonal ordering can easily be realised in grey-scale morphology, and some morphological methods have been proposed for colour morphology. However, all of these have certain limitations. In this paper we present a novel approach to colour morphology extending upon previous work in the field based on the Loewner order. We propose to consider an approximation of the supremum by means of a log-sum exponentiation introduced by Maslov. We apply this to the embedding of an RGB image in a field of symmetric $2\times2$ matrices. In this way we obtain nearly isotropic matrices representing colours and the structural advantage of transitivity. In numerical experiments we highlight some remarkable properties of the proposed approach.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
Comparing intrusive and non-intrusive polynomial chaos for a class of exponential time differencing schemes
Authors:
Julian Clausnitzer,
Andreas Kleefeld
Abstract:
We consider the numerical approximation of different ordinary differential equations (ODEs) and partial differential equations (PDEs) with periodic boundary conditions involving a one-dimensional random parameter, comparing the intrusive and non-intrusive polynomial chaos expansion (PCE) method. We demonstrate how to modify two schemes for intrusive PCE (iPCE) which are highly efficient in solving…
▽ More
We consider the numerical approximation of different ordinary differential equations (ODEs) and partial differential equations (PDEs) with periodic boundary conditions involving a one-dimensional random parameter, comparing the intrusive and non-intrusive polynomial chaos expansion (PCE) method. We demonstrate how to modify two schemes for intrusive PCE (iPCE) which are highly efficient in solving nonlinear reaction-diffusion equations: A second-order exponential time differencing scheme (ETD-RDP-IF) as well as a spectral exponential time differencing fourth-order Runge-Kutta scheme (ETDRK4). In numerical experiments, we show that these schemes show superior accuracy to simpler schemes such as the EE scheme for a range of model equations and we investigate whether they are competitive with non-intrusive PCE (niPCE) methods. We observe that the iPCE schemes are competitive with niPCE for some model equations, but that iPCE breaks down for complex pattern formation models such as the Gray-Scott system.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
A spectral Galerkin exponential Euler time-step** scheme for parabolic SPDEs on two-dimensional domains with a C2-boundary
Authors:
Julian Clausnitzer,
Andreas Kleefeld
Abstract:
We consider the numerical approximation of second-order semi-linear parabolic stochastic partial differential equations interpreted in the mild sense which we solve on general two-dimensional domains with a $\mathcal{C}^2$ boundary with homogeneous Dirichlet boundary conditions. The equations are driven by Gaussian additive noise, and several Lipschitz-like conditions are imposed on the nonlinear…
▽ More
We consider the numerical approximation of second-order semi-linear parabolic stochastic partial differential equations interpreted in the mild sense which we solve on general two-dimensional domains with a $\mathcal{C}^2$ boundary with homogeneous Dirichlet boundary conditions. The equations are driven by Gaussian additive noise, and several Lipschitz-like conditions are imposed on the nonlinear function. We discretize in space with a spectral Galerkin method and in time using an explicit Euler-like scheme. For irregular shapes, the necessary Dirichlet eigenvalues and eigenfunctions are obtained from a boundary integral equation method. This yields a nonlinear eigenvalue problem, which is discretized using a boundary element collocation method and is solved with the Beyn contour integral algorithm. We present an error analysis as well as numerical results on an exemplary asymmetric shape, and point out limitations of the approach.
△ Less
Submitted 23 June, 2023;
originally announced June 2023.
-
Direct sampling method via Landweber iteration for an absorbing scatterer with a conductive boundary
Authors:
Rafael Ceja Ayala,
Isaac Harris,
Andreas Kleefeld
Abstract:
In this paper, we consider the inverse shape problem of recovering isotropic scatterers with a conductive boundary condition. Here, we assume that the measured far-field data is known at a fixed wave number. Motivated by recent work, we study a new direct sampling indicator based on the Landweber iteration and the factorization method. Therefore, we prove the connection between these reconstructio…
▽ More
In this paper, we consider the inverse shape problem of recovering isotropic scatterers with a conductive boundary condition. Here, we assume that the measured far-field data is known at a fixed wave number. Motivated by recent work, we study a new direct sampling indicator based on the Landweber iteration and the factorization method. Therefore, we prove the connection between these reconstruction methods. The method studied here falls under the category of qualitative reconstruction methods where an imaging function is used to recover the absorbing scatterer. We prove stability of our new imaging function as well as derive a discrepancy principle for recovering the regularization parameter. The theoretical results are verified with numerical examples to show how the reconstruction performs by the new Landweber direct sampling method.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Detecting and approximating decision boundaries in low dimensional spaces
Authors:
Matthias Grajewski,
Andreas Kleefeld
Abstract:
A method for detecting and approximating fault lines or surfaces, respectively, or decision curves in two and three dimensions with guaranteed accuracy is presented. Reformulated as a classification problem, our method starts from a set of scattered points along with the corresponding classification algorithm to construct a representation of a decision curve by points with prescribed maximal dista…
▽ More
A method for detecting and approximating fault lines or surfaces, respectively, or decision curves in two and three dimensions with guaranteed accuracy is presented. Reformulated as a classification problem, our method starts from a set of scattered points along with the corresponding classification algorithm to construct a representation of a decision curve by points with prescribed maximal distance to the true decision curve. Hereby, our algorithm ensures that the representing point set covers the decision curve in its entire extent and features local refinement based on the geometric properties of the decision curve. We demonstrate applications of our method to problems related to the detection of faults, to Multi-Criteria Decision Aid and, in combination with Kirsch's factorization method, to solving an inverse acoustic scattering problem. In all applications we considered in this work, our method requires significantly less pointwise classifications than previously employed algorithms.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Analysis of the transmission eigenvalue problem with two conductivity parameters
Authors:
Rafael Ceja Ayala,
Isaac Harris,
Andreas Kleefeld,
Nikolaos Pallikarakis
Abstract:
In this paper, we provide an analytical study of the transmission eigenvalue problem with two conductivity parameters. We will assume that the underlying physical model is given by the scattering of a plane wave for an isotropic scatterer. In previous studies, this eigenvalue problem was analyzed with one conductive boundary parameter whereas we will consider the case of two parameters. We will pr…
▽ More
In this paper, we provide an analytical study of the transmission eigenvalue problem with two conductivity parameters. We will assume that the underlying physical model is given by the scattering of a plane wave for an isotropic scatterer. In previous studies, this eigenvalue problem was analyzed with one conductive boundary parameter whereas we will consider the case of two parameters. We will prove the existence and discreteness of the transmission eigenvalues as well as study the dependence on the physical parameters. We are able to prove monotonicity of the first transmission eigenvalue with respect to the parameters and consider the limiting procedure as the second boundary parameter vanishes. Lastly, we provide extensive numerical experiments to validate the theoretical work.
△ Less
Submitted 15 September, 2022;
originally announced September 2022.
-
On trajectories of complex-valued interior transmission eigenvalues
Authors:
Lukas Pieronek,
Andreas Kleefeld
Abstract:
This paper investigates properties of complex-valued eigenvalue trajectories for the interior transmission problem parametrized by the index of refraction for homogeneous media. Our theoretical analysis for the unit disk shows that the only intersection points with the real axis, as well as the unique trajectorial limit points as the refractive index tends to infinity, are Dirichlet eigenvalues of…
▽ More
This paper investigates properties of complex-valued eigenvalue trajectories for the interior transmission problem parametrized by the index of refraction for homogeneous media. Our theoretical analysis for the unit disk shows that the only intersection points with the real axis, as well as the unique trajectorial limit points as the refractive index tends to infinity, are Dirichlet eigenvalues of the Laplacian. Complementing numerical experiments even give rise to an underlying one-to-one correspondence between Dirichlet eigenvalues of the Laplacian and complex-valued interior transmission eigenvalue trajectories. We also examine other scatterers than the disk for which similar numerical observations can be made. We summarize our results in a conjecture for general simply-connected scatterers.
△ Less
Submitted 23 May, 2022;
originally announced May 2022.
-
The hot spots conjecture can be false: Some numerical examples
Authors:
Andreas Kleefeld
Abstract:
The hot spots conjecture is only known to be true for special geometries. It can be shown numerically that the hot spots conjecture can fail to be true for easy to construct bounded domains with one hole. The underlying eigenvalue problem for the Laplace equation with Neumann boundary condition is solved with boundary integral equations yielding a non-linear eigenvalue problem. Its discretization…
▽ More
The hot spots conjecture is only known to be true for special geometries. It can be shown numerically that the hot spots conjecture can fail to be true for easy to construct bounded domains with one hole. The underlying eigenvalue problem for the Laplace equation with Neumann boundary condition is solved with boundary integral equations yielding a non-linear eigenvalue problem. Its discretization via the boundary element collocation method in combination with the algorithm by Beyn yields highly accurate results both for the first non-zero eigenvalue and its corresponding eigenfunction which is due to superconvergence. Additionally, it can be shown numerically that the ratio between the maximal/minimal value inside the domain and its maximal/minimal value on the boundary can be larger than $1+10^{-3}$. Finally, numerical examples for easy to construct domains with up to five holes are provided which fail the hot spots conjecture as well.
△ Less
Submitted 4 January, 2021;
originally announced January 2021.
-
A second-order exponential time differencing scheme for non-linear reaction-diffusion systems with dimensional splitting
Authors:
E. O. Asante-Asamani,
A. Kleefeld,
B. A. Wade
Abstract:
A second-order $L$-stable exponential time-differencing (ETD) method is developed by combining an ETD scheme with approximating the matrix exponentials by rational functions having real distinct poles (RDP), together with a dimensional splitting integrating factor technique. A variety of non-linear reaction-diffusion equations in two and three dimensions with either Dirichlet, Neumann, or periodic…
▽ More
A second-order $L$-stable exponential time-differencing (ETD) method is developed by combining an ETD scheme with approximating the matrix exponentials by rational functions having real distinct poles (RDP), together with a dimensional splitting integrating factor technique. A variety of non-linear reaction-diffusion equations in two and three dimensions with either Dirichlet, Neumann, or periodic boundary conditions are solved with this scheme and shown to outperform a variety of other second-order implicit-explicit schemes. An additional performance boost is gained through further use of basic parallelization techniques.
△ Less
Submitted 30 January, 2020;
originally announced January 2020.
-
Analysis and computation of the transmission eigenvalues with a conductive boundary condition
Authors:
Isaac Harris,
Andreas Kleefeld
Abstract:
We provide a new analytical and computational study of the transmission eigenvalues with a conductive boundary condition. These eigenvalues are derived from the scalar inverse scattering problem for an inhomogeneous material with a conductive boundary condition. The goal is to study how these eigenvalues depend on the material parameters in order to estimate the refractive index. The analytical qu…
▽ More
We provide a new analytical and computational study of the transmission eigenvalues with a conductive boundary condition. These eigenvalues are derived from the scalar inverse scattering problem for an inhomogeneous material with a conductive boundary condition. The goal is to study how these eigenvalues depend on the material parameters in order to estimate the refractive index. The analytical questions we study are: deriving Faber-Krahn type lower bounds, the discreteness and limiting behavior of the transmission eigenvalues as the conductivity tends to infinity for a sign changing contrast. We also provide a numerical study of a new boundary integral equation for computing the eigenvalues. Lastly, using the limiting behavior we will numerically estimate the refractive index from the eigenvalues provided the conductivity is sufficiently large but unknown.
△ Less
Submitted 14 April, 2020; v1 submitted 20 January, 2020;
originally announced January 2020.
-
Elastic interior transmission eigenvalues and their computation via the method of fundamental solutions
Authors:
Andreas Kleefeld,
Lukas Pieronek
Abstract:
A stabilized version of the fundamental solution method to catch ill-conditioning effects is investigated with focus on the computation of complex-valued elastic interior transmission eigenvalues in two dimensions for homogeneous and isotropic media without voids. Its algorithm can be implemented very shortly and adopts to many similar PDE-based eigenproblems as long as the underlying fundamental…
▽ More
A stabilized version of the fundamental solution method to catch ill-conditioning effects is investigated with focus on the computation of complex-valued elastic interior transmission eigenvalues in two dimensions for homogeneous and isotropic media without voids. Its algorithm can be implemented very shortly and adopts to many similar PDE-based eigenproblems as long as the underlying fundamental solution function can be easily generated. We develop a corroborative approximation analysis which also implicates new basic results for transmission eigenfunctions and present some numerical examples which together prove successful feasibility of our eigenvalue recovery approach.
△ Less
Submitted 5 September, 2019;
originally announced September 2019.
-
Analysis of new direct sampling indicators for far-field measurements
Authors:
Isaac Harris,
Andreas Kleefeld
Abstract:
This article focuses on the analysis of three direct sampling indicators which can be used for recovering scatterers from the far-field pattern of time-harmonic acoustic measurements. These methods fall under the category of sampling methods where an indicator function is constructed using the far-field operator. Motivated by some recent work, we study the standard indicator using the far-field op…
▽ More
This article focuses on the analysis of three direct sampling indicators which can be used for recovering scatterers from the far-field pattern of time-harmonic acoustic measurements. These methods fall under the category of sampling methods where an indicator function is constructed using the far-field operator. Motivated by some recent work, we study the standard indicator using the far-field operator and two indicators derived from the factorization method. We show the equivalence of two indicators previously studied as well as propose a new indicator based on the Tikhonov regularization applied to the far-field equation for the factorization method. Finally, we give some numerical examples to show how the reconstructions compare to other direct sampling methods.
△ Less
Submitted 12 February, 2019; v1 submitted 8 January, 2019;
originally announced January 2019.
-
Shape optimization for interior Neumann and transmission eigenvalues
Authors:
Andreas Kleefeld
Abstract:
Shape optimization problems for interior eigenvalues is a very challenging task since already the computation of interior eigenvalues for a given shape is far from trivial. For example, a concrete maximizer with respect to shapes of fixed area is theoretically established only for the first two non-trivial Neumann eigenvalues. The existence of such a maximizer for higher Neumann eigenvalues is sti…
▽ More
Shape optimization problems for interior eigenvalues is a very challenging task since already the computation of interior eigenvalues for a given shape is far from trivial. For example, a concrete maximizer with respect to shapes of fixed area is theoretically established only for the first two non-trivial Neumann eigenvalues. The existence of such a maximizer for higher Neumann eigenvalues is still unknown. Hence, the problem should be addressed numerically. Better numerical results are achieved for the maximization of some Neumann eigenvalues using boundary integral equations for a simplified parametrization of the boundary in combination with a non-linear eigenvalue solver. Shape optimization for interior transmission eigenvalues is even more complicated since the corresponding transmission problem is non-self-adjoint and non-elliptic. For the first time numerical results are presented for the minimization of interior transmission eigenvalues for which no single theoretical result is yet available.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
Theoretical Foundation of the Weighted Laplace Inpainting Problem
Authors:
Laurent Hoeltgen,
Andreas Kleefeld,
Isaac Harris,
Michael Breuß
Abstract:
Laplace interpolation is a popular approach in image inpainting using partial differential equations. The classic approach considers the Laplace equation with mixed boundary conditions. Recently a more general formulation has been proposed where the differential operator consists of a point-wise convex combination of the Laplacian and the known image data. We provide the first detailed analysis on…
▽ More
Laplace interpolation is a popular approach in image inpainting using partial differential equations. The classic approach considers the Laplace equation with mixed boundary conditions. Recently a more general formulation has been proposed where the differential operator consists of a point-wise convex combination of the Laplacian and the known image data. We provide the first detailed analysis on existence and uniqueness of solutions for the arising mixed boundary value problem. Our approach considers the corresponding weak formulation and aims at using the Theorem of Lax-Milgram to assert the existence of a solution. To this end we have to resort to weighted Sobolev spaces. Our analysis shows that solutions do not exist unconditionally. The weights need some regularity and fulfil certain growth conditions. The results from this work complement findings which were previously only available for a discrete setup.
△ Less
Submitted 27 January, 2018;
originally announced January 2018.
-
Implicit monotone difference methods for scalar conservation laws with source terms
Authors:
Michael Breuß,
Andreas Kleefeld
Abstract:
In this article, a concept of implicit methods for scalar conservation laws in one or more spatial dimensions allowing also for source terms of various types is presented. This material is a significant extension of previous work of the first author [3]. Implicit notions are developed that are centered around a monotonicity criterion. We demonstrate a connection between a numerical scheme and a di…
▽ More
In this article, a concept of implicit methods for scalar conservation laws in one or more spatial dimensions allowing also for source terms of various types is presented. This material is a significant extension of previous work of the first author [3]. Implicit notions are developed that are centered around a monotonicity criterion. We demonstrate a connection between a numerical scheme and a discrete entropy inequality, which is based on a classical approach by Crandall and Majda. Additionally, three implicit methods are investigated using the developed notions. Next, we conduct a convergence proof which is not based on a classical compactness argument. Finally, the theoretical results are confirmed by various numerical tests.
△ Less
Submitted 28 September, 2016;
originally announced September 2016.
-
The inverse scattering problem for a conductive boundary condition and transmission eigenvalues
Authors:
Isaac Harris,
Andreas Kleefeld
Abstract:
In this paper, we consider the inverse scattering problem associated with an inhomogeneous media with a conductive boundary. First, we discuss the inverse conductivity problem of reconstructing the conductivity parameter from scattering data. Next, we consider the corresponding interior transmission eigenvalue problem. This is a new class of eigenvalue problem that is not elliptic, not self-adjoin…
▽ More
In this paper, we consider the inverse scattering problem associated with an inhomogeneous media with a conductive boundary. First, we discuss the inverse conductivity problem of reconstructing the conductivity parameter from scattering data. Next, we consider the corresponding interior transmission eigenvalue problem. This is a new class of eigenvalue problem that is not elliptic, not self-adjoint, and non-linear, which gives the possibility of complex eigenvalues. We investigate the convergence of the eigenvalues as the conductivity parameter tends to zero as well as prove existence and discreteness for the case of an absorbing media. Lastly, several numerical and analytical results support the theory and we show that the inside-outside duality method can be used to reconstruct the interior conductive eigenvalues.
△ Less
Submitted 8 December, 2017; v1 submitted 26 August, 2016;
originally announced August 2016.
-
The interior transmission eigenvalue problem for an inhomogeneous media with a conductive boundary
Authors:
Oleksandr Bondarenko,
Isaac Harris,
Andreas Kleefeld
Abstract:
In this paper, we investigate the interior transmission eigenvalue problem for an inhomogeneous media with conductive boundary conditions. We prove the discreteness and existence of the transmission eigenvalues. We also investigate the inverse spectral problem of gaining information about the material properties from the transmission eigenvalues. In particular, we prove that the first transmission…
▽ More
In this paper, we investigate the interior transmission eigenvalue problem for an inhomogeneous media with conductive boundary conditions. We prove the discreteness and existence of the transmission eigenvalues. We also investigate the inverse spectral problem of gaining information about the material properties from the transmission eigenvalues. In particular, we prove that the first transmission eigenvalue is a monotonic function of the refractive index and boundary conductivity parameter eta, and obtain a uniqueness result for constant coefficients. We provide some numerical examples to demonstrate the theoretical results in three dimensions
△ Less
Submitted 11 May, 2016; v1 submitted 6 October, 2015;
originally announced October 2015.