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.

learn more… | top users | synonyms

1
vote
0answers
117 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 ...
11
votes
1answer
2k 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 ...
11
votes
2answers
404 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 ...
0
votes
0answers
48 views

Two integrals involving Legendre Functions

I have two Integrals which I want to identify with a simpler functions (if possible). Firstly, $$\int_{1}^{\infty} \frac{1}{\sqrt{x^2-1}}Q_{-1/2+k}\left(\frac{x\cdot a-b}{\sqrt{x^2-1}} \right)\cdot ...
0
votes
0answers
61 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 ...
4
votes
1answer
164 views

Special Function, Series Expansion, or Simpler Form of a Certain Infinite Product?

$\prod _{n=1}^{\infty } \left(1+a (c+n)^b\right)$ where a > 0, b < -1, and c >= 0 Is there a special function, series expansion, or other simpler (or maybe just interesting) representation of ...
8
votes
2answers
3k views

Sums of arctangents

$$ \begin{align} \arctan(x) & = \arctan(1) + \arctan\left(\frac{x-1}{2}\right) \\ & {} - \arctan\left(\frac{(x-1)^2}{4} \right) + \arctan\left(\frac{(x-1)^3}{8}\right) - \cdots \end{align} $$ ...
34
votes
1answer
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 ...
0
votes
0answers
99 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
0answers
453 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} ...
10
votes
0answers
437 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 + ...
6
votes
2answers
316 views

expression for infinite series with powers of factorial in denominator

The series $$\sum_{k=0}^\infty \frac{\exp(c k \beta)}{(k!)^\beta} $$ has come up when I'm trying to apply the methodology in this paper (http://www.ism.ac.jp/~eguchi/pdf/Robustify_MLE.pdf) to Poisson ...
5
votes
2answers
286 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 ...
5
votes
2answers
261 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 ...
10
votes
1answer
327 views

Is a Bessel function larger than all other Bessel functions when evaluated at its first maximum?

Let $\mathcal{J}_{n+1/2}$ be the Bessel function of order $n+1/2$. Let $j'_{n+1/2,1}$ denote the first zero of its derivative, which is also the location of the first maximum of $\mathcal{J}_{n+1/2}$. ...
5
votes
1answer
501 views

Integral of a product of Laguerre polynomials

In order to estimate the non linear term in a particular PDE, I have to decompose $L_k^\alpha(x)^3\cdot x^{-\delta}$ (with $0<\delta<\alpha+1$) into a basis consisting of Laguerre polynomials ...
1
vote
0answers
49 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} ...
-2
votes
2answers
147 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 ...
4
votes
1answer
467 views

What is the advantage of inverting elliptic integrals?

In the case of the circle I can hardly make any conclusions from the integral $(1)$, most of the theorems come from geometrical considerations. It's not clear how to prove periodicity from this ...
-2
votes
3answers
2k views

Factorial of 3/2? [closed]

How do you compute the factorial of something like $3/2$ or $-2$? Wolfram Alpha gives an answer, but how does it arrive at that point?
1
vote
1answer
106 views

Approximation of $ _2F_1((b-1)a,b;ba;x) $

Is there any (simple) approximation of this Hypergeometric function: $ _2F_1((b-1)a,b;ba;x) $, where $0<x<1$ and $b>a>1$. Thanks!
4
votes
0answers
68 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) ...
5
votes
0answers
120 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 ...
6
votes
0answers
162 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})}.$$ ...
2
votes
1answer
298 views

monotonicity of functions related to modified Bessel function

Dear colleagues, I recently met some problems related to the modified Bessel funtions of the first kind and the second kind. I want to know if there exist some results on the monotonicity of ...
0
votes
1answer
74 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 ...
1
vote
0answers
189 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 ...
1
vote
2answers
134 views

Is there any simpler form of this function

Assume that $n$ is a positive integer. Is there any simple form of this hypergeometric value $$_2\mathrm{F}_1\left[\frac{1}{2},1,\frac{3+n}{2},-1\right]?$$
1
vote
0answers
90 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
1answer
149 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 ...
1
vote
0answers
105 views

A hypergeometric identity [closed]

