Numerical Analysis
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Wed, 30 Sep 20
 [1] arXiv:2009.13593 [pdf, other]

Title: A PODGalerkin reduced order model for a LES filtering approachComments: 29 pages, 16 figures, 9 tablesSubjects: Numerical Analysis (math.NA)
We propose a Proper Orthogonal Decomposition (POD)Galerkin based Reduced Order Model (ROM) for a Leray model. For the implementation of the model, we combine a twostep algorithm called EvolveFilter (EF) with a computationally efficient finite volume method. The main novelty of the proposed approach relies in applying spatial filtering both for the collection of the snapshots and in the reduced order model, as well as in considering the pressure field at reduced level. In both steps of the EF algorithm, velocity and pressure fields are approximated by using different POD basis and coefficients. For the reconstruction of the pressures fields, we use a pressure Poisson equation approach. We test our ROM on two benchmark problems: 2D and 3D unsteady flow past a cylinder at Reynolds number 0 <= Re <= 100. The accuracy of the reduced order model is assessed against results obtained with the full order model. For the 2D case, a parametric study with respect to the filtering radius is also presented.
 [2] arXiv:2009.13597 [pdf, ps, other]

Title: Rigorous validation of a Hopf bifurcation in the KuramotoSivashinsky PDEComments: 41 pages, 1 figureSubjects: Numerical Analysis (math.NA); Dynamical Systems (math.DS)
We use computerassisted proof techniques to prove that a branch of nontrivial equilibrium solutions in the KuramotoSivashinsky partial differential equation undergoes a Hopf bifurcation. Furthermore, we obtain an essentially constructive proof of the family of timeperiodic solutions near the Hopf bifurcation. To this end, near the Hopf point we rewrite the time periodic problem for the KuramotoSivashinsky equation in a desingularized formulation. We then apply a parametrized NewtonKantorovich approach to validate a solution branch of timeperiodic orbits. By construction, this solution branch includes the Hopf bifurcation point.
 [3] arXiv:2009.13604 [pdf, other]

Title: A $P_{k+2}$ polynomial lifting operator on polygons and polyhedronsSubjects: Numerical Analysis (math.NA)
A $P_{k+2}$ polynomial lifting operator is defined on polygons and polyhedrons. It lifts discontinuous polynomials inside the polygon/polyhedron and on the faces to a onepiece $P_{k+2}$ polynomial. With this lifting operator, we prove that the weak Galerkin finite element solution, after this lifting, converges at two orders higher than the optimal order, in both $L^2$ and $H^1$ norms. The theory is confirmed by numerical solutions of 2D and 3D Poisson equations.
 [4] arXiv:2009.13639 [pdf, ps, other]

Title: An inverse random source problem for the onedimensional Helmholtz equation with attenuationSubjects: Numerical Analysis (math.NA)
This paper is concerned with an inverse random source problem for the onedimensional stochastic Helmholtz equation with attenuation. The source is assumed to be a microlocally isotropic Gaussian random field with its covariance operator being a classical pseudodifferential operator. The random sources under consideration are equivalent to the generalized fractional Gaussian random fields which include rough fields and can be even rougher than the white noise, and hence should be interpreted as distributions. The wellposedness of the direct source scattering problem is established in the distribution sense. The microcorrelation strength of the random source, which appears to be the strength in the principal symbol of the covariance operator, is proved to be uniquely determined by the wave field in an open measurement set. Numerical experiments are presented for the white noise model to demonstrate the validity and effectiveness of the proposed method.
 [5] arXiv:2009.13783 [pdf, ps, other]

Title: A Shape calculus approach for time harmonic solidfluid interaction problem in stochastic domainsSubjects: Numerical Analysis (math.NA)
The present paper deals with the interior solidfluid interaction problem in harmonic regime with randomly perturbed boundaries. Analysis of the shape derivative and shape Hessian of vector and tensorvalued functions is provided. Moments of the random solutions are approximated by those of the shape derivative and shape Hessian, and the approximations are of third order accuracy in terms of the size of the boundary perturbation. Our theoretical results are supported by an analytical example on a square domain.
 [6] arXiv:2009.13811 [pdf, other]

