Arjun K. Rathie,Mykola A. Shpot
Abstract:The objective of this short note is to provide two closed-form evaluations for the generalized hypergeometric function $_4F_3$ of the argument $\frac1{16}$. This is achieved by means of separating a generalized hypergeometric function $_3F_2$ into even and odd components, together with the use of two known results for $_3F_2(\pm\frac14)$ available in the literature. As an application, we obtain an interesting infinite-sum representation for the number $\pi^2$. Certain connections with the work of Ramanujan and other authors are discussed, involving other special functions and binomial sums of different kinds.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide two closed - form evaluations for the generalized hypergeometric function \( _4F_3 \) with specific parameters and the independent variable \( \frac{1}{16} \). Specifically, the author achieves this goal by decomposing the generalized hypergeometric function \( _3F_2 \) into even and odd parts and using the known results of \( _3F_2 \left( \pm \frac{1}{4} \right) \).
### Detailed Explanation
1. **Research Background**:
- The generalized hypergeometric function \( _pF_q(z) \) is a special function defined by a series of formulas and has a wide range of applications, especially in the fields of mathematics, physics, and engineering.
- The paper focuses on the generalized hypergeometric functions of type \( p = q + 1 \), especially the \( _4F_3 \) and \( _3F_2 \) functions.
2. **Main Problem**:
- The author's goal is to derive two new closed - form expressions for the \( _4F_3 \) function with specific parameters and the independent variable \( \frac{1}{16} \).
- The derivation of these expressions is based on the known evaluation results of \( _3F_2 \left( \pm \frac{1}{4} \right) \), which are already documented in the literature.
3. **Method**:
- The author obtains two new closed - form evaluations by decomposing the \( _3F_2 \) function into even and odd parts and combining the known results.
- Specifically, they use the following two known results:
\[
_3F_2\left( \frac{1}{2}, \frac{1}{2}, \frac{1}{2}; \frac{3}{2}, \frac{3}{2} \middle| -\frac{1}{4} \right)=\frac{\pi^2}{10}
\]
\[
_3F_2\left( \frac{1}{2}, \frac{1}{2}, \frac{1}{2}; \frac{3}{2}, \frac{3}{2} \middle| \frac{1}{4} \right)=\frac{1}{2\sqrt{3}} \psi'\left( \frac{1}{3} \right)-\frac{\pi^2}{3\sqrt{3}}
\]
4. **Result**:
- Through the above method, the author obtains two new closed - form evaluations:
\[
_4F_3\left( \frac{1}{4}, \frac{1}{4}, \frac{1}{4}, \frac{3}{4}; \frac{1}{2}, \frac{5}{4}, \frac{5}{4} \middle| \frac{1}{16} \right)=\frac{1}{2}\left[\frac{\pi^2}{10}-\frac{\pi^2}{3\sqrt{3}}+\frac{1}{2\sqrt{3}} \psi'\left( \frac{1}{3} \right)\right]
\]
\[
_4F_3\left( \frac{3}{4}, \frac{3}{4}, \frac{3}{4}, \frac{5}{4}; \frac{3}{2}, \frac{7}{4}, \frac{7}{4} \middle| \frac{1}{16} \right)=36\left[\frac{1}{2\sqrt{3}} \psi'\left( \frac{1}{3} \right)-\frac{\pi^2}{3\sqrt{3}}\right]