Cтраница 1
Полученное противоречие доказывает расходимость данной последовательности. [1]
Полученное противоречие доказывает, что пересечение внутренности конуса концевых вариаций К и конуса запрещенных вариаций Q должно быть пусто. [2]
Полученное противоречие доказывает лемму. Первое из утверждений теоремы доказано. [3]
Полученное противоречие доказывает лемму. [4]
Полученное противоречие доказывает необходимость. [5]
Полученное противоречие и доказывает данную лемму. [6]
Полученное противоречие доказывает положительность решения в области его существования. Предельный переход к неотрицательным начальным данным с учетом свойства устойчивости решения позволяет установить неотрицательность соответствующего решения. [7]
Полученное противоречие доказывает достаточность условий теоремы. [8]
Полученное противоречие и доказывает лемму. [9]
Полученное противоречие показывает, что неравенство (2.24) не может выполняться. [10]
Полученное противоречие доказывает теорему. [11]
Полученное противоречие показывает, что при выполнении условий теоремы интегральное многообразие (15.6) устойчиво по отношению к компонентам вектора Y равномерно по отношению к компонентам вектора X. Следовательно, по теореме 15.1 равновесный режим (15.2) системы (15.1) устойчив. [12]
Полученное противоречие завершает доказательство леммы. [13]
Полученное противоречие означает, что управление u ( i) оптимально. [14]
Полученное противоречие означает, что управление u ( t) оптимально, и тем самым теорема полностью доказана. [15]