Questions tagged [special-functions]
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.
829
questions
3
votes
1
answer
105
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}
\sqrt{...
8
votes
1
answer
367
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} \frac{\sin\left(\frac{q}{2}\tan\theta\right)}{\sin\theta}d\...
13
votes
3
answers
793
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
265
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 (x)_{k_{r-1}-k_r}(x)_{k_r}}=\...
3
votes
1
answer
644
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.
https://math.stackexchange.com/questions/1491027/inverse-laplace-transform-of-a-hypergeometric-function
I managed ...
4
votes
0
answers
235
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 ...
11
votes
3
answers
934
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 ...
7
votes
2
answers
369
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 ...
3
votes
2
answers
559
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 non-negative ...
4
votes
0
answers
175
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
215
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 $...
6
votes
0
answers
389
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
333
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 ...
4
votes
0
answers
206
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
2k
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} t^{n}}{\left[(s+1)(t+1)\right]^{n+1+\alpha}}\frac{\Gamma(n+1+2\alpha)}{\...
3
votes
0
answers
321
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:
$$\begin{array}{...
5
votes
2
answers
1k
views
Evaluating elliptic integrals
I am interested in evaluating some elliptic integrals, and I have not been able to secure a reference to do exactly what I need. Most of the references I've found seem to focus on reducing more ...
15
votes
1
answer
557
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 p}}^n\frac{1}{\sin\left(...
3
votes
1
answer
209
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 $sn(u,...
2
votes
1
answer
201
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 ...
12
votes
0
answers
574
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
341
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
$$g(\theta)=\int_{\sin\theta}^{1}\frac{\mathrm{d}t}{\sqrt{(1-...
3
votes
0
answers
53
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
1
answer
135
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 (Abramowitz&...
4
votes
0
answers
107
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) = 1$...
6
votes
1
answer
195
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
115
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:
$$f(x,\xi,q,p)=\sum_{n=-\infty}^{\infty}\frac{(pq)^{n^...
10
votes
1
answer
671
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
1k
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 {\Gamma(3x+y)}^2}\right)$...
3
votes
1
answer
603
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
64
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
95
views
Rearrangement of a spherical harmonics expansion
Referring to this article:
https://i.stack.imgur.com/sfQ1C.png
and
https://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
189
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 $x\...
5
votes
1
answer
739
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
620
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
431
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 satisfy....
6
votes
0
answers
458
views
Conway's box function iterated to produce a hierarchy of nested sets of real numbers
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). When the ...
0
votes
0
answers
91
views
Energy Oscillations in a One Dimensional Crystal
Good day!
Can anyone help me find articles on similar topics "Energy Oscillations in a One Dimensional Crystal" (I have links to one article on this subject)?
article, that I have
Especially ...
2
votes
0
answers
213
views
Four kinds of generalized hypergeometric formulas for $\pi$
Given,
$$\begin{array}{|c|c|c|c|}
\hline
n&a_n&b_n&c_n\\
\hline
1 & 6541681608 & 163096908 & -640320^3\\
\hline
2 & 85840 & 4492 & -14112^2\\
\hline
3 & 28302 &...
5
votes
2
answers
458
views
What is a "generalized zeta function"?
Out of procrastination I computed $$\sum_{k=1}^\infty k^{-k^2}\sim 1.06255080549625593786944593879.$$
The inverse symbolic calculator identified this number as "From generalized Zeta function". I do ...
6
votes
2
answers
1k
views
A (likely) positivity property of the Lerch zeta-function
The problem is to show that $\Re L(b/2,1/2,p+1)>0$ for all real $b\ne0$ and all real $p>-1$, where
$$L(\lambda,c,s):=\sum_{k=0}^\infty\frac{\exp(2\pi i\lambda k)}{(k+c)^s}$$
is the Lerch zeta-...
5
votes
0
answers
118
views
how understand periodicity in a combination of power, gamma and zeta functions?
Riemann's functional equation may be written:
$$
\frac{\zeta(s)}{\zeta(1-s)} = 2^s \pi^{s-1} \sin(\frac{\pi s}2) \Gamma(1-s) \tag{1}
$$
and so by symmetry:
$$
\frac{\zeta(1-s)}{\zeta(s)} = 2^{1-s} \pi^...
-1
votes
2
answers
187
views
On Bohr-MollerupTheorem [closed]
In http://mathworld.wolfram.com/Bohr-MollerupTheorem.html, Bohr-Mollerup Theorem is given where it is stated that $\Gamma$ function is the unique log convex function that satisfies $\phi(x+1)=x\phi(x)$...
6
votes
1
answer
239
views
An identity of complicated combinations of gamma functions (related to hypergeometric functions)
Can somebody help me in proving the following equation?
\begin{align*}&\textstyle \sum _{d=0} ^{n} \frac{1}{d!(n-d)!} \frac{\Gamma (b+d) \Gamma (b+n-d) \Gamma (c-n+d) \Gamma (c-b+1-n + 2d) \...
7
votes
1
answer
301
views
Asymptotic behavior of a sequence of functions
For $n\in\mathbb{N}$ and $q\in(0,1)$, define
$$f_{n}(q):=\sum_{i_{1},i_{2},\dots,i_{n}=1}^{\infty}\frac{q^{i_1+i_2+\dots+i_n}}{(1-q^{i_1+i_2})(1-q^{i_2+i_3})\dots(1-q^{i_{n-1}+i_n})(1-q^{i_n+i_1})}.$$
...
0
votes
1
answer
203
views
Upper bound for a ratio of modified Bessel functions
I am looking for an upper bound for the ratio of Bessel I functions $\dfrac{|I_\nu'(z)|}{|I_\nu(z)|}$ where $\nu$ is complex, and $z$ is a positive real number. Do you know any results about it? Thank ...
6
votes
0
answers
199
views
Elementary function relative to erf
The modified Bessel function of the 1st kind $I_0$ is defined by
$$
I_0(z)=\frac1\pi\int_0^{2\pi}e^{z\cos\theta}\,d\theta
$$
and arises, among other places, in the probability density function of a ...
4
votes
0
answers
675
views
What is the status on questions related to Bhargava's factorial function?
In Manjul Bhargava's The Factorial Function and Generalizations he motivates a new type of factorial $n!_S$ using by generalizing a few theorems like:
For $k, l \in \mathbb{Z}$, we have $k! \times l!$...
1
vote
0
answers
136
views
What is $\int (1-e^{-x})^n dx$? [closed]
For my purposes, $n$ is a non-negative integer, and $x > 0$. I didn't know how to evaluate this integral, so I plugged it into Mathematica. It told me the solution is
$(-1)^n B(e^x; -n, n+1)$
I ...
1
vote
1
answer
163
views
How to prove that $(1-x)^b$ $_2F_1(a,b;c;x)$ can be approximated to $1-\alpha x$ (with $\alpha \approx 1$) for $x\ll 1$ in this specific case
After multiple plots I noticed that function $h(x)= (1-x)^b$ $_2F_1(a,b;c;x)$ can be approximated to $1-\alpha x$ (with $\alpha \approx 1$), for $x\ll 1$ (specifically $0<x<0.1$) and $a=(K-1)d$,...