mhypergeomsols - Maple Help

LREtools

 mhypergeomsols
 compute m-fold hypergeometric term solutions of holonomic recurrence equations

 Calling Sequence mhypergeomsols(rec, a(n), field, mj=[m,j])

Parameters

 rec - holonomic recurrence equation a(n) - unknown recurrence term, where n is the index variable field - (optional) either complex or rational (default) mj=[m,j] - (optional) list of two non-negative integers $\left[m,j\right]$, where $0\le j, to compute a specific $m$-fold hypergeometric term solution of rec

Description

 • The LREtools[mhypergeomsols] command computes $m$-fold hypergeometric term solutions of holonomic recurrence equations, i.e. linear homogeneous recurrence equation with polynomial coefficients, where $m$ is a positive integer. An $m$-fold hypergeometric term $a\left(n\right)$ is such that $\frac{a\left(n+m\right)}{a\left(n\right)}$ is a rational function of $n$ over the considered field.
 • All appearances of the dependent variable a(.) in the rec must be of the form $a\left(n+k\right)$, where $k$ is an integer.
 • The output is a list of pairs $\left[m,{H}_{m}\right]$, where $m$ is a positive integer and ${H}_{m}$is a nonempty set of hypergeometric terms, or, when mj=[m,j] is specified, just a single set ${H}_{m}$ of hypergeometric terms.
 – When mj is not specified, each $h\in {H}_{m}$ corresponds to an $m$-fold hypergeometric term $t$ via $t\left(\mathrm{nm}\right)=h\left(n\right)$ for $n\ge 0$ and $t\left(k\right)=0$ when $m$ does not divide $k>0$.
 – When mj=[m,j] is given, each $h\in {H}_{m}$ corresponds to an $m$-fold hypergeometric term $t$ via $t\left(\mathrm{nm}+j\right)=h\left(n\right)$ for $n\ge 0$ and $t\left(k\right)=0$ when $k\ge 0$ and $m$ does not divide $k-j$.
 • In the former case, when mj is not given, for all positive integers $m$ occurring in the result, the set of corresponding $m$-fold hypergeometric terms constitutes a basis of the solution space for $j=0$. The other solutions can be computed afterwards by calling mhypergeomsols with mj=[m,j], where $m$ is a value taken from the result and $0\le j.
 • The field of computation is controlled by the field parameter. When complex is supplied, the computation considers algebraic extension fields; this includes solutions containing symbols. By default, field equals rational and the corresponding field is the rational field $ℚ$ without any symbols.

