A possible counterexample to well posedness of entropy solutions and to Godunov scheme convergence

A particular case of initial data for the two-dimensional Euler equations is studied numerically. The results show that the Godunov method does not always converge to the physical solution, at least not on feasible grids. Moreover, they suggest that entropy solutions (in the weak entropy inequality sense) are not well posed.

     

Geometrical method for determining the surface damage threshold for femtosecond laser pulses

A new geometrical method to determine the surface damage threshold for ultrashort pulses is presented. It consists in the formation of a surface damage profile by a movement of the sample across the laser beam focus. A single measurement of the maximum transversal dimension of this damage profile, which depends solely on the laser beam power, is used to calculate the local damage threshold intensity. It is also theoretically shown that the damage in the transverse dimension can be controlled under the diffraction-limited spot.     

Inverse Process with Independent Positive Increments: Finite-Dimensional Distributions

An inverse process with independent positive increments is considered. For such a process, the first hitting time τ_x of level x as a function of x ≥ 0 is a proper process with independent positive increments. In terms of first hitting times and their Levy measures, multidemensional distribution densities and Laplace transformations are derived. Stationary distributions of increments of the process are investigated. Bibliography: 8 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 311, 2004, pp. 286–297.     

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.     

A detailed study of the generation of optically detectable watermarks using the logistic map

A digital watermark is a visible, or preferably invisible, identification code that is permanently embedded in digital media, to prove owner authentication and provide protection for documents. Given the interest in watermark generation using chaotic functions a detailed study of one chaotic function for this purpose is performed. In this paper, we present an approach for the generation of watermarks using the logistic map. Using this function, in conjunction with seed management, it is possible to generate chaotic sequences that may be used to create highpass or lowpass digital watermarks. In this paper we provide a detailed study on the generation of optically detectable watermarks and we provide some guidelines on successful chaotic watermark generation using the logistic map, and show using a recently published scheme, how care must be taken in the selection of the function seed.     

Dependence of the Phase Transition Temperature on the Domain Size

Dependence of the phase transition temperature on the domain size is investigated for a double-well quadratic potential. It is shown that for a domain whose boundary is subjected to a hydrostatical pressure, the temperature of phase transitions is independent of the domain and the surface tension coefficient and depends exclusively on the properties of the elastic media. If the displacement field vanishes on the boundary, then for sufficiently small domains, the temperature also does not depend on the surface tension and domain size and is determined by properties of the elastic media only. Bibliography: 8 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 310, 2004, pp. 98–113.     

Continuum Limit of the Volterra Model, Separation of Variables and Non-Standard Realizations of the Virasoro Poisson Bracket

The classical Volterra model, equipped with the Faddeev-Takhtajan Poisson bracket provides a lattice version of the Virasoro algebra. The Volterra model being integrable, we can express the dynamical variables in terms of the so-called separated variables. Taking the continuum limit of these formulae, we obtain the Virasoro generators written as determinants of infinite matrices, the elements of which are constructed with a set of points lying on an infinite genus Riemann surface. The coordinates of these points are separated variables for an infinite set of Poisson commuting quantities including L ₀. The scaling limit of the eigenvector can also be calculated explicitly, so that the associated Schroedinger equation is in fact exactly solvable.     

Global stability of the Armstrong-Frederick model with periodic biaxial inputs

The paper is concerned with the study of plasticity models described by differential equations with stop and play operators. We suggest sufficient conditions for the global stability of a unique periodic solution for the scalar models and for the vector models with biaxial inputs of a particular form, namely the sum of a uniaxial function and a constant term. For another class of simple biaxial inputs, we present an example of the existence of unstable periodic solutions. The paper was written during the research stay of D. Rachinskii at the Technical University Munich supported by the research fellowship from the Alexander von Humboldt Foundation. His work was partially supported by the Russian Science Support Foundation, Russian Foundation for Basic Research (Grant No. 01-01-00146, 03-01-00258), and the Grants of the President of Russia (Grant No. MD-87.2003.01, NS-1532.2003.1). The support is gratefully acknowledged.     

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.