Главная > Введение в комплексный анализ
НАПИШУ ВСЁ ЧТО ЗАДАЛИ
СЕКРЕТНЫЙ БОТ В ТЕЛЕГЕ
<< Предыдущий параграф Следующий параграф >>
Пред.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
След.
Макеты страниц

Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше

Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике

ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO

24. Изолированные особые точки.

Здесь мы начинаем изучение точек, в которых нарушается голоморфность функций. Рассмотрим сначала простейший тип таких точек.

Определение 1. Точка называется изолированной особой точкой функции если существует такая проколотая окрестность этой точки (т. е. множество ), если точка а конечна, или множество если в которой функция голоморфна.

В зависимости от поведения при приближении к такой точке различают три типа особых точек.

Определение 2. Изолированная особая точка а функции называется

(I) устранимой точкой, если существует конечный

(II) полюсом, если существует

(III) существенно особой точкой, если не имеет ни конечного, ни бесконечного предела при

Примеры.

1. Все три типа изолированных особых точек реализуются. Например, функции имеют устранимой особой точкой для второй из них это видно из того, что при справедливо разложение

из которого следует, что существует Функции где целое положительное число, имеют полос в точке Функция имеет своей существенно особой точкой, ибо, например, при стремлении к нулю по действительной оси пределы справа и слева различны (предел справа равен бесконечности, а слева — нулю); при стремлении к нулю по мнимой оси функция вообще не имеет предела.

Могут, конечно, существовать и неизолированные особые точки.

Например, функция имеет полюсы в точках следовательно, является для нее неизолированной особой точкой — предельной точкой полюсов.

2. Более сложный пример особых точек доставляет функция

По формуле Коши — Адамара ряд (1) сходится в круге следовательно, голоморфна в этом круге. При по направлению действительной оси она стремится к бесконечности, следовательно, точка является для нее особой. Но

следовательно, стремится к бесконечности и когда по радиусу круга. Аналогично следовательно, когда по радиусам круга. Вообще

для любого натурального поатому когда стремится по радиусу к любой «двоичной» точке окружности. Так как множество «двоичных» точек всюду плотно на окружности то каждая точка этой окружности является особой для Таким образом, f имеет целую линию, составленную из неизолированных особых точек (особую линию).

Характер изолированной особой точки тесно связан с характером лорановского разложения функции в проколотой окрестности этой точки (мы будем коротко называть его разложением в окрестности а). Для конечных точек а эта связь выражается следующими тремя теоремами.

Теорема 1. Изолированная особая точка функции является устранимой в том и только том случае, если лорановское разложение в окрестности а не содержит главной части:

Необходимость. Пусть — устранимая точка; тогда существует конечный следовательно, ограничена (пусть ) в некоторой проколотой окрестности точки а. Возьмем любое и воспользуемся неравенствами Коши

Если то правая часть стремится к нулю при левая же часть от не зависит. Следовательно, при и главная часть ряда Лорана отсутствует.

Достаточность. Пусть в проколотой окрестности точки функция представляется лорановским разложением (2) без главной части. Это разложение является тейлоровским, и, следовательно, существует и конечен

Поэтому является устранимой точкой

Замечание. Теми же рассуждениями доказывается и

Теорема Изолированная особая точка а функции в том и только том случае является устранимой, если ограничена в некоторой проколотой окрестности точки а.

Продолжив функцию в ее устранимую точку а по непрерывности, т. е. положив мы получим функцию,

голоморфную в точке (т. е. устраним особенность). Этим и оправдывается термин «устранимая точка». В дальнейшем мы будем считать такие точки правильными, а не особыми точками функции.

Теорема 2. Изолированная особая точка функции является полюсом в том и только том случае, если главная часть лорановского разложения в окрестности точки а содержит лишь конечное (и положительное) число отличных от нуля членов:

Необходимость. Пусть — полюс; так как то существует проколотая окрестность точки , в которой голоморфна и отлична от нуля. В этой окрестности голоморфна функция причем существует Следовательно, а является устранимой точкой (нулем) функции и в нашей окрестности справедливо разложение

Но тогда в той же окрестности мы имеем

причем второй множитель является функцией, голоморфной в точке , и, значит, допускает тейлоровское разложение

Подставляя это разложение в (4), найдем

Это — лорановское разложение в проколотой окрестности точки а, и мы видим, что его главная часть содержит конечное число членов.

Достаточность. Пусть в проколотой окрестности точки а представляется лорановским разложением (3), главная часть которого содержит конечное число членов; пусть еще Тогда голоморфна в этой окрестности, так же как и

функция Последняя в нашей окрестности представляется разложением

из которого видно, что а является устранимой точкой и существует Но тогда функция стремится к бесконечности при т. е. является полюсом

Отметим еще один простой факт о связи полюсов с нулями. Теорема 2. Точка а является полюсом функции в том и только том случае, если функция голоморфна в окрестности а и

Необходимость условия доказана при доказательстве теоремы 2. Докажем его достаточность. Если голоморфна в точке и то по теореме единственности существует проколотая окрестность этой точки, в которой

В этой окрестности функция голоморфна, следовательно, а является изолированной особой точкой Но следовательно, а является полюсом

Установленная связь позволяет сформулировать Определение 3. Порядком полюса а функции называется порядок этой точки как нуля функции

Из доказательства теоремы 2 видно, что порядок полюса совпадает с номером старшего члена главной части лорановского разложения функции в проколотой окрестности полюса.

