Generalization of a Quadratic Transformation Formula due to Gauss

The aim of this research paper is to obtain explicit expressions of (1−𝑥)2−2𝑎𝐹1[𝑎,𝑏;−4𝑥/(1−𝑥)22𝑏

The special case of 1.1 for p 2 and q 1, namely was systematically studied by Gauss 2 in 1812.
The series 1.1 is of great importance to mathematicians and physicists.All the elements a, b, and c similarly for 1.1 in 1.4 are called the parameters of the series and z is called the variable of the series.All four quantities a, b, c, and z may be real or complex with one exception that the denominator parameter c should not be zero or a negative integer.Also it can easily been seen that if any one of the numerator parameters a or b or both is a negative integer, the series terminates that is, reduces to a polynomial.
The series 1.4 is known as Gauss series or the ordinary hypergeometric series and may be regarded as a generalization of the elementary geometric series.In fact 1.4 reduces to the elementary geometric series in two cases, when a c and b 1 and also when b c and a 1.
For convergence including absolute convergence we refer the reader to the standard texts 3 and 1 .
It is interesting to mention here that in 1.4 , if we replace z by z/b and let b → ∞, then since b n z n /b n → z n we arrive at the following series: which is called the Kummer's series or the confluent hypergeometric series.

International Journal of Mathematics and Mathematical Sciences 3
Gauss's hypergeometric function 2 F 1 and its confluent case 1 F 1 form the core of the special functions and include, as their special cases, most of the commonly elementary functions.
It should be remarked here that whenever hypergeometric and generalized hypergeometric functions reduce to gamma functions, the results are very important from an application point of view.Only a few summation theorems for the series 2 F 1 and 3 F 2 are available.
In this context, it is well known that the classical summation theorems such as of Gauss, Gauss second, Kummer and Bailey for the series 2 F 1 ; Watson, Dixon, Whipple, and Saalsch ütz for the series 3 F 2 play an important rule in the theory of hypergeometric and generalized series.
Several formulae were given by Gauss 2 and Kummer 4 expressing the product of the hypergeometric series as a hypergeometric series, such as e −x 1 F 1 x as a series of the type 1 F 1 −x and 1 x −p 2 F 1 4x/ 1 x 2 as a series of the type 2 F 1 x .In 1927, Whipple 5 has obtained a formula expressing 1 − x −p 3 F 2 −4x/ 1 − x 2 as a series of the type 3 F 2 .By employing the above mentioned classical summation theorems for the series 2 F 1 and 3 F 2 , Bailey 6 in his well known, interesting and popular research paper made a systematic study and obtained a large number of such formulas.
Gauss 2 obtained the following quadratic transformation formula, namely The proof of 1.7 when one of the parameters a or b is a negative integer was given in Watson 10 .Subsequently, it was established more generally in the nonterminating case by Whipple 5 .The standard proof of the nonterminating case was given in Bailey's tract 3 by employing the fundamental transformation due to Thomae combined with the classical Dixon's theorem of the sum of a 3 F 2 .For a very recent proof of 1.7 , see 11 .

International Journal of Mathematics and Mathematical Sciences
It is not out of place to mention here that in 1.6 , if we replace x by x/a and let a → ∞, then after a little simplification, we get the following well-known Kummer's second theorem 4, page 140 12, page 132 , namely

1.12
We remark in passing that the results 1.9 and 1.10 are also recorded in 14 .
Recently, a good progress has been made in generalizing the classical Watson's theorem 1.7 on the sum of a 3 F 2 .In 1992, Lavoie et al. 15 have obtained explicit expressions of For i j 0, we get Watson's theorem 1.7 .In the same paper 15 , they have also obtained a large number of very interesting limiting and special cases of their main findings.
In 16 , a summation formula for 1.7 with fixed j and arbitrary i i, j ∈ Z was given.This result generalizes the classical Watson's summation theorem with the case i j 0.
For the a recent generalization of Watson's summation theorems and other classical summation theorems for the series 2 F 1 and 3 F 2 in the most general case, see 17 .
The aim of this research paper is to obtain the explicit expressions of 1.14 In order to derive our main results, we shall require the following.
1 The following special cases of 1.13 for i 0, recorded in 15 : each for j 0, ±1, ±2.Also, as usual, x denotes the greatest integer less than or equal to x, and its modulus is defined by |x|.The coefficients D j and E j are given in Table 1.

Main Transformation Formulae
The generalization of the quadratic transformation 1.6 due to Gauss to be established is x 2n 1 for j 0, ±1, ±2.

2.1
Also, as usual, x represents the greatest integer less than or equal to x, and its modulus is denoted by |x|.The coefficients D j and E j are given in Table 1.

Derivation
In order to derive our main transformation 2.1 , we proceed as follows.
Proof.Denoting the left-hand side of 2.1 by S, we have Expressing 2 F 1 as a series and after a little simplification Using Binomial theorem 1.18 , we have International Journal of Mathematics and Mathematical Sciences 7 Changing n to n − k and using the result 1, page 57, lemma 11 we have

2.7
Using 1.20 and after a little algebra Summing up the inner series, we have separating into even and odd powers of x, we have

2.10
Finally, using 1.17 , 1.15 , and 1.16 and after a little algebra, we easily arrive at the right-hand side of 2.1 .
This completes the proof of 2.1 .

Special Cases
In 2.1 , if we put j 0, ±1, ±2, we get, after summing up the series in terms of generalized hypergeometric function, the following interesting results: i For j 0,

3.3
International Journal of Mathematics and Mathematical Sciences 9 iv For j 2,

3.5
Clearly, the result 3.1 is the well-known quadratic transformation due to Gauss 1.6 and the results 3.2 to 3.5 are closely related to 3.1 .
Remark 3.1.The results 3.2 and 3.3 are also recorded in 18 .

International Journal of Mathematics and Mathematical Sciences
In 3.1 , 3.2 , and 3.4 , if we take b 1/2, we get the following results:

3.8
We remark in passing that the result 3.6 is the Entry 5 of Chapter 11 in Ramanujan's Notebooks 8, page 50 with x replaced by −x , and the results 3.7 and 3.8 are closely related to 3.6 .

Limiting Cases
In the special cases 3.1 to 3.5 , if we replace x by x/b and let b → ∞, we get, after a little simplification, the known results 1.8 and 1.9 to 1.12 , respectively.

Application
In this section, we shall first establish the following result, which is given as Entry 4 in the Ramanujan's Notebooks 8, page 50 : Proof.In order to prove 4.1 , we require the following result due to Kummer 4 : Equation 4.2 is a well-known quadratic transformation recorded in Erdèlyi et al. 9, equation 4, page 111 and also recorded as an Entry 2 in the Ramanujan's Notebooks 8, page 50 .In 4.2 , if we replace x by 2 √ x/ 1 x , then we have Transposing the above equation, we have International Journal of Mathematics and Mathematical Sciences Now, in 3.1 first replacing x by −x and then replacing x by √ x and using on the right-hand side of 4.4 , we get This completes the proof of 4.1 .In our next application, we would like to mention here that in 1996, there was an open problem posed by Baillon and Bruck 19, equation 5.17 who needed to verify the following hypergeometric identity: Our objective of this section is to obtain first three results from 3.1 , 3.2 , and 3.4 and then establish again three new results out of which one will be the natural generalization of the Baillon-Bruck identity 4.6 .

International Journal of Mathematics and Mathematical Sciences 13
For this, in our results 3.1 , 3.2 , and 3.4 , if we replace x by z − 1 /z, we get after a little simplification the following results: 4.9 International Journal of Mathematics and Mathematical Sciences Finally, in 4.7 , 4.8 , and 4.9 if we take a −m and b 1/2, we get the following very interesting results: We conclude this section by remarking that the result 4.7 is also recorded in 22 by Rathie and Kim who obtained it by other means and the results 4.8 and 4.9 are believed to be new.

Remark 4 . 1 . 1
The result 4.1 can also be established by employing Gauss's summation theorem. 2 For generalization of 4.2 , see a recent paper by Kim et al. 13 .

4 . 6 in
order to derive a quantitative form of the Ishikawa-tdelstinó Brain asymptotic regularity theorem.Using Zeilberger's algorithm 20 , Baillon and Bruck 19 gave a computer proof of this identity which is the key to the integral representation 19, equation 2.1 of their main theorem.Soon after, Paule 21 gave the proof of 4.6 by using classical hypergeometric machinery by means of contiguous functions relations and Gauss's quadratic transformation 3.1 .
a natural generalization of Baillon-Bruck result 4.6 .The result 4.11 is an alternate form of the Baillon-Bruck result 4.6 .Its exact form can be obtained from 4.11 by using the contiguous function relation a b −m and c 1. International Journal of Mathematics and Mathematical Sciences 15 1.8 which also appeared as Entry 7 of the chapter 11 of Ramanujan's Notebooks 8, page 50 of course, by replacing x by x/2 .Very recently, Kim et al. 13 have obtained sixty six results closely related to 1.8 out of which four results are given here.These are