SOME REMARKS CONCERNING THE DAUGAVET EQUATION

Abstract

We say that a normed space X has the Daugavet property (DP) if for every finite rank operator K in X the equality ∥I + T∥ = 1 + ∥T∥ holds. It is known that C[0,1] and L ₁[0,1] have DP. We prove that if X has DP then X has no unconditional basis. We also discuss anti-Daugavet property, hereditary DP-spaces and construct a strictly convex normed space having DP.     

Random copy of a segment within a convex domain

Under the assumption that S is a segment of the length l and D is a bounded, convex domain in the Euclidean plane ℝ², the paper considers the randomly moving copy L of S, under the condition that it hits D. Denote by L| the length of L ∩ D. In the paper an elementary expression for the distribution function F _L (x) of the random variable L| is obtained. Note that F _L (x) can have a jump at the point l or can be a continuous function depending on l and the domainD. In particular, a relation between chord length distribution functions of D and F _L (x) is given. Moreover, we derive explicit forms of F _L (x) for the disk and regular n-gons with n = 3÷7.     

On the interpolation property of some intuitionistic modal logics

LetL be one of the intuitionistic modal logics considered in [7] (or one of its extensions) and letM _L be the algebraic semantics ofL. In this paper we will extend toL the equivalence, proved in the classical case (see [6]), among he weak Craig interpolation theorem, the Robinson theorem and the amalgamation property of varietyM _L. We will also prove the equivalence between the Craig interpolation theorem and the super-amalgamation property of varietyM _L. Then we obtain the Craig interpolation theorem and Robinson theorem for two intuitionistic modal logics, one ofS ₄-type and the other one ofS ₅-type, showing the super-amalgamation property of the corresponding algebraic semantics.     

Varieties and Vector Measures

A locally convex space L has the property ? if equicontinuous subsets of L* are weak-star sequentially compact. (L*, σ(L*, L)) is a MAZUR space if given F ∈ L** with F weak-star sequentially continuous then F∈ L. If L is complete with the property ∈, then (L*, σ (L*, L)) is a MAZUR space. The class of locally convex spaces with the property ? forms a variety ??_? and this variety is generated by the BANACH spaces it contains. Weakly compactly generated locally convex spaces and SCHWARTZ spaces belong to ??_?. MAZUR spaces are used to give a characterization of GROTHENDIECK BANACH spaces. The last section contains a characterization of the variety generated by the reflexive BANACH spaces.     

Idempotency of Extensions via the Bicompletion

Let Top ₀ be the category of topological T ₀-spaces, QU ₀ the category of quasi-uniform T ₀-spaces, T : QU ₀ → Top ₀ the usual forgetful functor and K : QU ₀ → QU ₀ the bicompletion reflector with unit k : 1 → K. Any T-section F : Top ₀ → QU ₀ is called K-true if KF = FTKF, and upper (lower) K-true if KF is finer (coarser) than FTKF. The literature considers important T-sections F that enjoy all three, or just one, or none of these properties. It is known that T(K,k)F is well-pointed if and only if F is upper K-true. We prove the surprising fact that T(K,k)F is the reflection to Fix(TkF) whenever it is idempotent. We also prove a new characterization of upper K-trueness. We construct examples to set apart some natural cases. In particular we present an upper K-true F for which T(K,k)F is not idempotent, and a K-true F for which the coarsest associated T-preserving coreflector in QU ₀ is not stable under K. We dedicate this paper to the memory of Sérgio de Ornelas Salbany (1941–2005).     

Lifting of convex functions on Carnot groups and lack of convexity for a gauge function

