ABSTRACT
We present an algorithm for determining the existence of the limit of a real multivariate rational function q at a given point which is an isolated zero of the denominator of q. When the limit exists, the algorithm computes it, without making any assumption on the number of variables.
A process, which extends the work of Cadavid, Molina and Velez, reduces the multivariate setting to computing limits of bivariate rational functions. By using regular chain theory and triangular decomposition of semi-algebraic systems, we avoid the computation of singular loci and the decomposition of algebraic sets into irreducible components.
- P. Alvandi, C. Chen, and M. Moreno Maza. Computing the limit points of the quasi-component of a regular chain in dimension one. In Proc. of CASC'13, volume 8136 of Lect. Notes Comput. Sci., pages 30--45, 2013. Google ScholarDigital Library
- C. Cadavid, S. Molina, and J. D. Vélez. Limits of quotients of bivariate real analytic functions. J. Symb. Comput., 50:197--207, 2013. Google ScholarDigital Library
- C. Chen, J. H. Davenport, J. P. May, M. Moreno Maza, B. Xia, and R. Xiao. Triangular decomposition of semi-algebraic systems. J. Symb. Comput., 49:3--26, 2013. Google ScholarDigital Library
- C. Chen, J. H. Davenport, M. Moreno Maza, B. Xia, and R. Xiao. Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. J. Symb. Comput., 52:72--96, 2013. Google ScholarDigital Library
- C. Chen and M. Moreno Maza. Algorithms for computing triangular decomposition of polynomial systems. J. Symb. Comput., 47(6):610--642, 2012. Google ScholarDigital Library
- C. Chen and M. Moreno Maza. Quantifier elimination by cylindrical algebraic decomposition based on regular chains. In ISSAC'14, pages 91--98. ACM, 2014. Google ScholarDigital Library
- D. Gruntz. A new algorithm for computing asymptotic series. In ISSAC'93, pages 239--244. ACM, 1993. Google ScholarDigital Library
- D. Gruntz. On computing limits in a symbolic manipulation system. PhD thesis, ETZ Zurich, 1996.Google Scholar
- G. R. Lawlor. A L'hospital's rule for multivariable functions. ArXiv e-prints, August 2012.Google Scholar
- D. Lazard and F. Rouillier. Solving parametric polynomial systems. J. Symb. Comput., 42(6):636--667, 2007. Google ScholarDigital Library
- M. Moreno Maza, B. Xia, and R. Xiao. On solving parametric polynomial systems. Mathematics in Computer Science, 6(4):457--473, 2012.Google ScholarCross Ref
- B. Salvy and J. Shackell. Symbolic asymptotics: Multiseries of inverse functions. J. Symb. Comput., 27(6):543--563, 1999. Google ScholarDigital Library
- T. Sasaki and F. Kako. Solving multivariate algebraic equation by hensel construction. Japan Journal of Industrial and Applied Mathematics, 1999.Google ScholarCross Ref
- J. D. Vélez, J. P. Hernández, and C. A. Cadavid. Limits of quotients of real polynomial functions of three variables. ArXiv e-prints, May 2015.Google Scholar
- S.J. Xiao and G.X. Zeng. Determination of the limits for multivariate rational functions. Science China Mathematics, 57(2):397--416, 2014.Google ScholarCross Ref
- L. Yang, X. Hou, and B. Xia. A complete algorithm for automated discovering of a class of inequality-type theorems. Science in China Series F: Information Sciences, 44(1):33--49, 2001.Google ScholarCross Ref
Index Terms
- Computing Limits of Real Multivariate Rational Functions
Recommendations
Orthogonal rational functions and quadrature on the real half line
In this paper we generalize the notion of orthogonal Laurent polynomials to orthogonal rational functions. Orthogonality is considered with respect to a measure on the positive real line. From this, Gauss-type quadrature formulas are derived and ...
Orthogonal rational functions and quadrature on an interval
Rational functions with real poles and poles in the complex lower half-plane, orthogonal on the real line, are well known. Quadrature formulas similar to the Gauss formulas for orthogonal polynomials have been studied. We generalize to the case of ...
Orthogonal rational functions on the real half line with poles in [-∞, 0]
Special issue: Proceedings of the conference on orthogonal functions and related topics held in honor of Olav NjåstadThe main objective is to generalize previous results obtained for orthogonal Laurent polynomials and their application in the context of Stieltjes moment problems to the multipoint case. The measure of orthogonality is supposed to have support on [0, ∞) ...
Comments