Nearly Model Complete Theories

A theory T of a language L is 1-model complete (nearly model complete) iff for every formula ρ of L there is a formula ? (χ) of L which is a ??-formula (a Boolean combination of universal formulas) such that T ? ?x [??θ]. The main results of the paper give characterizations of nearly model complete theories and of 1-model complete theories. As a consequence we obtain that a theory T is nearly model complete iff whenever ?? is a model of T and ???₁??, then T ∪ Δ¹_?? is a complete L(A)-theory, where Δ¹_?? is the 1-diagram of ??. We also point out that our main results extend to (n + l)-model complete and nearly ra-model complete theories for all n > 0.     

Periodic Operators in High-Contrast Media and the Integrated Density of States Function

ABSTRACT

This paper studies the asymptotic behavior for the integrated density of states function for operators associated with the propagation of classical waves in a high-contrast, periodic, two-component medium. Consider a domain Ω₊ contained in the hypercube [0, 2π) ⁿ . We define a function χ_τ which takes the value 1 in Ω₊ and the value τ in [0, 2π) ⁿ \ Ω₊. We extend this setup periodically to ? ⁿ and define the operator L _τ = ??χ_τ ?. As τ goes to infinity, it is known that the spectrum of L _τ exhibits a band-gap structure and that the spectral density accumulates at the upper endpoints of the bands. We establish the existence and some important properties of a rescaled integrated density of states function in the large coupling limit which describes the non-trivial asymptotic behavior of this spectral accumulation.     

The Lattice of Convex Subsemilattices of a Semilattice

Abstract. The convex subsemilattices of a semilattice E form a lattice C o(E) in the natural way. The purpose of this paper is to study how the properties of this lattice relate to the semilattice itself. For instance, lower semimodularity of the lattice is equivalent, along with various properties, to the semilattice being a tree. When E has more than two elements the lattice does, however, fail many common lattice-theoretic tests. It turns out that it is more fruitful to describe those semilattices E for which every ``atomically generated' filter of C o(E) satisfies certain lattice-theoretic properties.     

Classification and geometric aspects of vector valued Fourier transforms

It is shown that for any locally compact abelian group ?? and 1 ≤ p ≤ 2, the Fourier type p norm with respect to ?? of a bounded linear operator T between Banach spaces, denoted by ‖T |???^??_p‖, satisfies ‖T |???^??_p‖ ≤ ‖T |???^??_p‖, where ?? is the direct product of ?₂, ?₃, ?₄, … It is also shown that if ?? is not of bounded order then Cⁿ_p ‖T |???^??_p‖ ≤ ‖T |???^??_p‖, where ?? is the circle group, n is a onnegative integer and C^p = . From these inequalities, for any locally compact abelian group ?? ‖T |???^??₂‖ ≤ ‖T |???^??₂‖, and moreover if ?? is not of bounded order then ‖T |???^??₂‖ = ‖T |???^??₂‖. The Hilbertian property and B‐convexity are discussed in the framework of Fourier type p norms. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Traces of Sobolev functions with one square integrable directional derivative

We consider the Sobolev spaces of square integrable functions v, from ?ⁿ or from one of its hyperquadrants Q, into a complex separable Hilbert space, with square integrable sum of derivatives ∑?_??v. In these spaces we define closed trace operators on the boundaries ?Q and on the hyperplanes {r_?? = z}, z ∈ ?\{0}, which turn out to be possibly unbounded with respect to the usual L²‐norm for the image. Therefore, we also introduce bigger trace spaces with weaker norms which allow to get bounded trace operators, and, even if these traces are not L², we prove an integration by parts formula on each hyperquadrant Q. Then we discuss surjectivity of our trace operators and we establish the relation between the regularity properties of a function on ?ⁿ and the regularity properties of its restrictions to the hyperquadrants Q. Copyright © 2005 John Wiley & Sons, Ltd.     

Associative,Idempotent, Symmetric,and Order-preserving Operations on Chains

We characterize the associative, idempotent, symmetric, and order-preserving binary operations on (finite) chains in terms of properties of (the Hasse diagram of) their associated semilattice order. In particular, we prove that the number of associative, idempotent, symmetric, and order-preserving operations on an n-element chain is the n^th Catalan number.

     

Real Hypersurfaces Having Many Pseudo-hyperplanes

Abstract

Let nand dbe natural integers satisfying n ≥ 3 and d ≥ 10. Let Xbe an irreducible real hypersurface Xin ? ⁿ of degree dhaving many pseudo-hyperplanes. Suppose that Xis not a projective cone. We show that the arrangement ? of all d ? 2 pseudo-hyperplanes of Xis trivial, i.e., there is a real projective linear subspace Lof ? ⁿ (?) of dimension n ? 2 such that L ? Hfor all H ∈ ?. As a consequence, the normalization of Xis fibered over ?¹in quadrics. Both statements are in sharp contrast with the case n = 2; the first statement also shows that there is no Brusotti-type result for hypersurfaces in ? ⁿ , for n ≥ 3.     

