We prove the Poincaré inequality for vector fields on the balls of the control distance by integrating along subunit paths. Our method requires that the balls are representable by means of suitable “controllable almost exponential maps”.
Odlyzko A. Asymptotic enumeration methods[C]., 1996: 1063-1229.
2
Wimp J, Zeilberger D. Resurrecting the asymptotics of linear recurrences[J]. Journal of Mathematical Analysis and Applications, 1985, 111(1): 162-176.
3
Abramov S A, Barkatou M A. Rational solutions of first order linear difference systems[C]. international symposium on symbolic and algebraic computation, 1998: 124-131.
4
Wong R, Li H. Asymptotic expansions for second-order linear difference equations[J]. Journal of Computational and Applied Mathematics, 1992: 65-94.
5
Barkatou M A. Rational solutions of matrix difference equations: the problem of equivalence and factorization[C]. international symposium on symbolic and algebraic computation, 1999: 277-282.
6
Mallik R K. Solutions of linear difference equations with variable coefficients[J]. Journal of Mathematical Analysis and Applications, 1998, 222(1): 79-91.
7
Cluzeau T, Van Hoeij M. Computing Hypergeometric Solutions of Linear Recurrence Equations[J]. Applicable Algebra in Engineering, Communication and Computing, 2006, 17(2): 83-115.
8
Morse M. George David Birkhoff and his mathematical work[J]. Bulletin of the American Mathematical Society, 1946, 52(5): 357-391.
9
Wang Z, Wong R. Linear difference equations with transition points[J]. Mathematics of Computation, 2005, 74(250): 629-653.
10
Wong R, Li H. Asymptotic Expansions for Second‐Order Linear Difference Equations, II[J]. Studies in Applied Mathematics, 1992, 87(4): 289-324.