У этого термина существуют и другие значения, см.
Полюс .
Модуль Гамма-функции
Γ
(
z
)
{\displaystyle \Gamma (z)}
. Слева (Re z<0) у функции есть полюса, в них она стремится к бесконечности. Справа (Re z>0) полюсов нет, функция всюду конечна.
Изолированная особая точка
z
0
{\displaystyle z_{0}}
называется полюсом функции
f
(
z
)
{\displaystyle f(z)}
,
голоморфной в некоторой проколотой окрестности этой точки,
если существует предел
lim
z
→
z
0
f
(
z
)
=
∞
{\displaystyle \lim _{z\to {z_{0}}}f(z)=\infty }
.
Точка
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}}
является полюсом порядка
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}
.
Другие типы изолированных особых точек:
Бицадзе А.В. Основы теории аналитических функций комплексного переменного — М., Наука, 1969.
Шабат Б. В., Введение в комплексный анализ — М., Наука, 1969.