Closed geodesics on multiply connected manifolds

The existence of a finite number of non-hyperbolic periodic trajectories in Kirchhoff's problem of the motion of a rigid body in an ideal fluid as well as in its twin problem of the motion of a rigid body with a fixed point in a force field with a quadratic potential is proved using one of Klingenberg's theorems. The dynamical system is considered on a multiply connected manifold of even dimension with a Riemann metric.     

Uniqueness of transonic shock solutions in a duct for steady potential flow

We study the uniqueness of solutions with a transonic shock in a duct in a class of transonic shock solutions, which are not necessarily small perturbations of the background solution, for steady potential flow. We prove that, for given uniform supersonic upstream flow in a straight duct, there exists a unique uniform pressure at the exit of the duct such that a transonic shock solution exists in the duct, which is unique modulo translation. For any other given uniform pressure at the exit, there exists no transonic shock solution in the duct. This is equivalent to establishing a uniqueness theorem for a free boundary problem of a partial differential equation of second order in a bounded or unbounded duct. The proof is based on the maximum/comparison principle and a judicious choice of special transonic shock solutions as a comparison solution.     

On the acceleration of shock waves and concentration of energy

By a series of simple examples related to exact solutions of problems in gas dynamics and magnetohydrodynamics, possible mechanisms of acceleration of shock waves and concentration of energy are elucidated. The acceleration of a shock wave is investigated in the problem of motion of a plane piston at a constant velocity in the case when the initial density of the medium drops in the presence of constant counterpressure. It is shown that in this situation a “blow-up” regime is induced by a shock wave going to infinity in finite time even for limited work of the piston. A simple spherically symmetric solution with a converging shock wave is constructed and shown to lead to the concentration of energy. A general method for solving one-dimensional non-self-similar problems related to matching the equilibrium state to a motion with homogeneous deformation on a shock wave is discussed; this method leads to a solution in quadratures.     

Frames for operators

Frames in Hilbert spaces are a redundant set of vectors which yield a representation for each vector in the space. In the present paper, we give a generalization of frames, which allows, in a stable way, to reconstruct elements from the range of a linear and bounded operator in a Hilbert space.     

Left versus right canonical Wiener-Hopf factorization and realization

For an arbitrary rational matrix function, not necessarily analytic at infinity, the existence of a right canonical Wiener-Hopf factorization is characterized in terms of a left canonical Wiener-Hopf factorization. Formulas for the factors in a right factorization are given in terms of the formulas for the factors in a given left factorization. All formulas are based on a special representation of a rational matrix function involving a quintet of matrices.     

A Linear Programming Construction of Fully Optimal Bases in Graphs and Hyperplane Arrangements

The fully optimal basis of a bounded acyclic oriented matroid on a linearly ordered set has been defined and studied by the present authors in a series of papers, dealing with graphs, hyperplane arrangements, and oriented matroids (in order of increasing generality). This notion provides a bijection between bipolar orientations and uniactive internal spanning trees in a graph resp. bounded regions and uniactive internal bases in a hyperplane arrangement or an oriented matroid (in the sense of Tutte activities). This bijection is the basic case of a general activity preserving bijection between reorientations and subsets of an oriented matroid, called the active bijection, providing bijective versions of various classical enumerative results.Fully optimal bases can be considered as a strenghtening of optimal bases from linear programming, with a simple combinatorial definition. Our first construction used this purely combinatorial characterization, providing directly an algorithm to compute in fact the reverse bijection. A new definition uses a direct construction in terms of a linear programming. The fully optimal basis optimizes a sequence of nested faces with respect to a sequence of objective functions (whereas an optimal basis in the usual sense optimizes one vertex with respect to one objective function). This note presents this construction in terms of graphs and linear algebra.     

Locomotion based on the control of the shape of magnetic fluid surfaces and of magnetizable media

The realization of locomotion based on the deformation of a free surface of a magnetic fluid layer in a traveling magnetic field is studied. A plane flow of an incompressible viscous magnetic fluid layer on a horizontal surface in a nonuniform magnetic field and a plane two-layers flow of incompressible viscous magnetic fluids between two parallel solid planes in a magnetic field is considered. Also the flow of an incompressible viscous magnetic fluid layer on a cylinder in a nonuniform magnetic field is an object of investigation. The deformation and the motion of a body made by a magnetizable polymer in an alternating magnetic field are experimentally studied. The cylindrical body (worm) which is located in a cylindrical tube is analyzed. These effects can be used in designing autonomous mobile robots without a hard cover. Such robots can be employed in clinical practice and biological investigations. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

