Questions on special functions, useful functions that frequently appear in pure and applied mathematics (usually not including "elementary" functions).

learn more… | top users | synonyms

0
votes
1answer
23 views

finding minima of three varible function

I need to find minima of this function. $f(a,b,c)=2^a-5^b\cdot7^c$ where $a,b,c$ are positive integer I need to prove that for any value of a,b,c the value of function can never be 1. Tried ...
1
vote
1answer
20 views

Sum of complex digamma functions

It seems that the sum of the digamma function of $z$ and the digamma function of its conjugate $z^*$ is always real-valued. ...
1
vote
1answer
40 views

How can we solve the “transcendent” equation relating to Stoner criterion

I met a algebraic equation(not a transcendent equation) during my study of Stoner criterion in Quantum Statistical Physics. In this occasion, one need to solve the equation $$ ...
0
votes
0answers
9 views

q-theta function and their properties

I want to compute the residue integral for q-theta function, and derive its properties. First i'll briefly explain the definition \begin{align} & ...
0
votes
0answers
17 views

Ellptic\Jacobi theta function and its residue integral

The Ellptic\Jacobi theta function is given by \begin{align} \theta_1(\tau|z)&=\theta_1(q,y)=-iq^{\frac{1}{8}}y^{\frac{1}{2}}\prod_{k=1}^{\infty}(1-q^k)(1-yq^k)(1-y^{-1}q^{k-1}) \\ &= ...
2
votes
1answer
41 views

About Jacobi Theta function

