**1**

vote

**0**answers

22 views

### Product of associated Legendre Functions with Large order

I have problems in determining the behaviour of $\vert f(z) \vert$ for $\vert z \vert \rightarrow\infty$, $\Re(z)\geq 0$, where
$$f(z):=P^{-z}_{\nu}(\cosh(\alpha))\cdot Q^{z}_{\nu}(\cosh(\beta))\cdot ...

**2**

votes

**2**answers

83 views

### Analytic continuation of a specific integral with respect to a parameter

The following integral absolutely converges for $Re(z)<0$ and is analytic in this domain:
$$F(z):=\int_{0}^{+\infty}\frac{\sin r}{r}e^{\sqrt{r^2+m^2}z}dr ,$$
where $m>0$ is fixed.
Question. To ...

**2**

votes

**1**answer

79 views

### About eigen-functions of the Gaussian kernel

If I look at the Guassian kernel function $e^{- \frac {\vert x - y\vert_2^2 }{2 w^2 } }$ for $x, y \in \mathbb{R}$. Then w.r.t the Gaussian measure $N(\mu,\sigma)$ I believe it is true that this has a ...

**3**

votes

**1**answer

74 views

### Functional equations associated with addition theorems for elliptic functions

I'm trying to read the article "Functional equations associated with addition theorems for elliptic functions and two-valued algebraic groups" by Bukhshtaber,V. M. Russian Mathematical ...

**5**

votes

**1**answer

206 views

### Estimate of incomplete binomial integral

Let $0\le k \le n$. Prove that
$$
n\binom{n}{k}\int_{0}^{\frac{k}{n+1}}t^k(1-t)^{n-k}\,dt \le 1/2.
$$
As far as I know
1) it is proved for $\frac{k}{n+1}\le 1/2$ and
2) not proved for $1/2 ...

**8**

votes

**0**answers

117 views

### Summation of series involving $\sinh$ of a square root

Consider the following series:
$$
S = \sum_{\text{odd } n} \sum_{\text{odd } m} \frac{(-1)^{(n+m)/2}}{nm} \frac{\sinh( \pi \sqrt{n^2 + m^2}/2)}{\sinh( \pi \sqrt{n^2 + m^2})}
$$
From the physical ...

**4**

votes

**0**answers

95 views

### Christoffel-Darboux type identity

The classical Christoffel-Darboux identity for Hermite polynomials reads
$$\sum_{k=0}^n\frac{H_k(x)H_k(y)}{2^k k!}=\frac{1}{2^{n+1} n!}\frac{H_{n+1}(x)H_n(y)-H_n(x)H_{n+1}(y)}{x-y}.$$
I am ...

**1**

vote

**1**answer

69 views

### Definite intergal with two K-Bessel functions and x

I would like to calculate the definite integral with K-Bessel funcitons and a and b complex (n and k integers):
$$\int_{0}^{\infty} x \;K_{a}(nx) \; K_{b}(kx) \; dx$$
I could not find it in ...

**2**

votes

**0**answers

41 views

### Functional equations about Conway's box function

Conway's box function is the inverse of Minkowski's question mark function. It maps the dyadic rationals on the unit interval to the rationals using the Stern-Brocot tree (Farey sequence).
The ...

**2**

votes

**0**answers

43 views

### Riemann theta function with asymptotically large Toeplitz Matrix

As a follow up to
How to compute $\sum_{x \in \mathbb{Z}^n} e^{-x^TMx}$ efficiently
Suppose that $M$ is a large Toeplitz matrix. With a suitable scaling $K^{-n}$ for some $K$, what will the Riemann ...

**1**

vote

**1**answer

44 views

### Upper-bounding the value of a generalized Laguerre polynomial (using recurrence relation?)

I would like to produce an easily-interpretable explicit upper bound (i.e. no unspecified constants) for the function
$$
f(n) := L_n^{\left(-n-\frac{d}{2}\right)}\left(-\frac{1}{2}\right), \quad n,d ...

**2**

votes

**0**answers

91 views

### Hypergeometric function asymptotics

I came across the following hypergeometric function recently:
$$
_2F_1(1-n,p-2n+1;p-n+1;x)
$$
where $p > 0$ is a non-integer constant, $n$ some large positive integer, and $x > 0$ a small ...

**0**

votes

**0**answers