On farthest points of sets

For a convex closed bounded set in a Banach space, we study the existence and uniqueness problem for a point of this set that is the farthest point from a given point in space. In terms of the existence and uniqueness of the farthest point, as well as the Lipschitzian dependence of this point on a point in space, we obtain necessary and su.cient conditions for the strong convexity of a set in several infinite-dimensional spaces, in particular, in a Hilbert space. A set representable as the intersection of closed balls of a fixed radius is called a strongly convex set. We show that the condition “for each point in space that is sufficiently far from a set, there exists a unique farthest point of the set” is a criterion for the strong convexity of a set in a finite-dimensional normed space, where the norm ball is a strongly convex set and a generating set.     

Selections of set-valued maps satisfying a linear inclusion in a single variable

We prove that a set-valued map satisfying a linear functional inclusion in a single variable admits (in appropriate conditions) a unique selection satisfying a linear functional equation in a single variable. As a consequence there follow results on the Hyers-Ulam stability of the linear functional equation in a single variable and the equation of homomorphism (of square symmetric groupoids).     

Infinitesimal 2-braidings and differential crossed modules

We categorify the notion of an infinitesimal braiding in a linear strict symmetric monoidal category, leading to the notion of a (strict) infinitesimal 2-braiding in a linear symmetric strict monoidal 2-category. We describe the associated categorification of the 4-term relations, leading to six categorified relations. We prove that any infinitesimal 2-braiding gives rise to a flat and fake flat 2-connection in the configuration space of n particles in the complex plane, hence to a categorification of the Knizhnik–Zamolodchikov connection. We discuss infinitesimal 2-braidings in a certain monoidal 2-category naturally assigned to every differential crossed module, leading to the notion of a symmetric quasi-invariant tensor in a differential crossed module. Finally, we prove that symmetric quasi-invariant tensors exist in the differential crossed module associated to Wagemann's version of the String Lie-2-algebra. As a corollary, we obtain a more conceptual proof of the flatness of a previously constructed categorified Knizhnik–Zamolodchikov connection with values in the String Lie-2-algebra.     

A connection between Fano configurations and Minkowski planes of odd order

It is shown in this paper that a pair of points contained in a Fano configuration in a projective plane of odd order cannot induce a Minkowski plane. From this result we derive that no pair of points in the Hughes plane of order 9 can induce a Minkowski plane.     

Half De Rham complexes and line fields on odd-dimensional manifolds

In this paper we introduce a new elliptic complex on an odd-dimensional manifold with a self-dual line field. The notion of a self-dual line field is a generalization of the notion of a conformal line field. Ellipticity, Fredholm properties and Hodge decompositions of these new complexes are proved both in the case of a closed manifold and in the case of a manifold with boundary. The cohomology groups of these elliptic complexes are computed in some cases. In addition, in this paper, we generalize the notion of an anti-self-dual connection on a smooth 4-manifold to a 3-manifold with a line field and a smooth 5-manifold with a line field. The above new elliptic complexes can be twisted by anti-self-dual connections in dimensions 3 and 5, but only by flat connections in dimensions above 5. This reveals a special feature of dimensions 3 and 5.

     

Nonequilibrium Statistical Operator Method and Generalized Kinetic Equations

We consider some principal problems of nonequilibrium statistical thermodynamics in the framework of the Zubarev nonequilibrium statistical operator approach. We present a brief comparative analysis of some approaches to describing irreversible processes based on the concept of nonequilibrium Gibbs ensembles and their applicability to describing nonequilibrium processes. We discuss the derivation of generalized kinetic equations for a system in a heat bath. We obtain and analyze a damped Schrödinger-type equation for a dynamical system in a heat bath. We study the dynamical behavior of a particle in a medium taking the dissipation effects into account. We consider the scattering problem for neutrons in a nonequilibrium medium and derive a generalized Van Hove formula. We show that the nonequilibrium statistical operator method is an effective, convenient tool for describing irreversible processes in condensed matter.     

