Carleson measures and the generalized Campanato spaces of vector-valued martingales

In this paper, the so-called(p, φ)-Carleson measure is introduced and the relationship between vector-valued martingales in the general Campanato spaces Lp,φ(X) and the(p, φ)-Carleson measures is investigated. Specifically, it is proved that for q ∈ [2, ∞), the measure dμ := ||dfk||~qdP ? dm is a(q, φ)-Carleson measure on ? × N for every f ∈ L_q,φ(X)if and only if X has an equivalent norm which is q-uniformly convex; while for p ∈(1, 2], the measure dμ :=||dfk||~pdP ? dm is a(p, φ)-Carleson measure on ? × N implies that f ∈ L_p,φ(X)if and only if X admits an equivalent norm which is p-uniformly smooth. This result extends an earlier result in the literature from BMO spaces to general Campanato spaces.     

Classifying Hilbert bundles. II

A Hilbert bundle (p, B, X) is a type of fibre space p: B → X such that each fibre p^?1(x) is a Hilbert space. However, p^?1(x) may vary in dimension as x varies in X, even when X is connected. We give two “homotopy” type classification theorems for Hilbert bundles having primarily finite dimensional fibres. An (m, n)-bundle over the pair (X, A) is a Hilbert bundle over (p, B, X) such that the dimension of p^?1(x) is m for x in A and n otherwise. As a special case, we show that if X is a compact metric space, C₊X the upper cone of the suspension SX, then the isomorphism classes of (m, n)-bundles over (SX, C₊X) are in one-to-one correspondence with the members of [X, V_m($\text{C}$ⁿ)] where V_m($\text{C}$ⁿ) is the Stiefel manifold. The results are all applicable to the classification of separable, continuous trace C¹-algebras, with specific results given to illustrate.     

On an Approximate Solution of the Dirichlet Problem for the Generalized Laplacian

For an arbitrary differential operator P of order p on an open set X ? R ⁿ, the Laplacian is defined by Δ = P*P. It is an elliptic differential operator of order 2p provided the symbol mapping of P is injective. Let O be a relatively compact domain in X with smooth boundary, and B_j(j = 0…,p — 1) be a Dirichlet system of order p ? 1 on ?O. By {C_j} we denote the Dirichlet system on ?O adjoint for {B_j} with respect to the Green formula for P. The Hardy space H²(O) is defined to consist of all the solutions f of Δf = 0 in O of finite order of growth near the boundary such that the weak boundary values of the expression {B_jf} and {C_j(Pf)} belong to the Lebesgue space L²(?O). Then the Dirichlet problem consists of finding a solution f ? H²(O) with prescribed data {B_jf} on ?O. We develop the classical Fischer-Riesz equations method to derive a solvability condition of the Dirichlet problem as well as an approximate formula for solutions.     

Extended Cesàro operators on Bergman spaces

We define an extended Cesàro operator T_g with holomorphic symbol g in the unit ball B of Cⁿ. For a large class of weights w we characterize those g for which T_g is bounded (or compact) from Bergman space L^p_a,w(B) to L^q_a,w(B), 0<p,q<∞. In addition, we obtain some results about equivalent norms, the norm of point evaluation functionals, and the interpolation sequences on L^p_a,w(B).     

Rationally convex sets on the unit sphere in ℂ2

