We gratefully acknowledge support from
the Simons Foundation and member institutions.

Numerical Analysis

New submissions

[ total of 20 entries: 1-20 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Wed, 1 Dec 21

[1]  arXiv:2111.14889 [pdf, other]
Title: Rigorous data-driven computation of spectral properties of Koopman operators for dynamical systems
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Dynamical Systems (math.DS); Spectral Theory (math.SP); Fluid Dynamics (physics.flu-dyn)

Koopman operators are infinite-dimensional operators that globally linearize nonlinear dynamical systems, making their spectral information useful for understanding dynamics. However, Koopman operators can have continuous spectra and infinite-dimensional invariant subspaces, making computing their spectral information a considerable challenge. This paper describes data-driven algorithms with rigorous convergence guarantees for computing spectral information of Koopman operators from trajectory data. We introduce residual dynamic mode decomposition (ResDMD), which provides the first scheme for computing the spectra and pseudospectra of general Koopman operators from snapshot data without spectral pollution. Using the resolvent operator and ResDMD, we also compute smoothed approximations of spectral measures associated with measure-preserving dynamical systems. We prove explicit convergence theorems for our algorithms, which can achieve high-order convergence even for chaotic systems, when computing the density of the continuous spectrum and the discrete spectrum. We demonstrate our algorithms on the tent map, Gauss iterated map, nonlinear pendulum, double pendulum, Lorenz system, and an $11$-dimensional extended Lorenz system. Finally, we provide kernelized variants of our algorithms for dynamical systems with a high-dimensional state-space. This allows us to compute the spectral measure associated with the dynamics of a protein molecule that has a 20,046-dimensional state-space, and compute nonlinear Koopman modes with error bounds for turbulent flow past aerofoils with Reynolds number $>10^5$ that has a 295,122-dimensional state-space.

[2]  arXiv:2111.15065 [pdf, other]
Title: An Analysis of the Numerical Stability of the Immersed Boundary Method
Comments: 33 pages, 13 figures
Subjects: Numerical Analysis (math.NA)

We present a numerical stability analysis of the immersed boundary(IB) method for a special case which is constructed so that Fourier analysis is applicable. We examine the stability of the immersed boundary method with the discrete Fourier transforms defined differently on the fluid grid and the boundary grid. This approach gives accurate theoretical results about the stability boundary since it takes the effects of the spreading kernel of the immersed boundary method on the numerical stability into account. In this paper, the spreading kernel is the standard 4-point IB delta function. A three-dimensional incompressible viscous flow and a no-slip planar boundary are considered. The case of a planar elastic membrane is also analyzed using the same analysis framework and it serves as an example of many possible generalizations of our theory. We present some numerical results and show that the observed stability behaviors are consistent with what are predicted by our theory.

[3]  arXiv:2111.15088 [pdf, ps, other]
Title: A novel multigrid method for elliptic distributed control problems
Authors: Yunhui He
Comments: 14 pages, 6 tables
Subjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)

Large linear systems of saddle-point type have arisen in a wide variety of applications throughout computational science and engineering. The discretizations of distributed control problems have a saddle-point structure. The numerical solution of saddle-point problems has attracted considerable interest in recent years. In this work, we propose a novel Braess-Sarazin multigrid relaxation scheme for finite element discretizations of the distributed control problems, where we use the stiffness matrix obtained from the five-point finite difference method for the Laplacian to approximate the inverse of the mass matrix arising in the saddle-point system. We apply local Fourier analysis to examine the smoothing properties of the Braess-Sarazin multigrid relaxation. From our analysis, the optimal smoothing factor for Braess-Sarazin relaxation is derived. Numerical experiments validate our theoretical results. The relaxation scheme considered here shows its high efficiency and robustness with respect to the regularization parameter and grid size.

[4]  arXiv:2111.15324 [pdf, ps, other]
Title: Uniform convergence for sequences of best L^{p} approximation
Comments: 16 pages, not submitted to any journal at the moment
Subjects: Numerical Analysis (math.NA)

Let $f$ be a continuous monotone real function defined on a compact interval $[a,b]$ of the real line. Given a sequence of partitions of $[a,b]$, $% \Delta_n $, $\left\Vert {\Delta }_{n}\right\Vert \rightarrow 0$, and given $l\geq 0,m\geq 1$, let $\mathbf{S}_{m}^{l}(\Delta _{n}) $ be the space of all functions with the same monotonicity of $f$ that are $% \Delta_n$-piecewise polynomial of order $m$ and that belong to the smoothness class $C^{l}[a,b]$. In this paper we show that, for any $m\geq 2l+1$, $\bullet$ sequences of best $L^p$-approximation in $\mathbf{S}_{m}^{l}(\Delta _{n})$ converge uniformly to $f$ on any compact subinterval of $(a,b)$; $\bullet$ sequences of best $L^p$-approximation in $\mathbf{S}_{m}^{0}(\Delta _{n})$ converge uniformly to $f$ on the whole interval $[a,b] $.

