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

learn more… | top users | synonyms

3
votes
1answer
29 views

How I can simplify this inequality or how I can solve it?

How I can simplify this inequality or how I can solve it: $$\left\lceil\dfrac{\ln(t+2)}{\ln 2}\right\rceil-\left\lfloor\dfrac{\ln(t+1)}{\ln2}\right\rfloor>1$$ where $t$ is a positive integer. ...
1
vote
0answers
11 views

Integral involving the Legendre Polynomials

I'm trying to compute the following integral: $\int_a^{+\infty} \frac{dt}{(P_\lambda(\tanh{t}))^2}$ and to be honest I have no idea on how I should attack this problem. Is there any reference that I ...
1
vote
1answer
265 views

2-increasing functions

I'm trying to learn about copulas. Two definitions I've come across are the H-volume of a rectangle, which is defined as $V_H=H(x_2,y_2)-H(x_2,y_1)-H(x_1,y_2)+H(x_1,y_1)$. The function H, whose ...
4
votes
0answers
55 views
+100

Closed-form of sums from Fourier series of $\sqrt{1-k^2 \sin^2 x}$

Consider the even $\pi$-periodic function $f(x,k)=\sqrt{1-k^2 \sin^2 x}$ with Fourier cosine series $$f(x,k)=\frac{1}{2}a_0+\sum_{n=1}^\infty a_n \cos2nx,\quad a_n=\frac{2}{\pi}\int_0^{\pi} ...
7
votes
3answers
305 views

An infinite product for $\left(\frac{\eta(13\tau)}{\eta(\tau)}\right)^2$?

Given the Dedekind eta function, $$\eta(\tau) = q^{1/24} \prod_{n=1}^\infty (1-q^n)$$ where $q = \exp(2\pi i\tau)$. Consider the following "family", $\begin{align} ...
0
votes
0answers
23 views

Analyze the variation of $f(x)=(1+\frac{1}{x})^{-K}$ $_2F_1((K-1)a,K,Ka,\frac{1}{1+x})$ w.r.t. $x$

Is there any way to analyze the variation(w.r.t. $x$) of the following function: $f(x)=(1+\frac{1}{x})^{-K}$$ _2F_1((K-1)a,K,Ka,\frac{1}{1+x})$, where $ _2F_1$ is the Gauss' Hypergeometric Function, ...
4
votes
1answer
166 views

Evaluating $\int \arccos\left(\frac{\cos(x)}{r}\right) \, \mathrm{d}x$

The title says it all, really - I am looking for $$\int \arccos\left(\frac{\cos(x)}{r}\right) \, \mathrm{d}x$$ where $0<r<1$ and $x$ is in a domain where the integrand is real. It came up ...
1
vote
1answer
74 views

$\lim_{s\to 0^+}\int_0^\infty a(t) e^{-st} dt $

$$\int_0^\infty a(t) e^{-st} dt = f(s)$$ What is the meaning of the limit of this integral as $s\to 0^+.$
3
votes
2answers
573 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 ...
0
votes
1answer
17 views

Is $\frac{(\alpha)^n (\beta)^n} {(\delta)^n} > \frac{(\alpha+1)^n (\beta+1)^n} {(\delta+1)^n}$ for any $n$ ?(in this specific case)

Let $\alpha=(K-1)a$, $\beta=K$ and $\delta=Ka$, where $K>a\ge 1$ ($\delta>\alpha>\beta$). Can we claim that $\frac{(\alpha)^n (\beta)^n} {(\delta)^n} > \frac{(\alpha+1)^n (\beta+1)^n} ...
16
votes
3answers
761 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 ...
0
votes
0answers
45 views

Definite integral involving Error function

Let us write $$\mathrm{erf}(x)=\frac{2}{\sqrt {\pi}}\int_0^x e^{-t^2}dt $$ for the usual Gauss error function. Given natural numbers $m,n,k$ I am interested in computing the integral ...
7
votes
0answers
46 views
+50

Solving Special Function Equations Using Lie Symmetries

The lie group + representation theory approach to special functions & how they solve the ode's arising in physics is absolutely amazing. I've given an example of it's power below on Bessel's ...
9
votes
2answers
257 views

Integral $\int_0^1 \log \Gamma(x)\cos (2\pi n x)\, dx=\frac{1}{4n}$

$$ I:=\int_0^1 \log \Gamma(x)\cos (2\pi n x)\, dx=\frac{1}{4n}. $$ Thank you. The Gamma function is given by $\Gamma(n)=(n-1)!$ and its integral representation is $$ \Gamma(x)=\int_0^\infty t^{x-1} ...
1
vote
0answers
44 views

How to write $H_{n+2}$ in terms of $H_n$ [on hold]

How can I write: $H_{n+2}$ in terms of $H_n$ ?? I have no clue, which is why I havent tried anything.
0
votes
1answer
22 views

