Cover Image

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cadiot, Matthieu, Jaquette, Jonathan, Lessard, Jean-Philippe, Takayasu, Akitoshi
Format:	Preprint
Published:	2024
Subjects:	Numerical Analysis Analysis of PDEs
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Rigorous computation of solutions of semi-linear PDEs on unbounded domains via spectral methods
by: Cadiot, Matthieu, et al.
Published: (2023)

A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
by: Duchesne, Gabriel William, et al.
Published: (2024)

Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
by: Cadiot, Matthieu, et al.
Published: (2024)

Constructive existence proofs and stability of stationary solutions to parabolic PDEs using Gegenbauer polynomials
by: Breden, Maxime, et al.
Published: (2026)

Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces
by: Ishige, Toshimasa, et al.
Published: (2025)

Constructive proofs of existence and stability of solitary waves in the Whitham and capillary-gravity Whitham equations
by: Cadiot, Matthieu
Published: (2024)

Recent advances about the rigorous integration of parabolic PDEs via fully spectral Fourier-Chebyshev expansions
by: Cadiot, Matthieu, et al.
Published: (2025)

The 2D Gray-Scott system of equations: constructive proofs of existence of localized stationary patterns
by: Cadiot, Matthieu, et al.
Published: (2024)

Turing instability for nonlocal heterogeneous reaction-diffusion systems: A computer-assisted proof approach
by: Breden, Maxime, et al.
Published: (2025)

Validated integration of semilinear parabolic PDEs
by: Berg, Jan Bouwe van den, et al.
Published: (2023)

Proving symmetry of localized solutions and application to dihedral patterns in the planar Swift-Hohenberg PDE
by: Blanco, Dominic, et al.
Published: (2025)

Existence proofs of traveling wave solutions on an infinite strip for the suspension bridge equation and proof of orbital stability
by: van der Aalst, Lindsey, et al.
Published: (2025)

Mathematical analysis and numerical comparison of energy-conservative schemes for the Zakharov equations
by: Kawai, Shuto, et al.
Published: (2024)

Deep learning methods for stochastic Galerkin approximations of elliptic random PDEs
by: Musco, Fabio, et al.
Published: (2024)

Approximation of arbitrarily high-order PDEs by first-order hyperbolic relaxation
by: Ketcheson, David I., et al.
Published: (2024)

A Deep BSDE approximation of nonlinear integro-PDEs with unbounded nonlocal operators
by: Jakobsen, Espen Robstad, et al.
Published: (2024)

Dirichlet-Neumann and Neumann-Neumann Waveform Relaxation Methods for PDEs with Time Delay
by: Tomer, Deeksha, et al.
Published: (2024)

An Adaptive CUR Algorithm and its Application to Reduced-Order Modeling of Random PDEs
by: Palkar, Grishma, et al.
Published: (2025)

Besov regularity of non-linear parabolic PDEs on non-convex polyhedral domains
by: Dahlke, Stephan, et al.
Published: (2021)

RELift: Learned Coarse-to-Fine Propagators for Time-Dependent PDEs with Applications to Electron Dynamics
by: Bassi, Hardeep, et al.
Published: (2025)

Krylov and core transformation algorithms for an inverse eigenvalue problem to compute recurrences of multiple orthogonal polynomials
by: Faghih, Amin, et al.
Published: (2025)

IMEX-RK finite volume methods for nonlinear 1d parabolic PDEs. Application to option pricing
by: López-Salas, J. G., et al.
Published: (2024)

A posteriori error estimates for the finite element discretization of second-order PDEs set in unbounded domains
by: Chaumont-Frelet, T.
Published: (2025)

Adaptation in shifting and size-changing environments under selection
by: Alfaro, Matthieu, et al.
Published: (2025)

Hierarchical matrix approximability of inverse of convection dominated finite element matrices
by: Saunier, Arthur, et al.
Published: (2025)

Multilevel Picard algorithm for general semilinear parabolic PDEs with gradient-dependent nonlinearities
by: Neufeld, Ariel, et al.
Published: (2023)

Numerical computation of generalized Wasserstein distances with applications to traffic model analysis
by: Briani, Maya, et al.
Published: (2024)

From heteroclinic loops to homoclinic snaking in reversible systems: rigorous forcing through computer-assisted proofs
by: Berg, Jan Bouwe van den, et al.
Published: (2025)

Mechanisms of unstable blowup in a quadratic nonlinear Schrödinger equation
by: Jaquette, Jonathan
Published: (2024)

A simple rigorous integrator for semilinear parabolic PDEs
by: Berg, Jan Bouwe van den, et al.
Published: (2026)

Deep learning surrogate for predicting hydraulic conductivity tensors from stochastic discrete fracture-matrix models
by: Špetlík, Martin, et al.
Published: (2024)

Multilevel Picard approximations overcome the curse of dimensionality in the numerical approximation of general semilinear PDEs with gradient-dependent nonlinearities
by: Neufeld, Ariel, et al.
Published: (2023)

Numerical null controllability of parabolic PDEs using Lagrangian methods
by: Fernandez-Cara, Enrique, et al.
Published: (2024)

Barron Space Representations for Elliptic PDEs with Homogeneous Boundary Conditions
by: Chen, Ziang, et al.
Published: (2025)

Regularity of Second-Order Elliptic PDEs in Spectral Barron Spaces
by: Chen, Ziang, et al.
Published: (2026)

An efficient solver based on low-rank approximation and Neumann matrix series for unsteady diffusion-type partial differential equations with random coefficients
by: Zhu, Yujun, et al.
Published: (2026)

Proving the existence of localized patterns and saddle node bifurcations in 1D activator-inhibitor type models
by: Blanco, Dominic, et al.
Published: (2025)

Approximating a spatially-heterogeneously mass-emitting object by multiple point sources in a diffusion model
by: Peng, Qiyao, et al.
Published: (2025)

Sharp bounds on Helmholtz impedance-to-impedance maps and application to overlapping domain decomposition
by: Lafontaine, David, et al.
Published: (2022)

On a robust inf-sup condition for the Stokes problem in slender domains -- with application to preconditioning
by: Sande, Espen, et al.
Published: (2025)