Cтраница 1
Доказательство разрешимости или неразрешимости диофантовых неравенств, параметры к-рых определены арифметич. [1]
Доказательство разрешимости уравнения (1.1) опирается на следующую лемму. [2]
Доказательство разрешимости системы уравнений (V.47) ( с прибавленными к ним операторами (V.48)) можно построить аналогично приведенному выше случаю первой основной задачи. [3]
Это обстоятельство дает доказательство разрешимости интуиционистской логики высказываний ( см. также обсуждение на с. Для данной формулы достаточно одновременно систематически искать ее вывод в интуиционистской логике высказываний и подбирать конечную модель, на которой эта формула опровергается. Один из этих процессов обязательно закончится в силу теоремы о полноте, и мы узнаем, выводима данная формула или нет. [4]
В приводимом ниже доказательстве разрешимости задачи перемещения массы при любой исходной функции ф е Ф0 () существенно используются указанные свойства () - слабой сходимости. [5]
Ближайшие параграфы будут посвящены доказательству разрешимости задачи Дирихле для уравнения Лапласа в областях весьма широкого класса. Доказательство основано на так называемом вариационном подходе к задаче и опирается на некоторые важные и интересные свойства интеграла Дирихле. [6]
ЗАМЕЧАНИЕ 6.5.5. В приведенном выше доказательстве разрешимости эллиптических уравнений в областях используется разбиения единицы, поэтому то же доказательство подходит в случае эллиптических уравнений на многообразиях с краем или без края. [7]
Истоки локального анализа содержатся в доказательстве разрешимости групп нечетного порядка - еще одно подтверждение необычайной важности теоремы Томпсона - Фейта. [8]
Помимо приведенного способа существуют и другие методы доказательства разрешимости рассматриваемой задачи. [9]
Одним из важнейших следствий рассматриваемых свойств решений является доказательство разрешимости задачи Коши (0.1), (0.2) для случая броуновской коагуляции, т.е. для ядра 6) в указанном списке ядер. [10]
Одним из важнейших следствий рассматриваемых свойств решений является доказательство разрешимости задачи Коши (0.1), (0.2) для случая броуновской коагуляции, т.е. для ядра 6) в указанном списке ядер. [11]
Обзорная статья [360] содержит ясное изложение различных аспектов осуществления процедуры доказательства разрешимости. [12]
Исторически эта техника восходит к Рабину и Скотту [7], которые использовали ее при доказательстве разрешимости проблемы эквивалентности конечных автоматов. [13]
Теорема ( ТА) теперь полностью доказана; мы можем перейти поэтому к нашей главной теме - к доказательству разрешимости аристотелевской силлогистики. [14]
Обращаем внимание на многочисленные дополнительные факты, изложенные в гл. В разделе 6.5 устанавливается, что доказательство разрешимости задачи Дирихле для уравнения (1.1) для достаточно широкого класса областей в случае непрерывнВ1х граничных значений может быть целиком осуществлено с помощью внутренних оценок, благодаря чему упрощается структура теории. В разделе 6.6 теория разрешимости задачи Дирихле распространяется на некоторый класс неравномерно эллиптических уравнений. Здесь мы увидим, как соотношения между геометрическими свойствами границы и вырождением на границе эллиптичности определяют непрерывное принятие граничных значений. Методы доказательств основаны на барьерной технике. Некоторые результаты предвосхищают аналогичные ( но более тонкие) результант для линейных уравнений, рассматриваемых во второй части книги. В разделе 6.7 теория уравнения (1.1) распространяется на регулярные задачи с косой производной. [15]