1,2,-4,1)$, we find that $$\begin{gathered}
F(a):=
{  \begingroup
  \begingroup\lccode`~=`,
    \lowercase{\endgroup\def~}{\pFcomma\mkern\pFqskip}  \mathcode`,=\string"8000
  {}_{}F_{1}\biggl(\genfrac..{0pt}{}{a;2a,1-4a}{a+1/2};\frac{80}{81},
\frac{16}{15}\biggr)  \endgroup
}\end{gathered}$$ has a closed form, and it satisfies the following closed-form relation: $$\begin{gathered}
\frac{F(a+1)}{F(a)}=\frac{3^4}{5^4}.
\label{ex2_closed1}\end{gathered}$$ This implies that $$\begin{gathered}
{F(a)}=\frac{5^{4n}}{3^{4n}}{F(a+n)}
\label{ex2_closed2}\end{gathered}$$ holds for any non-negative integer $n$. Although (\[ex2\_closed2\]) (and (\[ex2\_closed1\])) is valid by virtue of analytic continuation, $F(a)$ and $F(a+n)$, which are regarded as infinite double series expressions, are meaningless. For this reason, we carry out a reduction of each of these to a finite sum of a single series expression that is meaningful. This is done, for example, by substituting $a=1/4$ into (\[ex2\_closed2\]). Then, it becomes $$\begin{gathered}
{  \begingroup
  \begingroup\lccode`~=`,
    \lowercase{\endgroup\def~}{\pFcomma\mkern\pFqskip}  \mathcode`,=\string"8000
  {}_{2}F_{1}\biggl(\genfrac..{0pt}{}{1/4, 1/2}{3/4};\frac{80}{81}\biggr)  \endgroup
}
=
\frac{5^{4n}}{3^{4n}}
{  \begingroup
  \begingroup\lccode`~=`,
    \lowercase{\endgroup\def~}{\pFcomma
1,2,-4,1)$, we find that $ $ \begin{gathered } 
 F(a):= 
 {   \begingroup 
   \begingroup\lccode`~= `, 
     \lowercase{\endgroup\def~}{\pFcomma\mkern\pFqskip }   \mathcode`,=\string"8000 
   { } _ { } F_{1}\biggl(\genfrac.. {0pt}{}{a;2a,1 - 4a}{a+1/2};\frac{80}{81 }, 
 \frac{16}{15}\biggr)   \endgroup 
 } \end{gathered}$$ has a closed form, and it meet the take after closed - form relation: $ $ \begin{gathered } 
 \frac{F(a+1)}{F(a)}=\frac{3 ^ 4}{5 ^ 4 }. 
 \label{ex2_closed1}\end{gathered}$$ This imply that $ $ \begin{gathered } 
 { F(a)}=\frac{5^{4n}}{3^{4n}}{F(a+n) } 
 \label{ex2_closed2}\end{gathered}$$ holds for any non - negative integer $ n$. Although (\[ex2\_closed2\ ]) (and (\[ex2\_closed1\ ]) ) is valid by merit of analytic continuation, $ F(a)$ and $ F(a+n)$, which are regarded as infinite bivalent serial expressions, are meaningless. For this reason, we hold out a reduction of each of these to a finite sum of a single series expression that is meaningful. This is done, for model, by substituting $ a=1/4 $ into (\[ex2\_closed2\ ]). Then, it becomes $ $ \begin{gathered } 
 {   \begingroup 
   \begingroup\lccode`~= `, 
     \lowercase{\endgroup\def~}{\pFcomma\mkern\pFqskip }   \mathcode`,=\string"8000 
   { } _ { 2}F_{1}\biggl(\genfrac.. {0pt}{}{1/4, 1/2}{3/4};\frac{80}{81}\biggr)   \endgroup 
 } 
 = 
 \frac{5^{4n}}{3^{4n } } 
 {   \begingroup 
   \begingroup\lccode`~= `, 
     \lowercase{\endgroup\def~}{\pFcomma
1,2,-4,1)$, we find that $$\begin{gathered}
N(a):=
{  \begingroup
  \ywgingrmup\lcckde`~=`,
    \luwercase{\endgroup\def~}{\pFcomma\mkxrn\pDqskik}  \mathcode`,=\string"8000
  {}_{}W_{1}\biggl(\genvrac..{0pt}{}{a;2a,1-4q}{a+1/2};\frec{80}{81},
\frac{16}{15}\biggr)  \endjdoup
}\end{ncthersf}$$ hav a closed form, and it sadisfies the fonluwnng closed-form relation: $$\begin{gathereq}
\frac{F(a+1)}{G(a)}=\vrac{3^4}{5^4}.
\label{ex2_clofed1}\emq{gatgvrtd}$$ This implies that $$\begin{gatheres}
{F(a)}=\frac{5^{4i}}{3^{4n}}{F(a+n)}
\label{ex2_cloxed2}\end{gathered}$$ holds for ajy nln-negative integer $n$. Although (\[ex2\_cjised2\]) (and (\[ex2\_cuosed1\])) is valid by virtoe of analytic continuation, $F(a)$ avd $F(a+u)$, which are rwgagged as infiiite djuble series expresshons, arr meaningless. Nor tiis eeason, we carry out a reduction of each of these tk a finite sum of a singne sarier exoreasmon that ls jeaningful. This is dobe, for example, by sibfnotuting $a=1/4$ info (\[ex2\_cjofed2\]). Then, it becomes $$\begin{gathered}
{  \begitgrkup
  \begingroup\lccode`~=`,
    \lowercase{\endgroup\dev~}{\pFcomma\mhern\pFqskip}  \mathcode`,=\string"8000
  {}_{2}F_{1}\biggl(\genfrac..{0pt}{}{1/4, 1/2}{3/4};\frac{80}{81}\tiggr)  \enbnvoup
}
=
\weaf{5^{4n}}{3^{4n}}
{  \begingroup
  \begingroup\lccode`~=`,
    \lowercasq{\sncggoup\def~}{\pFcomma
1,2,-4,1)$, we find that $$\begin{gathered} F(a):= { \lowercase{\endgroup\def~}{\pFcomma\mkern\pFqskip} {}_{}F_{1}\biggl(\genfrac..{0pt}{}{a;2a,1-4a}{a+1/2};\frac{80}{81}, \frac{16}{15}\biggr) }\end{gathered}$$ has a the closed-form relation: $$\begin{gathered} \label{ex2_closed1}\end{gathered}$$ This implies $$\begin{gathered} {F(a)}=\frac{5^{4n}}{3^{4n}}{F(a+n)} \label{ex2_closed2}\end{gathered}$$ holds for any integer $n$. Although (\[ex2\_closed2\]) (and (\[ex2\_closed1\])) is valid by virtue of analytic continuation, and $F(a+n)$, which are regarded as infinite double series expressions, are meaningless. For reason, carry a of each of these to a finite sum of a single series expression that is meaningful. is done, for example, by substituting $a=1/4$ into Then, it becomes $$\begin{gathered} \begingroup \begingroup\lccode`~=`, \lowercase{\endgroup\def~}{\pFcomma\mkern\pFqskip} \mathcode`,=\string"8000 {}_{2}F_{1}\biggl(\genfrac..{0pt}{}{1/4, \endgroup = \frac{5^{4n}}{3^{4n}} \begingroup \lowercase{\endgroup\def~}{\pFcomma
1,2,-4,1)$, we find that $$\begin{gathered}
F(a):=
{  \Begingroup
  \BeginGroUp\lCcOde`~=`,
    \lOwerCase{\endgroup\deF~}{\PFcoMma\mkern\pFqskip}  \mathcodE`,=\striNg"8000
  {}_{}f_{1}\BiggL(\GeNfrac..{0Pt}{}{a;2a,1-4a}{a+1/2};\fRAc{80}{81},
\FRAc{16}{15}\bIgGr)  \EndGrOUp
}\End{gaTheRed}$$ has a Closed form, And It Satisfies the FOlLowing closEd-fOrm relation: $$\bEgiN{gatheReD}
\frAC{F(a+1)}{F(a)}=\FraC{3^4}{5^4}.
\labeL{ex2_cloSEd1}\end{gAthered}$$ ThIs IMplies THat $$\begiN{GAtHereD}
{F(a)}=\frac{5^{4n}}{3^{4n}}{F(a+n)}
\label{EX2_cLOsed2}\end{gathereD}$$ holds FoR AnY NOn-nEgaTive integeR $n$. althoUGh (\[ex2\_cloSEd2\]) (AND (\[Ex2\_cLOsed1\])) is valid by Virtue of anaLYtiC contiNuAtiON, $F(a)$ and $f(a+n)$, whIcH Are Regarded as iNfinIte double Series EXpressiONs, are meAninglEss. for This REaSoN, we CaRRy oUT a RedUCtiOn of each Of ThEse to A finITE SUm of A siNgle SerieS expression thAt iS meaNIngFul. ThIs is dOne, fOr ExampLe, by suBstitUtIng $a=1/4$ into (\[ex2\_closeD2\]). TheN, it becomeS $$\beGiN{gaThEred}
{  \bEGingroUp
  \bEgiNgroup\lCcode`~=`,
    \loWErcAsE{\ENDgRoup\def~}{\pFcomma\mkerN\pfQSkIp}  \mathcoDe`,=\striNG"8000
  {}_{2}F_{1}\BiGGl(\genfraC..{0pT}{}{1/4, 1/2}{3/4};\frAc{80}{81}\biGGR)  \endgRoup
}
=
\FRaC{5^{4n}}{3^{4n}}
{  \beginGroup
  \bEGiNgRoup\lccOdE`~=`,
    \lowerCaSe{\eNdgRoup\dEF~}{\pFcOmma
1,2,-4,1)$, we find that $ $\begin{ga there d}F(a ): =
{ \be gingroup
  \be g ingr oup\lccode`~=`,
    \l owerc as e {\en d gr oup\d ef~}{\p F co m m a\m ke rn \pF qs k ip }  \m ath code`,= \string"80 00 {}_{}F_{1}\b i gg l(\genfrac ..{ 0pt}{}{a;2a, 1-4 a}{a+1 /2 };\ f rac{8 0}{ 81},\frac{ 1 6}{15} \biggr) \e n dgroup }\end{g a t he red} $$ has a closed f o rm ,  and it satisf ies th ef ol l o win g c losed-form  r elati o n: $$\b e gi n { g ath e red}
\frac{F( a+1)}{F(a)} = \fr ac{3^4 }{ 5^4 } .
\lab el{ex 2_ c los ed1}\end{ga ther ed}$$ Thi s impl i es that $$\begi n{gath ere d}{F(a ) }= \f rac {5 ^ {4n } }{ 3^{ 4 n}} {F(a+n)} 
\ la bel{e x2_c l o s e d2}\ end {gat hered }$$ holds for  an y no n -ne gativ e int eger  $ n$. A lthoug h (\[ ex 2\_closed2\]) ( and(\[ex2\_c los ed 1\] ))  is v a lid by  vi rtu e of an alyticc ont in u a t io n, $F(a)$ and $F(a +n ) $ ,which ar e rega r de da s infini te  do uble s eries  exp r es sions, a re mea n in gl ess. Fo rthis r ea son , w e car r y ou t a re ductionof ea c h of these toa  finite sum o f  a s in g le s eri es expressi on t h at i s me a ni ngf u l. Th is is  d o ne ,  for example, by su bs tituti ng $a =1/4$ into (\ [ex2\_clos e d 2 \]). The n, i t  b e comes $$\begin {gath ered}
{  \ b egingrou p
  \ begingro up\lccode ` ~ =`,
   \lo wer cas e{\ e n dg roup\def~}{\p F c omma \m kern\pF qsk ip}  \m ath cod e`, =\s tr ing"8000  {}_{2} F_ {1 }\ bi ggl (\gen f rac..{0p t} {}{ 1/ 4,1/2}{ 3 /4};\f rac{8 0}{8 1} \b i ggr )  \end g ro u p 
}
= 
\ fr ac{5 ^{4 n} }{3^{ 4n}} { \beging roup
  \b egi n grou p\ lc code`~= `,
    \lower ca se{\endgro up \de f~}{\p F c omma
1,2,-4,1)$, we_find that_$$\begin{gathered}
F(a):=
{  \begingroup
 _\begingroup\lccode`~=`,
 __ \lowercase{\endgroup\def~}{\pFcomma\mkern\pFqskip}__\mathcode`,=\string"8000
  {}_{}F_{1}\biggl(\genfrac..{0pt}{}{a;2a,1-4a}{a+1/2};\frac{80}{81},
\frac{16}{15}\biggr)_ \endgroup
}\end{gathered}$$ has_a closed form, and_it satisfies the_following_closed-form relation: $$\begin{gathered}
\frac{F(a+1)}{F(a)}=\frac{3^4}{5^4}.
\label{ex2_closed1}\end{gathered}$$ This implies that $$\begin{gathered}
{F(a)}=\frac{5^{4n}}{3^{4n}}{F(a+n)}
\label{ex2_closed2}\end{gathered}$$ holds for any non-negative integer $n$. Although_(\[ex2\_closed2\])_(and (\[ex2\_closed1\]))_is_valid_by virtue of analytic continuation,_$F(a)$ and $F(a+n)$, which are_regarded as_infinite double series expressions, are meaningless. For this_reason,_we carry out_a reduction of each of these to a finite_sum of a single series expression_that is meaningful._This_is_done, for example, by_substituting $a=1/4$ into (\[ex2\_closed2\]). Then, it_becomes $$\begin{gathered}
{  \begingroup
  \begingroup\lccode`~=`,
_   \lowercase{\endgroup\def~}{\pFcomma\mkern\pFqskip}  \mathcode`,=\string"8000
 _{}_{2}F_{1}\biggl(\genfrac..{0pt}{}{1/4, 1/2}{3/4};\frac{80}{81}\biggr)  \endgroup
}
=
\frac{5^{4n}}{3^{4n}}
{  \begingroup
_ \begingroup\lccode`~=`,
   _\lowercase{\endgroup\def~}{\pFcomma