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

learn more… | top users | synonyms

0
votes
0answers
6 views

Laurent series of $\psi(-2z)$ at positive integers and positive half integers.

The laurent series of $\psi(-z)$ at $z=n$ is $$\psi(-z)=\frac{1}{z-n}+H_n-\gamma-(H_n^{(2)}+\zeta(2))(z-n)+\cdots$$ However, may I ask how does one determine the laurent series expansion for ...
1
vote
1answer
23 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. ...
4
votes
2answers
59 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: $$ ...
2
votes
0answers
40 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)} ...
0
votes
1answer
41 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)}}$$ ...
0
votes
0answers
14 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 ...
0
votes
1answer
45 views
0
votes
1answer
32 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. ...
2
votes
1answer
69 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 ...
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 ...
2
votes
0answers
31 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
2answers
88 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.$$ ...
2
votes
0answers
48 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 ...
0
votes
2answers
114 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 ...
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 ...
2
votes
0answers
180 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 ...
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 ...
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 ...
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 ...
13
votes
1answer
174 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. ...
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 ...
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
85 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]): ...
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. ...
0
votes
0answers
100 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‎ ...
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}^+$, ...
2
votes
1answer
30 views

Uniqueness proof for a certain functional equation

Consider the following functional equation: \begin{equation}f(x)=kf(mx)\end{equation} where $x \in [0,1]$; $k>0$; $0<m<1$; and $f(1)=1$. It has at least one solution: $f(x)=x^l$, where ...
3
votes
0answers
19 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 ...
1
vote
3answers
48 views

Bounding a modified Bessel function of the first kind.

Let $I_0$ be the zeroth-order modified Bessel function of the first kind. We know that, asymptotically as $x\to \infty$, $I_0(x) \sim e^x/\sqrt{2\pi x}$. Does anybody have a reference for the maximum ...
2
votes
1answer
75 views

Looking for an identity connecting polylogarithm and polygamma functions of arguments $\frac14$ and $\frac34$

I have a recollection of seeing an identity connecting polylogarithm and polygamma functions of arguments $\frac14$ and $\frac34$. But I don't remember details, and searching my books and the Internet ...
2
votes
1answer
32 views

Computing of the Gamma Function

I have stumbled upon Gamma functions when dealing with Gamma distributions on my studies with basic statistics. However, I have not understood how its computation expands factorials to real and ...
3
votes
2answers
158 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\{ \frac{1}{t} \right\}\,\mathrm{d}t = 1 - \gamma + H_{\{1/x\}} - x\lfloor1/x\rfloor + \log x$$ ...
0
votes
0answers
37 views

Hyperbolic sinc function

Cardinal sine function or sinc function is defined by: \begin{equation} \mathrm{sinc}x=\begin{cases}\frac{\sin x}{x}, & x \neq 0,\\ 1, & x = 0,\end{cases} \end{equation} Is there any ...
1
vote
0answers
19 views

Uniform perturbative solutions to the Mathieu equation

The Mathieu equation is a second-order linear differential equation given by $$y''(t) + [a - 2q\cos(2t)]y(t) = 0$$ There are two special functions defined as linearly independent solutions to ...
1
vote
1answer
47 views

Differentiation of the Beta function

I suppose that \begin{align*} \frac{\partial}{\partial x}\left[B\left(x,y\right)\right]=&\frac{\partial}{\partial x}\left[\int_0^1t^{x-1}(1-t)^{y-1}dt\right]\\ ...
0
votes
0answers
15 views

What is the equation for an anisotropic Hanning window (cosine wave) in two or three dimensions?

I do not exactly know how to ask this question, so I will explain myself thoroughly. I am really stuck on this one, and it is crucial for my research, so if anyone has any ideas on where I may find ...
3
votes
1answer
91 views

what does the ${_2F_1}\left[\cdot, \cdot, \cdot, \cdot\right]$ function mean?

I was reading the integral tables, where it says: \begin{equation} \int \cos^p ax dx = -\frac{1}{a(1+p)}{\cos^{1+p} ax} \times {_2F_1}\left[ \frac{1+p}{2}, \frac{1}{2}, \frac{3+p}{2}, \cos^2 ax ...
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
0answers
30 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 ...
6
votes
1answer
64 views

A generalization of Bell numbers to arbitrary complex arguments

For $n\in\mathbb N$, the Bell number $B_n$ is a number of ways to partition the integer range $[1,\,n]$ into pairwise disjoint non-empty subsets. E.g. $B_3=5$ because ...
9
votes
2answers
291 views
8
votes
4answers
236 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 ...
2
votes
1answer
64 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 ...
8
votes
1answer
90 views

Prove $_2F_1\!\left(\frac76,\frac12;\,\frac13;\,-\phi^2\right)=0$

Please help me to prove the identity $$_2F_1\!\left(\frac76,\frac12;\,\frac13;\,-\phi^2\right)=0,$$ where $\phi=\frac{1+\sqrt5}2$ is the golden ratio.
0
votes
1answer
22 views

Even function about a point over a restricted range

Why is $f(x)=(x-1)^2$sin$(n\pi x)$ even about $x=1$ for $0\leq x \leq2$? I understand that $(x-1)^2$ is even about $x=1$ and I can plot the graph for various values of $n$ on wolfram alpha, but how ...
10
votes
0answers
168 views
1
vote
2answers
45 views

Help with operator $f(x^q)=\frac{1}{q+1}x^q$.

This question is somewhat related to this. I am looking for an operator $f:\mathbb{R}[x]\to\mathbb{R}[x]$, that is, $f$ is an operator that maps polynomials in one variable to polynomials in one ...