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.     

Ganea comonads

We construct for all topological space X and all n∈N a natural section e ⁿ _X :G ⁿ X→G ⁿ G ⁿ X of the Ganea projection :G ⁿ G ⁿ X→G ⁿ X and show that the triple (G ⁿ ,g ⁿ ,e ⁿ ) is a comonad on Top ^*. Received: 6 March 2000     

Dense Subsets of H1/2(S2, S1)

We prove that the maps from S ² intoS ¹ having a finite number of isolated singularities ofdegree ±1 are dense for the strong topology inH ^1/2(S ², S ¹). We also prove that smooth maps are densein H ^1/2(S ², S ¹)for the sequentially weak topology andthat this is no more the case in H ^s (S ², S ¹) for s> 1/2.     

The pinched Veronese is Koszul

In this paper we prove that the coordinate ring of the pinched Veronese, k[X ³,X ² Y,XY ²,Y ³,X ² Z,Y ² Z,XZ ²,YZ ²,Z ³], is Koszul. The result is obtained by combining the use of a flat deformation induced by a distinguished weight together with a generalization of the notion of Koszul filtrations.     

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.     

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.     

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)     

关于环Fpm+uFpm+u2Fpm上循环码的注记

本文研究了环F_p^m+uF_p^m+u²F_p^m上长度为p^s的循环码分类.通过建立环F_p^m+uF_p^m+u²F_p^m到环F_p^m+uF_p^m的同态,给出了环F_p^m+uF_p^m+u²F_p^m上长度为p^s的循环码的新分类方法.应用这种方法,得到了环F_p^m+uF_p^m+u²F_p^m长度为p^s的循环码的码词数.     

Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev spaces Lp(·) and Wk,p(·)

We study the Riesz potentials I_αf on the generalized Lebesgue spaces L^p(·)(?^d), where 0 < α < d and I_αf(x) ? ∫equation/tex2gif-inf-3.gif |f(y)| |x – y|^{α – d} dy. Under the assumptions that p locally satisfies |p(x) – p(x)| ≤ C/(– ln |x – y|) and is constant outside some large ball, we prove that I_α : L^p(·)(?^d) → L^p?(·)(?^d), where . If p is given only on a bounded domain Ω with Lipschitz boundary we show how to extend p to on ?^d such that there exists a bounded linear extension operator ? : W^1,p(·)(Ω) ? (?^d), while the bounds and the continuity condition of p are preserved. As an application of Riesz potentials we prove the optimal Sobolev embeddings W^k,p(·)(?^d) ?L^p*(·)(R^d) with and W^1,p(·)(Ω) ? L^p*(·)(Ω) for k = 1. We show compactness of the embeddings W^1,p(·)(Ω) ? L^q(·)(Ω), whenever q(x) ≤ p*(x) – ε for some ε > 0. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

NONLINEAR HOMOTOPY AND PRE-POINCARÉ LEMMAS

Abstract

Most homotopies considered in the literature are linear homotopies of the form h ⁱ (λ) = λx ⁱ + (1—λ)y ⁱ , 0 ≤ λ ≤ 1. Although these prove to be adequate in most instances, they lack direct geometric significance because {h ⁱ (λ) | 0 ≤ λ ≤ 1} are not orbits of a vector field. On the other hand, the nonlinear homotopy g ⁱ (s) = e ^s x ⁱ + (1—e ^s )y ⁱ ,—∞ ≤ s ≤ 0, are orbits of a vector field (i.e., dg ⁱ /ds = g ⁱ —y ⁱ , g ⁱ (0) = x ⁱ ), and thus have direct geometric significance. This suggests that useful results can be obtained by replacing linear homotopy by transport along flows of smooth vector fields. The purpose of this paper is to elaborate on this simple idea. We define prehomotopy operators induced by vector fields on a manifold. These allow us to obtain finite transport relations and pre-Poincaré lemmas that generalize the classical results. They are shown to reproduce the classical results as asymptotic limits and to obtain representations of all solutions of complete systems of exterior differential equations on a star shaped region of a manifold.     

Orlicz-Hardy spaces associated with operators

Let L be a linear operator in L2(Rn) and generate an analytic semigroup {e-tL}t 0 with kernel satisfying an upper bound of Poisson type, whose decay is measured by θ(L) ∈ (0, ∞). Let ω on (0, ∞) be of upper type 1 and of critical lower type p0(ω) ∈ (n/(n + θ(L)), 1] and ρ(t) = t-1/ω-1(t-1) for t ∈ (0, ∞). We introduce the Orlicz-Hardy space Hω, L(Rn) and the BMO-type space BMOρ, L(Rn) and establish the John-Nirenberg inequality for BMOρ, L(Rn) functions and the duality relation between Hω, L(Rn) and BMOρ, L...     

A Recursive Construction for New Symmetric Designs