Теорема 3. Изолированная особая точка а функции является существенно особой в том и только том случае, если главная часть лорановского разложения в окрестности точки а содержит бесконечно много отличных от нуля членов.

Теорема, по существу, уже содержится в теоремах 1 и 2 (если главная часть содержит бесконечное число членов, не может быть ни устранимой точкой, ни полюсом; если — существенно особая точка, то главная часть не может ни отсутствовать, ни содержать конечное число членов)

Поведение функции в окрестности существенно особой точки характеризует следующая интересная

Теорема 3 (Ю. В. Сохоцкий). Если а является существенно особой точкой функции то для любого числам

можно найти последовательндсть точек такую, что

Пусть Так как по теореме не может быть ограниченной в проколотой окрестности то в этой окрестности найдется точка в которой Точно так же в найдется точка в которой найдется точка в которой Очевидно, и

Пусть теперь . Либо -точки функции имеют а своей предельной точкой, и тогда из них можно выбрать последовательность на которой либо существует проколотая окрестность в которой . В этой окрестности голоморфна функция

для которой а также является существенно особой точкой (ибо и если бы при стремилась к конечному или бесконечному пределу, то также). По доказанному существует последовательность по которой но по этой последовательности

Совокупность предельных значений функции по различным последовательностям точек называют множеством неопределенности функции в точке а. Если а является устранимой точкой или полюсом функции то ее множество неопределенности в этой точке состоит из одной точки (конечной или бесконечной). Теорема Сохоцкого утверждает, что для существенно особой точки реализуется другой крайний случай - множество неопределенности в такой точке заполняет всю замкнутую плоскость С.

Несколько слов об изолированных особых точках в бесконечности. Классификация и теоремы переносятся на случай автоматически. Однако теоремы 1—3, связанные с характером лорановских разложений, нуждаются в

изменениях. Дело в том, что в конечных точках характер особенности определяют главные части лорановских разложений, содержащие отрицательные степени которые имеют особенность в этих точках (отсюда и термин «главная часть»). В бесконечности же отрицательные степени правильны и особенность определяется совокупностью положительных степеней. Поэтому естественно назвать главной частью лорановского разложения функции в проколотой окрестности бесконечной точки совокупность членов этого разложения с положительными степенями. После такого изменения теоремы 1—3 будут справедливыми и для случая

Этот результат сразу получается при помощи замены переменного если обозначить

то, очевидно,

и поэтому имеет в точке ту же особенность, что в точке Например, в случае полюса имеет в разложение

заменяя здесь получим разложение в кольце

где . Его главная часть содержит конечное число членов. Аналогично рассматриваются случаи устранимой и существенно особой точек.

В заключение приведем классификацию простейших голоморфных функций по их особым точкам. Согласно теореме Лиувилля функции, совсем не имеющие особенностей (т. е. голоморфные в С), являются константами. Следующий по простоге класс составляют целые функции.

Определение 4. Целой называется функция, голоморфная во всей плоскости С, т. е. не имеющая конечных особых точек.

Точка является, следовательно, изолированной особой точкой целой функции Если это — устранимая точка, то Если это — полюс, то главная часть лорановского разложения в окрестности бесконечности представляет собой полином Вычитая из эту главную часть, получим также целую функцию, но уже с устранимой точкой в бесконечности. Она является константой, и следовательно, целая функция с полюсом в бесконечности непременно является полиномом.

Целые функции с существенной особенностью в бесконечности называются целыми трансцендентными функциями (таковы, например, функции .

Определение 5. Функция, не имеющая в открытой плоскости С других особенностей, кроме полюсов, называется мероморфной.

Целые функции составляют подкласс класса мероморфных функций (они вовсе не имеют особенностей в С). Так как каждый полюс — изолированная особая точка, то мероморфная функция не может иметь в С более чем счетное множество полюсов. В самом деле, в каждом круге полюсов может быть лишь конечное число (иначе существовала бы их конечная предельная точка, которая является неизолированной особой точкой функции, а не полюсом) и все полюсы можно пересчитать. Примерами мероморфных функций с бесконечным числом полюсов являются

Теорема 4. Если мероморфная функция в бесконечности имеет устранимую точку или полюс (т. е. если она в С не имеет других особенностей, кроме полюсов), то она является рациональной функцией.

Число всех полюсов функции конечно, ибо в противном случае в силу компактности С существовала бы предельная точка полюсов, которая является неизолированной особой точкой, а не полюсом. Обозначим через конечные полюсы и через

главную часть лорановского разложения в окрестности полюса Обозначим еще

главную часть лорановского разложения в окрестности если является устранимой точкой положим

Рассмотрим функцию

она имеет все точки правильными, и по теореме Лиувилля Таким образом,

т. e. является рациональной функцией

Замечание. Формула (8) представляет собой разложение рациональной функции на целую часть и простейшие дроби. Наше рассуждение дает простое доказательство существования такого разложения.

Иногда мы будем употреблять термин «мероморфная функция» в более общем смысле. Именно, будем говорить, что функция мероморфна в области если она не имеет в других особенностей, кроме полюсов. И такая функция не может иметь более чем счетное число полюсов. В самом деле, мы построим компактное исчерпывание области (см. лемму в п. 22) и увидим, что в каждой функция может иметь лишь конечное число полюсов. Если число полюсов функции мероморфной области бесконечно, то предельные точки множества полюсов принадлежат границе

1
Оглавление
email@scask.ru