SearcharxivSearch

arXiv subjects

Ilaria Perugia

Publications and source records attributed to Ilaria Perugia.

At least 19 recordsLinked to original sources

A space-time sparse-grid method for the wave equation

We develop a fast space-time numerical scheme for approximating solutions to the linear wave equation. The approach is based on the sparse-grid combination technique applied to a coercive space-time discretization. Designed for tensor-product space-time discretizations, the method enables efficient parallelization of the resulting solver. We provide a rigorous theoretical analysis establishing convergence rates and computational complexity estimates. Numerical experiments validate the theoretical estimates and demonstrate the efficiency of the proposed method.

math.NA

Structure-preserving local discontinuous Galerkin discretization of conformational conversion systems

We investigate a two-state conformational conversion system and introduce a novel structure-preserving numerical scheme that couples a local discontinuous Galerkin space discretization with the backward Euler time-integration method. The model is first reformulated in terms of auxiliary variables involving suitable nonlinear transformations, which allow us to enforce positivity and boundedness at the numerical level. Then, we prove a discrete entropy-stability inequality, which we use to show the existence of discrete solutions, as well as to establish the convergence of the scheme by means of some discrete compactness arguments. As a by-product of the theoretical analysis, we also prove the existence of global weak solutions satisfying the system's physical bounds. Numerical results validate the theoretical results and assess the capabilities of the proposed method in practice.

math.NA

A Multilevel Monte Carlo Virtual Element Method for Uncertainty Quantification of Elliptic Partial Differential Equations

We introduce a Monte Carlo Virtual Element estimator based on Virtual Element discretizations for stochastic elliptic partial differential equations with random diffusion coefficients. We prove estimates for the statistical approximation error for both the solution and suitable linear quantities of interest. A Multilevel Monte Carlo Virtual Element method is also developed and analyzed to mitigate the computational cost of the plain Monte Carlo strategy. The proposed approach exploits the flexibility of the Virtual Element method on general polytopal meshes and employs sequences of coarser spaces constructed via mesh agglomeration, providing a practical realization of the multilevel hierarchy even in complex geometries. This strategy substantially reduces the number of samples required on the finest level to achieve a prescribed accuracy. We prove convergence of the multilevel method and analyze its computational complexity, showing that it yields significant cost reductions compared to standard Monte Carlo methods for a prescribed accuracy. Extensive numerical experiments support the theoretical results and demonstrate the efficiency of the proposed method.

math.NA

Robust H(curl)-based finite element methods for the incompressible MHD system

We propose and analyze a class of finite element methods for the time-dependent incompressible magnetohydrodynamics system based on $H(\mathrm{curl})$-conforming discretizations for both the velocity and the magnetic field. This choice is guided by the aim of developing methods that are also suitable for the types of solutions arising in problems posed on nonconvex domains. Within this framework, we introduce three stabilized formulations, and study how the stabilization mechanisms employed influence their structural properties. In particular, we focus on suitability for nonconvex polyhedral domains, the need for Lagrange multipliers for the magnetic field, pressure-robustness, and quasi-robustness with respect to both the fluid and magnetic Reynolds numbers. The proposed formulations are further assessed through numerical experiments, highlighting their practical performance.

math.NA

Stability, convergence, and geometric properties of second-order-in-time space-time discretizations for linear and semilinear wave equations

We revisit second-order-in-time space-time discretizations of the linear and semilinear wave equations by establishing precise equivalences with first-order-in-time formulations. Focusing on schemes using continuous piecewise-polynomial trial functions in time, we analyze their stability, convergence, and geometric properties. We consider first a weak space-time formulation with test functions projected onto discontinuous polynomials of one degree lower in time, showing that it is equivalent to the scheme proposed in [French, Peterson 1996] in the linear case, and extended in [Karakashian, Makridakis 2005] to the semilinear case. In particular, this equivalence shows that this method conserves energy at mesh nodes but is not symplectic. We then introduce two symplectic variants, obtained through Gauss-Legendre and Gauss-Lobatto quadratures in time, and show that they correspond to specific Runge-Kutta time integrators. These connections clarify the geometric structure of the space-time methods considered.

math.NA

Structure-preserving Local Discontinuous Galerkin method for nonlinear cross-diffusion systems

We present and analyze a structure-preserving method for the approximation of solutions to nonlinear cross-diffusion systems, which combines a Local Discontinuous Galerkin spatial discretization with the backward Euler time-stepping scheme. The proposed method makes use of the underlying entropy structure of the system, expressing the main unknown in terms of the entropy variable by means of a nonlinear transformation. Such a transformation allows for imposing the physical positivity or boundedness constraints on the approximate solution in a strong sense. A key advantage of our scheme is that nonlinearities do not appear explicitly within differential operators or interface terms in the scheme, which significantly improves its efficiency and eases its implementation. We prove the existence of discrete solutions and their asymptotic convergence to a weak solution to the continuous problem. Numerical results for some one- and two-dimensional problems illustrate the accuracy and entropy stability of the proposed method.