Is there any simple proof of this identity $${_4F_3}[\{\frac{1}{2}+\frac{n}{4},1+\frac{n}{4},-p,p\},\{\frac{1}{2},\frac{3}{2},\frac{1}{2}+\frac{n}{2}\},1]=\frac{\Gamma[\frac{1+n}{2}] ...
1
vote
0answers
70 views

q-Hermite polynomials

It is well known that the q-Hermite polynomials defined by $$H_n(\theta; q)= \sum\limits_{k=0}^n \frac{(q;q)_n}{(q;q)_k(q;q)_{n-k}}e^{i(n-2k)\theta}$$ are orthogonal in $\theta \in [0, \pi]$ with ...
2
votes
2answers
142 views

How to calculate one Cauchy type determinant

As we know, a Cauchy determinant of size n admits the following explicit formula: $$\det \left(\frac{1}{x _i+y _j}\right) _{1\le i,j \le n}=\frac{\prod _{1\le i < j\le n} (x _j-x _i)(y _j-y ...
4
votes
1answer
520 views

How to prove this identity on double summation series?

I suspect the following identity is valid, but I can not prove it. I just calculate it numerically. ...
7
votes
3answers
1k views

a dilogarithm identity: known or new?

I was playing around with dilogarithms and numerically found the following dilogarithm identity: $$\text{Li}_2\left(\frac{2 m}{m^2+m-\sqrt{((m-3) m+1) \left(m^2+m+1\right)}-1}\right)$$ ...
0
votes
1answer
102 views

Integral Transform with associated Legendre Function of second kind as kernel

In my research the following equation appeared: $$\frac{1}{4\pi}\int_{0}^{1}\frac{t^{s-1}(1-t)^{s-1}}{(\rho-t)^s}dt=\int_0^{\infty} f(a) Q^{i\sqrt{a}}_{s-1}(2\rho-1) da,$$ where $\rho,s>1$, ...
6
votes
0answers
325 views

Why does the Rogers-Ramanujan continued fraction $R(q)$ appear in Emma Lehmer's quintic?

Define the Ramanujan theta function $f(a,b)$ as, $$f(a,b) = \sum_{n=-\infty}^{\infty} a^{n(n+1)/2}\,b^{n(n-1)/2}$$ and the Dedekind eta function, $$\eta(\tau) = q^{1/24}\prod_{n=1}^{\infty} ...
5
votes
0answers
201 views

Legendre polynomials and formal groups

Let $P_n(x)$ be Legendre polynomials: $$\frac{1}{\sqrt{1-2tx+t^2}}=\sum\limits_{n=0}^{\infty}P_n(x)t^n.$$ Usual arguments from the theory of formal groups allow to prove that for any $n$ ...
9
votes
8answers
1k 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 ...
3
votes
0answers
154 views

Analysing functions on zero-length intervals and super-small values

Suppose a function that has a pole in $x=0$: Here we see the graphic of the real part of the Gamma function. As we can see on it, there is a vertical line at $x=0$ that comes from $-\infty$ to ...
0
votes
2answers
198 views

A certain sum with q by the power of binomial (n 2)

Is there a closed form to the following sum: $\sum_{n=0}^{\infty}a^nq^{n(n-1)/2}$ for all $a>0$ and $0\lt q\lt 1$ ?
4
votes
2answers
141 views

Sharp upper bounds on hypergeometric function ${}_2F_1[a,b,c;z]$ when $|z|\geq1$

Generally, hypergeometric function ${}_2F_1[a,b,c;z]$ is defined using Gauss series ${}_2F_1[a,b,c;z]=\sum_{n=0}^\infty\frac{(a)_n(b)_n}{(c)_nn!}z^n$ with $|z|<1$, and there seems to be a lot of ...
19
votes
3answers
651 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 ...
5
votes
0answers
121 views

Are these identities Newton series?

Newton series is the following expansion of a function: $$f(x)=\sum_{k=0}^\infty \binom{x}k \Delta^k [f]\left (0\right)=\sum_{n=0}^{\infty} {x\choose n} \sum_{k=0}^n{n\choose k}(-1)^{k-n}f(k)$$ Now ...
1
vote
0answers
110 views

Integral involving a Meijer-G function

I am having trouble with calculating the following integral: $$ \int_{0}^{\infty} \ln{(1 + \alpha x)\, G^{k,0}_{k,k}\left[e^{-x}\left|^{(a_k)}_{(b_k)} \right. \right]} \, dx, $$ where $\alpha > ...
31
votes
5answers
3k 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 ...
2
votes
1answer
143 views

Eigenfunctions of an infinite summation operator

I would like to find ALL eigenfunctions to the operator, for $f$ a real function on R+*: $f \rightarrow \sum_{1}^{\infty} f(nx)$ So to find $f$ such that: $\sum_{1}^{\infty} f(nx) = \lambda f(x)$ ...
2
votes
2answers
235 views

Is this infinite series related to some well-known special functions?

Please allow me to resort once again to the expertise of the MathOverflow community : During research I encoutered the following infinite series : $$\sum_{n=-\infty}^{+\infty} ...
12
votes
1answer
245 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 ...
3
votes
0answers
141 views

System of linear ODEs with hypergeometric coefficients

For quite some time I have been trying to solve the following system of differential equations for the two functions $G$ and $H$ defined on the interval $[0,1]$: $$ \begin{align}x ...