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

learn more… | top users | synonyms

4
votes
0answers
67 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
55 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
46 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
92 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
82 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
83 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
54 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
32 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
62 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
43 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 ...
4
votes
0answers
272 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
195 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
150 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
208 views

Fabius function and equivalent

The Fabius function $F$ can be defined on $[0,1]$ by $F(0)=0$ $F(1)=1$ on $[0,\frac{1}{2}]$ $F'(x)=2.F(2x)$ on $[\frac{1}{2},1]$ $F'(x)=2.F(2(1-x))$ It's a known example of a not analytic ...
4
votes
0answers
170 views

Limiting behavior of an integral involving incomplete Gamma function

I am wondering about the limiting behavior as $k\rightarrow\infty$ of the following integral: $$I(k)=\frac{2^{-k/2}}{\Gamma(k/2)}\int_{f(k)}^\infty ...
4
votes
0answers
100 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
394 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
188 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
154 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
218 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}}\, ...
4
votes
0answers
221 views

How did Bessel functions come to be denoted by $J_n$?

The $n$th Bessel function of the first kind is usually denoted $J_n(x)$. Where did the use of the letter $J$ to indicate the Bessel function come from?
3
votes
0answers
54 views

A generalization of additive function over $\mathbb R$

Let $f:\mathbb R\to\mathbb R$ be a continuous function and $r\ge0$ a fixed value such that for all $x,y\in\mathbb R$ $$|f(x)+f(y)-f(x+y)|\le r$$ Show there exist $a\in\mathbb R$ and a function ...
3
votes
0answers
47 views

How to evaluate $\int_{0}^{\infty }\frac{e^{-x^{2}}}{\sqrt{t^{2}+x}}\mathrm{d}x$

How to evaluate the integral below $$\int_{0}^{\infty }\frac{e^{-x^{2}}}{\sqrt{t^{2}+x}}\mathrm{d}x~~~~~~(t>0)$$ The WolframAlpha gave me a horrible answer $$\frac{t}{2}e^{-\frac{t^{4}}{2}}\left \{ ...
3
votes
0answers
38 views

About the domain of the Gamma function

I started to read about the history of the Gamma Function. There are three places I liked most, The early history of the factorial function (p. 239 - 243) Leonhard Euler's Integral: An Historical ...
3
votes
0answers
48 views

Expansion of some singular kernel with the help of Bessel and Neumann spherical harmonic functions

With the following notations: $j_n$: spherical Bessel functions, $y_n$: spherical Neumann function, $P_n$: Legendre polynomial, $r$, $\rho$, $\theta$, $\lambda$ arbitrary complex, ...
3
votes
0answers
56 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
53 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
114 views

Limit with the Appell F1 function

While attempting to solve this problem I ran into a nasty limit. Mathematica claims that the indefinite integral ...
3
votes
0answers
64 views

What is the series expansion of reciprocal of theta function $\frac{1}{\theta(z;q)}$?

"The" theta function is an ambiguous concept, but one definition I have found is: $$ \theta(z;q) = (z;q)_\infty(q/z;q)_\infty = \frac{1}{(q;q)_\infty}\sum_{k \in \mathbb{Z}}z^k q^{\binom{k}{2}} ...
3
votes
0answers
24 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
44 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
48 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
36 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
37 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
103 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
135 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
142 views

a q-continued fraction related to the octahedral group

Let $q=e^{2\pi i\tau}$. If $u(\tau)$ is Ramanujan's octic continued fraction, $$u(\tau)=\cfrac{\sqrt{2}\,q^{1/8}}{1+\cfrac{q}{1+q+\cfrac{q^2}{1+q^2+\cfrac{q^3}{1+q^3+\ddots}}}}$$ is it true that ...
3
votes
0answers
59 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
91 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
76 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
96 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
222 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
35 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
62 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
72 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
71 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 ...