Many special functions appear as solutions of differential equations or integrals of elementary functions. Most special functions have relationships with representation theory of Lie groups.

learn more… | top users | synonyms

2
votes
0answers
123 views

A second polylogarithm ladder for the tribonacci and n-nacci constants

In "A seventeenth-order polylogarithm ladder", on page 6 (eq 25), Bailey et al give a dilogarithmic ladder that begins with, $$0 = ...
6
votes
0answers
225 views

Identification of a curious function

The following question was asked on math.stackexchange, but there were no replies. During computation of some Shapley values (details below), I encountered the following function: $$ f\left(\sum_{k ...
6
votes
1answer
226 views

Conjectured bound on Kummer's function (confluent hypergeometric function)

I believe the following bound to be correct: ${}_1F_1(-a;1+a;-z) a z^{-a} \gamma(a,z) \leq 1$ for real-valued a > 0 and z $\geq 0$. $\gamma(a,z)$ is the lower incomplete gamma function. Apart from ...
2
votes
1answer
163 views

A definite integral related to hypergeometric function

I obtained the following integral when looking for a probability density function: $$\int_0^1 x^{\alpha-1} \,(1-x) ^{-A}\, {}_2F_1 (1-A, \alpha -1-A, \alpha -A, x) \,dx$$ Can anyone please give me ...
2
votes
1answer
180 views

Limit involving regularlized gamma function and its inverse

Let $$L(x)=Q\left(\frac{x}{2},\frac{a}{a+f(x)/\sqrt{x}}Q^{-1}\left(\frac{x}{2},1-b^{1/g(x)}\right)\right)$$ where $Q(s,x)=\frac{\Gamma(s,x)}{\Gamma(s)}$ is the upper incomplete gamma function ...
4
votes
1answer
240 views

How to get an expression for this integral(Numerically/Analytically)

I have the following problem: I need to evaluate the integral $$\int_{\cos(\alpha)}^{1} P_l(t)P_{l'}(t) dt $$ for $\alpha \in [0,\pi]$ and each combination of $l$ and $l'$, where $P_l$ is the l-th ...
2
votes
2answers
203 views

Ewald's generalized theta function

Could anyone provide me some materials on the derivation of Ewald's generalized theta function (in English)? The original paper was written in German :-( Die Berechnung optischer und ...
1
vote
0answers
187 views

Can the series $\sum\limits_{n=0}^\infty q^{F_n}$ be expressed in terms of theta functions?

Let $F_0=0,F_1=1,...$ be the Fibonacci numbers. Is there a known closed form for the sum $\sum\limits_{n=0}^\infty q^{F_n}$? By closed form, I mean in terms of well-known functions, the first ones to ...
5
votes
1answer
194 views

Function transformation of exponentials

I came across the following function transformation: $$ \sum_{j=-\infty}^{\infty} e^{(-j^2\cdot t)} = \sqrt{\frac{\pi}{t}} \cdot \sum_{j=-\infty}^{\infty} e^{(-\frac{\pi^2}{t}\cdot j^2)} $$ where $ j ...
2
votes
2answers
417 views

Summation of certain series

Suppose $f(n)$ is a periodic function with period $q$. Now from this paper we get that if $\displaystyle\sum_{n=1}^{q}f(n)=0$ then ...
1
vote
1answer
238 views

Asymptotic expansion of an integral with singularity, Hydrodynamic free-surface green function

I am frustrated by the asymptotic expansion of the free surface green function when epsilon (or H for I2)tends to zero and with a singularity K(K is a constant). Can anyone help me derive the formula ...
5
votes
1answer
380 views

How to prove Lambert's W function is not elementary?

Liouville's theorem gives such a proof for antiderivatives of functions like $e^x/x$ or $e^{x^2}$, and differential Galois thory extends that to Bessel functions, say. But what tools exist for ...
11
votes
1answer
383 views

Is there something wrong with Hörmander's theorem on stationary phase method

It is well-know that the Bessel function has the asymptotic expansion $J_n(\omega) \sim \left( \frac 2 {\pi \omega} \right)^{1/2} \left( \cos \left(\omega -\frac 1 2 n \pi - \frac 1 4 \pi\right) - ...
4
votes
0answers
318 views

The Riemann Zeta Function summing over the Gamma Function

Has anyone studied a function of the form $$\eta(s) = \sum_{n=1}^{\infty} \frac{1}{\Gamma(n)^{s}} = \sum_{n=0}^{\infty}\frac{1}{k!^s}$$ This series is appearing in my research on the volumetric ...
0
votes
1answer
262 views

Integrating the complete elliptic integral K

I've run into the following integral: $\int \frac{K(k)}{k} dk$ where $K$ is the complete elliptic integral of the first kind $K(k) = \int_0^{\pi/2} \frac{d\theta}{\sqrt{1-k^2 \sin\theta}}$. I've ...
3
votes
1answer
221 views

Extending the Shimura Lift to Non-Cuspidal Classical Modular Forms of Higher Level

The definition of the Shimura lift of a classical cusp form is well documented. Zagier and Kohnen define a modified version of the lift for a cusp form $g(z)=\sum a(n)q^n \in S_{k+1/2}^{+}(4)$ in the ...
1
vote
1answer
163 views

hyperbolic functions and Gauss hypergeometric series

If the Gauss hypergeometric function $F(1, 3/2, 5/2; z^2) = 3 [\tanh^{-1} (z) –z]/z^3$ what is the corresponding result for $F(1,15/8,23/8;z^8) $?
2
votes
1answer
126 views

determining sign of function containing logarithm.

I would like to know the sign of the following term in general. I tried approximation for $\log$ function and it had negative sign. Is there any $m_0$ such that for all $n>m>m_0$, the following ...
2
votes
0answers
205 views

An integral with Gamma functions (Part 2)

I was wondering if there is a generalization of the integral discussed here to a case like, \begin{equation}\int \frac{d^dq}{q^{\nu_1}\vert \vec{q} \pm \vec{k}_1\vert ^{\nu_2}\vert \vec{q} \pm ...
19
votes
3answers
647 views

Is this combination of generalized polygamma and dilogarithm actually zero? $\Im\;\psi^{(-2)}(1+i)+\frac1{4\pi}\text{Li}_2(e^{-2\pi})-\log\sqrt{2\pi}+\frac{5\pi}{24}+\frac12$

I encountered this quantity in my calculations and tried to simplify it. Approximate numeric calculations suggested it could be zero (more precisely, it is certainly less than $10^{-4\times10^3}$ in ...
0
votes
1answer
130 views

Find a generalized hypergeometric-based function yielding certain ratios of fifth-degree polynomials

Find a (presumably, generalized hypergeometric-based function $f(n,a,k)$), yielding for $n=1, a=\frac{1}{2}$,the rational function (ratio of fifth-degree polynomials) \begin{equation} ...
11
votes
1answer
285 views

Can a harmonic number be a rational number for non-integer rational argument?

Define harmonic numbers for a complex argument $z$ as $H_z=\frac{\Gamma'(z+1)}{\Gamma(z+1)}-\Gamma'(1)$. For $n\in\mathbb{N}$, $H_n$ are usual harmonic numbers $\sum^n_{k=1} k^{-1}$ . They are ...
1
vote
2answers
220 views

Hypergeometric identities

Let $m,k$ be positive integers with $k\le m$. Does anyone know some hypergeometric identities that imply $$\sum_{j=0}^k\frac{(-1/2)_{k-j}(m+1)_j(-m)_j}{(1/2)_j(k-j)!j!} ...
8
votes
2answers
910 views

Is there a “right” proof of Riemann's Theta Relation?

Let $\theta$ denote the usual Jacobi Theta function (with auxiliary parameter $\tau = i$, for simplicity), i.e. $$ \theta(z) = \sum_{n \in \mathbb{Z}} \exp(-\pi (a + n)^2 + 2 \pi i n z) \ . $$ I'm ...
2
votes
1answer
552 views

Extension of the Jacobi triple product identity

The Jacobi triple product and the mathematical identity of it is: $$\prod\limits_{n=1}^{ \infty }(1-q^{2n})(1+zq^{2n-1})(1+z^{-1}q^{2n-1})=\sum\limits_{n = - \infty }^ \infty z^n q^{n^2} $$ I would ...
0
votes
1answer
165 views

This might be a trivial question on Hurwitz's zeta function.

In the book I am reading they write that for Hurwitz zeta function, $\zeta(x,s)=\sum_{n=0}^{\infty} \frac{1}{(x+n)^s}$, the next sum in the RHS converges for $\Re(s)>-1$, and I don't see how ...
4
votes
1answer
456 views

Identity involving Fresnel integrals

In the paper E. Mehlum, Appell and the apple (nonlinear splines in space), Technical Report No. 1676 (1981), Central institute for industrial research, Oslo (reproduced in the book Mathematical ...
1
vote
0answers
228 views

Whether does the following equation have only one finite zero?

Dear MOs, Here is a calculus problem which bored me for sometime. Let $a>0$ and $b<0$ be fixed.Define the following function (EDIT: Following the comment by Barry Cipra, you may only consider ...
2
votes
2answers
349 views

Computing hypergeometric function of matrix argument

In the context of the Bingham probability distribution the ${ }_1F_1$ hypergeometric function of matrix argument naturally arises as a normalization constant of the probability distribution function. ...
6
votes
0answers
141 views

Evaluating an infinite product of q-exponentials

For the $q$-exponential $$e_q(u) = \sum_{n=0}^{\infty} \frac{u^n}{[n]_q!}$$ with $[k]_q=\frac{1-q^k}{1-q}$ and $[n]_q! = [n]_q [n-1]_q \cdots [1]_q$, we don't have the property $e_q(u) e_q(v) = e_q ...
3
votes
3answers
141 views

Multivariate functions whose value is independent of the order of the arguments

Let $r_1, r_2, \ldots, r_k$ be positive integers with or without repetition such that $1\le r_i \le n$ for $i = 1, 2, \ldots, k$. Let $f$ be a continuous multivariate function with the property that ...
9
votes
2answers
487 views

The fraction of the sphere a fixed distance from a subspace

The following problem has a beautiful geometric interpretation in terms of the proportion of points on the Euclidean sphere in $\mathbb{R}^d$ that lie at least a certain distance away from a ...
1
vote
3answers
305 views

trigonometric identity needed for sums involving secants

I am looking for a closed-form formula for the following sum: $\displaystyle \sum_{k=0}^{N}{\frac{\sin^{2}(\frac{k\pi}{N})}{a \cdot ...
-1
votes
3answers
414 views

problem related to Airy functions [closed]

I have solved the Schrödinger equation for a triangular well potential and the solution comes in terms of Airy functions...now i am facing the following problems: What are the normalization ...
3
votes
1answer
631 views

Integral representation of the modified Bessel functions of the second kind and asymptotic expansion

The modified Bessel function (Macdonald function) $K_\alpha(z)$ is known to have the following asymptotic expansion for large positive $z$: $$ K_\alpha(z)=\sqrt{\frac{\pi}{2z}}e^{-z}\sum_{k=0}^\infty ...
3
votes
1answer
1k views

Is there any heartbeat like function? [closed]

I'm looking for a function, where the result is something like this: image I tried to figure it out myself, but I have no idea how to manage it. f(x) = ... ...
5
votes
0answers
448 views

An Expression for $\log\zeta(ns)$ derived from the Limit of the truncated Prime $\zeta$ Function

I think, here, I found $$ P_x(s)=\sum_{p < x} \frac{1}{p^s} =\sum_{n=1}^{\infty}\frac{ \mu (n)}{n} \sum_{z\in\{1,\rho\}}(-1)^{1-\delta_{1z}} \left[ {\rm li}(t^{\frac zn-s}) \right]^{x}_2 \tag{7} ...
3
votes
0answers
139 views

Are numbers $h_{r,s} = \sum_{k} P(r;s;k) \frac{1}{n^{2k}} \bigg(1-\frac{1}{n}\bigg)^{n-2k}$ irrational?

I asked this question on MSE and Mike Spivey gave an insightful answer. I decided to put it here nevertheless in case someone else gets interested. If this violates rules on MO, please let me know, ...
1
vote
1answer
337 views

Proof of generalized Cauchy formula

I would like to know if there is a proof for the identity used in the superconformal index of 4d ${\cal N}=2$ gauge theory. In the paper by Rastelli el al, it was discovered that Eq. (10) is equal to ...
4
votes
1answer
328 views

“Known” Pythagorean identity? (reference request)

Let $e_k$ be the $k$th-degree elementary symmetric polynomial in $\tan\theta_1,\tan\theta_2,\tan\theta_3,\ldots$ (and if the sequence of $\theta$s is finite remember that the $k$th-degree elementary ...
2
votes
1answer
419 views

Integral of Modified Bessel Function of the Second Type

Given the identity $$ \int^\infty_0 K_v\left(\alpha\sqrt{x^2+z^2}\right) \frac{x^{2\mu+1}}{\left(\sqrt{x^2+z^2}\right)^v}\:\mathrm{d}x = \frac{2^\mu \Gamma(\mu+1)}{\alpha^{\mu+1}z^{v-\mu-1}} ...
2
votes
1answer
606 views

trigonometric non-identity

a <- (runif(2000) * (40-10) + 10) * pi/180 b <- (runif(2000) * (40-10) + 10) * pi/180 c <- (runif(2000) * (40-10) + 10) * pi/180 This chooses 2000 (pseudo-)random numbers in $(0,1)$ and ...
10
votes
0answers
427 views

Connection between Infinite continued fractions and AGM

It is known that at $x=1$, the following continued fraction represents $\frac{4}{\pi}$ and can be approximated rapidly using Gauss' Arithmetic Geometric mean. $$C(x) = x + \frac{1^{2}}{2x + ...
3
votes
3answers
453 views

A “known” tangent half-angle formula?

In another posting I wrote about a trigonometric relation I had derived, but that ended up not being the main point of the posting: Strange pattern in rounding errors? So as long as we're here, ...
6
votes
2answers
454 views

Strange pattern in rounding errors?

This will look at first like a posting about trigonometry, then maybe about statistics, then finally about peculiarities of either a certain random process; or the pseudorandom number generator that ...
5
votes
0answers
431 views

Parabolic cylinder functions - explicit estimates?

I need estimates for the parabolic cylinder functions $U(a,z)$ (first studied by Whittaker). Most work in the literature focuses on $a$ real. As it happens, I am interested in $U(a,z)$ on a strip in ...
2
votes
1answer
407 views

Asymptotic expansion of integral (Bessel function really)

The integral $$I = \int_{-\infty}^\infty \frac{e^{-\varepsilon x^2}} { \sqrt{1+x^2} } dx$$ is convergent for $\varepsilon > 0$ and can even be given in terms of the Bessel function $K_0$. As ...
2
votes
1answer
99 views

Dertivative of a Special Function with respect to Order

The marcum Q-function is defined by $$ Q_m(a,b) = \int^\infty_b x \left(\frac{x}{a}\right)^{m-1} \exp\left(-\frac{x^2+a^2}{2}\right) I_m\left(a x\right) \:\mathrm{d} x,$$ where $m\in\mathbb{N}$ , ...
3
votes
0answers
120 views

Error Function limes

How can i calculate $\prod_{n=1}^{\infty}{erf(n)} $ with $erf(z) = \frac{2}{\sqrt{\pi}}\int_0^z e^{-z^{2}} \mathrm{d}z$? I know it's something like 0,84. And i see that only the first terms are ...
1
vote
0answers
149 views

an infinite series expansion in terms of the polylogarithm function

we have the complex valued function : $$f(z)=\sum_{n=0}^{\infty}a_{n}Li_{-n}(z)$$ we wish to recover the coefficients $a_{n}$ . the only thing i though would work is to try and come up with a function ...