Access the full text.
Sign up today, get DeepDyve free for 14 days.
B. Bongioanni, E. Harboure, O. Salinas (2011)
Classes of weights related to Schrödinger operatorsJournal of Mathematical Analysis and Applications, 373
H. Bui, X. Duong, Lixin Yan (2012)
Calderón reproducing formulas and new Besov spaces associated with operatorsAdvances in Mathematics, 229
D. Haroske, L. Skrzypczak (2008)
Entropy and Approximation Numbers of Embeddings of Function Spaces with Muckenhoupt Weights, IRevista Matematica Complutense, 21
S. Thangavelu (1993)
Lectures on Hermite and Laguerre expansions
G. Kerkyacharian, P. Petrushev (2012)
Heat kernel based decomposition of spaces of distributions in the framework of Dirichlet spacesTransactions of the American Mathematical Society, 367
(1986)
On the spaces F s p , q of Triebel – Lizorkin type : Pointwise multipliers and spaces on domains
M. Meyries, M. Veraar (2014)
Characterization of a class of embeddings for function spaces with Muckenhoupt weightsArchiv der Mathematik, 103
L. Tang (2014)
Extrapolation from $A_{\infty}^{\rho,\infty}$, vector-valued inequalities and applications in the Schrödinger settingsArkiv för Matematik, 52
M. Meyries, M. Veraar (2012)
Traces and embeddings of anisotropic function spacesMathematische Annalen, 360
S. Blanes, F. Casas, J. Ros (1999)
EXTRAPOLATION OF
J. Epperson (1995)
Triebel-Lizorkin spaces for Hermite expansionsStudia Mathematica, 114
Jacek Dziubański (1997)
Triebel-Lizorkin spaces associated with Laguerre and Hermite expansions, 125
J. Franke (1986)
On the Spaces of Triebel‐Lizorkin Type: Pointwise Multipliers and Spaces on DomainsMathematische Nachrichten, 125
(1993)
Mathematical Notes, 42
Ji Li, R. Rahm, B. Wick (2016)
$$A_p$$Ap Weights and quantitative estimates in the Schrödinger settingMathematische Zeitschrift
A. Georgiadis, G. Kerkyacharian, G. Kyriazis, P. Petrushev (2017)
Homogeneous Besov and Triebel–Lizorkin spaces associated to non-negative self-adjoint operatorsJournal of Mathematical Analysis and Applications, 449
Fu Ly (2016)
Classes of weights and second order Riesz transforms associated to Schrödinger operatorsJournal of The Mathematical Society of Japan, 68
Y.-S. Han (1995)
The embedding theorem for the Besov and Triebel-Lizorkin spaces on spaces of homogeneous type, 123
B. Jawerth (1977)
Some observations on Besov and Lizorkin-Triebel spaces.Mathematica Scandinavica, 40
Yongsheng Han, E. Sawyer (1994)
Littlewood-Paley Theory on Spaces of Homogeneous Type and the Classical Function Spaces
Lin Tang (2014)
Extrapolation from A ρ, ∞∞ , vector-valued inequalities and applications in the Schr¨odinger settings
M. Meyries, M. Veraar (2011)
Sharp embedding results for spaces of smooth functions with power weightsarXiv: Functional Analysis
Yanchang Han, Yongsheng Han, Ziyi He, Ji Li, C. Pereyra (2020)
Geometric Characterizations of Embedding Theorems: For Sobolev, Besov, and Triebel–Lizorkin Spaces on Spaces of Homogeneous Type—via Orthonormal WaveletsThe Journal of Geometric Analysis, 31
Y. Han, Chin-Cheng Lin (2002)
Embedding Theorem on Spaces of Homogeneous TypeJournal of Fourier Analysis and Applications, 8
(1986)
On the spaces F s p,q of Triebel–Lizorkin type: Pointwise multipliers and spaces on
G. Kyriazis, P. Petrushev, Yuan Xu (2006)
Jacobi decomposition of weighted Triebel–Lizorkin and Besov spacesStudia Mathematica, 186
H. Bui, T. Bui, X. Duong (2020)
WEIGHTED BESOV AND TRIEBEL–LIZORKIN SPACES ASSOCIATED WITH OPERATORS AND APPLICATIONSForum of Mathematics, Sigma, 8
Zhongwei Shen (1995)
$L^p$ estimates for Schrödinger operators with certain potentialsAnnales de l'Institut Fourier, 45
Fu Ly, V. Naibo (2020)
Pseudo-multipliers and Smooth Molecules on Hermite Besov and Hermite Triebel–Lizorkin SpacesJournal of Fourier Analysis and Applications, 27
P. N'apoli, Irene Drelichman, N. Saintier (2014)
Weighted embedding theorems for radial Besov and Triebel-Lizorkin spacesarXiv: Classical Analysis and ODEs
T. Bui, X. Duong (2015)
Besov and Triebel-Lizorkin Spaces Associated to Hermite OperatorsJournal of Fourier Analysis and Applications, 21
D. Deng, Yongsheng Han, Y. Meyer (2008)
Harmonic Analysis on Spaces of Homogeneous Type
B. Bongioanni, A. Cabral, E. Harboure (2016)
Schrödinger type singular integrals: weighted estimates for p=1Mathematische Nachrichten, 289
Bui Qui (1982)
Weighted Besov and Triebel spaces: interpolation by the real methodHiroshima Mathematical Journal, 12
Bui (1982)
Weighted Besov and Triebel Lizorkin spaces: Interpolation by the real methodHiroshima Math. J., 12
(2019)
Ap weights and quantitative estimates in the Schrdinger setting
P. Petrushev, Yuan Xu (2007)
Decomposition of Spaces of Distributions Induced by Hermite ExpansionsJournal of Fourier Analysis and Applications, 14
Yanchang Han (2015)
Embedding Theorem for Inhomogeneous Besov and Triebel–Lizorkin Spaces on RD-spacesCanadian Mathematical Bulletin, 58
H. Triebel (1983)
Theory Of Function Spaces
(1983)
Theory of function spaces, volume 78 of Monographs in Mathe-matics
G. Kerkyacharian, P. Petrushev, P. Petrushev, D. Picard, Yuan Xu (2008)
Decomposition of Triebel-Lizorkin and Besov spaces in the context of Laguerre expansionsJournal of Functional Analysis, 256
Yanchang Han (2015)
Embedding theorem on RD-spacesJournal of Inequalities and Applications, 2015
WEIGHTED EMBEDDINGS FOR FUNCTION SPACES ASSOCIATED WITH HERMITE EXPANSIONS THE ANH BUI, JI LI, AND FU KEN LY Abstract. We study weighted Besov and Triebel–Lizorkin spaces associated with Hermite expansions and obtain (i) frame decompositions, and (ii) characterizations of continuous Sobolev-type embeddings. The weights we consider generalize the Muckhenhoupt weights. Contents 1. Introduction 1 2. Preliminaries 4 2.1. Littlewood–Paley operators 5 2.2. Hermite weights 7 2.3. Hermite tiles and sequence spaces 9 3. Frame characterizations 11 3.1. Maximal lemmas 13 3.2. Proof of Theorem 3.1 16 4. Embeddings for weighted Hermite spaces 18 4.1. Proof of Theorem 4.1 19 4.2. Proof of Theorem 1.1 23 References 24 1. Introduction One of the most important features of smooth function spaces is the presence of Sobolev type embeddings. The ability to exchange regularity for increased integrability is a critical tool in the study of partial differential equations. In particular weighted embedding theorems for Besov and Triebel–Lizorkin spaces have found applications in a variety of situations (see [27, 29] and the references therein). To facilitate the rest of this discussion let us recall such embeddings. In what follows, by a weight w we shall mean that w is a locally integrable non-negative function defined on R . For a measurable subset E ⊂ R and a weight w, we write w(E) = w(x)dx. p,q p,q Given a weight w let B and F be the weighted inhomogeneous Besov and Triebel– α,w α,w Lizorkin spaces on R respectively, where 0 < p < ∞ is the integrability index, 0 < q < ∞ 2010 Mathematics Subject Classification: 46E35, 42C15, 33C45. Key words and phrases: Embedding, Hermite expansions, Frames, Weights. © 2021. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/. arXiv:2003.11206v2 [math.CA] 8 Jan 2021 2 THE ANH BUI, JI LI, AND FU KEN LY the fine index, and α ∈ R the smoothness index. Suppose α ≥ α , 0 < p ≤ p < ∞, 2 1 2 1 0 < q , q ≤ ∞ and α − γ/p = α − γ/p for some γ > 0. Then under suitable conditions 1 2 1 1 2 2 on w one has the continuous embedding p ,q p ,q 2 2 1 1 (1.1) F ֒→ F , α ,w α ,w 2 1 and for 0 < q ≤ q ≤ ∞, 2 1 p ,q p ,q 2 2 1 1 (1.2) B ֒→ B . α ,w α ,w 2 1 Situations for which (1.1)–(1.2) hold true include of course the unweighted case of w = 1 and γ = n, which can be found in [11, 12, 34]. Other situations include power weights [20, 27] and radial weights [7]. When w is a Muckenhoupt weight, (1.1)–(1.2) are known to hold if and only if w satisfies a kind of (local) lower bound property, namely that γ n (1.3) w(B(x, r)) ≥ Cr , x ∈ R , 0 < r ≤ 1 for some C > 0 independent of x and r, where B(x, r) = {y ∈ R : |x − y| < r}. This was proved in [3, Theorem 2.6], [20, Proposition 2.1(i)] and [28, Theorem 1.2]. That latter two articles in fact consider two-weight embeddings of which (1.1)–(1.2) are a special case. In recent times various works have been devoted to generalizations of the Besov and Triebel–Lizorkin spaces in a variety of directions. Such directions include generalizing the ambient space R [8, 19], replacing the Fourier system by other orthogonal expansions [9, 10, 22, 23, 30], adapting the function spaces to a general class of operators [4, 6, 21, 13] or hybrids of the above. It is thus natural to ask if embeddings similar to (1.1)–(1.2) can be retained in these generalizations. For the setting of a space of homogeneous type, a complete characterization of (1.1)–(1.2) was given in [18] by (1.3), where w = µ is the underlying measure, unifying and completing several earlier results [14, 15, 16, 17]. In the present article we consider the case of Hermite function expansions [33], which are naturally associated with the harmonic oscillator L = −Δ + |x| on R for n ≥ 1. Besov and Triebel–Lizorkin spaces associated with Hermite expansions have been developed in [5, 9, 10, 30]. In this article we introduce weighted versions with the aim of characterizing Sobolev–type embeddings. To describe our main results let us first define our function spaces. Let (ϕ , ϕ) be an admissible pair as defined in Definition 2.1. Let {h } be the multi-dimensional Hermite ξ ξ∈N functions (see Section 2) and consider, for j ≥ 0, the Littlewood–Paley type operators defined by √ X p ϕ ( L)f := ϕ ( 2|ξ| + n)hh , fih , f ∈ S j j ξ ξ ξ∈N where hh , fi := f(h ). Then we introduce the following weighted spaces. Let α ∈ R, ξ ξ 0 < q ≤ ∞ and w be a weight. For 0 < p ≤ ∞, we define the weighted Hermite Besov space p,q ′ n B as the class of tempered distributions f ∈ S (R ) such that α,w √ 1/q jα p,q p (1.4) kfk = 2 kϕ ( L)fk < ∞, B j L α,w w j∈N 0 WEIGHTED EMBEDDINGS FOR HERMITE SPACES 3 p,q while for 0 < p < ∞, the weighted Hermite Triebel–Lizorkin space F consists of all those α,w ′ n f ∈ S (R ) for which √ 1/q jα p,q (1.5) kfk = 2 |ϕ ( L)f| < ∞. α,w j∈N We adopt the usual modifications to the norm when q = ∞ (or p = ∞ in the Besov case). The spaces can be shown to be independent of our choice of (ϕ , ϕ) (see Theorem 3.1). Our aim in this paper is to characterize embedding theorems for such spaces for a suitable class of weights (which we denote by A (L)). These weights are more general than (and include) the Muckenhoupt weights. Such weights, introduced in [2], have sparked some recent activities (see for example [1, 24, 25, 32]). They can be non-doubling and may even admit a certain degree of exponential growth. Note that embedding in the unweighted situation (with w = 1) was given in [30]. More details about the kinds of weights considered in this paper can be found in Section 2.2. Our main result, Theorem 1.1 characterizes (1.1)–(1.2) via a similar condition to (1.3). For the definition of the weight class A (L) we refer to Definition 2.3. Theorem 1.1. Let γ > 0 and w ∈ A (L). Then one has the embeddings (1.1) or (1.2) if and only if w satisfies the following “Hermite lower bound property” of order γ: there exists a constant C > 0 such that, γ n (1.6) w(B(x, r)) ≥ C r , x ∈ R , 0 < r ≤ . 1 + |x| Examples of weights which satisfy (1.6) include the power weights w(x) = |x| , for −n < ǫ < ∞ provided that γ ≥ n + ǫ. An example that is not a Muckenhoupt weight is the ǫ|x| exponential weight w(x) = e with γ ≥ n. Some remarks on our method of proof are in order. Our overall approach to Theorem 1.1 is to obtain embeddings for the associated sequence spaces (see Definition 2.7 and Theorem 4.1) and then pass to the function spaces using suitable frame characterizations (Theorem 3.1). To obtain embeddings in the Triebel–Lizorkin scale we employ the well known distribution function method which harks back to Jawerth [12] and refined in [34]. The embeddings on the Besov scale are relatively easier. We give a final important remark on the relevance of condition (1.6). Our proofs rely on the ability to pass from a lower bound estimate on frame elements to the estimate on balls (Proposition 4.2). This is a simple matter in the classical situation since the frame elements are dyadic cubes whose sizes depend only on the scale. In the Hermite setting however, the frame elements are so-called ‘tiles’ (see Section 2.3) which are dependent on both scale and location. This principle is quantified in (1.6) and Proposition 4.2. The organization of the article is as follows. In Section 2 we give the necessary background that will be used throughout the paper including facts concerning Hermite functions, kernel estimates for our Littlewood-Paley type operators, Hermite weights and Hermite tiles (frame elements). In particular the associated weighted sequence spaces are introduced here in Def- inition 2.7. Suitable frames are introduced in 3 and a frame characterization (Theorem 3.1) is proved. Our embedding results are proved in Section 4. Here we first develop embeddings for Hermite sequence spaces (Theorem 4.1) before finally giving the proof of Theorem 1.1. As a final remark, it would be interesting to extend our results to two-weights embeddings, as done in [20, 28]. However we do not pursue this here. 4 THE ANH BUI, JI LI, AND FU KEN LY Notation: We conclude this introduction with some notational matters. We set |x| := max |x |. We denote by Q(x, r) := {y ∈ R : |x − y| < r} the cube centered at x with i ∞ 1≤i≤n sidelength 2r. By a ‘cube Q’ we mean the cube Q(x , r ) with some fixed centre x and Q Q Q sidelength 2r . We denote λ := 2k + n for k ∈ N , where N = N ∪ {0}. For two Banach Q k 0 0 spaces X and X the notation X ֒→ X means that X embeds continuously into X . 0 1 0 1 0 1 n n ′ n We denote by S (R ) the space of Schwartz functions on R and by S (R ) the space of tempered distributions on R . The letter n will always mean the Euclidean dimension. 2. Preliminaries In this section we give the necessary material that will be used throughout the rest of the paper. After detailing some basic facts concerning Hermite functions we introduce and give some kernel estimates for our Littlewood–Paley operators in Section 2.1. In Section 2.2 we define and give some useful estimates for the Hermite weight classes employed throughout the paper. Finally in Section 2.3 we detail the construction of dyadic ‘tiles’ and introduce weighted sequence spaces associated with Hermite expansions. For each k ∈ N, the Hermite function of degree k is k −1/2 −t /2 h (t) = (2 k! π) H (t)e , t ∈ R, k k 2 2 k t k −t where H (t) = (−1) e ∂ (e ) is the kth Hermite polynomial. The n-dimensional Hermite functions h are defined over the multi-indices ξ by n n h (x) = h (x ), x ∈ R , ξ ∈ N . ξ ξ j j 0 j=1 The Hermite functions are eigenfunctions of L in the sense that L(h ) = λ h , where ξ ξ |ξ| 2 n λ = 2k + n. Furthermore they form an orthonormal basis for L (R ). We also set, for each j = 1, . . . , n, ∂ ∂ A = − + x and A = + x , j j j ∂x ∂x j j to be the so-called ‘creation’ and ‘annihiliation’ operators respectively. Then it follows that Harmonic oscillator L = −Δ + |x| satisfies h i ∗ ∗ L = A A + A A . j j j j j=1 Let W = span{h : |ξ| = k} and V = W . We define the orthogonal projection of f k ξ N k k=0 onto W by X X P f = hf, h ih with kernel P (x, y) = h (x)h (y). k ξ ξ k ξ ξ |ξ|=k |ξ|=k We also define the orthogonal projection of f onto V by N N X X X Q f = P f with kernel Q (x, y) = h (x)h (y). N k N ξ ξ k=0 k=0 |ξ|=k WEIGHTED EMBEDDINGS FOR HERMITE SPACES 5 The following bounds are known (see [30, p. 376]): there exists ϑ > 0 such that for any N ≥ 1 n/2 N ∀x (2.1) Q (x, x) . −2ϑ|x| e if |x| ≥ 4N + 2. We also set 1 if |x| < N (2.2) e (x) := 2 −ϑ|x| 2 e if |x| ≥ N. Then it follows from (2.1) that for any ε > 4 and N ∈ N, there exists C > 0 depending only on N, n, ε and ϑ such that jn 2 (2.3) Q j (x, x) ≤ C 2 (e j(x)) ∀ j ∈ N . 4 +N ε4 0 2.1. Littlewood–Paley operators. The following band-limited functions will play a fun- damental role in this paper. Recall that they were used to define our weighted function spaces in (1.4) and (1.5). Definition 2.1 (Admissible functions). We say that (ϕ , ϕ) are an admissible pair if ϕ , ϕ ∈ ◦ ◦ C (R ) and −3/4 (m) supp ϕ ⊂ [0, 2], |ϕ | > c > 0 on [0, 2 ], ϕ (0) = 0, ∀m ∈ Z ◦ ◦ + 1 −3/4 3/4 supp ϕ ⊂ [ , 2], |ϕ| > c > 0 on [2 , 2 ]. 1−j Given an admissible pair (ϕ , ϕ), we set ϕ (λ) := ϕ(2 λ) if j ≥ 1 and ϕ (λ) = ϕ (2λ) and ◦ j 0 ◦ call the resulting collection {ϕ } an admissible system. j j≥0 Since the Hermite functions {h } are members of S (R ), then for an admissible ξ ξ∈N ′ n system {ϕ } we may define the operators ϕ ( L) on S (R ) by j j∈N j √ X ′ n ϕ ( L)f = ϕ ( λ )P f, f ∈ S (R ), j j ξ ξ ξ∈N ′ n where hf, φi = f(φ) for f ∈ S (R ). The kernels of operators ϕ ( L) are given by X X X √ p p ϕ ( L)(x, y) = ϕ ( λ )P (x, y) = ϕ ( λ ) h (x)h (y). j j ξ ξ j ξ µ µ ξ∈N ξ∈N |µ |=ξ 0 0 1 n 1 n j−2 j Let {I } denote the following subsets of N : I = 4 −⌊ ⌋, 4 −⌈ ⌉ ∩N for j ∈ N, j j∈N 0 j 0 2 2 2 2 I = {0} if n = 1 and I = ∅ if n ≥ 2. The support of ϕ implies that 0 0 j X X √ p (2.4) ϕ ( L)(x, y) = ϕ ( λ ) h (x)h (y). j j ξ µ µ ξ∈I |µ |=ξ We give now some estimates on the kernels of the operators ϕ ( L). Some of these have previously appeared in [26, 30] but we give their proofs for the convenience of the reader. Proposition 2.2 (Kernel estimates). Let {ϕ } be an admissible system and fix N ≥ 1 j j≥0 and ε > 4. Then there exists C > 0 depending on N, ϑ, ε, and (ϕ , ϕ) such that jn (2.5) |ϕ ( L)(x, y)| ≤ C e j(x)e j(y), ∀ x, y ∈ R . j ε4 ε4 j N (1 + 2 |x − y|) 6 THE ANH BUI, JI LI, AND FU KEN LY Suppose that {ψ } is another admissible system. If |j − k| ≥ 3 then j j≥0 √ √ (2.6) ϕ ( L)ψ ( L)(x, y) = 0, ∀ x, y ∈ R . j k There exists C > 0 depending on N, ϑ, ε, (ϕ , ϕ) and (ψ ,ψ) such that whenever |j −k| ≤ 3 ◦ ◦ then kn √ √ (2.7) |ϕ ( L)ψ ( L)(x, y)| ≤ C e (x)e k(y) j k ε4 ε4 k N (1 + 2 |x − y|) for every x, y ∈ R . −j Proof. We begin with the proof of (2.5). If |x − y| ≤ 2 then by the Cauchy–Schwarz inequality, X X 1/2 1/2 |ϕ ( L)(x, y)| ≤ kϕ k |h (x)| |h (y)| . Q j (x, x) Q j (y, y) . j j ∞ µ µ 4 +N 4 +N ξ∈I |µ |=ξ −j If on the other hand, |x − y| > 2 , then applying the identity in [30, Lemma 8] (see also [33, p. 72] or [26, (B.1)]) to (2.4) we obtain (2.8) √ X X (y) (x) N N ℓ 2ℓ−N 2 (x − y ) ϕ ( L)(x, y) = c △ ϕ ( λ ) (A − A ) P (x, y) , i i j ℓ,N j ξ ξ i i ξ∈I N/2≤ℓ≤N (x) (y) N−ℓ where c = (−4) (2N −2ℓ−1)!! and A and A denote the operator A applied ℓ,N i i i 2ℓ−N to the x and y variables, respectively. Here the symbol △ denotes the forward difference operator given by △f(ξ) = f(ξ + 1) − f(ξ). Using the mean value theorem for finite differences along with Hoppe’s chain rule formula we have p X p (r) ℓ ℓ r/2−ℓ −jr (2.9) |△ ϕ ( λ )| = |∂ ϕ ( λ )| = c ϕ ( λ )λ 2 , |c | ≤ ℓ! j ξ j ν r ν r ν j ν r=1 (m) for some ξ < ν < ξ + ℓ. Now our assumptions on ϕ and ϕ imply ϕ (0) = 0 for every m ∈ Z and, in conjunction with Taylor’s remainder theorem, gives (r) (N) (N) 1−j N−r |ϕ (x)| ≤ max kϕ k , kϕ k |2 x| ∞ ∞ j ◦ for any N ≥ 1 and x ∈ R . Inserting this into (2.9) we arrive at N/2−ℓ ℓ −jN (2.10) |△ ϕ ( λ )| . λ 2 j ξ since ξ < ν < ξ + ℓ, with an implicit constant that depends on ϕ , ϕ, ℓ and N. Next we recall the following estimate from [30, pp. 397-398], 2ℓ−N 2ℓ−N X X 1/2 1/2 (y) (x) ℓ−N/2 2ℓ−N (2.11) |(A − A ) P (x, y)| . λ P (x, x) P (y, y) , ξ ξ+k ξ+k i i k=0 k=0 which is obtained through the Binomial theorem and Cauchy–Schwarz inequality. Inserting (2.10) and (2.11) into (2.8) and applying Cauchy–Schwarz inequality we obtain |(x − y ) ϕ ( L)(x, y)| i i j WEIGHTED EMBEDDINGS FOR HERMITE SPACES 7 2ℓ−N 2ℓ−N X X X X 1/2 1/2 −jN . 2 c P (x, x) P (y, y) ℓ,N ξ+k ξ+k ξ∈I k=0 k=0 N/2≤ℓ≤N j −jN 1/2 1/2 . 2 Q j (x, x) Q j (y, y) . 4 +N 4 +N Now combining both cases we arrive at 1/2 1/2 Q j (x, x) Q j (y, y) 4 +N 4 +N |ϕ ( L)(x, y)| . , j N (1 + 2 |x − y|) which, in view of (2.3), yields (2.5). We turn to the proof of (2.6). By orthonormality of the Hermite functions √ √ X X p p ϕ ( L)ψ ( L)(x, y) = ϕ ( λ )ϕ ( λ ) h (x)h (y). j k j ξ k ξ µ µ ξ∈N 0 |µ |=ξ p p From the supports of ϕ and ψ , it can be easily seen that ϕ ( λ )ψ ( λ ) = 0 whenever j k j ξ k ξ |j − k| ≥ 3, which gives (2.6). We now prove (2.7). From the bound (2.5) and the fact that |j − k| ≤ 3 we have √ √ |ϕ ( L)ψ ( L)(x, y)| j k √ √ ≤ ϕ ( L)(x, z) ψ ( L)(z, y) dz j k kn kn 2 2 . e j(x)e k(y) dz ε4 ε4 k N k M (1 + 2 |x − z|) (1 + 2 |z − y|) for some M > N + n. The triangle inequality then gives kn kn √ √ 2 e j(x)e k(y) 2 ε4 ε4 |ϕ ( L)ψ ( L)(x, y)| . dz. j k k N k M−N (1 + 2 |x − y|) (1 + 2 |z − y|) Finally we observe that since M > N + n then the integral is finite which completes our proof. 2.2. Hermite weights. Here we define the classes of weights used in our function and sequence spaces. They generalize the Muckenhoupt classes and were introduced in [2]. These weights are based on the following ‘critical radius’ function. (2.12) ̺(x) := , 1 + |x| which was introduced in [31] in a more general context. It can be easily seen that there exists C > 0 and κ ≥ 1 such that −κ |x − y| |x − y| κ+1 −1 (2.13) C ̺(x) 1 + ≤ ̺(y) ≤ C̺(x) 1 + ̺(x) ̺(x) for any x, y ∈ R (see also [31, Lemma 1.4]). Definition 2.3 (Hermite weights). For each cube Q and θ ≥ 0 set ℓ(Q) Ψ (Q) := 1 + , ̺(x ) where ℓ(Q) is the side-length of the cube Q. 8 THE ANH BUI, JI LI, AND FU KEN LY For each 1 < p < ∞ and η ≥ 0 we define the class A (L) to be the collection of all non-negative and locally integrable functions w such that for some C > 0, ˆ ˆ 1/p 1/p 1−p (2.14) − w(y) dy − w (y) dy ≤ C Ψ (Q) Q Q for every cube Q. For p = 1 we require the following in place of (2.14) − w(y) dy ≤ w(x) a.e. x ∈ Q. Ψ (Q) We also set [ [ A (L) = A (L) and A (L) := A (L). p ∞ p η≥0 p≥1 Remark 2.4. (i) Throughout the rest of the article we shall drop the L in the notation η η and just write A in place of A (L), and A in place of A (L). p p p p (ii) We denote the usual class of Muckenhoupt weights by A for p ≥ 1. Then one may observe that the Hermite weights form a larger class than the Muckenhoupt weights in the sense that for each p ≥ 1 and η ≥ 0 we have A ⊂ A . (iii) We note that these weights are increasing in both parameters in the sense that for any η ≥ 0, then whenever 1 ≤ p ≤ p < ∞ we have 1 2 η η A ⊂ A ⊂ A 1 p p 1 2 and for any p ≥ 1 and η ≤ η then 1 2 η η 1 2 A ⊂ A . p p 2 2 ǫ |x| −ǫ |x| 1 2 (iv) Examples of A weights are the following. For each p > 1 we have e , e ∈ A ∞ p for some ǫ , ǫ > 0. See [24]. 1 2 (v) The class A is ‘open’ in the sense that if w ∈ A , then w ∈ A for some ǫ > 0. Thus ∞ p p−ǫ for each w ∈ A we may define r := inf r > 1 : w ∈ A . w r We will also need to employ certain maximal functions throughout our paper. For each s > 0 and θ ≥ 0 we define a maximal function as follows: 1/s θ s (2.15) M f(x) := sup − |f(y)| dy . Ψ (Q) Q∋x θ Q When s = 1 we drop the s and write M . These maximal functions satisfy a (weighted) Fefferman–Stein inequality for vector valued functions. Lemma 2.5 (Fefferman–Stein type inequality). Let 0 < p, q < ∞ and {f } be a sequence j j∈N of locally integrable functions defined on R . (a) If min{p, q} > 1 and w ∈ A for some η ≥ 0 then there exists θ depending on p, q, η, n, w and κ (the constant from (2.13)) and a constant C > 0 depending on θ such that X 1/q X 1/q θ q M (f ) ≤ C |f | . j j p p L L w w j j WEIGHTED EMBEDDINGS FOR HERMITE SPACES 9 (b) If w ∈ A then for any 0 < s < min{p/r , q}, there exists θ depending on p, q, s, n, w ∞ w and κ (the constant from (2.13)) and a constant C > 0 depending on θ such that X X 1/q 1/q θ q M (f ) ≤ C |f | . j j p p L L w w j j Proof. The proof of part (a) can be found in the proof of [32, Theorem 2.7]. To prove (b) we first observe that since w ∈ A then w ∈ A for some η ≥ 0. Now if s < then w ∈ A r p/s by Remark 2.4. We may then apply part (a) because p/s > 1 and q/s > 1. Thus we have 1 s 1 1 X X q X q q q s q q θ s M (f ) . f = f . j j s j p p/s p L L L w w w j j j 2.3. Hermite tiles and sequence spaces. The aim of this section is to detail an appro- priate notion of discretized sets for R and then use these sets to define weighted sequence spaces in Definition 2.7. It is well known that the dyadic cubes of R play an important role in the development of frames for the classical distribution spaces. In the Hermite setting, the notion of ‘tiles’ or ‘rectangles’ constructed in [30] will play the role of dyadic cubes for L. The construction of these tiles rely on the zeros of the Hermite polynomials. Fix a constant δ ∈ (0, ) and for each j ≥ 0 we set 4 2 j N = (1 + 11δ )( ) 4 + 3. j ⋆ Let {ζ } with ν ∈ {±1, ±2, . . . , ±N } be the zeros of the H (t), ordered so that ν j 2N (2.16) ζ < · · · < ζ < 0 < ζ < · · · < ζ . −N −1 1 N j j It will be useful to note that ζ = −ζ . −ν ν The index sets X are formed from the zeroes (2.16) of the even Hermite polynomials as follows. For each j ≥ 0 we set X := (ζ , . . . , ζ ) ∈ R : |α | < N , ν = 1, . . ., n . j α α ν j 1 n Following the convention in [30] the elements of X will be called nodes. We write X = X j j j≥0 to represent the collection of all nodes. The families of dyadic tiles E for j ≥ 0 are defined as follows. For each node ζ ∈ X with j j ζ = (ζ , . . . , ζ ) we set α α 1 n R := I × I × · · · × I , ζ α α α 1 2 n where I are the intervals defined by [0, (ζ + ζ )/2] , ν = 1 1 2 [(ζ + ζ )/2, (ζ + ζ )/2] , ν ∈ {2, 3, . . ., N } I := ν−1 ν ν ν+1 j−1 −j/6 (ζ + ζ )/2, ζ + 2 , ν = N N N N j j−1 j j and I = −I for ν ∈ {1, 2 . . ., N }. −ν ν j We denote by E the collection of tiles {R } and by E := E the collection of all j ζ ζ∈X j j j≥0 jn tiles. Then E contains approximately 4 tiles (with constants depending on δ and n). By j ⋆ a rectangle (or tile) R we mean a tile from E for some j ≥ 0 and denote its node by x . We j R summarize the properties of these tiles below. For their proofs we direct the reader to [30, pp. 379-380]. 10 THE ANH BUI, JI LI, AND FU KEN LY Lemma 2.6. There exist constants c , c , c , c and c depending only on δ and n such 0 1 2 3 4 ⋆ that for each j ≥ 0 and each tile R ∈ E the following holds. j+1 (a) If |x | ≤ (1 + 4δ )2 , it holds that R ⋆ −j (2.17) R ⊂ Q(x , c 2 ). R 0 (b) In general, it holds that −j −j/3 (2.18) Q(x , c 2 ) ⊂ R ⊂ Q(x , c 2 ). R 1 R 2 −j/6 (c) Set Q := P = Q(0, ζ + 2 ); it holds that j N P∈E j j (2.19) Q(0, 2 ) ⊂ Q ⊂ Q(0, c 2 ). j 3 −j (d) R can be subdivided into a disjoint union of subcubes of sidelength roughly equal to 2 ; more precisely each such subcube Q satisfies −j−1 −j Q(x , c 2 ) ⊂ Q ⊂ Q(x , c 2 ). Q 4 Q 4 Denoting by E the collection of all subdivided cubes from E , then it holds that j j (2.20) Q = Q . Q∈E We may now introduce our weighted sequence spaces associated with Hermite expansions, which are spaces of sequences indexed over the collection of tiles just described. Definition 2.7 (Weighted Hermite sequence spaces). Let α ∈ R, 0 < q ≤ ∞ and 0 ≤ w ∈ 1 n p,q L (R ). For 0 < p ≤ ∞, we define the weighted Hermite Besov sequence space b as the loc α,w set of all sequences of complex numbers s = {s } such that R R∈E 1/q X X q/p jαq 1/p −1/2 p,q ksk := 2 w(R) |R| |s | < ∞; α,w j≥0 R∈E p,q for 0 < p < ∞, we define the weighted Hermite Triebel–Lizorkin sequence space f as the α,w set of all sequences of complex numbers s = {s } such that R R∈E X X 1/q jαq −1/2 p,q ksk := 2 1 (·)|R| |s | < ∞. R R α,w j≥0 R∈E We use the supremum norm ℓ when q = ∞ (or if p = ∞ in the Besov case). These spaces are critical for our frame characterizations in Section 3 and the embedding results of Section 4. p,q p,q Throughout the rest of this article, we will use the notation A (L) (or A ) to refer to α,w α,w p,q p,q B (L) or F (L), with the understanding that α ∈ R, 0 < q ≤ ∞, and either 0 < p ≤ ∞ α,w α,w if A = B or 0 < p < ∞ if A = F. An analogous comment applies to the sequence spaces, p,q p,q denoted by a (L) (or a ). α,w α,w WEIGHTED EMBEDDINGS FOR HERMITE SPACES 11 3. Frame characterizations In this section we obtain frame characterizations of our weighted Hermite spaces. Frames were constructed in [30] for the unweighted setting and here we show that the same notions can be used to characterize the weighted spaces. Our frames rely on a certain cubature formula for functions in V (the spaces of projections defined in Section 2). Consider the well known ‘Christoffel function’ τ(N, x) := , x ∈ R, N ∈ N , Q (x, x) which has certain useful asymptotic properties (see [30, p. 376]). Then the following cubature formula X Y (3.1) f(x) g(x) dx ∼ τ f(ζ) g(ζ), ζ = (ζ , . . . , ζ ), τ = τ(2N , ζ ) ζ α α ζ j α 1 n k ζ∈X k=1 is exact for all f ∈ V and g ∈ V with k + ℓ ≤ 4N − 1. See [30, Proposition 2]. k ℓ j If {ϕ } is an admissible system then for each tile R ∈ E we set j j≥0 j 1/2 (3.2) ϕ (x) := τ ϕ ( L)(x, x ) R j R where x is the node of R and τ = τ , the coefficient in the cubature formula (3.1). They R R x satisfy |τ | ∼ |R| for any tile R (see [30, (2.33)]). The functions ϕ were termed needlets in R R [30]. Given any admissible systems {ϕ } and {ψ } we define the analysis S and synthesis j j≥0 j j≥0 ϕ T operators by S : f 7−→ {hf, ϕ i} and T : {s } 7−→ s ψ . ϕ R R∈E ψ R R∈E R R R∈E The main result in this section is the following. For the unweighted case see [30, Theo- rems 3 & 5]. Theorem 3.1 (Frame characterization). Let w ∈ A , α ∈ R, 0 < q ≤ ∞, and 0 < p < ∞ if p,q p,q p,q p,q A (L) = F (L) or 0 < p ≤ ∞ if A (L) = B (L). Suppose that {ϕ } and {ψ } j j≥0 j j≥0 α,w α,w α,w α,w are two admissible systems. Then, p,q p,q (a) the operator T : a (L) → A (L) is bounded; α,w α,w p,q p,q (b) the operator S : A (L) → a (L) is bounded; α,w α,w (c) if {ϕ } and {ψ } satisfy j j≥0 j j≥0 (3.3) ψ (λ)ϕ (λ) = 1 ∀λ ≥ 0, j j j≥0 p,q ′ n then T ◦ S = I on A (L), with convergence in S (R ). Furthermore, the definitions ψ ϕ α,w p,q of A (L) are independent of the choice of {ϕ } . j j≥0 α,w The proof of Theorem 3.1 is given in Section 3.2. Before embarking on the proof we need to give some preparatory facts and estimates. Our first set of results deals with the analysis and synthesis operators, which adapts [30, Proposition 3] to our band-limited operators. 12 THE ANH BUI, JI LI, AND FU KEN LY Proposition 3.2. Let {ϕ } and {ψ } be two admissible systems satisfying (3.3). Then j j≥0 j j≥0 we have the following: √ √ ′ n (3.4) f = ψ ( L)ϕ ( L)f in S (R ) j j j≥0 and ′ n (3.5) f = hf, ϕ i ψ in S (R ). R R R∈E Remark 3.3. It is worth pointing out that if (3.3) holds then Proposition 3.2 implies that ′ n p,q T ◦ S = I on S (R ). Another consequence of Proposition 3.2 is that our spaces B (L) ψ ϕ α,w p,q ′ n and F (L) are quasi-Banach spaces embedded continuously into S (R ). To see this one α,w can reason as in [30, Proposition 4] and [30, Section 5.1]. Proof of Proposition 3.2. The reproducing formula (3.4) can be found in [21, Proposition 5.5(b)] and [30, Proposition 3], so we only address (3.5). √ √ To prove (3.5) we firstly have ϕ ( L)(x, ·) ∈ V j. Indeed from (2.4) we see that ϕ ( L)(x, ·) j 4 j is a finite combination of Hermite functions h , of order |µ | not exceeding 4 which, by the √ √ definition of V , implies ϕ ( L)(x, ·) ∈ V j. One can reason similarly for ψ ( L)(x, ·). N j j √ √ Therefore since 2 · 4 ≤ 4N − 1 we may apply (3.1) to ϕ ( L)(x, ·) and ψ ( L)(x, ·) to j j j obtain √ √ √ √ √ √ ψ ( L)ϕ ( L)(x, y) = ψ ( L)(x, u) ϕ ( L)(u, y) du = τ ψ ( L)(x, ζ) ϕ ( L)(ζ, y). j j j j ζ j j ζ∈X Then in view of (3.2) we see that √ √ X √ √ X 1/2 1/2 ψ ( L)ϕ ( L)(x, y) = τ ψ ( L)(x, ξ) τ ϕ ( L)(y, ξ) = ψ (x) ϕ (y). j j j j R R R R R∈E R∈E j j The result now follows by invoking (3.4) and then utilising the above equality. Thus we have ˆ ˆ X X X √ √ f(x) = ψ ( L)ϕ ( L)(x, y)f(y) dy = ϕ (y)f(y) dy ψ (x), j j R R j≥0 j≥0 R∈E which is (3.5). The next estimate will be needed in the proofs of Theorems 3.1 and 4.1. Lemma 3.4. Let {ϕ } , {ψ } be any pair of admissible systems and let σ ≥ 1. Then j j≥0 j j≥0 there exists C > 0 depending on σ such that for any sequence of numbers s = {s } , R R∈E j+2 −1/2 X X |R| |s | ϕ ( L)(T s)(x) ≤ C , ∀x ∈ R . j ψ k σ (1 + 2 |x − x |) k=j−2 R∈E L)ψ (x) = 0, whenever R ∈ E with Proof of Lemma 3.4. Recall from (2.6) that ϕ ( j R k |j − k| ≥ 3. It follows that j+2 X X √ √ √ 1/2 ϕ ( L)(T s)(x) = s τ ϕ ( L)ψ ( L)(x, x ). j ψ R j k R k=j−2 R∈E k WEIGHTED EMBEDDINGS FOR HERMITE SPACES 13 Then by (2.7) with ε = 4(1 + 4δ ) we obtain for any σ ≥ 1, j+2 kn X X 2 e k(x )e j(x) ε4 R ε4 1/2 ϕ ( L)(T s)(x) . |s | |R| . j ψ R k σ (1 + 2 |x − x |) k=j−2 R∈E The proof is concluded by invoking the following estimate: kn −1 2 e k(x ) . |R| ∀ R ∈ E , k ∈ N . R k 0 ε4 We can see this estimate by considering the two types of tiles listed in Lemma 2.6. Indeed k+1 k kn −1 if |x | ≤ (1 + 4δ )2 = ε4 , then 2 ∼ |R| by (2.17). On the other hand, if R ∞ ⋆ 2 k k+1 −ϑ|x | −ϑ4 −βk |x | > (1 + 4δ )2 , then by (2.2) we have e k(x ) = e ≤ e . 2 for any R ∞ ⋆ R ε4 kn/3 −1 β > 0. Taking β = 2n/3 in view of the inequality 2 . |R| (see (2.18)) gives the required result. 3.1. Maximal lemmas. In this section we gather and prove some maximal lemmas for sequences (Lemmas 3.5, 3.6 and 3.7) that will be needed in the proof of Theorem 3.1. Recall that the maximal function M was defined in (2.15). We first have a generalization of [30, Lemma 4]. θ n Lemma 3.5. Let s > 0, θ ≥ 0, σ > + max{n, } and j ≥ 0. For a collection of numbers s s {a } we set R R∈E |a | ∗ n (3.6) a (x) := , x ∈ R , j σ (1 + 2 |x − x |) R∈E ∗ ∗ n and a := a (x ). Then there exists C > 0 such that for any c˜ ∈ (0, 2c ] and x ∈ R we R 4 R j have ∗ θ (3.7) a (x) ≤ C inf M |a |1 (y), R R j s −j y∈Q(x,c˜2 ) R∈E and ∗ θ (3.8) a 1 (x) ≤ C inf M |a |1 (y). R R R R s −j y∈Q(x,c˜2 ) R∈E Here the constants depend only on n, δ , σ, θ and s. Proof of Lemma 3.5. We first set |a | ea (x) := , j σ (1 + 2 d(x, R)) R∈E ∗ ∗ n where d(x, R) := sup |x − y| . Since a (x) . a˜ (x) and a 1 (x) . a˜ (x) for every x ∈ R , ∞ j R j j R y∈R in order to obtain (3.7) and (3.8) it suffices to prove θ n (3.9) ea (x) . inf M |a |1 (y), ∀x ∈ R . j R R −j y∈Q(x,c˜2 ) R∈E −j Set ν = 1−min{1, 1/s} and Q := Q(x, c˜2 ). Let c and c be the constants from Lemma 2.6. 3 4 We split the proof of (3.9) into two cases. Case 1: |x| > 2(c + c )2 . ∞ 3 4 14 THE ANH BUI, JI LI, AND FU KEN LY |x| For each such x we have d(x, R) > for any R ∈ E . Then by either H¨older’s inequality if s > 1 or the s-triangle inequality if s ≤ 1, we have −j −j(σ−2nν) X X σ 1/s 2 2 ea (x) . |a | . |a | . j R R |x| |x| R∈E R∈E j j Set Q := Q(0, 2|x| ). Then Lemma 2.6 (c) ensures Q ⊆ Q . Now using the 1/s-triangle x ∞ j x inequality if s ≥ 1, and H¨older’s inequality otherwise we have ˆ ˆ X 1/s X 1/s X s 1/s 1 (y) 1 (y) R R s s |a | = |a | dy ≤ |a | dy . R R R 1/s |R| |R| Q Q j j R∈E R∈E R∈E j j j n θ −jn Next using the estimates |Q | ∼ |x| , Ψ (Q ) ∼ |x| and |R| & 2 , valid for every R ∈ E , x θ x j ∞ ∞ we obtain ˆ ˆ X s X s −1/s jn n+θ |a ||R| 1 (y) dy . 2 |x| − |a |1 (y) dy. R R R R Ψ (Q ) θ x Q Q j x R∈E R∈E j j n+θ Combining the previous three estimates and observing that σ > we have 2n θ −j(2σ− − −2nν) θ s s ea (x) . 2 inf M |a |1 (y). j R R y∈Q R∈E n θ θ We arrive at (3.9) on recognizing that σ > + if s ≤ 1 and σ > n + if s ≥ 1, both of s 2s 2s which hold because of our assumption on σ. Case 2: |x| ≤ 2(c + c )2 . ∞ 3 4 b b Let E be the collection of cubes defined in (2.20). Then for each Q ∈ E , we set a := a j j Q R whenever Q ⊂ R. Then we have X X X |a | (3.10) ea (x) ≤ and |a |1 = |a |1 . j R R Q Q j σ (1 + 2 d(x, Q)) R∈E b b Q∈E Q∈E j j We shall discretize R into the following ‘square annuli’ and cube centred at x. For each m ≥ 1, we set −j A = A (x, j) = {Q ∈ E : |x − x | ≤ c 2 }, 0 0 j Q ∞ 4 m−j−1 m−j and A = A (x, j) = {Q ∈ E : c 2 < |x − x | ≤ c 2 }. m m j 4 Q ∞ 4 We shall also need the the following cubes centred at x. For each m ≥ 0, we set m−j+1 B = B (x, j) = Q(x, c 2 ). m m 4 These sets satisfy the following properties [ [ mn (3.11) #A . 2 , E = A , Q ⊂ B . m j m m m≥0 Q∈Am By (3.10) and H¨older’s inequality if s > 1 and the s-triangle inequality otherwise, X X X X 1/s |a | −m(σ−nν) s ea (x) ≤ . 2 |a | . j Q j σ (1 + 2 d(x, Q)) m≥0 Q∈A m≥0 Q∈A m m WEIGHTED EMBEDDINGS FOR HERMITE SPACES 15 Using the last property in (3.11), along with the 1/s-triangle inequality if s ≥ 1 and H¨older’s inequality otherwise, we have X X 1/s 1/s s s −1 |a | ≤ |a | |Q| 1 (y) dy . Q Q Q Q∈A Q∈A m m n(m−j) −jn (m−j)θ θ j Now using the estimates |B | ∼ 2 , |Q| ∼ 2 , Ψ (B ) . 2 |x| and |x| . 2 m θ m ∞ with the fact that B contains x we have ˆ ˆ X X s s −1 m(n+θ) |a | |Q| 1 (y) dy . 2 − |a |1 (y) dy. Q Q Q Q Ψ (B ) θ m B B m m Q∈A Q∈A m m Combining the previous three calculations gives X X n θ θ −m(σ−nν− − ) s s ea (x) . inf M |a |1 (y) × 2 . j R R y∈Q R∈E m≥0 Our assumption on σ ensures the convergence of the sum, giving (3.9) and completing the proof of Lemma 3.5. Lemma 3.6 ([30, Lemma 5]). Fix j ≥ 0 and let g ∈ V j. For each tile R ∈ E define 4 j (3.12) g = sup |g(x)| and g = inf |g(x)|. R R x∈R x∈R Then there exist k ≥ 1 and C > 0 depending only on n, δ and σ such that for every R ∈ E ⋆ j we have ∗ ∗ g ≤ Cg , ∀P ∈ E , with P ∩ R 6= ∅, j+k R P and ∗ ∗ n (3.13) g 1 (x) ≤ C g 1 (x), ∀x ∈ R . R P R P P∈E , j+k P∩R6=∅ Lemma 3.7. Fix 0 < p ≤ ∞ and w ∈ A . Then there exists C > 0 such that for any j ≥ 0 and g ∈ V j we have 1/p w(R) max|g(x)| ≤ Ckgk . x∈R R∈E Proof of Lemma 3.7. For any tile R ∈ E let g and g denote the collection of numbers j R R from (3.12). Let k be the integer from Lemma 3.6. Fix s ∈ (0, min{p/r , 1}) and let θ be the number from Lemma 2.5. From the fact that the tiles in E are all disjoint, then the inequality a ≤ a and (3.13) j R give X 1/p X X X p ∗ ∗ w(R) max|g(x)| ≤ g 1 . g 1 . R P R P x∈R p p L L w w R∈E R∈E R∈E P∈E , j j j j+k P∩R6=∅ S S Now note that R ⊂ P . Applying (3.8) with σ > θ/s + max{n, } we have R∈E P∈E j j+k s X X X X ∗ ∗ θ g 1 ≤ g 1 . M g 1 . P P P P P P s p p p L L L w w w R∈E P∈E , P∈E P∈E j+k j+k j+k P∩R6=∅ 16 THE ANH BUI, JI LI, AND FU KEN LY Finally we invoke Lemma 2.5 (b) with q = 1 to obtain X X 1/p w(R) max|g(x)| . g 1 ≤ kgk , P P x∈R p R∈E P∈E j+k which concludes the proof. 3.2. Proof of Theorem 3.1. In this section we prove the frame characterizations for our weighted Besov and Triebel–Lizorkin spaces. We start by observing that T ◦ S = I follows ψ ϕ readily from Proposition 3.2 (see Remark 3.3). Furthermore, the independence of ϕ in p,q the definitions of the spaces A (L) can be seen by following a similar argument to the α,w unweighted case (see [30, Theorems 3 & 5]). This requires proving part (a) assuming that p,q the spaces A have been defined using some other admissible pair (ϕe , ϕe) different from α,w the one used in the definition of S . Thus we only need to prove (a) and (b), and we shall address the Triebel–Lizorkin and Besov scales separately. p,q The Triebel–Lizorkin case. Part (a). Suppose that F has been defined using some ad- α,w missible pair (ϕe , ϕe). Let 0 < r < min{p/r , q} and θ be the number in Lemma 2.5 (b). Fix ◦ w −1/2 σ > θ/r + max{n, n/r}. By Lemma 3.4 and (3.7) with a = |R| |s | we have R R j+2 j+2 −1/2 X X X X |R| |s | θ −1/2 ϕe ( L)(T s)(x) . . M |R| |s |1 (x). j ψ R R k σ (1 + 2 |x − x |) k=j−2 R∈E k=j−2 R∈E k k Applying this estimate along with Lemma 2.5 (b) we have j+2 X X X q 1/q jα θ −1/2 p,q kT sk . 2 M |R| |s |1 ψ R R F r α,w j≥0 k=j−2 R∈E X X q 1/q θ jα −1/2 . M 2 |R| |s |1 R R j≥0 R∈E X X q 1/q jα −1/2 p,q . 2 |R| |s |1 = ksk . R R f α,w j≥0 R∈E p,q Part (b). Suppose now that F has been defined using the admissible pair (ϕ , ϕ) from α,w p,q the definition of S . Let f ∈ F . Note that for each j ≥ 0 we have ϕ ( L)f ∈ V j and ϕ j 4 α,w hence Lemma 3.6 can be applied to g = ϕ ( L)f. Define the sequences ϕ,R hf i := sup |ϕ ( L)f(x)|, R ∈ E , j j x∈R hf i := inf |ϕ ( L)f(x)|, P ∈ E . ϕ,P,k j j+k x∈P Then we firstly have 1/2 1/2 ϕ,R 1/2 ϕ,R ∗ (3.14) |hf, ϕ i| = τ ϕ ( L)f(x ) . |R| hf i ≤ |R| hf i , R j R R WEIGHTED EMBEDDINGS FOR HERMITE SPACES 17 ϕ,R ∗ ϕ,R where hf i is defined in (3.6). Secondly, we apply Lemma 3.6 to g = hf i and g = R P hf i to obtain ϕ,P,k ϕ,R ∗ ∗ n (3.15) hf i 1 (x) . hf i 1 (x), x ∈ R . R ϕ,P,k P P∈E , j+k P∩R6=∅ Then by (3.14), (3.15) and (3.8) with 0 < r < min{p/r , q} and θ from Lemma 2.5 (b) we have X X 1/q jαq ϕ,R ∗ p,q kS fk . 2 hf i 1 ϕ f R α,w p j≥0 R∈E X X q 1/q jαq ∗ . 2 hf i 1 ϕ,P,k P j≥0 P∈E j+k X X q 1/q θ jα . M 2 hf i1 . ϕ,P,k P j≥0 P∈E j+k Now we invoke Lemma 2.5 (b) and arrive at X X q 1/q jα p,q p,q kS fk . 2 hf i1 ≤ kfk , ϕ ϕ,P,k P f F α,w α,w j≥0 P∈E j+k which completes the proof of part (b). The Besov case. As in the Triebel–Lizorkin case, part (c) follows from Proposition 3.2 (see Remark 3.3). p,q Part (a). Assume that F has been defined using some admissible pair (ϕe , ϕe). Let α,w 0 < r < min{p/r , 1} and θ be the number from Lemma 2.5 (b). Then by Lemma 3.4 with −1/2 σ > θ/r + max{n, n/r}, (3.7) with a = |R| |s |, and Lemma 2.5 (b) with q = 1 we have R R j+2 X X θ −1/2 ϕ ( L)(T s) p . M |R| |s |1 j ψ R R L p k=j−2 R∈E j+2 X X −1/2 . |R| |s |1 R R k=j−2 R∈E j+2 X X 1/p 1/p −1/2 . w(R) |R| |s | . k=j−2 R∈E From the preceding estimate it follows readily that j+2 n o X X X 1/p q 1/q jαq 1/p −1/2 p,q p,q kT sk . 2 w(R) |R| |s | . ksk . ψ R B b α,w α,w j≥0 k=j−2 R∈E p,q Part (b). As in the Triebel–Lizorkin case assume that F has been defined using the α,w admissible pair (ϕ , ϕ) from the definition of S . Since ϕ ( L)f ∈ V j, we may apply Lemma ◦ ϕ j 3.7 to obtain n o X X √ q/p 1/q jαq p p,q p,q kS fk . 2 w(R) |ϕ ( L)f(x )| . kfk . ϕ b j R B α,w α,w j≥0 R∈E j 18 THE ANH BUI, JI LI, AND FU KEN LY This concludes the Besov case and also completes the proof of Theorem 3.1. 4. Embeddings for weighted Hermite spaces In this section we characterize continuous Sobolev-type embeddings for weighted Besov and Triebel–Lizorkin spaces associated the Hermite operator. The main result in this section is the following. Theorem 4.1 (Embedding for sequence spaces). Let γ > 0 and w be any weight. Then the following holds. γ γ (a) For any α ≤ α and 0 < p , p , q , q ≤ ∞ with 0 < q ≤ q ≤ ∞ and α − = α − , 1 2 1 2 1 2 2 1 1 2 p p 1 2 we have p ,q p ,q 2 2 1 1 b ֒→ b α ,w α ,w 2 1 if and only if w satisfies the lower bound property (1.6) of order γ. (b) If in addition w ∈ A , then for any α ≤ α , 0 < p , p < ∞ and 0 < q , q ≤ ∞ with ∞ 1 2 1 2 1 2 γ γ α − = α − , we have 1 2 p p 1 2 p ,q p ,q 2 2 1 1 f ֒→ f α ,w α ,w 2 1 if and only if w satisfies the lower bound property (1.6) of order γ. Theorem 4.1 will be used to prove Theorem 1.1 in Section 4.2. The proof of Theorem 4.1 will be given in Section 4.1. Before turning to its proof we state a crucial fact concerning the the lower bound property (1.6). Recall that the function ̺(·) was defined in (2.12). Proposition 4.2 (Lower bound for tiles and balls). Suppose that γ > 0 and let w be any weight. The following are equivalent. (a) There exists C > 0 such that for every j ≥ 0 and R ∈ E we have −jγ w(R) ≥ C 2 . (b) There exists C > 0 such that for every ball B with 0 < r ≤ ̺(x ) we have B B w(B) ≥ C r . Proof of Proposition 4.2. Proof of (a) ⇒ (b). Fix a ball B with 0 < r ≤ ̺(x ). We observe that there exists j ≥ 0 with B B j j+1 (4.1) 2 ≤ |x | < 2 B ∞ −j and thus it follows that r ≤ 2 . Furthermore, there exists k ≥ 0 with −(j+k+1) −(j+k) (4.2) 2 < r ≤ 2 . Next choose an integer ℓ such that n o (4.3) 2 ≥ max 4c n, 4δ Now consider tiles from E . Firstly there is a tile R from the collection E that j+k+ℓ j+k+ℓ j+k+ℓ contains the centre of B. Indeed from (4.1) and our assumption on ℓ we have |x | ≤ 2 B ∞ and hence, by property (2.19), it follows that j+k+ℓ x ∈ Q 0, 2 ⊂ Q . B j+k+ℓ WEIGHTED EMBEDDINGS FOR HERMITE SPACES 19 −(j+k+ℓ) Secondly such a tile R is contained in a cube of diameter approximately 2 . To see this we note that by (2.18) and (4.3), −(j+k+ℓ)/3 |x − x | ≤ c 2 ≤ 4δ . B R 2 ⋆ j+k+ℓ+1 It follows that |x | ≤ (1 + 4δ )2 and so by (2.17) R ∞ ⋆ −(j+k+ℓ) (4.4) R ⊂ Q x , c 2 . R 0 Thirdly R is contained in B. Indeed since x ∈ R and by (4.4), (4.3) and (4.2) we have −(j+k+ℓ) −(j+k+1) diam(R) = 2c n 2 ≤ 2 < r . 0 B Hence R ⊂ B. Combining the above three facts on B and R we conclude, by (4.2), −(j+k+ℓ)γ w(B) ≥ w(R) ≥ C 2 ≥ C r −ℓγ with C = C 2 . We turn to the proof of (b) ⇒ (a). Fix j ≥ 0 and let R be a tile from E . Then consider the ball B(x , r), where n o −j r := min c , 2 . 1 + c Then firstly we have B ⊂ R by (2.18). Secondly we know that |x | ≤ c 2 by (2.19). Thus R 3 r ≤ ̺(x ) and so B(x , r) meets the hypothesis of Proposition 4.2 (b). Thus we have R R γ −jγ w(R) ≥ w(B) ≥ C r = C 2 , −1 γ where C = C min{c , (1 + c ) } . 1 3 We are now ready to give the proofs of our embedding theorems. 4.1. Proof of Theorem 4.1. Part (a). We first prove necessity of the lower bound prop- erty. Suppose that for some C > 0 we have p ,q p ,q (4.5) ksk 1 1 ≤ Cksk 2 2 b b α ,w α ,w 1 2 for all sequences . Fix j ≥ 0 and a tile R ∈ E and consider the sequence with s = 1 and j R s = 0 for any tiles R 6= R. Then for any p, q and α we have n o 1/q q/p jαq −p/2 jα 1/p −1/2 p,q ksk = 2 w(R)|R| = 2 w(R) |R| . α,w Then (4.5) implies that jα 1/p −1/2 jα 1/p −1/2 1 1 2 2 2 w(R) |R| . 2 w(R) |R| , which in turn gives 1/p −1/p −jγ(1/p −1/p ) 2 1 2 1 w(R) & 2 . −jγ Now noting that p ≤ p we obtain w(R) & 2 , and since this holds for any tile R, then 2 1 Proposition 4.2 yields the lower bound property for w with order γ. We now prove sufficiency for part (a). Since q ≥ q and p ≥ p we may apply the 1 2 1 2 q /q -triangle inequality followed by the p /p -triangle inequality to obtain 2 1 2 1 1/q X X q /p 2 1 jα q 1/p −1/2 1 2 1 p ,q ksk 1 1 ≤ 2 w(R) |R| |s | α ,w j≥0 R∈E j 20 THE ANH BUI, JI LI, AND FU KEN LY 1/q X X q /p 2 2 jα q 1/p −1/p 1/p −1/2 1 2 1 2 2 ≤ 2 w(R) w(R) |R| |s | . j≥0 R∈E Now the lower bound property of w and Proposition 4.2 allow us to control the last expression by a constant multiple of 1/q X X q /p 2 2 jα q −jγ(1/p −1/p ) 1/p −1/2 1 2 1 2 2 2 2 w(R) |R| |s | , j≥0 R∈E p ,q which equals ksk 2 2 . α ,w Part (b). Necessity can be done in the same way as part (a), after observing that for the same sequence s defined in (a) we have 1/p jαp −p/2 jα 1/p −1/2 p,q ksk = 2 |R| w(x) dx = 2 w(R) |R| α,w for any p, q, α and w. We turn to sufficiency of the lower bound property for part (b). We shall prove that there exists C > 0 with p ,q p ,q (4.6) ksk ≤ Cksk 1 1 2 2 f f α ,w α ,w 1 2 p ,q 2 2 for all sequences s ∈ f . Without loss of generality we may assume that s = {s } is a R R α ,w p ,q sequence with ksk = 1. To simplify notation we denote 2 2 α ,w jαq −1/2 F (α, q, x) := 2 |R| |s |1 (x) . j R R R∈E We claim that (4.6) will follow from the following two estimates: there exists β > 0 such that for each x ∈ R and any N ≥ 0, n o 1/q Nγ/p (4.7) F (α , q , x) ≤ β 2 ; j 1 1 j=0 and for any N ≥ −1, ∞ ∞ n o n o X X 1/q 1/q 1 1 1 2 −Nγ( − ) p p 2 1 (4.8) F (α , q , x) ≤ 2 F (α , q , x) . j 1 1 j 2 2 j=N+1 j=N+1 Let us show how (4.7) and (4.8) lead to (4.6). We first discretize the left hand side of (4.6) using the well known representation of the L norm as follows. X 1/q 1 p −1 n ksk p ,q = p t w x ∈ R : F (α , q , x) > t dt =: I + II, 1 1 1 j 1 1 α ,w j≥0 where 1/q p −1 n I = p t w x ∈ R : F (α , q , x) > t dt, 1 j 1 1 j≥0 ˆ (N+1)γ/p β2 X X 1/q p −1 n II = p t w x ∈ R : F (α , q , x) > t dt, 1 j 1 1 Nγ/p β2 N=0 j≥0 WEIGHTED EMBEDDINGS FOR HERMITE SPACES 21 1/q e 1 e and β = 2β2 with β being the constant from (4.7). γ(1/p −1/p ) 2 1 We estimate I by applying (4.8) with N = −1 along with the substitution t = 2 u. Thus, 1/q 1 1 2 γ( − ) p −1 n 1 p p 2 1 I ≤ p t w x ∈ R : 2 F (α , q , x) > t dt 1 j 2 2 j≥0 1/q 2 1 1 −γ( − ) p −1 n p p 2 1 = p t w x ∈ R : F (α , q , x) > 2 t dt 1 j 2 2 j≥0 1 1 −γ( − ) ˆ p p 2 1 β2 p 1/q γ( −1) p −1 n = p 2 u w x ∈ R : F (α , q , x) > u du. 1 j 2 2 j≥0 p −p 1 2 p p −γ(1/p −1/p ) 1 2 2 1 Now from inequality u ≤ u β2 , we have 1 1 −γ( − ) ˆ p p 2 1 β2 X 1/q p −1 n 2 I . p u w x ∈ R : F (α , q , x) > u du . ksk p ,q = 1. 2 j 2 2 2 2 α ,w j≥0 For term II we first employ (4.7) and (4.8) respectively to obtain ˆ (N+1)γ/p β2 X X 1/q p −1 n −1/q 1 1 II ≤ p t w x ∈ R : F (α , q , x) > 2 t dt 1 j 1 1 Nγ/p β2 N=0 j≥0 ∞ (N+1)γ/p ∞ β2 X X 1/q −1/q p −1 n 1 ≤ p t w x ∈ R : F (α , q , x) > t dt 1 j 1 1 Nγ/p β2 N=0 j=N+1 ˆ (N+1)γ/p ∞ ∞ β2 X X 1/q 2 1 1 −1/q Nγ( − ) 1 p −1 n 2 p p 2 1 ≤ p t w x ∈ R : F (α , q , x) > 2 t dt. 1 j 2 2 Nγ/p β2 N=0 j=N+1 1 1 −1/q Nγ( − ) 1 Nγ/p ′ p /p ′ 1−p /p −γ/p 1 p p 1 2 1 2 2 2 1 Now note that t ∼ β2 implies 2 t ∼ β t with β = β 2 . ′ p /p 1 2 This estimate, along with the substitution u = β t , gives ˆ (N+1)γ/p ∞ ∞ β2 X X 1/q p −1 n ′ p /p 1 1 2 II ≤ p t w x ∈ R : F (α , q , x) > β t dt 1 j 2 2 Nγ/p β2 N=0 j=N+1 X 1/q p −1 n . p u w x ∈ R : F (α , q , x) > u du, 2 j 2 2 j≥0 which equals ksk p ,q . 2 2 α ,w It remains to prove estimates (4.7) and (4.8). We begin with (4.7). The idea is to apply almost orthogonality to estimate |s |. Let {ϕ } and {ψ } be admissible systems so R j j≥0 j j≥0 that (3.3) holds. Then we have 1/2 s = hT s, ϕ i = τ ϕ ( L)(T s)(x ), R ψ R j ψ R and so by Lemma 3.4 we have for any σ ≥ 1, j+2 −1/2 X X |P| |s | 1/2 1/2 (4.9) |s | ≤ |τ | ϕ ( L)(T s)(x ) . |R| . R ψ R k σ (1 + 2 |x − x |) R P k=j−2 P∈E k 22 THE ANH BUI, JI LI, AND FU KEN LY Now fix an r ∈ (0, min{p /r , q }) and let θ be the number in Lemma 2.5. Then applying 2 w 2 −1/2 (3.7) to (4.9) with σ > θ/r + max{n, n/r} and a = |P| |s |, we have P P j+2 j+2 −1/2 X X X X |P| |s | −1/2 θ −1/2 ′ (4.10) |R| |s | . . M |P| |s |1 (x ) R P P k σ (1 + 2 |x − x |) R P k=j−2 P∈E k=j−2 P∈E k k ′ −k for any x ∈ Q(x, 2c 2 ) and x ∈ R. −k Write Q := Q(x, 2c 2 ). Then for each k ∈ {j − 2, j − 1, j, j + 1, j + 2} we have, by Lemma 2.5 (b), n h i 2 o 1 q p θ ′ θ ′ q 2 2 inf M F (α , 1, ·) (x ) ≤ inf M F (α , 1, ·) (x ) k 2 k 2 r r ′ e ′ e x ∈Q x ∈Q k≥0 n 2 o q p θ q 2 2 ≤ M F (α , 1, ·) (y) w(y) dy k 2 w(Q) Q k≥0 r 1 q r −1/p θ ≤ w(Q) M F (α , 1, ·) k 2 k≥0 r 1 X q q r −1/p . w(Q) F (α , 1, ·) . k 2 k≥0 Thus noting that r 1 1 X X q r q 2 2 p ,q F (α , 1, ·) = F (α , q , ·) = ksk 2 2 = 1, k 2 k 2 2 p α ,w r 2 L L w w k≥0 k≥0 we arrive at the estimate (4.11) θ −1/2 ′ −kα θ ′ −kα −1/p 2 2 2 inf M |P| |S |1 (x ) = 2 inf M F (α , 1, ·) (x ) . 2 w(Q) . P P k 2 r r ′ e ′ e x ∈Q x ∈Q P∈E Therefore by combining (4.10) and (4.11), and observing that because 1 = 1 ≤ 1 R Q R∈E j −kα −jα n 2 2 and 2 ∼ 2 , we have for each x ∈ R , n o 1/q F (α , q , x) j 1 1 j=0 n o X X 1/q jα q −1/2 1 1 = 2 |R| |s |1 (x) R R j=0 R∈E j+2 n q o X X X X 1/q jα q θ −1/2 ′ 1 1 . 2 1 (x) inf M |P| |s |1 (x ) R P P x ∈Q j=0 R∈E k=j−2 P∈E j k j+2 N q n o X X X 1/q jα q −kα −1/p 1 1 2 2 . 2 1 (x) 2 w(Q) j=0 R∈E k=j−2 j+2 n q o X X 1/q jq (α −α ) −1/p 1 1 2 2 (4.12) . 2 w(Q) . j=0 k=j−2 WEIGHTED EMBEDDINGS FOR HERMITE SPACES 23 −1/p e 2 To complete the estimate we apply the lower bound condition to handle w(Q) . First note that if x ∈/ Q(0, c 2 ) then 1 (x) = 0 for every R ∈ E and so estimate (4.7) holds 3 R j trivially. Thus we may assume x ∈ Q(0, c 2 ). Let us take the ball B with x = x and 3 B n o −j r = min , c 2 . B 4 1 + c −k j Then we have B ⊂ Q because |k − j| ≤ 2 implies r ≤ 2c 2 . We also have |x| ≤ c 2 B 4 ∞ 3 because x ∈ Q(0, c 2 ), and so r ≤ ̺(x ). Thus we may apply the lower bound condition 3 B B to B and obtain −jγ w(Q) ≥ w(B) & r ∼ 2 . Inserting this into the final line of (4.12), we have for each x ∈ Q(0, c 2 ), N N N n o n o n o X 1/q X 1/q X 1/q 1 1 1 jq (α −α ) jγq /p jγq /p Nγ/p 1 1 2 1 2 1 1 1 F (α , q , x) . 2 2 = 2 ≤ β 2 . j 1 1 j=0 j=0 j=0 This proves (4.7), after taking into account that that the estimate holds trivially if x ∈/ Q(0, c 2 ). We turn to the proof of (4.8). Now since all the tiles in E are disjoint we have ∞ ∞ n o n o X X 1/q 1/q 1 1 jq (α −α ) q 1 1 2 1 (4.13) F (α , q , x) = 2 F (α , 1, x) . j 1 1 j 2 j=N+1 j=N+1 If q ≥ q we apply the q /q -triangle inequality, but if q ≤ q then we apply H¨older’s 1 2 2 1 1 2 jq (α −α )/2 jq (α −α )/2 2 1 2 2 1 2 inequality with exponent q /q to the the terms 2 F (α , 1, x) and 2 . In 2 1 j 2 either case (4.13) implies ∞ ∞ n o n o X 1/q X 1/q 1 2 jq (α −α ) q 2 1 2 2 F (α , q , x) ≤ 2 F (α , 1, x) j 1 1 j 2 j=N+1 j=N+1 n o 1/q N(α −α ) 1 2 . 2 F (α , q , x) , j 2 2 j=N+1 which yields (4.8). This completes the proof of (4.7) and (4.8) and hence of Theorem 4.1. 4.2. Proof of Theorem 1.1. We can now bring together the material developed throughout the paper to prove our main result stated in the Introduction. The theorem follows by combining our frame decompositions with our embedding result for the sequence spaces. Suppose firstly that the lower bound property (1.6) holds. Then Theorem 4.1 in conjunc- tion with Theorem 3.1 gives p ,q p ,q p ,q p ,q kfk 1 1 ∼ k{hf, ϕ i} k 1 1 . k{hf, ϕ i} k 2 2 ∼ kfk 2 2 , R R R R A (L) a (L) a (L) A (L) α ,w α ,w α ,w α ,w 1 1 2 2 p ,q p ,q 2 2 1 1 which shows that A ֒→ A . α ,w α ,w 2 1 On the other hand, if (1.1) or (1.2) holds then invoking Theorem 3.1 again we obtain p ,q p ,q p ,q p ,q ksk ∼ kT sk . kT sk ∼ ksk . 1 1 1 1 2 2 2 2 ψ ψ a (L) A (L) A (L) a (L) α ,w α ,w α ,w α ,w 1 1 2 2 Thus by Theorem 4.1 we see that (1.6) holds, concluding the proof of Theorem 1.1. 24 THE ANH BUI, JI LI, AND FU KEN LY Acknowledgment. The first named author was partly supported by Ho Chi Minh City University of Education under the B2020 project entitled “Singular integrals with non- smooth kernels on function spaces associated with differential operators”. The second named author was supported by ARC grant DP170101060. References [1] B. Bongioanni, A. Cabral and E. Harboure, Schro¨dinger type singular integrals: weighted estimates for p = 1, Math. Nachr. 289 (2016), no. 11-12, 1341–1369. [2] B. Bongioanni, E. Harboure and O. Salinas, Classes of weights related to Schro¨dinger operators, J. Math. Anal. Appl. 373 (2011), no. 2, 563–579. [3] H.-Q. Bui, Weighted Besov and Triebel Lizorkin spaces: Interpolation by the real method, Hiroshima Math. J. 12 (1982), 581–605. [4] H.-Q. Bui, T.A. Bui and X.T. Duong, Weighted Besov and Triebel–Lizorkin spaces associated to operators and applications, Forum of Mathematics, Sigma 8 (2020), e11. [5] T.A. Bui and X.D. Duong, Besov and Triebel-Lizorkin spaces associated to Hermite operators, J. Fourier Anal. Appl. 21 (2015), no. 2, 405–448. [6] H.-Q. Bui, X.T. Duong and L. Yan, Caldero´n reproducing formulas and new Besov spaces associated with operators, Adv. Math. 229 (2012), no. 4, 2449–2502. [7] P.L. De Na´poli, I. Drelichman and N. Saintier, Weighted embedding theorems for radial Besov and Triebel–Lizorkin spaces, Studia Math. 233 (2016), no. 1, 47–65. [8] D. Deng and Y.-S. Han, Harmonic analysis on spaces of homogeneous type, With a preface by Yves Meyer. Lecture Notes in Mathematics, 1966. Springer-Verlag, Berlin, 2009. [9] J. Dziubanski, Triebel–Lizorkin spaces associated with Laguerre and Hermite expansions, Proceedings AMS, 125 (1997), no. 12, 3547–3554. [10] J. Epperson, Triebel-Lizorkin spaces for Hermite expansions, Studia Math. 114 (1995), no. 1, 87–103. [11] J. Franke, On the spaces F of Triebel–Lizorkin type: Pointwise multipliers and spaces on domains, p,q Math. Nachr. 125 (1986), 29–68. [12] B. Jawerth, Some observations on Besov and Lizorkin–Triebel spaces, Math. Scand. 40 (1977), 94–104. [13] A.G. Georgiadis, G. Kerkyacharian, G. Kyriazis and P. Petrushev, Homogeneous Besov and Triebel– Lizorkin spaces associated to non-negative self-adjoint operators, J. Math. Anal. Appl. 449 (2017), no. 2, 1382–1412. [14] Y. Han, Embedding theorem for inhomogeneous Besov and Triebel–Lizorkin spaces on RD-spaces, Canad. Math. Bull. 58 (2015), no. 4, 757–773. [15] Y. Han, Embedding theorem on RD-spaces, J. Inequal. Appl. 2015, 2015:99, 17 pp. [16] Y.-S. Han, The embedding theorem for the Besov and Triebel–Lizorkin spaces on spaces of homogeneous type, Proc. Amer. Math. Soc. 123 (1995), no. 7, 2181–2189. [17] Y.-S. Han and C.-C. Lin, Embedding theorem on spaces of homogeneous type, J. Fourier Anal. Appl. 8 (2002), no. 3, 291–307. [18] Ya. Han, Yo. Han, Z. He, J. Li and C. Pereyra, Geometric characterizations of embedding theorems –for Sobolev, Besov, and Triebel-Lizorkin spaces on spaces of homogeneous type– via orthonormal wavelets, to appear in Journal of Geometric Analysis (2020). [19] Y.S. Han and E.T. Sawyer, Littlewood–Paley theory on spaces of homogeneous type and the classical function spaces, Mem. Amer. Math. Soc. 110 (1994), no. 530. [20] D. Haroske and L. Skrzypczak. Entropy and approximation numbers of embeddings of function spaces with Muckenhoupt weights. I, Rev. Mat. Complut., 21 (2008), 135–177. [21] G. Kerkyacharian and P. Petrushev, Heat kernel based decomposition of spaces of distributions in the framework of Dirichlet spaces, Trans. Amer. Math. Soc. 367 (2015), no. 1, 121–189. [22] G. Kerkyacharian, P. Petrushev, D. Picard and Y. Xu, Decomposition of Triebel–Lizorkin and Besov spaces in the context of Laguerre expansions, J. Funct. Anal. 256 (2009), 1137–1188. [23] G. Kyriazis, P. Petrushev and Yuan Xu, Jacobi decomposition of weighted Triebel–Lizorkin and Besov spaces, Studia Math. 186 (2008), 161–202. [24] J. Li, R. Rahm and B.D. Wick, A weights and quantitative estimates in the Schro¨dinger setting, Math. Z. 293 (2019), no. 1-2, 259–283. WEIGHTED EMBEDDINGS FOR HERMITE SPACES 25 [25] F.K. Ly, Classes of weights and second order Riesz transforms associated to Schro¨dinger operators, J. Math. Soc. Japan 68 (2016), no. 2, 489–533. [26] F.K. Ly and V. Naibo, Pseudo-multipliers and smooth molecules on Hermite Besov and Hermite Triebel–Lizorkin spaces. Available at: https://arxiv.org/abs/2002.00112. [27] M. Meyries and M. Veraar, Sharp embedding results for spaces of smooth functions with power weights, Studia Math. 208 (2012), 257–293. [28] M. Meyries and M. Veraar, Characterization of a class of embeddings for function spaces with Muck- enhoupt weights, Arch. Math. (Basel) 103 (2014), 435–449. [29] M. Meyries and M. Veraar, Traces and embeddings of anisotropic function spaces, Math. Ann. 360 (2014), no. 3-4, 571–606. [30] P. Petrushev and Y. Xu, Decomposition of spaces of distributions induced by Hermite expansions, J. Fourier. Anal. Appl. 14 (2008), 372–414. [31] Z. Shen, L estimates for Schro¨dinger operators with certain potentials, Ann. Inst. Fourier (Grenoble) 45 (1995), 513–546. ρ,∞ [32] L. Tang, Extrapolation from A , vector-valued inequalities and applications in the Schro¨dinger set- ting, Ark. Mat. 52 (2014), 175–202. [33] S. Thangavelu, Lectures on Hermite and Laguerre expansions, With a preface by Robert S. Strichartz. Mathematical Notes, 42. Princeton University Press, Princeton, NJ, 1993. [34] H. Triebel. Theory of function spaces, volume 78 of Monographs in Mathe- matics. Birkh¨auser Verlag, Basel, 1983. Department of Mathematics, Macquarie University, NSW 2109, Australia Email address: the.bui@mq.edu.au Department of Mathematics, Macquarie University, NSW 2109, Australia Email address: ji.li@mq.edu.au School of Mathematics and Statistics, Faculty of Science & The Mathematics Learning Centre, Education Portfolio, The University of Sydney, NSW 2006, Australia Email address: ken.ly@sydney.edu.au
Mathematics – arXiv (Cornell University)
Published: Mar 25, 2020
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.