On Lattice Structure of the Space of Pointwise Limits of Harmonic Functions

Let H¹(U) denote the space of all pointwise limits of bounded sequences from H(U), where H(U) consists of all continuous functions on the closure [`(U)]\overline{U} of a bounded open set U⊂ℝ^m that are harmonic on U. It is shown that the space H¹(U) is a lattice in the natural ordering if and only if the set ∂_regU of all regular points of U is an F_σ-set.     

On the peripheral spectrum of positive operators

We prove that ifE is a Banach lattice andS, T ∈ ℒ (E) are such that 0≦s≦T,r(s)=r(T) andr(T) is a Riesz point ofσ(T) thenr(S) is a Riesz point ofσ(S). We prove also some results on compact positive perturbations of positive irreducible operators and lattice homomorphisms.     

M-structure in dual Banach spaces

A result previously known only for certain ordered Banach spaces is generalized to arbitrary real Banach spaces. Let ℒ be the Banach algebra of operators generated by theL-projections of a real Banach spaceU, and let ℳ (U ^* be the bounded operators on the dual spaceU ^* with adjoint in ℒ(U ^**. Then the adjoint operation maps ℒ (U) onto ℳ (U ^*). In particular, anyM-projection ofU ^* is weak^* continuous. Supported in part by the National Science Foundation.     

Convergence field of Abel’s summation method

Let F(A) denote the set of all bounded sequences summable by Abel’s method. It is known, that F(A) is a linear subspace of the linear metric space (S, ρ) of all bounded sequences endowed with the sup metric. It is shown in [KOSTYRKO, P.: Convergence fields of regular matrix transformations 2, Tatra Mt. Math. Publ. 40 (2008), 143–147] that the convergence field of a regular matrix transformation is a σ-porous set. We show that F(A) is very porous in S.     

Adjoint bi-continuous semigroups and semigroups on the space of measures

For a given bi-continuous semigroup (T(t)) _t⩾0 on a Banach space X we define its adjoint on an appropriate closed subspace X° of the norm dual X′. Under some abstract conditions this adjoint semigroup is again bi-continuous with respect to the weak topology σ(X°,X). We give the following application: For Ω a Polish space we consider operator semigroups on the space C_b(Ω) of bounded, continuous functions (endowed with the compact-open topology) and on the space M(Ω) of bounded Baire measures (endowed with the weak*-topology). We show that bi-continuous semigroups on M(Ω) are precisely those that are adjoints of bi-continuous semigroups on C_b(Ω). We also prove that the class of bi-continuous semigroups on C_b(ω) with respect to the compact-open topology coincides with the class of equicontinuous semigroups with respect to the strict topology. In general, if is not a Polish space this is not the case.     

Invertibility and the fredholm property of difference operators

We obtain conditions for the invertibility and the Fredholm property of the difference operator (Dx)(n)=x(n) -U(n)x(n − 1),n ε ℤ, in the Banach space l _p (ℤ, X),p ε [1, ∞], of vector sequences, whereX is a Banach space andU is a bounded operator function. Translated fromMatematicheskie Zametki, Vol. 67, No. 6, pp. 816–827, June, 2000.     

On point to point reflection of harmonic functions across real-analytic hypersurfaces in ℝ n

Let Γ be a non-singular real-analytic hypersurface in some domainU ⊂ ℝ ⁿ and let Har₀(U, Γ) denote the linear space of harmonic functions inU that vanish on Γ. We seek a condition onx ⁰,x ¹ ∈U/Γ such that the reflection law (RL)u(x ⁰)+Ku(x ¹)=0, ∀u∈Har₀(U, Γ) holds for some constantK. This is equivalent to the class Har₀ (U, Γ) not separating the pointsx ⁰,x ¹. We find that in odd-dimensional spaces (RL)never holds unless Γ is a sphere or a hyperplane, in which case there is a well known reflection generalizing the celebrated Schwarz reflection principle in two variables. In even-dimensional spaces the situation is different. We find a necessary and sufficient condition (denoted the SSR—strong Study reflection—condition), which we described both analytically and geometrically, for (RL) to hold. This extends and complements previous work by e.g. P.R. Garabedian, H. Lewy, D. Khavinson and H. S. Shapiro.     

On quasi-similarity of subnormal operators

For a compact subset K in the complex plane, let Rat(K) denote the set of the rational functions with poles off K. Given a finite positive measure with support contained in K, let R2(K,v) denote the closure of Rat(K) in L2(v) and let Sv denote the operator of multiplication by the independent variable z on R2(K, v), that is, Svf = zf for every f∈R2(K, v). SupposeΩis a bounded open subset in the complex plane whose complement has finitely many components and suppose Rat(Ω) is dense in the Hardy space H2(Ω). Letσdenote a harmonic measure forΩ. In this work, we characterize all subnormal operators quasi-similar to Sσ, the operators of the multiplication by z on R2(Ω,σ). We show that for a given v supported onΩ, Sv is quasi-similar to Sσif and only if v/■Ω■σ and log(dv/dσ)∈L1(σ). Our result extends a well-known result of Clary on the unit disk.     

Relative entropy and mixing properties of infinite dimensional diffusions

Summary. Let η be a diffusion process taking values on the infinite dimensional space T ^Z , where T is the circle, and with components satisfying the equations dη _i =σ _i (η) dW _i +b _i (η) dt for some coefficients σ _i and b _i , i∈Z. Suppose we have an initial distribution μ and a sequence of times t _n →∞ such that lim _{n →∞}μS _tn =ν exists, where S _t is the semi-group of the process. We prove that if σ _i and b _i are bounded, of finite range, have uniformly bounded second order partial derivatives, and inf _{i ,η}σ _i (η)>0, then ν is invariant. Received: 12 September 1996 / In revised form: 10 November 1997     

Augmented group systems and shifts of finite type

Let (G, χ, x) be a triple consisting of a finitely presented groupG, epimorphism χ:G →Z, and distinguished elementx ∈G such that χ(x)=1. Given a finite symmetric groupS _r, we construct a finite directed graph Γ that describes the set Φ _r of representations π: Ker χ →S _r as well as the mapping σ _x :Φ _r →Φ _r defined by (σ _x ϱ)(a) = ϱ(x ⁻¹ ax) for alla ∈ Ker χ. The pair (Φ _r ,σ _x has the structure of a shift of finite type, a well-known type of compact 0-dimensional dynamical system. We discuss basic properties and applications of therepresentation shift (Φ _r ,σ _x ), including applications to knot theory.     

On linear isometries of Banach lattices in <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>(Ω)-spaces

Consider the space C0(Ω) endowed with a Banach lattice-norm ‖ · ‖ that is not assumed to be the usual spectral norm ‖ · ‖_∞ of the supremum over Ω. A recent extension of the classical Banach-Stone theorem establishes that each surjective linear isometry U of the Banach lattice (C ₀(Ω), ‖ · ‖) induces a partition Π of Ω into a family of finite subsets S ⊂ Ω along with a bijection T: Π → Π which preserves cardinality, and a family [u(S): S ∈ Π] of surjective linear maps u(S): C(T(S)) → C(S) of the finite-dimensional C*-algebras C(S) such that

Stability of <Emphasis Type="Italic">C</Emphasis>-regularized Semigroups

Let T = (T(t))t≥0 be a bounded C-regularized semigroup generated by A on a Banach space X and R(C) be dense in X. We show that if there is a dense subspace Y of X such that for every x ∈ Y, σu(A, Cx), the set of all points λ ∈ iR to which (λ - A)^-1 Cx can not be extended holomorphically, is at most countable and σr(A) N iR = Ф, then T is stable. A stability result for the case of R(C) being non-dense is also given. Our results generalize the work on the stability of strongly continuous senfigroups.     

On the set of grouplikes of a coring

We focus our attention to the set Gr(■) of grouplike elements of a coring ■ over a ring A.We do some observations on the actions of the groups U(A) and Aut(■) of units of A and of automorphisms of corings of ■,respectively,on Gr(■),and on the subset Gal(■) of all Galois grouplike elements.Among them,we give conditions on ■ under which Gal(■) is a group,in such a way that there is an exact sequence of groups {1} → U(Ag) → U(A) → Gal(■) → {1},where Ag is the subalgebra of coinvariants for some g ∈ Gal(■).     

Compact operators on a Banach space into the space of almost periodic functions

LetS be a topological semigroup andAP(S) the space of continous complex almost periodic functions onS. We obtain characterizations of compact and weakly compact operators from a Banach spaceX into AP(S). For this we use the almost periodic compactification ofS obtained through uniform spaces. For a bounded linear operatorT fromX into AP(S), letT ₅, be the translate ofT bys inS defined byT ₅(x)=(Tx) ₅ . We define topologies on the space of bounded linear operators fromX into AP(S) and obtain the necessary and sufficient conditions for an operatorT to be compact or weakly compact in terms of the uniform continuity of the maps→T ₅. IfS is a Hausdorff topological semigroup, we also obtain characterizations of compact and weakly compact multipliers on AP(S) in terms of the uniform continuity of the map S→μ_s, where μ_s denotes the unique vector measure corresponding to the operatorT ₅.     

Rational Points on Homogeneous Varieties and Equidistribution of Adelic Periods

Let U := L\G be a homogeneous variety defined over a number field K, where G is a connected semisimple K-group and L is a connected maximal semisimple K-subgroup of G with finite index in its normalizer. Assuming that G(K _v ) acts transitively on U(K _v ) for almost all places v of K, we obtain an asymptotic for the number of rational points U(K) with height bounded by T as T → ∞, and settle new cases of Manin’s conjecture for many wonderful varieties. The main ingredient of our approach is the equidistribution of semisimple adelic periods, which is established using the theory of unipotent flows.     

Spectral mapping theorems for exponentially bounded c-semigroups in Banach spaces

LetZ be a generator of an exponentially boundedC-semigroup {S _t } _t≥0 in a Banach space and letT _t =C ⁻¹ S _t . We show that the spectral mapping theorems such as exp(tσ(Z)) ⊂ σ(T _t ) and exp(tσ _p (Z)) ⊂ tσ _p (T _t ) ⊂ exp(tσ _p (Z)) ⋃ {0} for everyt≥0 hold. The present studies were supported by the Basic Science Research Institute Program, Ministry of Education, 1987.     

A generalization of peripherally-multiplicative surjections between standard operator algebras

Let A and B be standard operator algebras on Banach spaces X and Y, respectively. The peripheral spectrum σ_π (T) of T is defined by σ_π (T) = z ∈ σ(T): |z| = max_w∈σ(T) |w|. If surjective (not necessarily linear nor continuous) maps φ, ϕ: A → B satisfy σ_π (φ(S)ϕ(T)) = σ_π (ST) for all S; T ∈ A, then φ and ϕ are either of the form φ(T) = A ₁ TA ₂ ⁻¹ and ϕ(T) = A ₂ TA ₁ ⁻¹ for some bijective bounded linear operators A ₁; A ₂ of X onto Y, or of the form φ(T) = B ₁ T*B ₂ ⁻¹ and ϕ(T) = B ₂ T*B ⁻¹ for some bijective bounded linear operators B ₁;B ₂ of X* onto Y.      

Maximizing a congruence with respect to its partition of idempotents

For a congruence σ on a semigroupS a congruence μ(σ) onS, containing σ, is defined such that the semigroupS/σ is fundamental if and only if σ=μ(σ). The congruence μ(σ) is shown to possess maximality properties and for idempotent-surjective semigroups, μ(σ) is the maximum congruence with respect to the partition of the idempotents determined by σ. Thus μ is the maximum idempotent-separating congruence on any idempotent-surjective semigroup. It is shown that μ(μ(σ))=μ(σ). If ρ is another congruence onS, possibly with the same partition of the idempotents as σ, then it is of interest to know when ρ⊆σ (or ρ⊆μ(σ)) implies μ(ρ)⊆μ(σ) or even μ(ρ)=μ(σ). These implications are not true in general but if σ⊆ρ⊆μ(σ) then μ(ρ)⊆μ(σ). IfS is an idempotent-surjective semigroup and ρ and σ have the same partition of the idempotents then μ(ρ)=μ(σ).     

A Bicategorical Version of Masuoka’s Theorem

We give a bicategorical version of the main result of Masuoka (Tsukuba J Math 13:353–362, 1989) which proposes a non-commutative version of the fact that for a faithfully flat extension of commutative rings R í SR \subseteq S, the relative Picard group Pic(S/R) is isomorphic to the Amitsur 1–cohomology group H ¹(S/R,U) with coefficients in the units functor U.     

2-Summing operators on C([0, 1], lp) with values in l1

Let Ω be a compact Hausdorff space, X a Banach space, C(Ω, X) the Banach space of continuous X-valued functions on Ω under the uniform norm, U: C(Ω, X) → Y a bounded linear operator and U ^#, U _# two natural operators associated to U. For each 1 ≤ s < ∞, let the conditions (α) U ∈ Π _s (C(Ω, X), Y); (β)U ^# ∈ Π _s (C(Ω), Π _s (X, Y)); (γ) U _# ε Π _s (X, Π _s (C(Ω), Y)). A general result, [10, 13], asserts that (α) implies (β) and (γ). In this paper, in case s = 2, we give necessary and sufficient conditions that natural operators on C([0, 1], l _p ) with values in l ₁ satisfies (α), (β) and (γ), which show that the above implication is the best possible result.