Questions on special functions, useful functions that frequently appear in pure and applied mathematics (usually not including "elementary" functions).

learn more… | top users | synonyms

7
votes
1answer
682 views

Median of the F-distribution

Is the median of the F-distribution with m and n degrees of freedom decreasing in n, for any m? From experiments it looks like it might be, but I have been unable to prove it.
17
votes
2answers
209 views

Prove $\gamma_1\left(\frac34\right)-\gamma_1\left(\frac14\right)=\pi\,\left(\gamma+4\ln2+3\ln\pi-4\ln\Gamma\left(\frac14\right)\right)$

Please help me to prove this identity: $$\gamma_1\left(\frac{3}{4}\right)-\gamma_1\left(\frac{1}{4}\right)=\pi\,\left(\gamma+4\ln2+3\ln\pi-4\ln\Gamma\left(\frac{1}{4}\right)\right),$$ where ...
15
votes
3answers
308 views
+100

Closed-form of $\int_0^1 \operatorname{Li}_3^3(x)\,dx$ and $\int_0^1 \operatorname{Li}_3^4(x)\,dx$

We know a closed-form of the first two powers of the integral of trilogarithm function between $0$ and $1$. From the result here we know that $$I_1=\int_0^1 \operatorname{Li}_3(x)\,dx = ...
5
votes
1answer
65 views

Pretty lower bound on the gamma function

According to http://functions.wolfram.com/06.05.29.0006.01, for every $x\geq 2$ it is $$ \left( \frac{x}{e}\right)^{x-1} \leq \Gamma(x) \leq \left( \frac{x}{2}\right)^{x-1}, $$ where $\Gamma$ is the ...
4
votes
0answers
21 views

Function in Lipschitz space

I'm looking for a function that is in $W^{1,1}(0,1)$ but only in the Lipschitz space $\mathrm{Lip} (\alpha, L_2(0,1))$ for $0<\alpha < 1$. $\mathrm{Lip}(\alpha, L_2(0,1))$ is defined as the set ...
1
vote
0answers
22 views

Series in closed form

Let $\alpha \in (0,1)$ and $z\geq 0$. Define the function: $$ \theta_{\alpha}(z)=\sum_{j=0}^{\infty}\left(\frac{z}{\alpha j + 1}\right)^j. $$ Can $\theta_{\alpha}(z)$ be written in closed form? Are ...
4
votes
4answers
117 views

Value of $\psi\left(\frac{1}{2}\right)$

I apologise if this is a dumb question, but I have trouble deriving $\displaystyle\psi\left(\frac{1}{2}\right)=-\gamma-2\ln{2}$. I have tried the following. \begin{align} \psi\left(\frac{1}{2}\right) ...
2
votes
0answers
15 views

Simplified expression of $ _2F_1((K-1)a,K,Ka,x) $

Is there any simplified expression of this Hypergeometric function $ _2F_1((K-1)a,K,Ka,x) $ Thanks!
31
votes
9answers
9k views

Why is $\Gamma\left(\frac{1}{2}\right)=\sqrt{\pi}$ ?

It seems as if no one has asked this here before, unless I don't know how to search. The Gamma function is $$ \Gamma(\alpha)=\int_0^\infty x^{\alpha-1} e^{-x}\,dx. $$ Why is $$ ...
0
votes
0answers
10 views

How to determine singularities of a series?

Given a double Fourier series, how do we determine its singularities ? PS: I wonder how we find singularities(mathematically) if a function cannot be expressed in a closed form.
7
votes
1answer
127 views

Integral/infinite sum related to Bessels which pop up in optical coherence theory

In propagating partially coherent optical fields, the following integral pops up: $$I_1=\int_0^{2\pi} e^{i(a\cos[\theta]+b\cos^2[\theta])}d\theta,$$ where $a$ and $b$ are real numbers. If we ...
2
votes
0answers
62 views

Integrating $\int_0^1 dx\,\ln(x-a)/(x-b)$ paying attention to cuts.

I am trying to compute the following integral, for complex $a$ and $b$ $$ \int^1_0 dx \frac{\ln(x-a)}{x-b} $$ by turning it into something in terms of dilogarithms. But for certain values of $a$ and ...
1
vote
1answer
40 views

Recognize as a special function?

