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.     

Generalization of Murty's direct algorithm to linear and convex quadratic programming

Murty's algorithm for the linear complementarity problem is generalized to solve the optimality conditions for linear and convex quadratic programming problems with both equality and inequality constraints. An implementation is suggested which provides both efficiency and tight error control. Numerical experiments as well as field tests in various applications show favorable results.The author thanks K. G. Murty for his encouragement and helpful comments.     

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.     

The components of chi-squared statistics for goodness-of-fit tests

One obtains a formula for the transformation of a vector with a given covariance matrix. The sum of the squares of the components of the transformed vector is equal to a chi-square type quadratic form, constructed with the aid of the initial vector. Taking into account this property, one finds the components of the Pearson statistic, Pearson-Fisher statistic, etc.Translated from Veroyatnostnye Raspredeleniya i Matematicheskaya Statistika, pp. 337–350, 1986.