Maximal function characterizations of Hardy spaces on RD-spaces and their applications

Let X be an RD-space, i.e., a space of homogeneous type in the sense of Coifman and Weiss, which has the reverse doubling property. Assume that X has a dimension n. For α∈ (0, ∞) denote by Hαp(X ), Hdp(X ), and H?,p(X ) the corresponding Hardy spaces on X defined by the nontangential maximal function, the dyadic maximal function and the grand maximal function, respectively. Using a new inhomogeneous Calder′on reproducing formula, it is shown that all these Hardy spaces coincide with Lp(X ) when p ∈ (1, ∞] a...     

Comparison of Spaces of Hardy Type for the Ornstein–Uhlenbeck Operator

Denote by γ the Gauss measure on ℝ ⁿ and by ${\mathcal{L}}${\mathcal{L}} the Ornstein–Uhlenbeck operator. In this paper we introduce a Hardy space \mathfrakh¹g{{\mathfrak{h}}^1}{{\rm \gamma}} of Goldberg type and show that for each u in ℝ ∖ {0} and r > 0 the operator (rI+L)^iu(r{\mathcal{I}}+{\mathcal{L}})^{iu} is unbounded from \mathfrakh¹g{{\mathfrak{h}}^1}{{\rm \gamma}} to L ¹γ. This result is in sharp contrast both with the fact that (rI+L)^iu(r{\mathcal{I}}+{\mathcal{L}})^{iu} is bounded from H ¹γ to L ¹γ, where H ¹γ denotes the Hardy type space introduced in Mauceri and Meda (J Funct Anal 252:278–313, 2007), and with the fact that in the Euclidean case (rI-D)^iu(r{\mathcal{I}}-\Delta)^{iu} is bounded from the Goldberg space \mathfrakh¹\mathbbRⁿ{{\mathfrak{h}}^1}{{\mathbb{R}}^n} to L ¹ℝ ⁿ . We consider also the case of Riemannian manifolds M with Riemannian measure μ. We prove that, under certain geometric assumptions on M, an operator T{\mathcal{T}}, bounded on L ² μ, and with a kernel satisfying certain analytic assumptions, is bounded from H ¹ μ to L ¹ μ if and only if it is bounded from \mathfrakh¹m{{\mathfrak{h}}^1}{\mu} to L ¹ μ. Here H ¹ μ denotes the Hardy space introduced in Carbonaro et al. (Ann Sc Norm Super Pisa, 2009), and \mathfrakh¹m{{\mathfrak{h}}^1}{\mu} is defined in Section 4, and is equivalent to a space recently introduced by M. Taylor (J Geom Anal 19(1):137–190, 2009). The case of translation invariant operators on homogeneous trees is also considered.     

Sums of primes and squares of primes in short intervals

Let H₂{\mathcal H_2} denote the set of even integers n \not o 1 mod 3{n \not\equiv 1 \pmod 3} . We prove that when H ≥ X ^0.33, almost all integers n ? H₂ ?(X, X + H]{n \in \mathcal H_2 \cap (X, X + H]} can be represented as the sum of a prime and the square of a prime. We also prove a similar result for sums of three squares of primes.     

A generalization of Hardy spaces <Emphasis Type="Italic">H</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> by using atoms

Let X = （X, d,μ） The purpose of this paper is to be a space of homogeneous type in the sense of Coifman and Weiss. generalize the definition of Hardy space H^P（X） and prove that the generalized Hardy spaces have the same property as H^P（X）. Our definition includes a kind of Hardy- Orlicz spaces and a kind of Hardy spaces with variable exponent. The results are new even for the R^n case. Let （X, δ, μ） be the normalized space of （X, d, μ） in the sense of Macias and Segovia. We also study the relations of our function spaces for （X, d, μ） and （X, δ,μ）.     

Quasi-nearly subharmonic functions in locally uniformly homogeneous spaces

