Darboux points and integrability of homogeneous Hamiltonian systems with three and more degrees of freedom

We consider natural complex Hamiltonian systems with n degrees of freedom given by a Hamiltonian function which is a sum of the standard kinetic energy and a homogeneous polynomial potential V of degree k > 2. The well known Morales-Ramis theorem gives the strongest known necessary conditions for the Liouville integrability of such systems. It states that for each k there exists an explicitly known infinite set ⊂ ℚ such that if the system is integrable, then all eigenvalues of the Hessian matrix V″(d) calculated at a non-zero d ∈ ℂ ⁿ satisfying V′(d) = d, belong to . The aim of this paper is, among others, to sharpen this result. Under certain genericity assumption concerning V we prove the following fact. For each k and n there exists a finite set such that if the system is integrable, then all eigenvalues of the Hessian matrix V″(d) belong to . We give an algorithm which allows to find sets . We applied this results for the case n = k = 3 and we found all integrable potentials satisfying the genericity assumption. Among them several are new and they are integrable in a highly non-trivial way. We found three potentials for which the additional first integrals are of degree 4 and 6 with respect to the momenta.      

On $$ \mathcal{C} $$*-sets and decompositions of continuous and ηζ-continuous functions

The main purpose of this paper is to introduce the concepts of *-sets, *-continuous functions and to obtain new decompositions of continuous and ηζ-continuous functions. Moreover, properties of *-sets and some properties of -sets are discussed.      

Degenerating curves and surfaces: first results

Let be a smooth family of surfaces whose general fibre is a smooth surface of ℙ³ and whose special fibre has two smooth components, intersecting transversally along a smooth curve R. We consider the Universal Severi-Enriques variety on . The general fibre of is the variety of curves on in the linear system with k cusps and δ nodes as singularities. Our problem is to find all irreducible components of the special fibre of . In this paper, we consider only the cases (k, δ) = (0, 1) and (k, δ) = (1, 0). In particular, we determine all singular curves on the special fibre of which, counted with the right multiplicity, are a limit of 1-cuspidal curves on the general fibre of .      

Linear connections of a framed distribution of hyperplane elements in conformal space

We study the geometry of affine and normal connections induced by a complete normalization of mutually orthogonal distributions $ \mathcal{M} We study the geometry of affine and normal connections induced by a complete normalization of mutually orthogonal distributions and in conformal space C _n , where is a distribution of hyperplane elements, and is a distribution of line elements. We consider invariant fields of pencils that are parallel with respect to the normal connection along any curve belonging to the distribution . Original Russian Text ? A.M. Matveeva, 2008, published in Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2008, No. 7, pp. 79–84.     

<Emphasis Type="Italic">K</Emphasis><Subscript>0</Subscript>-group and approximate similarity invariants of strongly irreducible operators

Let H olenote a complex separable Hilbert space and L(H) denote the collection of bounded linear operators on H. An operator T ∈ L(H) is said to be strongly irreducible if T does not commute with any nontrivial idempotent. Herrero and Jiang showed that the norm-closure of the class of all strongly irreducible operators is the class of all operators with connected spectrum. This result can be considered as an approximate inverse of the Riesz decomposition theorem. In the paper, we give a more precise charact...     

On equivariant embedding of Hilbert <Emphasis Type="Italic">C</Emphasis>* modules

We prove that an arbitrary (not necessarily countably generated) Hilbert G - module on a G - C ^* algebra admits an equivariant embedding into a trivial G - module, provided G is a compact Lie group and its action on is ergodic.     

Compact solutions to the equation Tx = y in a weakly closed $$ \mathcal{T}(\mathcal{N}) $$-module

Given two vectors x, y in a Hilbert space and a weakly closed -module , we provide a necessary and sufficient condition for the existence of a compact operator T in satisfying Tx = y.     

Some functional equations on standard operator algebras

The main purpose of this paper is to prove the following result. Let H be a complex Hilbert space, let (H) be the algebra of all bounded linear operators on H, and let (H) ⊂ (H) be a standard operator algebra which is closed under the adjoint operation. Suppose that T: (H) → (H) is a linear mapping satisfying T(AA* A) = T(A)A* A − AT(A*)A + AA*T(A) for all A ∈ (H). Then T is of the form T(A) = AB + BA for all A ∈ (H), where B is a fixed operator from (H). A result concerning functional equations related to bicircular projections is proved      

Derivations of the even part of the odd hamiltonian superalgebra in modular case

In this paper we mainly study the derivations for even part of the finite-dimensional odd Hamiltonian superalgebra HO over a field of prime characteristic. We first give the generating set of the even part g of HO. Then we compute the derivations from g into the even part m of the generalized Witt superalgebra. Finally, we determine the derivation algebra and outer derivation algebra of and the dimension formulas. In particular, the first cohomology groups H^1（g;m） and H^1（g;g） are determined.     

Two Orbits: When is one in the closure of the other?

Let G be a connected linear algebraic group, let V be a finite dimensional algebraic G-module, and let and be two G-orbits in V. We describe a constructive way to find out whether or not lies in the closure of . Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2009, Vol. 264, pp. 152–164. In memory of V.A. Iskovskikh     

Classes of strictly singular operators and their products

V. D. Milman proved in [20] that the product of two strictly singular operators on L _p [0, 1] (1 ⩽ p < 1) or on C[0, 1] is compact. In this note we utilize Schreier families in order to define the class of -strictly singular operators, and then we refine the technique of Milman to show that certain products of operators from this class are compact, under the assumption that the underlying Banach space has finitely many equivalence classes of Schreier-spreading sequences. Finally we define the class of -hereditarily indecomposable Banach spaces and we examine the operators on them. This project originated at SUMIRFAS conference in 2005 in Texas A&M University. The authors wish to thank the organizers of the SUMIRFAS conference for their hospitality.     

