Rigorous numerics for nonlinear operators with tridiagonal dominant linear part

DOI10.3934/DCDS.2015.35.4765MaRDI QIDQ255432zbMATH OpenOpenAlexFDO

Authors Jean-Philippe Lessard, Maxime Breden, Laurent Desvillettes

Publication date 9 March 2016

Published in Discrete and Continuous Dynamical Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1503.06315

zbMATH Keywords

contraction mappingFourier seriesrigorous numericstridiagonal operator

Mathematics Subject Classification ID

Quasitriangular and nonquasitriangular, quasidiagonal and nonquasidiagonal linear operators (47A66) Applications of operator theory in numerical analysis (47N40) Numerical solutions to equations with nonlinear operators (65J15)

Abstract: We present a method designed for computing solutions of infinite dimensional non linear operators $f(x)=0$ with a tridiagonal dominant linear part. We recast the operator equation into an equivalent Newton-like equation $x=T(x)=x-Af(x)$, where $A$ is an approximate inverse of the derivative $Df(overlinex)$ at an approximate solution $overlinex$. We present rigorous computer-assisted calculations showing that $T$ is a contraction near $overlinex$, thus yielding the existence of a solution. Since $Df(overlinex)$ does not have an asymptotically diagonal dominant structure, the computation of $A$ is not straightforward. This paper provides ideas for computing $A$, and proposes a new rigorous method for proving existence of solutions of nonlinear operators with tridiagonal dominant linear part.

Recommendations

• On the numerical range of tridiagonal operators
• Numerical Methods for the Tridiagonal Hyperbolic Quadratic Eigenvalue Problem
• Publication:4860566
• Robust Rational Approximations of Nonlinear Eigenvalue Problems
• The numerical range of a class of periodic tridiagonal operators
• Numerical verification of existence and inclusion of solutions for nonlinear operator equations
• Trigonometric collocation for nonlinear Riemann-Hilbert problems on doubly connected domains
• Rigorous numerics for nonlinear heat equations in the complex plane of time
• scientific article; zbMATH DE number 1167595
• On the numerical solution of nonlinear eigenvalue problems

Cites work

• scientific article; zbMATH DE number 3750146 (Why is no real title available?)
• scientific article; zbMATH DE number 1440908 (Why is no real title available?)
• A Hermite spectral method for the computation of homoclinic orbits and associated functionals
• A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
• A topological method for rigorously computing periodic orbits using Fourier modes
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
• Automatic differentiation for Fourier series and the radii polynomial approach
• Chebyshev and Fourier spectral methods.
• Computational fixed-point theory for differential delay equations with multiple time lags
• 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
• Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
• Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
• Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits

Cited in

(4)

• Trigonometric collocation for nonlinear Riemann-Hilbert problems on doubly connected domains
• Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
• A Posteriori Validation of Generalized Polynomial Chaos Expansions
• A construction of two different solutions to an elliptic system

Describes a project that uses

Uses Software

• INTLAB

This page was built for publication: Rigorous numerics for nonlinear operators with tridiagonal dominant linear part

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q255432)