Полином Уилкинсона - Wilkinsons polynomial

График полинома Уилкинсона
Участок сигн (ш(Икс)) журнал (1 + -ш(Икс)-)

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

Многочлен равен

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

Фон

Многочлен Уилкинсона возник при изучении алгоритмов нахождения корней многочлена.

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

Проблема плохо обусловлена, когда многочлен имеет кратный корень. Например, полином Икс2 имеет двойной корень приИкс = 0. Однако многочлен Икс2 − ε (возмущение размераε) имеет корни в ± √ε, что намного больше, чем ε когда ε маленький.

Поэтому естественно ожидать, что плохая обусловленность также возникает, когда многочлен имеет очень близкие нули. Однако проблема также может быть крайне плохо обусловлена ​​для многочленов с хорошо разделенными нулями. Уилкинсон использовал полином ш(Икс), чтобы проиллюстрировать эту точку зрения (Wilkinson 1963).

В 1984 году он описал влияние этого открытия на личность:

Говоря от себя, я считаю это самым травматическим опытом в моей карьере численного аналитика.[1]

Многочлен Уилкинсона часто используется для иллюстрации нежелательности наивных вычислений. собственные значения матрицы, сначала вычислив коэффициенты матрицы характеристический многочлен а затем найти ее корни, поскольку использование коэффициентов в качестве промежуточного шага может привести к крайне плохой обусловленности, даже если исходная задача была хорошо обусловлена.[2]

Обусловленность полинома Уилкинсона

Полином Уилкинсона

явно имеет 20 корней, расположенных в Икс = 1, 2, ..., 20. Эти корни далеко друг от друга. Однако многочлен по-прежнему очень плохо обусловлен.

Раскладывая полином, находим

Если коэффициент Икс19 уменьшено с −210 на 2−23 до −210.0000001192, то значение полинома ш(20) уменьшается от 0 до −2−232019 = −6.25×1017, а корень в Икс = 20 увеличивается до Икс ≈ 20,8. Корни в Икс = 18 и Икс = 19 входят в двойной корень при Икс ≈ 18,62, который превращается в пару комплексно сопряженных корней при Икс ≈ 19.5 ± 1.9я при дальнейшем увеличении возмущения. 20 корней становятся (до 5 знаков после запятой)

Некоторые корни сильно смещены, хотя изменение коэффициента незначительно, а исходные корни кажутся широко разнесенными. Уилкинсон показал с помощью анализа устойчивости, обсуждаемого в следующем разделе, что такое поведение связано с тем, что некоторые корни α (Такие как α = 15) имеют много корней β которые «близки» в том смысле, что |α − β| меньше чем |α|.

Уилкинсон выбрал возмущение 2−23 потому что его Пилотный ACE компьютер был 30-битным плавающая точка значения, поэтому для чисел около 210, 2−23 была ошибка в первой битовой позиции, не представленной в компьютере. Два действительных числа, −210 и −210 - 2−23, представлены одним и тем же числом с плавающей запятой, что означает, что 2−23 это неизбежный ошибка представления реального коэффициента, близкого к -210, числом с плавающей запятой на этом компьютере. Анализ возмущений показывает, что 30-битный коэффициент точность недостаточно для разделения корней многочлена Уилкинсона.

Анализ устойчивости

Предположим, что мы возмущаем многочлен п(Икс) = Π (Икс − αj) с корнями αj добавив небольшое кратное т·c(Икс) полинома c(Икс), и спросите, как это влияет на корни αj. В первом порядке изменение корней будет контролироваться производной

Когда производная большая, корни будут менее устойчивыми при вариациях т, и наоборот, если эта производная мала, корни будут устойчивыми. В частности, если αj кратный корень, то знаменатель обращается в нуль. В этом случае αj обычно не дифференцируема по т (пока не c там может исчезнуть), и корни будут крайне неустойчивыми.

Для малых значений т возмущенный корень дается разложением в степенной ряд по т

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

В примере полинома Уилкинсона степени 20 корни задаются формулой αj = j за j = 1, ..., 20 и c(Икс) равно Икс19.Поэтому производная дается формулой

Это показывает, что корень αj будет менее устойчивым, если корней много αk близко к αj, в том смысле, что расстояние | αj - αk| между ними меньше, чем | αj|.

