Hardy and Carleson Measure Spaces Associated with Operators on Spaces of Homogeneous Type

Let (X, d, μ) be a metric measure space with doubling property. The Hardy spaces associated with operators L were introduced and studied by many authors. All these spaces, however, were first defined by L ²(X) functions and finally the Hardy spaces were formally defined by the closure of these subspaces of L ²(X) with respect to Hardy spaces norms. A natural and interesting question in this context is to characterize the closure. The purpose of this paper is to answer this question. More precisely, we will introduce \({CMO}_{L}^{p}(X)\), the Carleson measure spaces associated with operators L, and characterize the Hardy spaces associated with operators L via \(({CMO}_{L}^{p}(X))'\), the distributions of \({CMO}_{L}^{p}(X)\).     

Feller Generators with Measure-valued Drifts

We construct a L ^p -strong Feller process associated with the formal differential operator ? Δ + σ ?? on \(\mathbb R^{d}\), \(d \geqslant 3\), with drift σ in a wide class of measures (e.g. the sum of a measure having density in weak L ^d space and a Kato class measure), by exploiting a quantitative dependence of the smoothness of the domain of an operator realization of ? Δ + σ ?? generating a holomorphic C ₀-semigroup on \(L^{p}(\mathbb R^{d})\), p > d ? 1, on the value of the relative bound of σ.     

Carleson measures,BMO spaces and balayages associated to Schrdinger operators

Let L be a Schrdinger operator of the form L =-? + V acting on L~2(R~n), n≥3, where the nonnegative potential V belongs to the reverse Hlder class B_q for some q≥n. Let BMO_L(R~n) denote the BMO space associated to the Schrdinger operator L on R~n. In this article, we show that for every f ∈ BMO_L(R~n) with compact support, then there exist g ∈ L~∞(R~n) and a finite Carleson measure μ such that f(x) = g(x) + S_(μ,P)(x) with ∥g∥∞ + |||μ|||c≤ C∥f∥BMO_L(R~n), where S_(μ,P)=∫(R_+~(n+1))Pt(x,y)dμ(y, t),and Pt(x, y) is the kernel of the Poisson semigroup {e-~(t(L)~(1/2))}t0 on L~2(R~n). Conversely, if μ is a Carleson measure, then S_(μ,P) belongs to the space BMO_L(R~n). This extends the result for the classical John-Nirenberg BMO space by Carleson(1976)(see also Garnett and Jones(1982), Uchiyama(1980) and Wilson(1988)) to the BMO setting associated to Schrdinger operators.     

Decomposition of Pseudo-effect Algebras and the Hammer–Sobczyk Theorem

We prove an algebraic and a topological decomposition theorem for complete pseudo-D-lattices (i.e. lattice-ordered pseudo-effect algebras). As a consequence, we obtain a Hammer–Sobczyk type decomposition theorem for group-valued modular measures defined on pseudo-D-lattices and compactness of the range of every \(\mathbb {R}^{n} \)-valued σ-additive modular measure on a σ-complete pseudo-D-lattice.     

On the uniform rectifiability of AD-regular measures with bounded Riesz transform operator: the case of codimension 1

We prove that if μ is a d-dimensional Ahlfors-David regular measure in \({\mathbb{R}^{d+1}}\) , then the boundedness of the d-dimensional Riesz transform in L ²(μ) implies that the non-BAUP David–Semmes cells form a Carleson family. Combined with earlier results of David and Semmes, this yields the uniform rectifiability of μ.     

Heavy Tailed Approximate Identities and <Emphasis Type="Italic">σ</Emphasis>-stable Markov Kernels

The aim of this paper is to present some results relating the properties of stability, concentration and approximation to the identity of convolution through not necessarily mollification type families of heavy tailed Markov kernels. A particular case is provided by the kernels K _t obtained as the t mollification of L ^σ(t) selected from the family \(\mathcal {L}=\{L^{\sigma }: \widehat {L^{\sigma }}{(\xi )=e^{-|{\xi }|}}^{\sigma }, 0<\sigma <2\}\), by a given function σ with values in the interval (0,2). We show that a basic Harnack type inequality, introduced by C. Calderón in the convolution case, becomes at once natural to the setting and useful to connect the concepts of stability, concentration and approximation of the identity. Some of the general results are extended to spaces of homogeneous type since most of the concepts involved in the theory are given in terms of metric and measure.     

Mean growth and geometric zero distribution of solutions of linear differential equations

The aim of this paper is to consider certain conditions on the coefficient A of the differential equation f″ + Af = 0 in the unit disc which place all normal solutions f in the union of Hardy spaces or result in the zero-sequence of each non-trivial solution being uniformly separated. The conditions on the coefficient are given in terms of Carleson measures.     

Optimal Embeddings of Bessel-Potential-Type Spaces into Generalized Hölder Spaces Involving <Emphasis Type="Italic">k</Emphasis>-Modulus of Smoothness

We establish necessary and sufficient conditions for embeddings of Bessel potential spaces H ^σ X(IR ⁿ ) with order of smoothness σ?∈?(0, n), modelled upon rearrangement invariant Banach function spaces X(IR ⁿ ), into generalized Hölder spaces (involving k-modulus of smoothness). We apply our results to the case when X(IR ⁿ ) is the Lorentz-Karamata space \(L_{p,q;b}({{\rm I\kern-.17em R}}^n)\). In particular, we are able to characterize optimal embeddings of Bessel potential spaces \(H^{\sigma}L_{p,q;b}({{\rm I\kern-.17em R}}^n)\) into generalized Hölder spaces. Applications cover both superlimiting and limiting cases. We also show that our results yield new and sharp embeddings of Sobolev-Orlicz spaces W ^k?+?1 L ^n/k(logL) ^α (IR ⁿ ) and W ^k L ^n/k(logL) ^α (IR ⁿ ) into generalized Hölder spaces.     

Non-uniform hyperbolicity in complex dynamics

We say that a rational function F satisfies the summability condition with exponent α if for every critical point c which belongs to the Julia set J there exists a positive integer n _c so that \(\sum_{n=1}^{\infty} |(F^{n})^{\prime}(F^{n_{c}}(c))|^{-\alpha}<\infty\) and F has no parabolic periodic cycles. Let μ _max be the maximal multiplicity of the critical points.The objective is to study the Poincaré series for a large class of rational maps and establish ergodic and regularity properties of conformal measures. If F is summable with exponent \(\alpha<\frac{\delta_{\textit{Poin}}(J)}{\delta_{\textit{Poin}}(J)+\mu_{\textit{max}}}\) where δ _Poin (J) is the Poincaré exponent of the Julia set then there exists a unique, ergodic, and non-atomic conformal measure ν with exponent δ _Poin (J)=HDim(J). If F is polynomially summable with the exponent α, \(\sum_{n=1}^{\infty}n |(F^{n})^{\prime}(F^{n_{c}}(c))|^{-\alpha}<\infty\) and F has no parabolic periodic cycles, then F has an absolutely continuous invariant measure with respect to ν. This leads also to a new result about the existence of absolutely continuous invariant measures for multimodal maps of the interval.We prove that if F is summable with an exponent \(\alpha< \frac{2}{2+\mu_{\textit{max}}}\) then the Minkowski dimension of J is strictly less than 2 if \(J\neq\hat{\mathbb{C}}\) and F is unstable. If F is a polynomial or Blaschke product then J is conformally removable. If F is summable with \(\alpha<\frac{1}{1+\mu_{\textit{max}}}\) then connected components of the boundary of every invariant Fatou component are locally connected. To study continuity of Hausdorff dimension of Julia sets, we introduce the concept of the uniform summability.Finally, we derive a conformal analogue of Jakobson’s (Benedicks–Carleson’s) theorem and prove the external continuity of the Hausdorff dimension of Julia sets for almost all points c from the Mandelbrot set with respect to the harmonic measure.     

The Kreps-Yan theorem for Banach ideal spaces

Consider a closed convex cone C in a Banach ideal space X on some measure space with σ-finite measure. We prove that the fulfilment of the conditions C∩X ₊ = {0} and C??X ₊ guarantees the existence of a strictly positive continuous functional on X whose restriction to C is nonpositive.     

Rates of decay in the classical Katznelson-Tzafriri theorem

The Katznelson-Tzafriri Theorem states that, given a power-bounded operator T, ∥Tⁿ(I ? T)∥ → 0 as n → ∞ if and only if the spectrum σ(T) of T intersects the unit circle T in at most the point 1. This paper investigates the rate at which decay takes place when σ(T) ∩ T = {1}. The results obtained lead, in particular, to both upper and lower bounds on this rate of decay in terms of the growth of the resolvent operator R(e^iθ, T) as θ → 0. In the special case of polynomial resolvent growth, these bounds are then shown to be optimal for general Banach spaces but not in the Hilbert space case.     

Weighted Composition Operators on Spaces of Analytic Functions on the Complex Half-Plane

In this paper we will show how the boundedness condition for the weighted composition operators on a class of spaces of analytic functions on the open right complex half-plane called Zen spaces (which include the Hardy spaces and weighted Bergman spaces) can be stated in terms of Carleson measures and Bergman kernels. In Hilbertian setting we will also show how the norms of causal weighted composition operators on these spaces are related to each other and use it to show that an (unweighted) composition operator \(C_\varphi \) is bounded on a Zen space if and only if \(\varphi \) has a finite angular derivative at infinity. Finally, we will show that there is no compact composition operator on Zen spaces.     

LIFTING DIFFERENTIABLE CURVES FROM ORBIT SPACES

Let ρ: G → O(V) be a real finite dimensional orthogonal representation of a compact Lie group, let σ = (σ ₁, ?, σn): V → ? ⁿ , where σ ₁, ?, σn n form a minimal system of homogeneous generators of the G-invariant polynomials on V, and set d = max_i deg σ _i . We prove that for each C ^d?1,1-curve c in σ(V) ?? ⁿ there exits a locally Lipschitz lift over σ, i.e., a locally Lipschitz curve \( \overline{c} \) in V so that c = σ ° \( \overline{c} \), and we obtain explicit bounds for the Lipschitz constant of \( \overline{c} \) in terms of c. Moreover, we show that each C ^d -curve in σ(V) admits a C ¹-lift. For finite groups G we deduce a multivariable version and some further results.     

A predual of a predual of <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">σ</Emphasis></Subscript> and its applications to commutators

A predual of B_σ-spaces is investigated. A predual of a predual of B_σ-spaces is also investigated, which can be used to investigate the boundedness property of the commutators. The relation between Herz spaces and local Morrey spaces is discussed. As an application of the duality results, one obtains the boundedness of the singular integral operators, the Hardy-Littlewood maximal operators and the fractional integral operators, as well as the commutators generated by the bounded mean oscillation (BMO) and the singular integral operators. What is new in this paper is that we do not have to depend on the specific structure of the operators. The results on the boundedness of operators are formulated in terms of ?_σ-spaces and B_σ-spaces together with the detailed comparison of the ones in Herz spaces and local Morrey spaces. Another application is the nonsmooth atomic decomposition adapted to B_σ-spaces.     

A Minimum Principle for Potentials with Application to Chebyshev Constants

For “Riesz-like” kernels K(x,y) = f(|x?y|) on A×A, where A is a compact d-regular set \(A\subset \mathbb {R}^{p}\), we prove a minimum principle for potentials \(U_{K}^{\mu }=\int K(x,y)\textup {d}\mu (x)\), where μ is a Borel measure supported on A. Setting \(P_{K}(\mu )=\inf _{y\in A}U^{\mu }(y)\), the K-polarization of μ, the principle is used to show that if {ν _N } is a sequence of measures on A that converges in the weak-star sense to the measure ν, then P _K (ν _N )→P _K (ν) as \(N\to \infty \). The continuous Chebyshev (polarization) problem concerns maximizing P _K (μ) over all probability measures μ supported on A, while the N-point discrete Chebyshev problem maximizes P _K (μ) only over normalized counting measures for N-point multisets on A. We prove for such kernels and sets A, that if {ν _N } is a sequence of N-point measures solving the discrete problem, then every weak-star limit measure of ν _N as \(N \to \infty \) is a solution to the continuous problem.     

Recurrent Dirichlet Forms and Markov Property of Associated Gaussian Fields

For the extended Dirichlet space \(\mathcal {F}_{e}\) of a general irreducible recurrent regular Dirichlet form \((\mathcal {E},\mathcal {F})\) on L ²(E;m), we consider the family \(\mathbb {G}(\mathcal {E})=\{X_{u};u\in \mathcal {F}_{e}\}\) of centered Gaussian random variables defined on a probability space \(({\Omega }, \mathcal {B}, \mathbb {P})\) indexed by the elements of \(\mathcal {F}_{e}\) and possessing the Dirichlet form \(\mathcal {E}\) as its covariance. We formulate the Markov property of the Gaussian field \(\mathbb {G}(\mathcal {E})\) by associating with each set A ? E the sub-σ-field σ(A) of \(\mathcal {B}\) generated by X _u for every \(u\in \mathcal {F}_{e}\) whose spectrum s(u) is contained in A. Under a mild absolute continuity condition on the transition function of the Hunt process associated with \((\mathcal {E}, \mathcal {F})\), we prove the equivalence of the Markov property of \(\mathbb {G}(\mathcal {E})\) and the local property of \((\mathcal {E},\mathcal {F})\). One of the key ingredients in the proof is in that we construct potentials of finite signed measures of zero total mass and show that, for any Borel set B with m(B) >?0, any function \(u\in \mathcal {F}_{e}\) with s(u) ? B can be approximated by a sequence of potentials of measures supported by B.     

The dual space of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> of a vector measure

For a vector measure ν having values in a real or complex Banach space and \({p \in}\) [1, ∞), we consider L ^p (ν) and \({L_{w}^{p}(\nu)}\), the corresponding spaces of p-integrable and scalarly p-integrable functions. Given μ, a Rybakov measure for ν, and taking q to be the conjugate exponent of p, we construct a μ-Köthe function space E _q (μ) and show it is σ-order continuous when p > 1. In this case, for the associate spaces we prove that L ^p (ν) ^×  = E _q (μ) and \({E_q(\mu)^\times = L_w^p(\nu)}\). It follows that \({L_p (\nu) ^{**} = L_w^p (\nu)}\). We also show that L ¹ (ν) ^×  may be equal or not to E _∞ (μ).     

Approximate identities on some homogeneous Banach spaces

We study convergence of approximate identities on some complete semi-normed or normed spaces of locally L ^p functions where translations are isometries, namely Marcinkiewicz spaces \({\mathcal{M}^{p}}\) and Stepanoff spaces \({\mathcal{S}^p}\), 1 ≤ p < ∞, as well as others where translations are not isometric but bounded (the bounded p-mean spaces M ^p ) or even unbounded (\({M^{p}_{0}}\)). We construct a function f that belongs to these spaces and has the property that all approximate identities \({\phi_\varepsilon * f}\) converge to f pointwise but they never converge in norm.     

Properties of Axial Diameters of a Simplex

Let S be a nondegenerate simplex in ? ⁿ . It is proved that the minimal possible σ>0, such that a homothetic copy of S of ratio σ contains [0,1] ⁿ , is equal to \(\sum_{i=1}^{n} 1/d_{i}(S)\). Here d _i (S) denotes the length of a longest segment in S parallel to the ith coordinate axis.