Теория функций комплексной переменной. Деревягина Е - 33 стр.

UptoLike

Составители: 

33
()()
[]
=
∞−
=
N
n
k
zzfВычidxxf
1
,2 π ,
где
k
z особые точки функции
(
)
zf в верхней полуплоскости .
Доказательство:
Рассмотрим замкнутый контур , состоящий из отрезка действительной оси
(
)
0
RRRxR
>
и полуокружности
RzC
R
= ,
'
в верхней полуплоскости .
В силу основной теоремы теории вычетов
()()()
[]
∫∫
=+
=
R
R
C
N
k
k
R
zzfВычidzzfdxxf
'
1
,2 π
. (2.25)
Предел второго слагаемого в левой части (2.25) при
R
равен нулю ;
правая часть (2.25) при
RR
>
от
R
не зависит. Следовательно, предел первого
слагаемого существует и его значение определяется формулой (2.25). Теорема
доказана.
2. Интегралы вида
()
dxxfe
xai
∞−
.
Лемма 2. (лемма Жордана ). Пусть функция
(
)
zf является аналитической в
верхней полуплоскости
0
Im
>
z
, за исключением конечного числа
изолированных особых точек, и равномерно относительно
(
)
π
zz arg0arg
стремится к нулю при
z
. Тогда при
0
>
a
()
0=
∞→
ζζ
ζ
dfelim
'
R
C
ai
R
, (2.26)
где
'
R
C - дуга полуокружности
Rz
=
в верхней полуплоскости
z
.
Доказательство:
(
)
Rzzf
R
=
<
,
µ
, где
0
R
µ
при
R
.
Оценим исследуемый интеграл. Сделаем замену переменной :
ϕ
ζ
i
Re= ,
воспользуемся очевидным соотношением
ϕ
π
ϕ
2
sin
при
2
0
π
ϕ ≤≤
. Тогда
получим
()
()
.0122
2/
0
2
2/
0
sin
0
sin
0
'
∞→
−−
−=
⋅<
⋅=
=
⋅=
⋅≤
R
Ra
R
Ra
R
Ra
R
Ra
R
ai
R
C
ai
e
a
deRdeR
deRdeRdfe
R
µ
π
ϕµϕµ
ϕµϕµζζ
π
ϕ
π
π
ϕ
π
ϕ
π
ζζ
Если
0
<
a
, а функция
(
)
zf
удовлетворяет условиям леммы Жордана в
нижней полуплоскости
0
Im
z
, то формула (2.26) имеет место при
интегрировании по дуге полуокружности
'
R
C в нижней полуплоскости
z
.
                                                                   33
                               ∞
                               ∫ f (x )dx = 2πi ∑ Вы ч [ f (z ), z k ] ,
                                                             N

                              −∞                            n =1
г д е zk особы еточки ф ункци и f ( z ) в верхней полуплоскости .
Док азат ельст во:
        Рассмотри м замкнуты й контур, состоящи й и з отрезка д ействи тель ной оси
− R ≤ x ≤ R (R > R0 ) и полуокруж ности C R' , z = R в верхней полуплоскости .
В си луосновной теоремы теори и вы четов
                      R
                      ∫ f ( x )dx + ∫ f ( z )dz = 2πi ∑ Вы ч [ f (z ), z k ].
                                                                        N
                                                                                                            (2.25)
                      −R                   C R'                     k =1

       П ред ел второг о слаг аемог о в левой части (2.25) при R → ∞ равен нулю;
правая часть (2.25) при R > R0 от R незави си т. С лед ователь но, пред ел первог о
слаг аемог о существует и ег о значени е опред еляется ф ормулой (2.25). Т еорема
д оказана.
                                       ∞
       2. И нтег ралы ви д а ∫ ei a x f ( x )dx .
                                       −∞
Л ем м а 2. (лем м а Ж ордан а ). П усть ф ункци я f ( z ) является анали ти ческой в
верхней полуплоскости Im z > 0 , за и сключени ем конечног о чи сла
и золи рованны х особы х точек, и равномерно относи тель но arg z (0 ≤ arg z ≤ π )
стреми тся кнулю при z → ∞ . Т ог д а при a > 0
                              ∞
                      lim ∫ ei a ζ f (ζ )dζ = 0 ,                                                           (2.26)
                      R →∞ C'
                                R

г д е C R' - д уг а полуокруж ности z = R в верхней полуплоскости z .
         Д оказатель ство:
                        f ( z ) < µ R , z = R , г д е µ R → 0 при R → ∞ .
О цени м и сслед уемы й и нтег рал. С д елаем заменупеременной: ζ = Reiϕ ,
                                                     2              π
восполь зуемся очеви д ны м соотношени ем sin ϕ ≥ ϕ при 0 ≤ ϕ ≤ . Т ог д а
                                                    π               2
получи м
                                      π                                 π
     ∫e
        i aζ
             f (ζ )dζ ≤ µ R ⋅ R ∫ e i             aζ
                                                       dϕ = µ R ⋅ R ∫ e − a R sin ϕ dϕ =
    C R'                               0                                0


                                                                                        (         )
               π /2                                         π /2      2a R
                       − a R sin ϕ                                   − π ϕ      π
    = 2µ R ⋅ R ∫ e                   dϕ < 2 µ R ⋅ R ∫              e       dϕ =      µ R 1 − e− a R → 0 .
                0                                            0                   a                 R→∞


      Е сли a < 0 , а ф ункци я f ( z ) уд овлетворяет услови ям леммы Ж орд ана в
ни ж ней полуплоскости Im z ≤ 0 , то ф ормула (2.26)            и меет место при
и нтег ри ровани и по д уг еполуокруж ности CR' в ни ж ней полуплоскости z .