Cтраница 2
Доказательство достаточности этих условий далеко не тривиально, особенно когда область Q отлична от всего Rn. [16]
Доказательство достаточности опирается на существование и свойства фундаментальной функции итерированного оператора Лапласа Afe. [17]
Доказательство достаточности дается в Интегральном исчислении. Нелишне отметить, что хотя в § § 226 - 228 и дается общее доказательство упомянутой теоремы ( идею которого нетрудно усмотреть в современном строгом доказательстве), предварительно Эйлер считает нужным убедиться в справедливости теоремы для частного случая однородной функции. [18]
Доказательство достаточности более сложно. Следующий пример показывает, что при отсутствии полной детерминированности движения принцип виртуальных перемещений может не иметь места. [19]
Доказательство достаточности предлагаем читателю провести самостоятельно. [20]
Доказательство достаточности будем вести от противного и предположим, что тензор с симметричен, но тензоры а и b несоосны. [21]
Доказательство достаточности этого условия такое же, как и во второй теореме, поэтому мы его здесь опускаем. [22]
Доказательство достаточности наших правил по сложности намного превосходит любое из приведенных выше доказательств, и мне не хотелось бы обременять читателя излишними подробностями. [23]
Доказательство достаточности в теореме Рейка справедливо вплоть до заключения (21.71): AUk - О при k - оо. [24]
Доказательство достаточности более сложно. [25]
Доказательство достаточности получается непосредственным обобщением обычного доказательства для случая основания Ь: мы последовательно строим требуемое представление. Доказательство необходимости разбивается на две части. Если для некоторого п число Pn i больше 2 лС Р TO Р - ц - е не допускает представления при малых к. Если Рл i 2fenc Pft для всех п, но равенство выполняется не всегда, то можно показать, что некоторое х допускает два представления. [26]
Доказательство достаточности (4.9) и (4.10) дает возможность использовать алгоритм построения расписания, если исходные данные совместны. Воспользовавшись приведенным алгоритмом, задачу построения расписания для простейшего случая задания условий легко решить. [27]
Доказательство достаточности, которое состоит в построении декодирующего конечного автомата, стандартно и здесь опускается. [28]
Доказательство достаточности мы опускаем. [29]
Поскольку доказательство достаточности значительно длиннее, оно здесь не приводится. Интересующихся отсылаем к книгам по тензорному анализу или теории упругости. [30]