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.     

The module of differentials and p-bases of a ring extension

Let R ^p ? R ¹ ? Rbe a tower of rings of prime characteristic p. When R has locally p-bases over R ¹ and is finitely presented as R ¹-module, we study the existence of a p-basis of R over R ¹ and the condition that the module ω _{R/R ¹} of Kähler differentials of R over R ¹ is to be free.     

Stability of semilinear ill-posed problems with a prescribed energy bound

In the present paper we discuss the stability of semilinear problems of the form A^αu + G^α(u) = ? under assumption of an a priori bound for an energy functional E^α(u) ? E, where α is a parameter in a metric space M. Following [11] the problem A^αu + G^α(u) = ?, E^α(u) ? E is called stable in a Hilbert space H at a point α ? M if for any ??H, E, ? > 0 there exists δ > 0 such that for any functions u^α1, u^α2 satisfying A^αju^αj + G^αj(u^αj) = ?^αj, E^αj(u^αj) ? E, j = 1,2 we have ‖u^α1 ? u^α2_H ? ? provided ρ_M(α_j, α) ? δ, ‖?^αj ? ?‖_H ? δ, j = 1,2. In the present paper we obtain stability conditions for the problem A^αu + G^α(u) = ?, E^α(u) ? E.     

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)     

On the Uniqueness of Heat Flow of Harmonic Maps and Hydrodynamic Flow of Nematic Liquid Crystals

For any n-dimensional compact Riemannian manifold (M,g) without boundary and another compact Riemannian manifold (N,h), the authors establish the uniqueness of the heat flow of harmonic maps from M to N in the class C([0,T),W1,n). For the hydrodynamic flow (u,d) of nematic liquid crystals in dimensions n = 2 or 3, it is shown that the uniqueness holds for the class of weak solutions provided either (i) for n = 2, u ∈ Lt∞ L2x∩L2tHx1, ▽P∈ Lt4/3 Lx4/3 , and ▽d∈ L∞t Lx2∩Lt2Hx2; or (ii) for n = 3, u ∈ Lt∞ Lx2∩L2tHx1∩ C([0,T),Ln), P ∈ Ltn/2 Lxn/2 , and ▽d∈ L2tLx2 ∩ C([0,T),Ln). This answers affirmatively the uniqueness question posed by Lin-Lin-Wang. The proofs are very elementary.     

Regularity properties of isometric immersions

We show that an isometric immersion y from a two-dimensional domain S with C^1,α boundary to ℝ³ which belongs to the critical Sobolev space W^2,2 is C¹ up to the boundary. More generally C¹ regularity up to the boundary holds for all scalar functions V ∈ W^2,2(S) which satisfy det ∇²V=0. If S has only Lipschitz boundary we show such V can be approximated in W^2,2 by functions V_k ∈ W^1,∞∩W^2,2 with det ∇²V_k=0.     

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).     

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.     

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 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.     

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.     

On lower bounds for the widths of classes of functions defined by integral moduli of continuity

We establish lower bounds for the Kolmogorov widths d _2n-1(W ^r H ₁^ω.L _p ) and Gel’fand widths d ^2n-1(W ^r H ₁^ω.L _p ) of the classes of functions W ^r H ₁^ω with a convex integral modulus of continuity ω(t).     

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.     

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.     

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.     

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.