We define nonnegative quasi-nearly subharmonic functions on so called locally uniformly homogeneous spaces. We point out that this function class is rather general. It includes quasi-nearly subharmonic (thus also subharmonic, quasisubharmonic and nearly subharmonic) functions on domains of Euclidean spaces \mathbbRⁿ{{\mathbb{R}}^n}, n ≥ 2. In addition, quasi-nearly subharmonic functions with respect to various measures on domains of \mathbbRⁿ{{\mathbb{R}}^n}, n ≥ 2, are included. As examples we list the cases of the hyperbolic measure on the unit ball B ⁿ of \mathbbRⁿ{{\mathbb{R}}^n}, the M{{\mathcal{M}}}-invariant measure on the unit ball B ²ⁿ of \mathbbCⁿ{{\mathbb{C}}^n}, n ≥ 1, and the quasihyperbolic measure on any domain D ì \mathbbRⁿ{D\subset {\mathbb{R}}^n}, D 1 \mathbbRⁿ{D\ne {\mathbb{R}}^n}. Moreover, we show that if u is a quasi-nearly subharmonic function on a locally uniformly homogeneous space and the space satisfies a mild additional condition, then also u ^p is quasi-nearly subharmonic for all p > 0.     

Gradings and Derived Categories

Let G{{\mathcal G}} be a group, Λ a G{{\mathcal G}}-graded Artin algebra and gr(Λ) denote the category of finitely generated G{{\mathcal G}}-graded Λ-modules. This paper provides a framework that allows an extension of tilting theory to D^b(gr(L)){{\mathcal D}}^b(\rm gr(\Lambda)) and to study connections between the tilting theories of D^b(L){{\mathcal D}}^b(\Lambda) and D^b(gr(L)){{\mathcal D}}^b(\rm gr(\Lambda)). In particular, using that if T is a gradable Λ-module, then a grading of T induces a G{{\mathcal G}}-grading on End_Λ(T), we obtain conditions under which a derived equivalence induced by a gradable Λ-tilting module T can be lifted to a derived equivalence between the derived categories D^b(gr(L)){{\mathcal D}}^b(\rm gr(\Lambda)) and D^b(gr(End_L(T))){{\mathcal D}}^b(\rm gr(\rm End_{\Lambda}(\textit T))).     

Volume preserving subgroups of $${{\mathcal A}}$$ and $${{\mathcal K}}$$ and singularities in unimodular geometry

For a germ of a smooth map f from \mathbb Kⁿ{{\mathbb K}^n} to \mathbb K^p{{\mathbb K}^p} and a subgroup G_Wq{{{G}_{\Omega _q}}} of any of the Mather groups G for which the source or target diffeomorphisms preserve some given volume form Ω _q in \mathbb K^q{{\mathbb K}^q} (q = n or p) we study the G_Wq{{{G}_{\Omega _q}}} -moduli space of f that parameterizes the G_Wq{{{G}_{\Omega _q}}} -orbits inside the G-orbit of f. We find, for example, that this moduli space vanishes for G_Wq = A_Wp{{{G}_{\Omega _q}} ={{\mathcal A}_{\Omega _p}}} and A{{\mathcal A}}-stable maps f and for G_Wq = K_Wn{{{G}_{\Omega _q}} ={{\mathcal K}_{\Omega _n}}} and K{{\mathcal K}}-simple maps f. On the other hand, there are A{{\mathcal A}}-stable maps f with infinite-dimensional A_Wn{{{\mathcal A}_{\Omega _n}}} -moduli space.     

The modal logic of continuous functions on the rational numbers

Let L^\square°{{\mathcal L}^{\square\circ}} be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality □ and a temporal modality ◦, understood as ‘next’. We extend the topological semantic for S4 to a semantics for the language L^\square°{{\mathcal L}^{\square\circ}} by interpreting L^\square°{{\mathcal L}^{\square\circ}} in dynamic topological systems, i.e., ordered pairs 〈X, f〉, where X is a topological space and f is a continuous function on X. Artemov, Davoren and Nerode have axiomatized a logic S4C, and have shown that S4C is sound and complete for this semantics. S4C is also complete for continuous functions on Cantor space (Mints and Zhang, Kremer), and on the real plane (Fernández Duque); but incomplete for continuous functions on the real line (Kremer and Mints, Slavnov). Here we show that S4C is complete for continuous functions on the rational numbers.     

