Numerical Analysis
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Thu, 2 May 24
- [1] arXiv:2405.00198 [pdf, other]
-
Title: Data-driven identification of stable differential operators using constrained regressionSubjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph)
Identifying differential operators from data is essential for the mathematical modeling of complex physical and biological systems where massive datasets are available. These operators must be stable for accurate predictions for dynamics forecasting problems. In this article, we propose a novel methodology for learning sparse differential operators that are theoretically linearly stable by solving a constrained regression problem. These underlying constraints are obtained following linear stability for dynamical systems. We further extend this approach for learning nonlinear differential operators by determining linear stability constraints for linearized equations around an equilibrium point. The applicability of the proposed method is demonstrated for both linear and nonlinear partial differential equations such as 1-D scalar advection-diffusion equation, 1-D Burgers equation and 2-D advection equation. The results indicated that solutions to constrained regression problems with linear stability constraints provide accurate and linearly stable sparse differential operators.
- [2] arXiv:2405.00283 [pdf, ps, other]
-
Title: An Unstructured Mesh Reaction-Drift-Diffusion Master Equation with Reversible ReactionsSubjects: Numerical Analysis (math.NA)
We develop a convergent reaction-drift-diffusion master equation (CRDDME) to facilitate the study of reaction processes in which spatial transport is influenced by drift due to one-body potential fields within general domain geometries. The generalized CRDDME is obtained through two steps. We first derive an unstructured grid jump process approximation for reversible diffusions, enabling the simulation of drift-diffusion processes where the drift arises due to a conservative field that biases particle motion. Leveraging the Edge-Averaged Finite Element method, our approach preserves detailed balance of drift-diffusion fluxes at equilibrium, and preserves an equilibrium Gibbs-Boltzmann distribution for particles undergoing drift-diffusion on the unstructured mesh. We next formulate a spatially-continuous volume reactivity particle-based reaction-drift-diffusion model for reversible reactions of the form $\textrm{A} + \textrm{B} \leftrightarrow \textrm{C}$. A finite volume discretization is used to generate jump process approximations to reaction terms in this model. The discretization is developed to ensure the combined reaction-drift-diffusion jump process approximation is consistent with detailed balance of reaction fluxes holding at equilibrium, along with supporting a discrete version of the continuous equilibrium state. The new CRDDME model represents a continuous-time discrete-space jump process approximation to the underlying volume reactivity model. We demonstrate the convergence and accuracy of the new CRDDME through a number of numerical examples, and illustrate its use on an idealized model for membrane protein receptor dynamics in T cell signaling.
- [3] arXiv:2405.00300 [pdf, other]
-
Title: On a new class of BDF and IMEX schemes for parabolic type equationsComments: This article was accepted for publication in the SIAM Journal on Numerical Analysis on April 30, 2024Subjects: Numerical Analysis (math.NA)
When applying the classical multistep schemes for solving differential equations, one often faces the dilemma that smaller time steps are needed with higher-order schemes, making it impractical to use high-order schemes for stiff problems. We construct in this paper a new class of BDF and implicit-explicit (IMEX) schemes for parabolic type equations based on the Taylor expansions at time $t^{n+\beta}$ with $\beta > 1$ being a tunable parameter. These new schemes, with a suitable $\beta$, allow larger time steps at higher-order for stiff problems than that is allowed with a usual higher-order scheme. For parabolic type equations, we identify an explicit uniform multiplier for the new second- to fourth-order schemes, and conduct rigorously stability and error analysis by using the energy argument. We also present ample numerical examples to validate our findings.
- [4] arXiv:2405.00382 [pdf, ps, other]
-
Title: Modified least squares method and a review of its applications in machine learning and fractional differential/integral equationsSubjects: Numerical Analysis (math.NA)
The least squares method provides the best-fit curve by minimizing the total squares error. In this work, we provide the modified least squares method based on the fractional orthogonal polynomials that belong to the space $M_{n}^{\lambda} := \text{span}\{1,x^{\lambda},x^{2\lambda},\ldots,x^{n\lambda}\},~\lambda \in (0,2]$. Numerical experiments demonstrate how to solve different problems using the modified least squares method. Moreover, the results show the advantage of the modified least squares method compared to the classical least squares method. Furthermore, we discuss the various applications of the modified least squares method in the fields like fractional differential/integral equations and machine learning.
- [5] arXiv:2405.00399 [pdf, other]
-
Title: Enhanced Error Estimates for Augmented Subspace Method with Crouzeix-Raviart ElementComments: 23 pages, 5 figures. arXiv admin note: text overlap with arXiv:2106.00548, arXiv:2401.04063Subjects: Numerical Analysis (math.NA)
In this paper, we present some enhanced error estimates for augmented subspace methods with the nonconforming Crouzeix-Raviart (CR) element. Before the novel estimates, we derive the explicit error estimates for the case of single eigenpair and multiple eigenpairs based on our defined spectral projection operators, respectively. Then we first strictly prove that the CR element based augmented subspace method exhibits the second-order convergence rate between the two steps of the augmented subspace iteration, which coincides with the practical experimental results. The algebraic error estimates of second order for the augmented subspace method explicitly elucidate the dependence of the convergence rate of the algebraic error on the coarse space, which provides new insights into the performance of the augmented subspace method. Numerical experiments are finally supplied to verify these new estimate results and the efficiency of our algorithms.
- [6] arXiv:2405.00422 [pdf, ps, other]
-
Title: Bona-Smith-type systems in bounded domains with slip-wall boundary conditions: Theoretical justification and a conservative numerical schemeSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
Considered herein is a class of Boussinesq systems of Bona-Smith type that describe water waves in bounded two-dimensional domains with slip-wall boundary conditions and variable bottom topography. Such boundary conditions are necessary in situations involving water waves in channels, ports, and generally in basins with solid boundaries. We prove that, given appropriate initial conditions, the corresponding initial-boundary value problems have unique solutions locally in time, which is a fundamental property of deterministic mathematical modeling. Moreover, we demonstrate that the systems under consideration adhere to three basic conservation laws for water waves: mass, vorticity, and energy conservation.
The theoretical analysis of these specific Boussinesq systems leads to a conservative mixed finite element formulation. Using explicit, relaxation Runge-Kutta methods for the discretization in time, we devise a fully discrete scheme for the numerical solution of initial-boundary value problems with slip-wall conditions, preserving mass, vorticity, and energy. Finally, we present a series of challenging numerical experiments to assess the applicability of the new numerical model. - [7] arXiv:2405.00495 [pdf, other]
-
Title: The Loewner framework for parametric systems: Taming the curse of dimensionalityComments: 32 pages, 4 figuresSubjects: Numerical Analysis (math.NA); Systems and Control (eess.SY)
The Loewner framework is an interpolatory framework for the approximation of linear and nonlinear systems. The purpose here is to extend this framework to linear parametric systems with an arbitrary number n of parameters. One main innovation established here is the construction of data-based realizations for any number of parameters. Equally importantly, we show how to alleviate the computational burden, by avoiding the explicit construction of large-scale n-dimensional Loewner matrices of size $N \times N$. This reduces the complexity from $O(N^3)$ to about $O(N^{1.4})$, thus taming the curse of dimensionality and making the solution scalable to very large data sets. To achieve this, a new generalized multivariate rational function realization is defined. Then, we introduce the n-dimensional multivariate Loewner matrices and show that they can be computed by solving a coupled set of Sylvester equations. The null space of these Loewner matrices then allows the construction of the multivariate barycentric transfer function. The principal result of this work is to show how the null space of the n-dimensional Loewner matrix can be computed using a sequence of 1-dimensional Loewner matrices, leading to a drastic computational burden reduction. Finally, we suggest two algorithms (one direct and one iterative) to construct, directly from data, multivariate (or parametric) realizations ensuring (approximate) interpolation. Numerical examples highlight the effectiveness and scalability of the method.
- [8] arXiv:2405.00529 [pdf, other]
-
Title: High-Order Block Toeplitz Inner-Bordering method for solving the Gelfand-Levitan-Marchenko equationSubjects: Numerical Analysis (math.NA)
We propose a high precision algorithm for solving the Gelfand-Levitan-Marchenko equation. The algorithm is based on the block version of the Toeplitz Inner-Bordering algorithm of Levinson's type. To approximate integrals, we use the high-precision one-sided and two-sided Gregory quadrature formulas. Also we use the Woodbury formula to construct a computational algorithm. This makes it possible to use the almost Toeplitz structure of the matrices for the fast calculations.
- [9] arXiv:2405.00539 [pdf, other]
-
Title: Data-driven approximation of Koopman operators and generators: Convergence rates and error boundsSubjects: Numerical Analysis (math.NA); Dynamical Systems (math.DS)
Global information about dynamical systems can be extracted by analysing associated infinite-dimensional transfer operators, such as Perron-Frobenius and Koopman operators as well as their infinitesimal generators. In practice, these operators typically need to be approximated from data. Popular approximation methods are extended dynamic mode decomposition (EDMD) and generator extended mode decomposition (gEDMD). We propose a unified framework that leverages Monte Carlo sampling to approximate the operator of interest on a finite-dimensional space spanned by a set of basis functions. Our framework contains EDMD and gEDMD as special cases, but can also be used to approximate more general operators. Our key contributions are proofs of the convergence of the approximating operator and its spectrum under non-restrictive conditions. Moreover, we derive explicit convergence rates and account for the presence of noise in the observations. Whilst all these results are broadly applicable, they also refine previous analyses of EDMD and gEDMD. We verify the analytical results with the aid of several numerical experiments.
- [10] arXiv:2405.00559 [pdf, other]
-
Title: An Energy Stable Well-balanced Scheme for the Barotropic Euler System with Gravity under the Anelastic ScalingSubjects: Numerical Analysis (math.NA)
We design and analyse an energy stable, structure preserving, well-balanced and asymptotic preserving (AP) scheme for the barotropic Euler system with gravity in the anelastic limit. The key to energy stability is the introduction of appropriate velocity shifts in the convective fluxes of mass and momenta. The semi-implicit in time and finite volume in space fully-discrete scheme supports the positivity of density and yields the consistency with the weak solutions of the Euler system upon mesh refinement. The numerical scheme admits the discrete hydrostatic states as solutions and the stability of numerical solutions in terms of the relative energy leads to well-balancing. The AP property of the scheme, i.e. the boundedness of the mesh parameters with respect to the Mach/Froude numbers and the scheme's asymptotic consistency with the anelastic Euler system is rigorously shown on the basis of apriori energy estimates. The numerical scheme is resolved in two steps: by solving a non-linear elliptic problem for the density and a subsequent explicit computation of the velocity. Results from several benchmark case studies are presented to corroborate the proposed claims.
- [11] arXiv:2405.00569 [pdf, other]
-
Title: A novel central compact finite-difference scheme for third derivatives with high spectral resolutionComments: 28 pages, 15 figures, 10 TablesSubjects: Numerical Analysis (math.NA)
In this paper, we introduce a novel category of central compact schemes inspired by existing cell-node and cell-centered compact finite difference schemes, that offer a superior spectral resolution for solving the dispersive wave equation. In our approach, we leverage both the function values at the cell nodes and cell centers to calculate third-order spatial derivatives at the cell nodes. To compute spatial derivatives at the cell centers, we employ a technique that involves half-shifting the indices within the formula initially designed for the cell-nodes. In contrast to the conventional compact interpolation scheme, our proposed method effectively sidesteps the introduction of transfer errors. We employ the Taylor-series expansion-based method to calculate the finite difference coefficients. By conducting systematic Fourier analysis and numerical tests, we note that the methods exhibit exceptional characteristics such as high order, superior resolution, and low dissipation. Computational findings further illustrate the effectiveness of high-order compact schemes, particularly in addressing problems with a third derivative term.
Cross-lists for Thu, 2 May 24
- [12] arXiv:2405.00007 (cross-list from cs.CE) [pdf, ps, other]
-
Title: Cantera-Based Python Computer Program for Solving Steam Power Cycles with SuperheatingAuthors: Osama A. MarzoukComments: 11 pages, 4 tables, journal paperJournal-ref: International Journal of Emerging Technology and Advanced Engineering. 13(3), 63-73. 2023Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)
One of the main sources of electricity generation is power plants that use water (steam) to rotate turbines, which drive large electric generators. The steam can be generated from renewable or non-renewable energy sources, such as geothermal energy and nuclear fuels. Having an analysis tool for modeling the performance of such steam power plants can greatly help in reaching optimum designs, leading to less fuel consumption, reduced pollution, and cheaper electricity. It is further advantageous if such modeling tool is free to access, does not require many inputs from the user, and gives results in a very short time. These remarks establish a motivation for the current study. This article documents a computer code written in the Python programming language for numerically analysing the main processes in a steam power cycle with superheating. The code utilizes built-in thermodynamic properties for water in the open-source software package "Cantera". A validation case with a benchmarking example in the literature using an independent source of water properties suggests that the developed code is correct. The code can be viewed as an extension to the Python examples for thermodynamic and power generation applications. Cantera can handle both subcritical and supercritical types of superheating. In the subcritical superheating, the steam absolute pressure does not exceed 220.9 bar. In the supercritical superheating, water becomes in a special condition called supercritical fluid, with absolute pressures above 220.9 bar.
- [13] arXiv:2405.00545 (cross-list from cs.IT) [pdf, other]
-
Title: A Double Maximization Approach for Optimizing the LM Rate of Mismatched DecodingSubjects: Information Theory (cs.IT); Numerical Analysis (math.NA)
An approach is established for maximizing the Lower bound on the Mismatch capacity (hereafter abbreviated as LM rate), a key performance bound in mismatched decoding, by optimizing the channel input probability distribution. Under a fixed channel input probability distribution, the computation of the corresponding LM rate is a convex optimization problem. When optimizing the channel input probability distribution, however, the corresponding optimization problem adopts a max-min formulation, which is generally non-convex and is intractable with standard approaches. To solve this problem, a novel dual form of the LM rate is proposed, thereby transforming the max-min formulation into an equivalent double maximization formulation. This new formulation leads to a maximization problem setup wherein each individual optimization direction is convex. Consequently, an alternating maximization algorithm is established to solve the resultant maximization problem setup. Each step of the algorithm only involves a closed-form iteration, which is efficiently implemented with standard optimization procedures. Numerical experiments show the proposed approach for optimizing the LM rate leads to noticeable rate gains.
Replacements for Thu, 2 May 24
- [14] arXiv:2301.10097 (replaced) [pdf, other]
-
Title: Canonical variables based numerical schemes for hybrid plasma models with kinetic ions and massless electronsComments: 25 pages, 8 figuresSubjects: Numerical Analysis (math.NA); Plasma Physics (physics.plasm-ph)
- [15] arXiv:2308.03159 (replaced) [pdf, ps, other]
-
Title: Semilinear elliptic eigenvalue problem: Parametric analyticity and the uncertainty quantificationAuthors: Byeong-Ho BahnComments: 37 pages, 0 figuresSubjects: Numerical Analysis (math.NA)
- [16] arXiv:2309.00069 (replaced) [pdf, ps, other]
-
Title: Multistage DPG time-marching scheme for nonlinear problemsSubjects: Numerical Analysis (math.NA)
- [17] arXiv:2309.12870 (replaced) [pdf, ps, other]
-
Title: Penalty Ensembles for Navier-Stokes with Random Initial Conditions & ForcingAuthors: Rui FangSubjects: Numerical Analysis (math.NA)
- [18] arXiv:2310.00381 (replaced) [pdf, other]
-
Title: Quadratic constraint consistency in the projection-free approximation of harmonic maps and bending isometriesSubjects: Numerical Analysis (math.NA)
- [19] arXiv:2312.11166 (replaced) [pdf, other]
-
Title: Volume-Preserving Transformers for Learning Time Series Data with StructureSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
- [20] arXiv:2404.12087 (replaced) [pdf, other]
-
Title: Optimizing the diffusion coefficient of overdamped Langevin dynamicsComments: 76 pages, 11 figuresSubjects: Numerical Analysis (math.NA)
- [21] arXiv:2311.07338 (replaced) [pdf, other]
-
Title: A mathematical model of the visual MacKay effectSubjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP); Numerical Analysis (math.NA); Neurons and Cognition (q-bio.NC)
- [22] arXiv:2403.10560 (replaced) [pdf, other]
-
Title: Holographic Phase Retrieval via Wirtinger Flow: Cartesian Form with Auxiliary AmplitudeSubjects: Information Theory (cs.IT); Graphics (cs.GR); Image and Video Processing (eess.IV); 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, 2405, contact, help (Access key information)