Let X be a rationally convex compact subset of the unit sphere S in ?², of three-dimensional measure zero. Denote by R(X) the uniform closure on X of the space of functions P/Q, where P and Q are polynomials and Q≠0 on X. When does R(X)=C(X)? Our work makes use of the kernel function for the $\bar{\delta}_{b}Let X be a rationally convex compact subset of the unit sphere S in ℂ², of three-dimensional measure zero. Denote by R(X) the uniform closure on X of the space of functions P/Q, where P and Q are polynomials and Q≠0 on X. When does R(X)=C(X)? Our work makes use of the kernel function for the operator on S, introduced by Henkin in [5] and builds on results obtained in Anderson–Izzo–Wermer [3]. We define a real-valued function ε _X on the open unit ball intB, with ε _X (z,w) tending to 0 as (z,w) tends to X. We give a growth condition on ε _X (z,w) as (z,w) approaches X, and show that this condition is sufficient for R(X)=C(X) (Theorem 1.1). In Section 4, we consider a class of sets X which are limits of a family of Levi-flat hypersurfaces in intB. For each compact set Y in ℂ², we denote the rationally convex hull of Y by . A general reference is Rudin [8] or Aleksandrov [1].     

Boundedness for pseudodifferential operators on multivariate α-modulation spaces

The α-modulation spaces M ^s,α _p,q (R ^d ), α∈[0,1], form a family of spaces that contain the Besov and modulation spaces as special cases. In this paper we prove that a pseudodifferential operator σ(x,D) with symbol in the Hörmander class S ^b _ρ,0 extends to a bounded operator σ(x,D):M ^s,α _p,q (R ^d )→M ^s-b,α _p,q (R ^d ) provided 0≤α≤ρ≤1, and 1<p,q<∞. The result extends the well-known result that pseudodifferential operators with symbol in the class S ^b _1,0 maps the Besov space B ^s _p,q (R ^d ) into B ^s-b _p,q (R ^d ).     

Skew linear recurring sequences of maximal period over galois rings

Let p be a prime number, and R = GR(q ^d , p ^d ) be a Galois ring of q ^d = p ^rd elements and of characteristic p ^d . Denote by S = GR(q ^nd , p ^d ) a Galois extension of the ring R of dimension n and by ? the ring of all linear transformations of the module _R S. We call a sequence v over the ring S with the law of recursion $$ {\mathrm{for}\ \mathrm{all}\ }i \in {\mathbb{N}_0}:v\left( {i + m} \right) = {\psi_{m - 1}}\left( {v\left( {i + m - 1} \right)} \right) + \cdots + {\psi_0}\left( {v(i)} \right),\quad {\psi_0}, \ldots, {\psi_{m - 1}} \in \textit{\v{S}} $$ (i.e., a linear recurring sequence of order m over the module _? S) a skew LRS over S. It is known that the period T(v) of such a sequence satisfies the inequality T(v) ?? ?? = (q ^nm ?1)p ^d?1. If T(v) = ?? , then we call v a skew LRS of maximal period (a skew MP LRS) over S. A new general characterization of skew MP LRS in terms of coordinate sequences corresponding to some basis of a free module _R S is given. A simple constructive method of building a big enough class of skew MP LRS is stated, and it is proved that the linear complexity of some of them (the rank of the linear recurring sequence) over the module _S S is equal to mn, i.e., to the linear complexity over the module _R S.     

On the Riesz basis property of the eigen- and associated functions of periodic and antiperiodic Sturm-Liouville problems

The paper deals with the Sturm-Liouville operator $$ Ly = - y'' + q(x)y, x \in [0,1], $$ generated in the space L ₂ = L ₂[0, 1] by periodic or antiperiodic boundary conditions. Several theorems on the Riesz basis property of the root functions of the operator L are proved. One of the main results is the following. Let q belong to the Sobolev spaceW ₁ ^p [0, 1] for some integer p ≥ 0 and satisfy the conditions q ^(k)(0) = q ^(k)(1) = 0 for 0 ≤ k ≤ s ? 1, where s ≤ p. Let the functions Q and S be defined by the equalities $$ Q(x) = \int_0^x {q(t)dt, S(x) = Q^2 (x)} $$ and let q _n , Q _n , and S _n be the Fourier coefficients of q, Q, and S with respect to the trigonometric system $ \{ e^{2\pi inx} \} _{ - \infty }^\infty $ . Assume that the sequence q _2n ? S _2n + 2Q ₀ Q _2n decreases not faster than the powers n ^?s?2. Then the system of eigenfunctions and associated functions of the operator L generated by periodic boundary conditions forms a Riesz basis in the space L ₂[0, 1] (provided that the eigenfunctions are normalized) if and only if the condition $$ q_{2n} - s_{2n} + 2Q_0 Q_{2n} \asymp q_{ - 2n} - s_{2n} + 2Q_0 Q_{ - 2n} , n > 1, $$ holds.     

