Nonintegral criterion for oscillations of linear Hamiltonian matrix systems

In this paper we present nonintegral criteria for oscillation of linear Hamiltonian matrix system U^′=A(x)U+B(x)V, V^′=C(x)U−A^*(x)V under the hypothesis (H): A(x), B(x)=B^*(x)>0, and C(x)=C^*(x) are 2×2 matrices of real valued continuous functions on the interval I=[a,∞),(−∞<a). These criteria are conditions of algebraic type only. Our results are also useful for the detection of the oscillation of particular matrix differential systems.     

Topological classification of affine operators on unitary and Euclidean spaces

We study affine operators on a unitary or Euclidean space U up to topological conjugacy. An affine operator is a map f:U→U of the form f(x)=Ax+b, in which A:U→U is a linear operator and b∈U. Two affine operators f and g are said to be topologically conjugate if g=h^-1fh for some homeomorphism h:U→U.If an affine operator f(x)=Ax+b has a fixed point, then f is topologically conjugate to its linear part A. The problem of classifying linear operators up to topological conjugacy was studied by Kuiper and Robbin [Topological classification of linear endomorphisms, Invent. Math. 19 (2) (1973) 83-106] and other authors.Let f:U→U be an affine operator without fixed point. We prove that f is topologically conjugate to an affine operator g:U→U such that U is an orthogonal direct sum of g-invariant subspaces V and W,

•

the restriction g∣V of g to V is an affine operator that in some orthonormal basis of V has the form

(x₁,x₂,…,x_n)?(x₁+1,x₂,…,x_n-1,εx_n)     

Embedding of a pseudo-point residual design into a Möbius plane

Let $\text{U}$ be a class of subsets of a finite set X. Elements of $\text{U}$ are called blocks. Let υ, t, λ and k be nonnegative integers such that υ?k?t?0. A pair (X, $\text{U}$) is called a (υ, k, λ) t-design, denoted by S_λ(t, k, υ), if (1) |X| = υ, (2) every t-subset of X is contained in exactly λ blocks and (3) for every block A in $\text{U}$, |A| = k. A Möbius plane M is an S₁(3, q+1, q²+1) where q is a positive integer. Let ∞ be a fixed point in M. If ∞ is deleted from M, together with all the blocks containing ∞, then we obtain a point-residual design M^*. It can be easily checked that M^* is an S_q(2, q+1, q²). Any S_q(2, q+1, q²) is called a pseudo-point-residual design of order q, abbreviated by PPRD(q). Let A and B be two blocks in a PPRD(q)M^*. A and B are said to be tangent to each other at z if and only if A∩B={z}. M^* is said to have the Tangency Property if for any block A in M^*, and points x and y such that x?A and y?A, there exists at most one block containing y and tangent to A at x. This paper proves that any PPRD(q)M^* is uniquely embeddable into a Möbius plane if and only if M^* satisfies the Tangency Property.     

Homomorphisms and composition operators on algebras of analytic functions of bounded type

Let U and V be convex and balanced open subsets of the Banach spaces X and Y, respectively. In this paper we study the following question: given two Fréchet algebras of holomorphic functions of bounded type on U and V, respectively, that are algebra isomorphic, can we deduce that X and Y (or X^* and Y^*) are isomorphic? We prove that if X^* or Y^* has the approximation property and H_wu(U) and H_wu(V) are topologically algebra isomorphic, then X^* and Y^* are isomorphic (the converse being true when U and V are the whole space). We get analogous results for H_b(U) and H_b(V), giving conditions under which an algebra isomorphism between H_b(X) and H_b(Y) is equivalent to an isomorphism between X^* and Y^*. We also obtain characterizations of different algebra homomorphisms as composition operators, study the structure of the spectrum of the algebras under consideration and show the existence of homomorphisms on H_b(X) with pathological behaviors.     

Uniqueness of solutions to an Abel type nonlinear integral equation on the half line

We consider a convolution-type integral equation u = k ? g(u) on the half line (???; a), a ?? ?, with kernel k(x) = x ^???1, 0 < ??, and function g(u), continuous and nondecreasing, such that g(0) = 0 and 0 < g(u) for 0 < u. We concentrate on the uniqueness problem for this equation, and we prove that if ?? ?? (1, 4), then for any two nontrivial solutions u ₁, u ₂ there exists a constant c ?? ? such that u ₂(x) = u ₁(x +c), ??? < x. The results are obtained by applying Hilbert projective metrics.     

