Rough Isometry and <Emphasis Type="Italic">p</Emphasis>-Harmonic Boundaries of Complete Riemannian Manifolds

In this paper, we describe the behavior of bounded energy finite solutions for certain nonlinear elliptic operators on a complete Riemannian manifold in terms of its p-harmonic boundary. We also prove that if two complete Riemannian manifolds are roughly isometric to each other, then their p-harmonic boundaries are homeomorphic to each other. In the case, there is a one to one correspondence between the sets of bounded energy finite solutions on such manifolds. In particular, in the case of the Laplacian, it becomes a linear isomorphism between the spaces of bounded harmonic functions with finite Dirichlet integral on the manifolds. This work was supported by grant No. R06-2002-012-01001-0(2002) from the Basic Research Program of the Korea Science & Engineering Foundation.     

Heat kernel for the elliptic system of linear elasticity with boundary conditions

We consider the elliptic system of linear elasticity with bounded measurable coefficients in a domain where the second Korn inequality holds. We construct heat kernel of the system subject to Dirichlet, Neumann, or mixed boundary condition under the assumption that weak solutions of the elliptic system are Hölder continuous in the interior. Moreover, we show that if weak solutions of the mixed problem are Hölder continuous up to the boundary, then the corresponding heat kernel has a Gaussian bound. In particular, if the domain is a two dimensional Lipschitz domain satisfying a corkscrew or non-tangential accessibility condition on the set where we specify Dirichlet boundary condition, then we show that the heat kernel has a Gaussian bound. As an application, we construct Green's function for elliptic mixed problem in such a domain.     

An Extension Result for Continuous Valuations

It is shown, by a simple and direct proof, that if a boundedvaluation on a monotone convergence space is the supremum ofa directed family of simple valuations, then it has a uniqueextension to a Borel measure. In particular, this holds forany directed complete partial order with the Scott topology.It follows that every bounded and continuous valuation on acontinuous directed complete partial order can be extended uniquelyto a Borel measure. The last result also holds for -finite valuations,but fails for directed complete partial orders in general.     

Essential Spectral Inclusions for Operators on Banach Spaces

This paper centers on local spectral conditions that are both necessary and sufficient for the equality of the essential spectra of two bounded linear operators on complex Banach spaces that are intertwined by a pair of bounded linear mappings. In particular, if the operators T and S are intertwined by a pair of injective operators, then S is Fredholm provided that T is Fredholm and S has property (δ) in a neighborhood of 0. In this case, ind(T) ≤ ind(S), and equality holds precisely when the eigenvalues of the adjoint T* do not cluster at 0. By duality, we obtain refinements of results due to Putinar, Takahashi, and Yang concerning operators with Bishop’s property (β) intertwined by pairs of operators with dense range. Moreover, we establish an extension of a result due to Eschmeier that, under appropriate assumptions regarding the single-valued extension property, leads to necessary and sufficient conditions for quasi-similar operators to have equal essential spectra. In particular it turns out that the single-valued extension property plays an essential role in the preservation of the index in this context.      

Jensen measures and boundary values of plurisubharmonic functions

We study different classes of Jensen measures for plurisubharmonic functions, in particular the relation between Jensen measures for continuous functions and Jensen measures for upper bounded functions. We prove an approximation theorem for plurisubharmonic functions inB-regular domain. This theorem implies that the two classes of Jensen measures coincide inB-regular domains. Conversely we show that if Jensen measures for continuous functions are the same as Jensen measures for upper bounded functions and the domain is hyperconvex, the domain satisfies the same approximation theorem as above. The paper also contains a characterisation in terms of Jensen measures of those continuous functions that are boundary values of a continuous plurisubharmonic function.     

Extending the formula to calculate the spectral radius of an operator

In a Banach space, Gelfand's formula is used to find the spectral radius of a continuous linear operator. In this paper, we show another way to find the spectral radius of a bounded linear operator in a complete topological linear space. We also show that Gelfand's formula holds in a more general setting if we generalize the definition of the norm for a bounded linear operator.

     

A nonstandard density theorem for weak topologies on Banach and Bochner spaces

We prove a nonstandard density result. It asserts that if a particular formula is true for functions in a set K of linear continuous functions between Banach spaces E and D, then it remains valid for functions that are limits, in the uniform convergence topology on a given class ?? of subsets of E, of nets of vectors in K. We then apply this result to various class ?? and setsK in the context of E‐valued Bochner integrable functions defined on a finite measure space.     

