# zbMATH — the first resource for mathematics

##### Examples
 Geometry Search for the term Geometry in any field. Queries are case-independent. Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact. "Topological group" Phrases (multi-words) should be set in "straight quotation marks". au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted. Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff. "Quasi* map*" py: 1989 The resulting documents have publication year 1989. so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14. "Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic. dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles. py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses). la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

##### Operators
 a & b logic and a | b logic or !ab logic not abc* right wildcard "ab c" phrase (ab c) parentheses
##### Fields
 any anywhere an internal document identifier au author, editor ai internal author identifier ti title la language so source ab review, abstract py publication year rv reviewer cc MSC code ut uncontrolled term dt document type (j: journal article; b: book; a: book article)
Transformations of some Gauss hypergeometric functions. (English) Zbl 1076.33002
Hypergeometric identities derived from transformations are a long standing and highly valuable issue in the study of hypergeometric functions. The classical transformations have been first stated by Gauss, Euler, Kummer, Pfaff, just to mention some of them. Thus, the question of deriving all transformations of a certain type is an interesting and valuable problem. An algebraic transformation of the Gauss hypergeometric function is an identity of the form $$F(\alpha,\eta;\gamma;x) \, = \, \theta(x) F(a,b;c;\varphi(x)),$$ where $\varphi$ is a rational function of $x$, and $\theta$ is a product of powers of rational functions. The author studies transformations of what he calls {\it hyperbolic hypergeometric functions}. These are Gauss hypergeometric functions which are solutions of the hypergeometric equation with the local exponent differences $1/k$, $1/l$, $1/m$, where $k,l,m$ are positive integers and $1/k+1/l+1/m<1$. The author uses the correspondence between algebraic transformations and pull-back transformations of the hypergeometric differential equation with respect to the finite covering $\varphi:{\Bbb P}^1\to{\Bbb P}^1$ determined by the function $\varphi$. He then explicitly calculates all algebraic transformations of hyperbolic hypergeometric functions by computing suitable coverings $\varphi:{\Bbb P}^1\to{\Bbb P}^1$ with certain branching patterns. Since rational functions on Riemann surfaces are Belyi functions, he can give an algorithm to compute certain Belyi functions explicitly. The results include well-known hypergeometric transformations of degrees 2,3,4, and 6, as well as new transformations of higher degrees. It is an interesting point that some of the derived transformations correspond to Coxeter decompositions of Schwarz triangles.

##### MSC:
 33C05 Classical hypergeometric functions, ${}_2F_1$
Full Text:
##### References:
 [1] Andrews, G. E.; Askey, R.; Roy, R.: Special functions. (1999) · Zbl 0920.33001 [2] F. Beukers, Gauss’ hypergeometric function, Technical Report, Utrecht University, http://www.math.uu.nl/people/beukers/MRIcourse93.ps, 2002. · Zbl 1118.14012 [3] Broughton, S. A.; Haney, D. M.; Mckeough, L. T.; Mayfield, B. S.: Divisible tilings in the hyperbolic plane. New York J. Math. 6, 237-283 (2000) · Zbl 0962.05017 [4] A. Erdélyi (Ed.), Higher Transcendental Functions, vol. I, McGraw-Hill, New York, 1953. · Zbl 0051.30303 [5] Felikson, A. A.: Coxeter decompositions of hyperbolic polygons. European J. Combin. 19, No. 7, 801-817 (1998) · Zbl 0927.51023 [6] Goursat, E.: Sur l’équation différentielle linéaire qui adment pour intégrale la série hypergéométrique. Ann. sci. École noprm. Sup. (2) 10, S3-S142 (1881) [7] Hartshorne, R.: Algebraic geometry. (1977) · Zbl 0367.14001 [8] Hodgkinson, J.: A detail in conformal representation. Proc. London math. Soc. (2) 18, 268-273 (1920) · Zbl 47.0929.02 [9] A.V. Kitaev, Dessins d’enfants, their deformations and algebraic the sixth Painlevé and Gauss hypergeometric functions, available at http://arxiv.org/nlin/0309078, 2003. [10] Kovacic, J. J.: An algorithm for solving second order linear differential equations. J. symbolic comput. 2, 3-43 (1986) · Zbl 0603.68035 [11] Kreines, E.: On families of geometric parasitic solutions for Belyi systems of genus zero. Fundamentalnaya i priklandaya matematika 9, No. 1, 103-111 (2003) [12] Shabat, G.: On a class of families of Belyi functions. Formal power series and algebraic combinatorics, 575-581 (2000) · Zbl 0962.14024 [13] Van Der Put, M.: Symbolic analysis of differential equations. Some tapas of computer algebra, 208-237 (1998) [14] R. Vidūnas, Algebraic transformations of Gauss hypergeometric functions, available at http://arxiv.org/math.CA/0408269, 2004. [15] M. Yoshida, Hypergeometric Functions, My Love: Modular Interpretations of Configuration Spaces, Aspects of Mathematics, vol. E 32, Friedrick Vieweg and Son, New York, 1997. · Zbl 0889.33008