Non-Commutative Polynomial Solutions to Partial Differential Equations

This paper extends the notion of a differential equation to the space of polynomials p in non-commutative variables x = (x ₁, . . . , x _g ). The directional derivative D[p, x _i , h] of p in x _i is a polynomial in x and a non-commuting variable h. When all variables commute, D[p, x _i , h] is equal to h?p/?x _i . This paper classifies all non-commutative polynomial solutions to a special class of partial differential equations, including the non-commutative extension of Laplace??s equation. Of interest also are non-commutative subharmonic polynomials. A non-commutative polynomial is subharmonic if its non-commutative Laplacian takes positive-semidefinite matrix values whenever matrices X ₁, . . . , X _g , H are substituted for the variables x ₁, . . . , x _g , h. This paper shows that a homogeneous subharmonic polynomial which is bounded below is a harmonic polynomial??that is, a non-commutative solution to Laplace??s equation??plus a sum of squares of harmonic polynomials.     

Spin Leonard pairs

Let ${\mathbb K}$ denote a field, and let V denote a vector space over ${\mathbb K}$ of finite positive dimension. A pair A, A* of linear operators on V is said to be a Leonard pair on V whenever for each B∈{A, A*}, there exists a basis of V with respect to which the matrix representing B is diagonal and the matrix representing the other member of the pair is irreducible tridiagonal. A Leonard pair A, A* on V is said to be a spin Leonard pair whenever there exist invertible linear operators U, U* on V such that UA = A U, U*A* = A*U*, and UA* U ^?1 = U*^?1 AU*. In this case, we refer to U, U* as a Boltzmann pair for A, A*. We characterize the spin Leonard pairs. This characterization involves explicit formulas for the entries of the matrices that represent A and A* with respect to a particular basis. The formulas are expressed in terms of four algebraically independent parameters. We describe all Boltzmann pairs for a spin Leonard pair in terms of these parameters. We then describe all spin Leonard pairs associated with a given Boltzmann pair. We also describe the relationship between spin Leonard pairs and modular Leonard triples. We note a modular group action on each isomorphism class of spin Leonard pairs.     

Application of the Szili method of interpolation on the roots of the Legendre polynomials

Let $$P_n (x) = \frac{{( - 1)^n }}{{2^n n!}}\frac{{d^n }}{{dx^n }}\left[ {(1 - x^2 )^n } \right]$$ be thenth Legendre polynomial. Letx ₁,x ₂,…,x _n andx*₁,x*₂,…,x* _n?1 denote the roots ofP _n (x) andP′ _n (x), respectively. Putx ₀=x*₀=?1 andx* _n =1. In this paper we prove the following theorem: Ify ₀,y ₁,…,y _n andy′ ₀,y′ ₁, …,y′ _n are two systems of arbitrary real numbers, then there exists a unique polynomialQ _2n+1(x) of degree at most 2n+1 satisfying the conditions $$Q_{2n + 1} (x_k^* ) = y_k and Q_{2n + 1}^\prime (x_k ) = y_k^\prime (k = 0,...,n).$$ .     

Regularity and integrability of rotating shallow-water equations

We consider classical shallow-water equations for a rapidly rotating fluid layer. The Poincaré/Kelvin linear propagator describes fast oscillating waves for the linearized system. We show that solutions of the full nonlinear shallow-water equations can be decomposed as U(t,x₁,x₂) + Ũ(t,x₁,x₂) + W’(t,x₁,x₂) + r, where Ũ is a solution of the quasigeostrophic (QG) equation. Here r is a remainder, which is uniformly estimated from above by a majorant of order 1/f₀. The vector field W’(t,x₁,x₂) describes the rapidly oscillating ageostrophic (AG) component. This component is exactly solved in terms of Poincaré/Kelvin waves with phase shifts explicitly determined from the nonlinear quasigeostrophic equations. The mathematically rigorous control of the error r, based on estimates of small divisors, is used to prove the existence, on a long time interval T^*, of regular solutions to classical shallow-water equations with general initial data (T^* → +∞, as 1/f₀ → 0).     

On the complete controllability of linear nonautonomous systems

We suggest a geometric approach to the controllability of nonautonomous linear control systems of the form $\dot x = A(t)x + B(t)u$ , x ?? ? ⁿ , u ?? U ? ? ^m , with conical control constraint set U and continuous matrices A(t) and B(t). We derive two new complete controllability criteria, the first of which is reduced to the analysis of the arrangement of the cones ??^?1(t)B(t)U in the state space of the system [ $\dot \Phi (t) = \left. {A(t)\Phi } \right|(t)$ , ??(0) = E] and the second is based on the existence of appropriate controls bringing zero back to zero. We prove a theorem on the approximation of the control constraint set U by cones with finitely many generators lying inside the cone U with the preservation of the complete controllability property. We present a number of examples illustrating some peculiarities in the evolution of controllability sets of nonautonomous linear systems.     

Implicit function theorem without a priori assumptions about normality

The equation F(x, σ) = 0,x ∈ K, in which σ is a parameter and x is an unknown taking values in a given convex cone in a Banach space X, is considered. This equation is examined in a neighborhood of a given solution (x _*, σ_*) for which the Robinson regularity condition may be violated. Under the assumption that the 2-regularity condition (defined in the paper), which is much weaker than the Robinson regularity condition, is satisfied, an implicit function theorem is obtained for this equation. This result is a generalization of the known implicit function theorems even for the case when the cone K coincides with the entire space X.     

Harmonic measures for a point may form a square

Let X be a Green domain in Rd, d?2, x∈X, and let Mx(P(X)) denote the compact convex set of all representing measures for x. Recently it has been proven that the set of harmonic measures , U open in X, x∈U, which is contained in the set of extreme points of Mx(P(X)), is dense in Mx(P(X)). In this paper, it is shown that Mx(P(X)) is not a simplex (and hence not a Poulsen simplex). This is achieved by constructing open neighborhoods U₀, U₁, U₂, U₃ of x such that the harmonic measures are pairwise different and . In fact, these measures form a square with respect to a natural L²-structure. Since the construction is mainly based on having certain symmetries, it can be carried out just as well for Riesz potentials, the Heisenberg group (or any stratified Lie algebra), and the heat equation (or more general parabolic situations).     

Asymptotics for the logarithm of the number of (k, l)-sum-free sets in groups of prime order

The subset A of a group G is (k, l)-sum-free if x ₁ + ?? + x _k ? x _{k + 1} ? ?? ? x _k+l?1 does not belong to the set A for any x ₁, ??, x _k+l?1 ?? A. Asymptotics for the logarithm of the number of sets (k, l)-sum-free in groups of prime order is obtained.     

On a dual submanifold homomorphism

In this paper we develop a technique to study the homomorphisma: MU _* (B U₁)→M U_*?2 (B U₁) defined by assigning to the class off: M→B U ₁ the class off _oi: N→B U₁, wherei: N→M is the submanifold dual tof*(γ₁)?f*(γ₁), and γ₁→B U is the 3 universal line boundle. So that we can present a (σ_n), where σ_nis the class of the classifying map of the canonical line boundle overC P ⁿ, in terms of the σ_i’s and chosen generators of Π_★(M U).     

Twofold 2-perfect bowtie systems with an extra property

A bowtie is a closed trail whose graph consists of two 3-cycles with exactly one vertex in common. A 2-fold bowtie system of order n is an edge-disjoint decomposition of 2K _n into bowties. A 2-fold bowtie system is said to be 2-perfect provided that every pair of distinct vertices is joined by two paths of length 2. It is said to be extra provided these two paths always have distinct midpoints. The extra property guarantees that the two paths x, a, y and x, b, y between every pair of vertices form a 4-cycle (x, a, y, b), and that the collection of all such 4-cycles is a four-fold 4-cycle system. We show that the spectrum for extra 2-perfect 2-fold bowtie systems is precisely the set of all n ?? 0 or 1 (mod 3), ${n\,\geqslant\,6}$ . Additionally, with an obvious definition, we show that the spectrum for extra 2-perfect 2-fold maximum packings of 2K _n with bowties is precisely the set of all n ?? 2 (mod 3), ${n\,\geqslant\,8}$ .     

On the theorem of hartogs in non-Archimedean valued fields

Let U = U₀ × U₁ × … × U_n be an open polyring in a non-Archimedean valued, locally non-compact field. Let the function f be defined in the polyring U and satisfy the following conditions: (1) f is holomorphic for every x ∈ U₀ separately in each of the rest variables y_i ∈ U_i, i = 1, 2,…,n; (2) f is holomorphic in x ∈ U₀ for every (y₁,…,y_n) ∈ V₁ × … × V_n, where V_i is a certain disk from the ring U_i. Then, if the valuation is dense, the function f is holomorphic in the polyring U. If the valuation is discrete, then the function f is holomorphic in a domain close to the polyring U.     

Divisibility theory in commutative rings: Bezout monoids

A ubiquitous class of lattice ordered semigroups introduced by Bosbach, which we call Bezout monoids, seems to be the appropriate structure for the study of divisibility in various classical rings like GCD domains (including UFD??s), rings of low dimension (including semi-hereditary rings), as well as certain subdirect products of such rings and certain factors of such subdirect products. A Bezout monoid is a commutative monoid S with 0 such that under the natural partial order (for a, b ?? S, a ?? b ?? S ? bS ? aS), S is a distributive lattice, multiplication is distributive over both meets and joins, and for any x, y ?? S, if d = x ?? y and dx ₁ = x then there is a y ₁ ?? S with dy ₁ = y and x ₁ ?? y ₁ = 1. We investigate Bezout monoids by using filters and m-prime filters, and describe all homorphisms between them. We also prove analogues of the Pierce and the Grothendieck sheaf representations of rings for Bezout monoids. The question whether Bezout monoids describe divisibility in Bezout rings (rings whose finitely generated ideals are principal) is still open.     

Asymptotics of eigenvalues of A regular boundary-value problem

We study a boundary-value problem x ⁽ⁿ⁾ + Fx = λx, U _h(x) = 0, h = 1,..., n, where functions x are given on the interval [0, 1], a linear continuous operator F acts from a Hölder space H ^y into a Sobolev space W ₁ ^n+s , U _h are linear continuous functional defined in the space $H^{k_h } $ , and k _h ≤ n + s - 1 are nonnegative integers. We introduce a concept of k-regular-boundary conditions U _h(x)=0, h = 1, ..., n and deduce the following asymptotic formula for eigenvalues of the boundary-value problem with boundary conditions of the indicated type: $\lambda _v = \left( {i2\pi v + c_ \pm + O(|v|^\kappa )} \right)^n $ , v = ± N, ± N ± 1,..., which is true for upper and lower sets of signs and the constants κ≥0 and c _± depend on boundary conditions.     

The rate of the normal approximation for jackknifingU-statistics

Let U_n be a U-statistic with symmetric kernel h(x,y) such that Eh(X_1,X_2)=θ and Var E[h(X_1,X_2)-θ|X_j]>0.Let f(x) be a function defined on R and f″ be bounded.If f(θ) is the parameterof interest,a natural estimator is f(U_n).It is known that the distribution function of z_n=(n~(1/2){Jf(U_n)-f(θ)})/(S_n~*) converges to the standard normal distribution Φ(x) as n→∞,where Jf(U_n) isthe jackknife estimator of f(U_n),and S_n~(*2) is the jackknife estimator of the asymptotic variance ofn~(1/2) Jf(U_n).It is of theoretical value to study the rate of the normal approximation of the statistic.In this paper,assuming the existence of fourth moment of h(X_1,X_2),we show that(?)|P{z_n≤x}-Φ(x)|=O(n~(-1/2)log n).This improves the earlier results of Cheng(1981).     

Additive operators preserving rank-additivity on symmetry matrix spaces

We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. LetS _n(F) be the space of alln×n symmetry matrices over a fieldF with 2,3 ∈F ^*, thenT is an additive injective operator preserving rank-additivity onS _n(F) if and only if there exists an invertible matrixU∈M _n(F) and an injective field homomorphism ? ofF to itself such thatT(X)=cUX ^?U^T, ?X=(x_ij)∈S_n(F) wherec∈F ^*,X ^?=(?(x _ij)). As applications, we determine the additive operators preserving minus-order onS _n(F) over the fieldF.