Difference between revisions of "Bessel Y"
(→Properties) |
(→Properties) |
||
| Line 13: | Line 13: | ||
=Properties= | =Properties= | ||
| + | <div class="toccolours mw-collapsible mw-collapsed"> | ||
| + | <strong>Theorem:</strong> The following formula holds for $n \in \mathbb{Z}$: | ||
| + | $$Y_{-n}(z)=(-1)^nY_n(z).$$ | ||
| + | <div class="mw-collapsible-content"> | ||
| + | <strong>Proof:</strong> █ | ||
| + | </div> | ||
| + | </div> | ||
| + | |||
{{:Bessel J sub nu and Y sub nu solve Bessel's differential equation}} | {{:Bessel J sub nu and Y sub nu solve Bessel's differential equation}} | ||
Revision as of 06:15, 10 June 2015
Bessel functions (of the second kind) $Y_{\nu}$ are defined via the formula $$Y_{\nu}(z)=\dfrac{J_{\nu}(z)\cos(\nu \pi)-J_{-\nu}(z)}{\sin(\nu \pi)}.$$
Graph of $Y_0,Y_1,\ldots,Y_5$ on $[0,20]$.
Domain coloring of analytic continuation of $Y_0(z)$.
Bessel functions from Abramowitz&Stegun
.jpg)
Properties
Theorem: The following formula holds for $n \in \mathbb{Z}$: $$Y_{-n}(z)=(-1)^nY_n(z).$$
Proof: █
Theorem: The following formula holds for $n\in\mathbb{Z}$: $${\small Y_n(z)=\dfrac{2}{\pi} \left[ \log \left( \dfrac{z}{2} \right)+\gamma-\dfrac{1}{2}\displaystyle\sum_{k=1}^n \dfrac{1}{k} \right]J_n(x) - \dfrac{1}{\pi} \displaystyle\sum_{k=0}^{\infty} (-1)^k \dfrac{1}{k!(n+k)!} \left(\dfrac{z}{2}\right)^{n+2k}\displaystyle\sum_{j=1}^k \left( \dfrac{1}{j} + \dfrac{1}{j+n} \right) - \dfrac{1}{\pi}\displaystyle\sum_{k=0}^{n-1} \dfrac{(n-k-1)!}{k!} \left( \dfrac{z}{2} \right)^{-n+2k},}$$ where $Y_n$ denotes the Bessel function of the second kind, $\log$ denotes the logarithm, $\gamma$ denotes the Euler-Mascheroni constant, and $J_n$ denotes the Bessel function of the first kind.
Proof: █
