Теорема - тип
Cтраница 3
Изотропная секционная кривизна пригодна также и для теорем типа Рауха. [31]
Для рассматриваемой краевой задачи имеет место аналог осцилляционпой теоремы типа Штурма. Расположенные на полуоси А, АО собствегпгые значения к ] аовой задачи ( 20), ( 21) образуют неограниченно возрастающую последовательность Яд, A. [32]
В других результатах, к-рые можно назвать сильными теоремами типа Фрагмена - Линделефа, за счет ограничения на границе на саму функцию и не нормальную производную получается более сильное утверждение о росте. [33]
 |
Характер поведения F-функции в теоремах Ляпунова ( 1 и Барбашина-Красовского ( 2. [34] |
Сначала были найдены условия, позволяющие перенести классическую схему доказательства теорем типа Барбашина-Красовского на ЧУ-задачу. [35]
Полученные локальные оценки градиентов используются в этой главе для получения теорем лиувиллевского типа и ( в одном специальном случае) для доказательства неравенства Гарнака. Двусторонние лиувиллев - Ские теоремы, состоящие в утверждении, что всякое ограниченное по модулю или имеющее не слишком большой рост по модулю при р - оо решение есть тождественная константа, установлены в статьях [43] - для нелинейного уравнения Пуассона Ди / ( и, Vu) и [26] - для квазилинейных эллиптических уравнений вида aij ( Vu) их. [36]
Этот факт эквивалентен существованию в кольце V2 ( () тауберовских теорем винеровского типа. [37]
Как и в числовом случае, многое здесь основывается на теоремах типа Лебега - Радона - Никодима. [38]
Для некоторых задач трудно построить функции Ляпунова, и нужен аналог теорем типа Разумихина, приведенных в разд. Прежде чем сформулировать такой результат для НФДУ, нужно ввести некоторые дополнительные обозначения. [39]
Для суперингулярных поверхностей построен аналог отображения периодов, и для него тоже доказана теорема типа Торелли. Многообразие периодов здесь ыеириводимо, полно, имеет размерность 9 и унирационально. [40]
То, что из ( ii) следует ( i), является теоремой типа Абеля, и ее доказательство мы предоставляем читателю. [41]
В лекциях Нечаса [1] вопрос о гладкости ( особенно дифференцируемости) решений эллиптических систем связывается со справедливостью теорем типа Лиувилля. [42]
Замечание 46.3. Отметим, что весьма существенными являются теоремы Соболева о вложении, на основе которых можно сформулировать теоремы типа 46.3. В свою очередь на основании уже этих теорем можно принимать решение о том, каковы для данного уравнения ( или для данной задачи) должны быть условия, достаточные для того, чтобы это уравнение ( или задача) имело классическое решение. Тем не менее, чтобы на основании этих теорем вложения обеспечить существование классического решения рассматриваемой задачи, необходимы довольно сильные предположения. [43]
Когда в программе встречается удаление элемента данных из системного набора данных ( оператор ERASE), выполняются все теоремы типа erasing, стереотипы которых совпадают с удаляемым элементом. Рекурсии в теоремах этого типа нет, операции внутри теоремы выполняются непосредственно. Смысл данной теоремы состоит в следующем: если кубик В поддерживал кубик А, а кубик А удаляется, то кубик В больше уже ничего не поддерживает. [44]
Поскольку, как мы неоднократно замечали, случайные величины как функции от элементарного события обычно не наблюдаются, теоремы типа усиленного закона больших чисел вряд ли могут, с прикладной точки зрения, дать больше, чем обычный закон больших чисел. [45]
Страницы: 1 2 3 4