Кіріспе

Басқару жүйесі теориясындағы математикалық тест. Басқару жүйесі теориясында Рут-Хурвиц тұрақтылық критерийі – сызықтық уақыт инварианты (LTI) динамикалық жүйе немесе басқару жүйесінің тұрақтылығы үшін қажетті және жеткілікті шарт болып табылатын математикалық тест. Тұрақты жүйе – шығыс сигналы шектелген жүйе; уақыт өте келе оның орны, жылдамдығы немесе энергиясы шексіздікке дейін өспейді. Рут тесті – ағылшын математигі Эдвард Джон Рут 1876 жылы сызықтық жүйенің сипаттамалық көпмүшесінің барлық түбірлерінің теріс нақты бөліктері бар екенін анықтау үшін ұсынған тиімді рекурсивті алгоритм. Неміс математигі Адольф Хурвиц 1895 жылы Хурвиц матрицасы деп аталатын квадрат матрицаға көпмүшенің коэффициенттерін орналастыруды ұсынды және көпмүше оның негізгі кіші матрицаларының детерминанттары тізбегі оң болса ғана тұрақты екенін көрсетті. Екі процедура да эквивалентті, бірақ Рут тесті Хурвиц детерминанттарын тікелей есептеуге қарағанда тиімдірек тәсіл ұсынады. Рут-Хурвиц критерийін қанағаттандыратын көпмүше Хурвиц көпмүшесі деп аталады. Критерийдің маңыздылығы – теріс нақты бөліктері бар сызықтық жүйенің сипаттамалық теңдеуінің түбірлері жүйенің тұрақты (шектелген) шешімдерін көрсетеді. Осылайша, критерий жүйені тікелей шешпей, сызықтық жүйенің қозғалыс теңдеулерінің тек тұрақты шешімдері бар-жоғын анықтауға мүмкіндік береді. Дискретті жүйелер үшін сәйкес тұрақтылықты тексеру үшін Шур-Кон критерийі, Жюри тесті және Бистриц тесті қолданылуы мүмкін. Компьютерлердің пайда болуымен бұл критерийдің қолданылуы азайды, себебі балама ретінде көпмүшені сандық түрде шешіп, түбірлерге жуықтама алуға болады. Рут тестін Евклид алгоритмі мен Штурм теоремасын қолданып, Коши индекстерін бағалау арқылы шығаруға болады. Хурвиц өзінің шарттарын басқа тәсілмен алған.

Матрицаларды қолдану

f(z) – кешенді полином болсын. Процесс былай жүзеге асырылады:
y – нақты сан болғанда, және полиномдарын есептеңіз, мұндағы . және полиномдарына қатысты Сильвестр матрицасын есептеңіз. Әрбір қатарды сондай етіп қайта орналастырыңыз, әртұрлы қатарлардың және одан кейінгі қатардың басындағы нөлдердің саны бірдей болсын. Осы матрицаның әрбір бас кіші анықтамасын есептеңіз. Егер кіші анықтамалардың кем дегенде біреуі теріс (немесе нөл) болса, онда f полиномы тұрақты емес.