Sufficient conditions for a linear functional to be multiplicative

A commutative Banach algebra is said to have the property if the following holds: Let be a closed subspace of finite codimension such that, for every , the Gelfand transform has at least distinct zeros in , the maximal ideal space of . Then there exists a subset of of cardinality such that vanishes on , the set of common zeros of . In this paper we show that if is compact and nowhere dense, then , the uniform closure of the space of rational functions with poles off , has the property for all . We also investigate the property for the algebra of real continuous functions on a compact Hausdorff space.

     

Non-tangential limits, fine limits and the Dirichlet integral

Let denote the unit ball in This paper characterizes the subsets of with the property that for all harmonic functions on which have finite Dirichlet integral. It also examines, in the spirit of a celebrated paper of Brelot and Doob, the associated question of the connection between non-tangential and fine cluster sets of functions on at points of the boundary.

     

Some results related to the Corach-Porta-Recht inequality

Let be the algebra of all bounded operators on a complex Hilbert space and let be an invertible self-adjoint (or skew-symmetric) operator of . Corach-Porta-Recht proved that

The problem considered here is that of finding (i) some consequences of the Corach-Porta-Recht Inequality; (ii) a necessary condition (resp. necessary and sufficient condition, when for the invertible positive operators to satisfy the operator-norm inequality for all in ; (iii) a necessary and sufficient condition for the invertible operator in to satisfy

     

On upper bounds of Chalk and Hua for exponential sums

Let be a polynomial of degree with integer coefficients, any prime, any positive integer and the exponential sum . We establish that if is nonconstant when read , then . Let , let be a zero of the congruence of multiplicity and let be the sum with restricted to values congruent to . We obtain for odd, and . If, in addition, , then we obtain the sharp upper bound .

     

Proof of Wang's conjecture on subspaces of an inner product space

B.Y. Wang conjectured that if and are subspaces of an -dimensional complex inner product space , and their dimensions are and , respectively, where , then there exists a -dimensional subspace having two orthonormal bases and with and for all .

We prove this conjecture and its real counterpart. The proof is in essence an application of a real version of the Bézout Theorem for the product of several projective spaces.

     

On the Berezin-Toeplitz calculus

We consider the problem of composing Berezin-Toeplitz operators on the Hilbert space of Gaussian square-integrable entire functions on complex -space, . For several interesting algebras of functions on , we have for all in the algebra, where is the Berezin-Toeplitz operator associated with and is a ``twisted' associative product on the algebra of functions. On the other hand, there is a function for which is bounded but for any .

     

Iterative approximation of fixed points of Lipschitz pseudocontractive maps

Let be a -uniformly smooth Banach space possessing a weakly sequentially continuous duality map (e.g., ). Let be a Lipschitzian pseudocontractive selfmapping of a nonempty closed convex and bounded subset of and let be arbitrary. Then the iteration sequence defined by , converges strongly to a fixed point of , provided that and have certain properties. If is a Hilbert space, then converges strongly to the unique fixed point of closest to .

     

A splitting theorem for degrees

We prove that, for any , and with _{T}A\oplus U$"> and r.e., in , there are pairs and such that ; ; and, for any and from and any set , if and , then . We then deduce that for any degrees , , and such that and are recursive in , , and is into , can be split over avoiding . This shows that the Main Theorem of Cooper (Bull. Amer. Math. Soc. 23 (1990), 151-158) is false.

     

Uniformly more powerful tests for hypotheses about linear inequalities when the variance is unknown

Let X be a -dimensional normal random vector with unknown mean and covariance matrix , where is a known matrix and an unknown parameter. This paper gives a test for the null hypothesis that lies either on the boundary or in the exterior of a closed, convex polyhedral cone versus the alternative hypothesis that lies in the interior of the cone. Our test is uniformly more powerful than the likelihood ratio test.

     

Global bifurcation in generic systems of nonlinear Sturm-Liouville problems

We consider the system of coupled nonlinear Sturm-Liouville boundary value problems where , are real spectral parameters. It will be shown that if the functions and are `generic' then for all integers , there are smooth 2-dimensional manifolds , , of `semi-trivial' solutions of the system which bifurcate from the eigenvalues , , of , , respectively. Furthermore, there are smooth curves , , along which secondary bifurcations take place, giving rise to smooth, 2-dimensional manifolds of `non-trivial' solutions. It is shown that there is a single such manifold, , which `links' the curves , . Nodal properties of solutions on and global properties of are also discussed.

     

Invariant subspaces for bounded operators with large localizable spectrum

Suppose is a complex Hilbert space and is a bounded operator. For each closed set let denote the corresponding spectral manifold. Let denote the set of all points with the property that for any open neighborhood of In this paper we show that if is dominating in some bounded open set, then has a nontrivial invariant subspace. As a corollary, every Hilbert space operator which is a quasiaffine transform of a subdecomposable operator with large spectrum has a nontrivial invariant subspace.

     

Asymptotic behavior of Fourier transforms of self-similar measures

Let be a self-similar probability measure on satisfying where 0$"> and Let be the Fourier transform of A necessary and sufficient condition for to approach zero at infinity is given. In particular, if and for then 0$"> if and only if is a PV-number and is not a factor of . This generalizes the corresponding theorem of Erdös and Salem for the case

     

Convex curves, Radon transforms and convolution operators defined by singular measures

Let be a convex curve in the plane and let be the arc-length measure of Let us rotate by an angle and let be the corresponding measure. Let . Then This is optimal for an arbitrary . Depending on the curvature of , this estimate can be improved by introducing mixed-norm estimates of the form where and are conjugate exponents.     

An extension of Lucas' theorem

Let be a prime. A famous theorem of Lucas states that if are nonnegative integers with . In this paper we aim to prove a similar result for generalized binomial coefficients defined in terms of second order recurrent sequences with initial values and .

     

The algebraic closure of the power series field in positive characteristic

For an algebraically closed field, let denote the quotient field of the power series ring over . The ``Newton-Puiseux theorem' states that if has characteristic 0, the algebraic closure of is the union of the fields over . We answer a question of Abhyankar by constructing an algebraic closure of for any field of positive characteristic explicitly in terms of certain generalized power series.

     

Menger curvature and regularity of fractals

We show that if is an -regular set in for which the triple integral of the Menger curvature is finite and if , then almost all of can be covered with countably many curves. We give an example to show that this is false for .

     

A short proof of ergodicity of Babillot-Ledrappier measures

Let be a compact manifold, and let be a transitive homologically full Anosov flow on . Let be a -cover for , and let be the lift of to . Babillot and Ledrappier exhibited a family of measures on , which are invariant and ergodic with respect to the strong stable foliation of . We provide a new short proof of ergodicity.

     

Invariant subspaces and representations of certain von Neumann algebras

Let be a covariant system and let be a covariant representation of on a Hilbert space . In this note, we investigate the representation of the covariance algebra and the -weakly closed subalgebra generated by and in the case of or when there exists a pure, full, -invariant subspace of .

     

Parameter dependence of solutions of partial differential equations in spaces of real analytic functions

Let be an open set and let denote the class of real analytic functions on . It is proved that for every surjective linear partial differential operator and every family depending holomorphically on there is a solution family depending on in the same way such that The result is a consequence of a characterization of Fréchet spaces such that the class of ``weakly' real analytic -valued functions coincides with the analogous class defined via Taylor series. An example shows that the analogous assertions need not be valid if is replaced by another set.

     

A note on branching theorems

Let be a complex, simply connected semisimple analytic group with a closed connected reductive subgroup. Suppose is an irreducible holomorphic -module and an irreducible holomorphic -module. We prove that Hom possesses the structure of an irreducible -module whenever is . Moreover, for all and if and only if is commutative.