Skip to main content
Log in

Gröbner basis and the problem of contiguous relations

  • Published:
Japan Journal of Applied Mathematics Aims and scope Submit manuscript

Abstract

It is a classical problem to find contiguous relations of hypergeometric functions of several variables. Recently Kametaka [11] and Okamoto [15] have developed the theory of hypergeometric solutions of the Toda equation. We need to find the explicit formulas of contiguous relations (or ladders) to construct the hypergeometric solutions of the Toda equation explicitly. We present an algorithm to obtain contiguous relations of hypergeometric functions of several variables. The algorithm is based on Buchberger’s algorithm [3] on the Gröbner basis.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. D. A. Bayer, The division algorithm and the Hilbert scheme. Ph. D. thesis, Harvard Univ., 1982.

  2. G. M. Bergman, The Diamond Lemma for Ring Theory. Adv. in Math.,29 (1978), 178–218.

    Article  MathSciNet  Google Scholar 

  3. B. Buchberger, Ein Algorithmus zum Auffinden der Basiselements des Restklassenringes nach einem nulldimensionalen Polynomideal. Ph. D. Thesis, Univ. Innsbruck, Austria, 1965.

    Google Scholar 

  4. B. Buchberger, Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Aequationes Math.,4 (1970), 374–383.

    Article  MATH  MathSciNet  Google Scholar 

  5. B. Buchberger, A theoretical basis for the reduction of polynomials to canonical forms. ACM SIGSAM Bull.,39 (1976), 19–29.

    MathSciNet  Google Scholar 

  6. B. Buchberger and R. Loos, Algegraic simplification. Computing Suppl.,4 (1982), 11–43.

    Google Scholar 

  7. A. Erdélyi et al., Higher Transcendental Functions. MacGraw-Hill, New York, 1953.

    Google Scholar 

  8. A. Furukawa, T. Sasaki and H. Kobayashi, Gröbner basis of a module overK[x 1,...,x n ] and polynomial solutions of a system of linear equations. ISBN ACM 0-89791-199-7, 1986, 222–224.

  9. A. Galligo, Some algorithmic questions on ideals of differential operators. Lecture Note in Comput. Sci.,204, 1985, 413–421.

    MathSciNet  Google Scholar 

  10. K. Iwasaki, Riemann function of harmonic equation and Appell’sF 4. SIAM J. Math. Anal.,1 9 (1988), 902–917.

    Article  MathSciNet  Google Scholar 

  11. Y. Kametaka, Hypergeometric solutions of Toda equation. RIMS Kokyuroku,554, 1985, 26–46.

    Google Scholar 

  12. T. Kimura, Hypergeometric functions of two variables, Seminar Note Series of Univ. Tokyo, 1972.

  13. W. Miller, Jr., Lie theory and generalizations of hypergeometric functions. SIAM J. Appl. Math.,25 (1973), 226–235.

    Article  MATH  MathSciNet  Google Scholar 

  14. H. M. Möller and F. Mora, New constructive methods in classical ideal theory. J. Algebra,100 (1986), 138–178.

    Article  MATH  MathSciNet  Google Scholar 

  15. K. Okamoto, Sur les échelles associées aux fonctions spéciales et l’équation de Toda. J. Fac. Sci., Univ. Tokyo, Sec. IA Math.,34 (1987), 709–740.

    MATH  Google Scholar 

  16. N. Takayama, Euler-Poisson-Darboux equation, Harmonic equation and special functions of several variables. To appear in Proceedings of “La théorie des équations différentielles dans le champ complex”, Strasbourg, 1985.

  17. G. Zacharias, Generalized Gröbner basis in commutative polynomial rings. Bachelor Thesis, M.I.T. Dept. Comput. Sci., 1978.

Download references

Author information

Authors and Affiliations

Authors

About this article

Cite this article

Takayama, N. Gröbner basis and the problem of contiguous relations. Japan J. Appl. Math. 6, 147–160 (1989). https://doi.org/10.1007/BF03167920

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03167920

Key words

Navigation