Formal solutions of differential equations

DOI10.1016/S0747-7171(08)80037-5zbMath0727.12011MaRDI QIDQ803209

Michael F. Singer

Publication date: 1990

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

surveycomputer algebra systemsasymptotic methodsdifferential algebrapower series solutionsMACSYMAfirst problem of Galois theory

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Explicit solutions, first integrals of ordinary differential equations (34A05) Differential algebra (12H05) Asymptotic expansions of solutions to ordinary differential equations (34E05) Research exposition (monographs, survey articles) pertaining to ordinary differential equations (34-02) Research exposition (monographs, survey articles) pertaining to field theory (12-02)

Related Items

Liouvillian solutions of first order nonlinear differential equations ⋮ Linear differential equation with inhomogeneity in the form of a formal power series over a ring with non-Archimedean valuation ⋮ On the presumed superiority of analytical solutions over numerical methods ⋮ Topological obstructions to the representability of functions by quadratures. ⋮ On algebraic functions integrable in finite terms ⋮ On the complete integrability and linearization of nonlinear ordinary differential equations. III. Coupled first-order equations ⋮ First integrals for the damped Helmholtz oscillator ⋮ Symbolic verification of hybrid systems: an algebraic approach ⋮ An analytical scheme on complete integrability of 2D biophysical excitable systems ⋮ Deciding Hopf bifurcations by quantifier elimination in a software-component architecture ⋮ On truncated series involved in exponential-logarithmic solutions of truncated LODEs ⋮ On the development of Adomian decomposition method for solving PDE systems with non-prescribed data

Uses Software

• Maple
• REDUCE
• MACSYMA
• FINGER
• LIE0
• SPDE
• DEtools
• Alkahest III
• NEWEUL

Cites Work

• DEtools
• Computer algebra application for determining Lie and Lie-Bäcklund symmetries of differential equations
• Complexity of quantifier elimination in the theory of ordinary differentially closed fields
• Non-commutative Gröbner bases in algebras of solvable type
• Automatically determining symmetries of partial differential equations
• Approximants de Padé-Hermite. I.: Théorie
• An extension of Hardy's class L of orders of infinity
• New orders of infinity
• Hardy fields
• Power series solutions of algebraic differential equations
• An algorithm for determining polynomial first integrals of autonomous systems of ordinary differential equations
• Theory of summation in finite terms
• Un algorithme de calcul de l'invariant de Katz d'un système différentiel linéaire. (An algorithm for the calculation of the Katz invariant of a linear differential system)
• Integration in finite terms with special functions: the error function
• The Riquier-Janet theory and its application to nonlinear evolution equations
• Hardy fields and existence of transexponential functions
• Lie series and nonlinear ordinary differential equations
• Exponential rings, exponential polynomials and exponential functions
• An algorithm for solving second order linear homogeneous differential equations
• FINGER: A symbolic system for automatic generation of numerical programs in finite element analysis
• On the calculation of some differential Galois groups
• Calcul des invariants de Malgrange et de Gérard-Levelt d'un système différentiel linéaire en un point singulier irrégulier. (The Malgrange and Gérard-Levelt invariants calculus of a differential system linear in an irregular singular point)
• An analytic algorithm for decoupling and integrating systems of nonlinear partial differential equations
• Formes super-irréductibles des systèmes différentiels linéaires. (Super-irreducible forms of linear differential systems)
• Integrals of multinomial systems of ordinary differential equations
• On the algebraic and differential Newton-Puiseux polygons
• A note on pseudo-CM representations and differential Galois groups
• Perturbation methods, bifurcation theory and computer algebra
• Siegel normality
• Elementary and Liouvillian solutions of linear differential equations
• The diagonal of a D-finite power series is D-finite
• Application of NEWEUL in robot dynamics
• Equations de Pfaff algébriques
• The method of creative telescoping
• Liouvillian solutions of linear differential equations with Liouvillian coefficients
• Characterization of regular singular linear systems of difference equations
• Similarity methods for differential equations
• Jordan decomposition for a class of singular differential operators
• Elementary solutions of differential equations
• On Liouville's theory of elementary functions
• Formula manipulations solving linear ordinary differential equations. II
• Differential valuations
• Integrals of \(\nu\)-graded systems of ordinary differential equations
• Explicit evaluation of certain definite integrals involving powers of logarithms
• Asymptotic phase amplitude for a modified Coulomb potential in scattering theory. An application of invariant imbedding
• Liouville's theorem on functions with elementary integrals
• Meromorphic families of compact operators
• Lie theory and special functions
• Functional equations in the theory of dynamic programming. XV: Layered functionals and partial differential equations
• Invariants mesurant l'irrégularité en un point singulier des systèmes d'équations différentielles linéaires
• The order of a singularity in Fuchs' theory
• Integration of elementary functions
• Associative differential operations
• Sur l'intégrabilite élémentaire de quelques classes d'expressions
• Elementary First Integrals of Differential Equations
• Théorèmes d’indices Gevrey pour les équations différentielles ordinaires
• The Rank of a Hardy Field
• Rank change on adjoining real powers to Hardy fields
• Criterion of global equivalence of linear differential equations
• MACSYMS's inverse Laplace transform
• Solving Homogeneous Linear Differential Equations in Terms of Second Order Linear Differential Equations
• An Extension of Liouville’s Theorem on Integration in Finite Terms
• Some Applications of Linear Groups to Differential Equations
• Analytic Hardy Fields and Exponential Curves in the Real Plane
• "Orders of Infinity" Generated by Difference Equations
• Discrete "Orders of Infinity"
• Integration in Finite Terms with Special Functions: The Logarithmic Integral
• A Simple Algorithm for Cyclic Vectors
• The Similarity Method for Difference Equations
• The Risch Differential Equation Problem
• Algebraic Relations Among Solutions of Linear Differential Equations: Fano's Theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symmetries of Differential Equations: From Sophus Lie to Computer Algebra
• Classification of Second-Order Ordinary Differential Equations Admitting Lie Groups of Fibre-Preserving Point Symmetries
• Solution of the Inverse Problem of Differential Galois Theory in the Classical Case
• On Second Order Linear Differential Equations with Algebraic Solutions
• Algebraic Properties of the Elementary Functions of Analysis
• On Second Order Linear Differential Equations with Algebraic Solutions on Algebraic Curves
• Asymptotic Approximations and Error Bounds
• On the Value Group of a Differential Valuation II
• Liouvillian Solutions of n-th Order Homogeneous Linear Differential Equations
• Summation in Finite Terms
• Solving Ordinary Differential Equations in Terms of Series with Real Exponents
• Computing with Formal Power Series
• Implicity Elementary Integrals
• Functions Satisfying Elementary Relations
• Symbolic Solution of Finite-Difference Equations
• Decision procedure for indefinite hypergeometric summation
• Symbolic Computation of Padé Approximants
• On the Value Group of a Differential Valuation
• A counterexample to elimination in systems of algebraic differential equations
• The solution of the problem of integration in finite terms
• An Introduction to Lie Groups and Lie Algebras, with Applications. III: Computational Methods and Applications of Representation Theory
• Integration in Finite Terms
• Symbolic manipulation and computational fluid dynamics