Cтраница 4
Удобство сформулированной теоремы по сравнению с теоремой 2 состоит в том, что ядро Ни ( s, t, x0 ( t)) - вырожденное, так что резольвенту G0 ( s, t) легко найти. [46]
Доказательство сформулированной теоремы легко может быть получено как следствие установленного ранее критерия оптимальности ( § 10), хотя существуют и независимые ее доказательства. [47]
Доказательство сформулированной теоремы выполняется очень просто, если основываться на асимптотической формуле Стерлинга. [48]
Доказательство сформулированной теоремы слишком сложно для того, чтобы его здесь приводить. [49]
Из сформулированной теоремы следует, что возможность появления у нетривиальных решений уравнения ( 54) нулей кратности k n является главным специфическим свойством решений таких уравнений, связанным с наличием запаздывания. [50]
Доказательство сформулированной теоремы осуществляется следующим образом. Из предложения 1.9 вытекает, что автомат В эквивалентен автомату А. Ввиду же полной определенности автомата В его нормальная форма С, являясь его эквивалентным продолжением ( предложение 9.7), окажется просто эквивалентной ему, а значит, и автомату А. [51]
Справедливость сформулированной теоремы тесно связана с тем, что, как было показано на стр. [52]