Definition and properties of characteristic frequencies of a linear equation

The definition of the characteristic frequencies of zeroes and changes of sign for solutions is given. It is equal to the upper medium (with respect to the time half-axis) of their number on the half-interval of length π. We also define the main frequencies for a linear homogeneous equation of order n. These main frequencies for an equation with constant coefficients coincide with the absolute values of the imaginary parts of the roots of the corresponding characteristic polynomial. It is proved that for the second-order equation the main frequencies are the same for all solutions and that they are stable with respect to uniformly small and infinitely small perturbations of the coefficients. For the third-order equation they can be different, and for any of the main frequencies an example of nonstability is given. __________ Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 25, pp. 249–294, 2005.     

Mass Power Spectrum in a Universe Dominated by the Chaplygin Gas

The mass power spectrum for a Universe dominated by the Chaplygin gas is evaluated numerically from scales of the order of the Hubble horizon to 100 Mpc. The results are compared with a pure baryonic Universe and a cosmological constant model. In all three cases, the spectrum increases with k, the wavenumber of the perturbations. The slope of the spectrum is higher for the baryonic model and smaller for the cosmological constant model, the Chaplygin gas interpolating these two models. The results are analyzed in terms of the sound velocity of the Chaplygin gas and the moment the Universe begins to accelerate.     

An unstructured mesh finite volume method for modelling saltwater intrusion into coastal aquifers

In this paper, a two-dimensional finite volume unstructured mesh method (FVUM) based on a triangular background interpolation mesh is developed for analysing the evolution of the saltwater intrusion into single and multiple coastal aquifer systems. The model formulation consists of a ground-water flow equation and a salt transport equation. These coupled and non-linear partial differential equations are transformed by FVUM into a system of differential/algebraic equations, which is solved using backward differentiation formulas of order one through five. Simulation results are compared with previously published solutions where good agreement is observed.     

A STUDY OF VARIOUS BARRIERS IN ENCLOSED SOUND FIELD BY USING THE COMPUTER PROGRAM—SOFIS

In the study of the behaviors of barriers in an enclosed field, one should take into account such phenomena as sound energy reflection, absorption, scattering and diffraction. Therefore, the study is much more difficult than that in free field. In this paper, sound barriers are classified into four kinds according to their size, number and shape. Each kind of barriers is modelled by a corresponding method based on a computer program—SOFIS. The program combines the ray-tracing technique and statistical method. The impulse response and some acoustical parameters such as sound pressure level at different positions can be calculated by the program, no matter there are a certain kind of barriers in the field or the field is empty. The ray-tracing program and the algorithms for various barriers are validated by the comparison between measurement and prediction of the reverberation room and the anechoic room of the Northwestern Polytechnic University.     

Characteristics of propagation of light beams in gyrotropic crystals

Translated from Zhurnal Prikladnoi Spektroskopii, Vol. 54, No. 5, pp. 815–819, May, 1991.     

Kaplansky conjecture in the theory of quadratic forms

This article considers the splitting properties of finite-dimensional division rings over universal splitting fields of quadratic forms. An example of a field with u-invariant equal to 6 is constructed, which contradicts Kaplansky's conjecture concerning u-invariants.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im, V. A. Steklova Akademii Nauk SSSR, Vol. 175, pp. 75–89, 1989.     

Piecewise-linearized methods for oscillators with limit cycles

A piecewise linearization method based on the linearization of nonlinear ordinary differential equations in small intervals, that provides piecewise analytical solutions in each interval and smooth solutions everywhere, is developed for the study of the limit cycles of smooth and non-smooth, conservative and non-conservative, nonlinear oscillators. It is shown that this method provides nonlinear maps for the displacement and velocity which depend on the previous values through the nonlinearity and its partial derivatives with respect to time, displacement and velocity, and yields non-standard finite difference formulae. It is also shown by means of five examples that the piecewise linearization method presented here is more robust and yields more accurate (in terms of displacement, energy and frequency) solutions than the harmonic balance procedure, the method of slowly varying amplitude and phase, and other non-standard finite difference equations.     

Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method

Some geometric theorems can be stated in coordinate-free form as polynomials in Grassman algebra and can be proven by the anticommutative Gröbner basis method. In this article, we analyze some properties of both sets of hypotheses and conclusions of the theorem.