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.     

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)     

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

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.     

Characterizations of Hermitian varieties by intersection numbers

In this paper, we give characterizations of the classical generalized quadrangles H(3, q ²) and H(4, q ²), embedded in PG(3, q ²) and PG(4, q ²), respectively. The intersection numbers with lines and planes characterize H(3, q ²), and H(4, q ²) is characterized by its intersection numbers with planes and solids. This result is then extended to characterize all Hermitian varieties in dimension at least 4 by their intersection numbers with planes and solids.      

On a Class of Symmetric Balanced Generalized Weighing Matrices

Let q be a prime power and m a positive integer. A construction method is given to multiply the parametrs of an -circulant BGW(v=1+q+q ₂+·+q ^m , q ^m , q ^m –q ^m–1) over the cyclic group C _n of order n with (q–1)/n being an even integer, by the parameters of a symmetric BGW(1+q ^m+1, q ^m+1, q ^m+1–q ^m ) with zero diagonal over a cyclic group C _vn to generate a symmetric BGW(1+q+·+q ^2m+1,q ^2m+1,q ^2m+1–q ^2m) with zero diagonal, over the cyclic group C _n . Applications include two new infinite classes of strongly regular graphs with parametersSRG(36(1+25+·+25^2m+1),15(25)^2m+1,6(25)^2m+1,6(25)^2m+1), and SRG(36(1+49+·+49^2m+1),21(49)^2m+1,12(49)^2m+1,12(49)^2m+1).     

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.     

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.     

Über eine Verheftung elliptischer Randwert-Probleme

The paper presents a proof of the following-theorem. Let M be a compact closed C^∞-manifold which is the union of two submanifolds X⁺, X^? with common boundary Y. Furthermore, let A:C^∞(M, E) → C^∞(M, F) be an elliptic pseudo-differential operator (E, F complex vector bundles on M) with the transmission property with respect to Y. Then we can conclude: If ??⁺ and ??^? are elliptic boundary value problems for the restrictions of A to X⁺ and X^? respectively then we find an elliptic pseudodifferential operator S on Y with      

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

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.     

Cantor exchange systems and renormalization

We prove a one-to-one correspondence between (i) C¹⁺ conjugacy classes of C^1+H Cantor exchange systems that are C^1+H fixed points of renormalization and (ii) C¹⁺ conjugacy classes of C^1+H diffeomorphisms f with a codimension 1 hyperbolic attractor Λ that admit an invariant measure absolutely continuous with respect to the Hausdorff measure on Λ. However, we prove that there is no C^1+α Cantor exchange system, with bounded geometry, that is a C^1+α fixed point of renormalization with regularity α greater than the Hausdorff dimension of its invariant Cantor set.     

Splines (with optimal knots) are better

Let S^M _k be the Polynominal splines of degree n-1, and with K segments. If f∈ C ⁿ [a,b],then the distance in the L^p-norm form(0< p ≦ ∞)of from S ^M _k is boundedby M/K ⁿ , with a much smaller M than in similar estimates for other processes of approximation.     

The Augmentation Quotients of the Groups of Order 25, II

We have described the structure of Q _n (G) = Δ ⁿ (G)/Δ ⁿ⁺¹(G) for 35 particular classes of groups G with order 2⁵ in the previous article. In this article, the structure of Q _n (G) for all the remaining classes of groups G with order 2⁵ are presented.     

On the Riemann Summability of Fourier Integrals and Real Hardy Spaces

We consider the Riemann means of single and multiple Fourier integrals of functions belonging to L¹ or the real Hardy spaces defined on ℝⁿ, where n ≥ 1 is an integer. We prove that the maximal Riemann operator is bounded both from H¹(ℝ) into L¹(ℝ) and from L¹(ℝ) into weak –L¹(ℝ). We also prove that the double maximal Riemann operator is bounded from the hybrid Hardy spaces H^(1,0)(ℝIsup2), H^(0,1)(ℝ²⁾ into weak –L¹(ℝ²). Hence pointwise Riemann summability of Fourier integrals of functions in H^(1,0) ∪ H^(0,1)(ℝ²) follows almost everywhere.The maximal conjugate Riemann operators as well as the pointwise convergence of the conjugate Riemann means are also dealt with.     

Invertibility of the Gabor frame operator on the Wiener amalgam space

We use a generalization of Wiener's 1/f theorem to prove that for a Gabor frame with the generator in the Wiener amalgam space W(L^∞,?¹)(R^d), the corresponding frame operator is invertible on this space. Therefore, for such a Gabor frame, the canonical dual belongs also to W(L^∞,?¹)(R^d).     

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.     

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     

Minimal entropy and collapsing with curvature bounded from below

We show that if a closed manifold M admits an ℱ-structure (not necessarily polarized, possibly of rank zero) then its minimal entropy vanishes. In particular, this is the case if M admits a non-trivial S ¹-action. As a corollary we obtain that the simplicial volume of a manifold admitting an ℱ-structure is zero.?We also show that if M admits an ℱ-structure then it collapses with curvature bounded from below. This in turn implies that M collapses with bounded scalar curvature or, equivalently, its Yamabe invariant is non-negative.?We show that ℱ-structures of rank zero appear rather frequently: every compact complex elliptic surface admits one as well as any simply connected closed 5-manifold.?We use these results to study the minimal entropy problem. We show the following two theorems: suppose that M is a closed manifold obtained by taking connected sums of copies of S ⁴, ℂP ², ²,S ²×S ²and the K3 surface. Then M has zero minimal entropy. Moreover, M admits a smooth Riemannian metric with zero topological entropy if and only if M is diffeomorphic to S ⁴,ℂP ²,S ²×S ²,ℂP ²#  ² or ℂP ²# ℂP ². Finally, suppose that M is a closed simply connected 5-manifold. Then M has zero minimal entropy. Moreover, M admits a smooth Riemannian metric with zero topological entropy if and only if M is diffeomorphic to S ⁵,S ³×S ², then on trivial S ³-bundle over S ² or the Wu-manifold SU(3)/SO(3). Oblatum 13-III-2002 & 12-VIII-2002?Published online: 8 November 2002 G.P. Paternain was partially supported by CIMAT, Guanajuato, México.?J. Petean is supported by grant 37558-E of CONACYT.     

The spectrum of additive BIB designs

In this article, the existence of additive BIB designs is discussed with direct and recursive constructions, together with investigation of a property of resolvability. Such designs can be used to construct infinite families of BIB designs. In particular, we obtain a series of B(sⁿ, ts^m, λt (ts^m ? 1) (s^n‐m ? 1)/[2(s^m ? 1)]) for any positive integer λ, such that sⁿ (sⁿ ? 1) λ ≡ 0 (mod s^m (s^m ? 1) and for any positive integer t with 2 ≤ t ≤ s^n‐m, where s is an odd prime power. Connections between additive BIB designs and other combinatorial objects such as multiply nested designs and perpendicular arrays are discussed. A construction of resolvable BIB designs with v = 4k is also proposed. © 2007 Wiley Periodicals, Inc. J Combin Designs 15: 235–254, 2007