Constructive proofs for some semilinear PDEs on H^2(e^|x|^2/4, R^d)
From MaRDI portal
Publication:6896029
Cites work
- scientific article; zbMATH DE number 3076879 (Why is no real title available?)
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- A new branch of mountain pass solutions for the choreographical 3-body problem
- A numerical approach to the proof of existence of solutions for elliptic problems
- A very singular solution of the heat equation with absorption
- Approximation of Some Diffusion Evolution Equations in Unbounded Domains by Hermite Functions
- Asymptotic profiles of solutions to viscous Hamilton--Jacobi equations
- Automatic differentiation for Fourier series and the radii polynomial approach
- Best constant in Sobolev inequality
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- Computational aspects of pseudospectral Laguerre approximations
- Computer-assisted equilibrium validation for the diblock copolymer model
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Computer-assisted proofs for some nonlinear diffusion problems
- Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing
- Computer-assisted proofs in PDE: a survey
- Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd
- Eigenvalue excluding for perturbed-periodic one-dimensional Schrödinger operators
- Existence, uniqueness and asymptotic behavior of the solutions to the fully parabolic Keller-Segel system in the plane
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Functional analysis, Sobolev spaces and partial differential equations
- Hermite pseudospectral method for nonlinear partial differential equations
- Local-in-space estimates near initial time for weak solutions of the Navier-Stokes equations and forward self-similar solutions
- Non-radial solutions for some semilinear elliptic equations on the disk
- Numerical verification methods and computer-assisted proofs for partial differential equations
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations
- On polynomial forms of nonlinear functional differential equations
- On the eigenfunctions of the complex Ornstein-Uhlenbeck operators
- On the equation u+x u+f(u)=0
- Periodic localised traveling waves in the two-dimensional suspension bridge equation
- Radial symmetry of self-similar solutions for semilinear heat equations
- Rapidly decaying solutions of an ordinary differential equation with applications to semilinear elliptic and parabolic partial differential equations
- Remarks on the large time behaviour of a nonlinear diffusion equation
- Rigorous computation of a radially symmetric localized solution in a Ginzburg-Landau problem
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
- Rigorous computer-assisted application of KAM theory: a modern approach
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
- Rigorous numerics in dynamics
- Rigorous validation of stochastic transition paths
- Self-Similar Solutions of a Convection Diffusion Equation And Related Semilinear Elliptic Problems
- Self-similar solutions of a generalized Burgers equation with nonlinear damping.
- Self-similar solutions of the pseudo-conformally invariant nonlinear Schrödinger equation
- Smooth imploding solutions for 3D compressible fluids
- Spontaneous periodic orbits in the Navier-Stokes flow
- Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data. II: Rigorous numerics
- Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
- Stochastic processes and applications. Diffusion processes, the Fokker-Planck and Langevin equations
- Symmetric tensor spherical harmonics on the N-sphere and their application to the de Sitter group SO(N,1)
- Uniqueness of rapidly decaying solutions to the Haraux-Weissler equation
- VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
- Validated Continuation for Equilibria of PDEs
- Validation of the bifurcation diagram in the 2D Ohta-Kawasaki problem
- Variational problems related to self-similar solutions of the heat equation
- Weighted Sobolev spaces with applications to singular nonlinear boundary value problems
Cited in
(2)
This page was built for publication: Constructive proofs for some semilinear PDEs on \(H^2(e^{|x|^2/4}, \mathbb{R}^d)\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6896029)