42 views

### Division of half-integer Legendre functions of the second kind with different arguments

I'm in search of a formula for:
$\frac{Q_{n-\frac{1}{2}}(\chi_1)}{Q_{n-\frac{1}{2}}(\chi_2)}= ??$
where I am hoping the result to be a function of $\frac{\chi_1}{\chi_2}$.
Does anyone know of such ...

**3**

votes

**0**answers

157 views

### Combination of Generating Functions

Suppose I have the following generating functions:
$$\frac{x^ke^{\left(z-\frac{1}{N}\right)x}}{N^{k-1}k!\sum_{j=0}^{N-1}w_N^{-jk}e^{\frac{w_N^jx}{N}}}=\sum_{j=0}^\infty H_{N,k,j}(z)\frac{x^j}{j!}$$
...

**0**

votes

**1**answer

50 views

### What is the relationship between solutions for the parameterised second order differential equations

Let us consider the following parameterised complex-valued second order differential equations, and $u(x,\lambda)$ be the solution for
$$
u''+u'-i\lambda V(x)u=0, \, x\in [0,1],
$$
What is the ...

**3**

votes

**1**answer

86 views

### How to show monotonocity and the limit? [closed]

Let me reformulate my recent question.
Let $n, N$ denote density and cdf of Gaussian distribution. Let us consider its modification, given by density:
$$\phi(x) = C\left\{ \begin{array}{lcc}
...

**7**

votes

**1**answer

182 views

### Asymptotics of a special function

In my research, I came up with a special function which I denote by $B(q)$ and is defined by the integral
$$B(q)\equiv \int_{-\pi/2}^{\pi/2} ...

**12**

votes

**3**answers

393 views

### Is there a closed form of $\int_0^\frac12\dfrac{\text{arcsinh}^nx}{x^m}dx$?

For naturals $n\ge m$, define
$$I(n,m):=\int_0^\frac12\dfrac{\text{arcsinh}^nx}{x^m}dx$$
with $\text{arcsinh}\ x=\ln(x+\sqrt{1+x^2} )$, so $\text{arcsinh} \frac12=\ln \frac{\sqrt{5}+1}2 $.
Is it ...

**3**

votes

**0**answers

162 views

### A generalization of Rogers-Ramanujan identity

The generalized Rogers-Ramanujan identity has the following form
$$\sum_{k_1\geq\cdots\geq k_r\geq 0}\frac{x^{k_1^2+\cdots +k_r^2+k_i+\cdots +k_r}}{(x)_{k_1-k_2}\cdots ...

**3**

votes

**1**answer

64 views

### Inverse Laplace transform of a hypergeometric function

This is a repost from Math Stack-exchange where I did not manage to get an answer.
http://math.stackexchange.com/questions/1491027/inverse-laplace-transform-of-a-hypergeometric-function
I managed to ...

**3**

votes

**0**answers

85 views

### A connection between basic hypergeometric series and number theory

I am studying functions given by the power series:
$$f(z)=1+\sum_{n=1}^{\infty}\frac{z^n}{(1-q)(1-q^2)\cdots(1-q^{n})}.$$
The parameter $q$ is usually assumed to be such that $|q|<1$. Then it is ...

**9**

votes

**3**answers

425 views

### Complex proof of $B(a,b)=\Gamma(a)\Gamma(b)/\Gamma(a+b)$

It is a question in spirit of this one.
Is there a way to prove Euler's formula
$$
\int_0^1 x^{a-1}(1-x)^{b-1}dx=\frac{\Gamma(a)\Gamma(b)}{\Gamma(a+b)}
$$
using contour integration (and maybe ...

**5**

votes

**2**answers

205 views

### Alternating binomial Dirichlet series

I have come across the following deceptively simple expression:
$$ H_n^s=\sum_{j=1}^n(-1)^{j-1}\left(\begin{array}{c}n\\j\end{array}\right)j^{-s} $$
We have (using eg mathematica, though probably ...

**1**

vote

**2**answers

340 views

### Investigation of $\sum \limits_{k=-\infty}^\infty \frac{x^{k+n}}{ \Gamma(k+n+1)}$ where $n \in C$? [closed]

$$e^x=\sum \limits_{k=0}^\infty \frac{x^k}{k!}$$
We can rewrite the equation as
$$e^x=\sum \limits_{k=0}^\infty \frac{x^k}{ \Gamma(k+1)} \tag{1}$$
because $x!=\Gamma(x+1)$ where $x$ is ...

**3**

votes

**0**answers

45 views

### numerical stability of root identification via Newton-Raphson iteration of Stieltjes residue sums

I have asked several questions on math.SE in order to compute numerically the poles of high-degree Padé approximations for $e^{-x}$, because a computation directly from the polynomial ...

**1**

vote

**1**answer

69 views

### Inverse error function in Hardy space?

Let $\mathrm{erf}(x) := \frac{2}{\sqrt{\pi}} \int_{-\infty}^x \exp(-t^2) \, dt$ be the error function $\mathrm{erf}: \mathbb{R} \to (-1,1)$. It is monotonously increasing and therefore has an inverse ...

**5**

votes

**0**answers

222 views

### Recurrence Formula for Zernike polynomials

I'm not sure if this is research level, so if this result is known, please excuse the intrusion. I am trying to find a relation between solutions of the Laplacian equation in $4$ dimensions and those ...

**5**

votes

**1**answer

110 views

### A special function solution of a fourth-order ODE

I want to consider the solutions of the following fourth-order ODE:
$$
f^{(4)}(t)+a tf^{(1)}(t)+b f(t)=0,
\tag{$\ast$}$$
where $a,b$ are complex parameters. It turns out that with a Fourier ...

**2**

votes

**0**answers

33 views

### Asymptotic expansion of Mellin transform of products of modified Bessel function K

Let $n\ge 1$ be an integer, let
$$F(x,y)=\int_0^\infty u^{n(x+y)} (K_{x-y}(u))^n du$$
for $x,y\ge 0$.
When $n=1$, this is just Mellin transform of the Bessel K function. When $n=2$, $F(x,y)$ has ...

**5**

votes

**1**answer

134 views

### On a Sum of Gamma Functions

I am working on a problem where the following sum appears:
$$F(s, t)=\frac{1}{\Gamma(1+2\alpha)}\sum_{n=0}^{\infty}{\frac{s^{n} ...

**1**

vote

**0**answers

137 views

### What is the connection between the Riemann Xi-function and n-sphere? [closed]

Riemann's Xi-function is defined as
$$\xi(s) = \pi^{-s/2}\ \Gamma\left(\frac{s}{2}\right)\ \zeta(s)$$
At the same time we have the following formulas for n-sphere's area and volume:
...

**14**

votes

**1**answer

325 views

### Why does $\sum_{p=1}^n \exp\left(\frac{i\pi p l}{2m}\right)/\prod_{k=1,k\neq p}^n\sin\left(\frac{\pi (k-p)}{2m}\right)$ vanish?

While trying to prove some identities for generating functions, I ended up needing to show that
$$\sum_{p=1}^n \exp\left(\frac{i\pi p l}{2m}\right)\prod_{\substack{k=1\\k\neq ...

**2**

votes

**1**answer

69 views

### Challenging problems concerning Jacobian elliptic functions with complex modulus

I study some qualitative properties of Jacobian elliptic functions. Consider, for example, function $sn(u,k)$. In most applications, modulus $k\in(0,1)$ and then everything is very clear, since ...

**2**

votes

**1**answer

121 views

### An extreme of Jacobi elliptic function on an interval

Consider the Jacobi elliptic function $sn(\cdot,k)$ restricted to the interval $(0,2K)$, where $K=K(k)$ is complete elliptic integral of the first kind. If $0<k<1$, then it is well known the ...

**11**

votes

**0**answers

254 views

### Inverse Mellin of the exponential of the digamma function

I'm looking for a function $f_p(x)$ with real parameter $p>0$ satisfying
$$ \int_0^\infty f_p(x)x^{s-1}dx=e^{-p\psi(s)} $$
where $\psi(s)$ is the usual digamma function. The inverse Mellin formula ...

**6**

votes

**1**answer

132 views

### Asymptotic behaviour of an integral

For $k\in\mathbb{N}_{0}$ and $x\in\mathbb{R}$, define
$$I_{k}(x):=\int_{0}^{\pi/2}\cos(xg(\theta))\sin^{2k}\theta\,\mathrm{d}\theta$$
where
...

**3**

votes

**0**answers

41 views

### Root Polylogarithm Dominance Questions

Motivation: I am trying to work on a problem related to computing the roots of a certain family of polynomials related to integer partition theory. In particular, I have been trying to ``Bridge the ...

**4**

votes

**0**answers

48 views

### Jacobi elliptic functions with modulus on the unit circle

I am gathering some available informations on Jacobi elliptic functions $sn(z,k)$, $cn(z,k)$, $dn(z,k)$ with $k\in\mathbb{C}$, $|k|=1$. I can not find much on them in standard references ...

**4**

votes

**0**answers

70 views

### Is there a nice way to invert this expression?

Let us first define the Euler polynomials to be the polynomials $P_n(q)$ that satisfy
$$
\frac{qP_n(q)}{(1 - q)^{n+1}} = \Big(q\frac{d}{dq}\Big)^n\frac{q}{1 - q}.
$$
For example, $P_0(q) = P_1(q) = ...

**6**

votes

**1**answer

78 views

### Modern comprehensive account of the Barnes G-Function

I previously put this forward on the math.stackexchange community with little luck:
I am looking for a comprehensive account of the properties and applications of the Barnes G-Function. Everything ...

**3**

votes

**0**answers

71 views

### Resource needed on Lerch's transcendent

I am looking for resources in english which discuss basic properties of the Lerch's transcendent function.
The Lerch Transcendant is defined by:
...

**10**

votes

**1**answer

476 views

### A question on Ramanujan's $1/\pi$ formulas

It is known that Ramanujan discovered a number of formulas for $1/\pi$. All of these formulas are of the form $$\frac{1}{\pi}=\sum_{n=0}^{\infty}\frac{(1/2)_n(s)_n(1-s)_n}{(1)_n^3}(a+bn)z^n,$$where ...

**1**

vote

**0**answers

126 views

### Proving injectivity of a multivariable function

Let $I$ denote the interval $(0,\infty)$, we define the function $f:I^2\to I^2$ by,
$$f(x,y)=\left({\Gamma(4x+y)\Gamma(y)\over {\Gamma(2x+y)}^2},{\Gamma(4x+y)\Gamma(2x+y)\over ...

**3**

votes

**1**answer

151 views

### Closed Form Expression for Nested Series Summation?

Just wandering if there are any criteria that can decide whether a finite series summation has closed form or not. for example, In the following nested summation, $n$ is some even integer that will be ...

**2**

votes

**0**answers

39 views

### Rearrangement of summation expression

Referring to the spherical harmonics expansion in this article:
Méléard, P., Pott, T., Bouvrais, H., & Ipsen, J. H. (2011). Advantages of statistical analysis of giant vesicle flickering for ...

**1**

vote

**0**answers

64 views

### Rearrangement of a spherical harmonics expansion

Referring to this article:
http://i.stack.imgur.com/sfQ1C.png
and
http://i.stack.imgur.com/LelKb.png
How is it that they get from equation 2 to equation 3?
Whenever I do it, I get only cosine ...

**1**

vote

**0**answers

177 views

### system with solutions $\{x-a:0\leqslant a\leqslant z-1\}$ [closed]

What must be $F$ there where $0=F(1,x,0)=F(x-0,x,z)=F(x-1,x,z)=F(x-2,x,z)=F(x-3,x,z)=$ $\dots$ $=f(x-z-1,x,z)=0$?
Define $F$ in the domain where a continuous function exists that behaves so for ...

**5**

votes

**1**answer

564 views

### Roots of characteristic function of “reciprocal gamma measure”

Let us call a measure $\mu$ on the Borel $\sigma$-algebra $\mathfrak{B}_{(0,\infty)}$ of subsets of $(0,\infty)$ a reciprocal gamma measure if it is absolutely continuous with respect to the Lebesgue ...

**5**

votes

**4**answers

207 views

### Integrals involving the Tricomi hypergeometric function

I am looking for a reference for the two following equalities involving the Tricomi function $U$ and the Meijer function $G$. I have found these formulas on the website http://functions.wolfram.com/, ...

**-1**

votes

**2**answers

340 views

### What conditions imply that a function over $\mathbb{Z}$ is a polynomial? [closed]

How would one prove that a function is a polynomial? I can't seem to find anything about this on the internet. I would like to know if there are any unique properties that only polynomials can ...