arXiv Science⌕ Search

arXiv subjects

Julia Novo

Publications and source records attributed to Julia Novo.

At least 19 recordsLinked to original sources
arXiv2026

Computational study of Proper Orthogonal Decomposition methods for parametric approximations

This paper studies the computational implementation of proper orthogonal decomposition reduced-order models (POD-ROMs) for evolutionary parametric time-dependent partial differential equations (PDEs). For a one-parameter model, many papers in the literature build the correlation matrix by projecting onto $L^2(Ω)$ even though optimal pointwise error estimates are proved when projecting onto $H^1_0(Ω)$. We compare both scenarios and observe the similar performance in practice. Additionally, to get the POD approximation it is necessary to compute the nonlinear term in the reduced equations. This requires a high computational cost that increases when the problem gets more complex. Numerical results in this paper show different approaches to address this issue. Discrete Empirical Interpolation Method (DEIM) is the most efficient approach. It reduces computational time by approximately half compared to computing the whole FEM formulation by a tensor construction while maintaining the same accuracy. For a multiparameter model, we analyze the new and standard method proposed in \cite{newmethod} using a two-dimensional Brusselator model to complement the results and support the error analysis with a more complex system.

math.NA↗
arXiv2026

On Discrete-Time Approximations to Infinite Horizon Differential Games

In this paper we study a discrete-time semidiscretization and a fully discretization (discrete-time, discrete-state) of an infinite time horizon noncooperative $N$-player differential game. We prove that as either the discretization time step or both time step and mesh size parameters approach zero the discrete value function approximates the value function of the differential game. Furthermore, the discrete Nash equilibrium is an $ε$-Nash equilibrium for the continuous-time differential game both in the discrete-time and fully discrete cases.

math.OC↗
arXiv2026

Using BDF schemes in the temporal integration of POD-ROM methods

In this paper we consider the numerical approximation of a semilinear reaction-diffusion model problem (PDEs) by means of reduced order methods (ROMs) based on proper orthogonal decomposition (POD). We focus on the time integration of the fully discrete reduced order model. Most of the analysis in the literature has been carried out for the implicit Euler method as time integrator. We integrate in time the reduced order model with the BDF-q time stepping ($1\le q\le 5$) and prove optimal rate of convergence of order $q$ in time. Our set of snapshots is obtained from finite element approximations to the original model problem computed at different times. These finite element approximations can be obtained with any time integrator. The POD method is based on first order difference quotients of the snapshots. The reason for doing this is twofold. On the one hand, the use of difference quotients allow us to provide pointwise-in-time error bounds. On the other, the use of difference quotients is essential to get the expected rate $q$ in time since we apply that the BDF-q time stepping, $1\le q\le 5$, can be written as a linear combination of first order difference quotients.

math.NA↗
arXiv2026

Optimal bounds for numerical approximations of finite horizon problems based on dynamic programming approach

In this paper we provide optimal bounds for fully discrete approximations to finite horizon problems via dynamic programming. We adapt the error analysis in \cite{nos} for the infinite horizon case to the finite horizon case. We prove an a priori bound of size $O(h+k)$ for the method, $h$ being the time discretization step and $k$ the spatial mesh size. Arguing with piecewise constants controls we are able to obtain first order of convergence in time and space under standard regularity assumptions, avoiding the more restrictive regularity assumptions on the controls required in \cite{nos}. We show that the loss in the rate of convergence in time of the infinite case (obtained arguing with piece-wise controls) can be avoided in the finite horizon case

math.OC↗
arXiv2026

Optimal bounds for numerical approximations of infinite horizon problems based on dynamic programming approach

In this paper we get error bounds for fully discrete approximations of infinite horizon problems via the dynamic programming approach. It is well known that considering a time discretization with a positive step size $h$ an error bound of size $h$ can be proved for the difference between the value function (viscosity solution of the Hamilton-Jacobi-Bellman equation corresponding to the infinite horizon) and the value function of the discrete time problem. However, including also a spatial discretization based on elements of size $k$ an error bound of size $O(k/h)$ can be found in the literature for the error between the value functions of the continuous problem and the fully discrete problem. In this paper we revise the error bound of the fully discrete method and prove, under similar assumptions to those of the time discrete case, that the error of the fully discrete case is in fact $O(h+k)$ which gives first order in time and space for the method. This error bound matches the numerical experiments of many papers in the literature in which the behaviour $1/h$ from the bound $O(k/h)$ have not been observed.

math.NA↗
arXiv2025

Error analysis of BDF schemes for the evolutionary incompressible Navier--Stokes equations

