Суждение P является необходимым условием суждения X, когда из (истинности) X следует (истинность) P. То есть, если P ложно, то заведомо ложно и X.
То есть необходимое условие как бы содержится в том, утверждении для которого оно является необходимым(при этом оно может является лишь "частью" из группы условий, которые в совокупности образуют "достаточность")
А.М. Ляпунов доказал ряд теорем, согласно которым об устойчивости нулевого решения x=0 нелинейной системы (2.1) можно судить по устойчивости ее линейной части
(2.2). Приведем некоторые из них для случая постоянной матрицы A1 = const.
Условие Липшица - это - как говорит нам БСЭ - ограничение на приращения функции(т. е. для функции, которая соотв. данному условию это ограничение должно выполняться)
ПРИМЕЧАНИЕ: приращение функций не должно превышать некий предел?
метод сводится к процедуре последовательных приближений для решения интегрального уравнения, к которому приводится исходное дифференциальное уравнение.
'Зада?ча Коши? — одна из основных задач теории дифференциальных уравнений (обыкновенных и с частными производными); состоит в нахождении решения (интеграла) дифференциального уравнения, удовлетворяющего так называемым начальным условиям (начальным данным).