Relativistic Lamé functions: Completeness vs. polynomial asymptotics

In earlier work we introduced and studied two commuting generalized Lamé operators, obtaining in particular joint eigenfunctions for a dense set in the natural parameter space. Here we consider these difference operators and their eigenfunctions in relation to the Hilbert space L²((0, π/r), w(x)dx), with r > 0 and the weight function w(x) a ratio of elliptic gamma functions. In particular, we show that the previously known pairwise orthogonal joint eigenfunctions need only be supplemented by finitely many new ones to obtain an orthogonal base. This completeness property is derived by exploiting recent results on the large-degree Hilbert space asymptotics of a class of orthonormal polynomials. The polynomials p_n(cos(rx)), n ε , that are relevant in the Lamé setting are orthonormal in L²((0, π/r), w_P(x)dx), with w_p(x) closely related to w(x).     

The Divergence of the Special Linear Group over a Function Ring

We compute the divergence of the finitely generated group SL _n (𝒪_𝒮), where 𝒮 is a finite set of valuations of a function field and 𝒪_𝒮 is the corresponding ring of 𝒮-integer points. As an application, we deduce that all its asymptotic cones are without cut-points.     

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.     

Meromorphic Continuation of Scattering Matrices: Long Range,Stark Case

Long range quantum mechanical scattering in the presence of a constant electric field of strength F > 0 is discussed. It is shown that the scattering matrix, as a function of energy, has a meromorphic continuation to the entire complex plane as a bounded operator on L(? ^n?1) where n is the space dimension. There is a marked contrast between this result and the comparable result in the Schrödinger case (F = 0). The scattering matrix is constructed using two Hilbert space wave operators and time dependent modified wave operators both and the constructions are compared.     

Linear homeomorphisms of non-classical Hilbert spaces

Let K be a complete infinite rank valued field. In [4] we studied Norm Hilbert Spaces (NHS) over K i.e. K-Banach spaces for which closed subspaces admit projections of norm ≤ 1. In this paper we prove the following striking properties of continuous linear operators on NHS. Surjective endomorphisms are bijective, no NHS is linearly homeomorphic to a proper subspace (Theorem 3.7), each operator can be approximated, uniformly on bounded sets, by finite rank operators (Theorem 3.8). These properties together — in real or complex theory shared only by finite-dimensional spaces — show that NHS are more ‘rigid’ than classical Hilbert spaces.     

Another lattice of varieties of completely regular semigroups

Completely regular semigroups S are taken here with the unary operation of inversion within the maximal subgroups of S. As such they form a variety 𝒞? whose lattice of subvarieties is denoted by ?(𝒞?). The relation on ?(𝒞?) which identifies two varieties if they contain the same bands is denoted by B^∧. The upper ends of B^∧-classes which are neither equal to 𝒞? nor contained in the variety 𝒞𝒮 of completely simple semigroups are generated by two countably infinite ascending chains called canonical varieties. In a previous publication, we constructed the sublattice Σ of ?(𝒞?) generated by 𝒞𝒮 and the first four canonical varieties. Here we extend Σ to the sublattice Ψ of ?(𝒞?) generated by 𝒞𝒮 and the first six canonical varieties. For each of the varieties in Ψ?Σ, we construct the ladder and a basis of its identities.     

The Alternative Dunford–Pettis Property for Subspaces of the Compact Operators

A Banach space X has the alternative Dunford–Pettis property if for every weakly convergent sequences (x_n) → x in X and (x_n*) → 0 in X* with ||x_n|| = ||x||= 1 we have (x_n*(x_n)) → 0. We get a characterization of certain operator spaces having the alternative Dunford–Pettis property. As a consequence of this result, if H is a Hilbert space we show that a closed subspace M of the compact operators on H has the alternative Dunford–Pettis property if, and only if, for any h ∈ H, the evaluation operators from M to H given by S ↦ Sh, S ↦ S^th are DP1 operators, that is, they apply weakly convergent sequences in the unit sphere whose limits are also in the unit sphere into norm convergent sequences. We also prove a characterization of certain closed subalgebras of K(H) having the alternative Dunford-Pettis property by assuming that the multiplication operators are DP1.     