Let ${\mathbb{G}}Let \mathbbG{\mathbb{G}} be a Carnot group of step r and m generators and homogeneous dimension Q. Let \mathbbF_m,r{\mathbb{F}_{m,r}} denote the free Lie group of step r and m generators. Let also p:\mathbbF_m,r?\mathbbG{\pi:\mathbb{F}_{m,r}\to\mathbb{G}} be a lifting map. We show that any horizontally convex function u on \mathbbG{\mathbb{G}} lifts to a horizontally convex function u°p{u\circ \pi} on \mathbbF_m,r{\mathbb{F}_{m,r}} (with respect to a suitable horizontal frame on \mathbbF_m,r{\mathbb{F}_{m,r}}). One of the main aims of the paper is to exhibit an example of a sub-Laplacian L=?_j=1^m X_j²{\mathcal{L}=\sum_{j=1}^m X_j^2} on a Carnot group of step two such that the relevant L{\mathcal{L}}-gauge function d (i.e., d ^2-Q is the fundamental solution for L{\mathcal{L}}) is not h-convex with respect to the horizontal frame {X ₁, . . . , X _m }. This gives a negative answer to a question posed in Danielli et al. (Commun. Anal. Geom. 11 (2003), 263–341).     

Lattices of Order-Convex Sets of Forests

We give a characterization of the class Co(F)\mathbf{Co}(\mathcal{F}) [Co(F_n)\mathrm{\mathbf{Co}}(\mathcal{F}_n), n < ω, respectively] of lattices isomorphic to convexity lattices of posets which are forests [forests of length at most n, respectively], as well as of the class Co(L)\mathbf{Co}(\mathcal{L}) of lattices isomorphic to convexity lattices of linearly ordered posets. This characterization yields that the class of finite members from Co(F)\mathbf{Co}(\mathcal{F}) [from Co(F_n)\mathbf{Co}(\mathcal{F}_n), n < ω, or from Co(L)\mathbf{Co}(\mathcal{L})] is finitely axiomatizable within the class of finite lattices.     

Functoriality of automorphic <Emphasis Type="Italic">L</Emphasis>-functions through their zeros

Let E be a Galois extension of ℚ of degree l, not necessarily solvable. In this paper we first prove that the L-function L(s, π) attached to an automorphic cuspidal representation π of cannot be factored nontrivially into a product of L-functions over E. Next, we compare the n-level correlation of normalized nontrivial zeros of L(s, π₁)…L(s, π _k ), where π _j , j = 1,…, k, are automorphic cuspidal representations of , with that of L(s,π). We prove a necessary condition for L(s, π) having a factorization into a product of L-functions attached to automorphic cuspidal representations of specific , j = 1,…,k. In particular, if π is not invariant under the action of any nontrivial σ ∈ Gal _E/ℚ, then L(s, π) must equal a single L-function attached to a cuspidal representation of and π has an automorphic induction, provided L(s, π) can factored into a product of L-functions over ℚ. As E is not assumed to be solvable over ℚ, our results are beyond the scope of the current theory of base change and automorphic induction. Our results are unconditional when m,m ₁,…,m _k are small, but are under Hypothesis H and a bound toward the Ramanujan conjecture in other cases. The first author was supported by the National Basic Research Program of China, the National Natural Science Foundation of China (Grant No. 10531060), and Ministry of Education of China (Grant No. 305009). The second author was supported by the National Security Agency (Grant No. H98230-06-1-0075). The United States Government is authorized to reproduce and distribute reprints notwithstanding any copyright notation herein     

Fast formula of a reliability ofm-consecutive-k-out-of-n:F system with cyclek

