A Characterization of l + 1(Γ)

In this article we give necessary and sufficient conditions in order a closed cone of a Banach space E to be isomorphic to the positive cone l ₁ ⁺(Γ) of an l ₁(Γ) space. This problem has applications in the theory of Banach spaces as in the characterization of reflexive spaces and also on the problem of the embeddability of 1in Banach spaces.     

On the Connection Between the Projection and the Extension of a Parallelotope

This paper presents a result concerning the connection between the parallel projection P _v,H of a parallelotope P along the direction v (into a transversal hyperplane H) and the extension P + S(v), meaning the Minkowski sum of P and the segment S(v) = {λv | −1 ≤ λ ≤ 1}. A sublattice L _v of the lattice of translations of P associated to the direction v is defined. It is proved that the extension P + S(v) is a parallelotope if and only if the parallel projection P _v,H is a parallelotope with respect to the lattice of translations L _v,H , which is the projection of the lattice L _v along the direction v into the hyperplane H.     

Banach spaces whose duals contain complemented subspaces isomorphic to C[0, 1]

We give several characterizations of those Banach spaces X such that the dual $\text{X}{}^1$ contains a complemented subspace isomorphic to $\text{C[0, 1]}{}^1$. We investigate operators on separable $\text{L}$_∞ spaces whose adjoints have nonseparable ranges and apply our results to obtain a structure theorem for $\text{L}$_∞ spaces whose duals are not isomorphic to l₁(Γ).     

Über absolut repräsentierende Systeme aus Quasipolynomen in Räumen analytischer Funktionen

Criteria for Orlicz spaces containing an isomorphic as well as an almost isometric complemented copy of l¹ are given. The same is made for copies of l^∞ and c₀ in Orlicz spaces and in the subspace of order continuous elements in Orlicz space, respectively. The Hahn-Banach theorem is not used in the constructions of the projections.     

Extension of isometries between the unit spheres of complex l(Γ)(p>1)spaces

In this paper, we study the extension of isometries between the unit spheres of complex Banach spaces l^p(Γ) and l^p(Δ)(p > 1). We first derive the representation of isometries between the unit spheres of complex Banach spaces l^p(Γ) and l^p(Δ). Then we arrive at a conclusion that any surjective isometry between the unit spheres of complex Banach spaces l^p(Γ)and l^p(Δ) can be extended to be a linear isometry on the whole space.     

The Exceptional Compact Symmetric Spaces <Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript> and <Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>/<Emphasis Type="Italic">SO</Emphasis>(4) as Tubes

In the present paper we discuss in detail the cohomogeneity one isometric actions of the Lie groups SU(3) × SU(3) and SU(3) on the exceptional compact symmetric spaces G₂ and G₂/SO(4), respectively. We show that the principal orbits coincide with the tubular hypersurfaces around the totally geodesic singular orbits, and the symmetric spaces G₂ and G₂/SO(4) can be thought of as compact tubes around SU(3) and P², respectively. Moreover, we determine the radii of these tubes and describe the shape operators of the principal orbits. Finally, we apply these results to compute the volumes of the two symmetric spaces.The author was partially supported by the Hungarian National Science and Research Foundation OTKA T032478.     

Normal subgroups and elementary theories of lattice-ordered groups

We show that any lattice-ordered group (l-group) G can be l-embedded into continuously many l-groups H _i which are pairwise elementarily inequivalent both as groups and as lattices with constant e. Our groups H _i can be distinguished by group-theoretical first-order properties which are induced by lattice-theoretically nice properties of their normal subgroup lattices. Moreover, they can be taken to be 2-transitive automorphism groups A(S _i ) of infinite linearly ordered sets (S _i , ) such that each group A(S _i ) has only inner automorphisms. We also show that any countable l-group G can be l-embedded into a countable l-group H whose normal subgroup lattice is isomorphic to the lattice of all ideals of the countable dense Boolean algebra B.     

The Minimum Area of Convex Lattice <Emphasis Type="Italic">n</Emphasis>-Gons

Let A(n) be the minimum area of convex lattice n-gons. We prove that lim A(n)/n³ exists. Our computations suggest that the value of the limit is very close to 0.0185067....* Partially supported by Hungarian National Science Foundation Grants T 032452 and T 029255.     

