**2**

votes

**1**answer

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

**1**

vote

**0**answers

278 views

### Inequality for complex Hankel function

Let $x>1$ and $0<\varphi<\frac{\pi}{2}$ be fixed. I would like to show that for any $s>0$, the following inequality holds:
$$
\left| H_{\frac{is}{e^{i\varphi } \cos \varphi}}^{\left( 1 ...

**4**

votes

**1**answer

193 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

148 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

151 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

156 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

311 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

160 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

250 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

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

**2**

votes

**0**answers

280 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

158 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

188 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

135 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

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

**0**

votes

**0**answers

77 views

### How to simplify this Kampé de Fériet function?

I was dealing with a convolution type integral
$$
\int^z_0 t^m {}_0F_1(;1;-t) \: {}_2F_3\Big( 1,1;2,m,m+1 ; -a t\Big) \:\mathrm{d}t
$$
By applying one of the identities in Exton's book, the solution ...

**1**

vote

**0**answers

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

**13**

votes

**1**answer

295 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

121 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

227 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

188 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!}
...

**0**

votes

**0**answers

75 views

### Sum over Hypergeometric function 1F2

I would be very grateful for any ideas to find a closed form for the sum:
$$
\sum^\infty_{k=0}
\frac{z^k}{\Gamma(1+k) \Gamma(k+m+1)}
{}_1F_2\left(1;1+k,m+k;z\right)
$$
where $m\in\mathbb{N}$ and ...

**0**

votes

**0**answers

56 views

### Why are Bessel models called that way?

According to this Wikipedia article:
http://en.wikipedia.org/wiki/Whittaker_model
Whittaker models are called that way because Jacquet pointed out that Whittaker functions appear naturally in the ...

**8**

votes

**2**answers

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

**1**

vote

**1**answer

390 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

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

**3**

votes

**1**answer

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

**0**

votes

**0**answers

223 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

223 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

125 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

134 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

480 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

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

**0**

votes

**3**answers

342 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

398 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

817 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) = ...
...

**3**

votes

**0**answers

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

**2**

votes

**0**answers

111 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

297 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

321 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

249 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

586 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

355 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

278 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

394 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

416 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

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

**1**

vote

**1**answer

83 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

107 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

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