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

learn more… | top users | synonyms

1
vote
0answers
14 views

Integral of the Square of the Elliptic Integral

Someone must know a good technique for $$ \int E^{2}(x)dx $$ Where $E$ is the complete elliptic integral of the second kind: $$ ...
1
vote
0answers
27 views

Simple Integral Involving the Square of the Elliptic Integral

I have, $$ \int uE^{2}\left(u\right)du $$ where $E$ is the complete elliptic integral of the second kind: $$ E\left(k\right)=\int_{0}^{\frac{\pi}{2}}d\theta\sqrt{1-k^{2}\sin^{2}\left(\theta\right)} ...
2
votes
0answers
128 views
+300

Inequality involving Pochhammer symbols

Let $m,S$ be integers satisfying $2\leq m\leq S$. I would like to show that $$h_1\left(x\right) h_3\left(x\right) \leq h_2^2\left(x\right)$$ for all $x\geq 0$ where $$h_k\left(x\right) \equiv ...
0
votes
1answer
36 views

Integrating a Ratio of Elliptic Integrals

Can anyone help evaluate $$\int dx\frac{\int_{0}^{\frac{\pi}{2}}\frac{d\theta}{\sqrt{1-k^{2}\sin^{2}\left(\theta\right)}}}{x\int_{0}^{\frac{\pi}{2}}d\theta\sqrt{1-k^{2}\sin^{2}\left(\theta\right)}}$$ ...
8
votes
1answer
224 views

Can it be shown that $Y_0(\lambda_n a)J_0(\lambda_n a) - J_0(\lambda_n a)Y_0(\lambda_n a) \ne 0$?

Background I am currently looking into the task of describing a transient temperature field $\theta(r,t)$ across the thickness $a \leq r \leq b$ of an infinitely long and hollow cylinder exposed to a ...
0
votes
1answer
31 views

Limit of Mathieu function near the discontinuous point

Consider the Mathieu characteristic function, which is a piecewise function. The discontinuity happens at integer number. ...
0
votes
0answers
13 views

Mathieu characteristic function for non integer value in Maple

In Maple the Mathieu characteristic function can only evaluate integer values. But in Mathematica it can take non-integer values. And I have test that the integer values from both system seems ...
20
votes
1answer
650 views

Integral $\int_{-\infty}^\infty J^3_0(x) e^{i\omega x}\mathrm dx $

Hi I am trying to evaluate the integral $$ \mathcal{I}(\omega)=\int_{-\infty}^\infty J^3_0(x) e^{i\omega x}\mathrm dx $$ analytically. We can also write $$ ...
1
vote
3answers
1k views

efficient and accurate approximation of error function

I am looking for the numerical approximation of error function, which must be efficient and accurate. Thanks in advance $$\mathrm{erf}(z)=\frac2{\sqrt\pi}\int_0^z e^{-t^2} \,\mathrm dt$$
2
votes
1answer
68 views

List of functions $f(cx) = C\cdot f(x)$

I was looking for some complex functions f(x), which satisfies the condition: $$\exists (c, C) \in \Bbb C^2 \backslash\{(1,1)\}, \forall x \in \Bbb C, f(cx) = C\cdot f(x)$$ Till now I have got ...
2
votes
0answers
30 views

Tractable indefinite integral of the exponentiation of some function

Consider the function $z(s)\in\mathbb{C}$ defined as $z(s)=\int_0^s \exp\left[i(q u+\lambda(u))\right]du$ for some $q\in\mathbb{Q}-\mathbb{Z}$ and $\lambda(s)$ a $2\pi$-periodic real differentiable ...
3
votes
1answer
34 views

Lambert function. Calculate $W(b)$ from $W(a)$.

The Lambert W function is defined as follows: $$z = W(z)e^{W(z)}$$ for any complex number z. Many equations involving exponentials can be solved using the W function. For example: $$ Y = X e ^ X ...
5
votes
1answer
120 views

