Исследование - разрешимость
Cтраница 2
Центральное место в теории дифференциальных уравнений с особенностями в коэффициентах занимает исследование разрешимости начальных краевых и смешанных задач в их классической и обобщенной постановках, а также поиск новых корректно поставленных задач. Сравнительно полно исследованы краевые задачи для линейных эллиптич. [16]
Поэтому исследование вопросов разрешимости краевой задачи сводится в первую очередь к исследованию разрешимости интегрального уравнения и затем к выяснению вопроса, всякому ли решению интегрального уравнения соответствует решение ( ненулевое) краевой задачи. [17]
Многие известные алгоритмические проблемы - алгебры и топологии могут быть формулированы как задачи исследования разрешимости определенных классов отношений эквивалентности, и отрицательные решения таких проблем обычно получаются в виде утверждений о наличии неразрешимых отношений среди определенного тина отношений эквивалентности. [18]
Хоть и очень коротко, но все же кое-что мы рассказали читателю об исследовании разрешимости проблем. [19]
Обогащение потоковых моделей такими свойствами, как не детерминизм и распределенность процессов программы в вычислительной среде, а также обмен разнородными сообщениями ставит ряд серьезных проблем, связанных с исследованием разрешимости как самих моделей, так и задач их анализа. [20]
Такой подход позволяет строить вычислительные алгоритмы для широкого класса дифференциальных уравнений в том числе и для уравнений в частных производных. Исследование разрешимости, точности и устойчивости решения возникающих конечно разностных уравнений представляет собой основную и наиболее трудную часть теории численного решения дифференциальных уравнений. [21]
Коэффициенты этой линейной комбинации, являющиеся функционалами, действующими на искомый элемент X, подбираются так, чтобы полученное однородное уравнение имело лишь тривиальное решение. Подобные рассуждения часто применяются при исследовании разрешимости различных функциональных уравнений. [22]
Если метод сходится, то корень уравнения существует. Этим признаком мы будем часто пользоваться при исследовании разрешимости неявных разностных схем. [23]
 |
Диаграмма проходов по алгоритму распознавания. [24] |
В данной главе объектом анализа являются маркированные потоковые графы с произвольной семантической природой свойств дуг и вершин, отражающей характер обработки и взаимодействия процессов распределенных программ. Обобщение семантической природы меток дуг и вершин потокового графа программы требует исследования разрешимости как самих моделей вычислений, так и задач их анализа. [25]
Было установлено, что для значений х Оих тп - 1 вопросы разрешимости задачи Гильберта зависят только от величины этого индекса. В случаях х 0 и х m - 1 дело обстоит сложнее и для исследования разрешимости приходится привлекать еще другую характеристику - условие однозначности. Для каждого из рассматриваемых двух случаев возможны два подслучая в зависимости оттого, выполняются или не выполняются условия однозначности. [26]
Было установлено, что для значений х0 и хяг - 1 вопросы разрешимости задачи Гильберта зависят только от величины этого индекса. В случаях х 0 и к т - 1 дело обстоит сложнее и для исследования разрешимости приходится привлекать еще другую характеристику - условие однозначности. Для каждого из рассматриваемых двух случаев возможны два подслучая в зависимости от того, выполняются или не выполняются условия однозначности. [27]
Теорема 4.8 будет использована в гл. Для получения же глобальных оценок, которые требуются для исследования разрешимости, нужен вариант теоремы 4.8, применимый к пересечению области Г2 с полупространством. [28]
С одной стороны, псевдодифференциальные уравнения естественно возникают при изучении краевых задач для дифференциальных уравнений. При этом оказывается, что разрешимость полученного псевдодифференциального оператора эквивалентна разрешимости исходной краевой задачи. С другой стороны, теория псевдодифференциальных операторов оказывается очень полезной при изучении свойств дифференциальных уравнений. Например, для исследования разрешимости уравнений главного типа оказывается достаточным рассмотреть случай псевдодифференциальных уравнений первого порядка, что значительно облегчает исследование. [29]
Обо всех словах Q, к-рые при этом получаются ( в том числе и о самом исходном слове Р), говорят, что они эквивалентны Р в А. Это позволяет естественным образом сопоставить всякому А. Отсюда становится понятной важность исследования разрешимости алгоритмической проблемы распознавания эквивалентности слов в произвольном А. Эта проблема была впервые сформулирована А. Туз [1]; она заключается в том, что для произвольного А. [30]
Страницы: 1 2 3