Выделенное значение

Cтраница 3

Независимость схем ( S, ( S2), ( S5), ( Se) и ( S8) получается с помощью тех оценок, посредством которых мы в гл. При этом из упомянутых оценок здесь нужно взять только определения значений для импликации, конъюнкции и отрицания. Доказательство независимости с помощью такого рода оценки для любой данной схемы ( 5Л проводится следующим образом. Сначала для каждой отличной от ( i) схемы из списка ( Si) - ( S8), являющейся схемой формул, мы показываем, что каждая построенная по этой схеме I-K-N - формула на основании рассматриваемой оценки при произвольных значениях переменных принимает только вполне определенные, выделенные значения; затем для каждой из остальных, отличных от ( 5Л схем мы показываем, что от формул, принимающих только выделенные значения, эта схема снова ведет к формуле, также обладающей этим свойством. Тогда отсюда получается, что каждая I-K-N - формула, выводимая по отличным от ( S () схемам, при любых значениях формульных переменных принимает выделенное значение. С другой стороны, указывается тождественно истинная I-K-N - формула, которая при некоторых значениях формульных переменных на основании рассматриваемой оценки принимает невыделенное значение. [31]

О функции ЧГ, удовлетворяющей волновому уравнению, можно сказать хотя бы то, что она; определяет движение частиц так же, как световая волна определяет движение фотонов. Туда, где W равна нулю, не приходит ни одна частица. Поэтому, если мы хотим найти решение, соответствующее движению электрона в атоме, то, по крайней мере на бесконечности, W должна равняться нулю, так как электрон, принадлежащий атому, туда попасть не может. Далее, мы должны потребовать от имеющего физический смысл решения, чтобы оно в любой конечной области было непрерывной и однозначной функцией координат. Этих требований достаточно, чтобы определить выделенные значения энергии, которые в старой квантовой теории выбирались из, большого числа механически возможных решений лишь путем введения дополнительного квантового условия. Можно показать, что требование однозначности при достаточно большой периодической траектории идентично старым квантовым условиям. [33]

Диаграммы эволюционности и допустимые разрывы в композитных материалах для случаев h О ( а и h О ( Ь. [35]

Если оно достаточно мало, то при движении массивная точка совершает несколько колебаний вдоль желоба, каждый раз проходя через окрестность точки А. В этом случае имеется единственная возможность, а именно: при % - ос массивная точка стремится к неустойчивой ( седловой) особой точке А. Это означает, что для этих значений W ударная волна А - S имеет структуру. Как видно из рис. 7.17 а, ударная волна А - S является априори неэволюционной. Она становится эволюционной в случае, если ее скорость равна одному из выделенных значений, при которых существует структура ударной волны. Это равенство должно рассматриваться как дополнительное условие на разрыве. В этом смысле ударный фронт подобен фронту горения в горючей смеси, для которого также имеется одно дополнительное соотношение, определяющее скорость фронта. [36]

Страницы: 1 2 3