Abstract
For positive integers \(f_1,f_2,m,l\), we define a generalization of Apéry numbers \(A(f_1,f_2,m,l,\lambda )\) given by
In this article, we deduce congruence relations satisfied by these generalized Apéry numbers extending results of (Coster in Supercongruences, Ph.D. thesis, Universiteit Leiden, 1988). We find expressions of \(A(f_1,f_2,m,l,\lambda )\) in terms of Gaussian hypergeometric series and evaluate some new supercongruences similar to Beukers’ supercongruences.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and statement of results
In [3], R. Apéry introduced the numbers \(a_n\) and \(b_n\) commonly known as Apéry numbers defined by the explicit formulas
in his irrationality proof of \(\zeta (3)\) and \(\zeta (2)\), respectively. Since their appearance, mathematicians started looking more closely at these numbers and found many interesting properties satisfied by them. Chowla et al. [11] were first to consider congruence properties for the Apéry numbers. They proved many interesting congruence relations for the Apéry numbers and listed a few conjectures relating them. For example, they proved that for primes \(p\ge 5\),
Gessel [13] generalized this to the stronger result
In a recent paper [10], Chan, Cooper, and Sica investigated certain sequences of integers \(\{f_n\}_{n=1}^\infty \) that satisfy relations similar to (1.1). The identification of \(a_n\) as the coefficients of certain power series motivates them to obtain Apéry-like sequences \(\{f_n\}_{n=1}^{\infty }\) satisfying congruences similar to (1.1).
One main purpose of this paper is to find similar congruences for the numbers \(A(f_1,f_2,m,l,\lambda )\) given by the formula
where \(f_1,f_2,m,l\in \mathbb {N}\). Note that this family of sequences includes the Apéry numbers. In his PhD thesis [12], Coster studied the numbers \(A(f_1,f_1,l,m,\lambda )\) and proved that
if \(p\ge 5\) and \(\lambda =\pm 1\). Our main result extends the result of Coster and proves the following congruence for the numbers \(A(f_1,f_2,m,l,\pm 1)\).
Theorem 1.1
Let \(\lambda =\pm 1\). For primes \(p>3\) and integers \(l\ge 2\), \(r\ge 1\), we have
Let p be an odd prime, and \(\mathbb {F}_p\) denote the finite field with p elements. A multiplicative character \(\chi :\mathbb {F}_p^\times \rightarrow \mathbb {C}\) is a group homomorphism. The set \(\widehat{\mathbb {F}_p^\times }\) of all multiplicative characters on \(\mathbb {F}_p^\times \) forms a cyclic group under multiplication of characters. Extend each character \(\chi \in \widehat{\mathbb {F}_p^{\times }}\) to all of \(\mathbb {F}_p\) by setting \(\chi (0)\,{:=}\,0\). The binomial coefficient \({A \atopwithdelims ()B}\) is defined by
where J(A, B) denotes the usual Jacobi sum and \(\overline{B}\) is the inverse of B. The following property of binomial coefficients is known from [14]
With this notation, for characters \(A_0, A_1,\ldots , A_r\) and \(B_1, B_2,\ldots , B_r\) of \(\mathbb {F}_p\), Greene [14] defined the Gaussian hypergeometric series \({_{r+1}}F_r\left( \begin{array}{cccc} A_0, &{} A_1, &{} \ldots , &{} A_r\\ &{} B_1, &{} \ldots , &{} B_r \end{array}\mid x \right) \) over \(\mathbb {F}_p\) as
where the sum is over all characters \(\chi \) of \(\mathbb {F}_p\).
For an odd prime p, Beukers [9] and Stienstra-Beukers [25] proved many interesting congruence properties satisfied by Apéry numbers, and they respectively made the following two conjectures concerning the Apéry numbers and the coefficients of two modular forms:
where
For \(p\not \mid a_{\frac{p-1}{2}}\), Ishikawa [17] gave a proof (1.3). In [1], Ahlgren and Ono proved (1.3) by relating the Gaussian hypergeometric series \({_{4}}F_3(1)\) to \(\alpha (p)\) via the modularity of a certain Calabi-Yau threefold. Moreover, they defined the generalized Apéry numbers A(n, n, l, k, 1) and found certain Beukers-like congruences for these generalized Apéry numbers exploring connections between Gaussian hypergeometric series, elliptic curves and the Dedekind eta function. Following the technique of [1], Ahlgren [2] studied \({_{3}}F_2(\lambda )\) Gaussian hypergeometric series using tools from p-adic analysis and deduced (1.4), which was already proved by vanHamme [26] for \(p\equiv 1\) (mod 4) and by Ishikawa [16] in general. Further, he evaluated some new supercongruences similar to (1.4) by inserting Beukers’ supercongruences into a larger framework.
One of our main aims in this paper is to investigate similar phenomena for the generalized Apéry numbers \(A(m,n,l,k,\lambda )\) and Gaussian hypergeometric series \({_{r+1}}F_r(\lambda )\). In [20], Koike found an expression of \(A\left( \frac{p-1}{2},\frac{p-1}{2},m,l,1\right) \) in terms of Gaussian hypergeometric series with quadratic and trivial characters as parameters. Following this, Ono [22] deduced a similar congruence relation for \(A\left( \frac{p-1}{2},\frac{p-1}{2},m,l,\lambda \right) \). In the following theorem, we extend these results of [20, 22] and evaluate an expression of \(A\left( \frac{p-1}{r},\frac{p-1}{s},m,l,\lambda \right) \) in terms of Gaussian hypergeometric series.
Theorem 1.2
Let p be an odd prime such that \(p\equiv 1\) (mod lcm(r, s)). If \(w=m+l\) and \(0<a<r\), \(0<b<s\), then
where the character \(\psi ^a\) of order r appears m times and the character \(\xi ^b\) of order s appears l times.
As a consequence of the above theorem, we evaluate the following congruences for the generalized Apéry numbers.
Theorem 1.3
Let \(p\equiv 1\) (mod 4) be a prime and \(d=\frac{p-1}{4}\), then
where \(p=a_3^2+3b_3^2\) and \(a_3\equiv -1\) (mod 3), when \(p\equiv 1\) (mod 3).
We now move our attention to supercongruence relations satisfied by the generalized Apéry numbers \(A\left( \frac{r-1}{r}(p-1),\frac{p-1}{r},m,m(r-1),\lambda \right) \). For odd prime p, we define
where \(H_0\,{:=}\,0\) and \(H_n\,{:=}\,1+\frac{1}{2}+\ldots +\frac{1}{n}\) for \(n\in \mathbb {N}\). In the following theorem, we express Gaussian hypergeometric series in terms of the quantities \(A\left( f_1,f_2,m,l,\lambda \right) \) and \(B\left( f_1,f_2,m,l,\lambda \right) \).
Theorem 1.4
Let \(p\equiv 1\) (mod r) and \(T\in \widehat{\mathbb {F}_q^\times }\) be a generator of the character group, then
Remark 1.5
In [1], Ahlgren and Ono obtained a particular case of Theorem 1.4 with \(r=2,m=2\). Moreover, they deduced the Beukers’ conjecture (1.3) by proving the combinatorial identity \(B\left( \frac{p-1}{2},\frac{p-1}{2},2,2,1\right) \equiv 0~~(\text {mod}~p)\).
Remark 1.6
For \(r=2\) and \(m\in \mathbb {N}\), Osburn and Schneider [23] found a modulo \(p^3\) version of Theorem 1.4 extending results of [1, 2]. In particular, they deduced a supercongruence for the Legendre symbol \(\left( \frac{-1}{p}\right) \), which generalized a supercongruence conjecture of Rodriguez-Villegas proved by Mortenson [21].
For \(\lambda \in \mathbb {Q}\backslash \{0,1\}\), consider the family of elliptic curves
and denote by \({_{2}}a_1(p, \lambda )\) the trace of the Frobenius endomorphism of \({_{2}}E_1(\lambda )\) over \(\mathbb {F}_p\). Then the associated Hasse-Weil L-function of \({_{2}}F_1(\lambda )\) is given by \(L({_{2}}E_1(\lambda ),s)=\sum _{n=1}^\infty \frac{{_{2}}a_1(n,\lambda )}{n^s}\). Koike [20] proved that if p is an odd prime for which ord\(_p(\lambda (\lambda -1))=0\), then
This, together with Theorem 1.4 yields
Corollary 1.7
If p is an odd prime and \(\lambda \in \mathbb {Q}\backslash \{0,1\}\) such that ord\(_p(\lambda (\lambda -1))=0\), then
A particular case of [5, Theorem. 3.2] states that if \(p\equiv 1\) (mod 4), then the trace of Frobenius map on the elliptic curve \(E(\lambda )\,{:}\, y^2=x^3+\lambda x^2+x\) over \(\mathbb {F}_p\) is given by
With a change of variables in [18, (4.2)], we obtain
As a result, we deduce
Therefore, we have the following immediate consequence of Theorem 1.4.
Corollary 1.8
Let p be an odd prime and \(\lambda \in \mathbb {Q}^\times \) such that ord\(_p(\lambda ^2-4)=0\), then
The organization of this paper is as follows. In Section 2, we prove Theorem 1.1 using the techniques of [13] and [24]. We prove Theorem 1.2 in Section 3, and deduce the congruence relations for \(A(\frac{p-1}{r},\frac{p-1}{s},m,l,\lambda )\) stated in Theorem 1.3. In Section 4, we recall necessary properties of Jacobi sums and p-adic Gamma function required to prove Theorem 1.4 in Section 5. Finally, in the last section we give examples of certain supercongruences similar to Beukers’ supercongruences as given in [2, Section 5].
2 Proof of Theorem 1.1
We recall the following result from [24].
Lemma 2.1
[24, Lemma 2.2] Let p be a prime and n an integer such that \(n\not \equiv 0\) (mod \(p-1)\). Then, for all integers \(r\ge 0\),
If, additionally, n is even, then, for primes \(p\ge 5\),
In addition, we prove the following lemma.
Lemma 2.2
Let \(p\ge 5\) be a prime and n be an even integer such that \(n\not \equiv 0\) (mod \(p-1)\). Then for all integers \(r> 0\),
Proof
If \(p\not \mid k\), then \(p\not \mid (p^r-k)\) for any \(r> 0\). Therefore,
Since n is even, we complete the proof of the lemma. \(\square \)
Lemma 2.3
For prime p and integers \(f_1,f_2,k\ge 0,r\ge 1, A\ge 0,B\ge 0,\) we have
Proof
The proof of the lemma follows immediately from [24, Lemma 2.5]. \(\square \)
Proof of Theorem 1.1
Let \(\lambda =\pm 1\). Splitting into two sums, we obtain
If \(p\mid j\), then \(j=kp^s\) for some \(k,s\ge 0\) and \(p\not \mid k\). Therefore,
Clearly \(s\le r\), and hence using Jacobsthal’s congruences [24, Lemma 2.1]
and
we deduce that
For \(p\not \mid k\), we have
In particular,
Since \(r+2s+2(r-s)=3r\), (2.2) and (2.3) give
Again if \(p\not \mid j\), then
In particular,
for \(l\ge 3\), and hence the proof follows from (2.1) because of (2.4) when \(l\ge 3\). Thus we are left to prove the case when \(l = 2\). We now follow the approach of [24]. For \(l=2\), we need to show that
which is equivalent to
Using Lemma 2.3, we obtain
because of the fact that \(\left[ \frac{k-1}{p}\right] = \left[ \frac{k}{p}\right] \) when \(p\not \mid k\). In view of (2.5) and (2.6), it is enough to show that
for \(s=0,1,\ldots , r\). The case \(s=0\) is trivial, whereas Lemma 2.3 proves it for \(s=1\). Let \(\lbrace j{:}p^s\rbrace \,{:=}\,j-p^s[\frac{j}{p^s}]\), then
It is clear from Lemma 2.2 that \(p^s\) divides the inner sum of (2.8) for \(\lambda =-1\), and Lemma 2.1 implies that \(p^s\) divides each inner sum of (2.9) for \(\lambda =1\). For \(s<r\), we use Lemma 2.3 in the above expression to obtain
Induction on s completes the proof of (2.7). Moreover, (2.8), (2.9) and (2.7) together imply that
which completes the proof of the theorem. \(\square \)
3 Proof of Theorem 1.2 and 1.3
Proof of Theorem 1.2
Let \(\omega \) denote the Teichmüller character defined as \(\omega (x)\equiv x\) (mod p) for \(x = 0,1,\ldots , p-1\). Using [20, Lemma 1], we obtain
where \(\psi \) and \(\xi \) are characters of order r and s, respectively. Using (1.2), we have
Thus the fact \(\frac{1}{p-1}\equiv -1\) (mod p) completes the proof of the theorem. \(\square \)
Proof of Theorem 1.3
Putting \(S=\phi \) in each expression of [4, Theorem 1.8], we obtain
respectively. Together with Theorem 1.2 and [8, Section 3.1], the first two expressions yield (i) and the last two complete the proof of (ii). \(\square \)
In view of [6, Theorem 1.4], we can also deduce the following congruences similar to Theorem 1.3.
Corollary 3.1
Let \(p=a_4^2+b_4^2\equiv 1\) (mod 4), where \(a_4\equiv -\phi (2)\) (mod 4). If \(d=\frac{p-1}{4}\), then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs40993-016-0069-z/MediaObjects/40993_2016_69_Equ70_HTML.gif)
Similarly, [7, Theorem 1.7 and Corollary 3.4] provides the following corollary.
Corollary 3.2
If \(p\equiv 1\) (mod 3) and \(e=\frac{p-1}{3}\), then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs40993-016-0069-z/MediaObjects/40993_2016_69_Equ71_HTML.gif)
4 Preliminaries on p-adic gamma function
In this section we recall some notations and preliminary results required to prove Theorem 1.4. We begin with properties of p-adic Gamma function \(\Gamma _p\) (for details, see [19]). For \(n\in \mathbb {N}\), the p-adic Gamma function is defined as
Extend \(\Gamma _p\) to all \(x\in \mathbb {Z}_p\) by setting \(\Gamma _p(0)=1\) and
where n runs through any sequence of positive integers which p-adically approaches x. The following lemma provides some main properties of Gamma function, which are easy consequences of its definition.
Lemma 4.1
[1, 19] Let \(p\ge 5\) be a prime. If \(x,y,z \in \mathbb {Z}_p\) with \(|z|\le |p|\), where \(|\cdot |\) is the p-adic norm. Then
-
(a)
\(\Gamma _p(x+1)=\left\{ \begin{array}{ll} -x\Gamma _p(x), &{} \quad \hbox {if}\,|x|=1; \\ -\Gamma _p(x), &{} \quad \hbox {if}\,|x|<1. \\ \end{array} \right. \)
-
(b)
\(\Gamma _p(x)\Gamma _p(1-x)=(-1)^{\text {Re}(x)}\), where Re(x) denotes the representative of x (mod p) in the set \(\{1,2,\ldots ,p\}\).
-
(c)
if \(x\equiv y\) (mod \(p^n)\), then \(\Gamma _p(x)\equiv \Gamma (y)\) (mod \(p^n)\); \(n\in \mathbb {N}\).
-
(d)
\(n!=(-1)^{n+1}\Gamma _p(n+1)\); \(0\le n\le (p-1)\).
-
(e)
\(\Gamma _p'(x+z)\equiv \Gamma _p'(x)\) (mod p).
-
(f)
\(\Gamma _p(x+z)\equiv \Gamma _p(x)+z\Gamma _p'(x)\) (mod \(p^2)\).
We consider the logarithmic derivative given by \(G(x)\,{:=}\,\frac{\Gamma _p'(x)}{\Gamma _p(x)}\). It is easy to see that if \(x\in \mathbb {Z}_p\), then \(G(x)\in \mathbb {Z}_p\). Moreover if \(x\in \mathbb {Z}_p\) and \(|x|=1\), then the logarithmic derivative G(x) satisfy the following nice relation
Finally, we recall some background on Gauss sums. Let \(\pi \in \mathbb {C}_p\) be a fixed root of \(x^{p-1}+p=0\), and we let \(\zeta _p\) be the unique pth root of unity in \(\mathbb {C}_p\) such that \(\zeta _p\equiv 1+\pi \) (mod \(\pi ^2)\). For a multiplicative character \(\chi \), we define the Gauss sum to be
The following lemma provide some well-known properties of Gauss sums:
Lemma 4.2
[8] For characters \(\chi ,\chi _1,\chi _2\) on \(\mathbb {F}_p\), we have
-
(a)
\(g(\chi )g(\overline{\chi }) = \chi (-1)p\).
-
(b)
\(J(\chi _1, \chi _2) = \left\{ \begin{array}{ll} \frac{g(\chi _1)g(\chi _2)}{g(\chi _1\chi _2)}, &{} \quad \hbox {if}\, \chi _1\chi _2\ne \varepsilon ; \\ -\chi _1(-1), &{} \quad \hbox {if}\,\chi _1\chi _2=\varepsilon \quad \mathrm{and} \quad \chi _1\ne \varepsilon ,\chi _2\ne \varepsilon . \end{array} \right. \)
Let \(\omega \) denote the Teichmüller character, then \(\omega \) can be defined uniquely by the property that \(\omega (x)\equiv x\) (mod p) for \(x = 0,\ldots , p-1\). In this context, the Gross-Koblitz formula [15] states that
5 Proof of Theorem 1.4
The main aim of this section is to prove Theorem 1.4. Following the approach of [1], we break the proof into a number of lemmas, and then combine them to prove the result.
Lemma 5.1
Let \(p>3\) be a prime such that \(p\equiv 1\) (mod r) and ord\(_p(\lambda )>0\). If \(T\in \widehat{\mathbb {F}_q^\times }\) is a generator of the character group, then
Proof
By definition of Gaussian hypergeometric series, we have
By Lemma 4.2, we obtain
where \(\omega \) is the Teichmüller character. Using the Gross-Koblitz formula (4.2) and the fact that \(\pi ^{w(p-1)}=(-p)^w\), we deduce
It is known that \(\frac{j}{1-p}\equiv j+jp\) (mod \(p^2)\) and \(\omega (\lambda )=\lambda ^p\) (mod \(p^2)\). Using these together with Lemma 4.1 (b), we have
Finally, Lemma 4.1 (f) yields
Multiplying numerator and denominator by \(\lbrace 1-wjpG(1+j)\rbrace \), and then simplifying we complete the proof of the lemma. \(\square \)
Lemma 5.2
Let \(p>3\) be a prime for which ord\(_p(\lambda )>0\), then
Proof
Using Lemma 4.1 (d) and (b), we have
Finally, using Lemma 4.1 (f) and then simplifying we complete the proof of the lemma. \(\square \)
Proof of Theorem 1.4
If \(l=m(r-1)\), then Lemma 5.1 yields
It is easy to deduce that
Again, repeated application of (4.1) yields
Thus Lemma 5.2 together with the fact \(\lambda ^p\equiv \lambda \) (mod p), we have
completing the proof of the theorem. \(\square \)
6 More supercongruences
In [2], Ahlgren proved (1.4) and recorded certain new supercongruences. We also find some similar supercongruences. In the following theorem, we denote by \(D_2(\lambda )\) the discriminant of the polynomial \(f(x)=x^{4}-4x^2-4\lambda \); \(\lambda \ne 0,-1\).
Theorem 6.1
Let \(p>3\) be a prime and \(t\in \{1,-1\}\).
-
(i)
If \(p=a_4^2+b_4^2\equiv 1\) (mod 8) and \(a_4\equiv -\phi (2)\equiv =-1\) (mod 4) such that \(p\not \mid D_2(-1/9)\), then
$$\begin{aligned}&A\left( \frac{p-1}{2},\frac{p-1}{2},1,1,-\left( \frac{4\sqrt{2}}{2\sqrt{2}+3t}\right) ^p\right) +pB&\left( \frac{p-1}{2},\frac{p-1}{2},1,1,-\frac{4\sqrt{2}}{2\sqrt{2}+3t}\right) \\&\equiv -2a_4\phi (3+2\sqrt{2}t)~~({\mathrm{mod}}~p^2). \end{aligned}$$ -
(ii)
If \(p\not \mid D_2(1/3)\), then
$$\begin{aligned}&A\left( \frac{p-1}{2},\frac{p-1}{2},1,1,-\left( \frac{4}{2+\sqrt{3}t}\right) ^p\right) +pB\left( \frac{p-1}{2},\frac{p-1}{2},1,1,-\frac{4}{2+\sqrt{3}t}\right) \\&\quad \equiv \left\{ \begin{array}{ll} 0~(\mathrm {mod}~p^2), &{} \quad \hbox {if}\,p\equiv 11 (\mathrm{{mod}} 12); \\ -2a_3\phi (3+2\sqrt{3}t) ~(\mathrm {mod}~p^2), &{} \quad \text {if } p=a_3^2+3b_3^2\equiv 1~ (\mathrm {mod}~ 12)\\ &{}\text {and}~ a_3\equiv -1~ (\mathrm{mod}~ 3). \end{array} \right. \end{aligned}$$
Proof
In [18, Theorem 1.1], \({_{2}}F_1(\lambda )\) was evaluated for \(\lambda \in \left\{ \frac{4\sqrt{2}}{2\sqrt{2}+3},\frac{4\sqrt{2}}{2\sqrt{2}-3},\frac{4}{2+\sqrt{3}}, \frac{4}{2-\sqrt{3}}\right\} \). Combining these evaluations with Theorem 1.4, we obtain the supercongruences of Theorem 6.1. \(\square \)
Acknowledgements
We thank Ken Ono for going through the initial draft of the paper and many helpful suggestions during the preparation of the paper. We are grateful to the referee for his/her helpful comments.
Competing interests
The authors declare that they have no competing interests.
References
Ahlgren, S., Ono, K.: A Gaussian hypergeometric series evaluation and Apéry number supercongruences. J. Reine. Angew. Math. 518, 187–212 (2000)
Ahlgren, S.: Gaussian hypergeometric series and combinatorial congruences, symbolic computation, number theory, special functions, physics and combinatorics. Dev. Math. 4, 1–12 (2001)
Apéry, R.: Irrationalité de \(\zeta (2)\) and \(\zeta (3)\). Asterisque. 61, 11–13 (1979)
Barman, R., Kalita, G.: Certain values of Gaussian hypergeometric series and a family of algebraic curves. Int. J. Number. Theory. 8(4), 945–961 (2012)
Barman, R., Kalita, G.: Hypergeometric functions over \(\mathbb{F}_q\) and traces of Frobenius for elliptic curves. Proc. Am. Math. Soc. 141(10), 3403–3410 (2013)
Barman, R., Kalita, G.: Elliptic curves and special values of Gaussian hypergeometric series. J. Number. Theory. 133(9), 3099–3111 (2013)
Barman, R., Kalita, G., Saikia, N.: Hyperelliptic curves and values of Gaussian hypergeometric series. Arch. Math. (Basel) 102, 345–355 (2014)
Berndt, B.C., Evans, R.J., Williams, K.S.: Gauss and Jacobi Sums. Canadian Mathematical Society Series of Monographs and Advanced Texts, A Wiley-Interscience Publication, New York (1997)
Beukers, F.: Another congruence for the Apéry numbers. J. Number. Theory. 25, 201–210 (1987)
Chan, H.H., Cooper, S., Sica, F.: Congruences satisfied by Apéry-like numbers. Int. J. Number. Theory. 6(1), 89–97 (2010)
Chowla, S., Cowles, J., Cowles, M.: Congruence properties of Apéry numbers. J. Number. Theory. 12, 188–190 (1980)
M. Coster, Supercongruences, Ph. D. thesis, Universiteit Leiden, 1988
Gessel, I.: Some congruences for Apéry numbers. J. Number. Theory. 14, 362–368 (1982)
Greene, J.: Hypergeometric functions over finite fields. Trans. Am. Math. Soc. 301(1), 77–101 (1987)
Gross, B., Koblitz, N.: Gauss sums and the p-adic G-function. Ann. Math. 109, 569–581 (1979)
Ishikawa, T.: Supercongruence for the Apéry numbers. Nagoya. Math. J. 118, 195–202 (1990)
Ishikawa, T.: On Beukers’ congrunce. Kobe. J. Math. 6, 49–52 (1989)
G. Kalita, Values of Gaussian hypergeometric series and their connections to algebraic curves. Submitted for publication
Koblitz, N.: p-adic analysis: a short course on recent work. Cambridge Univ Press, Cambridge (1980)
Koike, M.: Hypergeometric series over finite fields and Apéry numbers. Hiroshima Math. J. 22, 461–467 (1992)
Mortenson, E.: A supercongruence conjecture of Rodriguez-Villegas for a certain truncated hypergeometric function. J. Number. Theory. 99(1), 139–147 (2003)
Ono, K.: Values of Gaussian hypergeometric series. Trans. Am. Math. Soc. 350(3), 1205–1223 (1998)
Osburn, R., Schneider, C.: Gaussian hypergeometric series and supercongruences. Math. Comp. 78(265), 275–292 (2009)
Osburn, R., Sahu, B., Straub, A.: Supercongruences for sporadic sequences. Proc. Edinb. Math. Soc. 59, 503–518 (2016)
Stienstra, J., Beukers, F.: On the Picard-Fuchs equation and the formal Brauer group of certain elliptic K3-surfaces. Math. Ann. 271(2), 269–304 (1985)
Van Hamme, L., Proof of a conjecture of Beukers on Apéry numbers, Proceedings of the conference on \(p\)-adic analysis (Houthalen, 1987), 189–195, Vrije Univ. Brussel, Brussels. (1986)
Author's contributions
Both authors have made equal contributions to the conception of the article. Both authors carried out the study of the generalized Apéry numbers and deduced statements and proofs of the results. GK has drafted the manuscript. Both authors read and approved the final manuscript.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kalita, G., Chetry, A.S. Congruences for generalized Apéry numbers and Gaussian hypergeometric series. Res. number theory 3, 5 (2017). https://doi.org/10.1007/s40993-016-0069-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-016-0069-z