Renormalized oscillation theory for Dirac operators

Oscillation theory for one-dimensional Dirac operators with separated boundary conditions is investigated. Our main theorem reads: If and if solve the Dirac equation , (in the weak sense) and respectively satisfy the boundary condition on the left/right, then the dimension of the spectral projection equals the number of zeros of the Wronskian of and . As an application we establish finiteness of the number of eigenvalues in essential spectral gaps of perturbed periodic Dirac operators.

     

Optimal estimation of shell thickness in Cutland's construction of Wiener measure

In Cutland's construction of Wiener measure, he used the product of Gaussian measures on , where is an infinite integer. It is mentioned by Cutland and Ng that for the product measure ,

where and with any positive infinite number. We prove here that may be replaced by with any positive infinite number. This is the optimal estimation for the shell thickness. It is also proved that . And for the *Lebesgue measure , is finite and not infinitesimal iff with finite, while for the *Lebesgue area of the sphere , should be .

     

Common operator properties of the linear operators

Let and be bounded linear operators defined on Banach spaces, , . When , then the operators and have many basic operator properties in common. This situation is studied in this paper.

     

Subaveraging estimate for

Let be a smooth real hypersurface of and a compact submanifold of . We generalize a result of A. Boggess and R. Dwilewicz giving, under some geometric conditions on and , an estimate of the submeanvalue on of any function on a neighbourhood of , by the norm of on a neighbourhood of in .

     

A note on norm attaining functionals

We are concerned in this paper with the density of functionals which do not attain their norms in Banach spaces. Some earlier results given for separable spaces are extended to the nonseparable case. We obtain that a Banach space is reflexive if and only if it satisfies any of the following properties: (i) admits a norm with the Mazur Intersection Property and the set of all norm attaining functionals of contains an open set, (ii) the set of all norm one elements of contains a (relative) weak* open set of the unit sphere, (iii) has and contains a (relative) weak open set of the unit sphere, (iv) is , has and contains a (relative) weak open set of the unit sphere. Finally, if is separable, then is reflexive if and only if contains a (relative) weak open set of the unit sphere.

     

The exposed points of the set of invariant means on an ideal

Let be a -compact locally compact nondiscrete group and let be a -invariant ideal of . We denote the set of left invariant means on that are zero on (i.e. for all ) by . We show that, when is amenable as a discrete group and the closed -invariant subset of the spectrum of corresponding to is a -set, is very large in the sense that every nonempty -subset of contains a norm discrete copy of , where is the Stone- compactification of the set of positive integers with the discrete topology. In particular, we prove that has no exposed points in this case and every nonempty -subset of the set of left invariant means on contains a norm discrete copy of .

     

A remark on Gelfand-Kirillov dimension

Let be a finitely generated non-PI Ore domain and the quotient division algebra of . If is the center of , then .

     

Eigenvalues of the form valued Laplacian for Riemannian submersions

Let be a Riemannian submersion of closed manifolds. Let be an eigen -form of the Laplacian on with eigenvalue which pulls back to an eigen -form of the Laplacian on with eigenvalue . We are interested in when the eigenvalue can change. We show that , so the eigenvalue can only increase; and we give some examples where , so the eigenvalue changes. If the horizontal distribution is integrable and if is simply connected, then , so the eigenvalue does not change.

     

Extendibility of homogeneous polynomials on Banach spaces

We study the -homogeneous polynomials on a Banach space that can be extended to any space containing . We show that there is an upper bound on the norm of the extension. We construct a predual for the space of all extendible -homogeneous polynomials on and we characterize the extendible 2-homogeneous polynomials on when is a Hilbert space, an -space or an -space.

     

Certain invariant subspace structure of

In this note, we study certain structure of an invariant subspace of . Considering the largest -invariant (resp. -invariant) subspace in the wandering subspace of with respect to the shift operator , we give an alternative characterization of Beurling-type invariant subspaces. Furthermore, we consider a certain class of invariant subspaces.

     

