-
A fast mesh-free boundary integral method for two-phase flow with soluble surfactant
Authors:
Samantha G. Evans,
Michael Siegel,
Johannes Tausch,
Michael R. Booty
Abstract:
We present an accurate and efficient boundary integral (BI) method for simulating the deformation of drops and bubbles in Stokes flow with soluble surfactant. Soluble surfactant advects and diffuses in bulk fluids while adsorbing and desorbing at interfaces. Since the fluid velocity is coupled to the surfactant concentration, the advection-diffusion equation governing the bulk surfactant concentra…
▽ More
We present an accurate and efficient boundary integral (BI) method for simulating the deformation of drops and bubbles in Stokes flow with soluble surfactant. Soluble surfactant advects and diffuses in bulk fluids while adsorbing and desorbing at interfaces. Since the fluid velocity is coupled to the surfactant concentration, the advection-diffusion equation governing the bulk surfactant concentration $C$ is nonlinear, precluding the Green's function formulation necessary for a BI method. However, in the physically representative large Péclet number limit, an analytical reduction of the surfactant dynamics permits a Green's function formulation for $C$ as an Abel-type time-convolution integral at each Lagrangian interface point. A challenge in developing a practical numerical method based on this formulation is the fast evaluation of the time convolution, since the kernel depends on the time history of quantities at the interface, which is only found during the time-stepping process. To address this, we develop a novel, causal version of the Fast Multipole Method that reduces the computational cost from $O(P^2)$ for direct evaluation of the time convolution to $O(P \log_2^2 P)$ per surface grid point, where $P$ is the number of time steps. In the bulk phase, the resulting method is mesh-free and provides an accurate solution to the fully coupled moving interface problem with soluble surfactant. The approach extends naturally to a broader class of advection-diffusion problems in the high Péclet number regime.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
A hybrid interpolation ACA accelerated method for parabolic boundary integral operators
Authors:
Sivaram Ambikasaran,
Ritesh Khan,
Johannes Tausch,
Sihao Wang
Abstract:
We consider piecewise polynomial discontinuous Galerkin discretizations of boundary integral reformulations of the heat equation. The resulting linear systems are dense and block-lower triangular and hence can be solved by block forward elimination. For the fast evaluation of the history part, the matrix is subdivided into a family of sub-matrices according to the temporal separation. Separated bl…
▽ More
We consider piecewise polynomial discontinuous Galerkin discretizations of boundary integral reformulations of the heat equation. The resulting linear systems are dense and block-lower triangular and hence can be solved by block forward elimination. For the fast evaluation of the history part, the matrix is subdivided into a family of sub-matrices according to the temporal separation. Separated blocks are approximated by Chebyshev interpolation of the heat kernel in time. For the spatial variable, we propose an adaptive cross approximation (ACA) framework to obtain a data-sparse approximation of the entire matrix. We analyse how the ACA tolerance must be adjusted to the temporal separation and present numerical results for a benchmark problem to confirm the theoretical estimates.
△ Less
Submitted 7 August, 2024;
originally announced August 2024.
-
A Node Elimination Algorithm for Cubature of High-Dimensional Polytopes
Authors:
Arkadijs Slobodkins,
Johannes Tausch
Abstract:
Node elimination is a numerical approach to obtain cubature rules for the approximation of multivariate integrals. Beginning with a known cubature rule, nodes are selected for elimination, and a new, more efficient rule is constructed by iteratively solving the moment equations. This paper introduces a new criterion for selecting which nodes to eliminate that is based on a linearization of the mom…
▽ More
Node elimination is a numerical approach to obtain cubature rules for the approximation of multivariate integrals. Beginning with a known cubature rule, nodes are selected for elimination, and a new, more efficient rule is constructed by iteratively solving the moment equations. This paper introduces a new criterion for selecting which nodes to eliminate that is based on a linearization of the moment equation. In addition, a penalized iterative solver is introduced, that ensures that weights are positive and nodes are inside the integration domain. A strategy for constructing an initial quadrature rule for various polytopes in several space dimensions is described. High efficiency rules are presented for two, three and four dimensional polytopes. The new rules are compared with rules that are obtained by combining tensor products of one dimensional quadrature rules and domain transformations, as well as with known analytically constructed cubature rules.
△ Less
Submitted 21 July, 2022;
originally announced July 2022.
-
A fast method for evaluating Volume potentials in the Galerkin boundary element method
Authors:
Sasan Mohyaddin,
Johannes Tausch
Abstract:
Three algorithm are proposed to evaluate volume potentials that arise in boundary element methods for elliptic PDEs. The approach is to apply a modified fast multipole method for a boundary concentrated volume mesh. If $h$ is the meshwidth of the boundary, then the volume is discretized using nearly $O(h^{-2})$ degrees of freedom, and the algorithm computes potentials in nearly $O(h^{-2})$ complex…
▽ More
Three algorithm are proposed to evaluate volume potentials that arise in boundary element methods for elliptic PDEs. The approach is to apply a modified fast multipole method for a boundary concentrated volume mesh. If $h$ is the meshwidth of the boundary, then the volume is discretized using nearly $O(h^{-2})$ degrees of freedom, and the algorithm computes potentials in nearly $O(h^{-2})$ complexity. Here nearly means that logarithmic terms of $h$ may appear. Thus the complexity of volume potentials calculations is of the same asymptotic order as boundary potentials. For sources and potentials with sufficient regularity the parameters of the algorithm can be designed such that the error of the approximated potential converges at any specified rate $O(h^p)$. The accuracy and effectiveness of the proposed algorithms are demonstrated for potentials of the Poisson equation in three dimensions.
△ Less
Submitted 1 December, 2021;
originally announced December 2021.
-
Boundary integral operators for the heat equation in time-dependent domains
Authors:
Rahel Brügger,
Helmut Harbrecht,
Johannes Tausch
Abstract:
This article provides a functional analytical framework for boundary integral equations of the heat equation in time-dependent domains. More specifically, we consider a non-cylindrical domain in space-time that is the $C^2$-diffeomorphic image of a cylinder, i.e., the tensor product of a time interval and a fixed domain in space. On the non-cylindrical domain, we introduce Sobolev spaces, trace le…
▽ More
This article provides a functional analytical framework for boundary integral equations of the heat equation in time-dependent domains. More specifically, we consider a non-cylindrical domain in space-time that is the $C^2$-diffeomorphic image of a cylinder, i.e., the tensor product of a time interval and a fixed domain in space. On the non-cylindrical domain, we introduce Sobolev spaces, trace lemmata and provide the mapping properties of the layer operators by mimicking the proofs of [M. Costabel, Boundary integral operators for the heat equation, Integral Equations and Operator Theory, 13(4):498-552, 1990]. Here it is critical that the Neumann trace requires a correction term for the normal velocity of the moving boundary. Therefore, one has to analyze the situation carefully.
△ Less
Submitted 10 October, 2020;
originally announced October 2020.
-
On the numerical solution of a time-dependent shape optimization problem for the heat equation
Authors:
Rahel Brügger,
Helmut Harbrecht,
Johannes Tausch
Abstract:
This article is concerned with the solution of a time-dependent shape identification problem. Specifically we consider the heat equation in a domain, which contains a time-dependent inclusion of zero temperature. The objective is to detect this inclusion from the given temperature and heat flux at the exterior boundary of the domain. To this end, for a given temperature at the exterior boundary, t…
▽ More
This article is concerned with the solution of a time-dependent shape identification problem. Specifically we consider the heat equation in a domain, which contains a time-dependent inclusion of zero temperature. The objective is to detect this inclusion from the given temperature and heat flux at the exterior boundary of the domain. To this end, for a given temperature at the exterior boundary, the mismatch of the Neumann data is minimized. This time-dependent shape optimization problem is then solved by a gradient-based optimization method. Numerical results are presented which validate the present approach.
△ Less
Submitted 14 June, 2019;
originally announced June 2019.
-
A spectral method for integral formulations of medium-frequency scattering problems
Authors:
Johannes Tausch
Abstract:
A fast method for the computation of layer potentials that arise in acoustic scattering is introduced. The principal idea is to split the singular kernel into a smooth and a local part. The potential due to the smooth part is computed efficiently using non-equispaced FFTs, the potential due to the local part is expanded as a series in the mollification parameter. The complexity of the approach i…
▽ More
A fast method for the computation of layer potentials that arise in acoustic scattering is introduced. The principal idea is to split the singular kernel into a smooth and a local part. The potential due to the smooth part is computed efficiently using non-equispaced FFTs, the potential due to the local part is expanded as a series in the mollification parameter. The complexity of the approach is shown to be $O(n + κ^3 \log κ)$, where $n$ is the number of degrees of freedom in the discretization and $κ$ is the wave number. The constant factor in this asymptotic estimate is small since no singular surface integrals must be computed. Therefore the method is particularly efficient for medium-sized scatterers (50-100 wavelengths) that may have complicated geometry
△ Less
Submitted 26 August, 2005;
originally announced August 2005.
