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