THE INDUCED H-STRUCTURE ON FUNCTION SPACES

Abstract

Let (Z,Γ) be an H-structure. Then, for each exponential object Y in TOP, an H-structure is induced on the topological space C_t(Y,Z) of continuous maps equipped with the appropriate function space topology t (e.g. t = T_is, where T_is is the Isbell topology on C(Y,Z)).

If (Z,Γ) is H-associative (resp.admits inversion), then the induced H-structure is also H-associative (resp. admits inversion).

If (Z,Γ) is H-associative and admits inversion (e.g. a topological group) then all path components of C_t(Y,Z) belong to the same homotopy type.

We also study the special case of (Z,Γ) being a topological group. Moreover, we prove that certain functions between function spaces are H-homomorphisms of the induced H-structures in the function spaces.     

Hecke operators on Drinfeld cusp forms

In this paper, we study the Drinfeld cusp forms for Γ₁(T) and Γ(T) using Teitelbaum's interpretation as harmonic cocycles. We obtain explicit eigenvalues of Hecke operators associated to degree one prime ideals acting on the cusp forms for Γ₁(T) of small weights and conclude that these Hecke operators are simultaneously diagonalizable. We also show that the Hecke operators are not diagonalizable in general for Γ₁(T) of large weights, and not for Γ(T) even of small weights. The Hecke eigenvalues on cusp forms for Γ(T) with small weights are determined and the eigenspaces characterized.     

Orderamarts: A class of asymptotic martingales

We extend the notion of real-valued asymptotic martingales to the Banach lattice valued case. Unlike the other extensions, the notion of “orderamart” preserves the lattice property of real amarts. We show also, a Riesz decomposition, a weak and strong convergence theorem, a probabilistic characterization of A-L spaces from which we can prove that a Banach lattice with the shur property and a quasi-interior point in the dual is an l¹(Γ).     

On the proximinality of compact operators over spaces of measurable functions

The main results in this paper are, the characterization of all the σfinite positive measures μ and v, for which K(L₁(μ, L₁(v)) proximinal in K(L₁(μ, L₁(v)) all the a-finite positive measures fi and v, for which K(L_∞(μ), L_∞(v)) is proximinal in L(L_∞μ)), L_v(v)) and all the compact Hausdorff spaces Q, for which K(C(Q), L_∞(μ)) is proximinal in L(C(Q), :_∞(μ))     

Some Remarks on Orlicz-Lorentz Spaces

Spaces of Lorentz type called Orlicz-Lorentz spaces are studied. There are given necessary and sufficient conditions for the spaces to be order continuous, separable, KB-spaces and to contain isometric or isomorphic copy of l∞ or c₀. Moreover a criterion for strict convexity of these spaces is found.     

Integral self-affine tiles in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> part II: Lattice tilings

Let A be an expanding n×n integer matrix with |det(A)|=m. Astandard digit set D for A is any complete set of coset representatives forℤ ⁿ /A(ℤ ⁿ ). Associated to a given D is a setT (A, D), which is the attractor of an affine iterated function system, satisfyingT=∪ _d∈D (T+d). It is known thatT (A, D) tilesℝ ⁿ by some subset ofℤ ⁿ . This paper proves that every standard digit set D gives a setT (A, D) that tilesℝ ⁿ with a lattice tiling.     

Banach spaces whose duals are isomorphic to l1(Γ)

Banach spaces X whose duals are isomorphic or isometric to l₁(Γ) are characterized by certain classes of operators on X. It is proved that a separable, conjugate space isomorphic to a complemented subspace of an L₁(S, Σ, μ) space is isomorphic to l₁; a $\text{L}$₁ space contained in a separable, conjugate space is isomorphic to a subspace of l₁.     

Dynamics of a family of piecewise-linear area-preserving plane maps III. Cantor set spectra