Nonlinear integration on Lp-spaces

For a Banach space E and for 1 ? p < ∞ let ?p<∞ let L_E^p(μ) = L_E^p(S,B,μ) denote all Bochner p-integrable E-valued functions on a measure space (S,B,μ). Under study are convergence theorems for integrals of functions in L_E^p(μ) with respect to Nemytskii measures. Weak integrals are then denoted to Hammerstein operators, and a study of topologies generated by vector measures leads to a characterization of compact Hammerstein operators.     

An integral transform in L2-cohomology for the ladder representations of U(p, q)

Starting from the realization of the Fock space as L²-cohomology of $\text{C}$^{p + q}, $\text{H}$^0,p($\text{C}$^{p + q}) = ⊕_m?$\text{Z}$$\text{H}$_m^0,p($\text{C}$^{p + q}), an integral transform is constructed which is a direct-image mapping from $\text{H}$_m^{0,p($\text{C}$p + q) into the space of holomorphic sections of some vector bundle E_m over M ≈ U(p, q)/(U(q) × U(p)), m ? 0}. The transform intertwines the natural actions of U(p, q) and is injective if m ? 0, so it provides a geometric realization of the ladder representations of U(p, q). The sections in the image of the transform satisfy certain linear differential equations, which are explicitly described. For example, Maxwell's equations are of this form if p = q = 2 and m = 2. Thus, this transform is analogous to the Penrose correspondence.     

Classifying Hilbert bundles

A Hilbert bundle (p, B, X) is a type of fibre space p:B → X such that each fibre p^?1(x) is a Hilbert space. However, p^?1(x) may vary in dimension as x varies in X. We generalize the classical homotopy classification theory of vector bundles to a “homotopy” classification of certain Hilbert bundles. An (m, n)-bundle over the pair (X, A) is a Hilbert bundle (p, B, X) such that the dimension of p^?1(x) is m for x in A and n otherwise. The main result here is that if A is a compact set lying in the “edge” of the metric space X (e.g. if X is a topological manifold and A is a compact subset of the boundary of X), then the problem of classifying (m, n)-bundles over (X, A) reduces to a problem in the classical theory of vector bundles. In particular, we show there is a one-to-one correspondence between the members of the orbit set, [A, G_m($\text{C}$ⁿ)]/[X, U(n)] ¦ A, and the isomorphism classes of (m, n)-bundles over (X, A) which are trivial over X, A.     

The annihilator of Bergman space

