Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
From MaRDI portal
(Redirected from Publication:710895)
Recommendations
- On the analytic continuation of solutions to nonlinear partial differential equations
- Analytic inequalities and their applications in PDEs
- On analytic continuation of solutions of linear partial differential equations
- Analytic continuation of solutions of homogeneous irregular elliptic higher-order equations in a plane
- scientific article; zbMATH DE number 1247422
- Analytic approximability of solutions of partial differential equations
- scientific article; zbMATH DE number 2163180
- scientific article; zbMATH DE number 4048188
- Analyticity of the solutions of linear and semilinear partial differential equations
- Analytic solutions of a class of nonlinear partial differential equations
Cites work
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
- Free energy of a nonuniform system. I: Interfacial free energy
- Global smooth solution curves using rigorous branch following
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Numerical methods in bifurcation problems. Lectures delivered at the Indian Institute of Science, Bangalore, under the T.I.F.R.-I.I.Sc. Programme in Applications of Mathematics. Notes by A. K. Nandakumaran and Mythily Ramaswamy
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
- Rigorous numerics for the Cahn-Hilliard equation on the unit square
- Validated Continuation for Equilibria of PDEs
- Validated continuation over large parameter ranges for equilibria of PDEs
- Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains
Cited in
(49)- Rapidly and slowly oscillating periodic solutions of a delayed van der Pol oscillator
- Rigorous numerics for NLS: bound states, spectra, and controllability
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
- Analytic continuation of solutions of homogeneous irregular elliptic higher-order equations in a plane
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series
- Validated Continuation for Equilibria of PDEs
- Validation of the bifurcation diagram in the 2D Ohta-Kawasaki problem
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- Global dynamics in nonconservative nonlinear Schrödinger equations
- Validated continuation over large parameter ranges for equilibria of PDEs
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: a computer-assisted proof
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- Global smooth solution curves using rigorous branch following
- Automatic differentiation for Fourier series and the radii polynomial approach
- Blow-up profile for solutions of a fourth order nonlinear equation
- Equilibrium validation in models for pattern formation based on Sobolev embeddings
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Existence of secondary bifurcations or isolas for PDEs
- Analytic enclosure of the fundamental matrix solution.
- A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto-Sivashinsky PDE
- Rigorous enclosures of solutions of Neumann boundary value problems
- Rigorous FEM for One-Dimensional Burgers Equation
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Computational fixed-point theory for differential delay equations with multiple time lags
- Rigorously computing symmetric stationary states of the Ohta-Kawasaki problem in three dimensions
- Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
- Rigorous continuation of periodic solutions for impulsive delay differential equations
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
- Computer-assisted equilibrium validation for the diblock copolymer model
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
- Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
- Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates
- Numerical verification for solutions to partial differential equations
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- Rigorous computation of a radially symmetric localized solution in a Ginzburg-Landau problem
- Stationary coexistence of hexagons and rolls via rigorous computations
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
This page was built for publication: Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q710895)
