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.
831
questions
75
votes
3
answers
3k
views
Is there any deep philosophy or intuition behind the similarity between $\pi/4$ and $e^{-\gamma}$?
Here is a couple of examples of the similarity from Wikipedia, in which the expressions differ only in signs.
I encountered other analogies as well.
$${\begin{aligned}\gamma &=\int _{0}^{1}\int _{...
58
votes
8
answers
36k
views
Inverse gamma function?
This is an analysis question I remember thinking about in high school. Reading some of the other topics here reminded me of this, and I'd like to hear other people's solutions to this.
We have the ...
53
votes
1
answer
5k
views
There's something strange about $\sqrt{\big(j(\tau)-1728\big)d}$
Given discriminant $d$ and j-function $j(\tau)$, I was looking at,
$$F(\tau) = \sqrt{\big(j(\tau)-1728\big)d}$$
which appears in Ramanujan-type pi formulas. Let $C_d$ be the odd prime factors of the ...
43
votes
6
answers
7k
views
Why are hypergeometric series important and do they have a geometric or heuristic motivation?
Apart from telling that the hypergeometric functions (or series) are the solutions to the (essentially unique?) fuchsian equation on the Riemann sphere with 3 "regular singular points", the wikipedia ...
42
votes
5
answers
4k
views
Groups, quantum groups and (fill in the blank)
In the study of special functions there are three levels of objects, classical, basic and elliptic. These correspond to classical hypergeometric functions, basic (q-) hypergeometric functions, and ...
40
votes
7
answers
4k
views
How should an analytic number theorist look at Bessel functions?
(And a related question: Where should an analytic number theorist learn about Bessel functions?)
Bessel functions occur quite frequently in analytic number theory. One example, Corollary 4.7 of ...
40
votes
1
answer
2k
views
Curious $q$-analogues
Consider the Fibonacci polynomials
$$F_n (x) = \sum_{j = 0}^{\left\lfloor {n/2} \right\rfloor }\binom{n-j}{j} x^{n - 2j} $$
and the Lucas polynomials
$$L_n (x) = \sum_{j = 0}^{\left\lfloor {n/2} \...
38
votes
2
answers
2k
views
Optimization problem arising from the study of zeta zeros
Motivation: The following problem arose in [1] while studying the vertical distribution of the zeros of the Riemann zeta-function. At the time, my collaborators and I were unable to solve it and I ...
34
votes
2
answers
1k
views
Representations of $\zeta(3)$ as continued fractions involving cubic polynomials
$\zeta(3)$ has at least two well-known representations of the form $$\zeta(3)=\cfrac{k}{p(1) - \cfrac{1^6}{p(2)- \cfrac{2^6}{ p(3)- \cfrac{3^6}{p(4)-\ddots } }}},$$
where $k\in\mathbb Q$ and $p$ is a ...
29
votes
2
answers
3k
views
A new way of approaching the pole of the Riemann zeta function - and a new conjectured formula
On the Wolfram page about the Euler-Mascheroni Constant $\gamma $, the following amazing limit is given without proof (referring to "personal communication"):
$$\lim_{z\to\infty}\left[\zeta(\zeta(z))-...
28
votes
4
answers
3k
views
The function $\sum_{0}^{\infty} x^n/n^n$
The function $F(x) = \sum_{0}^{\infty} x^n/n^n$ may be familiar to many readers as an example sometimes used when teaching tests for absolute convergence of entire functions defined by power series. I ...
28
votes
2
answers
2k
views
A 14th and 26th-power Dedekind eta function identity?
Given the Dedekind eta function $\eta(\tau)$. Define $m = (p-1)/2$ and a $24$th root of unity $\zeta = e^{2\pi i/24}$.
Let p be a prime of form $p = 12v+5$. Then for $n = 2,4,8,14$:
$$\sum_{k=0}^{p-...
28
votes
1
answer
2k
views
Can we use the Rogers-Ramanujan cfrac to parameterize the Fermat quintic $x^5+y^5=1$?
Define $\color{blue}{q=e^{2\pi i \tau}}$ and Dedekind eta function $\eta(\tau)$. Note: I found these relations empirically, but their consistent forms suggest they can be rigorously proven.
I. $p=2$...
26
votes
2
answers
3k
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 theory extends that to Bessel functions, say. But what tools exist for ...
23
votes
1
answer
1k
views
Number theoretic interpretation of the integral $\int_{-\infty}^\infty\frac{dx}{\left(e^x+e^{-x}+e^{ix\sqrt{3}}\right)^2}=\frac{1}{3}$?
Is there any explanation based on algebraic number theory that the integral
$$
\int_{-\infty}^\infty\frac{dx}{\left(e^x+e^{-x}+e^{ix\sqrt{3}}\right)^2}=\frac{1}{3}\tag{1}
$$
has a closed form? ...
21
votes
2
answers
2k
views
Is the integral of $e^{-x^2}$ from $0$ to $1$ known to be irrational?
Is it known whether $$\int_0^1 e^{-x^2} \, dx$$ is irrational? It is well-known that $\int_0^\infty e^{-x^2} \, dx=\frac{\sqrt{\pi}}{2}$ which is irrational, but what about the prior integral? Also, I ...
21
votes
1
answer
981
views
A multiple integral that seems related to the $\zeta$ function at even integers
I came across this integral that seems related to the Riemann zeta function $\zeta(2n)$ evaluated at even integers $2n \in 2\mathbb{Z}$. Letting $n$ be an even integer, define the multiple integral ...
21
votes
1
answer
2k
views
Trigonometry related to Rogers–Ramanujan identities
For integers $n\ge2$ and $k\ge2$, fix the notation
$$
[m]=\sin\frac{\pi m}{nk+1} \quad\text{and}\quad
[m]!=[1][2]\dots[m], \qquad m\in\mathbb Z_{>0}.
$$
Consider the following trigonometric numbers:...
20
votes
3
answers
960
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 ...
19
votes
3
answers
2k
views
nth-order generalizations of the arithmetic-geometric mean
The arithmetic-geometric mean,
$a_{k+1}=\frac{a_k+b_k}{2} \quad b_{k+1}=\sqrt{a_k b_k}$
is one of the celebrated discoveries of Gauss, who found out that it is equivalent to computing a (complete) ...
19
votes
3
answers
604
views
A hypergeometric puzzle
$$
143\,\sqrt {3}\;{\mbox{$_2$F$_1$}\left(\frac{1}{2},\frac{1}{2};\,1;\,{\frac {3087}{8000}}\right)}=
40\,\sqrt {5}\;
{\mbox{$_2$F$_1$}\left(\frac{1}{3},\frac{2}{3};\,1;\,{\frac {2923235}{2924207}}\...
19
votes
2
answers
2k
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 ...
19
votes
2
answers
899
views
Could there be a special-function counterexample to Schanuel's conjecture?
It is not too hard to show that if Schanuel's conjecture is true, then the only algebraic numbers admitting a "closed-form expression" (as defined precisely in this paper) involving $e$, $\pi$, and ...
18
votes
1
answer
700
views
Several conjectured identities for polylogarithms
I asked a question at M.SE a couple of years ago about polylogarithms $\!^{[1]}$$\!^{[2]}$$\!^{[3]}$$\!^{[4]}$ where I conjectured
$$720\,\operatorname{Li}_4\!\left(\tfrac12\right)-2160\,\operatorname{...
16
votes
4
answers
1k
views
Proof of complete monotonicity of a binomial function
By plotting the function and its derivatives, one can easily be convinced that the function
$$f(x):=\log\binom{x}{p x}=\log\Gamma(x+1)-\log\Gamma(px+1)-\log\Gamma((1-p)x+1),$$ defined for $x>0$ and ...
16
votes
2
answers
1k
views
are these polynomials or rationals functions?
Let $x$ be a variable. Define the following family of sequences (reminiscent of Lucas polynomials) according to the rule: $P_0(x):=0, P_1(x):=1$ and for $n\geq2$ by
$$P_n(x)=xP_{n-1}(x)-P_{n-2}(x).$$
...
16
votes
2
answers
3k
views
Sum of trigonometric functions
Do somebody know the closed form of the following sum (m is an integer)
$$f(\beta)=\sum _{k=1}^{2m+1} \sin^{2 m+1}\left[\frac{-\beta+k \pi
}{1+2 m}\right]$$
If instead of $n=1+2m$ we put $n=2m$, ...
16
votes
2
answers
810
views
Is there a known solution to $f(x) = (1-x)f(x^2)$?
The functional equation $f(x) = (1-x)f(x^2)$ (with $f(0)=1$) has a simple solution that can be expressed as a rapidly converging infinite product
$$f(x) = \prod_{n=0}^\infty (1 - x^{2^n}) = (1-x)(1-x^...
16
votes
2
answers
589
views
On the convexity of certain integrals involving Bessel functions
Let $n\geq 0$ be an integer and let $J_n=J_n(r)$ denote the usual Bessel function (of the first kind) of order $n$ i.e. one of the solutions to Bessel's differential equation
$$r^2\frac{d^2y}{dr^2}+r\...
15
votes
8
answers
3k
views
A good reference to grok hypergeometric functions?
When I was introduced during my degree to special functions, I made friends with a number of nice functions - Laguerre, Legendre, Hermite, Bessel, and whatnot - but I made only a passing acquaintance ...
15
votes
2
answers
1k
views
The complete list of continued fractions like the Rogers-Ramanujan?
I have two questions about q-continued fractions, but a little intro first. Given Ramanujan's theta function,
$$f(a,b) = \sum_{n=-\infty}^{\infty}a^{n(n+1)/2}b^{n(n-1)/2}$$
then the following,
$$A(q) =...
15
votes
2
answers
650
views
A tantalizing Gamma quotient to challenge the Rohrlich-Lang Conjecture
The Rohrlich-Lang Conjecture for polynomial relations in Gamma values predicts that all polynomial relations between Gamma values over $\mathbb Q$ come from the functional equations satisfied by the ...
15
votes
1
answer
558
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(...
15
votes
0
answers
740
views
Prove $\int_{0}^{\infty} \cos(\omega x) \exp(-x^{\alpha}) \, {\rm d} x \ge {\alpha^2 \sqrt{\pi} \over 8} \exp \left( -\frac{\omega^2}{4} \right)$
I would like to prove that
$$\int_{0}^{\infty} \cos(\omega x) \exp(-x^{\alpha}) \, {\rm d} x \ge
{\alpha^2 \sqrt{\pi} \over 8} \exp \left( -\frac{\omega^2}{4} \right)$$
for any $\omega > 0$ and $...
15
votes
0
answers
523
views
Identification of a curious function
The following question was asked on MSE but there were no replies.
During computation of some Shapley values (details below), I encountered the following function:
$$
f\left(\sum_{k \geq 0} 2^{-p_k}\...
14
votes
1
answer
676
views
Power series $x^n/n$ with one plus, then two minuses, then three plusses, and so on
Which function is represented by the powerseries
$$1-\frac{x}{2}-\frac{x^2}{3}+\frac{x^3}{4}+\frac{x^4}{5}+\frac{x^5}{6}-\frac{x^6}{7}-\frac{x^7}{8}-\frac{x^8}{9}-\frac{x^9}{10} + \dots$$
(one plus, ...
14
votes
3
answers
626
views
(Sharp) inequality for Beta function
I am trying to prove the following inequality concerning the Beta Function:
$$
\alpha x^\alpha B(\alpha, x\alpha) \geq 1 \quad \forall 0 < \alpha \leq 1, \ x > 0,
$$
where as usual $B(a,b) = \...
14
votes
1
answer
3k
views
Geometric meaning of a trigonometric identity
It follows from the law of cosines that if $a,b,c$ are the lengths of the sides of a triangle with respective opposite angles $\alpha,\beta,\gamma$, then
$$
a^2+b^2+c^2 = 2ab\cos\gamma + 2ac\cos\beta +...
14
votes
1
answer
648
views
Riemann, fluid dynamics, and critical lines
Marcus du Sautoy, in the section Riemann's Final Twist (pp. 278-80) in his book The Music of the Primes, discusses a discovery of Jon Keating of a connection in Riemann's Nachlass between Riemann's ...
14
votes
0
answers
709
views
Lower bounds on analytic functions connected to Fox H
The question is related to the one I asked before and never got an answer to. Fourier transform of $f_a(x)= a^{-2}\exp(-|x|^a)$, $a \in (0,2)$, is decreasing in $a$ . I need to demonstrate that the ...
13
votes
6
answers
2k
views
Closed form of an infinite series
Does the following infinite series have a closed form?
$$
\sum_{n=1}^{\infty} {(-1)^n \frac{\Gamma(\frac{1}{3}+\frac{n}{3})}{\Gamma(1+\frac{n}{3})} \sin(\frac{2\pi n}{3})}
$$
13
votes
1
answer
798
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 ...
13
votes
1
answer
620
views
A question on the sine function
The Fejer-Jackson-Gronwall inequality involving the sine function is as follows:
$$\sum_{k=1}^n\frac{\sin kx}k>0\quad\text{for all}\ n=1,2,3,\ldots\ \text{and}\ 0<x<\pi.$$
Here I ask the ...
13
votes
1
answer
542
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 ...
13
votes
3
answers
797
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 ...
13
votes
1
answer
1k
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 + \frac{3^{...
12
votes
2
answers
1k
views
Short research articles
I am a masters student. I am interested in short articles which have counter examples and very few references. I want to write a short and interesting article.
For example; One of the best known ...
12
votes
2
answers
1k
views
Does there exist an upper bound on the Fourier coefficients of the reciprocal theta function $\frac {1}{\theta}$?
Define the theta function as
$$
\theta(x) = \sum_{n=-\infty}^\infty e^{-\gamma(x+n)^2}
$$
where $\gamma>0$. Clearly, $\theta$ is 1-periodic, non-zero and smooth. Therefore, the reciprocal map $x \...
12
votes
1
answer
656
views
Schur functors generalization to "Jack", "Hall-Littlewood", "Macdonald" functors ?
Schur functors are functors from the category of vector spaces to itself.
If we take an operator $M: V->V$ and apply a Schur functor to it and then calculate trace $Tr(M^{\Lambda})$ we will get ...
12
votes
0
answers
576
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 ...