On the suspension order of

It is shown that the suspension order of the -fold cartesian product of real projective -space is less than or equal to the suspension order of the -fold symmetric product of and greater than or equal to , where and satisfy and . In particular has suspension order , and for fixed the suspension orders of the spaces are unbounded while their stable suspension orders are constant and equal to .

     

Sufficient conditions for one domain to contain another in a space of constant curvature

As an application of the analogue of C-S. Chen's kinematic formula in the 3-dimensional space of constant curvature , that is, Euclidean space , -sphere , hyperbolic space (, respectively), we obtain sufficient conditions for one domain to contain another domain in either an Euclidean space , or a -sphere or a hyperbolic space .

     

Angular derivatives at boundary fixed points for self-maps of the disk

Let be a one-to-one analytic function of the unit disk into itself, with . The origin is an attracting fixed point for , if is not a rotation. In addition, there can be fixed points on where has a finite angular derivative. These boundary fixed points must be repelling (abbreviated b.r.f.p.). The Koenigs function of is a one-to-one analytic function defined on such that , where . If is the first iterate of that does have b.r.f.p., we compute the Hardy number of , , in terms of the smallest angular derivative of at its b.r.f.p.. In the case when no iterate of has b.r.f.p., then , and vice versa. This has applications to composition operators, since is a formal eigenfunction of the operator . When acts on , by a result of C. Cowen and B. MacCluer, the spectrum of is determined by and the essential spectral radius of , . Also, by a result of P. Bourdon and J. Shapiro, and our earlier work, can be computed in terms of . Hence, our result implies that the spectrum of is determined by the derivative of at the fixed point and the angular derivatives at b.r.f.p. of or some iterate of .

     

On uniqueness of -adic meromorphic functions

Let be a complete ultrametric algebraically closed field of characteristic zero, and let be the field of meromorphic functions in . For all set in and for all we denote by the subset of : zero of order After studying unique range sets for entire functions in in a previous article, here we consider a similar problem for meromorphic functions by showing, in particular, that, for every , there exist sets of elements in such that, if have the same poles (counting multiplicities), and satisfy , then . We show how to construct such sets.

     

Relative to any nonrecursive set

There is a countable first order structure such that for any set of integers , is not recursive if and only if there is a presentation of which is recursive in .

     

On complementary subspaces of Hilbert space

Every pair of non-trivial topologically complementary subspaces of a Hilbert space is unitarily equivalent to a pair of the form on a Hilbert space . Here is possibly , is a positive injective contraction and denotes the graph of . For such a pair the following are equivalent: (i) is similar to a pair in generic position; (ii) and have a common algebraic complement; (iii) is similar to for some operators on a Hilbert space. These conditions need not be satisfied. A second example is given (the first due to T. Kato), involving only compact operators, of a double triangle subspace lattice which is not similar to any operator double triangle.

     

Ditkin's condition for certain Beurling algebras

Let be a locally compact abelian group. A function is said to be a weight if it is locally bounded, Borel measurable and submultiplicative. We call a weight on semi-bounded if there exist a constant and a subsemigroup with such that

for all Using functional analytic methods, we show that all Beurling algebras whose defining weight is semi-bounded satisfy Ditkin's condition.

     

The property and the reals

The property may be generalized by using filters on in a very natural way. We analyze the necessary requirements for a space to have property for a filter . We construct special filters for which has the property, in particular a P-point and a Q-point.

     

The Fuglede-Putnam theorem and a generalization of Barría's lemma

Let and be bounded linear operators, and let be a partial isometry on a Hilbert space. Suppose that (1) , (2) , (3) and (4) . Then we have .

     

Bourgain's analytic projection revisited

For a positive function on the unit circle with , the following two statements are equivalent: (a) ; (b) there is an operator projecting onto for all at once and having weak type (1,1) with respect to .