Finite-time singularity formation at a magnetic neutral line in Hall magnetohydrodynamics

The formation of a current sheet in a weakly collisional plasma can be modelled as a finite-time singularity solution of magnetohydrodynamic equations. We use an exact self-similar solution to confirm and generalise a previous finding that, in sharp contrast to two-dimensional solutions in standard MHD, a finite-time collapse to a current sheet can occur in Hall MHD. We derive a criterion for the finite-time singularity in terms of initial conditions, and we use an intermediate asymptotic solution for the evolution of an axial magnetic field to obtain a general expression for the singularity formation time. We illustrate the analytical results by numerical solutions.     

Invariant diffusion processes under Lie group actions

We study a decomposition of a diffusion process in a manifold that is invariant under the action of a Lie group. As applications, we consider a diffusion process in a Euclidean space that is invariant under translations in a subspace, and a skew-product in a general setting.     

Contractibility and Connectedness of Efficient Point Sets

Using the technique of space theory and set-valued analysis, we establish contractibility results for efficient point sets in a locally convex space and a path connectedness result for a positive proper efficient point set in a reflexive space. We also prove a connectedness result for a positive proper efficient point set in a locally convex space; as an application, we give a connectedness result for an efficient solution set in a locally convex space.     

Explosive instability in nonlinear waves in media with negative viscosity : PMM vol. 38, n 6, 1974, pp. 991–995

The propagation of a wave of a finite amplitude in a medium with a nonlinearity of the second degree and negative viscosity, is examined. It is shown that in a finite time singularities appear in the solution. The exact solution of the Cauchy problem is given for a specific case. Recently the effects of negative viscosity which cause an increase in the energy of the wave motion have been studied intensively in electrodynamics, plasma physics, the Earth's atmosphere, in the theory of the circulation of the oceans and of flow in open channels [1–4], Wave amplification caused by an energy transfer from turbulent to regular motions, is possible in any medium having space-time fluctuations, provided the correlation time is sufficiently small [5, 6]. As the wave amplitude increases, nonlinear effects become important; they have been taken into account in cases where the interaction of a finite number of harmonics [2, 4] and the structure of steady motions have been examined [3].It is shown in this paper that in a medium with negative viscosity and a second degree dynamic nonlinearity, a solution of the Cauchy problem for an arbitrary “good” form of the initial perturbation, exists over a finite time interval. An example of such a solution is given.     

Saddle surfaces in singular spaces

The notion of a saddle surface is well known in Euclidean space. In this work we extend the idea of a saddle surface to geodesically connected metric spaces. We prove that any solution of the Dirichlet problem for the Sobolev energy in a nonpositively curved space is a saddle surface. Further, we show that the space of saddle surfaces in a nonpositively curved space is a complete space in the Fréchet distance. We also prove a compactness theorem for saddle surfaces in spaces of curvature bounded from above; in spaces of constant curvature we obtain a stronger result based on an isoperimetric inequality for a saddle surface. These results generalize difficult theorems of S.Z. Shefel' on compactness of saddle surfaces in a Euclidean space.

     

DC programming techniques for solving a class of nonlinear bilevel programs

We propose a method for finding a global solution of a class of nonlinear bilevel programs, in which the objective function in the first level is a DC function, and the second level consists of finding a Karush-Kuhn-Tucker point of a quadratic programming problem. This method is a combination of the local algorithm DCA in DC programming with a branch and bound scheme well known in discrete and global optimization. Computational results on a class of quadratic bilevel programs are reported.     

The non-stationary invariant solution of the equations of gas dynamics describing the spreading of a gas into a vacuum

An invariant solution of the equations of gas dynamics, constructed on a one-dimensional subgroup (according to the classification in /1/) which is only allowed in the case of a polytropic gas with a special adiabatic index, is considered. The gas spreads out into a vacuum after a finite time. New solutions are constructed which describe one-dimensional flows from a source into a vacuum and the focussing of the gas within a sphere or a cylinder with shock waves. The spreading of a concentration of the gas with an arbitrary boundary when there is a contact discontinuity is also considered.

One-dimensional flows have been treated in detail in /2, 3/, mainly in the case of extended subgroups.