Formal solutions of differential equations

DOI10.1016/S0747-7171(08)80037-5zbMATH Open0727.12011MaRDI QIDQ803209FDOQ803209

Authors: Michael F. Singer 

Publication date: 1990

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

Recommendations

• Formal solutions and factorization of differential operators with power series coefficients
• scientific article; zbMATH DE number 1944656
• Formal solutions of linear meromorphic differential systems and summability
• Formal solutions of linear differential and difference equations
• On solvability and unsolvability of equations in explicit form

zbMATH Keywords

surveydifferential algebraasymptotic methodspower series solutionscomputer algebra systemsMACSYMAfirst 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) Research exposition (monographs, survey articles) pertaining to ordinary differential equations (34-02) Asymptotic expansions of solutions to ordinary differential equations (34E05) Research exposition (monographs, survey articles) pertaining to field theory (12-02)

Cites Work

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

Cited In (19)

• Title not available (Why is that?)
• On truncated series involved in exponential-logarithmic solutions of truncated LODEs
• Title not available (Why is that?)
• On the complete integrability and linearization of nonlinear ordinary differential equations. III. Coupled first-order equations
• Linear differential equation with inhomogeneity in the form of a formal power series over a ring with non-Archimedean valuation
• Recent progress in the theory of formal solutions for ODE and PDE.
• Solving Homogeneous Linear Differential Equations in Terms of Second Order Linear Differential Equations
• Liouvillian solutions of first order nonlinear differential equations
• Symbolic verification of hybrid systems: an algebraic approach
• Title not available (Why is that?)
• First integrals for the damped Helmholtz oscillator
• An analytical scheme on complete integrability of 2D biophysical excitable systems
• Title not available (Why is that?)
• On algebraic functions integrable in finite terms
• Formal parametric equations
• On the presumed superiority of analytical solutions over numerical methods
• On the development of Adomian decomposition method for solving PDE systems with non-prescribed data
• Topological obstructions to the representability of functions by quadratures.
• Deciding Hopf bifurcations by quantifier elimination in a software-component architecture

Uses Software

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

This page was built for publication: Formal solutions of differential equations

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