Tiling Groupoids and Bratteli Diagrams II: Structure of the Orbit Equivalence Relation

In this second paper, we study the case of substitution tilings of \mathbb R^d{{\mathbb R}^d} . The substitution on tiles induces substitutions on the faces of the tiles of all dimensions j = 0, . . . , d − 1. We reconstruct the tiling’s equivalence relation in a purely combinatorial way using the AF-relations given by the lower dimensional substitutions. We define a Bratteli multi-diagram B{{\mathcal B}} which is made of the Bratteli diagrams B^j, j=0, ?d{{\mathcal B}^j, j=0, \ldots d} , of all those substitutions. The set of infinite paths in B^d{{\mathcal B}^d} is identified with the canonical transversal Ξ of the tiling. Any such path has a “border”, which is a set of tails in B^j{{\mathcal B}^j} for some j ≤ d, and this corresponds to a natural notion of border for its associated tiling. We define an étale equivalence relation R_B{{\mathcal R}_{\mathcal B}} on B{{\mathcal B}} by saying that two infinite paths are equivalent if they have borders which are tail equivalent in B^j{{\mathcal B}^j} for some j ≤ d. We show that R_B{{\mathcal R}_{\mathcal B}} is homeomorphic to the tiling’s equivalence relation R_X{{\mathcal R}_\Xi} .     

Sub-Riemannian calculus and monotonicity of the perimeter for graphical strips

We consider the class of minimal surfaces given by the graphical strips ${{\mathcal S}}We consider the class of minimal surfaces given by the graphical strips S{{\mathcal S}} in the Heisenberg group \mathbb H¹{{\mathbb {H}}^1} and we prove that for points p along the center of \mathbb H¹{{\mathbb {H}}^1} the quantity \fracs_H(S?B(p,r))r^Q-1{\frac{\sigma_H(\mathcal S\cap B(p,r))}{r^{Q-1}}} is monotone increasing. Here, Q is the homogeneous dimension of \mathbb H¹{{\mathbb {H}}^1} . We also prove that these minimal surfaces have maximum volume growth at infinity.     

On the sum of a prime and a k-th power of prime in short intervals

