Пусть f(z)
C
(
). Выразим f(z0) z0
g через значения f(z) на
. Рассмотрим
j(z)=
C
(
/z0). Поэтому, если в области g взять такой замкнутый контур g, чтобы точка z0 попала внутрь ограниченной им области, то j (z) будет аналитической в двухсвязной области g*, заключенной между
и g. По теореме Коши для многосвязной области. интеграл от функции j(z) по кривой
+g равен 0:
. Т.к.
, то
. Поскольку интеграл, стоящий слева не зависит от выбора контура, то эти свойством обладает и интеграл, стоящий справа. Удобно в качестве контура интегрирования выбрать окружность gr с центром в точке z0 и радиуса r. Положив на g r x = z0+r eij,
dx = ir eijdj, получим
f(x)dj =i
[f(x)-f(z0)]dj + i
f(z0)dj =I+2p f(z0).
Оценим I. | I |
2p
|f(x)-f(z0)|. Устремим r
0 при этом. x (r)
z0.Т.к. f(z)- аналитическая, а следовательно непрерывная в g, то для "e >0 $ d (e)>0 такое, что
|f(x)-f(z0)|< e, как только |x (r)-z0|<d. А это значит, что при r
0 I
0. Поскольку левая часть и второе слагаемое правой части не зависят от r, то переходя к пределу в обоих частях, получим интегральную формулу Коши: f(z0)=
.
Замечания.
1. Формула верна как для g односвязной, так и g- многосвязной, только в последнем случае
+- полная граница области, проходимая в положительном направлении.
2. Интеграл вида I(z0)= имеет смысл для " положения точки z0 на комплексной плоскости при условии, что z0 . Если z0 g, то I(z0)=f(z0), если z0 g, то I(z0)=0, поскольку в этом случае подынтегральная
|
|
функция j (x)=
C
(g) является аналитической всюду в g. При z0
I(z0) в обычном смысле не $, однако, при дополнительных требованиях на поведение функции f(x) на контуре границы этому интегралу может быть придан определенный смысл. Так, если f(x) удовлетворяет на
условию Гельдера: |f(x 1)-f(x2)|<C|x1-x2|d,
0<d <1 (Гельдер- непрерывна), то $ главное значение по Коши интеграла I(z0):
V.p.I(z0)=
, где ge представляет собой часть контура
, лежащую вне круга |x -z0|<e. При этом V.p.I(z0)=1/2 f(z0). Окончательно для f(z)Î C
(g) можно записать:
3. Формула верна и для " контура C+
g, который можно стянуть к z0, оставаясь внутри g.
Следствия интегральной формулы Коши.
Пусть f(z)Î C
(g).
1 Формула среднего значения. Пусть z0- некоторая внутренняя точка односвязной области g. Возьмем окружность с центром в z0 и радиусом R, целиком лежащую в g. Тогда f (z0)=
= (x = z0+R eij)=
f(z0+Reij)dj =
f(x)ds,
(ds=Rdj, круг KR
g)- формула среднего значения.
2. Принцип максимума модуля. Если f(z)
C
(
) и f(z)
const, то |f(z)| достигает своего максимального значения только на
.






