Все выпуски

Рассматривается новое конструктивное понимание логических формул, согласованное с интуицией и с традиционными средствами конструктивного логического вывода. Новое понимание логически проще традиционной реализуемости (в смысле кванторной глубины), но является также естественным с точки зрения алгоритмического решения задач. Это понимание, кроме свидетельства (реализации, подтверждения) понимаемой формулы, привлекает понятия теста (противодействия, препятствия) этой реализации на данной формуле. Для понимания формулы $A$ рассматриваются предложения вида $a:A:b.$ Это предложение означает, что объект $a$ (выдвигаемый в подтверждение формулы $A$) выигрывает у объекта $b$ (который противодействует выполнению формулы $A$) формулу $A$ в процессе осуществления специальной процедуры сопоставления этих объектов друг с другом и с данной формулой. Данная процедура может считаться некоторой процедурой арбитража для вынесения необходимого решения. Базис процедуры арбитража для атомарных формул задается интерпретацией языка. Процедура для сложных предложений задается специальными правилами определения смысла логических связок. При наиболее естественном определении процедура арбитража имеет полиномиальную временную сложность. Формула $A$ считается истинной в новом смысле этого слова, если имеется подтверждение, выигрывающее ее у всех возможных противодействий. Рассматривается логический язык без отрицаний. Доказана теорема о корректности в новом смысле традиционных интуиционистских аксиом и правил вывода. При этом рассматривается секвенциальное логическое исчисление, ориентированное на обратный метод поиска вывода.

A new constructive understanding of logical formulas is considered. This understanding corresponds to intuition and traditional means of constructive logical inference. The new understanding is logically simpler than traditional realizability (in the sense of quantifier depth), but it also natural with respect to algorithmic solution of tasks. This understanding uses not only witness (realization) of the formula to understand but it also uses notion of test (counteraction) of this realization at the given formula. The main form of a sentence to understand a formula $A$ is $a:A:b$, that means that “the witness $a$ wins the obstacle $b$ while trying to approve the formula $A$”. This procedure can be regarded as a procedure of arbitration for making the necessary solution. The basis of the arbitration procedure for atomic formulas is defined by the interpretation of the language. The procedure for complex sentences is given by special rules determining the meaning of logical connectives. In the most natural definition of the arbitration procedure it has polynomial time complexity. A formula $A$ is considered to be true in the new sense if there is a witness of the formula that wins all possible obstacles at the formula. A language without negation is considered. A theorem of correctness of traditional intuitionistic axioms and inference rules is proved. The system of logical inference is formulated in sequent form. It is oriented to the inverse method of logical inference search.

В современной физической литературе неоднократно возникала потребность в формулах, позволяющих в квантовой одномерной задаче рассеяния свести вычисление вероятности отражения (прохождения) для потенциала, состоящего из нескольких «барьеров», к вероятностям отражения и прохождения через эти «барьеры». В настоящей работе исследуется задача рассеяния для разностного оператора Шрёдингера с потенциалом, являющимся суммой N функций (описывающих «барьеры» или «слои») с попарно непересекающимися носителями. С помощью уравнения Липпмана-Швингера доказана теорема, позволяющая вычисление амплитуд отражения и прохождения для данного потенциала свести к вычислению амплитуд отражения и прохождения для слагаемых. Для N=2 получены простые явные формулы, осуществляющие такое сведение. Рассмотрены частные случаи четного первого барьера и двух одинаковых четных (после соответствующих сдвигов) барьеров. Разумеется, аналогичные результаты справедливы и для вероятностей отражения и прохождения. Получено простое уравнение для нахождения резонансов двухбарьерной структуры в терминах амплитуд для каждого из двух барьеров.

В статье также приведена иная схема доказательства полученных результатов, основанная на разложении в ряд T-оператора, позволяющая обосновать физические представления о рассеянии на многослойной структуре как о многократном рассеянии на отдельно взятых слоях. При доказательстве утверждений используется известный прием сведения уравнения Липпмана-Швингера к «модифицированному» уравнению в гильбертовом пространстве, что позволяет, в свою очередь, воспользоваться теорией Фредгольма. Конечно, все полученные результаты остаются справедливыми и для «непрерывного» оператора Шрёдингера, а выбор дискретного подхода обусловлен его растущей популярностью в квантовой теории твердого тела.

