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

1
vote
1answer
123 views

$q$-differential equation for the Rodgers polynomials?

The Rodgers polynomials $C_{\alpha,q}$ are a particular family of well-known $q$-hypergeometric function. For example, a description can be found here on Wikipedia. For the special case of $q=1$, we ...
4
votes
0answers
296 views

Why does the plastic constant appear in the snub icosidodecadodecahedron?

The golden ratio, $$\phi =\frac{1+\sqrt{5}}{2}$$ appears (among other polyhedra) in the Platonic solids icosahedron and dodecahedron, and it's quite easy to see the significance of the discriminant ...
3
votes
0answers
133 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
250 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
270 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
182 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
206 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
254 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
228 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 ...
2
votes
0answers
203 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
199 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
433 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
317 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 ...
8
votes
1answer
561 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
449 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) - ...
5
votes
0answers
335 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
354 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
260 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
178 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
134 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
212 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
688 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
147 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
317 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 ...
2
votes
2answers
249 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!} ...
10
votes
2answers
1k 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 ...
4
votes
1answer
622 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
178 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 ...
5
votes
1answer
507 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
234 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
479 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
155 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
149 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
494 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
315 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
475 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 ...
4
votes
1answer
902 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
2k views

Is there any heartbeat like function? [closed]

I'm looking for a function, where the result is something like this: I tried to figure it out myself, but I have no idea how to manage it. f(x) = ... Thanks in ...
6
votes
0answers
500 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
145 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
356 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
359 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 ...
3
votes
1answer
636 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
609 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 ...
11
votes
0answers
516 views

Connection between Infinite continued fractions, elliptic integrals 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
462 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
474 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
440 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
471 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
107 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}$ , ...