Let H_k\mathcal{H}_{k} denote the set {n∣2|n, n\not o 1 (mod p)n\not\equiv 1\ (\mathrm{mod}\ p) ∀ p>2 with p−1|k}. We prove that when X^{\frac1120(1-\frac12k) +e}\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{2k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n ? \allowbreak H_k ?(X, X+H]n\in\allowbreak {\mathcal{H}_{k} \cap (X, X+H]} can be represented as the sum of a prime and a k-th power of prime for k≧3. Moreover, when X^{\frac1120(1-\frac1k) +e}\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n∈(X,X+H] can be represented as the sum of a prime and a k-th power of integer for k≧3.     

Packing dimension and Ahlfors regularity of porous sets in metric spaces

Let X be a metric measure space with an s-regular measure μ. We prove that if A ì X{A\subset X} is r{\varrho} -porous, then dim_p(A) ￡ s-cr^s{{\rm {dim}_p}(A)\le s-c\varrho^s} where dim_p is the packing dimension and c is a positive constant which depends on s and the structure constants of μ. This is an analogue of a well known asymptotically sharp result in Euclidean spaces. We illustrate by an example that the corresponding result is not valid if μ is a doubling measure. However, in the doubling case we find a fixed N ì X{N\subset X} with μ(N) = 0 such that dim_p(A) ￡ dim_p(X)-c(log\tfrac1r)^-1r^t{{\rm {dim}_p}(A)\le{\rm {dim}_p}(X)-c(\log \tfrac1\varrho)^{-1}\varrho^t} for all r{\varrho} -porous sets A ì X\ N{A \subset X{\setminus} N} . Here c and t are constants which depend on the structure constant of μ. Finally, we characterize uniformly porous sets in complete s-regular metric spaces in terms of regular sets by verifying that A is uniformly porous if and only if there is t < s and a t-regular set F such that A ì F{A\subset F} .     

On Linear Fractional Transformations Associated with Generalized J-Inner Matrix Functions

A class U_k1 (J){\mathcal{U}}_{\kappa 1} (J) of generalized J-inner mvf’s (matrix valued functions) W(λ) which appear as resolvent matrices for bitangential interpolation problems in the generalized Schur class of p ×q  mvf￠s S_k^{p ×q}p \times q \, {\rm mvf's}\, {\mathcal{S}}_{\kappa}^{p \times q} and some associated reproducing kernel Pontryagin spaces are studied. These spaces are used to describe the range of the linear fractional transformation T_W based on W and applied to S_k2^{p ×q}{\mathcal{S}}_{\kappa 2}^{p \times q}. Factorization formulas for mvf’s W in a subclass U^°_k1 (J) of U_k1(J){\mathcal{U}^{\circ}_{\kappa 1}} (J)\, {\rm of}\, {\mathcal{U}}_{\kappa 1}(J) found and then used to parametrize the set S_k1+k2^{p ×q} ?T_W [ S_k2^{p ×q} ]{\mathcal{S}}_{{\kappa 1}+{\kappa 2}}^{p \times q} \cap T_{W} \left[ {\mathcal{S}}_{\kappa 2}^{p \times q} \right]. Applications to bitangential interpolation problems in the class S_k1+k2^{p ×q}{\mathcal{S}}_{{\kappa 1}+{\kappa 2}}^{p \times q} will be presented elsewhere.     

Operator-valued H ∞-calculus in Inter- and Extrapolation Spaces

We generalize a Hilbert space result by Auscher, McIntosh and Nahmod to arbitrary Banach spaces X and to not densely defined injective sectorial operators A. A convenient tool proves to be a certain universal extrapolation space associated with A. We characterize the real interpolation space ( X,D( A^a ) ?R( A^a ) )_q,p{\left( {X,\mathcal{D}{\left( {A^{\alpha } } \right)} \cap \mathcal{R}{\left( {A^{\alpha } } \right)}} \right)}_{{\theta ,p}} as

Duality results for perturbation classes of semi-Fredholm operators

The perturbation classes problem for semi-Fredholm operators asks when the equalities SS(X,Y)=PF₊(X,Y){\mathcal{SS}(X,Y)=P\Phi_+(X,Y)} and SC(X,Y)=PF_-(X,Y){\mathcal{SC}(X,Y)=P\Phi_-(X,Y)} are satisfied, where SS{\mathcal{SS}} and SC{\mathcal{SC}} denote the strictly singular and the strictly cosingular operators, and PΦ₊ and PΦ₋ denote the perturbation classes for upper semi-Fredholm and lower semi-Fredholm operators. We show that, when Y is a reflexive Banach space, SS(Y^*,X^*)=PF₊(Y^*,X^*){\mathcal{SS}(Y^*,X^*)=P\Phi_+(Y^*,X^*)} if and only if SC(X,Y)=PF_-(X,Y),{\mathcal{SC}(X,Y)=P\Phi_-(X,Y),} and SC(Y^*,X^*)=PF_-(Y^*,X^*){\mathcal{SC}(Y^*,X^*)=P\Phi_-(Y^*,X^*)} if and only if SS(X,Y)=PF₊(X,Y){\mathcal{SS}(X,Y)=P\Phi_+(X,Y)}. Moreover we give examples showing that both direct implications fail in general.     

Intertwining the geodesic flow and the Schr?dinger group on hyperbolic surfaces

We construct an explicit intertwining operator L{\mathcal L} between the Schr?dinger group e^{it \frac\triangle2}{e^{it \frac\triangle2}} and the geodesic flow on certain Hilbert spaces of symbols on the cotangent bundle T*X _Γ of a compact hyperbolic surface X _Γ = Γ\D. We also define Γ-invariant eigendistributions of the geodesic flow PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}} (Patterson-Sullivan distributions) out of pairs of \triangle{\triangle} -eigenfunctions, generalizing the diagonal case j = k treated in Anantharaman and Zelditch (Ann. Henri Poincaré 8(2):361–426, 2007). The operator L{\mathcal L} maps PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}} to the Wigner distribution W^G_j,k{W^{\Gamma}_{j,k}} studied in quantum chaos. We define Hilbert spaces H_PS{\mathcal H_{PS}} (whose dual is spanned by {PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}}}), resp. H_W{\mathcal H_W} (whose dual is spanned by {W^G_j,k}{\{W^{\Gamma}_{j,k}\}}), and show that L{\mathcal L} is a unitary isomorphism from H_W ? H_PS.{\mathcal H_{W} \to \mathcal H_{PS}.}     

