WikiDer > Алгоритм Лемера – Шура

В математика, то Алгоритм Лемера – Шура (названный в честь Деррик Генри Лемер и Иссай Шур) это алгоритм поиска корней за комплексные полиномы, расширяя идею включения корней, как в одномерном метод деления пополам в комплексную плоскость. Он использует тест Шура-Кона для проверки дисков все меньшего размера на наличие или отсутствие корней.

Алгоритм Шура-Кона

Этот алгоритм позволяет найти распределение корней комплексного многочлена относительно единичный круг в комплексной плоскости.^[1][2][3] Он основан на двух вспомогательных полиномах, введенных Шуром.^[4]

Для комплексного полинома ${ displaystyle p}$ из степень ${ displaystyle n}$ это взаимно сопряженный многочлен ${ displaystyle p ^ {*}}$ определяется ${ displaystyle p ^ {*} (z) = z ^ {n} { overline {p ({ bar {z}} ^ {- 1})}}}$ и это Schurtransform ${ displaystyle Tp}$ к

${ displaystyle Tp = { overline {p (0)}} p - { overline {p ^ {*} (0)}} p ^ {*},}$

где черта обозначает комплексное сопряжение.

Так что если ${ displaystyle p (z) = a_ {n} z ^ {n} + cdots + a_ {1} z + a_ {0}}$ с ${ displaystyle a_ {n} neq 0}$, тогда${ displaystyle p ^ {*} (z) = { bar {a}} _ {0} z ^ {n} + { bar {a}} _ {1} z ^ {n-1} + cdots + { bar {a}} _ {n}}$,с ведущие нулевые условия, если есть, удален. В коэффициенты из ${ displaystyle Tp}$ поэтому могут быть прямо выражены в выражениях ${ displaystyle p}$ и, поскольку один или несколько ведущих коэффициентов сокращаются, ${ displaystyle Tp}$ имеет более низкую степень, чем ${ displaystyle p}$. Корни ${ displaystyle p}$, ${ displaystyle p ^ {*}}$, и ${ displaystyle Tp}$ связаны следующим образом.

Лемма

Позволять ${ displaystyle p}$ - комплексный многочлен и ${ displaystyle delta = (TP) (0)}$.

• Корни ${ displaystyle p ^ {*}}$, включая их множественность, изображения под инверсия в единичном круге ненулевых корней ${ displaystyle p}$.
• Если ${ displaystyle delta neq 0}$, тогда ${ displaystyle p, , p ^ {*}}$, и ${ displaystyle Tp}$ имеют общие корни на единичном круге, включая их кратности.
• Если ${ displaystyle delta> 0}$, тогда ${ displaystyle p}$ и ${ displaystyle Tp}$ имеют одинаковое количество корней внутри единичного круга.
• Если ${ displaystyle delta <0}$, тогда ${ displaystyle p ^ {*}}$ и ${ displaystyle Tp}$ имеют одинаковое количество корней внутри единичного круга.

Доказательство

За ${ Displaystyle г neq 0}$ у нас есть ${ displaystyle p ^ {*} (z) = z ^ {n} { overline {p (z / | z | ^ {2})}}}$ и, в частности,${ Displaystyle | p ^ {*} (z) | = | p (z) |}$ за ${ displaystyle | z | = 1}$.Также ${ displaystyle delta neq 0}$ подразумевает ${ Displaystyle | p (0) | neq | p ^ {*} (0) |}$. Из этого и приведенных выше определений следуют первые два утверждения. Два других утверждения являются следствием Теорема Руше применяется на единичном круге к функциям ${ Displaystyle { overline {п (0)}} п (г) / г (г)}$ и ${ displaystyle - { overline {p ^ {*} (0)}} p ^ {*} (z) / r (z)}$ , куда ${ displaystyle r}$ является многочленом, корнями которого являются корни ${ displaystyle p}$ на единичной окружности с такими же кратностями. □

Для более доступного представления леммы пусть ${ displaystyle n_ {p} ^ {-}, n_ {p} ^ {0}}$, и ${ displaystyle n_ {p} ^ {+}}$ обозначим количество корней ${ displaystyle p}$ внутри, на и вне единичного круга соответственно и аналогично для ${ displaystyle Tp}$.Кроме того, пусть ${ displaystyle d}$ быть разницей в степени ${ displaystyle p}$ и ${ displaystyle Tp}$. Тогда из леммы следует, что${ displaystyle (n_ {p} ^ {-}, ; n_ {p} ^ {0}, ; n_ {p} ^ {+}) = (n_ {Tp} ^ {-}, ; n_ { Tp} ^ {0}, ; n_ {Tp} ^ {+} + d)}$ если ${ displaystyle delta> 0}$ и${ displaystyle (n_ {p} ^ {-}, ; n_ {p} ^ {0}, ; n_ {p} ^ {+}) = (n_ {Tp} ^ {+} + d, ; n_ {Tp} ^ {0}, ; n_ {Tp} ^ {-})}$ если ${ displaystyle delta <0}$(обратите внимание на обмен ${ displaystyle ^ {+}}$ и ${ Displaystyle ^ {-}}$).