Is the following function a special function of some kind $$ f(x) = \int_0^x (1+e^{-t})^{b}\,dt, $$ where $b>1$?
0
votes
0answers
15 views

Large-z limit of the *other* second derivative of the Laguerre polynomial

I'm trying to find the asymptotic behavior of the second derivative of the Laguerre polynomial (more precisely, the associated analytic function), $\frac{\partial}{\partial \nu^2}L_{\nu}(z)$, as $z\to ...
2
votes
2answers
419 views

Numerical approximation of the modified Bessel function $I_0$ with radical argument for integration purposes

I have to numerically calculate the following definite integral $$\int_{\alpha}^{\beta}I_0(a\sqrt{1-x^2})dx$$ for different values of $\alpha$ and $\beta$, where $a$ has a value of, say, $30$. I'm ...
9
votes
0answers
191 views

Is this similarity just a coincidence?

Here is the function $-1/x$: If we add infinitely many similar functions with a shift of pi/2 each in both directions, we get $\tan x$. But if we do the same only in one direction, we get ...
1
vote
1answer
108 views

Calculate the residue of $\cot\pi z$ at poles $z=n$

I'm having trouble calculating the residue of $f(z) =\cot\pi z$. The function has a simple pole for every integer n, and i'm, trying to find the residue at n. I know that by the residue theorem: ...
1
vote
0answers
40 views

A list of numbers and

I have a real life problem that math may be able to solve. I am no mathematician so if you have any insight please use the simplified version. This problem is way beyond me. My gut tells me there is ...
3
votes
0answers
42 views

Sum involving zeros of Bessel function

I came across the following sum in my work involving the infinite sum of function of zeros of Bessel functions. Does anyone have any idea of how to express this in a simpler form ? or at least an ...
10
votes
1answer
117 views

An integral $\int^\infty_0\frac{\tanh{x}}{x(1-2\cosh{2x})^2}{\rm d}x$

I would like to enquire about the possible methods of computing the following integral $$\color{blue}{\int^\infty_0\frac{\tanh{x}}{x(1-2\cosh{2x})^2}{\rm d}x=\ ?}$$ A possible way I see of doing this ...
2
votes
0answers
24 views

Identifying a function that involves combinations of terms

I need to know if a function exists that partitions terms in such a way as seen below $$ \frac{d^n}{dx^n}[\frac{(x)_c}{n!}] $$ Note that $(x)_c$ is the falling factorial of x and $c \geq n$, This in ...
0
votes
1answer
18 views

Monotonicity of Modified Bessel Functions of the Second type

Given $n\geq1$ an integer, Is it known that $$ x\to x^nK_n(x) $$ is a decreasing function on $(0,\infty)$? I am looking for a reference or a proof.
3
votes
2answers
535 views

Does sinc function have any special inverse function defined?

We know that $y=xe^x$ cannot be solved for $x$ using elementary functions. The Lagrange inversion theorem can be used for finding a "new" function that would be the inverse function of the above ...
1
vote
1answer
41 views

Solve ${y}' = \cosh^{-1}\left ( x \right ) + \mathrm {Si}(x)$

I am wondering how to find an explicit, closed-form solution for the following first-order differential equation: $${y}' = \cosh^{-1}\left ( x \right ) + \mathrm {Si}(x)$$ Where $\mathrm {Si}(x)$ ...
2
votes
1answer
94 views

Hypergeometric Function simple identity

I must proove this property but I really have no idea of how to proove it: $${}_2F_1(a,b;c;z)=(1-z)^{-a}{}_2F_1(a,c-b;c,\frac{-z}{1-z}) $$ It seems its a 'simple' property, but I haven't been able to ...
5
votes
1answer
131 views

Dilogarithm in closed form