Пример. Для корня α1 = 1, производная равна 1/19! который очень маленький; этот корень стабилен даже при больших изменениях в т. Это потому, что все остальные корни β далеки от этого, в том смысле, что |α1 − β| = 1, 2, 3, ..., 19 больше, чем |α1| = 1, например, даже если т имеет размер –10000000000, корень α1 изменяется только от 1 до примерно 0,99999991779380 (что очень близко к приближению первого порядка 1 +т/ 19! ≈ 0,99999991779365). Точно так же другие малые корни полинома Уилкинсона нечувствительны к изменениям вт.

Пример. С другой стороны, для рута α20 = 20 производная равна −2019/ 19! который огромен (около 43000000), поэтому этот корень очень чувствителен к небольшим изменениям в т. Другие корни β близки к α20, в том смысле, что |β − α20| = 1, 2, 3, ..., 19 меньше |α20| = 20. Для т = −2 − 23 приближение первого порядка 20 -т·2019/ 19! = 25,137 ... до возмущенного корня 20,84 ... ужасно; это еще более очевидно для корня α19 где возмущенный корень имеет большую мнимую часть, но приближение первого порядка (и в этом отношении все приближения более высокого порядка) являются действительными. Причина такого расхождения в том, что |т| ≈ 0,000000119 больше, чем радиус сходимости упомянутого выше степенного ряда (который составляет около 0,0000000029, что несколько меньше значения 0,00000001, полученного по грубой оценке), поэтому линеаризованная теория неприменима. Для такого значения, как т = 0,000000001, что значительно меньше этого радиуса сходимости, приближение первого порядка 19,9569 ... достаточно близко к корню 19,9509 ...

На первый взгляд корни α1 = 1 и α20 = 20 полинома Уилкинсона кажутся похожими, поскольку они находятся на противоположных концах симметричной линии корней и имеют одинаковый набор расстояний 1, 2, 3, ..., 19 от других корней. Однако приведенный выше анализ показывает, что это грубое заблуждение: корень α20 = 20 менее стабильно, чем α1 = 1 (к малым возмущениям коэффициента Икс19) в 20 раз19 = 5242880000000000000000000.

Второй пример Уилкинсона

Второй пример, рассмотренный Уилкинсоном:

Двадцать нулей этого многочлена находятся в геометрической прогрессии с общим отношением 2, и, следовательно, частное

не может быть большим. Действительно, нули ш2 довольно устойчивы к большим относительный изменения коэффициентов.

Эффект от основы

Расширение

выражает полином в определенном базисе, а именно в базисе одночленов. Если многочлен выражен в другом базисе, то проблема нахождения его корней может перестать быть плохо обусловленной. Например, в Форма Лагранжа небольшое изменение одного (или нескольких) коэффициентов не должно слишком сильно изменять корни. Действительно, базисные многочлены для интерполяции в точках 0, 1, 2, ..., 20 равны

Каждый многочлен (степени 20 или меньше) может быть выражен в этом базисе:

Для полинома Уилкинсона находим

Учитывая определение базисного многочлена Лагранжа ℓ0(Икс), изменение коэффициента d0 не приведет к изменению корней ш. Однако изменение других коэффициентов (все равны нулю) немного изменит корни. Следовательно, многочлен Уилкинсона хорошо обусловлен в этом базисе.

Примечания

  1. ^ Уилкинсон, Джеймс Х. (1984). «Вероломный полином». В Джине Х. Голуб (ред.). Исследования в области численного анализа. Математическая ассоциация Америки. п. 3. ISBN  978-0-88385-126-5.
  2. ^ Trefethen, Lloyd N .; Бау, Дэвид (1997), Числовая линейная алгебра, СИАМ

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

Уилкинсон обсуждал «свой» многочлен в

  • Дж. Х. Уилкинсон (1959). Вычисление нулей плохо обусловленных многочленов. Часть I. Numerische Mathematik 1:150–166.
  • Дж. Х. Уилкинсон (1963). Ошибки округления в алгебраических процессах. Энглвуд Клиффс, Нью-Джерси: Прентис Холл.

Он упоминается в стандартных учебниках по численному анализу, например

  • Ф. С. Актон, Численные методы, которые работают, ISBN  978-0-88385-450-1, п. 201.

Другие ссылки:

  • Рональд Г. Мозье (июль 1986 г.). Корневые окрестности многочлена. Математика вычислений 47(175):265–273.
  • Дж. Х. Уилкинсон (1984). Вероломный многочлен. Исследования в области численного анализа, изд. Голуба Г. Х., с. 1–28. (Исследования по математике, т. 24). Вашингтон, округ Колумбия: Математическая ассоциация Америки.

Численный расчет с высокой точностью представлен в: