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

learn more… | top users | synonyms

5
votes
0answers
190 views

Beta integral and Chu-Vandermonde identity

Chu vandermonde identity states that ${s+t \choose n}=\sum_{k=0}^n {s \choose k}{t \choose n-k} $ Now how to prove that this identity is a discrete form of beta integral? i see as a starting ...
5
votes
0answers
528 views

Tricky integral $\int_{a}^{b}\frac{\gamma d \gamma}{\gamma + \phi_{1}(\mu)-e^{-\frac{\phi_{2}(\mu)}{\gamma}}}$

in this integral $a=\psi_{1}(\mu), \ b=\psi_{2} (\mu)$. I expanded the function in Taylor series (3 terms) around ($\gamma= \frac{b}{2}$), numerically (for varioud values of $\mu$, and other constants ...
5
votes
0answers
154 views

Relationship between Dixonian elliptic functions and Borwein cubic theta functions

In this paper, it says that the three Borwein cubic theta functions obey the identity $a(q)^{3}=b(q)^{3}+c(q)^{3}$, which is strongly reminiscent of the identity that Dixonian elliptic functions obey ...
5
votes
0answers
175 views

Bounding function involving Beta functions

Given $\frac{a}{x-1} \leq \frac{b}{y-1} \leq \frac{c}{z-1}$ with $a,b,c > 0$ and $x,y,z > 1$, I want to show that $$\frac{(\frac{a}{a+b})^{x-1}(\frac{b}{a+b})^{y-1}}{B(x,y)\cdot (x+y-1)} + ...
4
votes
0answers
66 views

Simplification of an expression involving the dilogarithm with complex argument

Do you think there is a way to get a nice form of the expression below $$\Im{\left( \text{Li}_2\left(\frac{3}{5}+\frac{4 i}{5}\right)- \text{Li}_2\left(-\frac{3}{5}+\frac{4 i}{5}\right)+ ...
4
votes
0answers
52 views

Can anyone identify the function that represents this infinite product?

$$\lim_{\omega \to \infty} \prod_{N=1}^{\omega} {{1+e^{b \cdot c^{-N}}} \over 2}$$ For instance, the Lerch Transcendent is a analogous example of a special function that defines the sum of a useful ...
4
votes
0answers
45 views

Laplace transform of the logarithmic integral function

What is the Laplace transform of the logarithmic integral function $\text{li}(t)$. Meaning, how to compute the integral : $$\int_{0}^{\infty}\text{li}(t)e^{-st}dt$$
4
votes
0answers
83 views

Is there a name for this type of integral $\int_a^b \frac{P(x)}{\sqrt{1-P(x)^2}}dx$?

Given a polynomial of arbitrary degree, $P(x)$, on $[a,b]$ is there a name for this type of integral: $$\int_a^b \frac{P(x)}{\sqrt{1-P(x)^2}}dx$$
4
votes
0answers
73 views

Double integral of symmetric polylogarithmic function over rectangular region

This question was inspired by M.N.C.E.'s wonderful response here. While exploring the possibility of generalizing his result, I found that a significant part of the problem reduced to evaluating the ...
4
votes
0answers
80 views

integrate $\int \frac{1}{e^{x}+e^{ax}+e^{a^{2}x}} \, dx$

I've been trying to integrate $$ \int \frac{1}{e^{x}+e^{\omega x}+e^{\omega^{2}x}} \, dx $$ where $\omega=e^{2i\pi/3}$ but to no avail. I've tried substituting in $u=e^{(1+\omega)x}$ but ended up ...
4
votes
0answers
51 views

Software to compute spherical harmonics in higher than 3 dimensions (100 or maybe 500 dimensions)?

I have been trying to find an implementation of Spherical harmonics for higher dimensional data but I couldnt find anything in Sage, Mathematica, Matlab. Does anyone have any idea of a standard/fast ...
4
votes
0answers
31 views

Function in Lipschitz space

I'm looking for a function that is in $W^{1,1}(0,1)$ but only in the Lipschitz space $\mathrm{Lip} (\alpha, L_2(0,1))$ for $0<\alpha < 1$. $\mathrm{Lip}(\alpha, L_2(0,1))$ is defined as the set ...
4
votes
0answers
61 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 ...
4
votes
0answers
263 views

The Monster PolyLog Integral $\int_0^\infty \frac{Li_n(-\sigma x)Li_m(-\omega x^2)}{x^3}dx$

I am trying to solve this integral $$ \int_{0}^{\infty} {{\rm Li}_{n}\left(-\sigma x\right){\rm Li}_m\left(-\omega x^{2}\right) \over x^{3}}\,{\rm d}x $$ which is from some high school training ...
4
votes
0answers
190 views

Integral $=\int_0^\infty x^{\alpha -1}Li_n (-\sigma x) Li_m(-\omega x^r)dx$.

I am trying to calculate an integral that can be expressed in terms of infinite hypergeometric series by using transforms and Residue method, the integral is $$ ...
4
votes
0answers
139 views

Closed-form expression for a hypergeometric series

What is the closed-form expression for $${}_2 F_1 \left(1+2\lceil n/2\rceil,-n;1/2;-z/4\right)$$ According to the book Concrete Mathematics (R.Graham, D.Knuth, O.Patashnik 2nd), the authors say the ...
4
votes
0answers
97 views

Possible error in Wood's report on polylogarithms

I'm studying the article by Wood, D.C. "The Computation of Polylogarithms. Technical Report 15-92*" PS (it is remarkably poorly translated from latex to ps). It is listed in the literature section on ...
4
votes
0answers
126 views

The Tribonacci constant and the Dragon

Let $x = \frac{\ln T}{\ln 2} = 0.879146\dots$ where $T$ is the tribonacci constant, then x solves the transcendental equation, $$4^x(2^x-1)=(2^x+1)$$ Let $x = \frac{\ln y}{\ln 2} = 1.523627\dots$ ...
4
votes
0answers
385 views

Solving inhomogenous bessel equation

I have the following differential equation to be solved $\dfrac{d^2\psi}{dr^2}+\dfrac{d\psi}{rdr}+4\left(\omega^2-k_0^2-\dfrac{n^2}{r^2}\right)\psi=AJ_n^2(kr)+\dfrac{k}{r}J_n(kr)J_{n+1}(kr)-\omega ...
4
votes
0answers
182 views

Weierstrass $\wp$-Function Addition Property

Consider the function $$ \det\left( \begin{array}{ccccc} &1 &\wp(z) &\wp'(z) \\ &1 &\wp(w) &\wp'(w) \\ &1 &\wp(-z-w) &\wp'(-z-w) \end{array} \right)=f(z) $$ I'm ...
4
votes
0answers
103 views

analytic evaluation of $\int_{0}^{\infty} \frac{dx}{\mathrm{Bi}(x)}$

So, just out of random curiosity, I'm trying to find an analytic expression for the following definite integral: $$\int_{0}^{\infty} \frac{dx}{\mathrm{Bi}(x)}$$. Where $\mathrm{Bi}(x)$ is the Airy ...
4
votes
0answers
152 views

Satisfying a Differential Equation and complex Laguerre

I have the following problem Show that $$L_n(x)=\frac{e^x}{2 \pi i}\oint \frac{t^n e^{-t}}{(t-x)^{n+1}}dt$$ satisfies $$x\, L_n^{\prime\prime}+(1-x)L_n^\prime+n\, L_n=0$$ where the contour is ...
4
votes
0answers
217 views

please help with the a gamma function since i don't even have the idea?

How to prove: $$\frac{1}{2\pi i}\int_{-i\infty}^{i\infty} \frac{\Gamma(\alpha_1+x)}{\beta_1^{\alpha_1+x}}\, \frac{\Gamma(\alpha_2-x)}{\beta_2^{\alpha_2-x}}\, ...
3
votes
0answers
112 views

Another beta integral due to Cauchy.

I have the following identity which I want to prove: $$C(x,y):= \int_{-\infty}^{\infty} \frac{dt}{(1+it)^x(1-it)^y} = \frac{\pi \cdot 2^{2-x-y}\Gamma(x+y-1)}{\Gamma(x)\Gamma(y)}$$ where ...
3
votes
0answers
50 views

Same values for Gamma Function

I was thinking about the Gamma function, which for an integer positive argument is nothing but the factorial function. Using the integral representation, namely $$\Gamma[x] = \int_0^{+\infty}\ ...
3
votes
0answers
44 views

Airy transform of gaussian on half-line: $\int_{0}^\infty dx\, e^{-x^2}\text{Ai}(y-x)$

Background. The Airy transform of $f$ is defined as $$\int_{-\infty}^\infty dx\, f(x)\,\text{Ai}(y-x)\;.$$ $\text{Ai}$ denotes Airy function, $$\text{Ai}(x)=\frac{1}{\pi}\int_{-\infty}^\infty ...
3
votes
0answers
22 views

integral form of special function

Do you have any idea to present integral form of this function? $f(x)=\frac{1}{x^2}+\frac{1}{x}(\psi(x)-2\ln x-2)+2(1+\ln x)\psi^{'}(x)+x\ln x\psi^{''}(x).$ Where $\psi^{(n)}(x)$ is polygamma ...
3
votes
0answers
39 views

Is $\sum_n\exp(ian+ibn^2+icn^3)$ known in terms of anything else?

For arbitrary $a,b,c$, does the series $$F(a,b,c)=\sum_{n=-\infty}^\infty\exp\left(ian+ibn^2+icn^3\right),$$ i.e. an evenly-weighed series of exponentials of cubic polynomials, converge to anything ...
3
votes
0answers
44 views

Inverse Mellin of the exponential of the digamma function

(Cross-posted from mathoverflow: No answers yet; bounty there expires in less than 24 hours) I'm looking for a function $f_p(x)$ with real parameter $p>0$ satisfying $$ \int_0^\infty ...
3
votes
0answers
33 views

Proving that $ \frac {\sin (n+1) \theta}{\sin \theta}=\sum \limits _{l=0}^{n} P_l(cos \theta)P_{n-l}(cos \theta)$

I am trying to prove that $ \frac {\sin (n+1) \theta}{\sin \theta}=\sum \limits _{l=0}^{n} P_l(cos \theta)P_{n-l}(cos \theta)$. I found this identity on wikipedia but I am unable to prove it. If ...
3
votes
0answers
35 views

What do the Stirling numbers of the first kind have to do with polylogarithms?

On a whim, I had decided to look into ways of evaluating series of the form $$\sum_{n\ge1}\frac{1}{n^k2^n}$$ which I learned has a more general form in terms of polylogarithms: ...
3
votes
0answers
36 views

Weierstrass-$\wp$ Function Asymptotics

Given the Weierstrass-$\wp$ function, $$\wp(2x+1+\tau \mid 1, \tau),$$ with half-periods $1$ and $\tau=\omega_2/ \omega_1$, I want to look at the case where $\rm{Re}(\tau) \in \mathbb{Z}$ and I want ...
3
votes
0answers
96 views

Calculating in closed form $\int_0^{\infty} \frac{\text{PolyLog}^{(1,0)}(1,-x)}{1+x^2} \, dx$

Can you confirm the following result? Mathematica and other computational stuff I used seem unable to do anything about this result. Maybe to confirm it numerically? $$\int_0^{\infty} ...
3
votes
0answers
126 views

A difficult integral $\int_0^{\infty} \frac{\sin 2t}{1+t^3}\, {\rm d}t$

Here is an integral that I want to see a different approach: $$\int_0^{\infty} \frac{\sin 2t}{1+t^3}\, {\rm d}t$$ Well, for someone who is deeply aware of the exponential integral function and the ...
3
votes
0answers
57 views

What is $\int \frac{e^{a x}}{1+x^2} dx $?

In my answer to another question (here: Upper and lower bound on different of ${\rm erf}(\frac{x+c}{b})-{\rm erf}(\frac{x-c}{b})$), I came up with this integral: $\int \frac{e^{a x}}{1+x^2} dx $. I ...
3
votes
0answers
90 views

About the closed form for $\lim_{y\to +\infty}\left(-\frac{2}{\pi}\log(1+y)+\int_{0}^{y}\frac{|\cos x\,|}{1+x}\,dx\right)$

Recently, when facing a baby Rudin's exercise, I proved that: $$ \int_{0}^{y}\frac{|\cos x\,|}{1+x}\,dx = \frac{2}{\pi}\log(1+y)+O(1) $$ holds by integration by parts. Now I wonder if ...
3
votes
0answers
393 views

What special role plays the function $\pi^{\frac x\pi}$ in analysis?

I have tried to redefine some special functions in the most "natural" way, that is the way which allows to simplify the relations the most. I would call these functions "parelementary". The ...
3
votes
0answers
75 views

Special functions, Fourier series

Well known are the Fourier expansions (presented, e.g., in Abramovitz and Stegun): $$ \cos ( A \sin x) = J_0(A) + 2 \sum_{k=1}^{\infty} J_{2k}(A)~\cos(2kx)~~, $$ $$ \sin ( A \sin x) = 2 ...
3
votes
0answers
93 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) = ...
3
votes
0answers
160 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 ...
3
votes
0answers
32 views

Given $n$, find $a,b$ such that $a+b=n$ and $\Omega(a)+\Omega(b)$ is maximized

Given a number $n$, find $a,b$ such that: $a,b$ non-negative integers $a+b=n$ $\Omega(a)+\Omega(b)$ is maximized $\Omega(n)$ counts the number of prime factors of n (with multiplicity). ...
3
votes
0answers
61 views

Digamma equation identification

I was messing around with the digamma function the other day, and I discovered this identity: $$\psi\left(\frac ...
3
votes
0answers
41 views

Why do so many identities for the Logarithmic Integral begin with the terms $\log \log n + \gamma +…$?

Several identities for the log integral lead with the terms $\log \log n + \gamma$, where $\gamma$ is the Euler–Mascheroni constant. So, for example, there's the well-known $$\text{li}(n) = \log ...
3
votes
0answers
69 views

An integral with a decaying exponential with rational exponent

I was working on some mathematical derivations while I faced this integral: $$\Large \int_0^\infty x^{\alpha-1}e^{-\beta x} e^{-\lambda \left[\frac{x^2}{2x+\eta}\right]}\ \mathrm{d}x \quad .$$ Does ...
3
votes
0answers
67 views

integral over product of two bessel functions at discontinuity

The Weber-Schafheitlin integral $$ \int_{0}^{\infty}\frac{J_{\mu}(a t)J_{\nu}(bt)}{ t^{\lambda}} $$ where $J_{\mu}(x)$'s are Bessel functions of the first kind, can have delta function singularities ...
3
votes
0answers
99 views

Properties and representations of the the rescaled complementary error function $\mathrm{erfcx}{z}$

Consider the rescaled complementary error function: $$ \mathrm{erfcx}(z) = {e^{z^2}} \left( {1-\mathrm{erf}(z)} \right) $$ $z \in \Bbb{C}$ which also has the following integral representation: $$ ...
3
votes
0answers
65 views

Bessel J function problem

Let $\xi_{0k}$ be the k-th positive zero of $J_{0}$ Bessel function. Determine the coefficients $c_k$, so that $1 = \sum^{\infty}_{k=1} c_kJ_0(\frac{x \xi_{0k}}{2})$. I don't see what to do, is ...
3
votes
0answers
164 views

integral involving incomplete gamma function

Need to evaluate the integral $$ \int_a^b e^{1/x}\,\Gamma(m,1/x)\,dx $$ or equivalently $$ \int_{1/a}^{1/b} y^{-2}\,e^{y}\,\Gamma(m,y)\,dy, $$ where $m$ is an integer, and $0<a<b<\infty$. The ...
3
votes
0answers
93 views

Regularity of Daubechies wavelet

I am reading the book Wavelets: Theory and applications by A. K. Louis, D. Maass, A. Rieder ...
3
votes
0answers
52 views

Solving equation with LambertW function?

Does the equation $$ a = b x e^x + c x + d e^x $$ have a solution form solution? I tried to look for it by using the LambertW funcion, but I did not succeed. Thanks in advance.