how to prove that $$\int_0^x x^{-n} J_{n+1} (x)dx= \frac{1}{ 2^nn} -x^{-n} J_n (x).$$
-
(Not a huge fan of the double dipping of the variable $x$, incidentally, but I suppose that's not your fault.) – Jakob Streipel Apr 21 '23 at 13:42
-
This is for spherical Bessel functions but it's essentially the same calculation; their upper limit is $\infty$, but that's not the important part. – Jakob Streipel Apr 21 '23 at 15:05
-
Is $\underline{| n}$ in the scan really just $n$? I'm getting $n!$..? – Jakob Streipel Apr 21 '23 at 15:22
1 Answers
As per Factorial - History on Wikipedia,
Another later notation, in which the argument of the factorial was half-enclosed by the left and bottom sides of a box, was popular for some time in Britain and America but fell out of use, perhaps because it is difficult to typeset.
By way of saying: $\underline{| n}$ in the scan is not $n$, it is $n!$.
Indeed: from the Wikipedia page or DLMF (amongst others), we have the recurrence relation $$ \frac{d}{d x} \Bigl( x^{-n} J_n(x) \Bigr) = -x^{-n} J_{n + 1}(x). $$
Integrating both sides of this from $0$ to $t$ we get $$ \int_0^t x^{-n} J_{n + 1}(x) \, d x = -x^{-n} J_n(x) \biggr\rvert_{x = 0}^{x = t} = -t^{-n} J_n(t) + \lim_{x \to 0^{+}} x^{-n} J_n(x). $$ The remaining limit is (again by e.g. DLMF) $$ \lim_{x \to 0^+} x^{-n} J_n(x) = \lim_{x \to 0^+} x^{-n} \frac{x^n}{2^n} \frac{1}{\Gamma(n+1)} = \frac{1}{2^n \Gamma(n+1)} = \frac{1}{2^n n!} $$ for integers $n > 0$.

- 1,872