SearcharxivSearch

arXiv subjects

Diane Guignard

Publications and source records attributed to Diane Guignard.

15 recordsLinked to original sources

A near-optimal recovery algorithm for the Stokes equations with incomplete information on the boundary conditions

We address the problem of numerically approximating the velocity and pressure governed by the Stokes system when the boundary conditions are only partially known and thus do not uniquely determine the velocity-pressure couple. We propose an algorithm that takes advantage of available linear measurements of the velocity and pressure to construct a numerical approximation. This approximation is guaranteed to be near-optimal in the sense that it approximates the velocity-pressure couple that minimizes, in the energy norm, the distance to all other solutions satisfying the measurements and the Stokes system.

math.NA

Error analysis for the approximation of a flow in deformable porous media with nonlinear strain-stress relation

We study a model describing the slow flow of a fluid through a deformable, porous, elastic solid undergoing small deformations. The stress-strain relationship of the solid incorporates nonlinear effects, formulated as a perturbation of the classical linear elasticity. To approximate the coupled system, we introduce a discrete scheme based on a first order semi-implicit time integration scheme combined with a standard finite element spatial discretization. We establish the existence and uniqueness of the discrete solution and derive a priori convergence estimates under the assumption that the nonlinear perturbations remain sufficiently small. Finally, we demonstrate the efficiency of the proposed scheme through numerical experiments that also highlight the nonlinear phenomena captured by the model.

math.NA

Convergence analysis for a tree-based nonlinear reduced basis method

We develop and analyze a nonlinear reduced basis (RB) method for parametrized elliptic partial differential equations based on a binary-tree partition of the parameter domain into tensor-product structured subdomains. Each subdomain is associated with a local RB space of prescribed dimension, constructed via a greedy algorithm. A splitting strategy along the longest edge of the parameter subdomains ensures geometric control of the subdomains and enables a rigorous convergence analysis. Under the assumption that the parameter-to-solution map admits a holomorphic extension and that the resulting domain partition is quasi-uniform, we establish explicit bounds on the number of subdomains required to achieve a given tolerance for arbitrary parameter domain dimension and RB spaces size. Numerical experiments for diffusion and convection-diffusion problems confirm the theoretical predictions, demonstrating that the proposed approach, which has low storage requirements, achieves the expected convergence rates and in several cases outperforms an existing nonlinear RB method.

math.NA

Finite Element Methods for the Stretching and Bending of Thin Structures with Folding

In [Bonito et al., J. Comput. Phys. (2022)], a local discontinuous Galerkin method was proposed for approximating the large bending of prestrained plates, and in [Bonito et al., IMA J. Numer. Anal. (2023)] the numerical properties of this method were explored. These works considered deformations driven predominantly by bending. Thus, a bending energy with a metric constraint was considered. We extend these results to the case of an energy with both a bending component and a nonconvex stretching component, and we also consider folding across a crease. The proposed discretization of this energy features a continuous finite element space, as well as a discrete Hessian operator. We establish the $Γ$-convergence of the discrete to the continuous energy and also present an energy-decreasing gradient flow for finding critical points of the discrete energy. Finally, we provide numerical simulations illustrating the convergence of minimizers and the capabilities of the model.

math.NA

Approximating partial differential equations without boundary conditions

We consider the problem of numerically approximating the solutions to an elliptic partial differential equation (PDE) for which the boundary conditions are lacking. To alleviate this missing information, we assume to be given measurement functionals of the solution. In this context, a near optimal recovery algorithm based on the approximation of the Riesz representers of these functionals in some intermediate Hilbert spaces is proposed and analyzed in [Binev et al. 2024]. Inherent to this algorithm is the computation of $H^s$, $s>1/2$, inner products on the boundary of the computational domain. We take advantage of techniques borrowed from the analysis of fractional diffusion problems to design and analyze a fully practical near optimal algorithm not relying on the challenging computation of $H^s$ inner products.

math.NA

Numerical Approximation of Gaussian random fields on Closed Surfaces

We consider the numerical approximation of Gaussian random fields on closed surfaces defined as the solution to a fractional stochastic partial differential equation (SPDE) with additive white noise. The SPDE involves two parameters controlling the smoothness and the correlation length of the Gaussian random field. The proposed numerical method relies on the Balakrishnan integral representation of the solution and does not require the approximation of eigenpairs. Rather, it consists of a sinc quadrature coupled with a standard surface finite element method. We provide a complete error analysis of the method and illustrate its performances by several numerical experiments.

