Automatically identifying the asymptotic behavior of nonlinear singularly perturbed boundary value problems

DOI10.1007/BF02341856MaRDI QIDQ1197389zbMATH OpenOpenAlexFDO

Authors Mark F. Russo, Richard L. Peskin

Publication date 16 January 1993

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02341856

zbMATH Keywords

path-finding

Mathematics Subject Classification ID

Singular perturbations for ordinary differential equations (34E15) Symbolic computation and algebraic computation (68W30)

Review text

This paper describes a computational procedure designed to automatically analyze the behavior of certain general classes of nonlinear singular perturbation problems by applying the combined results of a body of theory that proves the existence of solutions for these problems. There is also a computer program which the authors created that implements the computational procedure. The core mathematical knowledge contained in the program is composed of rules that embody the results of mathematical theorems from nonlinear singular perturbation theory. The principle method of proof used in the mathematical theory yields an estimate of a solution by constructing sharp bounding functions that define a region in which the solution exists uniquely. As a result, a successful application of the program produces an approximation of a solution as a side effect. In addition, the mathematical theory can be used to show the existence of multiple solutions for a nonlinear singulary perturbed boundary value problem. This feature is also reflected in the results obtained from the program. The ability to construct such a program depends critically on the successful coupling of a non-deterministic program technique called path-finding with the capabilities of a computer algebra system.

Recommendations

• An automatic continuation strategy for the solution of singularly perturbed nonlinear boundary value problems
• An algorithm for solving nonlinear singular perturbation problems with mechanization
• Approximate analytical solution of singularly perturbed boundary value problems in Maple
• An algorithm for solving singular perturbation problems with mechanization
• Singular perturbation methods for the solution of some nonlinear boundary value problems

Cites work

• A second-order nonlinear boundary value problem
• Adaptive Mesh Selection Strategies for Solving Boundary Value Problems
• Boundary and Corner Layer Behavior in Singularly Perturbed Semilinear Systems of Boundary Value Problems
• Boundary-interior layer interactions in nonlinear singular perturbation theory
• Differential inequality techniques and singular perturbations
• scientific article; zbMATH DE number 4078976 (Why is no real title available?)
• Multi-dimensional initial-boundary value problems with strong nonlinearities
• Numerical Methods for Stiff Systems of Two-Point Boundary Value Problems
• Order of singularity applied to linear operators
• Subfunction and second-order ordinary differential inequalities

Cited in

(3)

• A survey of numerical techniques for solving singularly perturbed ordinary differential equations
• Computer-aided heuristic analysis of fluid models
• Diagnosis of singular points of structured DAEs using automatic differentiation

This page was built for publication: Automatically identifying the asymptotic behavior of nonlinear singularly perturbed boundary value problems

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