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

learn more… | top users | synonyms

4
votes
2answers
81 views

There is a closed form for $\sum _{n=1}^{\infty }{\frac {{{\it J}_{0}\left(\,\alpha\,n\right)} {{\it J}_{0}\left(\,\beta\,n\right)}}{{n}^{2}}}$?

Using the method showed here proposed by Olivier Oloa with simplifications proposed by Anastasiya-Romanova, it is possible to prove that $$\sum _{n=1}^{\infty }{\frac {{{\it ...
6
votes
1answer
110 views

Simpler closed form for $\sum_{n=1}^\infty\frac{\Gamma\left(n+\frac{1}{2}\right)}{(2n+1)^4\,4^n\,n!}$

I'm trying to find a closed form of this sum: $$S=\sum_{n=1}^\infty\frac{\Gamma\left(n+\frac{1}{2}\right)}{(2n+1)^4\,4^n\,n!}.\tag{1}$$ WolframAlpha gives a large expressions containing multiple ...
3
votes
1answer
206 views

On definition of gamma function.

We all know that gamma function's definition is $$\Gamma \left( x \right) = \int\limits_0^\infty {s^{x - 1} e^{ - s} ds}$$ and it is divergent for $x<0$. Yesterday, I was studying about Bessel ...
1
vote
1answer
30 views

Simplify $\int_0^{\infty}\,dk\,k^{\frac{1}{2}}R^{\frac{3}{2}}J_{\frac{3}{2}}(kR)\exp{(-ak^2)}$

I would like to rewrite this integral $$\int_0^{\infty}\,dk\,k^{\frac{1}{2}}R^{\frac{3}{2}}J_{\frac{3}{2}}(kR)\exp{(-ak^2)}$$ (where $a>\mathbf{R^+}$ and $J_{\frac{3}{2}}$ is the bessel function ...
1
vote
2answers
65 views

An Elliptic Integral - What's the Simplest Answer?

I have $$ \int_{0}^{2\pi}d\theta\left(R^{2}-\epsilon^{2}\right)\sqrt{R^{2}-\epsilon^{2}\sin^{2}\left(\theta\right)} $$ which Mathematica thinks is $$ ...
9
votes
4answers
540 views

What functions satisfy this functional equation?

$$f(x)-g(x)=f(g(x))$$ How could I find an f(x) and g(x) that satisfy this?
5
votes
2answers
237 views

Closed form for $\int_0^x \{1/t \}\,\mathrm{d}t$, $x \in \mathbb{R}_+$ and related.

After some tests I think that Conjecture 1 Let $x \in \mathbb{R}_+$ then $$ \int_{0}^{x}\left\{\,1 \over t\,\right\}\,{\rm d}t = 1 - \gamma + H_{\left\{1/x\right\}} - x\left\lfloor\, ...
1
vote
1answer
39 views

Closed form for this incomplete gamma series?

The series I'm working with is $$\sum_{k=0}^\infty \binom{z}{k}(-1)^k ( 1-\frac{\Gamma(k,-\log n)}{\Gamma(k)} )$$ with $z$ a complex variable and $\Gamma(k, -\log n)$ the upper incomplete gamma ...
25
votes
2answers
541 views

Evaluating $\sum_{n=1}^{\infty} \frac{1}{n^{3} \binom{2n}{n}} $

Wolfram MathWorld states that $$ \sum_{n=1}^{\infty} \frac{1}{n^{3} \binom{2n}{n}} = \frac{ \pi \sqrt{3}}{18} \Big[ \psi_{1} \left(\frac{1}{3} \right) - \psi_{1} \left(\frac{2}{3} \right) \Big]- ...
6
votes
2answers
158 views

$\sum_{n\geq 1}\frac{(-1)^n \ln n}{n}$

How can we compute the series $\displaystyle \sum_{n\geq 1}\frac{(-1)^n \ln n}{n}$? I know it is $\eta '(1)$ , where $\eta$ is the $\eta$ Dirichlet Function , i know its value. But I don't know how ...
0
votes
0answers
22 views

Eigenvalue of Heun's function and its computation

It is known that the Heun's differential equation: \begin{equation} \frac{d^2 w}{dz^2} + (\frac{\gamma}{z}+\frac{\delta}{z-1}+\frac{\epsilon}{z-a})\frac{dw}{dz}+\frac{\alpha \beta z -q}{z(z-1)(z-a)} ...
7
votes
2answers
92 views

Closed form for $\int z^n\ln{(z)}\ln{(1-z)}\,\mathrm{d}z$?

Problem. Find an anti-derivative for the following indefinite integral, where $n$ is a non-negative integer: $$\int z^n\ln{\left(z\right)}\ln{\left(1-z\right)}\,\mathrm{d}z=~???$$ My attempt: ...
2
votes
0answers
29 views

Why do so many identities for the Logarithmic Integral begin with the terms $\log \log n + \gamma +…$?

Several identities for the log integral lead with the terms $\log \log n + \gamma$, where $\gamma$ is the Euler–Mascheroni constant. So, for example, there's the well-known $$\text{li}(n) = \log ...
0
votes
0answers
40 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 ...
10
votes
1answer
272 views

Contour integration with branch points inside the contour.

In my scientific research I ran into an unpleasant situation with specific type of contour integrals. Being more specific I have problems not with integrals themselves (I can use various numeric ...
1
vote
2answers
50 views

Series expansion of incomplete gamma function ratio

I am interested in the series expansion of: $$S(k)=\frac{\Gamma(k+1,a)}{k!},$$ around $k=\infty$ where $\Gamma(x,z)$ is the incomplete gamma function and $a$ is some positive constant. In ...
3
votes
0answers
46 views

An integral with a decaying exponential with rational exponent

I was working on some mathematical derivations while I faced this integral: $$\Large \int_0^\infty x^{\alpha-1}e^{-\beta x} e^{-\lambda \left[\frac{x^2}{2x+\eta}\right]}\ \mathrm{d}x \quad .$$ Does ...
0
votes
2answers
53 views

Terminology for $1/(e^x+1)$?

$ \frac{1}{e^x+1} $ and $ \frac{e^x}{e^x+1} $ Just wonder if either of the above function has a term/name associated with it? Or they are just functions that look beautiful without names? Maybe they ...
0
votes
1answer
24 views

function undefined at odd inputs

I am a high-school student in pre-calculus. My teacher told me today that it is impossible to define a function using only multiplication, division, exponents, addition, subtraction such that it ...
7
votes
3answers
507 views

Weierstrass $\wp$ function doubly periodic

I'm working my way through Silverman and Tate's Undergraduate Introduction to Elliptic Curves. I haven't yet been able to study complex analysis, so it comes as no surprise that I'm having a tough ...
8
votes
0answers
609 views

How to compute this integral of Bessel functions?

I have $\alpha_\max$ a real number between $0$ and $\frac\pi2$. Furthermore $\zeta$ and $\xi$ are positive real numbers. Now I would like compute the integral $$\int_0^{\alpha_\max} \mathrm{e}^{i ...
0
votes
1answer
50 views

Solution of $\frac{dx}{dt}=-\frac{(\sigma+1)x}{\sigma x+1}$ in terms of Lambert $w$ function

Solution of $\frac{dx}{dt}=-\frac{(\sigma+1)x}{\sigma x+1}$ in terms of Lambert $w$ function. Should I first take the solution of ODE and then apply Laplace transform. Please give step by step ...
6
votes
0answers
125 views

Second derivative of Hypergeometric function

I'm looking for the following second derivative $$ \kappa_2 := \left . \frac{d^2}{d\lambda^2} \ln \left({_2F_1}\!\left(\tfrac{1}{2},\,- \lambda;\,1;\,\alpha\right)\right) \right \vert_{\lambda = ...
3
votes
1answer
75 views

Is anything known about $2\pi$ integer multiple arguments of the cosine integral?

I'm interested in $\text{Ci}(2\pi n)$ for integers $n\geq 1$. As the graph below shows, as $n$ increases the cosine integral seems to (strictly?) monotonically decrease. I've looked online but can't ...
0
votes
1answer
48 views

Why are non-polynomial Legendre functions and Legendre polynomials not orthogonal?

The eigenfunctions of distinct eigenvalues for a Hermitian operator are proved to be orthogonal. Why does the same not apply to Legendre polynomials and functions that have different eigenvalues ? ...
0
votes
1answer
32 views

Mathieu function rescale problem

The Mathieu functions are the solutions for the equation $$ y''+(a-2q\cos(2z))y=0 $$ If we require the solution has the form $$ y(z) = e^{i r z}f(z) $$ where $f(z)$ is a periodic function with ...
2
votes
0answers
38 views

Solution of $\Pi(y(x)+1)+\sin(x)=y(x)+y'(x)$

How do we solve $$\Pi(y(x)+1)+\sin(x)=y(x)+y'(x)$$ I suspect it will be a function of many cases. The solution of $$\Pi(x+1)+\sin(x)=y(x)+y'(x)$$ is hard only at the evaluation of the last integral ...
5
votes
2answers
221 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} ...
19
votes
2answers
567 views

Interesting log sine integrals $\int_0^{\pi/3} \log^2 \left(2\sin \frac{x}{2} \right)dx= \frac{7\pi^3}{108}$

Show that $$\begin{aligned} \int_0^{\pi/3} \log^2 \left(2\sin \frac{x}{2} \right)dx &= \frac{7\pi^3}{108} \\ \int_0^{\pi/3}x\log^2 \left(2\sin\frac{x}{2} \right)dx &= ...
19
votes
4answers
504 views

Polygamma function series: $\displaystyle\sum_{k=1}^{\infty }\left(\Psi^{(1)}(k)\right)^2$

Applying the Copson's inequality, I found: $$S=\displaystyle\sum_{k=1}^{\infty }\left(\Psi^{(1)}(k)\right)^2\lt\dfrac{2}{3}\pi^2$$ where $\Psi^{(1)}(k)$ is the polygamma function. Is it know any ...
0
votes
0answers
23 views

spherical Bessel function of the first kind

I'm trying to find the first few terms in the spherical Bessel functions of the $1^{st}$ kind and am not getting the third term correct. ...
2
votes
1answer
52 views

Numerical evaluation of Hurwitz zeta function

Is there a way to evaluate numerically the Hurwitz zeta function $$\zeta(s,a) = \sum_{n=0}^\infty \frac{1}{(n+a)^{s}}$$ that is more efficient (i.e., quick and precise) than simply explicitly adding ...
6
votes
3answers
126 views

A closed-form of product the gamma functions containing $\pi$ and $\phi$

Playing with gamma functions by randomly inputting numbers to Wolfram Alpha, I got the following beautiful result \begin{equation} ...
3
votes
1answer
174 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 ...
0
votes
0answers
41 views

Integrating products of Hankel and Riccati Bessel functions

I want to do the integral: $$ \int_0^\infty dr h_l^+(kr)\hat j_l(kr) $$ where $h_l^+$ is the type 1 Hankel function, $\hat j_l$ is the type 1 Riccati-Bessel function. I would like a algebraic ...
1
vote
1answer
52 views

Satisfaction of Bessel equation by any other function.

Is it possible that any function $y(x)$ other than Bessel group of functions, satisfy Bessel's equation? $$x^2 \dfrac{d^2 y}{d x^2} + x \dfrac{d y}{d x} + (1-n^2/x^2) y = 0.$$
2
votes
1answer
32 views

Prove convexity of log modified bessel function

I need to prove that the modified bessel function of the second kind is log convex in the square of the argument. Specifically I'm interested in showing, $\log \mathcal{K}_0(\sqrt{x})$ (zero order) is ...
4
votes
2answers
97 views

2D Integral of Bessel Function and Gaussians

I've run into the following integral, and I'm not sure how to evaluate it. $$F(k)=\int ...
10
votes
2answers
572 views

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 ...
8
votes
2answers
379 views

Difficult infinite integral involving a Gaussian, Bessel function and complex singularities

I've come across the following integral in my work on flux noise in SQUIDs. $$\intop_{0}^{\infty}dk\, e^{-ak^{2}}J_{0}\left(bk\right)\frac{k^{3}}{c^{2}+k^{4}} $$ Where $a$,$b$,$c$ are all positive. ...
1
vote
0answers
71 views

Analytical evaluation of integral

I would like to evaluate the following integral analytically, but Mathematica does not give me an answer: $$ \int_0^1 dr \ e^{(1-2r)x^2} \left[p(r,x) Y_0\left(2x^2\sqrt{r-r^2}\right)+q(r,x) ...
3
votes
1answer
76 views

What does this paper mean by “$f(x)$ is practically a rational function”?

The paper "Infinite integrals involving Bessel functions by contour integration" by Qiong-Gui Lin gives a method to solve integrals of the form $\intop_{0}^{\infty}x^{v}f(x)J_{v}(qx)\, dx$. One of the ...
0
votes
0answers
34 views

Simplify $L_{-1}(x) + I_1(x) $

Is there a simple solution for x << 0 of the following equation: $$Y(x) = L_{-1}(x) + I_1(x) $$ Where $L_{-1}(x)$ is modified Struve function and $I_1(x)$ is modified bessel function. For ...
3
votes
1answer
56 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. ...
3
votes
0answers
35 views

integral over product of two bessel functions at discontinuity

The Weber-Schafheitlin integral $$ \int_{0}^{\infty}\frac{J_{\mu}(a t)J_{\nu}(bt)}{ t^{\lambda}} $$ where $J_{\mu}(x)$'s are Bessel functions of the first kind, can have delta function singularities ...
2
votes
1answer
65 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 ...
1
vote
2answers
96 views

A infinite sum with harmonic serie

Proof or disproof the folowing statment $$\sum_{n=1}^{+\infty}\frac{2n+1}{(n^2+n)^2}H_n=\sum_{n=1}^{+\infty}\frac{1}{n^3}$$ Where $\displaystyle H_n=\sum_{k=1}^{n}\frac{1}{k}$
6
votes
1answer
110 views

Trigonometric functions expressed as definite integrals with Bessel functions

Prove that $$\frac{\sin(x)}{x}=\int_0^\frac{\pi}{2}J_0(x\cos(\theta))\cos(\theta)\,d\theta \tag{a}$$ $$\frac{1-\cos(x)}{x}=\int_0^\frac{\pi}{2}J_1(x\cos(\theta))\,d\theta \tag{b}$$ Hint: ...
4
votes
1answer
213 views

Integral with Bessel function

Let $n$ be half an odd integer, say $n=k+1/2, k \in \mathbb{N}$. Let $q\geq 1$. I would like to calculate (or approximate) the following integral: $$ \int_0^{\infty}\left(\sqrt{\frac{\pi}{2}}\cdot ...
2
votes
1answer
30 views

Where is the mistake with my proof that $\sum\limits_{m=0}^{a-1}\operatorname{Li}_s(ze^{\frac{2\pi im }{a}})=a^{1-s}\operatorname{Li}_s(z^a)$

I tried to prove that $$\sum_{m=0}^{a-1}\operatorname{Li}_s(ze^{\frac{2\pi im }{a}})=a^{1-s}\operatorname{Li}_s(z^a)$$ where $\operatorname{Li}_s(x)$ is Polylogarithm function. ...