Title: Numerical approximations of chromatographic modelsSubjects: Numerical Analysis (math.NA)
A numerical scheme based on modified method of characteristics with adjusted advection (MMOCAA) is proposed to approximate the solution of the system liquid chromatography with multi components case. For the case of one component, the method preserves the mass. Various examples and computational tests numerically verify the accuracy and efficiency of the approach.
 [7] arXiv:2009.13840 [pdf, other]

Title: $p$Multilevel preconditioners for HHO discretizations of the Stokes equations with static condensationSubjects: Numerical Analysis (math.NA)
We propose a $p$multilevel preconditioner for Hybrid HighOrder discretizations (HHO) of the Stokes equation, numerically assess its performance on two variants of the method, and compare with a classical Discontinuous Galerkin scheme. We specifically investigate how the combination of $p$coarsening and static condensation influences the performance of the $V$cycle iteration for HHO. Two different static condensation procedures are considered, resulting in global linear systems with a different number of unknowns and nonzero elements. An efficient implementation is proposed where coarse level operators are inherited using $L^2$orthogonal projections defined over mesh faces and the restriction of the fine grid operators is performed recursively and matrixfree. The various resolution strategies are thoroughly validated on two and threedimensional problems.
 [8] arXiv:2009.13892 [pdf, other]

Title: Method of fundamental solutions for Neumann problems of the modified Helmholtz equation in disk domainsSubjects: Numerical Analysis (math.NA)
The method of the fundamental solutions (MFS) is used to construct an approximate solution for a partial differential equation in a bounded domain. It is demonstrated by combining the fundamental solutions shifted to the points outside the domain and determining the coefficients of the linear sum to satisfy the boundary condition on the finite points of the boundary. In this paper, the existence of the approximate solution by the MFS for the Neumann problems of the modified Helmholtz equation in disk domains is rigorously demonstrated. We reveal the sufficient condition of the existence of the approximate solution. Applying Green's theorem to the Neumann problem of the modified Helmholtz equation, we bound the error between the approximate solution and exact solution into the difference of the function of the boundary condition and the normal derivative of the approximate solution by boundary integrations. Using this estimate of the error, we show the convergence of the approximate solution by the MFS to the exact solution with exponential order, that is, $N^2a^N$ order, where $a$ is a positive constant less than one and $N$ is the number of collocation points. Furthermore, it is demonstrated that the error tends to $0$ in exponential order in the numerical simulations with increasing number of collocation points $N$.
 [9] arXiv:2009.13916 [pdf, other]

Title: A novel block nonsymmetric preconditioner for mixedhybrid finiteelementbased flow simulationsSubjects: Numerical Analysis (math.NA)
In this work we propose a novel block preconditioner, labelled Explicit Decoupling Factor Approximation (EDFA), to accelerate the convergence of Krylov subspace solvers used to address the sequence of nonsymmetric systems of linear equations originating from flow simulations in porous media. The flow model is discretized blending the Mixed Hybrid Finite Element (MHFE) method for Darcy's equation with the Finite Volume (FV) scheme for the mass conservation. The EDFA preconditioner is characterized by two features: the exploitation of the system matrix decoupling factors to recast the Schur complement and their inexact fullyparallel computation by means of restriction operators. We introduce two adaptive techniques aimed at building the restriction operators according to the properties of the system at hand. The proposed block preconditioner has been tested through an extensive experimentation on both synthetic and realcase applications, pointing out its robustness and computational efficiency.
 [10] arXiv:2009.14140 [pdf, other]