math.NA

Tree-Based Nonlinear Reduced Modeling

This paper is concerned with model order reduction of parametric Partial Differential Equations (PDEs) using tree-based library approximations. Classical approaches are formulated for PDEs on Hilbert spaces and involve one single linear space to approximate the set of PDE solutions. Here, we develop reduced models relying on a collection of linear or nonlinear approximation spaces called a library, and which can also be formulated on general metric spaces. To build the spaces of the library, we rely on greedy algorithms involving different splitting strategies which lead to a hierarchical tree-based representation. We illustrate through numerical examples that the proposed strategies have a much wider range of applicability in terms of the parametric PDEs that can successfully be addressed. While the classical approach is very efficient for elliptic problems with strong coercivity, we show that the tree-based library approaches can deal with diffusion problems with weak coercivity, convection-diffusion problems, and with transport-dominated PDEs posed on general metric spaces such as the $L^2$-Wasserstein space.

math.NA

Numerical approximations of thin structure deformations

We review different (reduced) models for thin structures using bending as principal mechanism to undergo large deformations. Each model consists in the minimization of a fourth order energy, potentially subject to a nonconvex constraint. Equilibrium deformations are approximated using local discontinuous Galerkin (LDG) finite elements. The design of the discrete energies relies on a discrete Hessian operator defined on discontinuous functions with better approximation properties than the piecewise Hessian. Discrete gradient flows are put in place to drive the minimization process. They are chosen for their robustness and ability to preserve the nonconvex constraint. Several numerical experiments are presented to showcase the large variety of shapes that can be achieved with these models.

math.NA

Nonlinear approximation of high-dimensional anisotropic analytic functions

Motivated by nonlinear approximation results for classes of parametric partial differential equations (PDEs), we seek to better understand so-called library approximations to analytic functions of countably infinite number of variables. Rather than approximating a function of interest in a single space, a library approximation uses a collection of spaces and the best space may be chosen for any point in the domain. In the setting of this paper, we use a specific library which consists of local Taylor approximations on sufficiently small rectangular subdomains of the (rescaled) parameter domain, $Y:=[-1,1]^\mathbb{N}$. When the function of interest is the solution of a certain type of parametric PDE, recent results (Bonito et al, 2020, arXiv:2005.02565) prove an upper bound on the number of spaces required to achieve a desired target accuracy. In this work, we prove a similar result for a more general class of functions with anisotropic analyticity. In this way we show both where the theory developed in (Bonito et al 2020) depends on being in the setting of parametric PDEs with affine diffusion coefficients, and also expand the previous result to include more general types of parametric PDEs.

math.NA

Numerical analysis of the LDG method for large deformations of prestrained plates

A local discontinuous Galerkin (LDG) method for approximating large deformations of prestrained plates is introduced and tested on several insightful numerical examples in our previous computational work. This paper presents a numerical analysis of this LDG method, focusing on the free boundary case. The problem consists of minimizing a fourth order bending energy subject to a nonlinear and nonconvex metric constraint. The energy is discretized using LDG and a discrete gradient flow is used for computing discrete minimizers. We first show $Γ$-convergence of the discrete energy to the continuous one. Then we prove that the discrete gradient flow decreases the energy at each step and computes discrete minimizers with control of the metric constraint defect. We also present a numerical scheme for initialization of the gradient flow, and discuss the conditional stability of it.

math.NA

Finite Element Approximation of Steady Flows of Colloidal Solutions

We consider the mathematical analysis and numerical approximation of a system of nonlinear partial differential equations that arises in models that have relevance to steady isochoric flows of colloidal suspensions. The symmetric velocity gradient is assumed to be a monotone nonlinear function of the deviatoric part of the Cauchy stress tensor. We prove the existence of a unique weak solution to the problem, and under the additional assumption that the nonlinearity involved in the constitutive relation is Lipschitz continuous we also prove uniqueness of the weak solution. We then construct mixed finite element approximations of the system using both conforming and nonconforming finite element spaces. For both of these we prove the convergence of the method to the unique weak solution of the problem, and in the case of the conforming method we provide a bound on the error between the analytical solution and its finite element approximation in terms of the best approximation error from the finite element spaces. We propose first a Lions-Mercier type iterative method and next a classical fixed-point algorithm to solve the finite-dimensional problems resulting from the finite element discretisation of the system of nonlinear partial differential equations under consideration and present numerical experiments that illustrate the practical performance of the proposed numerical method.