Error bounds for fully discrete schemes for the evolutionary incompressible Navier--Stokes equations are derived in this paper. For the time integration we apply BDF-$q$ methods, $q\le 5$, for which error bounds for $q\ge 3$ cannot be found in the literature. Inf-sup stable mixed finite elements are used as spatial approximation. First, we analyze the standard Galerkin method and second a grad-div stabilized method. The grad-div stabilization allows to prove error bounds with constants independent of inverse powers of the viscosity coefficient. We prove optimal bounds for the velocity and pressure with order $(Δt)^q$ in time for the BDF-$q$ scheme and order $h^{k+1}$ for the $L^2(Ω)$ error of the velocity in the first case and $h^k$ in the second case, $k$ being the degree of the polynomials in finite element velocity space.

math.NA↗
arXiv2025

POD-ROM methods: error analysis for continuous parametrized approximations

This paper studies the numerical approximation of parametric time-dependent partial differential equations (PDEs) by proper orthogonal decomposition reduced order models (POD-ROMs). Although many papers in the literature consider reduced order models for parametric equations, a complete error analysis of the methods is still a challenge. We introduce and analyze in this paper a new POD method based on finite differences (respect to time and respect to the parameters that may be considered). We obtain a priori bounds for the new method valid for any value of time in a given time interval and any value of the parameter in a given parameter interval. Our design of the new POD method allow us to prove pointwise-in-time error estimates as opposed to average error bounds obtained typically in POD methods. Most of the papers concerning POD methods for parametric equations are just based on the snapshots computed at different times and parameter values instead of their difference quotients. We show that the error analysis of the present paper can also cover the error analysis of that case (that we call standard). Some numerical experiments compare our new approach with the standard one and support the error analysis.

math.NA↗
arXiv2024

A Priori Error Bounds and Parameter Scalings for the Time Relaxation Reduced Order Model

The a priori error analysis of reduced order models (ROMs) for fluids is relatively scarce. In this paper, we take a step in this direction and conduct numerical analysis of the recently introduced time relaxation ROM (TR-ROM), which uses spatial filtering to stabilize ROMs for convection-dominated flows. Specifically, we prove stability, an a priori error bound, and parameter scalings for the TR-ROM. Our numerical investigation shows that the theoretical convergence rate and the parameter scalings with respect to ROM dimension and filter radius are recovered numerically. In addition, the parameter scaling can be used to extrapolate the time relaxation parameter to other ROM dimensions and filter radii. Moreover, the parameter scaling with respect to filter radius is also observed in the predictive regime.

math.NA↗
arXiv2024

Optimal bounds for POD approximations of infinite horizon control problems based on time derivatives

In this paper we consider the numerical approximation of infinite horizon problems via the dynamic programming approach. The value function of the problem solves a Hamilton-Jacobi-Bellman (HJB) equation that is approximated by a fully discrete method. It is known that the numerical problem is difficult to handle by the so called curse of dimensionality. To mitigate this issue we apply a reduction of the order by means of a new proper orthogonal decomposition (POD) method based on time derivatives. We carry out the error analysis of the method using recently proved optimal bounds for the fully discrete approximations. Moreover, the use of snapshots based on time derivatives allow us to bound some terms of the error that could not be bounded in a standard POD approach. Some numerical experiments show the good performance of the method in practice.

math.NA↗
arXiv2024

Pointwise error bounds in POD methods without difference quotients

In this paper we consider proper orthogonal decomposition (POD) methods that do not include difference quotients (DQs) of snapshots in the data set. The inclusion of DQs have been shown in the literature to be a key element in obtaining error bounds that do not degrade with the number of snapshots. More recently, the inclusion of DQs has allowed to obtain pointwise (as opposed to averaged) error bounds that decay with the same convergence rate (in terms of the POD singular values) as averaged ones. In the present paper, for POD methods not including DQs in their data set, we obtain error bounds that do not degrade with the number of snapshots if the function from where the snapshots are taken has certain degree of smoothness. Moreover, the rate of convergence is as close as that of methods including DQs as the smoothness of the function providing the snapshots allows. We do this by obtaining discrete counterparts of Agmon and interpolation inequalities in Sobolev spaces. Numerical experiments validating these estimates are also presented.

math.NA↗
arXiv2024

Can Neural Networks learn Finite Elements?

The aim of this note is to construct a neural network for which the linear finite element approximation of a simple one dimensional boundary value problem is a minimum of the cost function to find out if the neural network is able to reproduce the finite element approximation. The deepest goal is to shed some light on the problems one encounters when trying to use neural networks to approximate partial differential equations

math.NA↗
arXiv2024

POD-ROM methods: from a finite set of snapshots to continuous-in-time approximations

