All Questions
Tagged with ca.classical-analysis-and-odes special-functions
192 questions
1
vote
0
answers
126
views
A series with zeroes of Bessel functions
Consider a finite sum
$$
S_n(t)=\sum_{m=1}^n \frac{J_\nu(z_{m,\nu} t)}{J_{\nu+1}(z_{m,\nu})}, \nu>0, 0\leq t <1,
$$
$z_{m,\nu}$ are ordered real positive zeroes of the Bessel function $J_\nu(t)$....
- 51
1
vote
1
answer
196
views
Taylor expansion of Modified Mathieu functions
Do we know the Taylor expansion at $0$ of the radial Mathieu functions $(\mathsf{Mc}_n^{(j)}(\,\cdot\,, \sqrt{q}))_{n \ge 0}$ and $(\mathsf{Ms}_n^{(j)}(\,\cdot\,, \sqrt{q}))_{n \ge 1}$, for $q \in \...
- 310
1
vote
1
answer
173
views
Higher-order asymptotics of generalized hypergeometric function
I have a question about higher-order asymptotics of generalized hypergeometric functions. According to https://dlmf.nist.gov/15.4
the following is well known:
$$
_2F_1(a,b;a+b;z)\sim -\frac{\Gamma(a+b)...
11
votes
1
answer
566
views
Integral representation of product of two Whittaker functions
Does anyone know anything about the following formula involving special functions:
$$\begin{multline*}
W_{\kappa,\mu}(z)W_{\lambda,\mu}(w)=\frac{e^{-(z+w)/2}(zw)^{\mu+1/2}}{\Gamma(1-\kappa-\lambda)}\...
- 373
1
vote
1
answer
285
views
Why are the two ODE solutions linearly independent?
I notice that some second-order ODEs can be related to the triconfluent Heun's equation
$$u''(z)-(3z^2+\gamma)u'(z)+(\alpha-(3-\beta) z)u(z)=0.$$
And people usually say the general solution of the ...
- 155
3
votes
1
answer
495
views
Simple closed forms for sums such as $\sum_{k=1}^\infty \frac{(-1)^{k+1}}{qk - p}$ and related integrals
My goal here is to get a simple expression for $\zeta(3)$. This is a follow up to my previous question posted here. Any Taylor-like expansion from everything I tried won't make it. So this is my last ...
- 3,098
10
votes
2
answers
1k
views
Erroneous Wolfram result for $\sum_{k=1}^\infty (k^3 + a^3)^{-1}$, looking for correct formula
I was trying to get some interesting result for $\zeta(3)$, exploring the following function:
$$W(a) = \sum_{k=1}^\infty \frac{1}{k^3 + a^3}, \mbox{ with } \lim_{a\rightarrow 0} W(a) = \zeta(3).$$
Let ...
- 3,098
7
votes
2
answers
511
views
Estimate for an Airy integral
Let me define for $x\in\mathbb R$,
$
F(x)=\int_{\mathbb R} e^{-π t^2}\cos(x t^3) dt.
$
I claim that $F(x)>0$ for all $x\in\mathbb R$.
Well, it is obvious for $x=0$ since $F(0)=1$ and also for $x$ ...
- 16.2k
3
votes
1
answer
394
views
Closed form for the integral of a squared Legendre function
Is there a closed form for the integral $$\int_0^{\pi/2}(P_\nu^\mu(\cos\theta))^2\,\mathrm d\theta,\quad\mu>\nu\gt-\frac12$$ where $P_\nu^\mu(x)$ is the associated Legendre function of the first ...
2
votes
0
answers
65
views
Separating a Riemann-Hilbert problem
Consider a RHP on the real line a jump is piece-wise H\"older continuous(or $L^2$), say for example the jump is
$$g(x)=g_1(x)\chi_1+g_2(x)\chi_2,$$
where $g_j(x)$ are Holder continuous functions and $...
- 145
11
votes
2
answers
882
views
Do infinitely nested radicals have any applications?
There is a simple necessary and sufficient condition for a continued radical of the form $\sqrt{a_1 + \sqrt{a_2 + \dotsc}}$ to converge (where all terms $a_1, a_2$ etc. are nonnegative). Namely, that ...
- 4,943
3
votes
2
answers
266
views
Integral expressions for Bessel-like power series
I'm interested in power series of form $$f(z)=\sum_{k=0}^\infty \frac{z^k}{(k!)^\alpha}.$$ When $\alpha=1$, this becomes $\exp(z)$. For $\alpha=2$ this is a Bessel function and for larger integer $\...
- 1,324
1
vote
2
answers
169
views
First-order non-linear differential equation and transcendental equation
I'm trying to solve this differential equation :
$$ \frac{dy}{dx}= \frac{-2 y^3}{(y+1)^2(y+2)^2} $$
with the boundary condition $y(x_0)=x_0$, $x>0$, and $y(x)$ being a positive function.
The ...
- 11
5
votes
3
answers
383
views
The exact constant in a bound on ratios of Gamma functions
The answer to another question (Upper bound of the fraction of Gamma functions) gave an asymptotic upper bound for an expression with Gamma functions:
$$\left(\frac{\Gamma(a+b)}{a\Gamma(a)\Gamma(b)}\...
- 343
5
votes
1
answer
486
views
Expressing the inverse Dixon function in terms of more familiar functions
If $x^3+y^3-3\alpha xy=1$, is there an expression for the integral $$\int_0^z \frac{\mathrm dx}{y^2-\alpha x}$$ in terms of more familiar functions?
A.C. Dixon introduced the elliptic functions $\...
30
votes
2
answers
3k
views
A new way of approaching the pole of the Riemann zeta function - and a new conjectured formula
On the Wolfram page about the Euler-Mascheroni Constant $\gamma $, the following amazing limit is given without proof (referring to "personal communication"):
$$\lim_{z\to\infty}\left[\zeta(\zeta(z))-...
- 13.4k
0
votes
1
answer
167
views
Iterating the the ODE for Bessel function
If we look at the Bessel ODE:
$$x^2 y'' + xy' + (x^2 - \alpha^2)y = 0$$
Suppose I then put the solution to the above ODE as $J_{\alpha}(x)$ in the RHS, and try to solve the following ODE:
$$x^2 y'' + ...
- 1,594
4
votes
1
answer
351
views
Asymptotic behaviour of function using Fox $H$-function representation
In equation (9) of this paper, it is claimed that the limiting behaviour
$$
\int_0^\infty \frac{1-\cos(kx_0)}{s+Dk^\alpha}dk
\sim
\frac{\Gamma(2-\alpha)\sin(\pi(2-\alpha)/2)x_0^{\alpha-1}}{(\alpha-1)D}...
- 85
1
vote
1
answer
74
views
Joint density of a quadratic function of entries of orthogonal matrix
$U=(U_{ij})_{1\leq i,j\leq m},V=(V_{ij})_{1\leq i,j\leq m}$ are independently and uniformly distributed on the orthogonal group $O(m)$. For any positive integer $k,n$ such that $1\leq k\leq n\leq m$, ...
- 1,495
2
votes
0
answers
83
views
Positivity and zeros of Heun's function
I am interested in understanding where in the complex plane a Heun function might vanish, or where it (or its real part) is positive. Consider the case where the Frobenius indices at $0$ are $(0,1- \...
- 213
3
votes
2
answers
731
views
Non-asymptotic upper bound of right tail of Gamma function
I'm wondering if there is any non-asymptotic upper bound for the following Gamma function:
$$f_a(x)=\int_{x}^{\infty}t^a\exp(-t)dt$$
for $x>0,a>0$? Something like $x^a\exp(-x)$?
- 1,495
2
votes
1
answer
214
views
Ratio of hypergeometric function
Given $a>b>0$, is there any upper bound of the following ratio of hypergeometric function?
$$\frac{_2F_1(a,1-b;a+1;x)}{_2F_1(a,1-b;a+1;y)}$$
for $1>x>y>0$ ideally in the form like some ...
- 1,495
3
votes
1
answer
223
views
Ratio of Selberg integral
I'm considering a ratio of incomplete Selberg integral:
$$f_n(a,b)=\frac{\int_{\Delta_a}\prod_{i=1}^nx_i^{\alpha-\frac{n+1}{2}}\prod_{i=1}^n(1-x_i)^{-1/2}\prod_{i<j}|x_i-x_j|}{\int_{\Delta_b}\prod_{...
- 1,495
3
votes
1
answer
509
views
Evaluating an integral with Jacobi and Legendre polynomials
The following integral came up in one of my studies:
$$\int_{-1}^1 (1-x)^\alpha (1+x)^\beta P_n^{(\alpha,\beta)}(x)\,P_{n+j}(x)\,dx$$
where $P_n^{(\alpha,\beta)}(x)$ is a Jacobi polynomial and $P_m(...
- 31
1
vote
1
answer
443
views
Upper bound of a ratio of integrals
I'm wondering how to upper bound the following ratio of integrals:
$$\frac{\int_{\Delta_a}(\prod_{i=1}^n\lambda_i)^{p-1}\prod_{i<j}|\lambda_i-\lambda_j|}{\int_{\Delta_b}(\prod_{i=1}^n\lambda_i)^{p-...
- 1,495
2
votes
0
answers
262
views
Bounding the $L^2$ norm of a polynomial from below
Let $\sigma >0$ be fixed. For even $k \in \mathbb{N} \cup \{0\}$, we consider the polynomial
\begin{equation}
\varphi_k(x) = \sum_{j=0}^{k} (-1)^j {k \choose j} b_j \, x^{2j} \quad x \in (-1,1),
\...
- 309
2
votes
1
answer
242
views
Eigenvalues Sturm-Liouville Operator
Is the eigenvalue decomposition of the Sturm-Liouville operator
$$
Lf(x)=-f''(x)+h\sin(x)f'(x),\quad h>0,
$$
with Neumann boundary conditions $f'(-\pi)=f'(\pi)=0$ on the Hilbert space $L^2([-\pi,\...
- 93
5
votes
1
answer
278
views
"One half of a theta-function" - is there something in the literature about it?
In an answer to my question Enumeration of lattice paths of a specific type (which was in turn caused by an older one, "Special" meanders) I encountered the series
$$
F(t,q):=\sum_{n=1}^\...
- 18.4k
1
vote
1
answer
632
views
Time ordered integral involving beta function:
Any help on unpacking integrals of the following type, would be
helpful: $$ \int_0^1 \int_0^r r^a (1-r)^b t^n (1-t)^m dr dt $$ where $a, b, n, m \in \mathbb{N}$ and $0 \le t \le 1$.
Edit/...
- 1,611
3
votes
0
answers
246
views
Connection Problem for the Confluent Heun Equation
Consider the Confluent Heun Equation (CHE) written in its non-symmetrical canonical form, i.e,
$$y''(z)+\left(4p+\frac{\gamma}{z}+\frac{\delta}{z-1}\right)y'(z)+\left(\frac{4p\alpha z-\sigma}{z(z-1)}\...
- 207
2
votes
1
answer
478
views
Correction terms in the asymptotic expansion of hypergeometric function
I am interested in obtaining the asymptotic expansion of $r(\rho)$ (which is the inverse of $\rho$ below),
$$\rho=\frac{2b}{1-q}\left(1-\left(\frac br\right)^{1-q}\right)^{1/2}\left(_2F_1\left(\frac{1}...
- 21
0
votes
1
answer
375
views
Bringing a Heun equation into canonical form
It is a well known fact that any second order Fuchsian differential equation on the complex plane $$u''(x) + p(x)u'(x) + q(x)u(x)=0$$ with exactly $4$ regular singular points may be suitably ...
- 213
14
votes
3
answers
664
views
(Sharp) inequality for Beta function
I am trying to prove the following inequality concerning the Beta Function:
$$
\alpha x^\alpha B(\alpha, x\alpha) \geq 1 \quad \forall 0 < \alpha \leq 1, \ x > 0,
$$
where as usual $B(a,b) = \...
- 315
6
votes
1
answer
560
views
Asymptotic Expansion of Bessel Function Integral
I have an integral:
$$I(y) = \int_0^\infty \frac{xJ_1(yx)^2}{\sinh(x)^2}\ dx $$
and would like to asymptotically expand it as a series in $1/y$. Does anyone know how to do this? By numerically ...
- 275
6
votes
1
answer
411
views
Interesting behaviour of binomial coefficients
Let $\binom{n}{k}:=\frac{\Gamma(n+1)}{\Gamma(k+1)\Gamma(1-k+n)}$ be the generalized binomial coefficient then I noticed by playing around with Mathematica that the function $f:[0,n/2] \rightarrow \...
- 63
4
votes
1
answer
145
views
Power series in functions other than monomials
I would like to understand how approximations by monomials and approximations by other kinds of functions are related which I illustrate with an example.
Consider the interval $[-\pi,\pi]$ let's say.
...
- 536
1
vote
1
answer
507
views
Upper bound of the fraction of Gamma functions
Is there a simple upper bound of the following fraction of Gamma functions for any $a,b\geq1/2$:
$$\left(\frac{\Gamma(a+b)}{a\Gamma(a)\Gamma(b)}\right)^{1/a}$$
An upper bound in the following form is ...
- 1,495
7
votes
3
answers
515
views
Prove $\int_0^{\infty}{\frac{1}{e^{sx}\sqrt{1+s^2}}}ds < \arctan\left(\frac1x\right),\quad\forall x\ge1$
The question is to prove:
$$
\int_0^{\infty}{\frac{1}{e^{sx}\sqrt{1+s^2}}}ds < \arctan\left(\frac1x\right),\quad\forall x\ge1.
$$
Numerically it seems to hold true. So I have made some attempts to ...
- 419
4
votes
1
answer
387
views
$\sum_{k=1}^n\frac{\sin kx}{k^\alpha} >0\quad\text{for all}\ n=1,2,3,\ldots\ \text{and}\ 0<x<\pi, \text{and}\ \alpha \ge 1$
The Fejer-Jackson inequality as follows:
$$\sum_{k=1}^n\frac{\sin kx}k>0\quad\text{for all}\ n=1,2,3,\ldots\ \text{and}\ 0<x<\pi.$$
I conjecture that the inequality as follows holds:
$$\sum_{...
- 1,776
13
votes
1
answer
638
views
A question on the sine function
The Fejer-Jackson-Gronwall inequality involving the sine function is as follows:
$$\sum_{k=1}^n\frac{\sin kx}k>0\quad\text{for all}\ n=1,2,3,\ldots\ \text{and}\ 0<x<\pi.$$
Here I ask the ...
- 15.6k
1
vote
0
answers
146
views
Functional equation with Fourier transform
What are the continuous functions $f$ such that on $\mathbb{R}^{+*}$:
$$f(x) - \frac{C}{x} \hat{f}(\frac{1}{x}) =x^{\alpha}$$
Where $\hat{f}$ is the Fourier transform of $f(|x|)$ and $C$ a constant....
- 1,199
3
votes
0
answers
203
views
Identity for the product of two different associated Legendre polynomials
In the answer to Clausen’s identity for associated Legendre polynomials the following result was indicated:
$$
\small{\left(P_n^m(\cos\theta)\right)^2=(\sin{\theta})^{2m}\frac{(m+n)!}{(n-m)!}\sum_{k=0}...
- 16.5k
5
votes
1
answer
728
views
Linear independence of exponentials
Let $X$ be the set of functions $e^{p(x)}$ of the real vector $x$, where $p$ is a multivariate polynomial with $p(0)=0$.
Is any finite subset of $X$ linearly independent? If yes, why? If no, is the ...
- 3,873
1
vote
0
answers
65
views
Vibration of point load on a halfspace
The amplitude of vibration of surface of halfspace at a distance r from a point harmonic load of amplitude Q is given by
$ w(r,0) = $
$ Q\over 2\pi G $
$ \int_0^\infty $
$ k^{2}\alpha pJ_0(pr)dp \...
- 11
2
votes
1
answer
662
views
Clausen’s identity for associated Legendre polynomials
Clausen’s identity for Legendre polynomials has the form (see, for example,
A generating function of the squares of Legendre polynomials, by Wadim Zudilin: https://arxiv.org/abs/1210.2493)
$$P_n(\cos{\...
- 16.5k
3
votes
1
answer
599
views
Compute Confluent Hypergeometric Function 1F1
I am attempting to compute the (Kummer's) confluent hypergeometric function (see also here)
\begin{align}
M\left(\frac{n}{2}, n +\frac{3}{2}, -z\right) = {}_1F_1\left(\frac{n}{2};n +\frac{3}{2};-z\...
- 61
5
votes
1
answer
401
views
$q$-analog of an integral from quantum field theory?
This question has been completely reformulated and a new property for the function $f_q$ has been added due to a series of helpful comments by fedja.
Consider the integral from quantum field theory ...
- 5,624
3
votes
0
answers
106
views
Does the Riemann characterization of the hypergeometric function have a q-analog?
This question is inspired by another recent one here, Characterization of the hypergeometric function. The latter is about the classical result of Riemann characterizing the hypergeometric functions ...
- 18.4k
12
votes
1
answer
352
views
A problem involving the Error Function
I am looking at the following function on the domain $x\geq 0$:
$$F(x)=(x+a)e^{x^2}(1-\mathrm{erf}(x))-\frac{b}{\sqrt\pi},$$
where $a>0$, $0<b<1$ are parameters. From plotting this function ...
- 389
1
vote
1
answer
289
views
Center-localized oscillating modes with exponential decay tails, solved from coupled ODE
Two coupled non-linear differential equations in a radial $r$-direction in the region $r \in [0, \infty)$:
$$
-a\big(\partial_r^2+\frac{\partial_r}{r}-\frac{n^2}{r^2}+c\big) U(r)+
B(r) (\partial_r-...
- 10.5k