Function spaces on fractals

We construct function spaces, analogs of Hölder-Zygmund, Besov and Sobolev spaces, on a class of post-critically finite self-similar fractals in general, and the Sierpinski gasket in particular, based on the Laplacian and effective resistance metric of Kigami. This theory is unrelated to the usual embeddings of these fractals in Euclidean space, and so our spaces are distinct from the function spaces of Jonsson and Wallin, although there are some coincidences for small orders of smoothness. We show that the Laplacian acts as one would expect an elliptic pseudodifferential operator of order d+1 on a space of dimension d to act, where d is determined by the growth rate of the measure of metric balls. We establish some Sobolev embedding theorems and some results on complex interpolation on these spaces.     

Wavelets on fractals and besov spaces

Wavelets on self-similar fractals are introduced. It is shown that for certain totally disconnected fractals, function spaces may be characterized by means of the magnitude of the wavelet coefficients of the functions.     

Discrete characterisations of Lipschitz spaces on fractals

A. Kamont has discretely characterised Besov spaces on intervals. In this paper, we give a discrete characterisation of Lipschitz spaces on fractals admitting a type of regular sequence of triangulations, and for a class of post critically finite self‐similar sets. This shows that on some fractals, certain discretely defined Besov spaces, introduced by R. Strichartz, coincide with Lipschitz spaces introduced by A. Jonsson and H. Wallin for low order of smoothness. (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Characterization of BMO in terms of rearrangement-invariant Banach function spaces

The atomic decomposition of Hardy spaces by atoms defined by rearrangement-invariant Banach function spaces is proved in this paper. Using this decomposition, we obtain the characterizations of BMO and Lipschitz spaces by rearrangement-invariant Banach function spaces. We also provide the sharp function characterization of the rearrangement-invariant Banach function spaces.     

T 1 theorem for Besov spaces on nonhomogeneous spaces

Suppose μ is a Radon measure on ℝ ^d , which may be non doubling. The only condition assumed on μ is a growth condition, namely, there is a constant C₀>0 such that for all x∈supp(μ) and r>0, μ(B(x, r))⪯C₀rⁿ, where 0<n⪯d. We prove T1 theorem for non doubling measures with weak kernel conditions. Our approach yields new results for kernels satisfying weakened regularity conditions, while recovering previously known Tolsa’s results. We also prove T1 theorem for Besov spaces on nonhomogeneous spaces with weak kernel conditions given in [7].     

On analytic and coanalytic function spaces Cp(X)

Under the assumption (V = L) we construct countable completely regular spaces X and Y such that the spaces C_p(X) and C_p(Y) of real-valued continuous functions on X and Y, equipped with the pointwise convergence topology, are analytic noncoanalytic and they are not homeomorphic. We also give analogous examples of coanalytic nonanalytic function spaces.     

On M-separability of countable spaces and function spaces

We study M-separability as well as some other combinatorial versions of separability. In particular, we show that the set-theoretic hypothesis b=d implies that the class of selectively separable spaces is not closed under finite products, even for the spaces of continuous functions with the topology of pointwise convergence. We also show that there exists no maximal M-separable countable space in the model of Frankiewicz, Shelah, and Zbierski in which all closed P-subspaces of ω^* admit an uncountable family of nonempty open mutually disjoint subsets. This answers several questions of Bella, Bonanzinga, Matveev, and Tkachuk.     

Weak uncertainty principle for fractals, graphs and metric measure spaces

We develop a new approach to formulate and prove the weak uncertainty inequality, which was recently introduced by Okoudjou and Strichartz. We assume either an appropriate measure growth condition with respect to the effective resistance metric, or, in the absence of such a metric, we assume the Poincaré inequality and reverse volume doubling property. We also consider the weak uncertainty inequality in the context of Nash-type inequalities. Our results can be applied to a wide variety of metric measure spaces, including graphs, fractals and manifolds.

     

Banach function subspaces of L of a vector measure and related Orlicz spaces

Given a vector measure ν with values in a Banach space X, we consider the space L¹(ν) of real functions which are integrable with respect to ν. We prove that every order continuous Banach function space Y continuously contained in L¹(ν) is generated via a certain positive map related to ν and defined on X* x M, where X* is the dual space of X and M the space of measurable functions. This procedure provides a way of defining Orlicz spaces with respect to the vector measure ν.     

A new class of function spaces connecting Triebel-Lizorkin spaces and Q spaces

Let s∈R, τ∈[0,∞), p∈(1,∞) and q∈(1,∞]. In this paper, we introduce a new class of function spaces which unify and generalize the Triebel-Lizorkin spaces with both p∈(1,∞) and p=∞ and Q spaces. By establishing the Carleson measure characterization of Q space, we then determine the relationship between Triebel-Lizorkin spaces and Q spaces, which answers a question posed by Dafni and Xiao in [G. Dafni, J. Xiao, Some new tent spaces and duality theorem for fractional Carleson measures and Qα(Rn), J. Funct. Anal. 208 (2004) 377-422]. Moreover, via the Hausdorff capacity, we introduce a new class of tent spaces and determine their dual spaces , where s∈R, p,q∈[1,∞), max{p,q}>1, , and t^′ denotes the conjugate index of t∈(1,∞); as an application of this, we further introduce certain Hardy-Hausdorff spaces and prove that the dual space of is just when p,q∈(1,∞).     

Commutators on Lipschitz spaces and related function spaces

We characterize the symbol functions so that the associated commutators with symbol functions and the Hilbert transform are bounded on Lipschitz space Λ _α ^p , where 1 < p < ∞ and 0 < α < 1/p. Properties of such symbols are also discussed.      

The zeta function of the Laplacian on certain fractals

We prove that the zeta function of the Laplacian on self-similar fractals with spectral decimation admits a meromorphic continuation to the whole complex plane. We characterise the poles, compute their residues, and give expressions for some special values of the zeta function. Furthermore, we discuss the presence of oscillations in the eigenvalue counting function, thereby answering a question posed by J. Kigami and M. Lapidus for this class of fractals.

     

Note on K-analyticity and normality in function spaces

We prove that whenever X is zero-dimensional metrizable with σ-compact set of accumulation points and K   is compact metrizable, the function space K^X$K^X$ endowed with the compact-open topology is a compact-covering image of the product of the irrationals and the Cantor cube. In particular, for any metrizable E  , the iterated function space E^(KX)$E^{(K^X)}$ is perfectly normal and paracompact. However, there is a closed subgroup G   of {0,1}^X${\{0,1\}}^X$ with X   as above whose space of characters G^∧$G^{\wedge }$ is not normal.     

Maximal function on Musielak-Orlicz spaces and generalized Lebesgue spaces

We consider the Hardy-Littlewood maximal operator M on Musielak-Orlicz Spaces Lφ(Rd). We give a necessary condition for the continuity of M on Lφ(Rd) which generalizes the concept of Muckenhoupt classes. In the special case of generalized Lebesgue spaces Lp(⋅)(Rd) we show that this condition is also sufficient. Moreover, we show that the condition is “left-open” in the sense that not only M but also Mq is continuous for some q>1, where .     

Hypertopologies on function spaces

The aim of this paper is to continue Naimpally’s seminal papers [16], [17], [18], i.e. we investigate topological properties of spaces which force the coincidence of convergences of functions associated with different hyperspace topologies. For example a metric spaceX is locally compact iff the topological convergence and the convergence induced by the Fell topology coincide onC(X,IR). Moreover, the proximal topology on the space of functions, not necessarily continuous, is studied in great detail.     

Topologies on function spaces

Function spaces play an important role in complex analysis, in the theory of differential equations, in functional analysis and in almost every other branch of modern mathematics. In this paper we give and study the notion of clopen convergence. Also, we study the notion of clopen continuity and define new topologies on function spaces. These results generalize basic results of R. Arens, J. Dugundji and A. Di Concilio (see [1], [4], [2] and [3]).     

Reflections on function spaces

This paper gathers together a number of loosely connected thoughts about Bishop’s notion of “function space”. In particular, it provides constructive proofs of some natural, classically straightforward results about morphisms between metrical function spaces, and examines connections between function spaces and pre-apartness spaces.