Hankel operators on the Bergman spaces of strongly pseudoconvex domains

We characterize functions fL ²(D) such that the Hankel operators H_f are, respectively, bounded and compact on the Bergman spaces of bounded strongly pseudoconvex domains.Research partially supported by a grant of the National Science Foundation.     

Closures of finitely generated ideals in Hardy spaces

LetH ^∞ be the algebra of bounded analytic functions in the unit diskD. LetI=I(f ₁,...,f _N) be the ideal generated byf ₁,...,f _N∈H ^∞ andJ=J(f ₁,...,f _N) the ideal of the functionsf∈H ^∞ for which there exists a constantC=C(f) such that |f(z)|≤C(|f ₁ (z)|+...;+|f _N (z)|),z∈D. It is clear that , but an example due to J. Bourgain shows thatJ is not, in general, in the norm closure ofI. Our first result asserts thatJ is included in the norm closure ofI ifI contains a Carleson-Newman Blaschke product, or equivalently, if there existss>0 such that

Energy of Flows on Percolation Clusters

It is well known for which gauge functions H there exists a flow in Z ^d with finite H energy. In this paper we discuss the robustness under random thinning of edges of the existence of such flows. Instead of Z ^d we let our (random) graph cal C cal (Z ^d,p) be the graph obtained from Z ^d by removing edges with probability 1–p independently on all edges. Grimmett, Kesten, and Zhang (1993) showed that for d3,p>p _c(Z ^d), simple random walk on cal C cal (Z ^d,p) is a.s. transient. Their result is equivalent to the existence of a nonzero flow f on the infinite cluster such that the x ² energy _e f(e)² is finite. Levin and Peres (1998) sharpened this result, and showed that if d3 and p>p _c(Z ^d), then cal C cal (Z ^d,p) supports a nonzero flow f such that the x ^q energy is finite for all q>d/(d–1). However, for general gauge functions, there is a gap between the existence of flows with finite energy which results from the work of Levin and Peres and the known results on flows for Z ^d. In this paper we close the gap by showing that if d3 and Z ^d supports a flow of finite H energy then the infinite percolation cluster on Z ^d also support flows of finite H energy. This disproves a conjecture of Levin and Peres.     

On the postulation of a general projection of a curve inP 3

Summary We say that a curve C in P ³ has maximal rank if for every integer k the restriction map r_c(k):H ⁰(P ³, O_P3(k)) H⁰ (C, O_C(k))has maximal rank. Here we prove the following results. Theorem 1Fix integers g, d with 0g3,dg+3.Fix a curve X of genus g and L Pic^d (X).If g=3and X is hyperelliptic, assume d8. Let _L(X)be the image of X by the complete linear system H ⁰(X, L). Then a general projection of _L(X)into P ³ has maximal rank. Theorem 2For every integer g0,there exists an integer d(g, 3)such that for every dd(g, 3),for every smooth curve X of genus g and every LPic^d (X) the general projection of _L(X)into P ³ has maximal rank.     

Schatten class hankel operators on the Bergman space

In this paper we characterize Hankel operatorsH _f andH _f on the Bergman spaces of bounded symmetric domains which are in the Schatten p-class for 2p< and f inL ² using a Jordan algebra characterization of bounded symmetric domains and properties of the Bergman metric.     

Abstract,weighted, and multidimensional Adamjan-Arov-Krein theorems,and the singular numbers of Sarason commutants

The classical Adamjan-Arov-Krein (A-A-K) theorem relating the singular numbers of Hankel operators to best approximations of their symbols by rational functions is given an abstract version. This provides results for Hankel operators acting in weightedH ²(T; ), as well as inH ²(T ^d ), and an A-A-K type extension of Sarason's interpolation theorem. In particular, it is shown that all compact Hankel operators inH ²(T ^d ) are zero.Author partially supported by NSF grant DMS89-11717.     

Degrees of logics with Henkin quantifiers in poor vocabularies

