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.

Filter by
Sorted by
Tagged with
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{...
smyroosh's user avatar
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\...
yohbs's user avatar
  • 255
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 ...
Wolfgang's user avatar
  • 13.2k
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}}=\...
Pritam Majumder's user avatar
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 ...
Dimiter P's user avatar
  • 203
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 ...
Twi's user avatar
  • 2,188
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 ...
Fedor Petrov's user avatar
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 ...
user avatar
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 ...
Mathlover's user avatar
  • 292
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 ...
Jason S's user avatar
  • 653
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 $...
User133713's user avatar
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 ...
Matematleta's user avatar
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 ...
Bazin's user avatar
  • 15.1k
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 ...
Ted Mao's user avatar
  • 443
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)}{\...
John's user avatar
  • 141
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}{...
Anixx's user avatar
  • 9,306
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 ...
Stanley Yao Xiao's user avatar
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(...
Timothy Budd's user avatar
  • 3,545
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,...
Twi's user avatar
  • 2,188
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 ...
Twi's user avatar
  • 2,188
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 ...
user avatar
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-...
Twi's user avatar
  • 2,188
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 ...
Daniel Parry's user avatar
  • 1,286
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&...
Twi's user avatar
  • 2,188
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$...
Simon Rose's user avatar
  • 6,240
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 ...
Ismail Bello's user avatar
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^...
user avatar
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 $(...
Y. Zhao's user avatar
  • 3,317
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)$...
LayZ's user avatar
  • 115
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 ...
Ming Li's user avatar
  • 33
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 ...
user257241's user avatar
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 ...
user257241's user avatar
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\...
Gottfried William's user avatar
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 ...
day1pnl's user avatar
  • 123
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/, ...
Stéphane Laurent's user avatar
-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....
Halbort's user avatar
  • 1,129
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 ...
Timothy J. Doyle's user avatar
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 ...
Александр Вакулин's user avatar
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 &...
Tito Piezas III's user avatar
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 ...
Roland Bacher's user avatar
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-...
Iosif Pinelis's user avatar
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^...
David Holden's user avatar
-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)$...
Turbo's user avatar
  • 13.7k
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) \...
genideal's user avatar
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})}.$$ ...
Twi's user avatar
  • 2,188
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 ...
Analysis's user avatar
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 ...
Bjørn Kjos-Hanssen's user avatar
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!$...
Asvin's user avatar
  • 7,648
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 ...
willpett's user avatar
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$,...
tam's user avatar
  • 223

1
9 10
11
12 13
17