Vanishing Theorems for Conformally Compact Manifolds

Abstract

We study L ² harmonic p-forms on conformally compact manifolds with a rather weak boundary regularity assumption. We proved that if the lower bound of the curvature operator is great than or equal to ?1 and the infimum of the L ² spectrum of the Laplacian great than p(n ? p) for some p ≤ n/2, then there is no nontrivial L ² harmonic p-form.     

Existence and regularity of positive solutions of elliptic equations of Schr?dinger type

We prove the existence of positive solutions with optimal local regularity of the homogeneous equation of Schr?dinger type $$ - {\rm{div}}(A\nabla u) - \sigma u = 0{\rm{ in }}\Omega $$ for an arbitrary open ?? ? ? ⁿ under only a form-boundedness assumption on ?? ?? D??(??) and ellipticity assumption on A ?? L ^??(??) ^n×n . We demonstrate that there is a two-way correspondence between form boundedness and existence of positive solutions of this equation as well as weak solutions of the equation with quadratic nonlinearity in the gradient $$ - {\rm{div}}(A\nabla u) = (A\nabla v) \cdot \nabla v + \sigma {\rm{ in }}\Omega $$ As a consequence, we obtain necessary and sufficient conditions for both formboundedness (with a sharp upper form bound) and positivity of the quadratic form of the Schr?dinger type operator H = ?div(A?·)-?? with arbitrary distributional potential ?? ?? D??(??), and give examples clarifying the relationship between these two properties.     

On Parseval super-frame wavelets

Suppose that η1,...,ηn are measurable functions in L2(R).We call the n-tuple (η1,…,ηn) a Parseval super frame wavelet of length n if {2k/2η1(2kt-)（@）...(@)2k/2ηn(2kt-l):k,l∈Z}is a Parseval frame for L2...     

Rigidity and gamma convergence for solid‐solid phase transitions with SO(2) invariance

The singularly perturbed two‐well problem in the theory of solid‐solid phase transitions takes the form where u : Ω ? ?ⁿ → ?ⁿ is the deformation, and W vanishes for all matrices in K = SO(n)A ∪ SO(n)B. We focus on the case n = 2 and derive, by means of Gamma convergence, a sharp‐interface limit for I_ε. The proof is based on a rigidity estimate for low‐energy functions. Our rigidity argument also gives an optimal two‐well Liouville estimate: if ?u has a small BV norm (compared to the diameter of the domain), then, in the L¹ sense, either the distance of ?u from SO(2)A or the one from SO(2)B is controlled by the distance of ?u from K. This implies that the oscillation of ?u in weak L¹ is controlled by the L¹ norm of the distance of ?u to K. © 2006 Wiley Periodicals, Inc.     

Sharp Lp decay of oscillatory integral operators with certain homogeneous polynomial phases in several variables

In this paper, we obtain the L~p decay of oscillatory integral operators T_λ with certain homogeneous polynomial phase functions of degree d in(n + n)-dimensions; we require that d 2 n. If d/(d-n) p d/n,the decay is sharp and the decay rate is related to the Newton distance. For p = d/n or d/(d-n), we obtain the almost sharp decay, where "almost" means that the decay contains a log(λ) term. For otherwise, the L~p decay of T_λ is also obtained but not sharp. Finally, we provide a counterexample to show that d/(d-n) p d/n is not necessary to guarantee the sharp decay.     

Predual Spaces of Banach Completions of Orlicz-Hardy Spaces Associated with Operators

Let L be a linear operator in L ²(? ⁿ ) and generate an analytic semigroup {e ^?tL } _t??0 with kernels 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 $\widetilde{p}_{0}(\omega)\in(n/(n+\theta(L)),1]$ and ??(t)=t ^?1/?? ^?1(t ^?1) for t??(0,??). In this paper, the authors first introduce the VMO-type space VMO _??,L (? ⁿ ) and the tent space $T^{\infty}_{\omega,\mathrm{v}}({\mathbb{R}}^{n+1}_{+})$ and characterize the space VMO _??,L (? ⁿ ) via the space $T^{\infty}_{\omega,\mathrm{v}}({{\mathbb{R}}}^{n+1}_{+})$ . Let $\widetilde{T}_{\omega}({{\mathbb{R}}}^{n+1}_{+})$ be the Banach completion of the tent space $T_{\omega}({\mathbb{R}}^{n+1}_{+})$ . The authors then prove that $\widetilde{T}_{\omega}({\mathbb{R}}^{n+1}_{+})$ is the dual space of $T^{\infty}_{\omega,\mathrm{v}}({\mathbb{R}}^{n+1}_{+})$ . As an application of this, the authors finally show that the dual space of $\mathrm{VMO}_{\rho,L^{\ast}}({\mathbb{R}}^{n})$ is the space B _??,L (? ⁿ ), where L ^* denotes the adjoint operator of L in L ²(? ⁿ ) and B _??,L (? ⁿ ) the Banach completion of the Orlicz-Hardy space H _??,L (? ⁿ ). These results generalize the known recent results by particularly taking ??(t)=t for t??(0,??).     