The Jacobi theta function is given by \begin{align} \theta_1(\tau|z)&=\theta_1(q,y)=-iq^{\frac{1}{8}}y^{\frac{1}{2}}\prod_{k=1}^{\infty}(1-q^k)(1-yq^k)(1-y^{-1}q^{k-1}) \\ &= -i\sum_{n\in ...
10
votes
2answers
889 views

The roots of Hermite polynomials are all real?

The Hermite polynomials are defined as $$H_n(x)=(-1)^n e^{x^2}\dfrac{d^n}{dx^n}e^{-x^2}.$$ How does one prove that all the roots of the Hermite polynomial are real?
3
votes
1answer
139 views

Closed-form of $\sum_{k=1}^{\infty }\left(\psi_1(k)\right)^n$

Inspired by answers to this question, for which $n$ values could we specify a closed-form of $$S(n)=\sum_{k=1}^{\infty }\left(\psi_1(k)\right)^n\,?$$ Here $\psi_1$ is the trigamma function, and ...
0
votes
0answers
27 views

Identities related to hypergeometric functions

It is known that hypergeometric functions are closely related to the formula of $\pi$ given by Ramanujan. Trying to master the proof given by the Borwein brothers, I got two identities: ...
0
votes
1answer
32 views

Differential equation with zero solution of indicial equation?

I want to solve this equation $$ y'' + (\frac{1}{x} + 4x)y' + (5+4x^2)y = 0 $$ Where $y''$ is second derivative and so on. This equation has singuar point at $x=0$. And this is regular singular ...
0
votes
0answers
17 views

How to find this limit of Bessel function?

I have a question about limit of Bessel function. $$ \lim_{x \to \infty} x \bigg [ (J_p (x) )^2 + (Y_p (x) )^2 \bigg ] $$ Where, $ J_p (x)$ is Bessel function of first kind $ Y_p (x)$ is general ...
2
votes
1answer
82 views

how to integrate $\mathrm{arcsin}\left(x^{15}\right)$?

Integral by parts: $$ I = x\sin^{-1}\left(x^{15}\right) - \int\frac{15x^{15}}{\sqrt{1-x^{30}}}dx $$ then what? The answer by wolfram gives an answer contains hypergeometric ${}_2F_1$ function,because ...
6
votes
1answer
142 views

Prove this closed-form of sum of ${_4F_3}$ hypergeometric functions

I think the following identity is true. How could we prove it? $${_4F_3}\left(\begin{array}c 1,1,1,1 \\\tfrac54,2,2\end{array}\middle|\,1\right) + ...
7
votes
1answer
171 views

Is this integral reducible to an elliptic integral?

I believe if $k=0$ the following integral is reducible to an elliptic integral. If $k > 0$ is it possible to reduce it to an elliptic integral or some other special function? $$\int_\rho^x \sqrt{1 ...
2
votes
0answers
31 views

Asymptotics of inverse Laplace transform of a function with an essential singularity?

Let $h$ be the function $$ h(x) = \sum_{k\geq0} \frac{(ix)^k}{k!}\zeta(2k), $$ with the Laplace transform $$ \tilde h(s) = -\frac{\pi}{2s}\sqrt{i/s}\cot\left(\pi\sqrt{i/s}\right), $$ which has an ...
0
votes
0answers
8 views

Hilbert transform of the product of functions

Let $H[g]$ denotes a Hilbert transform of function $g$. What would be the constant $C$ in the following inequality: $$ \|H[(\cos n)(\cos{1/(2n))}f](x)\|_{L_2}\leq C\|f\|_2? $$
0
votes
0answers
12 views

Is there such a thing as a “continuum singular value decomposition”?

I have a question about expressing 2D functions as sums of separable functions. As a concrete example, consider the Gaussian circle function, ...
1
vote
0answers
31 views

Does a specific function exist with these properties?

lets say i have a function where: $[p,c,n,k] \in \mathbb{Z}$ defined some way in this function $ f(x) = \sum_{q=0}^{n} \sum_{v=1}^{k-q+1}\frac{c(k+1-v)!(p-k)!}{(k+1-v-q)!q!(p-k-q)!}x^{k-v+1-q} = ...
8
votes
4answers
3k views

How to accurately calculate the error function erf(x) with a computer?

I am looking for an accurate algorithm to calculate the error function I have tried using [this formula] (http://stackoverflow.com/a/457805) (Handbook of Mathematical Functions, formula ...
0
votes
1answer
29 views

Showing that the linear twist map is sensitive dependent

Choose $\Delta=\frac{1}{2}$ (I believe this value should work). let $\delta > 0$ and let $\textbf{x}_1=(x_1,y_1) \in X$. I assuming that $d$ is the Euclidean distance. Somehow I think we ...
1
vote
1answer
48 views

Is this a special function?

Suppose $$ f(z;a) = \int_0^z t^{-a-1}\,(1+t)^{a}\,dt, $$ where $a>1$. Is this function known as a special function? It appears to be close to the following representation of the beta function: $$ ...
7
votes
1answer
173 views

Closed-form of $\int_0^1 \int_0^1 \int_0^1 x^{(y^z)} \,dz\,dy\,dx$

We know that $$\int_0^1 \int_0^1 x^y\,dy\,dx = \ln 2.$$ Do we know a closed-form of $$\int_0^1 \int_0^1 \int_0^1 x^{(y^z)} \,dz\,dy\,dx\,?$$ As a start we know that $$\int_0^1 x^{(y^z)}\,dz = ...
1
vote
0answers
44 views

Manipulating constants inside the Exponential Integral function

In the following form of the Exponential Integral function; $$ E_{n}(x+c) $$ where $E_{n}(x+c)$ is the exponential integral function, $x\in\mathbb{R}^+$ , $n\in\mathbb{N}$ , $c$ is a constant Is it ...
8
votes
0answers
72 views

Question on the paper Donal F. Connon, “Some integrals involving the Stieltjes constants”

I'm reading Donal F. Connon, Some integrals involving the Stieltjes constants. It gives a definition of the generalized Stieltjes constants $\gamma_n(u)$ as coefficients in the Laurent series ...
0
votes
0answers
21 views

What is a “hypergeometric series” with differences, not just sums, of indices?

"Hypergeometric series" often have forms like (in two variables) $$\sum_{n=0}^{\infty} \sum_{k=0}^{\infty} \frac{(a_1)_n (a_2)_n}{(b_1)_k (c_1)_{n+k}} \frac{x^n}{n!} \frac{y^k}{k!}$$ And there are ...
10
votes
2answers
196 views

Closed-form of $\int_0^1 B_n(x)\psi(x+1)\,dx$

Is there a closed-form of the following integral? $$I_n = \int_0^1 B_n(x)\psi(x+1)\,dx,$$ where $B_n(x)$ are the Bernoulli polynomials and $\psi(x)$ is the digamma function. The motivation of the ...
3
votes
2answers
96 views

Closed-form of the sequence ${_2F_1}\left(\begin{array}c\tfrac12,-n\\\tfrac32\end{array}\middle|\,\frac{1}{2}\right)$

Is there a closed-form of the following sequence? $$a_n={_2F_1}\left(\begin{array}c\tfrac12,-n\\\tfrac32\end{array}\middle|\,\frac{1}{2}\right),$$ where $_2F_1$ is the hypergeometric function and $n ...
3
votes
1answer
63 views

Closed-form of a special value dilogarithm identity

Let $c$ be the following. $$c = \frac{1+i\sqrt 3}{3}\operatorname{Li}_2\left(1-\frac{i\sqrt 3}{3}\right)+\operatorname{Li}_2\left(\frac 34 + \frac{i\sqrt 3}{4}\right) + ...
6
votes
3answers
98 views

Closed-form of $\int_0^1 \operatorname{Li}_p(x) \, dx$

While I've studied integrals involving polylogarithm functions I've observed that $$\int_0^1 \operatorname{Li}_p(x) \, dx \stackrel{?}{=} \sum_{k=2}^p(-1)^{p+k}\zeta(k)+(-1)^{p+1},\tag{1}$$ for any ...
4
votes
0answers
64 views

Closed-form of $\int_0^1 \left(\ln \Gamma(x)\right)^3\,dx$

From the amazing result by Raabe we know that $$LG_1=\int_0^1 \ln \Gamma(x)\,dx = \frac{1}{2}\ln(2\pi) = -\zeta'(0).$$ We also know that $$LG_2 = \int_0^1 \left(\ln \Gamma(x)\right)^2\,dx = ...
8
votes
1answer
144 views

Closed-form of $\int_0^1\left(\frac{\arctan x}{x}\right)^n\,dx$

Inspired by this question, is there a closed-form of $$\int_0^1\left(\frac{\arctan x}{x}\right)^n\,dx\,?$$ Here $n \in \mathbb{N_+}$. In the answers to the question above we could find proofs of ...
3
votes
2answers
58 views

Decomposition of $_1F_2(1+n;1,2+n;x)$

I am looking for a way to decompose $_1F_2(1+n;1,2+n;z)$ for $n\in\mathbb{N}$ into either Bessel J functions or regularized confluent hypergeometric functions $_0\tilde F_1(b(n),z)$. Mathematica seems ...
0
votes
0answers
14 views

Incomplete Beta function for negative parameters

I implemented the incomplete Beta function $B_x(a,b)$ for negative $a,b$ using the relations to the Hypergeometric function from http://functions.wolfram.com/GammaBetaErf/Beta3/26/01/02/, especially ...
1
vote
0answers
21 views

Name for hypergeometric-like sum.

Consider the sum $F(a_1,\cdots,a_r; z)\sum_{m=0}^{\infty}\frac{(a_1+m)(a_2+m)\cdots(a_r+m)}{(a_1)(a_2)\cdots (a_r)}\frac{z^m}{m!},$ where $a_i$ for $i=1,2,\cdots,r$ is an increasing sequence of ...
4
votes
1answer
75 views

How to prove $H\left(\frac{1}{4}\right)=\frac{e^{\frac{C}{4\pi}-\frac{3}{32}}\cdot A^{\frac{9}{8}}}{\sqrt 2}$

How to prove: $$ H\left(\frac{1}{4}\right)=\frac{e^{\frac{C}{4\pi}-\frac{3}{32}}\cdot A^{\frac{9}{8}}}{\sqrt 2} $$ Where $C$ is Catalan's number, $A$ is Glaisher-Kinkelin's constant and $H(x)$ is the ...
2
votes
1answer
46 views

Weighted sum of cosines

Consider $$f(x) = \sum_{k=1}^\infty \cos(kx) k^\alpha.$$ The first question is: does this have a name (Mathematica gives it as a sum of polylogs of complex arguments, but this seems unnatural). Also, ...
0
votes
1answer
47 views

Asymptotic Expansions of Exponential Integral function

In NIST equation 8.20.2 what is meant by $(p)_{k}$ $$\mathop{E_{p}}\nolimits\!\left(z\right)\sim\frac{e^{-z}}{z}\sum_{k=0}^{% \infty}(-1)^{k}\frac{\left(p\right)_{k}}{z^{k}},$$
4
votes
1answer
257 views

Infinite sum of Bessel Functions

I came across the following sum in my work involving the infinite sum of a product of Bessel functions. Does anyone have any idea of how to express this in a simpler form? 'a' and 'b' are positive ...
1
vote
1answer
39 views

octagonal number theorem $q$-Pochhammer symbol expression

Setting the exponents of this analogue of the series in Euler's Pentagonal Number theorem to be the octagonal numbers: $$U(q)= \sum_{n\in\mathbb{Z}} (-1)^{n}q^{n(6n-4)/2}$$ in mpmath: ...
4
votes
0answers
51 views

Finding convolution identites

Suppose I have the following definition: $$\frac{x^2/2!}{e^x-1-x}=\sum_{k=0}^{\infty}A_k\frac{x^k}{k!}$$ I want to find a convolution identity for these coefficients $A_k$, but I've never studied ...
5
votes
2answers
131 views

Evaluating a series of hypergeometric functions

I would like to prove (or disprove) the following statement: $$ \sum_{n=0}^\infty \left[\frac{{}_2{\rm F}_1\left(\frac{1}{2},\frac{1-n}{2};\frac{3}{2};1\right)}{n!}\right] = \frac{\pi}{2} \left[ ...
0
votes
1answer
24 views

Partial fraction that contain special function

How to apply partial fraction to the following equation: $$ \frac{e^{\frac{(2c+5x)}{3x}} \mathop{E_{n}}\nolimits\!\left(x\right)}{(a+x)(b+x)} $$
0
votes
1answer
187 views

An identity about Dirichlet $\eta$ Function

We know the Dirichlet $\eta$-function is defined as the analytic continuation of $$\eta(s) = \sum_{i=1}^\infty \frac{(-1)^{n-1}}{n^s} \quad \Re(s)>0$$ I find an identity for the values of this ...
5
votes
1answer
84 views

Log Log Integrals II

The integral \begin{align} I_{4} = \int_{0}^{1} \ln(1-x) \ \ln^{2}\left( \ln\left(\frac{1}{x}\right) \right) \ \frac{dx}{x} \end{align} can be expressed as \begin{align} I_{4} = \zeta^{''}(2) - ...
5
votes
0answers
136 views

Log Log Integrals III

The integrals \begin{align} I_{7} = \int_{0}^{1} \ln(x) \ \ln^{2}\left( \ln \left(\frac{1}{x}\right) \right) \ \frac{dx}{1-x} \end{align} and \begin{align} I_{8} = \int_{0}^{1} \ln(x) \ \ln^{2}\left( ...
2
votes
0answers
22 views

Do the incomplete gamma functions have reflection formulas?

Euler gave this reflection formula for the gamma function: $$\Gamma(z)\Gamma(1-z) = \frac{\pi}{\sin(\pi z)}$$ My question - do the lower incomplete gamma function $\gamma(s,x)$ and the upper ...
1
vote
0answers
39 views

Non-recursive closed-form of the coefficients of Taylor series of the reciprocal gamma function

The reciprocal gamma function has the following Taylor series. $$\frac{1}{\Gamma(z)}=\sum_{k=1}^{\infty}a_kz^k,$$ where the $a_k$ coefficient are given by the followint recursion. $a_1=1$, ...
3
votes
0answers
72 views

How prime numbers are related to special functions?

We know that the Riemann zeta function is defined as $$\zeta(s)=\sum_{n=1}^\infty\frac{1}{n^s},$$ for all $\Re(s)>1$. Because of Euler product formula we also know that $$\zeta(s) = ...
10
votes
2answers
304 views

Extract real and imaginary parts of $\operatorname{Li}_2\left(i\left(2\pm\sqrt3\right)\right)$

We know that polylogarithms of complex argument sometimes have simple real and imaginary parts, e.g. ...