Матеріал з Вікіпедії — вільної енциклопедії.
Графік показує абсолютну величину гамма-функції . Видно, що функція стає нескінченою в полюсах ліворуч. Праворуч гамма-функція не має полюсів, вона просто швидко зростає
Ізольована особлива точка
z
0
{\displaystyle z_{0}}
називається полюсом функції
f
(
z
)
{\displaystyle f(z)}
, якщо в розкладанні цієї функції в ряд Лорана в проколотому околі точки
z
0
{\displaystyle z_{0}}
головна частина містить скінчене число відмінних від нуля членів, тобто
f
(
z
)
=
∑
k
=
−
∞
∞
f
k
(
z
−
z
0
)
k
=
P
(
z
)
+
f
−
n
(
z
−
z
0
)
−
n
+
…
+
f
−
1
(
z
−
z
0
)
−
1
{\displaystyle f(z)=\sum _{k=-\infty }^{\infty }{f_{k}}(z-z_{0})^{k}=P(z)+f_{-n}(z-z_{0})^{-n}+\ldots +f_{-1}(z-z_{0})^{-1}}
, де
P
(
z
)
{\displaystyle P(z)}
- правильна частина ряду Лорана.
Якщо
f
−
n
≠
0
{\displaystyle f_{-n}\neq \ 0}
, то
z
0
{\displaystyle z_{0}}
називається полюсом порядку
n
{\displaystyle n}
. Якщо
n
=
1
{\displaystyle n=1}
, то полюс називається простим.
Точка
z
0
{\displaystyle z_{0}}
є полюсом тоді, і тільки тоді, коли
lim
z
→
z
0
f
(
z
)
=
∞
{\displaystyle \lim _{z\to {z_{0}}}f(z)=\infty }
.
Точка
z
0
{\displaystyle z_{0}}
є полюсом порядку
k
{\displaystyle k}
тоді і тільки тоді, коли
lim
z
→
z
0
f
(
z
)
(
z
−
z
0
)
k
−
1
=
∞
{\displaystyle \lim _{z\to {z_{0}}}f(z)(z-z_{0})^{k-1}=\infty }
, а
lim
z
→
z
0
f
(
z
)
(
z
−
z
0
)
k
≠
∞
{\displaystyle \lim _{z\to {z_{0}}}f(z)(z-z_{0})^{k}\neq \infty }
.
Точка
z
0
{\displaystyle z_{0}}
є полюсом порядку
k
{\displaystyle k}
тоді і тільки тоді, коли вона є для функції
F
(
z
)
=
1
f
(
z
)
{\displaystyle F(z)={\frac {1}{f(z)}}}
нулем порядку
k
{\displaystyle k}
.