We investigate some logics with Henkin quantifiers. For a given logic L, we consider questions of the form: what is the degree of the set of L–tautologies in a poor vocabulary (monadic or empty)? We prove that the set of tautologies of the logic with all Henkin quantifiers in empty vocabulary L* is of degree 0. We show that the same holds also for some weaker logics like L(H) and L(E). We show that each logic of the form L^(k)(Q), with the number of variables restricted to k, is decidable. Nevertheless – following the argument of M. Mostowski from [Mos89] – for each reasonable set theory no concrete algorithm can provably decide L^(k)(Q), for some (Q). We improve also some results related to undecidability and expressibility for logics L(H₄) and L(F₂) of Krynicki and M. Mostowski from [KM92].Mathematics Subject Classification (2000): 03C80, 03D35, 03B25Revised version: 28 August 2003     

Products of Hankel operators

This paper studies products of Hankel operators on the Hardy space. We show thatH _f ^(1)* H _f(2) H _f ^(3)* =0 for all permutation if and only if eitherH _f1 orH _f2 orH _f3 is zero. Using Douglas' localization theorem and Izuchi's theorem on Sarason's three functions problem, we show that

On the Problem of Describing Sequences of Best Trigonometric Rational Approximations

For a strictly decreasing sequence a_{n n=0} of nonnegative real numbers converging to zero, we construct a continuous 2-periodic function f such that R^T _n(f) = a_n, n=0,1,2,..., where R^T _n(f) are best approximations of the function f in uniform norm by trigonometric rational functions of degree at most n.     

L p Results for the Pompeiu Problem with Moments on the Heisenberg Group

This article extends previous results on the Pompeiu problem with moments. On the Heisenberg group the results previously considered for L²(H_n) have been extended to the function spaces L^p(H_n) for 1 p . In the case of L(H_n), the conclusions recover differential conditions comparable to those observed in the Euclidean space Cⁿ.     

A θ-stable approximations of abstract Cauchy problems

Summary We study the approximation of linear parabolic Cauchy problems by means of Galerkin methods in space andA -stable multistep schemes of arbitrary order in time. The error is evaluated in the norm ofL _t ² (H _x ¹ ) L _t (L _x ² ).     

The maximal Fejér operator on the spacesH p (R×···×R)

It is shown that the maximal operator of the Fejér means of a tempered distribution is bounded from thed-dimensional Hardy spaceH _p (R×···×R) toL _p (R ^d ) (1/2<p<∞) and is of weak type (H ₁ ^?i ,L ₁) (i=1,…,d), where the Hardy spaceH ₁ ^?i is defined by a hybrid maximal function. As a consequence, we obtain that the Fejér means of a functionf ∈H ₁ ^?i ?L(logL) ^d?1 converge a.e. to the function in question. Moreover, we prove that the Fejér means are uniformly bounded onH _p (R×···×R) whenever 1/2<p<∞. Thus, in casef ∈H _p (R×···×R) the Fejér means converge tof inH _p (R×···×R) norm. The same results are proved for the conjugate Fejér means, too.     

Non-linear parabolic problem associated with the penetration of a magnetic field into a substance

We study the following initial and boundary value problem: In section 1, with u₀ in L²(Ω), f continuous such that f(u) + ? non-decreasing for ? positive, we prove the existence of a unique solution on (0,T), for each T > 0. In section 2 it is proved that the unique soluition u belongs to L²(0, T; H ∩ H²) ∩ L^∞(0, T; H) if we assume u₀ in H and f in C¹(?,?). Numerical results are given for these two cases.     

Korkin-Zolotarev bases and successive minima of a lattice and its reciprocal lattice

