Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof

DOI10.1017/S0956792514000308zbMath1384.34030OpenAlexW2323454677MaRDI QIDQ4594528

Anaïs Correc, Jean-Philippe Lessard

Publication date: 24 November 2017

Published in: European Journal of Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956792514000308

zbMATH Keywords

boundary value problemsGinzburg-Landau equationChebyshev seriescontraction mapping theoremrigorous numericscoexistence of nontrivial solutions

Mathematics Subject Classification ID

Nonlinear boundary value problems for ordinary differential equations (34B15) Statistical mechanics of superconductors (82D55) Numerical solution of boundary value problems involving ordinary differential equations (65L10)

Related Items (8)

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof ⋮ Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ A general framework for validated continuation of periodic orbits in systems of polynomial ODEs ⋮ Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach ⋮ Blow-up profile for solutions of a fourth order nonlinear equation

Uses Software

• INTLAB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
• Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
• Validated continuation over large parameter ranges for equilibria of PDEs
• Branch switching in bifurcation problems for ordinary differential equations
• On the solutions of the one-dimensional Ginzburg-Landau equations for superconductivity
• Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
• Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
• Multiple states and hysteresis for type I superconductors
• Numerical approximations of the Ginzburg–Landau models for superconductivity
• Boundary value problems of the Ginzburg–Landau equations
• Validated Continuation for Equilibria of PDEs
• Global smooth solution curves using rigorous branch following
• Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
• Analysis and Approximation of the Ginzburg–Landau Model of Superconductivity
• Symmetric Superconducting States in Thin Films
• Macroscopic Models for Superconductivity
• There are Asymmetric Minimizers for the One-Dimensional Ginzburg--Landau Model of Superconductivity
• The existence of multiple solutions for a Ginzburg–Landau type model of superconductivity
• Asymptotic Analysis of a Secondary Bifurcation of the One-Dimensional Ginzburg--Landau Equations of Superconductivity
• On the uniqueness of solutions of the Ginzburg–Landau system for thin films
• Asymptotic analysis of the bifurcation diagram for symmetric one-dimensional solutions of the Ginzburg–Landau equations
• On the global bifurcation diagram for the one-dimensional Ginzburg–Landau model of superconductivity
• Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
• The bifurcation diagrams for the Ginzburg-Landau system of superconductivity

This page was built for publication: Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof