On the well-definedness of the order of an ordinary differential equation

It is proved that if the differential equations y ^{( n )}=f(x, y, y′, …, y ^{( n ?1 )}) and y ^{( m )}=g(x, y, y′, …, y ^{( n ?1 )}) have the same particular solutions in a suitable region where f and g are continuous real-valued functions with continuous partial derivatives (alternatively, continuous functions satisfying the classical Lipschitz condition), then n?=?m and the functions f and g are equal. This note could find classroom use in a course on differential equations as enrichment material for the unit on the existence and uniqueness theorems for solutions of initial value problems.     

On the Cardinalities of the Row spaces of Non-full Rank Boolean Matrices

n -2 integers 2 ^{n -2}+2 ^{n -3}+2 ^s, where s=0,1,2,..., n-3, in the interval (2 ^{n -2}+2 ^{n -3},2 ^{n -1}] such that these integers are the cardinalities of row spaces R(A) of non-full rank Boolean matrices A of order n. We also show that for each s, where s=0,1,2,..., n-3, there exists A epsilon B _n such that A is non-full rank and the cardinality of R(A) equals 2 ^{n -2}+2 ^{n -3}+2 ^s.     

Cylindricity of tangent bundles of strongly parabolic metrics and strongly parabolic surfaces

It is proved that if the intrinsic zero-index of the Sasaki metric of a tangent bundleTM ⁿ isk, thenk is even andM ⁿ is the metric product of a Riemannian manifoldM ^n–k/2 by a Euclidean spaceE ^k/2, whileTM ⁿ is the metric product ofTM ^n–k/2 byE ^k . An expression is obtained for the second fundamental forms of the imbeddingTF ^l TM ⁿ in terms of the second fundamental forms of the imbeddingF ^l M ⁿ and the curvature tensor ofM ⁿ . It is proved thatTF ^l is totally geodesic inTM ⁿ if and only ifF ^l is totally geodesic inM ⁿ .Translated from Ukrainskií Geometricheskií Sbornik, Issue 28, 1985, pp. 12–32.     

Commutativity for a certain class of rings

We discuss the commutativity of certain rings with unity 1 and one-sideds-unital rings under each of the following conditions:x ^r [x ^s ,y]=±[x,y ^t ]x ⁿ x ^r [x ^s ,y]=±x ⁿ [x,y ^t ]x ^r [x ^s ,y]=±[x,y ^t ]y ^m , andx ^r [x ^s ,y]=±y ^m [x,y ^t ], wherer, n, andm are non-negative integers andt>1,s are positive integers such that eithers, t are relatively prime ors[x,y]=0 implies [x,y]=0. Further, we improve the result of [6, Theorem 3] and reprove several recent results.     

SOME EULER SPACES OF DIFFERENCE SEQUENCES OF ORDER m

Kizmaz [13] studied the difference sequence spaces e∞(△), c(△), and c0(△).Several article dealt with the sets of sequences of m-th order difference of which are bounded, convergent, or convergent to zero. Altay and Basar [5] and Altay, Basar, and Mursaleen [7] introduced the Euler sequence spaces eτ0, eτ0, andeτ∞, respectively. The main purpose of this article is to introduce the spaces eτ0(△(m)), eτc(△(m)), and eτ∞(△(m)) consisting of all sequences whose mth order differences are in the Euler spaces eτ0, eτc, and eτ∞, respectively. Moreover, the authors give some topological properties and inclusion relations, and determine the α-, β-, and γ-duals of the spaces eτ0(△(m)), eτc(△(m)), and eτ∞(△(m)), and the Schauder basis of the spaces eτ0(△(m)), eτc(△(m)). The last section of the article is devoted to the characterization of some matrix mappings on the sequence space eτc(△(m)).     

Weyl quantization of Lebesgue spaces

We study boundedness and compactness properties for the Weyl quantization with symbols in L^q (?^2d ) acting on L^p (?^d ). This is shown to be equivalent, in suitable Banach space setting, to that of the Wigner transform. We give a short proof by interpolation of Lieb's sufficient conditions for the boundedness of the Wigner transform, proving furthermore that these conditions are also necessary. This yields a complete characterization of boundedness for Weyl operators in L^p setting; compactness follows by approximation. We extend these results defining two scales of spaces, namely L_*^q (?^2d ) and L_?^q (R^2d ), respectively smaller and larger than the L^q (?^2d ),and showing that the Weyl correspondence is bounded on L_*^q (R^2d ) (and yields compact operators), whereas it is not on L_?^q (R^2d ). We conclude with a remark on weak‐type L^p boundedness (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Multiple points of trajectories of multiparameter fractional Brownian motion

Consider 0<α<1 and the Gaussian process Y(t) on ℝ ^N with covariance E(Y(s)Y(t))=|t|^2α+|s|^2α−|t−s|^2α, where |t| is the Euclidean norm of t. Consider independent copies X ¹,…,X ^d of Y and␣the process X(t)=(X ¹(t),…,X ^d (t)) valued in ℝ ^d . When kN≤␣(k−1)αd, we show that the trajectories of X do not have k-multiple points. If N<αd and kN>(k−1)αd, the set of k-multiple points of the trajectories X is a countable union of sets of finite Hausdorff measure associated with the function ϕ(ɛ)=ɛ ^{k N /α−( k −1) d} (loglog(1/ɛ)) ^k . If N=αd, we show that the set of k-multiple points of the trajectories of X is a countable union of sets of finite Hausdorff measure associated with the function ϕ(ɛ)=ɛ ^d (log(1/ɛ) logloglog 1/ɛ) ^k . (This includes the case k=1.) Received: 20 May 1997 / Revised version: 15 May 1998     

On the integral of mean curvature of a flattened convex body in space forms

Under the assumptions that E _λ ⁿ is an n-dimensional, simply connected Riemannian manifold of constant sectional curvature λ and L _λ ^r is an r-dimensional, totally geodesic submanifold of E _λ ⁿ , the paper investigates the q-th integral of the mean curvature M _q ⁿ of a convex body K ^r in E _λ ⁿ and gives the expression of M _q ⁿ in the terms of M _p ^r , where M _p ^r is the p-th integral of the mean curvature of K ^r > in L _λ ^r . A result of L. A. Santaló [2] holds in particular.     

Recursive constructions of -polynomials over

This paper presents procedures for constructing irreducible polynomials over GF(2^s) with linearly independent roots (or normal polynomials or N-polynomials). For a suitably chosen initial N-polynomial F₀(x)GF(2^s) of degree n, polynomials F_k(x)GF(2^s) of degrees n2^k are constructed by iteratively applying the transformation x→x+x^-1, and their roots are shown to form a normal basis of GF(2^sn2k) over GF(2^s). In addition, the sequences are shown to be trace compatible, i.e., the trace map T_{GF(2^sn2k+1)/GF(2^sn2k)} fromGF(2^sn2k+1) onto GF(2^sn2k) maps the roots of F_k+1(x) onto those of F_k(x).     

The Maximal and Minimal Ranks of Some Expressions of Generalized Inverses of Matrices

In this paper, we first determine the maximal and minimal ranks of A — BXC with respect to X. Using those results, we then find the maximal and minimal ranks of the expressions AA^– — A^– A — BB^– A — AC^– C and B^– BA — ACC^– with respect to the choice of generalized inverses A^–, B^– and C^–. In particular, we consider the commutativity of A and A^–, A^k and A^–.The research of the author was supported in part by the Natural Sciences and Engineering Research Council of Canada.     

On symmetrization of jets

Let F = F ^(A,H,t) and F¹ = F^(A1,H1,t1){F^1} = {F^{({A^1},{H^1},{t^1})}} be fiber product preserving bundle functors on the category FM _m of fibred manifolds Y with m-dimensional bases and fibred maps covering local diffeomorphisms. We define a quasi-morphism (A, H, t) → (A ¹, H ¹, t ¹) to be a GL(m)-invariant algebra homomorphism ν: A → A ¹ with t ¹ = ν ∘ t. The main result is that there exists an FM _m -natural transformation FY → F ¹ Y depending on a classical linear connection on the base of Y if and only if there exists a quasi-morphism (A, H, t) → (A ¹, H ¹, t ¹). As applications, we study existence problems of symmetrization (holonomization) of higher order jets and of holonomic prolongation of general connections.     

Volume approximation of smooth convex bodies by three-polytopes of restricted number of edges

For a given convex body K in \Bbb R³{\Bbb R}^3 with C ² boundary, let P ^c _n be the circumscribed polytope of minimal volume with at most n edges, and let P ⁱ _n be the inscribed polytope of maximal volume with at most n edges. Besides presenting an asymptotic formula for the volume difference as n tends to infinity in both cases, we prove that the typical faces of P ^c _n and P ⁱ _n are asymptotically regular triangles and squares, respectively, in a suitable sense.     

Characterizations of Some Product Manifolds by Their Spectrum

Let Sⁿ(c) denote the n-dimensional Euclidean sphere of constant sectional curvature c and denote by CPⁿ(c) the complex projective space of complex dimension n and of holomorphic sectional curvature c. In this paper, we obtain some characterizations of the manifolds S²(c) × S²(c′), S⁴(c) × S⁴(c′), CP²(c) × CP²(c′) by their spectrum.     

On the sequence of powers of a stochastic matrix with large exponent

We consider the class of primitive stochastic n×n matrices A, whose exponent is at least (n²−2n+2)/2+2. It is known that for such an A, the associated directed graph has cycles of just two different lengths, say k and j with k>j, and that there is an α between 0 and 1 such that the characteristic polynomial of A is λⁿ−αλ^n−j−(1−α)λ^n−k. In this paper, we prove that for any mn, if α1/2, then A^m+k−A^m_∞A^m−1w^T_∞, where 1 is the all-ones vector and w^T is the left-Perron vector for A, normalized so that w^T1=1. We also prove that if jn/2, n31 and , then A^m+j−A^m_∞A^m−1w^T_∞ for all sufficiently large m. Both of these results lead to lower bounds on the rate of convergence of the sequence A^m.     

On existence and nonexistence of some harmonic maps

LetS ^1.1 denote the submanifold of Lorentz spaceR ^2.1, which is composed of all pointsl withl ²=1 and letT ^1.1=R ^1.1/Z×Z. In this paper we study the existence of nontrivial harmonic maps fromT ^1.1 toS ^1.1 andH ², and construct a harmonic map for any homotopy class of maps fromT ² toS ^1.1.     

A class of regular semigroups with regular *- transversals

Let S be a regular semigroup. If there is a subsemigroup S ^* of S and a unary operation * in S satisfying: (1) x ^* ∈ S ^* \cap V_ S ^* (x) for all x∈ S; (2) (x ^* ) ^* =x for all x∈ S ^* ; (3) (x ^* y) ^* =y ^* x ^** and (xy ^* ) ^* =y ^** x ^* for all x,y∈ S, then S ^* is called a regular *- transversal of S ; if (3) is replaced with (xy) ^* =y ^* x ^* for all x,y∈ S, then S ^* is called a strongly regular *- transversal of S. In this paper we consider the class of regular semigroups with a strongly regular *- transversal. It is proved that these semigroups are P - regular semigroups. We characterize the structure of the regular semigroups with a strongly regular *- transversal.     

On the diameter and radius of randon subgraphs of the cube

The n-dimensional cube Qⁿ is the graph whose vertices are the subsets of {1,…n}, with two vertices adjacent if and only if their symmetric difference is a singleton. Clearly Qⁿ has diameter and radious n. Write M = n2^n-1 = e(Qⁿ) for the size of Qⁿ. Let Q = (Q_t)_o^M be a random Qⁿ-process. Thus Q^t is a spanning subgraph of Qⁿ of size t, and Q_t is obtained from Q_t–1 by the random addition of an edge of Qⁿ not in Q_t–1, Let t^(k) = τ(Q;δ?k) be the hitting time of the property of having minimal degree at least k. We show that the diameter d_t = diam (Q_t) of Q_t in almost every Q? behaves as follows: d_t starts infinite and is first finite at time t⁽¹⁾, it equals n + 1 for t⁽¹⁾ ? t⁽²⁾ and d_t, = n for t ? t⁽²⁾. We also show that the radius of Q_t, is first finite for t = t⁽¹⁾, when it assumes the value n. These results are deduced from detailed theorems concerning the diameter and radius of the almost surely unique largest component of Q_t, for t = Ω(M). © 1994 John Wiley & Sons, Inc.     

Symmetrizations of Markov processes

Two methods for symmetrizing Markov processes are discussed. Letu ^a(x, y) be the potential density of a Lévy process on a compact Abelian groupG. A general condition is given that guarantees thatv(x, y)=u^a(x, y)+u^a(y, x) is the potential density of a symmetric Lévy process onG. The second method arises by considering the linear space of one-potentialsU ¹ f, withf inL ², endowed with the inner product (U ¹ f,U ¹ g)=fU ¹ g+gU ¹ f. If the semigroup ofX(t) is normal, then the completionH of this space is the Dirichlet space of a symmetric processY(t). A set that is semipolar forX(t) is polar forY(t).     

Existence of frame SOLS of type ab

An SOLS (self-orthogonal latin square) of order v with n_i missing sub-SOLS (holes) of order h_i (1ik), which are disjoint and spanning (i.e. ∑_i=1^k n_ih_i=v), is called a frame SOLS and denoted by FSOLS(h₁^n₁h₂^n₂ h_k^n_k). It has been proved that for b2 and n odd, an FSOLS(aⁿb¹) exists if and only if n4 and n1+2b/a. In this paper, we show the existence of FSOLS(aⁿb¹) for n even and FSOLS(aⁿ1¹) for n odd.     

Analog of a theorem of forelli for boundary values of holomorphic functions on the unit ball of ?n

Let f ∈ C ^ω (∂B ⁿ ), where B ⁿ is the unit ball of ℂ ⁿ . We prove that if a,b ? [`(B)] ⁿa,b \in {\overline B ^n}, a ≠ b, for every complex line L passing through one of a or b, the restricted function f|_{L ??Bⁿ}f{|_{L \cap \partial {B^n}}} has a holomorphic extention to the cross-section L∩B ⁿ , then f is the boundary value of a holomorphic function in B ⁿ .