We introduce a recursive construction of regular Handamard matrices with row sum 2h for h=±3ⁿ. Whenever q=(2h – 1)² is a prime power, we construct, for every positive integer m, a symmetric designs with parameters (4h²(q^m+1 – 1)/(q – 1), (2h² – h)q^m, (h² – h)q^m).     

Generalized commutators for Marcinkiewicz type integrals with variable kernels

Let A be a function with derivatives of order m and D γ A ∈■β (0 < β < 1, |γ| = m). The authors in the paper prove that if Ω(x, z) ∈ L ∞ (R n ) × L s (S n 1 ) (s ≥ n/(n β)) is homogenous of degree zero and satisfies the mean value zero condition about the variable z, then both the generalized commutator for Marcinkiewicz type integral μ A Ω and its variation μ A Ω are bounded from L p (R n ) to L q (R n ), where 1 < p < n/β and 1/q = 1/p β/n. The authors also consider the boundedness of μ A Ω and its variation μ A Ω on Hardy spaces.     

Kolmogorov Width of Classes of Smooth Functions on the Sphere

Let ^d−1{(x₁,…,x_d) ^d:x²₁+···+x²_d=1} be the unit sphere of the d-dimensional Euclidean space ^d. For r>0, we denote by B^r_p (1p∞) the class of functions f on ^d−1 representable in the formwhere dσ(y) denotes the usual Lebesgue measure on ^d−1, and P^λ_k(t) is the ultraspherical polynomial.For 1p,q∞, the Kolmogorov N-width of B^r_p in L^q( ^d−1) is given bythe left-most infimum being taken over all N-dimensional subspaces X_N of L^q( ^d−1).The main result in this paper is that for r2(d−1)²,where A_NB_N means that there exists a positive constant C, independent of N, such that C⁻¹A_NB_NCA_N.This extends the well-known Kashin theorem on the asymptotic order of the Kolmogorov widths of the Sobolev class of the periodic functions.     

Codimension Two PL Embeddings of Spheres with Nonstandard Regular Neighborhoods

For a given polyhedron K(?)M,the notation RM(K)denotes a regular neigh- borhood of K in M.The authors study the following problem:find all pairs(m,k) such that if K is a compact k-polyhedron and M a PL m-manifold,then R_M(f(K))≌R_M(g(K))for each two homotopic PL embeddings f,g:K→M.It is proved that R_S~(k 2)(S~k)(?)S~k×D~2 for each k(?)2 and some PL sphere S~k(?)S~(k 2)(even for any PL sphere S~k(?)S~(K 2)having an isolated non-locally flat point with the singularity S~(k-1)(?) S~(k 1)such thatπ_1(S~(k 1)-S~(k-1))(?)Z).     

The space Ω m p (R d ) and some properties

Let m be a v-moderate function defined on R ^d and let g ∈ L ²(R ^d ). In this work, we defineΩ _m ^p (R ^d ) to be the vector space of f ∈ L _m ² (R ^d ) such that the Gabor transform V ^f belongs to L ^p (R ^2d ), where 1 ≤ p < ∞. We equip it with a norm and show that it is a Banach space with this norm. We also study some preliminary properties of Ω _m ^p (R ^d ). We also discuss inclusion properties and obtain the dual space of Ω _m ^p (R ^d ). At the end of this work, we study multipliers from L _w ¹ (R ^d ) into Ω _w ^p (R ^d ) and from Ω _w ^p (R ^d ) into L _w−1 ^∞ (R ^d ), where w is the Beurling weight function. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 1, pp. 139–145, January, 2006.     

Compositions of isometric immersions¶in higher codimension

Given a submanifold M ⁿ of Euclidean space ℝ ^{n + p} with codimension p≤6, under generic conditions on its second fundamental form, we show that any other isometric immersion of M ⁿ into ℝ ^{n + p + q} , 0≤q≤n− 2p−1 and 2q≤n+ 1 if q≥ 5, must be locally a composition of isometric immersions. This generalizes several previous results on rigidity and compositions of submanifolds. We also provide conditions under which our result is global. 14 March 2001     

Reverse Order Law for the Group Inverse in Semigroups and Rings

In this paper, we provide equivalent conditions for the two-sided reverse order law for the group inverse (ab)^# = b ^# a ^# and (ba)^# = a ^# b ^#, in semigroups and rings. Moreover, we prove that, under finiteness conditions, these conditions are also equivalent with the one-sided reverse order law (ab)^# = b ^# a ^#.     

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

Boundedness of Marcinkiewicz integrals and their commutators in H1 (?n × ?m)

The authors establish the boundedness of Marcinkiewicz integrals from the Hardy space H ¹ (ℝ ⁿ × ℝ ^m ) to the Lebesgue space L ¹(ℝ ⁿ × ℝ ^m ) and their commutators with Lipschitz functions from the Hardy space H ¹ (ℝ ⁿ × ℝ ^m ) to the Lebesgue space L ^q (ℝ ⁿ × ℝ ^m ) for some q > 1.