Теперь рассмотрим последовательность многочленов ${ displaystyle T ^ {k} p}$ ${ Displaystyle (к = 0,1, ldots)}$, куда ${ displaystyle T ^ {0} p = p}$ и ${ displaystyle T ^ {k + 1} p = T (T ^ {k} p)}$. Применение вышеизложенного к каждой паре последовательных членов этой последовательности дает следующий результат.

Теорема [критерий Шура-Кона]

Позволять ${ displaystyle p}$ - комплексный многочлен с ${ displaystyle Tp neq 0}$ и разреши ${ displaystyle K}$ наименьшее число такое, что ${ displaystyle T ^ {K + 1} p = 0}$. Кроме того, пусть ${ displaystyle delta _ {k} = (T ^ {k} p) (0)}$ за ${ Displaystyle к = 1, ldots, К}$ и ${ displaystyle d_ {k} = deg T ^ {k} p}$ за ${ Displaystyle к = 0, ldots, K}$.

• Все корни ${ displaystyle p}$ лежат внутри единичного круга тогда и только тогда, когда

${ displaystyle delta _ {1} <0}$, ${ displaystyle delta _ {k}> 0}$ за ${ Displaystyle к = 2, ldots, K}$, и ${ displaystyle d_ {K} = 0}$.

• Все корни ${ displaystyle p}$ лежат вне единичного круга тогда и только тогда, когда

${ displaystyle delta _ {k}> 0}$ за ${ Displaystyle к = 1, ldots, К}$ и ${ displaystyle d_ {K} = 0}$.

• Если ${ displaystyle d_ {K} = 0}$ и если ${ displaystyle delta _ {k} <0}$ за ${ Displaystyle к = к_ {0}, к_ {1} ldots к_ {м}}$ (в порядке возрастания) и ${ displaystyle delta _ {k}> 0}$ в противном случае тогда ${ displaystyle p}$ не имеет корней на единичном круге, и количество корней ${ displaystyle p}$ внутри единичного круга находится

${ displaystyle sum _ {я = 0} ^ {m} (- 1) ^ {i} d_ {k_ {i} -1}}$.

В более общем смысле, распределение корней многочлена ${ displaystyle p}$ относительно произвольной окружности на комплексной плоскости, скажем, с центром ${ displaystyle c}$ и радиус ${ displaystyle rho}$, можно найти, применяя тест Шур-Кона к полиному со сдвигом и масштабированием ${ displaystyle q}$ определяется ${ Displaystyle д (г) = п (с + ро , г)}$.

Однако не все коэффициенты масштабирования допустимы, поскольку тест Шура-Кона можно применить к полиному ${ displaystyle q}$ только если не выполняется ни одно из следующих равенств: ${ displaystyle T ^ {k} q (0) = 0}$ для некоторых ${ Displaystyle к = 1, ldots K}$ или же ${ Displaystyle Т ^ {К + 1} д = 0}$ пока ${ displaystyle d_ {K}> 0}$. Теперь коэффициенты многочленов ${ displaystyle T ^ {k} q}$ являются многочленами от ${ displaystyle rho}$ и указанные равенства приводят к полиномиальным уравнениям для ${ displaystyle rho}$, которые, следовательно, верны только для конечного числа значений ${ displaystyle rho}$. Таким образом, всегда можно найти подходящий коэффициент масштабирования, даже сколь угодно близкий к ${ displaystyle 1}$.

Метод Лемера

Метод Лемерса заключается в следующем.^[5]Для данного комплексного полинома ${ displaystyle p}$, с помощью теста Шура-Кона круговой диск может быть найден достаточно большим, чтобы содержать все корни ${ displaystyle p}$. Затем этот диск может быть покрыт набором перекрывающихся меньших дисков, один из которых расположен концентрически, а остальные равномерно распределены по кольцевому пространству, которое еще предстоит покрыть. Из этого набора, снова используя тест, диски, не содержащие корня ${ displaystyle p}$ можно удалить. С каждым из оставшихся дисков эту процедуру покрытия и удаления можно повторять и так любое количество раз, в результате чего получается набор произвольно маленьких дисков, которые вместе содержат все корни ${ displaystyle p}$.

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

Однако чем меньше становятся диски, тем больше коэффициенты соответствующих «масштабированных» полиномов будут отличаться по относительной величине. Это может вызвать переполнение или недостаточное количество компьютерных вычислений, тем самым ограничивая радиусы дисков снизу и тем самым точность вычисленных корней.^[2].^[6]Чтобы избежать чрезмерного масштабирования или просто ради эффективности, можно начать с тестирования ряда концентрических дисков на количество включенных корней и, таким образом, уменьшить область, в которой встречаются корни, до ряда узких концентрических колец. Повторяя эту процедуру с другим центром и комбинируя результаты, указанная область становится объединением пересечений таких колец.^[7]Наконец, когда обнаруживается небольшой диск, содержащий единственный корень, этот корень может быть дополнительно аппроксимирован другими методами, например Метод Ньютона.

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