This paper studies discretization of time-dependent partial differential equations (PDEs) by proper orthogonal decomposition reduced order models (POD-ROMs). Most of the analysis in the literature has been performed on fully-discrete methods using first order methods in time, typically the implicit Euler time integrator. Our aim is to show which kind of error bounds can be obtained using any time integrator, both in the full order model (FOM), applied to compute the snapshots, and in the POD-ROM method. To this end, we analyze in this paper the continuous-in-time case for both the FOM and POD-ROM methods, although the POD basis is obtained from snapshots taken at a discrete (i.e., not continuous) set times. Two cases for the set of snapshots are considered: The case in which the snapshots are based on first order divided differences in time and the case in which they are based on temporal derivatives. Optimal pointwise-in-time error bounds {between the FOM and the POD-ROM solutions} are proved for the $L^2(Ω)$ norm of the error for a semilinear reaction-diffusion model problem. The dependency of the errors on the distance in time between two consecutive snapshots and on the tail of the POD eigenvalues is tracked. Our detailed analysis allows to show that, in some situations, a small number of snapshots in a given time interval might be sufficient to accurately approximate the solution in the full interval. Numerical studies support the error analysis.

math.NA↗
arXiv2024

Enhancing nonlinear solvers for the Navier-Stokes equations with continuous (noisy) data assimilation

We consider nonlinear solvers for the incompressible, steady (or at a fixed time step for unsteady) Navier-Stokes equations in the setting where partial measurement data of the solution is available. The measurement data is incorporated/assimilated into the solution through a nudging term addition to the the Picard iteration that penalized the difference between the coarse mesh interpolants of the true solution and solver solution, analogous to how continuous data assimilation (CDA) is implemented for time dependent PDEs. This was considered in the paper [Li et al. {\it CMAME} 2023], and we extend the methodology by improving the analysis to be in the $L^2$ norm instead of a weighted $H^1$ norm where the weight depended on the coarse mesh width, and to the case of noisy measurement data. For noisy measurement data, we prove that the CDA-Picard method is stable and convergent, up to the size of the noise. Numerical tests illustrate the results, and show that a very good strategy when using noisy data is to use CDA-Picard to generate an initial guess for the classical Newton iteration.

math.NA↗
arXiv2023

POD-ROMs for incompressible flows including snapshots of the temporal derivative of the full order solution: Error bounds for the pressure

Reduced order methods (ROMs) for the incompressible Navier--Stokes equations, based on proper orthogonal decomposition (POD), are studied that include snapshots which approach the temporal derivative of the velocity from a full order mixed finite element method (FOM). In addition, the set of snapshots contains the mean velocity of the FOM. Both the FOM and the POD-ROM are equipped with a grad-div stabilization. A velocity error analysis for this method can be found already in the literature. The present paper studies two different procedures to compute approximations to the pressure and proves error bounds for the pressure that are independent of inverse powers of the viscosity. Numerical studies support the analytic results and compare both methods.

math.NA↗
arXiv2023

Pressure and convection robust bounds for continuous interior penalty divergence-free finite element methods for the incompressible Navier-Stokes equations

In this paper we analyze a pressure-robust method based on divergence-free mixed finite element methods with continuous interior penalty stabilization. The main goal is to prove an $O(h^{k+1/2})$ error estimate for the $L^2$ norm of the velocity in the convection dominated regime. This bound is pressure robust (the error bound of the velocity does not depend on the pressure) and also convection robust (the constants in the error bounds are independent of the Reynolds number).

math.NA↗
arXiv2022

POD-ROMs for incompressible flows including snapshots of the temporal derivative of the full order solution

In this paper we study the influence of including snapshots that approach the velocity time derivative in the numerical approximation of the incompressible Navier-Stokes equations by means of proper orthogonal decomposition (POD) methods. Our set of snapshots includes the velocity approximation at the initial time from a full order mixed finite element method (FOM) together with approximations to the time derivative at different times. The approximation at the initial velocity can be replaced by the mean value of the velocities at the different times so that implementing the method to the fluctuations, as done mostly in practice, only approximations to the time derivatives are included in the set of snapshots. For the POD method we study the differences between projecting onto $L^2$ and $H^1$. In both cases pointwise in time error bounds can be proved. Including grad-div stabilization both in the FOM and POD methods error bounds with constants independent on inverse powers of the viscosity can be obtained.

math.NA↗
arXiv2022

On the influence of the nonlinear term in the numerical approximation of Incompressible Flows by means of proper orthogonal decomposition methods

We consider proper orthogonal decomposition (POD) methods to approximate the incompressible Navier-Stokes equations. We study the case in which one discretization for the nonlinear term is used in the snapshots (that are computed with a full order method (FOM)) and a different discretization of the nonlinear term is applied in the POD method. We prove that an additional error term appears in this case, compared with the case in which the same discretization of the nonlinear term is applied for both the FOM and the POD methods. However, the added term has the same size as the error coming from the FOM so that the rate of convergence of the POD method is barely affected. We analyze the case in which we add grad-div stabilization to both the FOM and the POD methods because it allows to get error bounds with constants independent of inverse powers of the viscosity. We also study the case in which no stabilization is added. Some numerical experiments support the theoretical analysis.

math.NA↗