A numerical verification method for solutions of singularly perturbed problems with nonlinearity
computer assisted proofexponential fittingL-spline methodnonlinear two point boundary value problemsnumerical examplessingular perturbationsverification of finite element solutions
Nonlinear boundary value problems for ordinary differential equations (34B15) Singular perturbations for ordinary differential equations (34E15) Algorithms with automatic result verification (65G20) Numerical solution of boundary value problems involving ordinary differential equations (65L10) Finite element, Rayleigh-Ritz, Galerkin and collocation methods for ordinary differential equations (65L60)
This paper is concerned with the computer assisted proof to verify solutions of two-point singularly perturbed boundary value problems of type: \( L u \equiv - \epsilon u -b(x) u' + c(x) u = f(u),\) \( x \in (0,1)\), \( u(0)=u(1)=0\), where \(\epsilon\) is a small positive parameter, \(f\) is a bounded continuous non linear map, \( b(x), c(x) \in W_{\infty}^1(0,1)\) with \( c(x) \geq \gamma >0\). The proposed technique is based in previous researches of one of the authors [\textit{M. T. Nakao}, Numer. Funct. Anal. Optimization 22, No. 3--4, 321--356 (2001; Zbl 1106.65315)] and requires some a priori estimates of related linear problems. However for the above nonlinear singularly perturbed problems, standard estimates contain negative powers of the small parameter and therefore cannot be applied. In the paper under consideration, the authors derive a priori estimates for the L-spline method based on an exponential fitting with the Green's function, that are not badly affected by the small parameter. Such estimates allow accurate verification of solutions of the above problems. Finally, the results of two numerical examples are presented to show the effectiveness of the proposed verification results.
- A computational method for solving singular perturbation problems using fourth order finite differences
- Uniform pointwise convergence for a singularly perturbed problem using arc-length equidistribution.
- Tension Spline for the Solution of Self-adjoint Singular Perturbation Problems
- A posteriori error bounds for two point boundary value problems: a Green's function approach
- A computational method for solving singular perturbation problems
- B-splines with artificial viscosity for solving singularly perturbed boundary value problems
- Family of quadratic spline difference schemes for a convection–diffusion problem
- A special class of singular singularly perturbed two-point boundary value problems via fitted mesh B-spline method
- Fitted mesh B-spline method for solving a class of singular singularly perturbed boundary value problems
- scientific article; zbMATH DE number 6537514
- A finite element method for a singularly perturbed boundary value problem
- An Analysis of a Singularly Perturbed Two-Point Boundary Value Problem Using Only Finite Element Techniques
- An Analysis of a Superconvergence Result for a Singularly Perturbed Boundary Value Problem
- scientific article; zbMATH DE number 1694910 (Why is no real title available?)
- scientific article; zbMATH DE number 863018 (Why is no real title available?)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
- Numerical Continuation and Singularity Detection Methods for Parametric Nonlinear Programming
- scientific article; zbMATH DE number 5785599 (Why is no real title available?)
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
This page was built for publication: A numerical verification method for solutions of singularly perturbed problems with nonlinearity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1774296)
