Constructive existence proofs and stability of stationary solutions to parabolic PDEs using Gegenbauer polynomials

Documenti analoghi

• Constructive proofs of existence and stability of solitary waves in the Whitham and capillary-gravity Whitham equations
  di: Cadiot, Matthieu
  Pubblicazione: (2024)
• The 2D Gray-Scott system of equations: constructive proofs of existence of localized stationary patterns
  di: Cadiot, Matthieu, et al.
  Pubblicazione: (2024)
• Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
  di: Cadiot, Matthieu, et al.
  Pubblicazione: (2024)
• Existence proofs of traveling wave solutions on an infinite strip for the suspension bridge equation and proof of orbital stability
  di: van der Aalst, Lindsey, et al.
  Pubblicazione: (2025)
• A simple rigorous integrator for semilinear parabolic PDEs
  di: Berg, Jan Bouwe van den, et al.
  Pubblicazione: (2026)