2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Построение ряда Штурма для многочлена
Сообщение02.09.2010, 18:11 
Здравствуйте!

Имеется многочлен с действительными коэффициентами.
$$f(x) = a_nx^n + \dots + a_0, \quad n\geq3$$

Пользуясь Википедией (Теорема_Штурма) Строю ряд Штурма таким образом:

$$f_0(x) = \frac{f(x)}{(f(x),f'(x))}$$

Он не содержит кратных корней исходного многочлена.

$$f_1(x) = f_0^'(x)$$$$f_{k+1}(x) = -f_k(x)\mod f_{k-1}(x), \quad \textrm{если $f_k$ имеет корни.}$$

Вопрос по последнему равенству.
$f_k$ должен иметь вещественные корни или в т.ч. комплексные?

Если да, то: на степени 2 я должен проверять $D(f_k)$, и, если он отрицателен, останавливать построение ряда?

 
 
 
 Re: Построение ряда Штурма для многочлена
Сообщение02.09.2010, 18:31 
Остановку можно производить если очередной многочлен не меняет знак на интервале на котором считается количество корней. Это равносильно тому что у него нет действительных корней на этом интервале.

 
 
 
 Re: Построение ряда Штурма для многочлена
Сообщение02.09.2010, 18:44 
А если интервал заранее неизвестен? (гипотетически).

 
 
 
 Re: Построение ряда Штурма для многочлена
Сообщение02.09.2010, 18:46 
Если интервал неизвестен, то он по умолчанию полагается $(-\infty; +\infty)$

 
 
 
 Re: Построение ряда Штурма для многочлена
Сообщение02.09.2010, 19:54 
The DEADman в сообщении #349165 писал(а):
А если интервал заранее неизвестен? (гипотетически).

Поскольку всегда известна оценка радиуса области всех корней, то этот радиус, как максимум, всегда можно приспособить для определения интервала. Но применение самой теоремы Штурма для подсчёта корней как-то уж больно громоздко, несовременно, да и вообще… Есть в наше время много более простые способы одновременного вычисления корней и подсчёта их количества, особенно, если они вещественные…

 
 
 
 Re: Построение ряда Штурма для многочлена
Сообщение02.09.2010, 20:40 
Можете названия сказать?

 
 
 
 Re: Построение ряда Штурма для многочлена
Сообщение02.09.2010, 22:59 
Дело не в современности или несовременности, эффективность мне не столь важна; в вопросе хочется разобраться.

Большое спасибо за Ваш критерий остановки построения ряда. Таким образом, я получаю ответ на свой первоначальный вопрос: если на всем $(-\infty; +\infty)$ квадратный трехчлен имеет $D<0$, то он не не меняет знака ни при каких условиях и, соответственно, дальнейшее продолжение ряда Штурма бессмысленно.

Про вышеупомянутые высокоэффективные методы краем уха тоже хотелось бы услышать.

 i  Обсуждение предлагаемого участником alekcey способа одновременного вычисления корней и подсчёта их количества выделено в самостоятельную тему в разделе «Дискуссионные темы (М)».

 
 
 
 Re: Построение ряда Штурма для многочлена
Сообщение07.09.2010, 13:21 
Кто-нибудь знает насколько точно можно посчитать систему Штурма на компьютере?

 
 
 [ Сообщений: 8 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group