Is there a closed form expression for \begin{align} e^{\Large\frac{i\pi}3} \text{Li}_{2}\left( \frac{e^{\Large\frac{i\pi}3} }{2}\right) + e^{-\Large\frac{i\pi}3} \text{Li}_{2}\left( ...
1
vote
2answers
89 views

Hypergeometric function integral representation

How to prove the following relation? $$ \, _2{F}_1(K,K;K+1;1-m) = \frac{\Gamma (K+1)}{\Gamma (K)} \int_0^{\infty } \frac{1}{(1+x) (m+x)^K} \, dx $$ where $_2{F}_1(.,.;.;.)$ is the hypergeometric ...
0
votes
0answers
36 views

Formula to divide (group) numbers into N proportionally groups

Lets take ideal theoretical case as example: we have 20 numbers: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 we should split these numbers into 5 groups: lowest, low, ...
3
votes
1answer
39 views

Why does the whole integral converge but not part of it? (Dilogs)

$\newcommand{\Li}{\operatorname{Li}}$Consider the integral: $$\int_0^1 \frac{(-\Li_2(x) - \Li_3(x) - x^2/8 + 3x - x\log(1-x) + \log(1-x))}{x^2} \, dx$$ This integral converges to $\sim 0.01$ But ...
13
votes
1answer
191 views

Integral that arises from the derivation of Kummer's Fourier expansion of $\ln{\Gamma(x)}$

I am trying to prove that for $0<x<1$, $$\color{blue}{\ln{\Gamma(x)}=\frac{1}{2}\ln(2\pi)+\sum^\infty_{n=1}\left\{\frac{1}{2n}\cos(2\pi nx)+\frac{\gamma+\ln(2\pi n)}{n\pi}\sin(2\pi ...
1
vote
3answers
278 views

Mean and variance of truncated generalized Beta distribution

The generalized Beta probability density function is given by: $$f(x) = \frac{(x-A)^{\alpha - 1} (B-x)^{\beta - 1}}{(B-A)^{\alpha + \beta - 1} \mathrm{B}(\alpha ,\beta)}$$ for $A<x<B$, and ...
21
votes
0answers
438 views

On Shanks' quartic approximation $\pi \approx \frac{6}{\sqrt{3502}}\ln(2u)$

In Mathworld's "Pi Approximations", (line 58), Weisstein mentions one by the mathematician Daniel Shanks that differs by a mere $10^{-82}$, $$\pi \approx ...
2
votes
0answers
58 views

Special functions, Fourier series

Well known are the Fourier expansions (presented, e.g., in Abramovitz and Stegun): $$ \cos ( A \sin x) = J_0(A) + 2 \sum_{k=1}^{\infty} J_{2k}(A)~\cos(2kx)~~, $$ $$ \sin ( A \sin x) = 2 ...
1
vote
0answers
24 views

Looking for a proof involving the Harmonic number [duplicate]

Prove that: $\displaystyle \sum_{k=1}^{\infty} \frac{H_k}{k^q} = (1 + \frac{q}{2})\zeta(q + 1) - \frac{1}{2}\cdot \sum_{n=1}^{q-2}\zeta(k+1)\zeta(q-k)$ It looks tough just to start off with. Any ...
1
vote
1answer
61 views

Where is the error in this proof :

Prove that: $$\frac {2\Gamma'(2z)}{\Gamma(2z)}-\frac {\Gamma'(z)}{\Gamma(z)}-\frac {\Gamma \prime(z+\frac{1}{2})}{\Gamma(z+\frac{1}{2})} =2 \log 2$$ But I obtain this equal zero. My proof: From ...
5
votes
2answers
133 views

Closed form for a zeta series

It is not that diffcult to derive \begin{align} \sum^\infty_{k=2}\frac{(-1)^{k-1}\zeta(k)}{k2^k}=&-\frac{\gamma}{2}+\ln\left(\frac{2}{\sqrt{\pi}}\right)\tag{1}\\ ...
4
votes
1answer
262 views

Integral involving bessel function/gaussian/rational function

I'd like to solve: $$\int_0^{\infty}\quad J_1(ak)\,\frac{b+k^2}{(k-\alpha_1)(k-\alpha_2)(k-\alpha_3)(k-\alpha_4)}\,\exp(-ck^2)\,\,dk$$ Is there any specific rule for it? Thanks!
15
votes
3answers
737 views

Evaluate $\int_0^\infty \frac{\log(1+x^3)}{(1+x^2)^2}dx$ and $\int_0^\infty \frac{\log(1+x^4)}{(1+x^2)^2}dx$

Background: Evaluation of $\int_0^\infty \frac{\log(1+x^2)}{(1+x^2)^2}dx$ We can prove using the Beta-Function identity that $$\int_0^\infty \frac{1}{(1+x^2)^\lambda}dx=\sqrt{\pi}\frac{\Gamma ...
10
votes
3answers
498 views

How to integrate the dilogarithms?

$\def\Li{\operatorname{Li}}$ How can you integrate $\Li_2$? I tried from $0 \to 1$ $\displaystyle \int_{0}^{1} \Li_2(z) \,dz = \sum_{n=1}^{\infty} \frac{1}{n^2(n+1)}$ $$\frac{An + B}{n^2} + ...
27
votes
6answers
519 views

Other interesting consequences of $d=163$?

Question: Any other interesting consequences of $d=163$ having class number $h(-d)=1$ aside from the list below? Let $\tau = \tfrac{1+\sqrt{-163}}{2}$. We have (see notes at end of list), ...
0
votes
0answers
44 views

Closed form of certain integral.

I am solving the following problem in heat transfer using the Laplace transform $$\rho\,c{\frac {\partial }{\partial t}}T \left( x,t \right) =k{\frac { \partial ^{2}}{\partial {x}^{2}}}T \left( x,t ...
19
votes
1answer
453 views

Weber-type integral

In connection with this answer, I came across the following integral: $$\int_{0}^{\infty} \frac{du}{u} \: \,e^{-t u^2} \frac{J_0(u) Y_0(r u)-J_0(r u) Y_0(u)}{J_0^2(u)+Y_0^2(u)}$$ where $r \gt 1$. I ...
2
votes
0answers
37 views

Closed form of a “harmonic” alternating dilogarithm sum

Does the following sum $$ S = \sum_{n\geq 2}(-1)^n \mathrm{Li}_2(2/n) = 1.14434\ 42096\ 91982\ 23727\ 39852\ 45805\ldots $$ have a closed form in terms of known constants? Neither the inverse ...
5
votes
0answers
113 views

Integral of a product of five Bessel functions of order $0$

Does the following integral have a closed form? $$ \mathcal{J}(2,3,5,7,11) = \int_0^\infty x J_0(x\sqrt{2})J_0(x\sqrt{3})J_0(x\sqrt{5})J_0(x\sqrt{7})J_0(x\sqrt{11})\,dx. $$ I know that some similar ...
2
votes
1answer
50 views

Question about $\frac {\Gamma'(z+1)}{\Gamma(z+1)}$

If $\psi (z)= \log\Gamma(z+1)$ Prove that : $$\psi(n)+\gamma=1+\frac{1}{2}+\cdots+\frac{1}{n}$$ My Proof : $$\psi (z)= \frac {\Gamma'(z+1)}{\Gamma(z+1)}=-\frac{1}{z+1}-\gamma + \sum_{n=1}^\infty ...
1
vote
1answer
71 views

Special Integral Proof

How to prove $$\int_0^\infty x^{2n-1} \exp(-a^{x^3})\, dx = \frac{\Gamma(n)}{2a^n} ,\quad n> 0 ,\quad a>0. $$
1
vote
1answer
318 views

Solution of Bessel equation

Prove that for a Bessel function in its normal form that is: $$u'' + \left(1 + \frac{1-(4*p^2)}{4x^2}\right)u=0$$ if $p > \frac12$ then every interval of length $\pi$ contains at most one zero of ...
5
votes
0answers
81 views

Closed-forms of real parts of special value dilogarithm identities from inverse tangent integral function

The inverse tangent integral is defined as $$\operatorname{Ti}_2(x)=\Im\operatorname{Li}_2\left(ix\right)$$ Because this we have some special value identitiy. Let $c_1 = \operatorname{Li}_2(i)$, ...
1
vote
1answer
41 views

Question on series $\frac {\Gamma'(z)}{\Gamma(z)}$

Prove that: $$\frac {2\Gamma'(2z)}{\Gamma(2z)}-\frac {\Gamma'(z)}{\Gamma(z)}-\frac {\Gamma \prime(z+\frac{1}{2})}{\Gamma(z+\frac{1}{2})} =2 \log 2$$ But I obtain this equal zero: $$\frac ...
0
votes
1answer
23 views

finding minima of three varible function

I need to find minima of this function. $f(a,b,c)=2^a-5^b\cdot7^c$ where $a,b,c$ are positive integer I need to prove that for any value of a,b,c the value of function can never be 1. Tried ...