Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
DOI10.1007/S10208-015-9259-7zbMATH Open1347.65102OpenAlexW289966560MaRDI QIDQ285445FDOQ285445
Authors: Marcio Gameiro, Jean-Philippe Lessard, Alessandro Pugliese 
Publication date: 19 May 2016
Published in: Foundations of Computational Mathematics (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/20.500.11794/1468
Recommendations
- On the computation of multi-dimensional solution manifolds of parametrized equations
- A new algorithm for two-dimensional numerical continuation
- scientific article; zbMATH DE number 3872580
- MULTIPLE PARAMETER CONTINUATION: COMPUTING IMPLICITLY DEFINED k-MANIFOLDS
- scientific article; zbMATH DE number 4062492
Banach spaceCahn-Hilliard equationcontraction mappingnonlinear equationscontinuation methodcontraction methodssimplicial approximationssimplicial triangulationstwo-dimmensional manifolds
A priori estimates in context of PDEs (35B45) PDEs in connection with fluid mechanics (35Q35) Bifurcations in context of PDEs (35B32) Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Numerical solutions to equations with nonlinear operators (65J15)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Free energy of a nonuniform system. I: Interfacial free energy
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Title not available (Why is that?)
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- Validated continuation over large parameter ranges for equilibria of PDEs
- On the computation of multi-dimensional solution manifolds of parametrized equations
- The computation of simplicial approximations of implicitly defined \(p\)-dimensional manifolds
- Positive definiteness in the numerical solution of Riccati differential equations
- The computation of simplicial approximations of implicitly defined two- dimensional manifolds
- A new algorithm for two-dimensional numerical continuation
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
- Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
- Global smooth solution curves using rigorous branch following
- Simplicial and Continuation Methods for Approximating Fixed Points and Solutions to Systems of Equations
- Stability and Multiplicity of Solutions to Discretizations of Nonlinear Ordinary Differential Equations
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- MULTIPLE PARAMETER CONTINUATION: COMPUTING IMPLICITLY DEFINED k-MANIFOLDS
- Path Following by SVD
- Rigorous numerics for the Cahn-Hilliard equation on the unit square
Cited In (19)
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Critical homoclinics in a restricted four-body problem: numerical continuation and center manifold computations
- Rigorous validation of stochastic transition paths
- Microscopic patterns in the 2D phase-field-crystal model
- Periodic orbits in Hořava-Lifshitz cosmologies
- A Posteriori Validation of Generalized Polynomial Chaos Expansions
- Validation of the bifurcation diagram in the 2D Ohta-Kawasaki problem
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- Automatic differentiation for Fourier series and the radii polynomial approach
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Rigorous enclosures of solutions of Neumann boundary value problems
- Continuation of solutions and studying delay differential equations via rigorous numerics
- Computational techniques to locate crossing/sliding regions and their sets of attraction in non-smooth dynamical systems
- Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations
- Rigorous verification of Hopf bifurcations via desingularization and continuation
- A generalized combinatorial marching hypercube algorithm
- Validated computation of heteroclinic sets
- Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
Uses Software
This page was built for publication: Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q285445)