Title: Residualbased a posteriori error estimates for $\mathbf{hp}$discontinuous Galerkin discretisations of the biharmonic problemSubjects: Numerical Analysis (math.NA)
We introduce a residualbased a posteriori error estimator for a novel $hp$version interior penalty discontinuous Galerkin method for the biharmonic problem in two and three dimensions. We prove that the error estimate provides an upper bound and a local lower bound on the error, and that the lower bound is robust to the local mesh size but not the local polynomial degree. The suboptimality in terms of the polynomial degree is fully explicit and grows at most algebraically. Our analysis does not require the existence of a $\mathcal{C}^1$conforming piecewise polynomial space and is instead based on an elliptic reconstruction of the discrete solution to the $H^2$ space and a generalised Helmholtz decomposition of the error. This is the first $hp$version error estimator for the biharmonic problem in two and three dimensions. The practical behaviour of the estimator is investigated through numerical examples in two and three dimensions.
Crosslists for Wed, 30 Sep 20
 [11] arXiv:2009.13670 (crosslist from stat.AP) [pdf, other]

Title: Ensemble Kalman Filter for nonconservative moving mesh solvers with a joint physics and mesh location updateComments: 29 Pages, 16 Figures, Submitted to Quarterly Journal of the Royal Meteorological SocietySubjects: Applications (stat.AP); Numerical Analysis (math.NA)
Numerical solvers using adaptive meshes can focus computational power on important regions of a model domain capturing important or unresolved physics. The adaptation can be informed by the model state, external information, or made to depend on the model physics. In this latter case, one can think of the mesh configuration {\it as part of the model state}. If observational data is to be assimilated into the model, the question of updating the mesh configuration with the physical values arises. Adaptive meshes present significant challenges when using popular ensemble Data Assimilation (DA) methods. We develop a novel strategy for ensemblebased DA for which the adaptive mesh is updated along with the physical values. This involves including the node locations as a part of the model state itself allowing them to be updated automatically at the analysis step. This poses a number of challenges which we resolve to produce an effective approach that promises to apply with some generality. We evaluate our strategy with two testbed models in 1d comparing to a strategy that does not update the mesh configuration. We find updating the mesh improves the fidelity and convergence of the filter.
 [12] arXiv:2009.13881 (crosslist from stat.ML) [pdf, ps, other]

Title: Lipschitz neural networks are dense in the set of all Lipschitz functionsAuthors: Stephan EcksteinComments: 7 pagesSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Numerical Analysis (math.NA)
This note shows that, for a fixed Lipschitz constant $L > 0$, one layer neural networks that are $L$Lipschitz are dense in the set of all $L$Lipschitz functions with respect to the uniform norm on bounded sets.
 [13] arXiv:2009.13989 (crosslist from math.PR) [pdf, ps, other]

Title: Nonlinear Monte Carlo methods with polynomial runtime for highdimensional iterated nested expectationsComments: 47 pagesSubjects: Probability (math.PR); Computational Complexity (cs.CC); Numerical Analysis (math.NA)
The approximative calculation of iterated nested expectations is a recurring challenging problem in applications. Nested expectations appear, for example, in the numerical approximation of solutions of backward stochastic differential equations (BSDEs), in the numerical approximation of solutions of semilinear parabolic partial differential equations (PDEs), in statistical physics, in optimal stopping problems such as the approximative pricing of American or Bermudan options, in risk measure estimation in mathematical finance, or in decisionmaking under uncertainty. Nested expectations which arise in the above named applications often consist of a large number of nestings. However, the computational effort of standard nested Monte Carlo approximations for iterated nested expectations grows exponentially in the number of nestings and it remained an open question whether it is possible to approximately calculate multiply iterated highdimensional nested expectations in polynomial time. In this article we tackle this problem by proposing and studying a new class of fullhistory recursive multilevel Picard (MLP) approximation schemes for iterated nested expectations. In particular, we prove under suitable assumptions that these MLP approximation schemes can approximately calculate multiply iterated nested expectations with a computational effort growing at most polynomially in the number of nestings $ K \in \mathbb{N} = \{1, 2, 3, \ldots \} $, in the problem dimension $ d \in \mathbb{N} $, and in the reciprocal $\frac{1}{\varepsilon}$ of the desired approximation accuracy $ \varepsilon \in (0, \infty) $.
 [14] arXiv:2009.13997 (crosslist from math.AP) [pdf, ps, other]