[5]  arXiv:2111.15418 [pdf, other]
Title: A structure preserving front tracking finite element method for the Mullins--Sekerka problem
Authors: Robert Nürnberg
Comments: 24 pages, 9 figures
Subjects: Numerical Analysis (math.NA)

We introduce and analyse a fully discrete approximation for a mathematical model for the solidification and liquidation of materials of negligible specific heat. The model is a two-sided Mullins--Sekerka problem. The discretization uses finite elements in space and an independent parameterization of the moving free boundary. We prove unconditional stability and exact volume conservation for the introduced scheme. Several numerical simulations, including for nearly crystalline surface energies, demonstrate the practicality and accuracy of the presented numerical method.

[6]  arXiv:2111.15504 [pdf, other]
Title: Linearisation of the Travel Time Functional in Porous Media Flows
Comments: 25 pages, 11 figures
Subjects: Numerical Analysis (math.NA)

The travel time functional measures the time taken for a particle trajectory to travel from a given initial position to the boundary of the domain. Such evaluation is paramount in the post-closure safety assessment of deep geological storage facilities for radioactive waste where leaked, non-sorbing, solutes can be transported to the surface of the site by the surrounding groundwater. The accurate simulation of this transport can be attained using standard dual-weighted-residual techniques to derive goal-oriented $a$ $posteriori$ error bounds. This work provides a key aspect in obtaining a suitable error estimate for the travel time functional: the evaluation of its G\^ateaux derivative. A mixed finite element method is implemented to approximate Darcy's equations and numerical experiments are presented to test the performance of the proposed error estimator. In particular, we consider a test case inspired by the Sellafield site located in Cumbria, in the UK.

[7]  arXiv:2111.15505 [pdf, other]
Title: Efficient Adaptive Computation of the Dynamics of Mott Transistors
Subjects: Numerical Analysis (math.NA)

We investigate time-adaptive Magnus-type integrators for the numerical approximation of a Mott transistor. The rapidly attenuating electromagnetic field calls for adaptive choice of the time steps. As a basis for step selection, asymptotically correct defect-based estimators of the local error are employed. We analyze the error of the numerical approximation in the presence of the unsmooth external potential and demonstrate the advantages of the adaptive approach.

[8]  arXiv:2111.15570 [pdf, other]
Title: Discontinuous Galerkin discretization in time of systems of second-order nonlinear hyperbolic equations
Authors: Aili Shao
Comments: 48 pages, 1 figure
Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)

In this paper we study the finite element approximation of systems of second-order nonlinear hyperbolic equations. The proposed numerical method combines a $hp$-version discontinuous Galerkin finite element approximation in the time direction with an $H^1(\Omega)$-conforming finite element approximation in the spatial variables. Error bounds at the temporal nodal points are derived under a weak restriction on the temporal step size in terms of the spatial mesh size. Numerical experiments are presented to verify the theoretical results.

[9]  arXiv:2111.15620 [pdf, other]
Title: Bayesian Level Set Approach for Inverse Problems with Piecewise Constant Reconstructions
Subjects: Numerical Analysis (math.NA)

There are several challenges associated with inverse problems in which we seek to reconstruct a piecewise constant field, and which we model using multiple level sets. Adopting a Bayesian viewpoint, we impose prior distributions on both the level set functions that determine the piecewise constant regions as well as the parameters that determine their magnitudes. We develop a Gauss-Newton approach with a backtracking line search to efficiently compute the maximum a priori (MAP) estimate as a solution to the inverse problem. We use the Gauss-Newton Laplace approximation to construct a Gaussian approximation of the posterior distribution and use preconditioned Krylov subspace methods to sample from the resulting approximation. To visualize the uncertainty associated with the parameter reconstructions we compute the approximate posterior variance using a matrix-free Monte Carlo diagonal estimator, which we develop in this paper. We will demonstrate the benefits of our approach and solvers on synthetic test problems (photoacoustic and hydraulic tomography, respectively a linear and nonlinear inverse problem) as well as an application to X-ray imaging with real data.

[10]  arXiv:2111.15657 [pdf, ps, other]
Title: Numerical solution of several second-order ordinary differential equations containing logistic maps as nonlinear coefficients
Comments: 11 pages, 8 figures
Subjects: Numerical Analysis (math.NA); Chaotic Dynamics (nlin.CD)

This work is devoted to find the numerical solutions of several one dimensional second-order ordinary differential equations. In a heuristic way, in such equations the quadratic logistic maps regarded as a local function are inserted within the nonlinear coefficient of the function as well as within the independent term. We apply the Numerov algorithm to solve these equations and we discuss the role of the initial conditions of the logistic maps in such solutions.