Linear Maps Preserving Operators of Local Spectral Radius Zero

Let X be a complex Banach space and let B(X){\mathcal{B}(X)} be the space of all bounded linear operators on X. For x ? X{x \in X} and T ? B(X){T \in \mathcal{B}(X)}, let r_T(x) = limsup_{n ? ￥} || Tⁿx|| ^1/n{r_{T}(x) =\limsup_{n \rightarrow \infty} \| T^{n}x\| ^{1/n}} denote the local spectral radius of T at x. We prove that if j: B(X) ? B(X){\varphi : \mathcal{B}(X) \rightarrow \mathcal{B}(X)} is linear and surjective such that for every x ? X{x \in X} we have r _T (x) = 0 if and only if r_j(T)(x) = 0{r_{\varphi(T)}(x) = 0}, there exists then a nonzero complex number c such that j(T) = cT{\varphi(T) = cT} for all T ? B(X){T \in \mathcal{B}(X) }. We also prove that if Y is a complex Banach space and j:B(X) ? B(Y){\varphi :\mathcal{B}(X) \rightarrow \mathcal{B}(Y)} is linear and invertible for which there exists B ? B(Y, X){B \in \mathcal{B}(Y, X)} such that for y ? Y{y \in Y} we have r _T (By) = 0 if and only if r_{j( T)} (y)=0{ r_{\varphi ( T) }(y)=0}, then B is invertible and there exists a nonzero complex number c such that j(T) = cB^-1TB{\varphi(T) =cB^{-1}TB} for all T ? B(X){T \in \mathcal{B}(X)}.     

Lebesgue property for convex risk measures on Orlicz spaces

We present a robust representation theorem for monetary convex risk measures r: X ? \mathbbR{\rho : \mathcal{X} \rightarrow \mathbb{R}} such that

The {\overline{\partial}} operator along the leaves and Guichard’s theorem for a complex simple foliation

In (Ann Sc ENS Sér 3 4:361–380, 1887) Guichard proved that, for any holomorphic function g on ${{\mathbb C}}In (Ann Sc ENS Sér 3 4:361–380, 1887) Guichard proved that, for any holomorphic function g on \mathbb C{{\mathbb C}}, there exists a holomorphic function h (on \mathbb C{{\mathbb C}}) such that h - h °t = g{h - h \circ \tau = g} where τ is the translation by 1 on \mathbb C{{\mathbb C}}. In this note we prove an analogous of this theorem in a more general situation. Precisely, let (M,F){(M,{\mathcal F})} be a complex simple foliation whose leaves are simply connected non compact Riemann surfaces and γ an automorphism of F{{\mathcal F}} which fixes each leaf and acts on it freely and properly. Then, the vector space H_F(M){{\mathcal H}_{\mathcal F}(M)} of leafwise holomorphic functions is not reduced to functions constant on the leaves and for any g ? H_F(M){g \in {\mathcal H}_{\mathcal F}(M)}, there exists h ? H_F(M){h \in {\mathcal H}_{\mathcal F}(M)} such that h - h °g = g{h - h \circ \gamma = g}. From the proof of this theorem we derive a foliated version of Mittag–Leffler Theorem.     

Boundedness of paraproduct operators on RD-spaces

Let(X,d,μ) be an RD-space with "dimension" n,namely,a space of homogeneous type in the sense of Coifman and Weiss satisfying a certain reverse doubling condition.Using the Calder'on reproducing formula,the authors hereby establish boundedness for paraproduct operators from the product of Hardy spaces H p(X) × H q(X) to the Hardy space H r(X),where p,q,r ∈(n/(n + 1),∞) satisfy 1/p + 1/q = 1/r.Certain endpoint estimates are also obtained.In view of the lack of the Fourier transform in this setting,the proofs are based on the derivation of appropriate kernel estimates.