Zero product determined Jordan algebras,I

We show that the Jordan algebra 𝒮 of symmetric matrices with respect to either transpose or symplectic involution is zero product determined. This means that if a bilinear map {.,?.} from 𝒮?×?𝒮 into a vector space X satisfies {x, y}?=?0 whenever x?○?y?=?0, then there exists a linear map T : 𝒮?→?X such that {x,?y}?=?T(x?○?y) for all x, y?∈?𝒮 (here, x?○?y?=?xy?+?yx).     

Resolvent Estimates for Operators Belonging to Exponential Classes

For a, α > 0 let E(a, α) be the set of all compact operators A on a separable Hilbert space such that s _n (A) = O(exp(-an^α)), where s _n (A) denotes the n-th singular number of A. We provide upper bounds for the norm of the resolvent (zI − A)⁻¹ of A in terms of a quantity describing the departure from normality of A and the distance of z to the spectrum of A. As a consequence we obtain upper bounds for the Hausdorff distance of the spectra of two operators in E(a, α).      

SVEP and compact perturbations

Let H be a complex separable infinite dimensional Hilbert space. In this paper, we prove that an operator T acting on H is a norm limit of those operators with single-valued extension property (SVEP for short) if and only if T^?, the adjoint of T, is quasitriangular. Moreover, if T^? is quasitriangular, then, given an ε>0, there exists a compact operator K on H with ‖K‖<ε such that T+K has SVEP. Also, we investigate the stability of SVEP under (small) compact perturbations. We characterize those operators for which SVEP is stable under (small) compact perturbations.     

Some results on (k, μ)′-almost Kenmotsu manifolds

In this paper, we study the Weyl conformal curvature tensor 𝒲 and the concircular curvature tensor 𝒞 on a (k, μ)′-almost Kenmotsu manifold M²ⁿ⁺¹ of dimension greater than 3. We obtain that if M²ⁿ⁺¹ satisfies either R · 𝒲 = 0 or 𝒞 · 𝒞 = 0, then it is locally isometric to either the hyperbolic space ?²ⁿ⁺¹ (?1) or the Riemannian product ?ⁿ⁺¹(?4) × ?ⁿ.     

Applications of operator semigroups to Fourier analysis

Of concern are semigroups of linear norm one operators on Hilbert space of the form (discrete case)T={T ⁿ /n=0,1,2,...} or (continuous case)T={T(t)/t=≥0}. Using ergodic theory and Hilbert-Schmidt operators, the Cesàro limits (asn→∞) of |〈T ⁿ f,f〉|², |〈T (n)f,f〉|² are computed (withn∈ℤ⁺ orn∈ℤ⁺). Specializing the Hilbert space to beL ²(T,μ) (discrete case) orL ²(ℝ,μ) (continuous case) where μ is a Borel probability measure on the circle group or the line, the Cesàro limit of (asn→±∞, with,n∈ℤ orn∈ℝ) is obtained and interpreted. Extensions toT ^M , and ℝ ^M are given. Finally, we discuss recent operator theoretic extensions from a Hilbert to a Banach space context. Partially supported by an NSF grant     

Lipschitz functions,Schatten ideals,and unbounded derivations

It is proved that, for any Lipschitz function f(t ₁, ..., t _n ) of n variables, the corresponding map f _op: (A ₁, ...,A _n ) → f(A ₁, ..., A _n ) on the set of all commutative n-tuples of Hermitian operators on a Hilbert space is Lipschitz with respect to the norm of each Schatten ideal S ^p , p ∈ (1,∞). This result is applied to the functional calculus of normal operators and contractions. It is shown that Lipschitz functions of one variable preserve domains of closed derivations with values in S ^p . It is also proved that the map f _op is Fréchet differentiable in the norm of S ^p if f is continuously differentiable.     

Complexes of Gorenstein Flat Modules and Gorenstein Cotorsion Modules

