Теорема Рушеса - Википедия - Rouchés theorem

Теорема Руше, названный в честь Эжен Руше, утверждает, что для любых двух сложный -ценный функции ж и грамм голоморфный в каком-то регионе с замкнутым контуром , если |грамм(z)| < |ж(z)| на , тогда ж и ж + грамм иметь одинаковое количество нулей внутри , где каждый ноль считается столько раз, сколько его множественность. Эта теорема предполагает, что контур простой, то есть без самопересечений. Теорема Руше является простым следствием более сильной симметричной теоремы Руше, описанной ниже.

использование

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

Геометрическое объяснение

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

Можно дать неформальное объяснение теоремы Руше.

Позволять C - замкнутая простая кривая (т. е. не самопересекающаяся). Позволять час(z) = ж(z) + грамм(z). Если ж и грамм оба голоморфны внутри C, тогда час также должен быть голоморфен внутри C. Тогда с учетом наложенных выше условий теорема Руша в ее первоначальной (а не симметричной) форме утверждает, что

Если |ж(z)| > |час(z) − ж(z) |, для каждого z в C, тогда ж и час иметь такое же количество нулей внутри C.

Обратите внимание, что условие |ж(z)| > |час(z) − ж(z) | означает, что для любого z, расстояние от ж(z) в начало координат больше, чем длина час(z) − ж(z), что на следующем рисунке означает, что для каждой точки синей кривой сегмент, соединяющий ее с началом координат, больше, чем связанный с ней зеленый сегмент. Неформально можно сказать, что синяя кривая ж(z) всегда ближе к красной кривой час(z), чем к источнику.

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

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

Приложения

Рассмотрим многочлен (куда ). Посредством квадратичная формула у него два нуля на . Теорема Руше может быть использована для получения более точного их положения. С

для каждого ,

Теорема Руше гласит, что многочлен имеет ровно один ноль внутри круга . С явно вне диска, заключаем, что ноль равен . Этот вид аргументов может быть полезен при поиске остатков, когда применяется метод Коши. теорема о вычетах.

Теорема Руше также может быть использована для краткого доказательства основная теорема алгебры. Позволять

и выберите настолько большой, что:

С имеет нули внутри диска (потому что ), из теоремы Руше следует, что также имеет такое же количество нулей внутри диска.

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

Еще одно применение теоремы Руше - доказательство теорема об открытом отображении для аналитических функций. Обратимся к статье за ​​доказательством.

Симметричная версия

Более сильная версия теоремы Руше была уже известна Теодор Эстерманн к 1962 г.[1] В нем говорится: пусть - ограниченная область с непрерывной границей . Две голоморфные функции имеют одинаковое количество корней (с учетом кратности) в , если строгое неравенство

держится на границе

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

Интуитивно это утверждение можно понять следующим образом. на месте , условие можно переписать как за всегда выполняется по неравенству треугольника, это равносильно утверждению, что на , что следует из условия .

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

Доказательство симметричной формы теоремы Руше.

Позволять - простая замкнутая кривая, образ которой является границей . Гипотеза означает, что ж не имеет корней , следовательно, по принцип аргумента, номер Nж(K) нулей ж в K является

т.е. номер намотки замкнутой кривой вокруг происхождения; аналогично для грамм. Гипотеза гарантирует, что грамм(z) не является отрицательным действительным кратным ж(z) для любого z = C(Икс), поэтому 0 не лежит на отрезке, соединяющем ж(C(Икс)) к грамм(C(Икс)), и

это гомотопия между кривыми и избегая происхождения. Число витков гомотопически инвариантно: функция

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

Смотрите также

Примечания

  1. ^ Эстерманн, Т. (1962). Комплексные числа и функции. Атлон Пресс, Univ. Лондона. п. 156.

Рекомендации

  • Бирдон, Алан (1979). Комплексный анализ: принцип аргументации в анализе и топологии. Джон Уайли и сыновья. п. 131. ISBN  0-471-99672-6.
  • Конвей, Джон Б. (1978). Функции одной комплексной переменной I. Springer-Verlag New York. ISBN  978-0-387-90328-6.
  • Титчмарш, Э. (1939). Теория функций (2-е изд.). Издательство Оксфордского университета. стр.117 –119, 198–203. ISBN  0-19-853349-7.
  • Руше Э., Mémoire sur la série de Lagrange, Journal de l'École Polytechnique, том 22, 1862 г., стр. 193-224. Теорема появляется на стр. 217. См. Gallica архивы.