Volumes of Polyhedra in Non-Euclidean Spaces of Constant Curvature

Computation of the volumes of polyhedra is a classical geometry problem known since ancient mathematics and preserving its importance until present time. Deriving volume formulas for 3-dimensional non-Euclidean polyhedra of a given combinatorial type is a very difficult problem. Nowadays, it is fully solved for a tetrahedron, the most simple polyhedron in the combinatorial sense. However, it is well known that for a polyhedron of a special type its volume formula becomes much simpler. This fact was noted by Lobachevsky who found the volume of the so-called ideal tetrahedron in hyperbolic space (all vertices of this tetrahedron are on the absolute).In this survey, we present main results on volumes of arbitrary non-Euclidean tetrahedra and polyhedra of special types (both tetrahedra and polyhedra of more complex combinatorial structure) in 3-dimensional spherical and hyperbolic spaces of constant curvature K = 1 and K = -1, respectively. Moreover, we consider the new method by Sabitov for computation of volumes in hyperbolic space (described by the Poincare model in upper half-space). This method allows one to derive explicit volume formulas for polyhedra of arbitrary dimension in terms of coordinates of vertices. Considering main volume formulas for non-Euclidean polyhedra, we will give proofs (or sketches of proofs) for them. This will help the reader to get an idea of basic methods for computation of volumes of bodies in non-Euclidean spaces of constant curvature.

On Embedding of the Morse-Smale Diffeomorphisms in a Topological Flow

This review presents the results of recent years on solving of the Palis problem on finding necessary and sufficient conditions for the embedding of Morse-Smale cascades in topological flows. To date, the problem has been solved by Palis for Morse-Smale diffeomorphisms given on manifolds of dimension two. The result for the circle is a trivial exercise. In dimensions three and higher new effects arise related to the possibility of wild embeddings of closures of invariant manifolds of saddle periodic points that leads to additional obstacles for Morse-Smale diffeomorphisms to embed in topological flows. The progress achieved in solving of Paliss problem in dimension three is associated with the recently obtained complete topological classification of Morse-Smale diffeomorphisms on three-dimensional manifolds and the introduction of new invariants describing the embedding of separatrices of saddle periodic points in a supporting manifold. The transition to a higher dimension requires the latest results from the topology of manifolds. The necessary topological information, which plays key roles in the proofs, is also presented in the survey.

Dilatations of Linear Operators

The article is devoted to building various dilatations of linear operators. The explicit construction of a unitary dilation of a compression operator is considered. Then the J -unitary dilatation of a bounded operator is constructed by means of the operator knot concept of a bounded linear operator. Using the Pavlov method, we construct the self-adjoint dilatation of a bounded dissipative operator. We consider spectral and translational representations of the self-adjoint dilatation of a densely defined dissipative operator with nonempty set of regular points. Using the concept of an operator knot for a bounded operator and the Cayley transform, we introduce an operator knot for a linear operator. By means of this concept, we construct the J -self-adjoint dilatation of a densely defined operator with a regular point. We obtain conditions of isomorphism of extraneous dilations and their minimality.

On the Theory of Entropy Solutions of Nonlinear Degenerate Parabolic Equations

We consider a second-order nonlinear degenerate parabolic equation in the case when the flux vector and the nonstrictly increasing diffusion function are merely continuous. In the case of zero diffusion, this equation degenerates into a first order quasilinear equation (conservation law). It is known that in the general case under consideration an entropy solution (in the sense of Kruzhkov-Carrillo) of the Cauchy problem can be non-unique. Therefore, it is important to study special entropy solutions of the Cauchy problem and to find additional conditions on the input data of the problem that are sufficient for uniqueness. In this paper, we obtain some new results in this direction. Namely, the existence of the largest and the smallest entropy solutions of the Cauchy problem is proved. With the help of this result, the uniqueness of the entropy solution with periodic initial data is established. More generally, the comparison principle is proved for entropy suband super-solutions, in the case when at least one of the initial functions is periodic. The obtained results are generalization of the results known for conservation laws to the parabolic case.

On Spectral and Evolutional Problems Generated by a Sesquilinear Form

On the base of boundary-value, spectral and initial-boundary value problems studied earlier for the case of single domain, we consider corresponding problems generated by sesquilinear form for two domains. Arising operator pencils with corresponding operator coefficients acting in a Hilbert space and depending on two parameters are studied in detail. In the perturbed and unperturbed cases, we consider two situations when one of the parameters is spectral and the other is fixed. In this paper, we use the superposition principle that allow us to present the solution of the original problem as a sum of solutions of auxiliary boundary-value problems containing inhomogeneity either in the equation or in one of the boundary conditions. The necessary and sufficient conditions for the correct solvability of boundary-value problems on given time interval are obtained. The theorems on properties of the spectrum and on the completeness and basicity of the system of root elements are proved.