The finite simple groups with at most two fusion classes of every order

Elements a,b of a group G are said to be fused if a = b^σ and to be inverse-fused if a =(b^-1)^σ for some σ ? Aut(G). The fusion class of a ? G is the set {a^σ | σ ? Aut(G)}, and it is called a fusion class of order i if a has order iThis paper gives a complete classification of the finite nonabelian simple groups G for which either (i) or (ii) holds, where:

(i) G has at most two fusion classes of order i for every i (23 examples); and

(ii) any two elements of G of the same order are fused or inversenfused.

The examples in case (ii) are: A₅, A₆,L₂(7),L₂(8), L₃(4), Sz(8), M₁₁ and M₂₃An application is given concerning isomorphisms of Cay ley graphs.     

Some new researches on the general connectivity index of benzenoid systems

Given H a benzenoid system, we find an expression of the general connectivity index, denoted by ?? _?? (H), in terms of inlet features and internal vertex features of H. As a consequence, the extremal n-benzenoid systems with maximal general connectivity index ?? _?? are completely characterized. Moreover, by constructing a combinatorial bijection, we prove that the linear chain L _n is the unique extremal n-benzenoid system with minimal general connectivity index ?? _?? if and only if ??>?? ^?, where ?? ^? is the positive root of the equation 2×6 ^x ?9 ^x =0.     

The Lie Module Function for Symmetric Groups #

Let V be a ? G-module where ? is the field of all complex numbers and G is a symmetric group. The purpose of this article is to give a method of analyzing the Lie powers L ⁿ (V ), for every positive integer n, by making use of the recent work of Bryant.     

A note on weakly Lindelöf frames

The notion of σ^?-properness of a subset of a frame is introduced. Using this notion, we give necessary and su?cient conditions for a frame to be weakly Lindelöf. We show that a frame is weakly Lindelöf if and only if its semiregularization is weakly Lindelöf. For a completely regular frame L, we introduce a condition equivalent to weak realcompactness based on maximal ideals of the cozero part of L. This enables us to show that every weakly realcompact almost P -frame is realcompact. A new characterization of weakly Lindelöf frames in terms of neighbourhood strongly divisible ideals of ?? is provided. The closed ideals of ?? equipped with the uniform topology are applied to describe weakly Lindelöf frames.     

Some Remark on Optimal Stochastic Control with Partial Information

Abstract

We are interested in the control problem of a partially observable diffusion process, which is initialized at a fixed point of ? ⁿ , and we want to characterize the associated value function. To resort to the theory of viscosity solutions depends on the possibility to translate such a problem on Hilbert spaces like L ²(? ⁿ ), and so it can not be used here. Nevertheless, a result of N. Bouleau and F. Hirsch allows us to introduce a broadened problem which fulfills the condition. The fact remains to link these two control problems.     

A theorem on geometric rigidity and the derivation of nonlinear plate theory from three‐dimensional elasticity

The energy functional of nonlinear plate theory is a curvature functional for surfaces first proposed on physical grounds by G. Kirchhoff in 1850. We show that it arises as a Γ‐limit of three‐dimensional nonlinear elasticity theory as the thickness of a plate goes to zero. A key ingredient in the proof is a sharp rigidity estimate for maps v : U → ?ⁿ, U ? ?ⁿ. We show that the L²‐distance of ?v from a single rotation matrix is bounded by a multiple of the L²‐distance from the group SO(n) of all rotations. © 2002 Wiley Periodicals, Inc.     

Minimal projections in spaces of functions of N variables

We will construct a minimal and co-minimal projection from L^p([0,1]ⁿ) onto L^p([0,1]^n₁)++L^p([0,1]^n_k), where n=n₁++n_k (see Theorem 2.9). This is a generalization of a result of Cheney, Halton and Light from (Approximation Theory in Tensor Product Spaces, Lecture Notes in Mathematics, Springer, Berlin, 1985; Math. Proc. Cambridge Philos. Soc. 97 (1985) 127; Math. Z. 191 (1986) 633) where they proved the minimality in the case n=2. We provide also some further generalizations (see Theorems 2.10 and 2.11 (Orlicz spaces) and Theorem 2.8). Also a discrete case (Theorem 2.2) is considered. Our approach differs from methods used in [8,13,20].