Incrementally Updated Gradient Methods for Constrained and Regularized Optimization

We consider incrementally updated gradient methods for minimizing the sum of smooth functions and a convex function. This method can use a (sufficiently small) constant stepsize or, more practically, an adaptive stepsize that is decreased whenever sufficient progress is not made. We show that if the gradients of the smooth functions are Lipschitz continuous on the space of n-dimensional real column vectors or the gradients of the smooth functions are bounded and Lipschitz continuous over a certain level set and the convex function is Lipschitz continuous on its domain, then every cluster point of the iterates generated by the method is a stationary point. If in addition a local Lipschitz error bound assumption holds, then the method is linearly convergent.     

A note on the convolution theorem for the Fourier transform

In this paper we characterize those bounded linear transformations Tf carrying L ¹(ℝ¹) into the space of bounded continuous functions on ℝ¹, for which the convolution identity T(f * g) = Tf · Tg holds. It is shown that such a transformation is just the Fourier transform combined with an appropriate change of variable.     

STRONGLY SEQUENTIALLY CONTINUOUS FUNCTIONS

Abstract

Given a topological abelian group G, we study the class of strongly sequentially continuous functions on G. Strong sequential continuity is a property intermediate between sequential continuity and uniform sequential continuity, which appeared naturally in the study of smooth functions on Banach spaces. In this paper, we shall mainly concentrate on the gap between strong sequential continuity and uniform sequential continuity. It turns out that if G has some completeness property—for example, if it is completely metrizable—then all strongly sequentially continuous functions on G are uniformly sequentially continuous. On the other hand, we exhibit a large and natural class of groups for which the two notions differ. This class is defined by a property reminiscent of the classical Dirichlet theorem; it includes all dense sugroups of R generated by an increasing sequence of Dirichlet sets, and groups of the form (X, w), where X is a separable Banach space failing the Schur property. Finally, we show that the family of bounded, real-valued strongly sequentially continuous functions on G is a closed subalgebra of l∞(G).     

On the improperness sets of families of linear differential systems

We consider families of linear differential systems continuously depending on a real parameter with continuous (or piecewise continuous) coefficients on the half-line. The improperness set of such a family is defined as the set of all parameter values for which the corresponding systems in the family are Lyapunov improper. We show that a subset of the real axis is the improperness set of some family if and only if it is a G _δσ -set. The result remains valid for families in which the matrices of the systems are bounded on the half-line. Almost the same result holds for families in which the parameter occurs only as a factor multiplying the system matrix: their improperness sets are the G _δσ -sets not containing zero. For families of the last kind with bounded coefficient matrix, we show that their improperness set is an arbitrary open subset of the real line.     

Perturbation of Harmonic Spaces by Differences of Bounded Potentials

