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.
Similar content being viewed by others
References
D. A. Bayer, The division algorithm and the Hilbert scheme. Ph. D. thesis, Harvard Univ., 1982.
G. M. Bergman, The Diamond Lemma for Ring Theory. Adv. in Math.,29 (1978), 178–218.
B. Buchberger, Ein Algorithmus zum Auffinden der Basiselements des Restklassenringes nach einem nulldimensionalen Polynomideal. Ph. D. Thesis, Univ. Innsbruck, Austria, 1965.
B. Buchberger, Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Aequationes Math.,4 (1970), 374–383.
B. Buchberger, A theoretical basis for the reduction of polynomials to canonical forms. ACM SIGSAM Bull.,39 (1976), 19–29.
B. Buchberger and R. Loos, Algegraic simplification. Computing Suppl.,4 (1982), 11–43.
A. Erdélyi et al., Higher Transcendental Functions. MacGraw-Hill, New York, 1953.
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.
A. Galligo, Some algorithmic questions on ideals of differential operators. Lecture Note in Comput. Sci.,204, 1985, 413–421.
K. Iwasaki, Riemann function of harmonic equation and Appell’sF 4. SIAM J. Math. Anal.,1 9 (1988), 902–917.
Y. Kametaka, Hypergeometric solutions of Toda equation. RIMS Kokyuroku,554, 1985, 26–46.
T. Kimura, Hypergeometric functions of two variables, Seminar Note Series of Univ. Tokyo, 1972.
W. Miller, Jr., Lie theory and generalizations of hypergeometric functions. SIAM J. Appl. Math.,25 (1973), 226–235.
H. M. Möller and F. Mora, New constructive methods in classical ideal theory. J. Algebra,100 (1986), 138–178.
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.
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.
G. Zacharias, Generalized Gröbner basis in commutative polynomial rings. Bachelor Thesis, M.I.T. Dept. Comput. Sci., 1978.
Author information
Authors and Affiliations
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
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF03167920