Resolvent Approximations in L2-Norm for Elliptic Operators Acting in a Perforated Space

We study homogenization of a second-order elliptic differential operator Aε = - div a(x/ε)∇ acting in an ε-periodically perforated space, where ε is a small parameter. Coefficients of the operator Aε are measurable ε-periodic functions. The simplest case where coefficients of the operator are constant is also interesting for us. We find an approximation for the resolvent (Aε + 1)-1 with remainder term of order ε2 as ε → 0 in operator L2-norm on the perforated space. This approximation turns to be the sum of the resolvent (A0 + 1)-1 of the homogenized operator A0 = - div a0 ∇, a0 > 0 being a constant matrix, and some correcting operator εCε. The proof of this result is given by the modified method of the first approximation with the usage of the Steklov smoothing operator.

Smoothness of Generalized Solutions of the Neumann Problem for a Strongly Elliptic Differential-Difference Equation on the Boundary of Adjacent Subdomains

This paper is devoted to the study of the qualitative properties of solutions to boundary-value problems for strongly elliptic differential-difference equations. Some results for these equations such as existence and smoothness of generalized solutions in certain subdomains of Q were obtained earlier. Nevertheless, the smoothness of generalized solutions of such problems can be violated near the boundary of these subdomains even for infinitely differentiable right-hand side. The subdomains are defined as connected components of the set that is obtained from the domain Q by throwing out all possible shifts of the boundary Q by vectors of a certain group generated by shifts occurring in the difference operators. For the one dimensional Neumann problem for differential-difference equations there were obtained conditions on the coefficients of difference operators, under which for any continuous right-hand side there is a classical solution of the problem that coincides with the generalized solution. 2 Also there was obtained the smoothness (in Sobolev spaces W k ) of generalized solutions of the second and the third boundary-value problems for strongly elliptic differential-difference equations in subdomains excluding -neighborhoods of certain points. However, the smoothness (in Ho lder spaces) of generalized solutions of the second boundary-value problem for strongly elliptic differential-difference equations on the boundary of adjacent subdomains was not considered. In this paper, we study this question in Ho lder spaces. We establish necessary and sufficient conditions for the coefficients of difference operators that guarantee smoothness of the generalized solution on the boundary of adjacent subdomains for any right-hand side from the Ho lder space.

On Large-Time Behavior of Solutions of Parabolic Equations

We study the stabilization of solutions of the Cauchy problem for second-order parabolic equations depending on the behavior of the lower-order coefficients of equations at the infinity and on the growth rate of initial functions. We also consider the stabilization of solution of the first boundary-value problem for a parabolic equation without lower-order coefficients depending on the domain Q where the initial function is defined for t =0. In the first chapter, we study sufficient conditions for uniform in x on a compact K RN stabilization to zero of the solution of the Cauchy problem with divergent elliptic operator and coefficients independent of t and depending only on x. We consider classes of initial functions: bounded in RN, with power growth rate at the infinity in RN, with exponential order at the infinity. Using examples, we show that sufficient conditions are sharp and, moreover, do not allow the uniform in RN stabilization to zero of the solution of the Cauchy problem. In the second chapter, we study the Cauchy problem with elliptic nondivergent operator and coefficients depending on x and t. In different classes of growing initial functions we obtain exact sufficient conditions for stabilization of solutions of the corresponding Cauchy problem uniformly in x on any compact K in RN. We consider examples proving the sharpness of these conditions. In the third chapter, for the solution of the first boundary-value problem without lower-order terms, we obtain necessary and sufficient conditions of uniform in x on any compact in Q stabilization to zero in terms of the domain RN \ Q where Q is the definitional domain of the initial function for t =0. We establish the power estimate for the rate of stabilization of the solution of the boundary-value problem with bounded initial function in the case where RN \ Q is a cone for t =0.

To the Problem on Small Oscillations of a System of Two Viscoelastic Fluids Filling Immovable Vessel: Model Problem

In this paper, we study the scalar conjugation problem, which models the problem of small oscillations of two viscoelastic fluids filling a fixed vessel. An initial-boundary value problem is investigated and a theorem on its unique solvability on the positive semiaxis is proven with semigroup theory methods. The spectral problem that arises in this case for normal oscillations of the system is studied by the methods of the spectral theory of operator functions (operator pencils). The resulting operator pencil generalizes both the well-known S. G. Kreyns operator pencil (oscillations of a viscous fluid in an open vessel) and the pencil arising in the problem of small motions of a viscoelastic fluid in a partially filled vessel. An example of a two-dimensional problem allowing separation of variables is considered, all points of the essential spectrum and branches of eigenvalues are found. Based on this two-dimensional problem, a hypothesis on the structure of the essential spectrum in the scalar conjugation problem is formulated and a theorem on the multiple basis property of the system of root elements of the main operator pencil is proved.