22351

Теоремы Лиувилля и Мореры

Лекция

Математика и математический анализ

По определению аналитическая функция – это функция комплексной переменной обладающая производной в каждой точке некоторой области D. Если функция fz аналитична в области D и непрерывна в то она обладает в каждой точке D производными всех порядков причем n я производная представляется формулой 1 где C – граница области D. По определению производной и формуле Коши имеем: Но очевидно что при функция равномерна для всех на C стремиться к и следовательно по теореме 2 предыдущей лекции для случая семейства функций...

Русский

2013-08-04

98 KB

9 чел.

Лекция №8.

Теоремы Лиувилля и Мореры.

По определению, аналитическая функция – это функция комплексной переменной, обладающая производной в каждой точке некоторой области D.

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

Теорема 1(Коши). Если функция f(z) аналитична в области D и непрерывна в , то она обладает в каждой точке D производными всех порядков, причем n- я производная представляется формулой

,        (1)

где C – граница области D.

Доказательство. Пусть z – произвольная внутренняя точка области D. По определению производной и формуле Коши имеем:

Но, очевидно, что при функция  равномерна для всех  на C стремиться к  и, следовательно, по теореме 2 предыдущей лекции (для случая семейства функций, зависящих от параметра h) предел существует, причем

           (2)

Для n = 1 теорема доказана. Предполагая ее верной для какого-либо n-1, точно также можно доказать ее справедливость для любого n, а тем самым доказать теорему.

Замечание 1. Как видно из доказательства, теорему можно сформулировать еще следующим образом:

Если функция непрерывна на границе C области D, то функция

     (3)

представленная формулой Коши (интегралом типа Коши), аналитична в этой области.

Замечание 2. Формулы (1) для производных получаются формальным дифференцированием формулы Коши по z; доказанная теорема утверждает законность этого дифференцирования.

Из формулы (1) вытекают важные неравенства Коши. Обозначим через M – максимум модуля функции f(z) в области D, через R - расстояние* точки z до границы D и через l – длину этой границы.

Из (1) имеем:

.    (4)

Если, в частности, f(z) аналитична в круге , то принимая в качестве D этот круг, получим:

           (5)

Это и есть неравенства Коши.

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

Теорема 2(Лиувилля). Если функция f(z) аналитична во всей плоскости и ограничена, то она постоянна.

Доказательство. Пусть всюду . Для произвольной точки и для любого R неравенство (5) при n = 1 дает:

.

Т.к. здесь левая часть не зависит от R, а правая может быть сделана сколь угодно малой при увеличении R, то . Таким образом, т.к. - произвольная точка плоскости, то во всей плоскости . Отсюда по доказанной ранее теореме о первообразной заключаем, что

,

т.е. что функция f(z)=const. Ч.т.д.

Замечание. Теорема 2 допускает следующее обобщение.

Если функция f(z) аналитична во всей плоскости и ее модуль возрастает не быстрее чем , где n – целое число, а M – постоянная, то эта функция является многочленом степени не выше n.

Доказательство. Пусть - произвольная точка плоскости, из неравенства (5) имеем:

Заметим, что , после перехода к пределу при  получаем, что . Т.к.  - произвольная точка плоскости, то , а отсюда тем же методом, что и выше, нетрудно прийти к нужному результату.

 Докажем теперь теорему, которая обратна основной теореме Коши.

Теорема 3(Мореры). Если функция f(z) непрерывна в односвязной области D и интеграл  по любому замкнутому контуру C, лежащему в D, равен нулю, то f(z) аналитична в этой области.

Доказательство. Из условий теоремы следует, что в области D интеграл  не зависит от пути интегрирования, т.е. при фиксированном определяет некоторую функцию от z:

.         (6)

Повторяя дословно доказательство теоремы о первообразной, можно показать, что эта функция имеет производную** , т.е. аналитична. Но тогда по теореме 1 f(z) как производная аналитической функции в свою очередь является аналитической функцией. Ч.т.д.

* т.е.

** Т.к. интеграл в (6) справа не зависит от пути интегрирования, то для  имеем .


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


.     (7)

2


 

А также другие работы, которые могут Вас заинтересовать

5574. Применение теоремы об изменении количества движения к исследованию движения механической энергии 88 KB
  Применение теоремы об изменении количества движения к исследованию движения механической энергии. Механическая система состоит из трех тел 1, 2, 3 с массами соответственно. На тело 1 наложены две связи. Опора A препятствует перемещению тела по...
5575. Изучение свойств внимания 44 KB
  Изучение свойств внимания. Цель работы: Измерить и дать качественную характеристику основным свойствам внимания: концентрации, устойчивости, объему, переключению. Материалы. Методики для исследования внимания: Теппинг-тест Корректурная проба (буквен...
5576. Расчет шарнирного узла механизма вантовой растяжки 116 KB
  Расчет шарнирного узла механизма вантовой растяжки. Исходные данные: Максимальная нагрузка Fmax=200 103H коэффициент ассиметрии цикла RF=0.8 соотношение длины и диаметра поверхности кольца l/d=0.7 соотношение длины и ширины прямоугольного сечения...
5577. Изучение свойств, форм и операций мышления 44 KB
  Изучение свойств, форм и операций мышления Цель работы:исследование: свойства мышления: лабильности (подвижности) форм мышления: структура и соотношение понятий операций мышления: сравнение, обобщение, абстрагирование. Матери...
5578. Исследование эффективности различных видов организационных структур 177 KB
  Структура организации - это основной элемент любой организации, не только характеризующий её, но и представляющий собой сам механизм построения и функционирования организации. Правильный выбор организационной структуры - необходимый фактор ...
5579. КРОВЬ КАК ВНУТРЕННЯЯ СРЕДА ОРГАНИЗМА И СРЕДСТВО ТРАНСПОРТА ВЕЩЕСТВ. ФИЗИКО-ХИМИЧЕСКИЕ СВОЙСТВА КРОВИ 177.94 KB
  Функциональная система крови (состав, функции, методы исследования). Физико-химический состав гомеостаз внутренней среды (состав и физико-химические показатели крови). Кровь как средство транспорта веществ.
5580. Подшипники качения 113.5 KB
  Отличие подшипников качения от подшипников скольжения. В любом механизме или машине различают два типа подвижных опор: опоры с трением скольжения и опоры с трением качения. В первом случае происходит взаимное перемещение и взаимодействие рабочих пов...
5581. Изучение свойств памяти 55 KB
  Изучение свойств памяти Цель работы:исследование динамики процессов запоминания выявление преобладающего вида образной памяти (зрительная, слуховая). Материалы:Методики для исследования памяти: Динамический тест памяти Таблицы с образам...
5582. Обоснование и расчет искусственного освещения помещения здания закусочной 98 KB
  Обоснование и расчет искусственного освещения помещения здания закусочной Задание 1. Требования руководящих документов по вопросам производственной санитарии и гигиены труда 2. Анализ опасных и вредных факторов при строительстве и эксплуатации здани...