Let _i(L), _i(L^*) denote the successive minima of a latticeL and its reciprocal latticeL ^*, and let [b₁,..., b _n ] be a basis ofL that is reduced in the sense of Korkin and Zolotarev. We prove that and, where and _j denotes Hermite's constant. As a consequence the inequalities are obtained forn7. Given a basisB of a latticeL in ^m of rankn andx ^m , we define polynomial time computable quantities(B) and(x,B) that are lower bounds for ₁(L) and(x,L), where(x,L) is the Euclidean distance fromx to the closest vector inL. If in additionB is reciprocal to a Korkin-Zolotarev basis ofL ^*, then ₁(L) _n ^* (B) and.The research of the second author was supported by NSF contract DMS 87-06176. The research of the third author was performed at the University of California, Berkeley, with support from NSF grant 21823, and at AT&T Bell Laboratories.     

Sequences of normal states on maximal op*-algebras

It is proved that a sequence (f_n) of normal states on a maximal Op^*-algebra L⁺(D) converges to a normal state if f_n(A) is a Cauchy sequence for allA L ⁺(D), while D satisfies some additional condition.Translated from Teoriya Funktsii, Funktsional'nyi Analiz i Ikh Prilozheniya, No. 50, pp. 131–136, 1988.     

Spectrum of multidimensional periodic operators

Let be a lattice in the n-dimensional Euclidean space Rⁿ and let F be the fundamental domain of the lattice . We denote by H the Schrödinger operator generated in L₂(Rⁿ) by the expression –u + q(x)u(1), and by H^t the operator generated in L₂(F) by the expression (1) and by quasiperiodic boundary conditions, where q(x) is a periodic (with respect to the lattice ) function. Asymptotic formulas for the eigenvalues of the operator H_t are obtained and with the aid of these formulas it is proved that there exists a number (q) such that the interval [(q), ] belongs to the spectrum of the operator H [for n3 in the case of sufficiently smooth potentials q(x), while for n=2 for any potential q(x) from L₂(F)], i.e., the Bethe-Sommerfeld conjecture is proved for arbitrary lattices.Translated from Teoriya Funktsii, Funktsionali'nyi Analiz i Ikh Prilozheniya, No. 49, pp. 17–34, 1988.     

Two versions of the Nikodym maximal function on the Heisenberg group

The classical Nikodym maximal function on the Euclidean plane R² is defined as the supremum over averages over rectangles of eccentricity N; its operator norm in L²(R²) is known to be O(logN). We consider two variants, one on the standard Heisenberg group H¹ and the other on the polarized Heisenberg group . The latter has logarithmic L² operator norm, while the former has the L² operator norm which grows essentially of order O(N1/4). We shall imbed these two maximal operators in the family of operators associated to the hypersurfaces {(x₁,x₂,αx₁x₂)} in the Heisenberg group H¹ where the exceptional blow up in N occurs when α=0.     

Zur Struktur von Quadraturformeln

Summary Usually the errorR _n (j) of a quadrature formula is estimated with the aid of theL ₁-norm of the Peano kernel. It is shown that this term may be estimated rather sharp using the norm Q _n of the quadrature rule. Then it follows that formulas with non-negative weights are favourable also in the sense of minimizing theL ₁-norm of the kernel. A remainder term of the typeR _n (f)=cf⁽ⁿ⁺¹⁾ () is possible iff the kernel is definite. In the case of an interpolatory formula this definiteness is usually shown by an application of the so-called V-method. We determine the optimal formulas in the sense of this method. Then we analyse the influence of the structure of the mesh on the norm of a formula. We find that on an equidistant mesh withm nodes there exists a rule with a small norm if the order is not greater than .     

Enhancement of the algebraic precision of a linear operator and consequences under positivity

Let Ω be a compact convex domain in and let L be a bounded linear operator that maps a subspace of C(Ω) into C(Ω). Suppose that L reproduces polynomials up to degree m. We show that for appropriately defined coefficients a_mrj the operator

The bestL 2-approximation by finite sums of functions with separable variables

Summary We consider the problem of the best approximation of a given functionh L ² (X × Y) by sums _k=1 ⁿ f _k f _k, with a prescribed numbern of products of arbitrary functionsf _k L ² (X) andg _k L ² (Y). As a co-product we develop a new proof of the Hilbert—Schmidt decomposition theorem for functions lying inL ² (X × Y).