math.NA

LDG approximation of large deformations of prestrained plates

A reduced model for large deformations of prestrained plates consists of minimizing a second order bending energy subject to a nonconvex metric constraint. The former involves the second fundamental form of the middle plate and the later is a restriction on its first fundamental form. We discuss a formal derivation of this reduced model along with an equivalent formulation that makes it amenable computationally. We propose a local discontinuous Galerkin (LDG) finite element approach that hinges on the notion of reconstructed Hessian. We design discrete gradient flows to minimize the ensuing nonconvex problem and to find a suitable initial deformation. We present several insightful numerical experiments, some of practical interest, and assess various computational aspects of the approximation process.

math.NA

Nonlinear Methods for Model Reduction

The usual approach to model reduction for parametric partial differential equations (PDEs) is to construct a linear space $V_n$ which approximates well the solution manifold $\mathcal{M}$ consisting of all solutions $u(y)$ with $y$ the vector of parameters. This linear reduced model $V_n$ is then used for various tasks such as building an online forward solver for the PDE or estimating parameters from data observations. It is well understood in other problems of numerical computation that nonlinear methods such as adaptive approximation, $n$-term approximation, and certain tree-based methods may provide improved numerical efficiency. For model reduction, a nonlinear method would replace the linear space $V_n$ by a nonlinear space $Σ_n$. This idea has already been suggested in recent papers on model reduction where the parameter domain is decomposed into a finite number of cells and a linear space of low dimension is assigned to each cell. Up to this point, little is known in terms of performance guarantees for such a nonlinear strategy. Moreover, most numerical experiments for nonlinear model reduction use a parameter dimension of only one or two. In this work, a step is made towards a more cohesive theory for nonlinear model reduction. Framing these methods in the general setting of library approximation allows us to give a first comparison of their performance with those of standard linear approximation for any general compact set. We then turn to the study these methods for solution manifolds of parametrized elliptic PDEs. We study a very specific example of library approximation where the parameter domain is split into a finite number $N$ of rectangular cells and where different reduced affine spaces of dimension $m$ are assigned to each cell. The performance of this nonlinear procedure is analyzed from the viewpoint of accuracy of approximation versus $m$ and $N$.

math.NA

Polynomial Approximation of Anisotropic Analytic Functions of Several Variables

Motivated by numerical methods for solving parametric partial differential equations, this paper studies the approximation of multivariate analytic functions by algebraic polynomials. We introduce various anisotropic model classes based on Taylor expansions, and study their approximation by finite dimensional polynomial spaces $\cal{P}_Λ$ described by lower sets $Λ$. Given a budget $n$ for the dimension of $\cal{P}_Λ$, we prove that certain lower sets $Λ_n$, with cardinality $n$, provide a certifiable approximation error that is in a certain sense optimal, and that these lower sets have a simple definition in terms of simplices. Our main goal is to obtain approximation results when the number of variables $d$ is large and even infinite, and so we concentrate almost exclusively on the case $d=\infty$. We also emphasize obtaining results which hold for the full range $n\ge 1$, rather than asymptotic results that only hold for $n$ sufficiently large. In applications, one typically wants $n$ small to comply with computational budgets.

math.NA

Reduced Basis Approximations of the Solutions to Spectral Fractional Diffusion Problems

We consider the numerical approximation of the spectral fractional diffusion problem based on the so called Balakrishnan representation. The latter consists of an improper integral approximated via quadratures. At each quadrature point, a reaction-diffusion problem must be approximated and is the method bottle neck. In this work, we propose to reduce the computational cost using a reduced basis strategy allowing for a fast evaluation of the reaction-diffusion problems. The reduced basis does not depend on the fractional power $s$ for $0<s_{\min}\leq s \leq s_{\max}<1$. It is built offline once for all and used online irrespectively of the fractional power. We analyze the reduced basis strategy and show its exponential convergence. The analytical results are illustrated with insightful numerical experiments.

math.NA