Anm-consecutive-k-out-of-n:F system is a system ofn linearly arranged components which fails if and only if at leastm non-overlapping sequences ofk components fail, when there arek distinct components with failure probabilitiesq _i fori=1,...,k and where the failure probability of thej-th component (j=rk+i (1 ≤i ≤k) isq _j =q _i , we call this system by anm-consecutive-k-out-of-n:F system with cycle (or period)k. In this paper we give a formula of the failure probability ofm-consecutive-k-out-of-n:F system with cyclek via the failure probability of consecutive-k-out-of-n:F system.     

0-Minimal Quasi-ideals of Generalized Linear Transformation Semigroups

Abstract

For vector spaces V and W over a field F, L _F (V, W) denotes the set of all linear transformations α : V → W, and for a cardinal number k > 0, let L _F (V, W, k) be the set of all α ∈ L _F (V, W) of rank less than k. For θ ∈ L _F (W, V), let (L _F (V, W, k), θ) denote the semigroup L _F (V, W, k) under the operation ? defined by α ? β = αθβ for all α, β ∈ L _F (V, W, k). In this paper, all 0-minimal quasi-ideals of the semigroup (L _F (V, W, k), θ) are completely characterized. It is also shown from this characterization that every nonzero semigroup (L _F (V, W, k), θ) always has a 0-minimal quasi-ideal.     

Conservative loads on shells

Generalized load vectorsp and edge load vectorsF are denned in terms of the body force and surface on a shell. Necessary and sufficient conditions are derived forp andF, and therefore the body force and the surface force, to be conservative. It is shown for example thatp must satisfyp _i=P _ijk q _j,1 q _k,2+Q _ij ¹ q _j,2–Q _ij ² q _j,1+R _i whereq is the generalized position vector andP _ijk, Q_i,j ¹ and Q_ij ² are skew tensors.The case of hydrostatic pressure is examined in detail.This work was supported in part by NSF grant MSM 8618657.     

Solvability of the -Laplacian with nonlocal boundary conditions

Rather mild sufficient conditions are provided for the existence of positive solutions of a boundary value problem of the form

which unify several cases discussed in the literature. In order to formulate these conditions one needs to know only properties of the homeomorphism and have information about the level of growth of the response operator F. No metric information concerning the linear operators L₀,L₁ in the boundary conditions is used, except that they are positive and continuous and such that L_j(1)<1 j{0,1}.     

Convergence of tail sum for records

Suppose is the sequence of lower records from a distribution F, where F is continuous with . We derive conditions under which logarithm of the tail sum of records, ∑ _j=n ^∞ R _n ^(L) (F), properly centered and scaled, converge weakly. We also prove two results on Π-varying and regularly varying functions, which are of independent interest.     

Compound Binomial Approximations

We consider the approximation of the convolution product of not necessarily identical probability distributions q _j I + p _j F, (j=1,...,n), where, for all j, p _j =1−q _j ∈[0, 1], I is the Dirac measure at point zero, and F is a probability distribution on the real line. As an approximation, we use a compound binomial distribution, which is defined in a one-parametric way: the number of trials remains the same but the p _j are replaced with their mean or, more generally, with an arbitrary success probability p. We also consider approximations by finite signed measures derived from an expansion based on Krawtchouk polynomials. Bounds for the approximation error in different metrics are presented. If F is a symmetric distribution about zero or a suitably shifted distribution, the bounds have a better order than in the case of a general F. Asymptotic sharp bounds are given in the case, when F is symmetric and concentrated on two points. An erratum to this article can be found at     

Weakly irregular quasiperiodic solutions of nonlinear Pfaff systems

We consider the nonlinear quasiperiodic Pfaff system

$$\frac{{\partial x}}{{\partial t_j }} = F^{(j)} (t,x) + G^{(j)} (t,x)(j = 1,...,m).$$

Let K ^(j) be a frequency basis with respect to t _j of the functions F ⁽¹⁾,...,F ^(m), and let L ^(j) be a frequency basis with respect to t _j of the functions G ⁽¹⁾,...,G ^(m). Suppose that the set K ^(j) ∪ L ^(j) of numbers is rationally linearly independent. We obtain necessary and sufficient conditions for the existence of quasiperiodic solutions with frequency bases L ⁽¹⁾,..., L ^(m).

     

<Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>(<Emphasis Type="Italic">μ</Emphasis>) for vector-valued measure <Emphasis Type="Italic">μ</Emphasis>

Let μ be a measure from a σ-algebra of subsets of a set T into a sequentially complete Hausdorff topological vector space X. Assume that μ is convexly bounded, i.e., the convex hull of its range is bounded in X, and denote by L ¹(μ) the space of scalar valued functions on T which are integrable with respect to the vector measure μ. We study the inheritance of some properties from X to L ¹(μ). We show that the bounded multiplier property passes from X to L ¹(μ). Answering a 1972 problem of Erik Thomas, we show that for a rather large class of F-spaces X the non-containment of c ₀ passes from X to L ¹(μ).     

Scattered and hereditarily irresolvable spaces in modal logic

When we interpret modal ? as the limit point operator of a topological space, the Gödel-Löb modal system GL defines the class Scat of scattered spaces. We give a partition of Scat into α-slices S _α , where α ranges over all ordinals. This provides topological completeness and definability results for extensions of GL. In particular, we axiomatize the modal logic of each ordinal α, thus obtaining a simple proof of the Abashidze–Blass theorem. On the other hand, when we interpret ? as closure in a topological space, the Grzegorczyk modal system Grz defines the class HI of hereditarily irresolvable spaces. We also give a partition of HI into α-slices H _α , where α ranges over all ordinals. For a subset A of a hereditarily irresolvable space X and an ordinal α, we introduce the α-representation of A, give an axiomatization of the α-representation of A, and characterize H _α in terms of α-representations. We prove that ${X \in {\bf H}_{1}}When we interpret modal ◊ as the limit point operator of a topological space, the G?del-L?b modal system GL defines the class Scat of scattered spaces. We give a partition of Scat into α-slices S _α , where α ranges over all ordinals. This provides topological completeness and definability results for extensions of GL. In particular, we axiomatize the modal logic of each ordinal α, thus obtaining a simple proof of the Abashidze–Blass theorem. On the other hand, when we interpret ◊ as closure in a topological space, the Grzegorczyk modal system Grz defines the class HI of hereditarily irresolvable spaces. We also give a partition of HI into α-slices H _α , where α ranges over all ordinals. For a subset A of a hereditarily irresolvable space X and an ordinal α, we introduce the α-representation of A, give an axiomatization of the α-representation of A, and characterize H _α in terms of α-representations. We prove that X ? H₁{X \in {\bf H}_{1}} iff X is submaximal. For a positive integer n, we generalize the notion of a submaximal space to that of an n-submaximal space, and prove that X ? H_n{X \in {\bf H}_{n}} iff X is n-submaximal. This provides topological completeness and definability results for extensions of Grz. We show that the two partitions are related to each other as follows. For a successor ordinal α = β + n, with β a limit ordinal and n a positive integer, we have H_a ?Scat = S_b+2n-1 èS_b+2n{{\bf H}_{\alpha} \cap {\bf Scat} = {\bf S}_{\beta+2n-1} \cup {\bf S}_{\beta+2n}} , and for a limit ordinal α, we have H_a ?Scat = S_a{{\bf H}_{\alpha} \cap {\bf Scat} = {\bf S}_{\alpha}} . As a result, we obtain full and faithful translations of ordinal complete extensions of Grz into ordinal complete extensions of GL, thus generalizing the Kuznetsov–Goldblatt–Boolos theorem.     

On the parity of the class number of an imaginary abelian field of conductor 2<Superscript><Emphasis Type="Italic">a</Emphasis></Superscript><Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">b</Emphasis></Superscript>

Let p be an odd prime number, and p^n₀{p^{n_0}} the highest power of p dividing 2 ^p−1 − 1. Let K_n=Q(z_pⁿ⁺¹){K_n={\bf Q}(\zeta_{p^{n+1}})} and L_n,j=K_n⁺(z_2^j+2){L_{n,j}=K_n^+(\zeta_{2^{j+2}})} for j ≥ 0. Let h_n^*{h_n^*} be the relative class number of K _n , and h _n,j the class number of L _n,j , respectively. Let n be an integer with n ≥ n ₀. We prove that if the ratio h_n^*/h_n-1^*{h_n^*/h_{n-1}^*} is odd, then h _n,j /h _n−1,j is odd for any j ≥ 0.     

Cleft Extensions of Hopf Algebroids

The notions of a cleft extension and a cross product with a Hopf algebroid are introduced and studied. In particular it is shown that an extension (with a Hopf algebroid ℋ = (ℋ _L , ℋ _R )) is cleft if and only if it is ℋ _R -Galois and has a normal basis property relative to the base ring L of ℋ _L . Cleft extensions are identified as crossed products with invertible cocycles. The relationship between the equivalence classes of crossed products and gauge transformations is established. Strong connections in cleft extensions are classified and sufficient conditions are derived for the Chern–Galois characters to be independent on the choice of strong connections. The results concerning cleft extensions and crossed product are then extended to the case of weak cleft extensions of Hopf algebroids hereby defined. Dedicated to Stef Caenepeel on the occasion of his 50th birthday.