**2**

votes

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**3**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**2**answers

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

**0**answers

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

**3**answers

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

**2**answers

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

**3**answers

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

**3**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**3**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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 ...