SearcharxivSearch

arXiv subjects

Stig Larsson

Publications and source records attributed to Stig Larsson.

At least 19 recordsLinked to original sources

Weighted Laplace Spaces for Spectral Measures and Rational Approximation

We introduce the weighted Laplace space $H_w$, an RKHS of Laplace transforms on $(0,\infty)$, and study spectral measures in its dual space $H'_w$. For conforming FEM discretizations of the Dirichlet Laplacian on bounded Lipschitz domains, we prove the dual-norm inequality $\|\mu_h\|_{H'_w} \leq \|\mu\|_{H'_w}$, where $\mu = \sum_k\delta_{\lambda_k}$ and $\mu_h = \sum_k \delta_{\lambda_{k,h}}$. The proof combines min-max monotonicity of FEM eigenvalues with a heat-trace representation of the dual norm. We then analyze $H_w$-adapted rational approximation of shifted symbols $\phi(x)=(x+\kappa^2)^{-\beta}$ and give a conditional transfer principle for estimates proved in the corresponding weighted Laplace pre-image norm. Via dual pairing, the norm inequality yields uniform bounds for finite spectral sums and related transformed observables.

math.NA

Finite Element Approximation of the Cahn-Hilliard-Cook equation

We study the nonlinear stochastic Cahn-Hilliard equation per- turbed by additive colored noise. We show almost sure existence and regularity of solutions. We introduce spatial approximation by a standard finite element method and prove error estimates of optimal order on sets of probability arbitrarily close to 1. We also prove strong convergence without known rate.

math.NA

Finite element approximation of the linearized Cahn-Hilliard-Cook equation

The linearized Cahn-Hilliard-Cook equation is discretized in the spatial variables by a standard finite element method. Strong convergence estimates are proved under suitable assumptions on the covariance operator of the Wiener process, which is driving the equation. The backward Euler time stepping is also studied. The analysis is set in a framework based on analytic semigroups. The main effort is spent on proving detailed error bounds for the corresponding deterministic Cahn-Hilliard equation. The results should be interpreted as results on approximation of the stochastic convolution, which is a part of the mild solution of the nonlinear Cahn-Hilliard-Cook equation.

math.NA

Parametric elliptic reconstructions and a posteriori error estimates for parabolic partial differential equations with small randomness in a Robin boundary condition

We obtain reliable a posteriori residual-based error estimates for parabolic partial differential equations with small randomness in a Robin-type boundary condition. The uncertainty is addressed via a perturbation approach, transforming the problem with small random input data into a sequence of deterministic problems. Finite element approximations, combined with the backward Euler time discretization, are employed for the resulting problems. To ensure optimal spatial accuracy, the elliptic reconstruction framework is suitably adapted to this setting. This is achieved by introducing a parametric elliptic reconstruction operator that unifies the a posteriori analysis of deterministic parabolic problems with that of parabolic problems with small uncertainties. The obtained a posteriori error estimator is robust with respect to the parameter that describes the amount of uncertainty, in the sense that the constants appearing in the bounds are independent of the parameter, as well as of the mesh size and the time-step. In addition, numerical experiments are presented to validate the theoretical findings and illustrate the robustness of the proposed estimators.

math.NA

Nonlinear filtering based on density approximation and deep BSDE prediction

A novel approximate Bayesian filter based on backward stochastic differential equations is introduced. It uses a nonlinear Feynman--Kac representation of the filtering problem and the approximation of an unnormalized filtering density using the well-known deep BSDE method and neural networks. The method is trained offline, which means that it can be applied online with new observations. A hybrid a priori-a posteriori error bound is proved under a parabolic H\"ormander condition. The theoretical convergence rate is confirmed in two numerical examples.

math.NA

Error analysis for discontinuous Galerkin time-stepping methods for nonlinear parabolic equations via maximal regularity

We consider the discretization of a class of nonlinear parabolic equations by discontinuous Galerkin time-stepping methods and establish a priori as well as conditional a posteriori error estimates. Our approach is motivated by the error analysis in [9] for Runge-Kutta methods for nonlinear parabolic equations; in analogy to [9], the proofs are based on maximal regularity properties of discontinuous Galerkin methods for non-autonomous linear parabolic equations.

math.NA

A convergent scheme for the Bayesian filtering problem based on the Fokker--Planck equation and deep splitting

A numerical scheme for approximating the nonlinear filtering density is introduced and its convergence rate is established, theoretically under a parabolic H\"{o}rmander condition, and empirically in numerical examples. In a prediction step, between the noisy and partial measurements at discrete times, the scheme approximates the Fokker--Planck equation with a deep splitting scheme, followed by an exact update through Bayes' formula. This results in a classical prediction-update filtering algorithm that operates online for new observation sequences post-training. The algorithm employs a sampling-based Feynman--Kac approach, designed to mitigate the curse of dimensionality. As a corollary we obtain the convergence rate for the approximation of the Fokker--Planck equation alone, disconnected from the filtering problem. The convergence analysis is complemented by a nonlinear $10$-dimensional numerical example demonstrating the robustness of the method.

math.NA

A priori and a posteriori error estimates for discontinuous Galerkin time-discrete methods via maximal regularity

The maximal regularity property of discontinuous Galerkin methods for linear parabolic equations is used together with variational techniques to establish a priori and a posteriori error estimates of optimal order under optimal regularity assumptions. The analysis is set in the maximal regularity framework of UMD Banach spaces. Similar results were proved in an earlier work, based on the consistency analysis of Radau IIA methods. The present error analysis, which is based on variational techniques, is of independent interest, but the main motivation is that it extends to nonlinear parabolic equations; in contrast to the earlier work. Both autonomous and nonautonomous linear equations are considered.

math.NA

An energy-based deep splitting method for the nonlinear filtering problem

The purpose of this paper is to explore the use of deep learning for the solution of the nonlinear filtering problem. This is achieved by solving the Zakai equation by a deep splitting method, previously developed for approximate solution of (stochastic) partial differential equations. This is combined with an energy-based model for the approximation of functions by a deep neural network. This results in a computationally fast filter that takes observations as input and that does not require re-training when new observations are received. The method is tested on four examples, two linear in one and twenty dimensions and two nonlinear in one dimension. The method shows promising performance when benchmarked against the Kalman filter and the bootstrap particle filter.

stat.CO

Mittag-Leffler Euler integrator for a stochastic fractional order equation with additive noise

Motivated by fractional derivative models in viscoelasticity, a class of semilinear stochastic Volterra integro-differential equations, and their deterministic counterparts, are considered. A generalized exponential Euler method, named here as the Mittag-Leffler Euler integrator, is used for the temporal discretization, while the spatial discretization is performed by the spectral Galerkin method. The temporal rate of strong convergence is found to be (almost) twice compared to when the backward Euler method is used together with a convolution quadrature for time discretization. Numerical experiments that validate the theory are presented.

math.NA

Error estimates of the backward Euler-Maruyama method for multi-valued stochastic differential equations

In this paper, we derive error estimates of the backward Euler-Maruyama method applied to multi-valued stochastic differential equations. An important example of such an equation is a stochastic gradient flow whose associated potential is not continuously differentiable, but assumed to be convex. We show that the backward Euler-Maruyama method is well-defined and convergent of order at least $1/4$ with respect to the root-mean-square norm. Our error analysis relies on techniques for deterministic problems developed in [Nochetto, Savaré, and Verdi, Comm.\ Pure Appl.\ Math., 2000]. We verify that our setting applies to an overdamped Langevin equation with a discontinuous gradient and to a spatially semi-discrete approximation of the stochastic $p$-Laplace equation.

math.NA

A greedy algorithm for optimal heating in powder-bed-based additive manufacturing

Powder-bed-based additive manufacturing involves melting of a powder bed using a moving laser or electron beam as a heat source. In this paper, we formulate an optimization scheme that aims to control this type of melting. The goal consists of tracking maximum temperatures on lines that run along the beam path. Time-dependent beam parameters (more specifically, beam power, spot size, and speed) act as control functions. The scheme is greedy in the sense that it exploits local properties of the melt pool in order to divide a large optimization problem into several small ones. As illustrated by numerical examples, the scheme can resolve heat conduction issues such as concentrated heat accumulation at turning points and non-uniform melt depths.

math.OC

Analytical solution for heat conduction due to a moving Gaussian heat flux with piecewise constant parameters

We provide an analytical solution of the heat equation in the half-space subject to a moving Gaussian heat flux with piecewise constant parameters. The solution is of interest in powder bed fusion applications where these parameters can be used to control the conduction of heat due to a scanning beam of concentrated energy. The analytical solution is written in a dimensionless form as a sum of integrals over (dimensionless) time. For the numerical computation of these integrals we suggest a quadrature scheme that utilizes pre-calculated look-up tables for the required quadrature orders. Such a scheme is efficient because the required quadrature orders are strongly dependent on the parameters in the heat flux. The possibilities of using the obtained computational technique for the control and optimization of powder bed fusion processes are discussed.

math.NA

On a randomized backward Euler method for nonlinear evolution equations with time-irregular coefficients

In this paper we introduce a randomized version of the backward Euler method, that is applicable to stiff ordinary differential equations and nonlinear evolution equations with time-irregular coefficients. In the finite-dimensional case, we consider Carath\'eodory type functions satisfying a one-sided Lipschitz condition. After investigating the well-posedness and the stability properties of the randomized scheme, we prove the convergence to the exact solution with a rate of $0.5$ in the root-mean-square norm assuming only that the coefficient function is square integrable with respect to the temporal parameter. These results are then extended to the numerical solution of infinite-dimensional evolution equations under monotonicity and Lipschitz conditions. Here we consider a combination of the randomized backward Euler scheme with a Galerkin finite element method. We obtain error estimates that correspond to the regularity of the exact solution. The practicability of the randomized scheme is also illustrated through several numerical experiments.

math.NA

Strong convergence of a fully discrete finite element approximation of the stochastic Cahn-Hilliard equation

We consider the stochastic Cahn-Hilliard equation driven by additive Gaussian noise in a convex domain with polygonal boundary in dimension $d\le 3$. We discretize the equation using a standard finite element method in space and a fully implicit backward Euler method in time. By proving optimal error estimates on subsets of the probability space with arbitrarily large probability and uniform-in-time moment bounds we show that the numerical solution converges strongly to the solution as the discretization parameters tend to zero.

math.NA

Quasi-optimality of Petrov-Galerkin discretizations of parabolic problems with random coefficients

We consider a linear parabolic problem with random elliptic operator in the usual Gelfand triple setting. We do not assume uniform bounds on the coercivity and boundedness constants, but allow them to be random variables. The parabolic problem is studied in a weak space-time formulation, where we can derive explicit formulas for the inf-sup constants. Under suitable assumptions we prove existence of moments of the solution. We also prove quasi-optimal error estimates for piecewise polynomial Petrov-Galerkin discretizations.

math.AP

Discrete Variational Derivative Methods for the EPDiff equation

The aim of this paper is the derivation of structure preserving schemes for the solution of the EPDiff equation, with particular emphasis on the two dimensional case. We develop three different schemes based on the Discrete Variational Derivative Method (DVDM) on a rectangular domain discretized with a regular, structured, orthogonal grid. We present numerical experiments to support our claims: we investigate the preservation of energy and linear momenta, the reversibility, and the empirical convergence of the schemes. The quality of our schemes is finally tested by simulating the interaction of singular wave fronts.

math.AP

Covariance structure of parabolic stochastic partial differential equations with multiplicative Lévy noise

The characterization of the covariance function of the solution process to a stochastic partial differential equation is considered in the parabolic case with multiplicative Lévy noise of affine type. For the second moment of the mild solution, a well-posed deterministic space-time variational problem posed on projective and injective tensor product spaces is derived, which subsequently leads to a deterministic equation for the covariance function.

math.PR