A complex (C, δ) is called strongly Gorenstein flat if C is exact and Ker δ ⁿ is Gorenstein flat in R-Mod for all n ∈ ?. Let 𝒮𝒢 stand for the class of strongly Gorenstein flat complexes. We show that a complex C of left R-modules over a right coherent ring R is in the right orthogonal class of 𝒮𝒢 if and only if C ⁿ is Gorenstein cotorsion in R-Mod for all n ∈ ? and Hom^.(G, C) is exact for any strongly Gorenstein flat complex G. Furthermore, a bounded below complex C over a right coherent ring R is in the right orthogonal class of 𝒮𝒢 if and only if C ⁿ is Gorenstein cotorsion in R-Mod for all n ∈ ?. Finally, strongly Gorenstein flat covers and 𝒮𝒢^⊥-envelopes of complexes are considered. For a right coherent ring R, we show that every bounded below complex has a 𝒮𝒢^⊥-envelope.     

Parseval frames for ICC groups

We analyze Parseval frames generated by the action of an ICC group on a Hilbert space. We parametrize the set of all such Parseval frames by operators in the commutant of the corresponding representation. We characterize when two such frames are strongly disjoint. We prove an undersampling result showing that if the representation has a Parseval frame of equal norm vectors of norm , the Hilbert space is spanned by an orthonormal basis generated by a subgroup. As applications we obtain some sufficient conditions under which a unitary representation admits a Parseval frame which is spanned by a Riesz sequences generated by a subgroup. In particular, every subrepresentation of the left-regular representation of a free group has this property.     

Lazard’s theorem for S-pure flat modules

Let R be an associative ring with identity. For a given class 𝒮 of finitely presented left (respectively right) R-modules containing R, we present a complete characterization of 𝒮-pure injective modules and 𝒮-pure flat modules. Consider that 𝒮 is a class of (R,R)-bimodules containing R with the following property: every element of 𝒮 is a finitely presented left and right R-module. We give a necessary and sufficient condition for 𝒮 to have Lazard’s theorem, and then we present our desired Lazard’s theorem.     

On additive maps preserving certain semi-Fredholm subsets

Let X and Y be two infinite dimensional real or complex Banach spaces, and let φ: ?(X)?→??(Y) be an additive surjective mapping that preserves semi-Fredholm operators in both directions. In the complex Hilbert space context, Mbekhta and ?emrl [M. Mbekhta and P. ?emrl, Linear maps preserving semi-Fredholm operators and generalized invertibility, Linear Multilinear Algebra 57 (2009), pp. 55–64] determined the structure of the induced map on the Calkin algebra. In this article, we show the following: given an integer n?≥?1, if φ preserves in both directions ? _n (X) (resp., 𝒬 _n (X)), the set of semi-Fredholm operators on X of non-positive (resp., non-negative) index, having dimension of the kernel (resp., codimension of the range) less than n, then φ(T)?=?UTV for all T or φ(T)?=?UT*V for all T, where U and V are two bijective bounded linear, or conjugate linear, mappings between suitable spaces.     

Generation of finite tight frames by Householder transformations

Finite tight frames are widely used for many applications. An important problem is to construct finite frames with prescribed norm for each vector in the tight frame. In this paper we provide a fast and simple algorithm for such a purpose. Our algorithm employs the Householder transformations. For a finite tight frame consisting of m vectors in ?ⁿ or ?ⁿ only O(nm) operations are needed. In addition, we also study the following question: Given a set of vectors in ?ⁿ or ?ⁿ, how many additional vectors, possibly with constraints, does one need to add in order to obtain a tight frame?     

Analytic approximation of matrix functions in

We consider the problem of approximation of matrix functions of class L^p on the unit circle by matrix functions analytic in the unit disk in the norm of L^p, 2≤p<∞. For an m×n matrix function Φ in L^p, we consider the Hankel operator , 1/p+1/q=1/2. It turns out that the space of m×n matrix functions in L^p splits into two subclasses: the set of respectable matrix functions and the set of weird matrix functions. If Φ is respectable, then its distance to the set of analytic matrix functions is equal to the norm of H_Φ. For weird matrix functions, to obtain the distance formula, we consider Hankel operators defined on spaces of matrix functions. We also describe the set of p-badly approximable matrix functions in terms of special factorizations and give a parametrization formula for all best analytic approximants in the norm of L^p. Finally, we introduce the notion of p-superoptimal approximation and prove the uniqueness of a p-superoptimal approximant for rational matrix functions.