Alternating second power Euler sum $\sum_{k\geq 1} \frac{(H'_k)^2}{k^2}$

Question: Evaluate $$\sum_{k\geq 1} \frac{(H'_k)^2}{k^2}$$ Where we define the alternating harmonic number $$H'_k=\sum_{n=1}^k\frac{(-1)^n}{n}$$ I remember seeing a closed form involving a ...
0
votes
2answers
112 views

Is there any proof for this formula $\lim_{n \to ∞} \prod_{k=1}^n \left (1+\dfrac {kx}{n^2} \right) =e^{x⁄2}$

Some times ago, In a mathematical problem book I sow that this formula. I don't no whether it is true or not. But now I'm try to prove it. I have no idea how to begin it. Any hint or reference would ...
2
votes
3answers
65 views

Skewed Trigonometric Function

What would be an expression for a periodic function (period $2\pi$) that essentially behaves just like a negative sine function, but it has the following quirk: It's $0$s lie on the usual places ...
9
votes
2answers
287 views

The Laurent series of the digamma function at the negative integers

To find the Laurent series of $\psi(z)$ at $z= 0$, I would first find the Taylor series of $\psi(z+1)$ at $z=0$ and then use the functional equation of the digamma function. Specifically, ...
16
votes
1answer
385 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
46 views

The integral $\int_{0}^\pi\frac{d\omega}{(2\sin(\omega/2))^{2\alpha}+2\lambda(2\sin(\omega/2))^\alpha\sin(\alpha\omega/2)+\lambda^2} $?

Can the integral \begin{equation} \int_{0}^\pi\frac{d\omega}{(2\sin(\omega/2))^{2\alpha}+2\lambda(2\sin(\omega/2))^\alpha\sin(\alpha\omega/2)+\lambda^2},\quad 0<\alpha<2,\quad \lambda>0 ...
3
votes
2answers
86 views

Prove: $\int_{0}^{1}\frac{\ln{x}\,\mathrm{d}x}{\sqrt[3]{x(1-x^2)^2}}\stackrel{?}{=}-\frac18\left[\Gamma{\left(\frac13\right)}\right]^3$

I'd like to evaluate the following definite integral: $$\int_{0}^{1}\frac{\ln{x}\,\mathrm{d}x}{\sqrt[3]{x(1-x^2)^2}}\stackrel{?}{=}-\frac18\left[\Gamma{\left(\frac13\right)}\right]^3.$$ ...
0
votes
1answer
111 views

Evaluating integral with Legendre polynomials

I want to do the following integral: $$ I=\int_{-1}^{1} x^n P_{n}(x) \rm{d}x $$ WITHOUT using Rodrigues' formula. I'm required to use $$ P_{n}(x) = \sum_{r=0}^{[n/2]} \frac{(-1)^r (2n-2r)!}{2^n r! ...
9
votes
2answers
286 views
3
votes
1answer
103 views

An integral that might be related to the modified Bessel function of second kind

It is known that the modified Bessel Function $K_z(a)$ ($a>0$)can be expressed as a Fourier transform $$K_z(a)=\frac{1}{2}\int_{-\infty}^{\infty}\exp(-a\cosh t)\cosh(zt){\rm d}t=K_{-z}(a)$$ Can ...
1
vote
0answers
29 views

How to find $\int_0^\infty \frac { x^{m-1} \Gamma(A,\mathcal B x^q)} {\left[1+(\eta x)^n\right]^p} \,\mathrm dx$

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 ...
0
votes
0answers
36 views

Evaluation of $\int_{1}^{\infty} x^{-\frac{5}{3}} \cos \left( \left( x-1 \right) h \right)dx$ with Maple [duplicate]

I have calculated the Integral with the aid of some professors here and I get a problem: $$\int_{1}^{\infty} x^{-\frac{5}{3}} \cos \left( \left( x-1 \right) h \right)dx$$ I have done the Integral ...
5
votes
2answers
129 views

Integral $\int_0^1 \frac{x\log x+1-x}{x \log^2 x}\log(1+x)\, dx=\log\frac{4}{\pi}$

Hi I am trying to prove this $$ I:=\int_{0}^{1} {x\log\left(\,x\,\right) + 1 - x \over x\log^{2}\left(\,x\,\right)}\, \log\left(\,1 + x\,\right)\,{\rm d}x=\log\left(\,4 \over \pi\,\right). $$ Thanks. ...
5
votes
2answers
172 views

Is $\eta^{24}(\tau)\,j(\tau) = {E_4}^3(q)$?

Given the j-function $j(\tau)$, $j(\tau) = 1728J(\tau)$, where $J(\tau)$ is Klein’s absolute invariant, the Dedekind eta function $\eta(\tau)$, and the following Eisenstein series, $\begin{align} ...
0
votes
0answers
99 views

Why is it hold for types of operators?

We ‎let ‎the ‎state ‎space ‎be‎ ‏‎‎‎$ \mathcal{H} =‎ ‎‎H_{E}^{2}(0 , 1) \times L^2(0 , 1) $‎ equipped with the norm ‎ \begin{align} \| (f , g) \| = \int_{0}^{1} [ |f''(x)|^2 + |g(x)|^2] ‎\mathrm{d}x‎ ...
0
votes
1answer
212 views

Integral of incomplete gamma function

I am trying to integrate this: $$\int_0^\infty z^{-|M|-1}\,\Gamma(A,z)\;dz$$ where $A$ is a real positive, and note that the power of $z$ is $-|M|-1$, i.e., is forced to be negative real.
1
vote
1answer
316 views

A Curious Binomial Coefficient Sum

Let $k, l \leq n$ be non-negative integers. Does the following identity simplify? \begin{align} \sum_{j = 0}^{k} \binom{k}{j} \binom{j + n -l + 1}{n} = \binom{n - l + 1}{n} ...
13
votes
1answer
170 views

A Gamma limit $\lim_{n\rightarrow+\infty}\sum_{k=1}^n \displaystyle \left( \Gamma\bigl(\frac{k}{n}\bigr)\right)^{-k}=\frac{e^\gamma}{e^\gamma-1}$

Show that $$\lim_{n\rightarrow+\infty}\sum_{k=1}^n \displaystyle \left( \Gamma\bigl(\frac{k}{n}\bigr)\right)^{-k}=\frac{e^\gamma}{e^\gamma-1}$$ where $\gamma$ is the Euler-Mascheroni Constant. ...
2
votes
1answer
79 views

Renormalizing Legendre polynomials to $P_n(0)=1$

One way to define the Legendre polynomials is with the recurrence relation $$(n+1)P_{n+1} (x) = (2n+1)xP_{n} (x)-nP_{n-1} (x),$$ with $P_0(x)=1$ and $P_1(x)=x$. This standardization is normalized so ...
23
votes
3answers
437 views

A closed form for $\int_0^1{_2F_1}\left(-\frac{1}{4},\frac{5}{4};\,1;\,\frac{x}{2}\right)^2dx$

Is it possible to evaluate in a closed form integrals containing a squared hypergeometric function, like in this example? ...
4
votes
1answer
205 views

How do I express $\int_0^t \frac{{\rm e}^{-a^2 z}}{\sqrt{z} (z+v)} \,dz$ in terms of named functions?

Recently I derived an expression for a particular probability density function. The expression contains the integral $$ f(t,v,a) = \int_0^t \frac{{\rm e}^{-a^2 z}}{\sqrt{z} (z+v)} \,dz = 2a ...
2
votes
1answer
45 views

Application of Bessel Function

I have read number of books and online literature on Bessel function. Theoretically, I have known about Bessel function. What is practical significance of Bessel function? How can Bessel function ...
5
votes
0answers
218 views

Inequality between incomplete beta and gamma functions

Let the regularized incomplete beta and gamma functions be defined as usual: \begin{equation} I_p(z,w) = \frac a {B(z,w)} \int_0^p t^{z-1} (1-t)^{w-1} \,\mathrm dt, \end{equation} \begin{equation} ...
4
votes
1answer
55 views

Spherical integral

Let $y \in \mathbb{R}^n$ be fixed. Is there a nice expression for the following integral taken over the unit sphere in $\mathbb{R}^n$? $$ \int_{\|x\|=1} e^{2\pi i (x \cdot y)}~dx $$
0
votes
0answers
21 views

What is the asymptotic behaviour of $n^3 \log(\Gamma(1 + 1/n))$ as $n\to\infty$?

What is the asymptotic behaviour of $n^3\log(\Gamma(1 + 1/n))$ as $n\to\infty$ ? I have deduced that $\log\Gamma(1+1/n)\sim\log(1-\gamma/n)$ but multiplying by $n^3$ then gives an error.
0
votes
0answers
27 views

Proving concavity for complicated function

I have a rather complicated function, $f$, that I am trying to demonstrate is log-log-concave, i.e., $$\frac{d^2\log f}{(d\log x)^2}\leq 0.$$ The reason I think it is concave is purely heuristic. ...
-1
votes
0answers
18 views

The spectral density of this signal

I want to calculate the spectral density of $m(t) = (a(k)-a(k-1))\times j(k) \times p(t-kT)$, where, $T$ is the bit period, $k$ is one point in time, $a(k) \in {\pm 1}$ and are equiprobable and $j$ is ...
0
votes
1answer
21 views

multiderivative of incomplete gamma function

I spend 4 hours trying to solve it. I believe that I am either stuck or I am approaching the problem at the wrong angle. Here is my challenge: $$\frac{\partial^m }{\partial x^m}\left [ x^{-a}\gamma ...
1
vote
0answers
67 views

Verification of Fourier transformation of Io-sinh function

I try to match, but it could not match $I_o-\sinh$ Practical Fourier Transform pair developed by Ben Logan, transform pair also published in The Practical Application of the Fourier Integral ...
0
votes
2answers
111 views

Intepolate from linear to step function, and one application for shading colors

I'm running after a particular function $f_\sigma : [−1,+1] \rightarrow [-1,+1]$ that could take three different forms depending on the value of its parameter $\sigma$. Could anyone help me ...
4
votes
1answer
78 views

Compute the following series $\sum_{n=1}^{+\infty}\frac{1}{(n+a)(n+b)}$

Does the following series have a 'closed' form : $$\sum_{n=1}^{+\infty}\frac{1}{(n+a)(n+b)}.$$ Where $n\in \Bbb{N}$ and $a,b \in (0,+\infty)$ For $a,b$ integer we can use Partial fraction ...
8
votes
2answers
84 views

Trigamma identity $4\,\psi_1\!\left(\frac15\right)+\psi_1\!\left(\frac25\right)-\psi_1\!\left(\frac1{10}\right)=\frac{4\pi^2}{\phi\,\sqrt5}.$

I heuristically discovered the following identity for the trigamma function, that I could not find in any tables or papers or infer from existing formulae (e.g. [1], [2], [3], [4], [5], [6]): ...
13
votes
3answers
674 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
2answers
206 views

Complementary error function in matlab

Please I really want to know how to verify the following relation in MatLAB $\text{erfc}(x)\overset{x\rightarrow\infty}{\longrightarrow}\dfrac{e^{-x^2}}{x\sqrt{\pi}}$
3
votes
1answer
42 views

Find zero of sum of 4 modified Bessel functions

I am trying to find the (positive) root of the function $f(x) = I_{-3/4}(x) + I_{3/4}(x) - I_{-1/4}(x) - I_{1/4}(x)$ where $I_\alpha(x)$ denotes the modified Bessel function of the first kind. ...
2
votes
1answer
217 views

Incomplete Fermi-Dirac integrals and polylogs

The complete Fermi-Dirac integrals $$ F_s(x) = \frac{1}{\Gamma(s+1)} \int\limits_{0}^{\infty} \frac{t^s}{e^{t-x}+1} \: dt $$ are related to the polylogarithms, see http://dlmf.nist.gov/25.12#iii $$ ...
7
votes
1answer
74 views

Closed form for integral of integer powers of Sinc function

(Edit: Thank you Vladimir for providing the references for the closed form value of the integrals. My revised question is then to how to derive this closed form.) For all $n\in\mathbb{N}^+$, ...