LetD be a bounded plane domain (with some smoothness requirements on its boundary). LetB _p(D), 1≤p<∞, be the Bergmanp-space ofD. In a previous paper we showed that the “natural projection”P, involving the Bergman kernel forD, is a bounded projection fromL _p(D) ontoB _p(D), 1<p<∞. With this we have the decompositionL _p(D)=B _p(D)⊕B _q ^⊥ (D,p ^–1+q ^–=1, 1<p< ∞. Here, we show that the annihilatorB _q ^⊥ (D) is the space of allL _p-complex derivatives of functions belonging to Sobolev space and which vanish on the boundary ofD. This extends a result of Schiffer for the casep=2. We also study certain operators onL _p(D). Especially, we show that , whereI is the identity operator and ? is an operator involving the adjoint of the Bergman kernel. Other relationships relevant toB _q ^⊥ (D) are studied.     

Atomic decomposition and boundedness criterion of operators on multi-parameter hardy spaces of homogeneous type

The main purpose of this paper is to derive a new ( p, q)-atomic decomposition on the multi-parameter Hardy space Hp (X1 × X2 ) for 0 p0 p ≤ 1 for some p0 and all 1 q ∞, where X1 × X2 is the product of two spaces of homogeneous type in the sense of Coifman and Weiss. This decomposition converges in both Lq (X1 × X2 ) (for 1 q ∞) and Hardy space Hp (X1 × X2 ) (for 0 p ≤ 1). As an application, we prove that an operator T1, which is bounded on Lq (X1 × X2 ) for some 1 q ∞, is bounded from Hp (X1 × X2 ) to Lp (X1 × X2 ) if and only if T is bounded uniformly on all (p, q)-product atoms in Lp (X1 × X2 ). The similar boundedness criterion from Hp (X1 × X2 ) to Hp (X1 × X2 ) is also obtained.     

Optimal Embeddings of Spaces of Generalized Smoothness in the Critical Case

We study necessary and sufficient conditions for embeddings of Besov and Triebel-Lizorkin spaces of generalized smoothness B^(n/p,Y)_p,q(\mathbbRⁿ)B^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}) and F^(n/p,Y)_p,q(\mathbbRⁿ)F^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}), respectively, into generalized H?lder spaces L_￥,r^m(·)( \mathbb Rⁿ)\Lambda_{\infty,r}^{\mu(\cdot)}(\ensuremath {\ensuremath {\mathbb {R}}^{n}}). In particular, we are able to characterize optimal embeddings for this class of spaces provided q>1. These results improve the embedding assertions given by the continuity envelopes of B^(n/p,Y)_p,q(\mathbbRⁿ)B^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}) and F^(n/p,Y)_p,q(\mathbbRⁿ)F^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}), which were obtained recently solving an open problem of D.D. Haroske in the classical setting.     

Weak- and strong-type inequality for the cone-like maximal operator in variable Lebesgue spaces

The classical Hardy-Littlewood maximal operator is bounded not only on the classical Lebesgue spaces L_p(R^d) (in the case p > 1), but (in the case when 1/p(·) is log-Hölder continuous and p- = inf{p(x): x ∈ R^d > 1) on the variable Lebesgue spaces L_p(·)(R^d), too. Furthermore, the classical Hardy-Littlewood maximal operator is of weak-type (1, 1). In the present note we generalize Besicovitch’s covering theorem for the so-called γ-rectangles. We introduce a general maximal operator M_s^γδ, and with the help of generalized Φ-functions, the strong- and weak-type inequalities will be proved for this maximal operator. Namely, if the exponent function 1/p(·) is log-Hölder continuous and p- ≥ s, where 1 ≤ s ≤ ∞ is arbitrary (or p- ≥ s), then the maximal operator M_s^γδ is bounded on the space L_p(·)(R^d) (or the maximal operator is of weak-type (p(·), p(·))).     

The Hausdorff Dimension of Operator Semistable Lévy Processes

Let X={X(t)} _t≥0 be an operator semistable Lévy process in ? ^d with exponent E, where E is an invertible linear operator on ? ^d and X is semi-selfsimilar with respect to E. By refining arguments given in Meerschaert and Xiao (Stoch. Process. Appl. 115, 55–75, 2005) for the special case of an operator stable (selfsimilar) Lévy process, for an arbitrary Borel set B??₊ we determine the Hausdorff dimension of the partial range X(B) in terms of the real parts of the eigenvalues of E and the Hausdorff dimension of B.     

Lp-spectra of strongly Carleman pseudo-differential operators

The spectrum and essential spectrum in L^p($\text{R}$ⁿ) of a strongly Carleman pseudo-differential operator with symbol of class S_?,0^m, 0 ? p ? 1, are shown to coincide with the range of the symbol for some (but need not be all) p different from 2. The absolutely continuous spectra of perturbations of operators with strongly Carleman symbols (but without the assumption of being in S_?,0^m) are also investigated.