Apparent singularities of D-finite systems

DOI10.1016/J.JSC.2019.02.009zbMATH Open1427.13036arXiv1705.00838OpenAlexW2963143268WikidataQ128387199 ScholiaQ128387199MaRDI QIDQ2000276FDOQ2000276

Shaoshi Chen, M. Kauers, Ziming Li, Yi Zhang

Publication date: 28 June 2019

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

Abstract: We generalize the notions of singularities and ordinary points from linear ordinary differential equations to D-finite systems. Ordinary points of a D-finite system are characterized in terms of its formal power series solutions. We also show that apparent singularities can be removed like in the univariate case by adding suitable additional solutions to the system at hand. Several algorithms are presented for removing and detecting apparent singularities. In addition, an algorithm is given for computing formal power series solutions of a D-finite system at apparent singularities.

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

Recommendations

• Removing apparent singularities of systems of linear differential equations with rational function coefficients
• Removing apparent singularities of linear difference systems
• On singular points of solutions of linear differential systems with polynomial coefficients
• Generation and removal of apparent singularities in linear ordinary differential equations with polynomial coefficients
• Apparent singularities of linear difference equations with polynomial coefficients

zbMATH Keywords

[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Gr%EF%BF%BD%EF%BF%BDbner+basis&go=Go Gr��bner basis]formal power seriesdesingularizationapparent singularityD-finite systemordinary point

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Differential algebra (12H05)

Cites Work

• Ideals, Varieties, and Algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Non-commutative elimination in Ore algebras proves multivariate identities
• Title not available (Why is that?)
• Formal solutions of linear PDEs and convex polyhedra. Effective methods in rings of differential operators.
• Picard--Vessiot extensions for linear functional systems
• Apparent singularities of linear difference equations with polynomial coefficients
• Removing apparent singularities of systems of linear differential equations with rational function coefficients
• Title not available (Why is that?)
• Desingularization of Ore operators
• Title not available (Why is that?)
• Desingularization of First Order Linear Difference Systems with Rational Function Coefficients

Cited In (9)

• Appollonius revisited: Supporting spheres for sundered systems
• First-order ODE systems generating confluent Heun equations
• Resolving singularities and monodromy reduction of Fuchsian connections
• Removing apparent singularities of linear difference systems
• Computation of the expected Euler characteristic for the largest eigenvalue of a real non-central Wishart matrix
• Apparent singularities of linear difference equations with polynomial coefficients
• Telescopers for differential forms with one parameter
• Rational solutions of high-order algebraic ordinary differential equations
• Simple differentially definable functions

Uses Software

• HolonomicFunctions

This page was built for publication: Apparent singularities of D-finite systems

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