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

learn more… | top users | synonyms

20
votes
2answers
1k views

Possibility to simplify $\sum\limits_{k = - \infty }^\infty {\frac{{{{\left( { - 1} \right)}^k}}}{{a + k}} = \frac{\pi }{{\sin \pi a}}} $

Is there any way to show that $$\sum\limits_{k = - \infty }^\infty {\frac{{{{\left( { - 1} \right)}^k}}}{{a + k}} = \frac{1}{a} + \sum\limits_{k = 1}^\infty {{{\left( { - 1} \right)}^k}\left( ...
25
votes
1answer
1k views

Show that $\int_{0}^{\pi/2}\frac {\log^2\sin x\log^2\cos x}{\cos x\sin x}\mathrm{d}x=\frac14\left( 2\zeta (5)-\zeta(2)\zeta (3)\right)$

Show that : $$ \int_{0}^{\pi/2} {\ln^{2}\left(\vphantom{\large A}\cos\left(x\right)\right) \ln^{2}\left(\vphantom{\large A}\sin\left(x\right)\right) \over ...
16
votes
1answer
566 views

How do you prove Gautschi's inequality for the gamma function?

A few answers here on math.SE have used as an intermediate step the following inequality that is due to Walter Gautschi: $$x^{1-s} < \frac{\Gamma(x+1)}{\Gamma(x+s)} < (x+1)^{1-s},\qquad x > ...
80
votes
9answers
4k views

Why is Euler's Gamma function the “best” extension of the factorial function to the reals?

There are lots (an infinitude) of smooth functions that coincide with f(n)=n! on the integers. Is there a simple reason why Euler's Gamma function $\Gamma (z) = \int_0^\infty t^{z-1} e^t dt$ is ...
23
votes
7answers
2k views

Prove: $\binom{n}{k}^{-1}=(n+1)\int_{0}^{1}x^{k}(1-x)^{n-k}dx$ for $0 \leq k \leq n$

I would like your help with proving that for every $0 \leq k \leq n$, $$\binom{n}{k}^{-1}=(n+1)\int_{0}^{1}x^{k}(1-x)^{n-k}dx . $$ I tried to integration by parts and to get a pattern or to ...
5
votes
3answers
2k views

Inverse of $y=xe^x$

I feel like finding the inverse of $y=xe^x$ should have an easy answer but can't find it.
13
votes
7answers
639 views

Evaluating $\int_0^\infty \frac{dx}{1+x^4}$. [duplicate]

Can anyone give me a hint to evaluate this integral? $$\int_0^\infty \frac{dx}{1+x^4}$$ I know it will involve the gamma function, but how?
5
votes
1answer
1k views

Is there an Inverse Gamma $\Gamma^{-1} (z) $ function?

Since $\Gamma$ is not one to one over the complex domain, Is it possible to define some principal values ( analogues to Principal Roots for the Root function ) so we can have a $\Gamma^{-1} (z)$ ...
10
votes
2answers
485 views

How to find $\zeta(0)=\frac{-1}{2}$ by definition?

I would like to know how we can find the following result: $$\zeta(0)=-\frac12$$ Is there a way, using the definition, $$\zeta(s)=\sum_{i=1}^{\infty}i^{-s}$$ to find this?
10
votes
3answers
538 views

How does Lambert's W behave near ∞?

How does $W$ behave near $+\infty$ compared to $\log$? In particular, I'm interested in the asymptotic expansion of $$\frac{W(x)}{\ln(x)}$$ near $\infty$ (but along the positive real line, if that ...
5
votes
3answers
2k views

How to accurately calculate the error function erf(x) with a computer?

I am looking for an accurate algorithm to calculate the error function I have tried using [this formula] (http://stackoverflow.com/a/457805) (Handbook of Mathematical Functions, formula ...
7
votes
2answers
542 views

Integrating a product of exponentials and error functions

I have the following integral $$ \int\limits_0^\infty x^2\exp(-\delta x^2)\operatorname{erf}(\gamma x)\,dx. $$ Ideally, I would like a closed-form in terms of common functions, but a series answer ...
25
votes
1answer
325 views

Are elementary and generalized hypergeometric functions sufficient to express all algebraic numbers?

Are (integers) plus (elementary functions) plus (generalized hypergeometric functions) sufficient to represent any algebraic number? For example, the real algebraic number $\alpha\in(-1,0)$ ...
26
votes
2answers
2k views

Proving an “amazing” claim regarding $\zeta( 3)$ and Apéry's proof

I recently printed a paper that asks to prove the "amazing" claim that for all $a_1,a_2,\dots$ $$\sum_{k=1}^\infty\frac{a_1a_2\cdots a_{k-1}}{(x+a_1)\cdots(x+a_k)}=\frac{1}{x}$$ and thus (probably) ...
25
votes
4answers
2k views

When is an elliptic integral expressible in terms of elementary functions?

After seeing this recent question asking how to calculate the following integral $$ \int \frac{1 + x^2}{(1 - x^2) \sqrt{1 + x^4}} \, dx $$ and some of the comments that suggested that it was an ...
13
votes
2answers
1k views

Series of logarithms $\sum\limits_{k=1}^\infty \ln(k)$ (Ramanujan summation?)

I had this question earlier, so to say as a "standalone" problem, but now it pops up in context of an analysis with the lngamma-function. As well as we can convert the question of sums of like powers ...
8
votes
3answers
6k views

How do you integrate a Bessel function? I don't want to memorize answers or use a computer, is this possible?

I am attempting to integrate a Bessel function of the first kind multiplied by a linear term: $\int xJ_n(x)\mathrm dx$ The textbooks I have open in front of me are not useful (Boas, Arfken, various ...
7
votes
1answer
471 views

Higher Order Trigonometric Function

Once in a time, I had to work with functions that have the following Taylor series expansion: $$ t_m(x)=1-\frac{x^m}{m!}+\frac{x^{2m}}{(2m)!}+\cdots =\sum_{k=0}^\infty \frac{(-1)^k x^{km}}{(km)!}. $$ ...
2
votes
3answers
485 views

What does | mean?

I found this symbol on Wolfram|Alpha. Does it mean "or"? $\displaystyle \large \cos^{-1}(-1)=\mathrm{cd}^{-1}(-1\mid 0)$
9
votes
5answers
899 views

Proof that $x \Phi(x) + \Phi'(x) \geq 0$ $\forall x$, where $\Phi$ is the normal CDF

As title. Can anyone supply a simple proof that $$x \Phi(x) + \Phi'(x) \geq 0 \quad \forall x\in\mathbb{R}$$ where $\Phi$ is the standard normal CDF, i.e. $$\Phi(x) = \int_{-\infty}^x ...
6
votes
5answers
4k views

Algorithm to compute Gamma function

The question is simple. I would like to implement the Gamma function in my calculator written in C; however, I have not been able to find an easy way to programmatically compute an approximation to ...
5
votes
1answer
147 views

Proof involving the logarithmic integral

Another exercise from Apostol's book, this time we're supposed to prove $$\mathrm{Li}(x)=\frac{x}{\log x}+\int_2^x \frac{dt}{\log^2t}-\frac{2}{\log 2}.$$ which is easy to do via integration by ...
4
votes
2answers
164 views

Help with special function differential equation

this is my first time to use this site. Please let me know if the equations are unreadable, latex isn't my first language. We've been covering Legendre, Bessel, and Confluent Hypergeometric ...
3
votes
1answer
109 views

Understanding the Gamma Function

Is this valid? If $x_1 > x_2 > x_3 > 0$ and $\Delta{t_1} = \Delta{t_2} + \Delta{t_3}$, Does it follow that: $$\frac{\Gamma(x_1 + \Delta{t_1})}{\Gamma(x_1)} \ge \frac{\Gamma(x_2 + ...
3
votes
0answers
361 views

An Expression for $\log\zeta(ns)$ derived from the Limit of the truncated Prime $\zeta$ Function

I think, here, I found $$ P_\color{red}x(\color{blue}s)=\sum_{p<\color{red}x} \frac{1}{p^{\color{blue}s}} =\sum_{\color{green}n=1}^{\infty}\frac{ \mu (\color{green}n)}{\color{green}n} ...
30
votes
1answer
457 views

Generalizing $\int_{0}^{1} \frac{\arctan\sqrt{x^{2} + 2}}{\sqrt{x^{2} + 2}} \, \frac{\operatorname dx}{x^{2}+1} = \frac{5\pi^{2}}{96}$

The following integral \begin{align*} \int_{0}^{1} \frac{\arctan\sqrt{x^{2} + 2}}{\sqrt{x^{2} + 2}} \, \frac{dx}{x^{2}+1} = \frac{5\pi^{2}}{96} \tag{1} \end{align*} is called the Ahmed's integral ...
14
votes
2answers
2k views

Beta function derivation

How do I derive the Beta function using the definition of the beta function as the normalizing constant of the Beta distribution and only common sense random experiments? I'm pretty sure this is ...
10
votes
1answer
266 views

What would qualify as a valid reason to believe there is a closed form?

I noticed that almost every non-homework-level integral posted on this site prompts somebody to ask "Do you have any reason to believe there is a closed form?" (some recent examples here and here) I ...
16
votes
2answers
418 views

How to prove $\int_0^\infty J_\nu(x)^3dx\stackrel?=\frac{\Gamma(1/6)\ \Gamma(1/6+\nu/2)}{2^{5/3}\ 3^{1/2}\ \pi^{3/2}\ \Gamma(5/6+\nu/2)}$?

I am interested in finding a general formula for the following integral: $$\int_0^\infty J_\nu(x)^3dx,\tag1$$ where $J_\nu(x)$ is the Bessel function of the first kind: $$J_\nu(x)=\sum ...
22
votes
4answers
1k views

Proving a known zero of the Riemann Zeta has real part exactly 1/2

Much effort has been expended on a famous unsolved problem about the Riemann Zeta function $\zeta(s)$. Not surprisingly, it's called the Riemann hypothesis, which asserts: $$ \zeta(s) = 0 ...
13
votes
3answers
3k views

Analytic continuation- Easy explanation?

Today, as I was flipping through my copy of Higher Algebra by Barnard and Child, I came across a theorem which said, The series $$ 1+\frac{1}{2^p} +\frac{1}{3^p}+...$$ diverges for $p\leq 1$ and ...
8
votes
1answer
429 views

Different methods to prove $\zeta(s)=2^s\pi^{s-1}\sin\left(\frac{s\pi}{2}\right) \Gamma (1-s) \zeta (1-s)$.

I've recently encountered this strangely attractive equation (Riemann's functional equation), along with Riemann's original proof. $$\displaystyle\zeta(s)=2^s\pi^{s-1}\sin\left(\frac{s\pi}{2}\right) ...
8
votes
2answers
2k views

How to evaluate Riemann Zeta function

How do I evaluate this function for given $s$? $$\zeta(s) = \sum_{n=1}^\infty \frac1{n^s} = \frac{1}{1^s} + \frac{1}{2^s} + \frac{1}{3^s} + \cdots$$
29
votes
2answers
4k views

Why is the error function defined as it is?

$\newcommand{\erf}{\operatorname{erf}}$ This may be a very naïve question, but here goes. The error function $\erf$ is defined by $$\erf(x) = \frac{2}{\sqrt{\pi}} \int_0^x e^{-t^2}dt.$$ Of ...
12
votes
1answer
615 views

Recursive solutions to linear ODE.

When finding the solutions to the simple ODE $$ y'- mxy= x^n \text{ ; } y(0) = 0$$ I found the following: Let $P_n$ be the particular solution for each integer exponent $n$. Then if we define ...
11
votes
0answers
320 views

Divergence of the Derivative of the Prime Counting Function

On the one hand, the Prime Counting Function $\pi_0(x)$ maybe be written $$ \pi_0(x) = \operatorname{R}(x^1) - \sum_{\rho}\operatorname{R}(x^{\rho}) \tag{1} $$ with $ \operatorname{R}(z) = ...
8
votes
1answer
327 views

Prove $f(x)=\int\frac{e^x}{x}\mathrm dx$ is not an elementary function

How do I prove that the exponential integral $$f(x)=\int \frac{e^x}{x}\mathrm dx$$ is not an elementary function? Also, what are the general methods and tricks to prove that an integral or solution ...
5
votes
2answers
406 views

Roots of the incomplete gamma function

Is there any way that one can describe all the roots of the incomplete gamma function $\Gamma(n,z)$, for $n\in \mathbb{N}$, analytically?
5
votes
1answer
385 views

Inverse function of $\operatorname{li}(x)$ over $x>\mu$?

How can I get the inverse function of $\operatorname{li}(x)$ over $x>\mu$? Where $$\operatorname{li}(x)=\int_{0}^{x}\frac{ds}{\ln(s)}$$ is the so-called logarithmic integral, and ...
2
votes
0answers
106 views

integral involving upper incomplete gamma function

I trying to evaluate the following integral $$\int_0^\infty \dfrac { x^{m-1} \Gamma(A,\mathcal B x^q)} {\left[1+(\eta x)^n\right]^p} \,\mathrm dx$$ where the integration is w.r.t. $x$, and the ...
2
votes
1answer
188 views

Convergence of the Fourier Transform of the Prime $\zeta$ Functions

I think I found a way to write the truncated Prime $\zeta$ function like this: $$ 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}} ...
9
votes
5answers
658 views

A gamma function inequality

I would like to prove $$\frac{\Gamma(n+\frac{1}{2})}{\Gamma(n+1)} \le \frac{1}{\sqrt{n}}$$ for all natural $n \ge 1$. The inequality does seem to be true numerically, but the proof eludes me.
4
votes
1answer
261 views

Using the Lambert W to express a solution of a differential equation.

I solved a differential equation some time ago and I need to solve for $y$. How can we solve for $y$ using the Lambert W function? $$C_1+x = e^y+Cy$$
2
votes
1answer
408 views

What can we say about functions satisfying $f(a + b) = f(a)f(b) $ for all $a,b\in \mathbb{R}$? [duplicate]

Possible Duplicate: Is there a name for such kind of function? I am investigating functions satisfying the exponentiation identity $f(a + b) = f(a)f(b)$ for all $a,b\in \Bbb R$. This is ...
1
vote
2answers
551 views

How to prove error function $\mbox{erf}$ is entire (i.e., analytic everywhere)?

How do I prove the error function $$ \mbox{erf}(z) = \frac{2}{\sqrt{\pi}} \int_{0}^{z} e^{-t^{2}} dt. $$ is entire? Could you give me some scratch proof?
1
vote
2answers
380 views

Area of Validity of Writing an Exponential Integral as Sum of IntegralSinus and -Cosinus

I'm confused by the two online references shown below. To me, they give different areas of validity of writing an exponential integral as sum of integralsinus and -cosinus. On this Wiki page, I find ...
11
votes
1answer
495 views

Hermite's solution of the general quintic in terms of theta functions

Can someone point me at or produce a translation or modern exposition of Hermite's solution of the general quintic in terms of theta functions? (the "before" and "after" steps are on the mathworld ...
8
votes
3answers
285 views

Nicer expression for the following differential operator

I have the following sequence of differential operators: $$D_n = \underbrace{t \partial_t t \partial_t \dots t \partial_t}_{\text{$n$ times}}.$$ Is there any expression involving a sum of "normal" ...
6
votes
2answers
255 views

Deriving the addition formula for the lemniscate functions from a total differential equation

The lemniscate of Bernoulli $C$ is a plane curve defined as follows. Let $a > 0$ be a real number. Let $F_1 = (a, 0)$ and $F_2 = (-a, 0)$ be two points of $\mathbb{R}^2$. Let $C = \{P \in ...
33
votes
3answers
899 views

An integral involving Fresnel integrals $\int_0^\infty \left(\left(2\ S(x)-1\right)^2+\left(2\ C(x)-1\right)^2\right)^2 x\ \mathrm dx,$

I need to calculate the following integral: $$\int_0^\infty \left(\left(2\ S(x)-1\right)^2+\left(2\ C(x)-1\right)^2\right)^2 x\ \mathrm dx,$$ where $$S(x)=\int_0^x\sin\frac{\pi z^2}{2}\mathrm dz,$$ ...