ИСТИНА

Пусть K=Q(x) - дифференциальное поле с производной d/dx. Пусть в линейной однородной дифференциальной системе S над K некоторые неизвестные (компоненты вектора неизвестных y=(y_1,...,y_n)^T) являются выделенными. Обозначим это множество выделенных неизвестных через s. Невыделенная неизвестная y_j системы S называется сателлитной для s, если минимальное подполе расширения Пикара-Вессио поля K системы S, содержащее все выделенные компоненты всех решений системы S, содержит также и компоненту y_j любого из решений системы. Предлагается алгоритм, позволяющий для заданной линейной дифференциальной системы полного ранга с выделенными неизвестными определять множество всех сателлитных неизвестных.