Reducing systems of linear differential equations to a passive form

In this paper, an application of the Riquer-Thomas-Janet theory is described for the problem of transforming a system of partial differential equations into a passive form, i.e., to a special form which contains explicitly both the equations of the initial system and all their nontrivial differential consequences. This special representation of a system markedly facilitates the subsequent integration of the corresponding differential equations. In this paper, the modern approach to the indicated problem is presented. This is the approach adopted in the Knuth-Bendix procedure [13] for critical-pair/completion and then Buchberger's algorithm for completion of polynomial ideal bases [13] (or, alternatively, for the construction of Groebner bases for ideals in a differential operator ring [14]). The algorithm of reduction to the passive form for linear system of partial differential equations and its implementation in the algorithmic language REFAL, as well as the capabilities of the corresponding program, are outlined. Examples illustrating the power and efficiency of the system are presented.     

A statistical approach to the solution of ill-posed problems in geophysics

The article surveys the main results of the statistical approach to the solution of ill-posed problems of mathematical physics, in application to specific ill-posed inverse problems in geophysics.Invited paper presented at the International Seminar on Mathematical Foundations of the Interpretation of Geophysical Fields, Moscow, May–June 1972.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 79, pp. 67–81, 1978.     

Organotellurides as a source of organometallics: application in the synthesis of (+/−)-frontalin

A masked lithium homoenolate, generated by tellurium/lithium exchange, was reacted with epoxides. The lithium compound was also converted into other organometallics such as Grignard, and cuprates and the reactivity of those organometallics with epoxides was evaluated. The same building block was employed in the synthesis of (+/−)-frontalin.     

Isotopic families of contact manifolds for elliptic PDE

A test for a function to be a solution of an elliptic PDE is given in terms of extensions, as solutions, from the boundaries inside the domains belonging to an isotopic family. It generalizes a result of Ehrenpreis for spheres moved along a straight line.

     

Temperature dependence of corundum roentgenoluminescence and thermoluminescence

Translated from Zhurnal Prikladnoi Spektroskopii, Vol. 54, No. 3, pp. 438–444, March, 1991.     

Compact spreads and compact translation planes over locally compact fields

We prove that a spread S over a locally compact nondlscrete field F defines a topological translation plane if and only if the spread is compact. For F=R, this is implicit in Breuning's thesis [Bre], cf. [B 2]. For the proof, we describe the point set of the projective translation plane as a quotient space of some projective space, with identifications taking place in one hyperplane. This is new even for F=R.     

Kalman filtering of a space-time Markov random field

In this paper, finite-dimensional recursive filters for space-time Markov random fields are derived. These filters can be used with the expectation maximization (EM) algorithm to yield maximum likelihood estimates of the parameters of the model.