On the continuity of $xf(x)$ and $x^2f(x)$, where $f$ is the Dirichlet function

Let $$f(x) = \begin{cases}1\qquad x\in\mathbb{Q}\\ 0\qquad x\notin\mathbb{Q} \end{cases}$$ Then how do I show that $xf(x)$ is continuous in $0$ and that $x^2f(x)$ is differentiable there as well? ...
5
votes
1answer
67 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. $$ \displaystyle ...
0
votes
0answers
8 views

Normalization for argument of maximum function

is it possible to normalize the maximum function of a certain argument ? Means: Is that $\theta_{ML} = arg \max\limits_{\theta} \{ \sum \limits_{n=1}^{N} |w_n w^*_{n+N}| - \Big( \frac{SINR + ...
5
votes
2answers
61 views

deriving the sum of $x^n/(n+2)^2$

I am writing a research paper and I have stumbled upon an issue. I have to evaluate $$\sum_{n=1}^{\infty} \frac{x^n}{(n+2)^2}$$ Here is what I did: $$ \sum_{n=1}^{\infty} x^{n-1} = ...
11
votes
1answer
145 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\left(\, x\,\right)} {x\left[\, 1 - 2\cosh\left(\, ...
2
votes
0answers
20 views

Why does the tribonacci constant have a trilogarithm ladder?

When I came across the dilogarithm ladders of Coxeter and Landen, namely, $$\text{Li}_2(\alpha^6)= 4\text{Li}_2(\alpha^3)+3\text{Li}_2(\alpha^2)-6\text{Li}_2(\alpha)+\tfrac{7}{5}\zeta(2)\tag1$$ ...
4
votes
0answers
27 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 > ...
1
vote
1answer
324 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 ...
1
vote
2answers
98 views

Extremely difficult log integral, real methods only

$$\int_{0}^{1}\frac{x^2 + x\log(1-x)- \log(1-x) - x}{(1-x)x^2} dx$$ I tried this: $$M_1 = \int_{0}^{1} \frac{1}{1-x} \cdot \left(\frac{x^2 + x\log(1-x) - \log(1-x) - x)}{x^2}\right) dx$$ $$M_1 = ...
9
votes
1answer
229 views

Other challenging logarithmic integral $\int_0^1 \frac{\log^2(x)\log(1-x)\log(1+x)}{x}dx$

How can we prove that: $$\int_0^1\frac{\log^2(x)\log(1-x)\log(1+x)}{x}dx=\frac{\pi^2}{8}\zeta(3)-\frac{27}{16}\zeta(5) $$
4
votes
1answer
270 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!
0
votes
1answer
14 views

Do square integrable Legendre functions always have inteter degrees and order?

I am considering solutions to the generalized Legendre differential equation, e.g. the first kind, $P_{\nu}^{\mu}(x)$, on the interval $(-1, 1)$. Then I am wondering, for this function to be square ...
1
vote
0answers
36 views

Identities for hypergeometric functions ${}_2F_1$ with z=1/2

Is there a closed form (or approximation) for a hypergeometric function of form: $_2F_1(1,b+c;c;\frac{1}{2}) \quad \text{where} \; b,c \in \mathbb{N}$ ? I researched all identities in ...
2
votes
2answers
69 views

Evaluation of Indefinite Integral resulting in Hypergeometric Function

I am attempting to derive the result: $$ \int \left(1+x^n\right)^{-1/m}dx= x\,_2F_1\left(\frac 1m,\frac 1n;1+\frac 1n;-x^n\right)$$ First, I start off with the binomial expansion of the integrand to ...
38
votes
0answers
983 views

Extending the result $\int_{0}^{\infty} \left( ( 1 - 2C(x))^{2} + (1-2S(x))^{2} \right) \, dx = \frac{4}{\pi} $

While generalizing this result, I succeeded in proving that for $\alpha > 0$, $\beta < 1$ and $1 < 2\alpha + \beta < 3$, we have \begin{align*} &\int_{0}^{\infty} \left[ \left( ...
20
votes
1answer
465 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 ...
0
votes
2answers
44 views

What is the limitation of $\Gamma(\frac{n+1}{2})/\Gamma(\frac{n}{2})$?

What is the limitation of $$\frac{\Gamma\left(\frac{n+1}{2}\right)}{\Gamma\left(\frac{n}{2}\right)}$$ as $n \rightarrow \infty$? If it diverges, could I get its divergence rate? $\Gamma(x)$ is the ...
1
vote
2answers
43 views

Proof of dilogarithm reflection formula $\zeta(2)-\log(x)\log(1-x)=\operatorname{Li}_2(x)+\operatorname{Li}_2(1-x)$

How to prove $$\zeta(2)-\log(x)\log(1-x)=\operatorname{Li}_2(x)+\operatorname{Li}_2(1-x)$$ I havent started, any hints?
1
vote
1answer
149 views

Dilogarithm Identities

Is there a cleaner way to write: $$ f(x) = \operatorname{Li}_2(i x) - \operatorname{Li}_2(-i x) $$ in terms of simpler functions? I don't know enough about dilogarithms, and the basic identities I see ...
3
votes
0answers
67 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
votes
0answers
29 views

Absolutely continuous function and differentiability

let $m(E)=0$ in $[a,b]$ Can we define a absolutely continuous function on $[a,b]$ which is not differentiable only at $E$.
1
vote
0answers
30 views

How to compute this limit involving Gamma functions

I am investigating the following limit $$\lim_{u\to \infty}\frac{\Gamma \left(\frac{1}{2 H},\frac{H 2^{\left(\frac{1}{2H}\right)}}{u^{\frac{1}{H}}\left(1-H\right)^{\left(2 - \frac{1}{H}\right)}} ...
1
vote
1answer
12 views

Identity relating hypergeometric function and Legendre polynomial

In my notes I have written down the following relation: $_2F_1(a,a+\frac{1}{2};c;z)=2^{c-1}z^{(1-c)/2}(1-z)^{-a+(c-1)/2}L_{2a-c}^{1-c}\big(\frac{1}{\sqrt{1-z}}\big)\ ,$ where $_2F_1(a,b;c;z)$ is the ...
2
votes
0answers
39 views

improper integrals in q-calculus

In quantum calculus is this equality possible for improper integrals? $\lim_{x\to\infty}\int_0^xf(t)d_qt=\int_0^\infty f(x)d_qx$
0
votes
0answers
16 views

Upper bound of $\int_{z_1}^{z_2}x^k e^{-x}dx$

How can I find a good upper bound to this quantity ? $$\int_{z_1}^{z_2}x^k e^{-x}dx,\ \ \ \ z_{1,2}\in \mathbb {Im}, k\in \mathbb N$$ The integrand makes me thinking about an incomplete gamma ...
0
votes
0answers
25 views

Can we find a function $f$ verifying these equalities?

Let $(u_{n})$ be an increasing positive sequence. My question is: Can we find an increasing function $f$ verifying these equalities: $$f(2^{u_{n}}\sin(θ/(2^{u_{n}})))=u_{n}$$ ...
34
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 $$ ...
6
votes
2answers
70 views

How to solve $\frac{\partial{\rm B}}{\partial b}\left(0^+,1\right)=-\frac{\pi^2}{6}$

Could you help me to prove $$\frac{\partial{\rm B}}{\partial b}\left(0^+,1\right)=-\frac{\pi^2}{6}$$ where ${\rm B}(a,b)$ is Beta function.
3
votes
1answer
38 views

Closed form of the sequence $(3n)\times (3n-1) \times \cdots \times 6 \times 5 \times 3 \times 2$?

I need the closed form of the sequence $(3n)\times (3n-1) \times \cdots \times 6 \times 5 \times 3 \times 2$? The title is fairly self-explanatory. I know that a closed form of this exists using the ...
14
votes
1answer
296 views

Convexity of $\theta(q)$

Define Jacobi's (fourth) theta function with argument zero and nome $q$: $$\theta(q) = 1+2\sum_{n=1}^\infty (-1)^n q^{n^2}$$ plot of the function via Wolfram|Alpha plot of the function via Sage I ...
1
vote
0answers
22 views

Sources on Jacobi Elliptic Functions

I'm interested in learning more about the Jacobi Elliptic Functions and the associated theta functions. For instance, what was the initial motivation for defining them? What are some applications? Is ...
4
votes
3answers
104 views

General derivative of $\text{sinc}(x)$

I'm trying to find a general formula for the $n$-th derivative of the following function $$ \frac{\sin(x)}{x} $$ I've computed the first five derivatives so far without finding any 'structure' in it. ...
1
vote
1answer
27 views

Iterative function with $z_{n+2}$

I'm currently playing arround with my custom fractal renderer and on Math SE in this answer Américo suggested the following function: $z_{n+2}=z_{n+1}^{3}+c^{z_{n}}$ But to get the first value I'd ...
2
votes
1answer
254 views

Solve equation with lower gamma function: $A \gamma(2;x/B)=x$ for $x$

I need to find an expression for $x$ given: $A \gamma(2;x/B)=x$ where $\gamma(a,x)=\int\limits_0^x t^{a-1} e^{-t} \mathrm{d}t$ is the lower incomplete gamma function. $A$ and $B$ are real, positive ...
0
votes
0answers
32 views

Integration by parts with Bessel function $j_0$

I need to prove this: $$ \mathcal F{\frac{1}{r^2}}\frac{d}{dr}r^2 \frac{dC}{dr}$$ $$= (\frac{2}{\pi})^{1/2} \int_0^\infty\frac{1}{r^2}\frac{d}{dr}r^2\frac{dC}{dr}j_0(kr)r^2dr$$ $$ =-k^2 ...