math.NA

A structure-preserving LDG discretization of the Fisher-Kolmogorov equation for modeling neurodegenerative diseases

This work presents a structure-preserving, high-order, unconditionally stable numerical method for approximating the solution to the Fisher-Kolmogorov equation on polytopic meshes, with a particular focus on its application in simulating misfolded protein spreading in neurodegenerative diseases. The model problem is reformulated using an entropy variable to guarantee solution positivity, boundedness, and satisfaction of a discrete entropy-stability inequality at the numerical level. The scheme combines a local discontinuous Galerkin method on polytopal meshes for the space discretization with a $ν$-step backward differentiation formula for the time integration. Implementation details are discussed, including a detailed derivation of the linear systems arising from Newton's iteration. The accuracy and robustness of the proposed method are demonstrated through extensive numerical tests. Finally, the method's practical performance is demonstrated through simulations of $α$-synuclein propagation in a two-dimensional brain geometry segmented from MRI data, providing a relevant computational framework for modeling synucleopathies (such as Parkinson's disease) and, more generally, neurodegenerative diseases.

math.NA

Surrogate modeling of resonant behavior in scattering problems through adaptive rational approximation and sketching

This paper describes novel algorithms for the identification of (almost-)resonant behavior in scattering problems. Our methods, relying on rational approximation, aim at building surrogate models of what we call "field amplification", defined as the norm of the solution operator of the scattering problem, which we express through boundary-integral equations. To provide our techniques with theoretical foundations, we first derive results linking the field amplification to the spectral properties of the operator that defines the scattering problem. Such results are then used to justify the use of rational approximation in the surrogate-modeling task. Some of our proposed methods apply rational approximation in a "standard" way, building a rational approximant for either the solution operator directly or, in the interest of computational efficiency, for a randomly "sketched" version of it. Our other "hybrid" approaches are more innovative, combining rational-approximation-assisted root-finding with approximation using radial basis functions. Three key features of our methods are that (i) they are agnostic of the strategy used to discretize the scattering problem, (ii) they do not require any computations involving non-real wavenumbers, and (iii) they can adjust to different settings through the use of adaptive sampling strategies. We carry out some numerical experiments involving 2D scatterers to compare our approaches. In our tests, two of our approaches (one standard, one hybrid) emerge as the best performers, with one or the other being preferable, depending on whether emphasis is placed on accuracy or efficiency.

math.NA

Intrinsic unconditional stability in space-time isogeometric approximation of the acoustic wave equation in second-order formulation

We present a novel space-time isogeometric discretization of the acoustic wave equation in second-order formulation that is intrinsically unconditionally stable. The method relies on a variational framework inspired by [Walkington 2014], with an exponential weight introduced in the time integrals. Conformity requires at least $C^1$ regularity in time and $C^0$ in space. The approximation in time is carried out using spline functions. The unconditional stability of the space-time method for conforming discrete spaces arises naturally from the variational structure itself, rather than from any artificial stabilization mechanisms. The analysis of an associated ordinary differential equation problem in time yields error estimates with respect to the mesh size that are suboptimal by one order in standard Sobolev norms. However, for certain choices of approximation spaces, it achieves quasi-optimal estimates. In particular, we prove this for $C^1$-regular splines of even polynomial degree, and provide numerical evidence suggesting that the same behavior holds for splines with maximal regularity, irrespective of the degree. The error analysis is extended to the full space-time problem with tensor-product approximation spaces. Numerical results are provided to support the theoretical findings and demonstrate the sharpness of the estimates.

math.NA

Inf-sup stable space-time discretization of the wave equation based on a first-order-in-time variational formulation

In this paper, we present a conforming space-time discretization of the wave equation based on a first-order-in-time variational formulation with exponential weights in time. We analyze the method, showing its stability without imposing any restrictions on the mesh size or time step, and proving quasi-optimal convergence for any choice of space-time tensor product discrete spaces that satisfies standard approximation assumptions. Numerical examples are provided to support the theoretical findings.

math.NA

Symplectic QTT-FEM solution of the one-dimensional acoustic wave equation in the time domain

Structured Finite Element Methods (FEMs) based on low-rank approximation in the form of the so-called Quantized Tensor Train (QTT) decomposition (QTT-FEM) have been proposed and extensively studied in the case of elliptic equations. In this work, we design a QTT-FE method for time-domain acoustic wave equations, combining stable low-rank approximation in space with a suitable conservative discretization in time. For the acoustic wave equation with a homogeneous source term in a single space dimension as a model problem, we consider its reformulation as a first-order system in time. In space, we employ a low-rank QTT-FEM discretization based on continuous piecewise linear finite elements corresponding to uniformly refined nested meshes. Time integration is performed using symplectic high-order Gauss-Legendre Runge-Kutta methods. In our numerical experiments, we investigate the energy conservation and exponential convergence of the proposed method.

math.NA

Unconditionally stable space-time isogeometric discretization for the wave equation in Hamiltonian formulation

We consider a family of conforming space-time discretizations for the wave equation based on a first-order-in-time formulation employing maximal regularity splines. In contrast with second-order-in-time formulations, which require a CFL condition to guarantee stability, the methods we consider here are unconditionally stable without the need for stabilization terms. Along the lines of the work by M. Ferrari and S. Fraschini (2024), we address the stability analysis by studying the properties of the condition number of a family of matrices associated with the time discretization. Numerical tests validate the performance of the method.

math.NA

A Nonconforming Virtual Element Method for Advection-Diffusion-Reaction Problems with CIP Stabilization

We study a nonconforming virtual element method (VEM) for advection-diffusion-reaction problems with continuous interior penalty (CIP) stabilization. The design of the method is based on a standard variational formulation of the problem (no skew-symmetrization), and boundary conditions are imposed with a Nitsche technique. We use the enhanced version of VEM, with a ``DoFi-DoFi'' stabilization in the diffusion and reaction terms. We prove stability of the proposed method and derive $h$-version error estimates.

math.NA

FEM-BEM coupling for the high-frequency Helmholtz problem

We present a wavenumber-explicit analysis of FEM-BEM coupling methods for time-harmonic Helmholtz problems proposed in arXiv:2004.03523 for conforming discretizations and in arXiv:2105.06173 for discontinuous Galerkin (DG) volume discretizations. We show that the conditions that $kh/p$ be sufficiently small and that $\log(k) / p$ be bounded imply quasi-optimality of both conforming and DG-method, where $k$ is the wavenumber, $h$ the mesh size, and $p$ the approximation order. The analysis relies on a $k$-explicit regularity theory for a three-field coupling formulation.

math.NA

Geometry-based approximation of waves in complex domains

We consider wave propagation problems over 2-dimensional domains with piecewise-linear boundaries, possibly including scatterers. We assume that the wave speed is constant, and that the initial conditions and forcing terms are radially symmetric and compactly supported. We propose an approximation of the propagating wave as the sum of some special space-time functions. Each term in this sum identifies a particular field component, modeling the result of a single reflection or diffraction effect. We describe an algorithm for identifying such components automatically, based on the domain geometry. To showcase our proposed method, we present several numerical examples, such as waves scattering off wedges and waves propagating through a room in presence of obstacles. Software implementing our numerical algorithm is made available as open-source code.

math.NA

On the limiting amplitude principle for the wave equation with variable coefficients

In this paper, we prove new results on the validity of the limiting amplitude principle (LAP) for the wave equation with nonconstant coefficients, not necessarily in divergence form. Under suitable assumptions on the coefficients and on the source term, we establish the LAP for space dimensions 2 and 3. This result is extended to one space dimension with an appropriate modification. We also quantify the LAP and thus provide estimates for the convergence of the time-domain solution to the frequency-domain solution. Our proofs are based on time-decay results of solutions of some auxiliary problems. The obtained results are illustrated numerically on radially symmetric problems in dimensions 1, 2 and 3.

math.AP

Space-time virtual elements for the heat equation

We propose and analyze a space-time virtual element method for the discretization of the heat equation in a space-time cylinder, based on a standard Petrov-Galerkin formulation. Local discrete functions are solutions to a heat equation problem with polynomial data. Global virtual element spaces are nonconforming in space, so that the analysis and the design of the method are independent of the spatial dimension. The information between time slabs is transmitted by means of upwind terms involving polynomial projections of the discrete functions. We prove well posedness and optimal error estimates for the scheme, and validate them with several numerical tests.

math.NA

On polynomial Trefftz spaces for the linear time-dependent Schrödinger equation

We study the approximation properties of complex-valued polynomial Trefftz spaces for the $(d+1)$-dimensional linear time-dependent Schrödinger equation. More precisely, we prove that for the space-time Trefftz discontinuous Galerkin variational formulation proposed by Gómez, Moiola (SIAM. J. Num. Anal. 60(2): 688-714, 2022), the same $h$-convergence rates as for polynomials of degree $p$ in $(d + 1)$ variables can be obtained in a mesh-dependent norm by using a space of Trefftz polynomials of anisotropic degree. For such a space, the dimension is equal to that of the space of polynomials of degree $2p$ in $d$ variables, and bases are easily constructed.

math.NA