Tagged Questions

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
0answers
36 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 ...
2
votes
0answers
19 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
6 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
10 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
28 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} = ...
0
votes
0answers
19 views

Function which has the following properties [on hold]

I wanted a function which is strongly positive (sharp gradient) in the ++ and positive in the +, and the same in minus
0
votes
1answer
23 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 ...
4
votes
1answer
76 views
+50

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 ...
4
votes
1answer
71 views
+100

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) + ...
1
vote
1answer
44 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: $$ ...
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 ...
0
votes
0answers
25 views

Closed-forms of real parts of special value dilogarithm identities from inverse tangent integral function

The inverse tangent integral is defined as $$\operatorname{Ti}_2(x)=\Im\operatorname{Li}_2\left(ix\right)$$ Because this we have some special value identitiy. Let $c_1 = \operatorname{Li}_2(i)$, ...
0
votes
0answers
12 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 ...
3
votes
2answers
43 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 ...
1
vote
0answers
20 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
126 views
+100

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
37 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 ...
0
votes
1answer
39 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}},$$
2
votes
1answer
38 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, ...
4
votes
1answer
68 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 ...
1
vote
0answers
46 views
+50

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 ...
8
votes
1answer
110 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 ...
7
votes
0answers
53 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 ...
4
votes
0answers
45 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 = ...
10
votes
2answers
198 views

Closed-form of $\int_0^1 \operatorname{Li}_3^3(x)\,dx$ and $\int_0^1 \operatorname{Li}_3^4(x)\,dx$

We know a closed-form of the first two powers of the integral of trilogarithm function between $0$ and $1$. From the result here we know that $$I_1=\int_0^1 \operatorname{Li}_3(x)\,dx = ...
6
votes
3answers
71 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 ...
5
votes
2answers
104 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[ ...
3
votes
1answer
56 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) + ...
2
votes
0answers
15 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 ...
3
votes
2answers
77 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 ...
1
vote
0answers
36 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$, ...
10
votes
2answers
172 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
0answers
68 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) = ...
1
vote
1answer
34 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: ...
0
votes
2answers
104 views

Extremely tough indefinite integral

This integral does indeed use special functions, so do include them here. Evaluate: $\int \frac{1}{\sqrt{x}\ln(x)} dx$ $x = {\sqrt{x}}^{2} \space \text{let} \space u = \sqrt{x}$ $= 2\int ...
0
votes
1answer
28 views

Derivatives and Integrals of Summations

Im unsure if this is just a stupid question because i have been independently studying this kind of math for about a week, but this has been bothering me lately as i have been exploring some definite ...
3
votes
0answers
29 views

How can one derive Stokes lines of the Stokes phenomenon of asymptotics from a differential equation?

Is there a standard technique to calculate Stokes lines and anti-Stokes lines of the Stokes phenomenon of asymptotics for a function defined as the general solution to a differential equation without ...
7
votes
1answer
104 views

Evaluate $\int_{0}^{1} \frac{\left[\rm{Li}_2\left(\frac{1}{2} \right)-\rm{Li}_2\left(\frac{1 + x}{2}\right)\right]\ln( 1 - x)}{1 + x}\,dx$

$\def\Li{{\rm{Li}}}$How to evaluate the following integral$${\large\int_0^1} {\frac{{\left[ {\Li_2\left( {\frac{1}{2}} \right) - \Li_2\left( \frac{1 + x}{2} \right)} \right]\ln \left( {1 - x} ...
1
vote
1answer
71 views

On the convergence rate at infinity of the Fourier transform of the standard bump function

My question is concerned with the Fourier transform of the standard bump function, $\phi(x)=e^{-\frac{1}{x^2-1}}$ if $x\in (-1,1)$ and equal to $0$ if otherwise. As known, as $\phi$ has compactly ...
4
votes
2answers
81 views

How to calculate the value of the special integral

I get $${\left. \frac{\partial ^2}{\partial n^2} \left( \frac{\partial ^2}{\partial m^2} B(m,n) \right) \right|_{m = \frac{1}{2},n = 0}} = \int_0^1 \frac{\ln^2 x \ln^2 (1 - x)}{\sqrt x (1 - x)} \, dx ...
9
votes
2answers
256 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. ...
0
votes
1answer
26 views

dense subspace of $L^2(\Omega\times(0,T))$

I am trying to prove that the functions $f(\omega,t)=g(\omega)h(t)$ where $g\in G,\: h\in H,$ are dense in $L^2(\Omega\times(0,T))$ if $G$ is dense in $L^2(\Omega)$ and $H$ is dense in $L^2((0,T))$. ...
4
votes
0answers
50 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 ...
2
votes
0answers
102 views

Estimating a special exponential integral

Let $s>0$ be fixed, and consider for $p>0$, $\alpha>0$, the integral $$I_s(p,\alpha)= \int_0^1 t^p e^{-s\left(1-t^2\right)^{-\alpha}} dt $$ For fixed $\alpha$, one has $I_s(p,\alpha)\to0$ ...
0
votes
1answer
36 views

Name of special function used used by Wolfram integrator

Integrating $\frac{e^{-r}}{(\sqrt{2t-r})}$ with respect to $r$ between $r=t$ and $r=2t$ on Wolfram (http://www.wolframalpha.com/widgets/view.jsp?id=8ab70731b1553f17c11a3bbc87e0b605) gives the answer ...
0
votes
0answers
26 views

How to sketch the graph of $y=6-4\cos(x/2 )$?

How can I sketch a graph such as $y=6-4\cos(x/2 )$? Should we stretch the graph horizontally with a scale factor of $2$, translate the graph by $6$ units in the positive $y$-direction and the graph ...
0
votes
0answers
10 views

What is the closed form for generation function of $\xi(2x)$ (Riemann Xi)?

I wonder whether the following coincidence is just random. Here is the function $-1/x$: If we add infinitely many similar functions with a shift of pi/2 each in both directions, we get $\tan x$. ...
0
votes
0answers
15 views

Notation for operator that returns square of a function?

Let $F$ denote the vector space of all real-valued continuous functions on the real line. Suppose I have an operator $T:F\to F$ such that for any input function $f \in F$, $T$ returns the square ...
2
votes
2answers
70 views

An infinite series involving Legendre polynomials

For $x \in [-1,1]$ and $0 \le g < 1$, consider the convergent series $$ H(x,g) = \sum_{k = 0}^\infty (2k+1) g^k P_k(x)^2 $$ where $P_k$ is the $k$-th Legendre polynomial. Then $H(1,g) = ...
2
votes
0answers
28 views

Estimates of certain exponential series

I am interested in series of the form $$S(k)=\sum_{n=k}^\infty e^{-an^\alpha},$$ where $a>0$ and $0<\alpha\leq1$ are fixed parameters. Clearly, this series converges, i.e. $S(k)\to 0$ for ...