Лоран рәте махсус нокта а (рәсемдә с) һәм интеграл табу юлы γ карата билгеләнә
Лоран рәте — комплекс саннар кырында чиксез бөтен дәрәҗәле ике яклы рәт:
∑
n
∈
Z
c
n
(
z
−
a
)
n
,
{\displaystyle \sum _{n\in \mathbb {Z} }c_{n}(z-a)^{n},}
биредә
z
,
c
n
,
a
∈
C
{\displaystyle z,c_{n},a\in \mathbb {C} }
(комплекс саннар)
Әлеге рәт ике рәтнең суммасы булып тора:
∑
n
=
0
∞
c
n
(
z
−
a
)
n
{\displaystyle \sum _{n=0}^{\infty }c_{n}(z-a)^{n}}
— Лоран рәтенең уңай өлеше , ул регуляр яки тейлор сыман дип атала
∑
n
=
−
∞
−
1
c
n
(
z
−
a
)
n
{\displaystyle \sum _{n=-\infty }^{-1}{c_{n}}{(z-a)^{n}}}
— Лоран рәтенең тискәре өлеше , ул төп өлеш дип атала
Әгәр регуляр һәм төп өлешләре җыелалар икән, Лоран рәте җыелучан дип атала. Рәт француз математигы Пьер Лоран хөрмәтенә аталган.
Лоран рәтенең җыелучанлык өлкәсе боҗра:
D
=
{
z
∈
C
∣
r
<
|
z
−
a
|
<
R
<
∞
}
{\displaystyle D=\{z\in \mathbb {C} \mid r<|z-a|<R<\infty \}}
булып тора, әлеге боҗрада комплекс функция Лоран рәтенә таркатыла:
f
(
z
)
=
∑
n
=
−
∞
∞
c
n
(
z
−
a
)
n
{\displaystyle f(z)=\sum _{n=-\infty }^{\infty }c_{n}(z-a)^{n}}
ә коэффициентлар болай исәпләнә:
c
n
=
1
2
π
i
∮
γ
f
(
z
)
d
z
(
z
−
a
)
n
+
1
.
{\displaystyle c_{n}={\frac {1}{2\pi i}}\oint _{\gamma }{\frac {f(z)\,\mathrm {d} z}{(z-a)^{n+1}}}.\,}
биредә
γ
(
t
)
=
a
+
ρ
e
i
t
{\displaystyle \gamma (t)=a+\rho e^{it}}
,
t
∈
[
0
,
2
π
]
{\displaystyle t\in [0,2\pi ]}
,
r
<
ρ
<
R
{\displaystyle r<\rho <R}
— җыелучанлык боҗрасы эчендә a үзәгендәге теләгән әйләнә.
Теләгән бер урынлы аналитик функция
f
(
z
)
{\displaystyle f(z)}
D
=
{
z
∈
C
∣
r
<
|
z
−
a
|
<
R
<
∞
}
{\displaystyle D=\{z\in \mathbb {C} \mid r<|z-a|<R<\infty \}}
боҗрасында җыелучан Лоран рәте белән күрсәтелеп була.
f
(
z
)
=
∑
n
=
−
∞
∞
c
n
(
z
−
a
)
n
{\displaystyle f(z)=\sum _{n=-\infty }^{\infty }c_{n}(z-a)^{n}}
Лоран рәтенең төп өлеше аерым махсус ноктаның төрен билгели:
Алынучан махсус нокта -Лоран рәте төп өлеше 0-га тигез
Котып - Лоран рәте төп өлеше берничә нульсез әгъзага ия
Җитди махсус нокта - Лоран рәте төп өлеше чиксез нульсез әгъзага ия
Лоран рәте, аеруча аның -1 нче әгъзасы катлаулы интеграллар табуда уңайлы кулланыла.
a
{\displaystyle a}
ноктасында
f
(
z
)
{\displaystyle f(z)}
функциясенең чигереше түбәндәге сан атала:
R
e
s
a
f
(
z
)
=
lim
ρ
→
0
1
2
π
i
∫
|
z
−
a
|
=
ρ
f
(
z
)
d
z
{\displaystyle \mathop {\mathrm {Res} } _{a}\,f(z)=\lim _{\rho \to 0}{1 \over {2\pi i}}\int \limits _{|z-a|=\rho }\!f(z)\,dz}
.
Чигереш Лоран рәтенең
f
(
z
)
=
∑
n
=
−
∞
∞
c
n
(
z
−
a
)
n
{\displaystyle f(z)=\sum _{n=-\infty }^{\infty }c_{n}(z-a)^{n}}
c
−
1
{\displaystyle c_{-1}}
коэффициентына тиң була.
Чиксезлектә чигереш: :
R
e
s
∞
f
(
z
)
=
−
lim
ρ
→
∞
1
2
π
i
∫
|
z
|
=
ρ
f
(
z
)
d
z
{\displaystyle \mathop {\mathrm {Res} } _{\infty }\,f(z)=-\lim _{\rho \to \infty }{1 \over {2\pi i}}\int \limits _{|z|=\rho }\!f(z)\,dz}
.
Һәм ул Лоран рәтенең -1 нче коэффициентына тигез:
R
e
s
∞
f
(
z
)
=
−
c
−
1
{\displaystyle \mathop {\mathrm {Res} } _{\infty }\,f(z)=-c_{-1}}
.
Әгәр
f
{\displaystyle f}
функциясе ниндидер йомык
G
¯
⊂
C
{\displaystyle {\overline {G}}\subset \mathbb {C} }
өлкәсендә аналитик булса, ләкин кайбер
a
1
,
a
2
,
…
,
a
n
{\displaystyle a_{1},a_{2},\dots ,a_{n}}
махсус нокталарында функция аналитик булмый, шул очракта түбәндәге тигезләмә үтәлә:
∫
∂
G
f
(
z
)
d
z
=
2
π
i
∑
k
=
1
n
r
e
s
z
=
a
k
f
(
z
)
{\displaystyle \int \limits _{\partial G}f(z)\,dz=2\pi i\sum _{k=1}^{n}\mathop {\mathrm {res} } _{z=a_{k}}f(z)}
,
биредә
r
e
s
z
=
a
k
f
{\displaystyle \mathop {\mathrm {res} } _{z=a_{k}}f}
—
a
k
{\displaystyle a_{k}}
ноктасында
f
{\displaystyle f}
функциясенең чигереше
Нәкъ әлеге теорема ярдәмендә катлаулы интеграллар табып була.
Мәсәлән:
Интеграл табу контуры.
Интеграл
∫
−
∞
∞
e
i
t
x
x
2
+
1
d
x
{\displaystyle \int \limits _{-\infty }^{\infty }{e^{itx} \over x^{2}+1}\,dx}
∫
C
f
(
z
)
d
z
=
∫
C
e
i
t
z
z
2
+
1
d
z
.
{\displaystyle \int \limits _{C}{f(z)}\,dz=\int \limits _{C}{e^{itz} \over z^{2}+1}\,dz.}
e
i
t
z
z
2
+
1
{\displaystyle {\frac {e^{itz}}{z^{2}+1}}}
=
e
i
t
z
2
i
(
1
z
−
i
−
1
z
+
i
)
{\displaystyle {}={\frac {e^{itz}}{2i}}\left({\frac {1}{z-i}}-{\frac {1}{z+i}}\right)}
=
e
i
t
z
2
i
(
z
−
i
)
−
e
i
t
z
2
i
(
z
+
i
)
,
{\displaystyle {}={\frac {e^{itz}}{2i(z-i)}}-{\frac {e^{itz}}{2i(z+i)}},}
Чигереш :
res
z
=
i
f
(
z
)
=
e
−
t
2
i
.
{\displaystyle \operatorname {res} _{z=i}f(z)={e^{-t} \over 2i}.}
∫
C
f
(
z
)
d
z
=
2
π
i
res
z
=
i
f
(
z
)
=
2
π
i
e
−
t
2
i
=
π
e
−
t
.
{\displaystyle \int \limits _{C}f(z)\,dz=2\pi i\,\operatorname {res} _{z=i}f(z)=2\pi i{e^{-t} \over 2i}=\pi e^{-t}.}
∫
straight
+
∫
arc
=
π
e
−
t
.
{\displaystyle \int \limits _{\mbox{straight}}+\int \limits _{\mbox{arc}}=\pi e^{-t}\,.}
∫
−
a
a
=
π
e
−
t
−
∫
arc
.
{\displaystyle \int \limits _{-a}^{a}=\pi e^{-t}-\int \limits _{\mbox{arc}}.}
∫
arc
e
i
t
z
z
2
+
1
d
z
→
0
;
a
→
∞
.
{\displaystyle \int \limits _{\mbox{arc}}{e^{itz} \over z^{2}+1}\,dz\rightarrow 0;\quad a\rightarrow \infty .}
∫
−
∞
∞
e
i
t
z
z
2
+
1
d
z
=
π
e
−
t
.
{\displaystyle \int \limits _{-\infty }^{\infty }{e^{itz} \over z^{2}+1}\,dz=\pi e^{-t}.}
∫
−
∞
∞
e
i
t
z
z
2
+
1
d
z
=
π
e
t
,
{\displaystyle \int \limits _{-\infty }^{\infty }{e^{itz} \over z^{2}+1}\,dz=\pi e^{t},}
∫
−
∞
∞
e
i
t
z
z
2
+
1
d
z
=
π
e
−
|
t
|
.
{\displaystyle \int \limits _{-\infty }^{\infty }{e^{itz} \over z^{2}+1}\,dz=\pi e^{-\left|t\right|}.}
Бу интеграл ихтималлык теориясендә бик мөһим була һәм тик чигерешләр ярдәмендә исәпләнә.
Шабат Б. В. Введение в комплексный анализ. — М.: Наука, 1969. — 577 с.
Титчмарш Е. Теория функций: Пер. с англ. — 2-е изд., перераб. — М.: Наука, 1980. — 464 с.
Привалов И. И. Введение в теорию функций комплексного переменного: Пособие для высшей школы. — М.-Л.: Государственное издательство, 1927. — 316 с.
Евграфов М. А. Аналитические функции. — 2-е изд., перераб. и дополн. — М.: Наука, 1968. — 472 с.