Метод Штурма

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Ме́тод Шту́рма використовується для відокремлення дійсних коренів многочленів, тобто знаходження інтервалів, що містять рівно по одному кореню. Надалі отримана інформація про розміщення коренів може бути використана для їх знаходження чисельними методами.

Основні визначення[ред.ред. код]

Послідовність неперервних функцій називається рядом Штурма на відрізку , якщо виконуються такі умови:

  1. не має коренів на
  2. Якщо при деяких виконується рівність , то
  3. Якщо при деякому , то при переході через функція змінює знак з "−" на "+".

Якщо в точці всі не рівні нулю, то можна визначити кількість знакозмін як кількість індексів , таких що

Теорема Штурма[ред.ред. код]

Нехай на відрізку задано ряд Штурма , причому при всіх . Тоді на існує рівно коренів рівняння

Побудова ряду Штурма для многочлена[ред.ред. код]

Нехай многочлен не має кратних коренів. Тоді для нього можна побудувати ряд Штурма за таким алгоритмом:

  1. , тобто — це взята з протилежним знаком остача від ділення на .

Останній крок повторюється до отримання нульового многочлена. Ряд Штурма утворюють всі ненульові многочлени . Описаний процес дуже нагадує алгоритм Евкліда знаходження найбільшого спільного дільника многочленів, а останній в ряді многочлен з точністю до числового множника збігається з найбільшим спільним дільником та . Оскільки не має кратних коренів, то і є взаємно-простими, а тому


Сигма Це незавершена стаття з математики.
Ви можете допомогти проекту, виправивши або дописавши її.