2
$\begingroup$

Is the generalized hypergeometric function ${}_1F_2\bigl(1;a,a+\frac12;-x^2\bigr)$ for $a>-1$ and $x>0$ an elementary function?

How about the positivity, monotonicity, and convexity of the generalized hypergeometric function ${}_1F_2\bigl(1; a, a+\frac{1}{2}; -x^2\bigr)$ in $x>0$ for $a\ge-1$?

$\endgroup$
5
  • $\begingroup$ In the question, the variable $a$ and $x$ are real. When $a$ is a positive integer, I can derive elementary expressions for ${}_1F_2\bigl(1,a,a+\frac12;x\bigr)$. So, please consider the case that the variable $a$ is real. $\endgroup$
    – qifeng618
    Commented Jun 10, 2023 at 22:03
  • $\begingroup$ My question can be restated as: Is the hypergeometric function ${}_1F_2\bigl(1;a,a+\frac12;x\bigr)$ for non-integer $a>2$ and real variable $x<0$ an elementary function? $\endgroup$
    – qifeng618
    Commented Jun 10, 2023 at 22:10
  • $\begingroup$ The functions $${}_1F_2\left(1;a,a\pm\frac12;-x^2\right)$$ and $${}_1F_2\left(1;a,a\pm\frac12;x\right)$$ both have closed forms for $a\in\mathbb{N}$. $\endgroup$ Commented Apr 26 at 15:17
  • $\begingroup$ @StevenClark What and where are your concrete results? My answer at mathoverflow.net/a/470042 confirms your claim. $\endgroup$
    – qifeng618
    Commented Apr 26 at 17:31
  • $\begingroup$ Since ${}_1F_2(c;a,b;z)= {}_1F_2(c;b,a;z)$, it suffices to consider ${}_1F_2\bigl(1;a,a+\frac12;z^2\bigr)$. I know now that the hypergeometric function ${}_1F_2\bigl(1;\frac{n}2,\frac{n+1}2;z^2\bigr)$ for $n\ge1$ has a closed-form expression. See my answer at mathoverflow.net/a/470042. $\endgroup$
    – qifeng618
    Commented Apr 26 at 17:54

4 Answers 4

4
$\begingroup$

Take $a=1/4$.
Maple says $$ {}_1F_2\left(1;\frac14,\frac34;-x^2\right) = 1-2\,\sqrt {x}\sqrt {\pi}\sin \left( 2\,x \right)\, {C}\! \left( 2\,{\frac {\sqrt {x}}{\sqrt {\pi}}} \right) +2\,\sqrt {x} \sqrt {\pi}\cos \left( 2\,x \right)\, {S}\! \left( 2\,{\frac { \sqrt {x}}{\sqrt {\pi}}} \right) $$ in terms of the Fresnel integrals $S$ and $C$.
Now, $S$ and $C$ are not elementary. So I guess this combination is also not elementary.


Simplified ... $$ {}_1F_2\left(1;\frac14,\frac34;-x^2\right) = 1+2\sqrt {x}\int_{-x}^{0}\!{\frac {\sin \left( 2\,r \right) }{\sqrt {r+x}}}\,{\rm d}r,\qquad x>0. $$ The proof that $S$ is not elementary may also work for this?

$\endgroup$
1
$\begingroup$

Part I. The following two formulas \begin{equation} {}_1F_2\biggl(1; n+1, n+\frac{3}{2}; -\frac{x^2}{4}\biggr) =(-1)^n\frac{(2n+1)!}{x^{2n+1}} \Biggl[\sin x-\sum_{k=0}^{n-1} (-1)^k\frac{x^{2k+1}}{(2k+1)!}\Biggr] \end{equation} and \begin{equation} {}_1F_2\biggl(1;n+\frac{1}{2}, n+1; -\frac{x^2}{4}\biggr) =(-1)^n\frac{(2n)!}{x^{2n}} \Biggl[\cos x-\sum_{k=0}^{n-1} (-1)^k\frac{x^{2k}}{(2k)!}\Biggr] \end{equation} for $n\in\mathbb{N}$ and $x>0$ were published on Page 16 of the reference [1] below. On the other hand, we know \begin{equation} {}_1F_2\biggl(1;1,\frac{3}{2}; -\frac{x^2}{4}\biggr) =\frac{4 \operatorname{arcsinh}\bigl(\frac{x}{2}\bigr)}{x \sqrt{x^2+4}\,} \end{equation} and \begin{equation} {}_1F_2\biggl(1;\frac{1}{2},1; -\frac{x^2}{4}\biggr) =\frac{2}{\sqrt{x^2+4}\,}. \end{equation} These four formulas reveal that the hypergeometric functions $$ {}_1F_2\biggl(1;n,n+\frac12;-x^2\biggr)\quad\text{and}\quad {}_1F_2\biggl(1;n-\frac12,n;-x^2\biggr) $$ for $n\in\mathbb{N}$ and $x>0$ are elementary! In other words, the hypergeometric function $$ {}_1F_2\biggl(1;\frac{n}2,\frac{n+1}2;-x^2\biggr), \quad n\in\mathbb{N} $$ has a closed-form expression.

Part II. Among other things, combining the above first two formulas with Theorems 1 and 2 in the reference [1] below, we can conclude that both of the hypergeometric function ${}_1F_2\bigl(1; n+1, n+\frac{3}{2}; -\frac{x^2}{4}\bigr)$ for $n\ge1$ and the hypergeometric function ${}_1F_2\bigl(1;n+\frac{1}{2}, n+1; -\frac{x^2}{4}\bigr)$ for $n\ge2$ are positive and decreasing in $x\in(0,\infty)$, while both of them are concave in $x\in(0,\pi)$. Summing up, the hypergeometric function $$ {}_1F_2\biggl(1; \frac{n+3}{2},\frac{n+4}{2}; -\frac{x^2}{4}\biggr), \quad n\in\mathbb{N} $$ is positive and decreasing in $x\in(0,\infty)$, while it is concave in $x\in(0,\pi)$.

Part III. Considering the first two formulas in Part I above, we observe that, in the reference [2] below, among other things, the function \begin{equation*} \ln\biggl[{}_1F_2\biggl(1;n+\frac{1}{2}, n+1; -\frac{x^2}{4}\biggr)\biggr], \quad n\in\mathbb{N} \end{equation*} was expanded into a Maclaurin power series at the point $x=0$, as well as the function \begin{equation*} \frac{\ln\bigl[{}_1F_2\bigl(1;\frac{5}{2}, 3; -\frac{x^2}{4}\bigr)\bigr]}{\ln\cos x} \end{equation*} was proved to be decreasing on $\bigl(0,\frac{\pi}2\bigr)$.

For more information, please refer to Remark 7 in the paper [3] below.

References

  1. Tao Zhang, Zhen-Hang Yang, Feng Qi, and Wei-Shih Du, Some properties of normalized tails of Maclaurin power series expansions of sine and cosine, Fractal and Fractional 8 (2024), no. 5, Article 257, 17 pages; available online at https://doi.org/10.3390/fractalfract8050257.
  2. A. Wan and F. Qi, Power series expansion, decreasing property, and concavity related to logarithm of normalized tail of power series expansion of cosine, Electron. Res. Arch. 32 (2024), no. 5, 3130--3144; available online at https://doi.org/10.3934/era.2024143.
  3. Yue-Wu Li and Feng Qi, A new closed-form formula of the Gauss hypergeometric function at specific arguments, Axioms 13 (2024), no. 5, Article 317, 24 pages; available online at https://doi.org/10.3390/axioms13050317.
$\endgroup$
0
$\begingroup$

Your question posed two very hard problems.

  1. Are $a$ and $x$ reals as suggested.
  2. Is $a$ hard to be interpreted as continuous.

If $a$ is continuous, the generalized hypergeometric stays not simplified and an interpretation with respect to elementary function is not possible.

From the use of indices, You gave two groups of values:

$\{1\}$ for the first lower index $1$

and

$\{a,a+\frac{1}{2}\}$ for the second lower index $2$ behind the symbol $F$.

I need a workaround to the condition $x<0$. For this is use $-abs(x)$.

So if I calculate

$_1F_2(\{1\};\{a,a+\frac{1}{2}\};-abs(x))$