Examples

 > $\mathrm{with}\left(\mathrm{LREtools}\right):$
 > $\mathrm{RE}≔\left(n+1\right)\left(n+2\right)\left(n+3\right)\left(n+4\right)a\left(n+4\right)+10\left(n+1\right)\left(n+2\right)a\left(n+2\right)+9a\left(n\right)=0$
 ${\mathrm{RE}}{≔}\left({n}{+}{1}\right){}\left({n}{+}{2}\right){}\left({n}{+}{3}\right){}\left({n}{+}{4}\right){}{a}{}\left({n}{+}{4}\right){+}{10}{}\left({n}{+}{1}\right){}\left({n}{+}{2}\right){}{a}{}\left({n}{+}{2}\right){+}{9}{}{a}{}\left({n}\right){=}{0}$ (1)
 > $\mathrm{sol}≔\mathrm{mhypergeomsols}\left(\mathrm{RE},a\left(n\right)\right)$
 ${\mathrm{sol}}{≔}\left[\left[{2}{,}\left\{\frac{{\left({-9}\right)}^{{n}}}{\left({2}{}{n}\right){!}}{,}\frac{{\left({-1}\right)}^{{n}}}{\left({2}{}{n}\right){!}}\right\}\right]\right]$ (2)
 > $\mathrm{sol1}≔\mathrm{unapply}\left(\genfrac{}{}{0}{}{\mathrm{op}\left(\left[1,2,1\right],\mathrm{sol}\right)}{\phantom{n=\frac{n}{2}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}|\phantom{\rule[-0.0ex]{0.1em}{0.0ex}}\genfrac{}{}{0}{}{\phantom{\mathrm{op}\left(\left[1,2,1\right],\mathrm{sol}\right)}}{n=\frac{n}{2}},n\right)$
 ${\mathrm{sol1}}{≔}{n}{↦}\frac{{\left({-9}\right)}^{\frac{{n}}{{2}}}}{{n}{!}}$ (3)
 > $\mathrm{normal}\left(\mathrm{expand}\left(\genfrac{}{}{0}{}{\mathrm{RE}}{\phantom{a=\mathrm{sol1}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}|\phantom{\rule[-0.0ex]{0.1em}{0.0ex}}\genfrac{}{}{0}{}{\phantom{\mathrm{RE}}}{a=\mathrm{sol1}}\right)\right)$
 ${0}{=}{0}$ (4)
 > $\mathrm{sol2}≔\mathrm{unapply}\left(\genfrac{}{}{0}{}{\mathrm{op}\left(\left[1,2,2\right],\mathrm{sol}\right)}{\phantom{n=\frac{n}{2}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}|\phantom{\rule[-0.0ex]{0.1em}{0.0ex}}\genfrac{}{}{0}{}{\phantom{\mathrm{op}\left(\left[1,2,2\right],\mathrm{sol}\right)}}{n=\frac{n}{2}},n\right)$
 ${\mathrm{sol2}}{≔}{n}{↦}\frac{{\left({-1}\right)}^{\frac{{n}}{{2}}}}{{n}{!}}$ (5)
 > $\mathrm{normal}\left(\mathrm{expand}\left(\genfrac{}{}{0}{}{\mathrm{RE}}{\phantom{a=\mathrm{sol2}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}|\phantom{\rule[-0.0ex]{0.1em}{0.0ex}}\genfrac{}{}{0}{}{\phantom{\mathrm{RE}}}{a=\mathrm{sol2}}\right)\right)$
 ${0}{=}{0}$ (6)

One finds more solutions when allowing algebraic extension fields.

 > $\mathrm{mhypergeomsols}\left(\mathrm{RE},a\left(n\right),\mathrm{complex}\right)$
 $\left[\left[{1}{,}\left\{\frac{{{\mathrm{RootOf}}{}\left({{\mathrm{_Z}}}^{{2}}{+}{1}\right)}^{{n}}}{{n}{!}}{,}\frac{{{\mathrm{RootOf}}{}\left({{\mathrm{_Z}}}^{{2}}{+}{9}\right)}^{{n}}}{{n}{!}}\right\}\right]{,}\left[{2}{,}\left\{\frac{{\left({-9}\right)}^{{n}}}{\left({2}{}{n}\right){!}}{,}\frac{{\left({-1}\right)}^{{n}}}{\left({2}{}{n}\right){!}}\right\}\right]\right]$ (7)

The algebraic form (without RootOf) can be obtained using allvalues.

 > $\mathrm{map}\left(\mathrm{allvalues},\mathrm{mhypergeomsols}\left(\mathrm{RE},a\left(n\right),\mathrm{complex},\mathrm{mj}=\left[1,0\right]\right)\right)$
 $\left\{\frac{{\left({-}{3}{}{I}\right)}^{{n}}}{{n}{!}}{,}\frac{{\left({-I}\right)}^{{n}}}{{n}{!}}{,}\frac{{{I}}^{{n}}}{{n}{!}}{,}\frac{{\left({3}{}{I}\right)}^{{n}}}{{n}{!}}\right\}$ (8)

These latter hypergeometric terms (for $m=1$ only) can also be computed using LREtools[hypergeomsols].

 > $\mathrm{hypergeomsols}\left(\mathrm{RE},a\left(n\right),\left\{\right\},\mathrm{output}=\mathrm{basis}\right)$
 $\left[\frac{{\left({-I}\right)}^{{n}}}{{\mathrm{\Gamma }}{}\left({n}{+}{1}\right)}{,}\frac{{{I}}^{{n}}}{{\mathrm{\Gamma }}{}\left({n}{+}{1}\right)}{,}\frac{{\left({-}{3}{}{I}\right)}^{{n}}}{{\mathrm{\Gamma }}{}\left({n}{+}{1}\right)}{,}\frac{{\left({3}{}{I}\right)}^{{n}}}{{\mathrm{\Gamma }}{}\left({n}{+}{1}\right)}\right]$ (9)

As done with $\mathrm{mj}=\left[1,0\right]$, one can recover the $2$-fold hypergeometric solutions similarly. Below we compute the other interlacing terms related to these solutions. They correspond to $\mathrm{mj}=\left[2,1\right]$.

 > $\mathrm{sol}≔\mathrm{mhypergeomsols}\left(\mathrm{RE},a\left(n\right),\mathrm{complex},\mathrm{mj}=\left[2,1\right]\right)$
 ${\mathrm{sol}}{≔}\left\{\frac{{\left({-9}\right)}^{{n}}}{\left({2}{}{n}{+}{1}\right){}\left({2}{}{n}\right){!}}{,}\frac{{\left({-1}\right)}^{{n}}}{\left({2}{}{n}{+}{1}\right){}\left({2}{}{n}\right){!}}\right\}$ (10)
 > $\mathrm{sol1}≔\mathrm{unapply}\left(\genfrac{}{}{0}{}{{\mathrm{sol}}_{1}}{\phantom{n=\frac{n-1}{2}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}|\phantom{\rule[-0.0ex]{0.1em}{0.0ex}}\genfrac{}{}{0}{}{\phantom{{\mathrm{sol}}_{1}}}{n=\frac{n-1}{2}},n\right)$
 ${\mathrm{sol1}}{≔}{n}{↦}\frac{{\left({-9}\right)}^{\frac{{n}}{{2}}{-}\frac{{1}}{{2}}}}{{n}{\cdot }\left({n}{-}{1}\right){!}}$ (11)
 > $\mathrm{normal}\left(\mathrm{expand}\left(\genfrac{}{}{0}{}{\mathrm{RE}}{\phantom{a=\mathrm{sol1}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}|\phantom{\rule[-0.0ex]{0.1em}{0.0ex}}\genfrac{}{}{0}{}{\phantom{\mathrm{RE}}}{a=\mathrm{sol1}}\right)\right)$
 ${0}{=}{0}$ (12)
 > $\mathrm{sol2}≔\mathrm{unapply}\left(\genfrac{}{}{0}{}{{\mathrm{sol}}_{2}}{\phantom{n=\frac{n-1}{2}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}|\phantom{\rule[-0.0ex]{0.1em}{0.0ex}}\genfrac{}{}{0}{}{\phantom{{\mathrm{sol}}_{2}}}{n=\frac{n-1}{2}},n\right)$
 ${\mathrm{sol2}}{≔}{n}{↦}\frac{{\left({-1}\right)}^{\frac{{n}}{{2}}{-}\frac{{1}}{{2}}}}{{n}{\cdot }\left({n}{-}{1}\right){!}}$ (13)
 > $\mathrm{normal}\left(\mathrm{expand}\left(\genfrac{}{}{0}{}{\mathrm{RE}}{\phantom{a=\mathrm{sol2}}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}|\phantom{\rule[-0.0ex]{0.1em}{0.0ex}}\genfrac{}{}{0}{}{\phantom{\mathrm{RE}}}{a=\mathrm{sol2}}\right)\right)$
 ${0}{=}{0}$ (14)

More examples.

 > $\mathrm{RE}≔\left(n+1\right)a\left(n-4\right)-p\left(n+1\right)a\left(n-2\right)-q\left(n+1\right)a\left(n-1\right)+pq\left(n+1\right)a\left(n+1\right)=0$
 ${\mathrm{RE}}{≔}\left({n}{+}{1}\right){}{a}{}\left({n}{-}{4}\right){-}{p}{}\left({n}{+}{1}\right){}{a}{}\left({n}{-}{2}\right){-}{q}{}\left({n}{+}{1}\right){}{a}{}\left({n}{-}{1}\right){+}{p}{}{q}{}\left({n}{+}{1}\right){}{a}{}\left({n}{+}{1}\right){=}{0}$ (15)
 > $\mathrm{mhypergeomsols}\left(\mathrm{RE},a\left(n\right),\mathrm{complex}\right)$
 $\left[\left[{1}{,}\left\{{{\mathrm{RootOf}}{}\left({p}{}{{\mathrm{_Z}}}^{{2}}{-}{1}\right)}^{{n}}{,}{{\mathrm{RootOf}}{}\left({q}{}{{\mathrm{_Z}}}^{{3}}{-}{1}\right)}^{{n}}\right\}\right]{,}\left[{2}{,}\left\{{\left(\frac{{1}}{{p}}\right)}^{{n}}\right\}\right]{,}\left[{3}{,}\left\{{\left(\frac{{1}}{{q}}\right)}^{{n}}\right\}\right]\right]$ (16)
 > $\mathrm{RE}≔-9{\left(n-13\right)}^{2}a\left(n-13\right)+3\left(n-19\right){\left(n-10\right)}^{2}a\left(n-10\right)-18\left(n-9\right)\left(n-11\right)a\left(n-9\right)+3\left(n-10\right){\left(n-7\right)}^{2}a\left(n-7\right)+6\left(n-6\right)\left({n}^{2}-21n+116\right)a\left(n-6\right)-9\left(n-5\right)\left(n-9\right)a\left(n-5\right)+2\left(n-6\right)\left(n-17\right)\left(n-3\right)a\left(n-3\right)+3\left(n-2\right)\left(n-6\right)\left(n-7\right)a\left(n-2\right)-\left(n-2\right)\left(n-3\right)\left(n+1\right)a\left(n+1\right)=0$
 ${\mathrm{RE}}{≔}{-}{9}{}{\left({n}{-}{13}\right)}^{{2}}{}{a}{}\left({n}{-}{13}\right){+}{3}{}\left({n}{-}{19}\right){}{\left({n}{-}{10}\right)}^{{2}}{}{a}{}\left({n}{-}{10}\right){-}{18}{}\left({n}{-}{9}\right){}\left({n}{-}{11}\right){}{a}{}\left({n}{-}{9}\right){+}{3}{}\left({n}{-}{10}\right){}{\left({n}{-}{7}\right)}^{{2}}{}{a}{}\left({n}{-}{7}\right){+}{6}{}\left({n}{-}{6}\right){}\left({{n}}^{{2}}{-}{21}{}{n}{+}{116}\right){}{a}{}\left({n}{-}{6}\right){-}{9}{}\left({n}{-}{5}\right){}\left({n}{-}{9}\right){}{a}{}\left({n}{-}{5}\right){+}{2}{}\left({n}{-}{6}\right){}\left({n}{-}{17}\right){}\left({n}{-}{3}\right){}{a}{}\left({n}{-}{3}\right){+}{3}{}\left({n}{-}{2}\right){}\left({n}{-}{6}\right){}\left({n}{-}{7}\right){}{a}{}\left({n}{-}{2}\right){-}\left({n}{-}{2}\right){}\left({n}{-}{3}\right){}\left({n}{+}{1}\right){}{a}{}\left({n}{+}{1}\right){=}{0}$ (17)
 > $\mathrm{mhypergeomsols}\left(\mathrm{RE},a\left(n\right)\right)$
 $\left[\left[{3}{,}\left\{\frac{{1}}{{n}{!}}\right\}\right]{,}\left[{4}{,}\left\{\frac{{\left({-1}\right)}^{{n}}}{{n}}\right\}\right]\right]$ (18)
 > $\mathrm{RE}≔5\left(n-6\right){\left(n-11\right)}^{2}a\left(n-11\right)-5\left(n-5\right){\left(n-10\right)}^{2}a\left(n-10\right)-3\left(2n-19\right)\left(n-4\right)\left(n-9\right)a\left(n-9\right)+3\left(2n-17\right)\left(n-3\right)\left(n-8\right)a\left(n-8\right)-3\left(n-2\right)\left(n-7\right)a\left(n-7\right)-\left(n-6\right)\left(97n-597\right)a\left(n-6\right)+\left(n-5\right)\left(97n-500\right)a\left(n-5\right)-\left(n-4\right)\left(2{n}^{2}-115n+513\right)a\left(n-4\right)+\left(n-3\right)\left(2{n}^{2}-111n+400\right)a\left(n-3\right)-3\left(n-2\right)\left(n-7\right)a\left(n-2\right)-\left(n-1\right)\left(5n-8\right)\left(n-6\right)a\left(n-1\right)+n\left(5n-3\right)\left(n-5\right)a\left(n\right)+4n\left(n+1\right)\left(n-4\right)a\left(n+1\right)-4\left(n+1\right)\left(n+2\right)\left(n-3\right)a\left(n+2\right)=0$
 ${\mathrm{RE}}{≔}{5}{}\left({n}{-}{6}\right){}{\left({n}{-}{11}\right)}^{{2}}{}{a}{}\left({n}{-}{11}\right){-}{5}{}\left({n}{-}{5}\right){}{\left({n}{-}{10}\right)}^{{2}}{}{a}{}\left({n}{-}{10}\right){-}{3}{}\left({2}{}{n}{-}{19}\right){}\left({n}{-}{4}\right){}\left({n}{-}{9}\right){}{a}{}\left({n}{-}{9}\right){+}{3}{}\left({2}{}{n}{-}{17}\right){}\left({n}{-}{3}\right){}\left({n}{-}{8}\right){}{a}{}\left({n}{-}{8}\right){-}{3}{}\left({n}{-}{2}\right){}\left({n}{-}{7}\right){}{a}{}\left({n}{-}{7}\right){-}\left({n}{-}{6}\right){}\left({97}{}{n}{-}{597}\right){}{a}{}\left({n}{-}{6}\right){+}\left({n}{-}{5}\right){}\left({97}{}{n}{-}{500}\right){}{a}{}\left({n}{-}{5}\right){-}\left({n}{-}{4}\right){}\left({2}{}{{n}}^{{2}}{-}{115}{}{n}{+}{513}\right){}{a}{}\left({n}{-}{4}\right){+}\left({n}{-}{3}\right){}\left({2}{}{{n}}^{{2}}{-}{111}{}{n}{+}{400}\right){}{a}{}\left({n}{-}{3}\right){-}{3}{}\left({n}{-}{2}\right){}\left({n}{-}{7}\right){}{a}{}\left({n}{-}{2}\right){-}\left({n}{-}{1}\right){}\left({5}{}{n}{-}{8}\right){}\left({n}{-}{6}\right){}{a}{}\left({n}{-}{1}\right){+}{n}{}\left({5}{}{n}{-}{3}\right){}\left({n}{-}{5}\right){}{a}{}\left({n}\right){+}{4}{}{n}{}\left({n}{+}{1}\right){}\left({n}{-}{4}\right){}{a}{}\left({n}{+}{1}\right){-}{4}{}\left({n}{+}{1}\right){}\left({n}{+}{2}\right){}\left({n}{-}{3}\right){}{a}{}\left({n}{+}{2}\right){=}{0}$ (19)
 > $\mathrm{mhypergeomsols}\left(\mathrm{RE},a\left(n\right)\right)$
 $\left[\left[{1}{,}\left\{{\left({-1}\right)}^{{n}}\right\}\right]{,}\left[{2}{,}\left\{\frac{{{n}{!}}^{{2}}{}{{4}}^{{n}}}{{{n}}^{{2}}{}\left({2}{}{n}\right){!}}\right\}\right]{,}\left[{5}{,}\left\{{\left({-1}\right)}^{{n}}\right\}\right]\right]$ (20)

The recurrence equation may contain symbolic functions.

 > $\mathrm{RE}≔-2{\left({ⅇ}^{x}\right)}^{2}{\mathrm{ln}\left(x\right)}^{12}{\left(n-15\right)}^{2}a\left(n-15\right)+{ⅇ}^{x}{\mathrm{ln}\left(x\right)}^{12}\left(n-19\right){\left(n-13\right)}^{2}a\left(n-13\right)+{\mathrm{ln}\left(x\right)}^{12}\left(n-13\right){\left(n-11\right)}^{2}a\left(n-11\right)-4{\left({ⅇ}^{x}\right)}^{2}{\mathrm{ln}\left(x\right)}^{6}\left(n-9\right)\left(n-12\right)a\left(n-9\right)+2{ⅇ}^{x}{\mathrm{ln}\left(x\right)}^{6}\left(n-7\right)\left({n}^{2}-20n+127\right)a\left(n-7\right)-{\mathrm{ln}\left(x\right)}^{6}\left(n-5\right)\left(n+19\right)\left(n-7\right)a\left(n-5\right)-2{\left({ⅇ}^{x}\right)}^{2}\left(n-3\right)\left(n-9\right)a\left(n-3\right)+{ⅇ}^{x}\left(n-7\right){\left(n-1\right)}^{2}a\left(n-1\right)-2\left(n-5\right)\left(n-1\right)\left(n+1\right)a\left(n+1\right)=0$
 ${\mathrm{RE}}{≔}{-}{2}{}{\left({{ⅇ}}^{{x}}\right)}^{{2}}{}{{\mathrm{ln}}{}\left({x}\right)}^{{12}}{}{\left({n}{-}{15}\right)}^{{2}}{}{a}{}\left({n}{-}{15}\right){+}{{ⅇ}}^{{x}}{}{{\mathrm{ln}}{}\left({x}\right)}^{{12}}{}\left({n}{-}{19}\right){}{\left({n}{-}{13}\right)}^{{2}}{}{a}{}\left({n}{-}{13}\right){+}{{\mathrm{ln}}{}\left({x}\right)}^{{12}}{}\left({n}{-}{13}\right){}{\left({n}{-}{11}\right)}^{{2}}{}{a}{}\left({n}{-}{11}\right){-}{4}{}{\left({{ⅇ}}^{{x}}\right)}^{{2}}{}{{\mathrm{ln}}{}\left({x}\right)}^{{6}}{}\left({n}{-}{9}\right){}\left({n}{-}{12}\right){}{a}{}\left({n}{-}{9}\right){+}{2}{}{{ⅇ}}^{{x}}{}{{\mathrm{ln}}{}\left({x}\right)}^{{6}}{}\left({n}{-}{7}\right){}\left({{n}}^{{2}}{-}{20}{}{n}{+}{127}\right){}{a}{}\left({n}{-}{7}\right){-}{{\mathrm{ln}}{}\left({x}\right)}^{{6}}{}\left({n}{-}{5}\right){}\left({n}{+}{19}\right){}\left({n}{-}{7}\right){}{a}{}\left({n}{-}{5}\right){-}{2}{}{\left({{ⅇ}}^{{x}}\right)}^{{2}}{}\left({n}{-}{3}\right){}\left({n}{-}{9}\right){}{a}{}\left({n}{-}{3}\right){+}{{ⅇ}}^{{x}}{}\left({n}{-}{7}\right){}{\left({n}{-}{1}\right)}^{{2}}{}{a}{}\left({n}{-}{1}\right){-}{2}{}\left({n}{-}{5}\right){}\left({n}{-}{1}\right){}\left({n}{+}{1}\right){}{a}{}\left({n}{+}{1}\right){=}{0}$ (21)
 > $\mathrm{mhypergeomsols}\left(\mathrm{RE},a\left(n\right),\mathrm{complex}\right)$
 $\left[\left[{1}{,}\left\{\frac{{\left({-I}{}{\mathrm{ln}}{}\left({x}\right)\right)}^{{n}}}{{n}}{,}\frac{{\left({I}{}{\mathrm{ln}}{}\left({x}\right)\right)}^{{n}}}{{n}}{,}\frac{{\left({-}\frac{\left({I}{-}\sqrt{{3}}\right){}{\mathrm{ln}}{}\left({x}\right)}{{2}}\right)}^{{n}}}{{n}}{,}\frac{{\left(\frac{\left({I}{-}\sqrt{{3}}\right){}{\mathrm{ln}}{}\left({x}\right)}{{2}}\right)}^{{n}}}{{n}}{,}\frac{{\left({-}\frac{\left(\sqrt{{3}}{+}{I}\right){}{\mathrm{ln}}{}\left({x}\right)}{{2}}\right)}^{{n}}}{{n}}{,}\frac{{\left(\frac{\left(\sqrt{{3}}{+}{I}\right){}{\mathrm{ln}}{}\left({x}\right)}{{2}}\right)}^{{n}}}{{n}}\right\}\right]{,}\left[{2}{,}\left\{\frac{{\left({-}\frac{{I}}{{2}}{}\left({I}{-}\sqrt{{3}}\right){}{{\mathrm{ln}}{}\left({x}\right)}^{{2}}\right)}^{{n}}}{{n}}{,}\frac{{\left({-}\frac{{I}}{{2}}{}\left(\sqrt{{3}}{+}{I}\right){}{{\mathrm{ln}}{}\left({x}\right)}^{{2}}\right)}^{{n}}}{{n}}{,}\frac{{\left({-}{{\mathrm{ln}}{}\left({x}\right)}^{{2}}\right)}^{{n}}}{{n}}{,}\frac{{\left({{ⅇ}}^{{x}}\right)}^{{n}}}{{n}{!}}\right\}\right]{,}\left[{3}{,}\left\{\frac{{\left({-I}{}{{\mathrm{ln}}{}\left({x}\right)}^{{3}}\right)}^{{n}}}{{n}}{,}\frac{{\left({I}{}{{\mathrm{ln}}{}\left({x}\right)}^{{3}}\right)}^{{n}}}{{n}}\right\}\right]{,}\left[{6}{,}\left\{\frac{{\left({-}{{\mathrm{ln}}{}\left({x}\right)}^{{6}}\right)}^{{n}}}{{n}}\right\}\right]\right]$ (22)

References

 Bertrand Teguia Tabuguia and Wolfram Koepf. Symbolic conversion of holonomic functions to hypergeometric type power series. Computer Algebra issue of the Journal of Programming and Computer Software. February 2022.
 Bertrand Teguia Tabuguia. Power Series Representations of Hypergeometric Type and Non-Holonomic Functions in Computer Algebra. Ph.D. thesis. University of Kassel, Germany. May 2020.
 Bertrand Teguia Tabuguia. A variant of van Hoeij's algorithm to compute hypergeometric term solutions of holonomic recurrence equations. arXiv:2012.11513 [cs.SC]. December 2020.

Compatibility

 • The LREtools[mhypergeomsols] command was introduced in Maple 2022.