Infinitesimal adjunction and polar curves

The polar curves of foliations having a curve C of separatrices generalize the classical polar curves associated to hamiltonian foliations of C. As in the classical theory, the equisingularity type ℘() of a generic polar curve depends on the analytical type of , and hence of C. In this paper we find the equisingularity types ε(C) of C, that we call kind singularities, such that ℘() is completely determined by ε(C) for Zariski-general foliations . Our proofs are mainly based on the adjunction properties of the polar curves. The foliation-like framework is necessary, otherwise we do not get the right concept of general foliation in Zariski sense and, as we show by examples, the hamiltonian case can be out of the set of general foliations. The author was partially supported by the research projects MTM2007-66262 (Ministerio de Educación y Ciencia), MTM2006-15338-C02-02 (Ministerio de Educación y Ciencia),VA059A07 (Junta de Castilla y León) and PGIDITI06PXIB377128PR (Xunta de Galicia).     

Push-outs of derivations

Let be a Banach algebra and let X be a Banach -bimodule. In studying (,X) it is often useful to extend a given derivation D: → X to a Banach algebra containing as an ideal, thereby exploiting (or establishing) hereditary properties. This is usually done using (bounded/unbounded) approximate identities to obtain the extension as a limit of operators b ↦ D(ba) − b.D(a), a ε in an appropriate operator topology, the main point in the proof being to show that the limit map is in fact a derivation. In this paper we make clear which part of this approach is analytic and which algebraic by presenting an algebraic scheme that gives derivations in all situations at the cost of enlarging the module. We use our construction to give improvements and shorter proofs of some results from the literature and to give a necessary and sufficient condition that biprojectivity and biflatness is inherited to ideals.     

Factorization of the R-matrix and Baxter’s Q-operator

The general rational solution of the Yang-Baxter equation with the symmetry algebra sℓ(2) can be represented as a product of simpler building blocks called -operators. -operators are constructed explicitly and have simple structure. Using -operators, we construct the two-parametric Baxter’s Q-operator for the generic inhomogeneous XXX-spin chain. In the case of a homogeneous XXX-spin chain, it is possible to reduce the general Q-operator to a much simpler one-parametric Q-operator. Bibliography: 22 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 347, 2007, pp. 144–166.     

Nonlinear maps of convex sets in Hilbert spaces with application to kinetic equations

Let be a separable Hilbert space, an open convex subset, and f: a smooth map. Let Ω be an open convex set in with , where denotes the closure of Ω in . We consider the following questions. First, in case f is Lipschitz, find sufficient conditions such that for ɛ > 0 sufficiently small, depending only on Lip(f), the image of Ω by I + ɛf, (I + ɛf)(Ω), is convex. Second, suppose df(u): is symmetrizable with σ(df(u)) ⊆ (0,∞), for all u ∈ , where σ(df(u)) denotes the spectrum of df(u). Find sufficient conditions so that the image f(Ω) is convex. We establish results addressing both questions illustrating our assumptions and results with simple examples. We also show how our first main result immediately apply to provide an invariance principle for finite difference schemes for nonlinear ordinary differential equations in Hilbert spaces. The main application of the theory developed in this paper concerns our second result and provides an invariance principle for certain convex sets in an L ²-space under the flow of a class of kinetic transport equations so called BGK model.      

Projectively condensed semigroups,generalized completely regular semigroups and projective orthomonoids

The class of projectively condensed semigroups is a quasivariety of unary semigroups, the class of projective orthomonoids is a subquasivariety of . Some well-known classes of generalized completely regular semigroups will be regarded as subquasivarieties of . We give the structure semilattice composition and the standard representation of projective orthomonoids, and then obtain the structure theorems of various generalized orthogroups. Partially supported by a UGC (HK) grant #2060123 (04-05).     

Rational invariants of certain classical groups over finite fields

Let be a finite field with q elements, where q is a prime power. Let G be a subgroup of the general linear group over and be the rational function field over . We seek to understand the structure of the rational invariant subfield . In this paper, we prove that is rational (or, purely transcendental) by giving an explicit set of generators when G is the symplectic group. In particular, the set of generators we gave satisfies the Dickson property.      

On potentially nilpotent double star sign patterns

A matrix whose entries come from the set {+, −, 0} is called a sign pattern matrix, or sign pattern. A sign pattern is said to be potentially nilpotent if it has a nilpotent realization. In this paper, the characterization problem for some potentially nilpotent double star sign patterns is discussed. A class of double star sign patterns, denoted by (m, 2), is introduced. We determine all potentially nilpotent sign patterns in (3, 2) and (5, 2), and prove that one sign pattern in (3, 2) is potentially stable. Supported by youth scientific funds of the Education Department of Jiangxi Province (No. GJJ09460), Natural Science Foundation of Jiangxi Normal University (No.2058), National Natural Science Foundation of China (No.10601001).     

Perfect difference sets constructed from Sidon sets

A set of positive integers is a perfect difference set if every nonzero integer has a unique representation as the difference of two elements of . We construct dense perfect difference sets from dense Sidon sets. As a consequence of this new approach we prove that there exists a perfect difference set such that

Hyperbolic unit groups and quaternion algebras

We classify the quadratic extensions and the finite groups G for which the group ring [G] of G over the ring of integers of K has the property that the group of units of augmentation 1 is hyperbolic. We also construct units in the ℤ-order of the quaternion algebra , when it is a division algebra.