In modern physics literature, the need for formulas that permit, in a quantum one-dimensional problem, to reduce a calculation of the reflection (transmission) probability for the potential consisting of some “barriers” to the reflection and transmission probabilities over these “barriers” repeatedly occurred. In this paper, we study the scattering problem for the difference Schrodinger operator with the potential which is the sum of N functions (describing the “barriers” or “layers”) with pairwise disjoint supports. With the help of the Lippmann-Schwinger equation, we proved the theorem which reduces the calculation of the reflection and transmission amplitudes for this potential, to the calculation of the ones for these barriers. For N=2 simple explicit formulas which realized this reduction were obtained. The particular cases for the even first barrier and two identical even (after appropriate shifts) barriers were studied. Of course, the similar results hold for the reflection (transmission) probabilities. We obtained the simple equation for the double-barrier structure resonances in terms of the amplitudes of each of the two barriers.

In the paper, we also present the alternative scheme of the proof of the obtained results which are based on the series expansion of the T-operator. This approach substantiates the physical understanding of the scattering by a multilayer structure as multiple scattering on separate layers. To proof the theorems, the known method of reduction of the Lippmann-Schwinger equation to the “modified” equation in a Hilbert space is used. Of course, all the results remain valid for the “continuous” Schrodinger operator, and the choice of the discrete approach is due to its growing popularity in the quantum theory of solids.

Сопоставляя реальному пространству декартову систему координат (линейное векторное пространство), И. Ньютон рассматривал его как вместилище и не наделял какой-либо внутренней структурой. Такой подход приводит к феноменологическому описанию экспериментально наблюдаемых силовых полей и вынуждает каждому силовому полю сопоставлять источник. Некорректная, однако, весьма эффективная в вопросах статики интерпретация алгебры Клиффорда в виде аналитической геометрии, получившая повсеместное признание благодаря усилиям Хевисайда, не является алгеброй в ее математическом понимании. Следствием этого является, например, отсутствие в классической механике меры (спин), наблюдаемой экспериментально.
В отличие от такого подхода в работе реальному пространству сопоставляется векторное пространство, обладающее алгеброй Клиффорда, что позволяет вводить меры, связанные с понятиями триада, четыреада, и допускают совместное рассмотрение большого количества трехмерных полей. Объектам реальности, которые обозначаются терминами «заряд», «точечная масса», сопоставляются силовые поля, объясняющие результаты экспериментов, лежавших в основе квантовой механики в прошлом веке. Особенности силовых полей отнесены к особенностям метрики и допускают существование статически устойчивых образований без каких-либо дополнительных постулатов.

Assigning the Cartesian coordinate system to real space (linear vector space), I. Newton considered it as a container and didn't associate it with any internal structure. Such an approach leads to the phenomenological description of experimentally observed force fields and compels to attribute a source to each force field. Incorrect (but effective in the aspect of static) interpretation of Clifford algebra in the form of analytical geometry which gained universal recognition thanks to Heaviside's efforts is not algebra in its mathematical understanding. A corollary of this fact is, for example, the absence of concept of measure (spin) in classical mechanics that is experimentally observed.
In contrast to such approach, we assign the vector space having Clifford algebra to real space. This allows us to introduce measures connected with concepts of triad and quadruple and permits a joint consideration of a large number of three-dimensional fields. With objects of reality which are designated by terms of charge and dot mass we associate the force fields explicating the results of experiments that formed the basis of quantum mechanics last century. Features of force fields are referred to as features of a metric and permit existence of statically steady formations without any additional postulates.

В работе рассмотрены вопросы о гамильтонизации и интегрируемости неголономной задачи Суслова и ее обобщения, предложенного Чаплыгиным. Вопросы важны для понимания качественных особенностей динамики этой системы и, в частности, связаны с нетривиальным асимптотическим поведением (то есть некоторой задачей рассеяния). Статья развивает общий подход авторов, основанный на изучении иерархии динамического поведения неголономных систем.

We consider the problems of Hamiltonian representation and integrability of the nonholonomic Suslov system and its generalization suggested by S.A. Chaplygin. These aspects are very important for understanding the dynamics and qualitative analysis of the system. In particular, they are related to the nontrivial asymptotic behaviour (i.e. to some scattering problem). The paper presents a general approach based on the study of the hierarchy of dynamical behaviour of nonholonomic systems.