This paper is devoted to a study of perturbation of harmonic (Bauer) spaces by local differences of bounded potentials. In particular, for a local difference M of bounded potentials that are locally less then 1 or that are countable sum of continuous potentials it turns out that the perturbed space is again a Bauer space if and only if M is continuous (i.e., the difference is continuous, but not necessarily each potential.     

Stability Constants in Linear Spaces

We investigate the stability constants of convex sets in linear spaces. We prove that the stability constants of affinity and of the Jensen equation are of the same order of magnitude for every convex set in arbitrary linear spaces, even for functions mapping into an arbitrary Banach space. We also show that the second Whitney constant corresponding to the bounded functions equals half of the stability constant of the Jensen equation whenever the latter is finite. We show that if a convex set contains arbitrarily long segments in every direction, then its Jensen and Whitney constants are uniformly bounded. We prove a result that reduces the investigation of the stability constants to the case when the underlying set is the unit ball of a Banach space. As an application we prove that if D is convex and every δ-Jensen function on D differs from a Jensen function by a bounded function, then the stability constants of D are finite.     

Affinely Prime Dynamical Systems(Dedicated to Professor Haim Brezis on the occasion of his 70th birthday)

This paper deals with representations of groups by "affine" automorphisms of compact, convex spaces, with special focus on "irreducible" representations: equivalently"minimal" actions. When the group in question is P SL(2, R), the authors exhibit a oneone correspondence between bounded harmonic functions on the upper half-plane and a certain class of irreducible representations. This analysis shows that, surprisingly, all these representations are equivalent. In fact, it is found that all irreducible affine representations of this group are equivalent. The key to this is a property called "linear Stone-Weierstrass"for group actions on compact spaces. If it holds for the "universal strongly proximal space"of the group(to be defined), then the induced action on the space of probability measures on this space is the unique irreducible affine representation of the group.     

Affinely Prime Dynamical Systems

This paper deals with representations of groups by "affine" automorphisms of compact,convex spaces,with special focus on "irreducible" representations:equivalently "minimal" actions.When the group in question is PSL(2,R),the authors exhibit a oneone correspondence between bounded harmonic functions on the upper half-plane and a certain class of irreducible representations.This analysis shows that,surprisingly,all these representations are equivalent.In fact,it is found that all irreducible affine representations of this group are equivalent.The key to this is a property called "linear Stone-Weierstrass"for group actions on compact spaces.If it holds for the "universal strongly proximal space"of the group (to be defined),then the induced action on the space of probability measures on this space is the unique irreducible affine representation of the group.     

A Reformulation-Linearization Technique (RLT) for semi-infinite and convex programs under mixed 0-1 and general discrete restrictions

The Reformulation-Linearization Technique (RLT) provides a hierarchy of relaxations spanning the spectrum from the continuous relaxation to the convex hull representation for linear 0-1 mixed-integer and general mixed-discrete programs. We show in this paper that this result holds identically for semi-infinite programs of this type. As a consequence, we extend the RLT methodology to describe a construct for generating a hierarchy of relaxations leading to the convex hull representation for bounded 0-1 mixed-integer and general mixed-discrete convex programs, using an equivalent semi-infinite linearized representation for such problems as an intermediate stepping stone in the analysis. For particular use in practice, we provide specialized forms of the resulting first-level RLT formulation for such mixed 0-1 and discrete convex programs, and illustrate these forms through two examples.     

A linear perturbed Palais-Smale condition for lower semicontinuous functions on Banach spaces

This paper introduces a notion of linear perturbed Palais-Smale condition for real-valued functions on Banach spaces. In terms of strongly exposed points, it presents a characterization which guarantees linear perturbed Palais-Smale condition holds for lower semicontinuous functions with bounded effective domains defined on a Banach space with the Radon-Nikody＇m property; and gives an example showing that linear perturbed P-S condition is strictly weaker than the P-S condition.     

A characterization of the disc via a Hessian equality

LetM be a bounded open plane domain. Let f be a continuous function on the closure of M, 3-times continuously differentiable in M, which vanishes on the boundary. Polterovich and Sodin proved that the values of f cannot exceed the norm of the Hessian of f, averaged over the entire domain M. In this work we study the equality case for this inequality. We show that equality holds if and only if M is an open disc and f belongs to a special class of radial functions. We also give an upper bound for f.     

Continuity of the Restriction of C 0-Semigroups to Invariant Banach Subspaces

A linear semigroup in a Banach space induces a linear semigroup on a Banach space that can be continuously embedded in the former such that its image is invariant. This restriction need not be strongly continuous, although the original semigroup is strongly continuous. We show that norm or weak compactness of partial orbits is a necessary and sufficient condition for strong continuity of the restriction of a C₀-semigroup. We then show that if the embedded Banach space is reflexive and the norms of the restricted semigroup operators are bounded near the initial time, then the restricted semigroup is strongly continuous.     

Additions to the Periodic Decomposition Theorem

A pair of linear bounded commuting operators T₁, T₂ in a Banach space is said to possess a decomposition property (DePr) if Ker (I-T₁)(I-T₂) = Ker (I-T₁) + Ker (I-T₂). A Banach space X is said to possess a 2-decomposition property (2-DePr) if every pair of linear power bounded commuting operators in X possesses the DePr. It is known from papers of M. Laczkovich and Sz. Révész that every reflexive Banach space X has the 2-DePr. In this paper we prove that every quasi-reflexive Banach space of order 1 has the 2-DePr but not all quasi-reflexive spaces of order 2. We prove that a Banach space has no 2-DePr if it contains a direct sum of two non-reflexive Banach spaces. Also we prove that if a bounded pointwise norm continuous operator group acts on X then every pair of operators belonging to it has a DePr. A list of open problems is also included. This revised version was published online in August 2006 with corrections to the Cover Date.