This paper studies the behavior under iteration of the maps T _ab (x,y) = (F _ab (x) ? y, x) of the plane ?², in which F _ab (x) = ax if x ≥ 0 and bx if x < 0. These maps are area-preserving homeomorphisms of ?² that map rays from the origin to rays from the origin. Orbits of the map correspond to solutions of the nonlinear difference equation x _n+2 = 1/2(a ? b)|x _n+1|+1/2(a+b)x _n+1 ? x _n . This difference equation can be rewritten in an eigenvalue form for a nonlinear difference operator of Schrödinger type ? x _n+2+2x _n+1 ? x _n +V _μ(x _n+1)x _n+1 = Ex _n+1, in which μ = (1/2)(a ? b) is fixed, and V _μ(x) = μ(sgn(x)) is an antisymmetric step function potential, and the energy E = 2 ? 1/2(a+b). We study the set Ω _SB of parameter values where the map T _ab has at least one bounded orbit, which correspond to l _∞-eigenfunctions of this difference operator. The paper shows that for transcendental μ the set Spec_∞[μ] of energy values E having a bounded solution is a Cantor set. Numerical simulations suggest the possibility that these Cantor sets have positive (one-dimensional) measure for all real values of μ.     

An Inverse Function Theorem for Fréchet Spaces Satisfying a Smoothing Property and (DN)

Classical inverse function theorems of Nash-Moser type are proved for Fréchet spaces that admit smoothing operators as introduced by Nash. In this note an inverse function theorem is proved for Fréchet spaces which only have to satisfy the condition (DN) of Vogt and the smoothing property (S_Ω)_t; for instance, any Fréchet-Hilbert space which is an (Ω)-space in standard form has property (S_Ω)_t. The main result of this paper generalizes a theorem of Lojasiewicz and Zehnder. It can be applied to the space C^∞(K) if the compact K ? ?^N is the closure of its interior and subanalytic; different from classical results the boundary of K may have singularities like cusps. The growth assumptions on the mappings are formulated in terms of the weighted multiseminorms [ ]m,k introduced in this paper; nonlinear smooth partial differential operators on C^∞(K) and their derivatives satisfy these formal assumptions.     

On the Theory of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>)-Banach Lattices

Given 1≤ p,q < ∞, let BL_pL_q be the class of all Banach lattices X such that X is isometrically lattice isomorphic to a band in some L_p(L_q)-Banach lattice. We show that the range of a positive contractive projection on any BL_pL_q-Banach lattice is itself in BL_pL_q. It is a consequence of this theorem and previous results that BL_pL_q is first-order axiomatizable in the language of Banach lattices. By studying the pavings of arbitrary BL_pL_q-Banach lattices by finite dimensional sublattices that are themselves in this class, we give an explicit set of axioms for BL_pL_q. We also consider the class of all sublattices of L_p(L_q)-Banach lattices; for this class (when p/q is not an integer) we give a set of axioms that are similar to Krivine’s well-known axioms for the subspaces of L_p-Banach spaces (when p/2 is not an integer). We also extend this result to the limiting case q = ∞.     

On odd points and the volume of lattice polyhedra

Denote by _n ³ ,n 2, the lattice consisting of all pointsx in ³ such thatnx belongs to the fundamental lattice ³ of points with integer coordinates. Letl _n be the subset of _n ³ consisting of all points whose coordinates are odd multiples of 1/n. The purpose of this paper is to give several new Pick-type formulae for the volume of three-dimensional lattice polyhedra, that is, polyhedra with vertices in ³. Our formulae are in terms of numbers of only thel _n-points belonging to a lattice polyhedronP in contrast to already known formulae which employ numbers of all the _n ³ -points inP. On our way to establishing the formulae we show that the number of points froml _n belonging to a three-dimensional lattice polyhedronP has some polynomiality properties similar to those of the well-known Ehrhart polynomial expressing the number of points of _n ³ inP. The paper contains also some comments on a problem of finding a volume formula which would employ only the setsl _n and which would be applicable to lattice polyhedra in arbitrary dimensions.Research partially supported by KBN Grant 2 P03A 008 10.     

The Stability in W s,p (Γ) Spaces of L 2-Projections on Some Convex Sets

ABSTRACT

For a polygonal open bounded subset of ?², of boundary Γ, we study stability estimates for the projection operator from L ¹(Γ) on a convex set K _h of continuous piecewise affine functions satisfying bound constraints. We establish stability estimates in L ^p (Γ) and in W ^s,p (Γ) for 1 ≤ p ≤ ∞ and 0 < s ≤ 1. This kind of result plays a crucial role in error estimates for the numerical approximation of optimal control problems of partial differential equations with bilateral control constraints.