Title: A parabolic equation on domains with random boundariesSubjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
A heat equation with uncertain domains is thoroughly investigated. Statistical moments of the solution is approximated by the counterparts of the shape derivative. A rigorous proof for the existence of the shape derivative is presented. Boundary integral equation methods are used to compute statistical moments of the shape derivative.
Replacements for Wed, 30 Sep 20
 [15] arXiv:1708.04332 (replaced) [pdf, other]

Title: Sensitivity analysis of Burgers' equation with shocksSubjects: Numerical Analysis (math.NA)
 [16] arXiv:1712.09472 (replaced) [pdf, other]

Title: Construction and application of algebraic dual polynomial representations for finite element methods on quadrilateral and hexahedral meshesComments: This is version5 of this articleSubjects: Numerical Analysis (math.NA)
 [17] arXiv:1903.01869 (replaced) [pdf, other]

Title: Spectral Analysis of Saddlepoint Matrices from Optimization problems with Elliptic PDE ConstraintsComments: 26 pages, 5 figuresSubjects: Numerical Analysis (math.NA)
 [18] arXiv:1912.03812 (replaced) [pdf, other]

Title: DG Approach to Large Bending Plate Deformations with Isometry ConstraintComments: 38 pagesSubjects: Numerical Analysis (math.NA)
 [19] arXiv:2001.01949 (replaced) [pdf, other]

Title: Numerical solution of a two dimensional tumour growth model with moving boundaryComments: 24 pages, 51 figures, numerical solution without nremeshing the timedepdendent domainSubjects: Numerical Analysis (math.NA)
 [20] arXiv:2002.04467 (replaced) [pdf, other]

Title: Asymptotic preserving schemes for the FitzHughNagumo transport equation with strong local interactionsSubjects: Numerical Analysis (math.NA)
 [21] arXiv:2004.06418 (replaced) [pdf, other]

Title: Uniform preconditioners of linear complexity for problems of negative orderSubjects: Numerical Analysis (math.NA)
 [22] arXiv:2007.08326 (replaced) [pdf, other]

Title: Numerical approximation of portHamiltonian systems for hyperbolic or parabolic PDEs with boundary controlComments: 33 pagesSubjects: Numerical Analysis (math.NA); Dynamical Systems (math.DS)
 [23] arXiv:2009.11971 (replaced) [pdf, other]

Title: Multidimensional TVStokes for image processingSubjects: Numerical Analysis (math.NA); Computer Vision and Pattern Recognition (cs.CV); Optimization and Control (math.OC)
 [24] arXiv:2009.11973 (replaced) [pdf, other]

Title: Alternating minimization for a single step TVStokes model for image denoisingSubjects: Numerical Analysis (math.NA); Computer Vision and Pattern Recognition (cs.CV); Optimization and Control (math.OC)
 [25] arXiv:2009.11990 (replaced) [pdf, other]

Title: A fast and accurate physicsinformed neural network reduced order model with shallow masked autoencoderComments: 33 pages, 17 figuresSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
 [26] arXiv:2009.12768 (replaced) [pdf, other]

Title: High order weightadjusted discontinuous Galerkin methods for wave propagation on moving curved meshesSubjects: Numerical Analysis (math.NA)
 [27] arXiv:2009.13397 (replaced) [pdf, other]

Title: A hybrid H1xH(curl) finite element formulation for a planar relaxed micromorphic continuumSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
 [28] arXiv:1912.00304 (replaced) [pdf, other]

Title: Borrowing From the Future: An Attempt to Address Double SamplingSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
 [29] arXiv:2005.09775 (replaced) [pdf, other]

Title: Random Toeplitz Matrices: The Condition Number under High Stochastic DependenceAuthors: Paulo ManriqueMirónSubjects: Probability (math.PR); Numerical Analysis (math.NA)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2009, contact, help (Access key information)