Cross-lists for Wed, 1 Dec 21

[11]  arXiv:2111.14964 (cross-list from q-bio.PE) [pdf, other]
Title: Fitness landscape adaptation in open replicator systems with competition: application to cancer therapy
Subjects: Populations and Evolution (q-bio.PE); Dynamical Systems (math.DS); Numerical Analysis (math.NA)

This study focuses on open quasispecies systems with competition and death flow, described by modified Eigen and Crow-Kimura models. We examine the evolutionary adaptation process as a reaction to changes in rates. One of the fundamental assumptions, which forms the basis of our mathematical model, is the existence of two different timescales: internal dynamics time and evolutionary time. The latter is much slower and exhibits significant adaptation events. These conditions allow us to represent the whole evolutionary process through a series of steady-state equations, where all the elements continuously depend on the evolutionary parameter.

[12]  arXiv:2111.14984 (cross-list from cs.CE) [pdf, other]
Title: Continuous conditional generative adversarial networks for data-driven solutions of poroelasticity with heterogeneous material properties
Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)

Machine learning-based data-driven modeling can be computationally efficient solutions of time-dependent subsurface geophysical systems. In this work, our previous approach of conditional generative adversarial networks (cGAN) developed for steady-state problems with heterogeneous materials is extended to time-dependent problems by adopting the concept of continuous cGAN (CcGAN). The CcGAN that can condition continuous variables in the cGAN framework is developed to incorporate the time domain through either element-wise addition or conditional batch normalization. As a demonstration case, the transient response of the coupled poroelastic process is studied in two different permeability fields: Zinn \& Harvey transformation and a bimodal transformation. The proposed CcGAN uses heterogeneous permeability fields as input parameters while pressure and displacement fields over time are model output. Our results show that the model provides sufficient accuracy with computational speed-up. This robust framework will enable us to perform real-time reservoir management and robust uncertainty quantification in realistic problems.

[13]  arXiv:2111.15645 (cross-list from math.OC) [pdf, other]
Title: Survey Descent: A Multipoint Generalization of Gradient Descent for Nonsmooth Optimization
Subjects: Optimization and Control (math.OC); Computational Geometry (cs.CG); Machine Learning (cs.LG); Numerical Analysis (math.NA)

For strongly convex objectives that are smooth, the classical theory of gradient descent ensures linear convergence relative to the number of gradient evaluations. An analogous nonsmooth theory is challenging: even when the objective is smooth at every iterate, the corresponding local models are unstable, and traditional remedies need unpredictably many cutting planes. We instead propose a multipoint generalization of the gradient descent iteration for local optimization. While designed with general objectives in mind, we are motivated by a "max-of-smooth" model that captures subdifferential dimension at optimality. We prove linear convergence when the objective is itself max-of-smooth, and experiments suggest a more general phenomenon.

Replacements for Wed, 1 Dec 21

[14]  arXiv:2007.11525 (replaced) [pdf, other]
Title: Analysis-aware defeaturing: problem setting and a posteriori estimation
Comments: 37 pages, 15 figures, 4 tables
Subjects: Numerical Analysis (math.NA)
[15]  arXiv:2011.04510 (replaced) [pdf, other]
Title: A posteriori verification of the positivity of solutions to elliptic boundary value problems
Comments: 28 pages, 7 figures
Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
[16]  arXiv:2108.01700 (replaced) [pdf, ps, other]
Title: Parallel-in-time preconditioners for the Sinc-Nyström method
Authors: Jun Liu, Shu-Lin Wu
Comments: 23 pages, significantly revised from the first version
Subjects: Numerical Analysis (math.NA)
[17]  arXiv:2111.11001 (replaced) [pdf]
Title: Easy representation of multivariate functions with low-dimensional terms via Gaussian process regression kernel design: applications to machine learning of potential energy surfaces and kinetic energy densities from sparse data
Comments: 9 pages, 1 figure, 2 tables
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph); Data Analysis, Statistics and Probability (physics.data-an)
[18]  arXiv:2008.11520 (replaced) [pdf, other]
Title: A neural network multigrid solver for the Navier-Stokes equations
Comments: 32 pages, 15 figures
Subjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA)
[19]  arXiv:2109.03159 (replaced) [pdf, other]
Title: Analysis of Regularized Learning in Banach Spaces
Authors: Qi Ye
Comments: 30 pages, 1 figure
Subjects: Machine Learning (cs.LG); Functional Analysis (math.FA); Numerical Analysis (math.NA); Optimization and Control (math.OC)
[20]  arXiv:2110.01343 (replaced) [pdf, other]
Title: Taming singular stochastic differential equations: A numerical method
Comments: 63 pages
Subjects: Probability (math.PR); Numerical Analysis (math.NA)
[ total of 20 entries: 1-20 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, recent, 2111, contact, help  (Access key information)