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.     

Existence and Stability for Spherical Crystals Growing in a Supersaturated Solution

We consider the growth of a spherical crystal in a supersaturatedsolution. In the first part, existence and uniqueness resultsfor radially symmetric growth are obtained, provided that thesupersaturation is not too large; conversely, when the far-fieldsupersaturation exceeds a critical value, it is shown that theradially symmetric solution ceases to exist in finite time.In the second part, we examine the linear stability of a radiallysymmetric similarity solution (in which the radius grows ast?) to shape perturbations. The results are compared with previousquasi-static analyses, and, in particular, the critical radiusat which the crystal becomes unstable is found to be largerfor small supersaturations, but smaller for large supersaturations,than those predicted by the quasi-static analysis     

The matrix equation AX-YB=C and related problems

The main result of the paper is a theorem, using which a new proof of Roth’s theorem is obtained, a new solvability criterion for the matrix equation AX-YB = C is proved, a formula for a particular solution of the latter is derived, and the least of the orders of square nonsingular matrices containing a given rectangular matrix as a submatrix is determined. Bibliography: 5 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 323, 2005, pp. 15–23.     

Scattering of surface plasmon polaritons by a nanoparticle with the inclusion of the magnetic dipole contribution

Using the method of the tensor Green’s function of the wave equation, the differential and total cross sections for the scattering of surface optical electromagnetic waves (surface plasmon polaritons) by a spherical nanoparticle into surface plasmon polaritons and light have been obtained with the inclusion of the magnetic dipole contribution. Using the example of noble metal systems, it has been shown that the magnetic dipole contribution may significantly affect the angular dependence of the differential cross sections and increase their anisotropy as the plasmon wavelength increases.     

Onset of crater formation during short pulse laser ablation

We report morphologic changes of metallic surfaces at the onset of ablation, starting from gentle ablation to the emergence of ablation craters. The evolution of both observed melting zones and of ablation craters therein are investigated in dependence of the ablation laser fluence for nanosecond ultraviolet laser pulses. Further, consequences of crater formation for cluster synthesis within the released atomic vapor are pointed out. PACS 52.38.Mf; 79.20.Ds; 65.40.De