for $a=2$, I get

$\frac{3\left(2\sqrt{|x|}-\sin\left(2\sqrt{|x|}\right)\right)}{4|x|^{3/2}}$

This is a composition of elementary functions. But it is certainly not an elementary function. For noninteger $a$ no such closed form is given.

For $a=3$, I get

$\frac{5\left(4|x|^{3/2}-6\sqrt{|x|}+3\sin\left(2\sqrt{|x|}\right)\right)}{4|x|^{5/2}}$

For $a=4$, I get

$\frac{5\left(4|x|^{3/2}-6\sqrt{|x|}+3\sin\left(2\sqrt{|x|}\right)\right)}{4|x|^{5/2}}$.

So the trend is clear more and more $\frac{1}{2}$ potences appear in the polynomial. For real $a$ the solution are continuous in between the integer ones.

The negative definition range alters the $\sinh$ to the $\sin$ that is all.

For $a=1$ the simplification is $\frac{\sin\left(2\sqrt{|x|}\right)}{2\sqrt{|x|}}$. So this is more elementary than the sums. The composition is only the quotient of two elementary functions.

$\endgroup$
3
  • $\begingroup$ Your results for $a=3$ and $a=4$ are the same which is inconsistent with this WolframAlpha evaluation. $\endgroup$ Commented Jun 10, 2023 at 21:51
  • 1
    $\begingroup$ When a is a positive integer, I can derive explicit and elementary expressions for ${}_1F_2\bigl(1;a,a+\frac12;x\bigr)$. What I want is the result for the case that the variable $a$ is not an integer. $\endgroup$
    – qifeng618
    Commented Jun 10, 2023 at 22:16
  • 1
    $\begingroup$ Isn't a composition of (finitely many) elementary functions an elementary function? $\endgroup$ Commented Jul 15, 2023 at 10:59
0
$\begingroup$

Might be useful - an expression in terms of the incomplete Gamma function. The series $$ {}_1F_2(1;a,a+\frac12;-x^2)=1-\frac{4x^2}{2a(2a+1)}+\frac{16x^4}{2a(2a+1)(2a+2)(2a+3)}-\frac{64x^6}{2a(2a+1)(2a+2)(2a+3)(2a+4)(2a+5)}+... $$ can be written as $$ \frac12\left(f(2ix)+f(-2ix)\right), $$ where $$ f(t)=1+\frac t{2a}+\frac{t^2}{2a(2a+1)}+\frac{t^3}{2a(2a+1)(2a+2)}+...=\frac{2a-1}{t^{2a-1}}e^t(\Gamma(2a-1)-\Gamma(2a-1,t)) $$

$\endgroup$
14
  • $\begingroup$ Please read the paper "Yue-Wu Li and Feng Qi, A new closed-form formula of the Gauss hypergeometric function at specific arguments, Axioms 13 (2024), no. 5, Article 317, 24 pages; available online at doi.org/10.3390/axioms13050317." $\endgroup$
    – qifeng618
    Commented May 10 at 15:45
  • $\begingroup$ @qifeng618 Thank you for the information. DOI actually does not work, a working link that I found is https://www.mdpi.com/2075-1680/13/5/317/pdf. You mean the content of Remark 7, right? $\endgroup$ Commented May 10 at 19:39
  • $\begingroup$ Indeed your function is "like a cosine" as this $f(t)$ is "like an exponential". For example, it satisfies the differential equation $f'(t)=\frac{2a-1}t+\left(1-\frac{2a-1}t\right)f(t)$. It is interesting whether $f(t)$ satisfies some functional equation expressing $f(x+y)$ or some more complicated analog of the functional equation for the exponential function. $\endgroup$ Commented May 10 at 20:17
  • $\begingroup$ The doi: doi.org/10.3390/axioms13050317 will be activated very soon. Yes, I mentioned this answer in Remark 7 of the above paper. $\endgroup$
    – qifeng618
    Commented May 11 at 14:33
  • 1
    $\begingroup$ Copy and paste, not by keyboard. I tried and succeeded @მამუკა ჯიბლაძე $\endgroup$
    – qifeng618
    Commented May 13 at 22:45

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .