Y I Huang
email: yi.huang@math.u-psud.fr

WEIGHTED TENT SPACES WITH WHITNEY AVERAGES: FACTORIZATION, INTERPOLATION AND DUALITY

Keywords: Weighted tent spaces with Whitney averages: factorization, interpolation and duality Mathematics Subject Classification. 42B35, 46E30 Tent spaces, Whitney averages, strong factorization, Calderón's product, quasi-Banach complex interpolation, multipliers and duality theory

Section 1. We define in Definition 1.1 our scale of tent spaces T p,r q,β systematically. At the end of this section, we will also discuss some basic function space properties, such as convexity and separability, of these new tent spaces. Section 2. We show that the definition of our tent spaces is independent of the aperture used for cones and tents, and of the pair of Whitney parameters used for Whitney boxes. As a reward, we can see for 0 < r = q < ∞, the coincidence (Theorem 2.2) of our tent spaces with the (weighted) tent spaces of Coifman-Meyer-Stein and of Hofmann-Mayboroda-McIntosh. Section 3 and Section 6. The core endpoint factorization theorem (Theorem 3.2) is presented in Section 3, with its full proof postponed to Section 6. Together with a multiplication lemma, we show the general multiplication and factorization theorem (Theorem 3.4) as a consequence of Theorem 3.2. Section 4 and Section 5. Under the general multiplication and factorization theorem, the quasi-Banach complex interpolation (Theorem 4.3) and the multiplier-duality results (Theorem 5.2 and Theorem 5.4) will be established in Section 4 and Section 5 respectively. There, we will also make a detailed connection with the corresponding known results on interpolation, multiplication, factorization and duality of tent spaces, which are mainly obtained by Coifman-Meyer-Stein, Cohn-Verbitsky and Hytönen-Rosén.

1. Definitions of the tent spaces T p,r q,β Let r ∈ (0, ∞]. By L r loc (R n+1 + ; C), we mean the class of complex-valued measurable functions which are defined on R n+1 + and locally in L r . Note that this interpretation also makes sense when r = ∞. For r ∈ (0, ∞) and f ∈ L r loc (R n+1 + ; C), denote the (unweighted) L r -Whitney average of f on W (y, t) by W r (f )(y, t) := |W (y, t)| -1/r f L r (W (y,t), dzds) , while for r = ∞, we take the usual essential supremum interpretation W ∞ (f )(y, t) := ess sup (z,s)∈W (y,t) |f (z, s)|.

Here and below, apart from the Euclidean distance, | • | also denotes the moduli of complex values or the set volumes in R n and R n+1 + . Definition 1.1. I) For 0 < p, q ≤ ∞, we first define in L q loc (R n+1 + ; C) the scale of tent spaces T p q according to the following four non-overlapping categories.

A) 0 < p, q < ∞. In this case, we let T p q := {g | A q (g) ∈ L p (R n )} and g T p q := A q (g) L p , where the conical q-functional A q is defined as

A q (g)(x) := Γ(x)
|g(y, t)| q dydt t n+1

1/q , x ∈ R n . B) 0 < q < p = ∞. In this case, we let

T ∞ q := {g | C q (g) ∈ L ∞ (R n )} and g T ∞ q := C q (g) L ∞ ,
where the Carleson q-functional C q is defined as C q (g)(x) := sup

B x
|B| -1/q B |g(y, t)| q dydt t 1/q , x ∈ R n . C) 0 < p < q = ∞. In this case, we let

T p ∞ := {g | N (g) ∈ L p (R n )} and g T p ∞ := N (g) L p
, where the non-tangential maximal functional N is defined as

N (g)(x) := sup (y,t)∈Γ(x)
|g(y, t)|, x ∈ R n . D) p = q = ∞. In this case, we simply let

T ∞ ∞ := L ∞ (R n+1 + ).
Let β ∈ R. We also define the scale of weighted tent spaces T p q,β by T p q,β := {g | g(y, t)t -β ∈ T p q } and g T p q,β := g(y, t)t -β

T p q .
II) Given 0 < r ≤ ∞ and β ∈ R, and assume that the pair of Whitney parameters (α 1 , α 2 ) is consistent. Then corresponding to each category above, we define in L r loc (R n+1 + ; C) the scale of tent spaces with Whitney averages T p,r q by T p,r q := {f | W r (f ) ∈ T p q } and f T p,r q := W r (f ) T p q , and the scale of weighted tent spaces with Whitney averages T p,r q,β by

T p,r q,β := {f | f (z, s)s -β ∈ T p,r q } and f T p,r q,β := f (z, s)s -β T p,r
q . In the above definitions, the L r -Whitney average and the weight β are required for the applications to boundary value problems of second order elliptic PDEs in [5]. In practice β is a regularity index, and the weight constraint β ∈ [-2/q, 0], with the convention

β = 0 if q = ∞, is taken in [5].
Remark 1.2. One easily verifies that in Category C) of Type I) spaces the functions are indeed everywhere defined. In other categories, we identify two measurable functions the same if they only differ on a set with measure 0. Moreover, in Category C) of Type II), since functions are L r loc , the averages W r (f ) are everywhere finite. Remark 1.3. By definition T p q,0 = T p q and T p,r q,0 = T p,r q . Moreover, for β ∈ R, T p q,β is isometric to T p q and T p,r q,β is isometric to T p,r q , via the mapping

ι : f → f , f (z, s) = f (z, s)s -β .
Observe also that since (z, s) ∈ W (y, t) implies s t, we have that

f ∈ T p,r q,β ⇐⇒ W r (f ) ∈ T p q,β .
Remark 1.4. The classical tent spaces of Coifman-Meyer-Stein in [START_REF] Coifman | Some new function spaces and their applications to harmonic analysis[END_REF], where the weight β = 0 and Category C) is smaller 1 , and the weighted tent spaces of Hofmann-Mayboroda-McIntosh in [15], where only Category A) is considered, are all included in our scale T p q,β . The scale T p,r q,β with Whitney averages covers the function spaces which were introduced in [START_REF] Dahlberg | On the absolute continuity of elliptic measures[END_REF] and [START_REF] Kenig | The Neumann problem for elliptic equations with non-smooth coefficients[END_REF], and further investigated in [5], [START_REF] Hytönen | On the Carleson duality[END_REF] and [START_REF] Mourgoglou | Endpoint solvability results for divergence form, complex elliptic equations[END_REF]. In this regard, see also the concluding paragraphs of Section 5 for a detailed correspondence. Note that compared to [START_REF] Coifman | Some new function spaces and their applications to harmonic analysis[END_REF] we also bring in Category D). If 0 < r < ∞, we call functions in T ∞,r ∞ the r-Whitney multipliers. In the trivial case

p = q = r = ∞, it is not difficult to observe that T ∞,∞ ∞ = T ∞ ∞ = L ∞ (R n+1 +
). We end this section with several basic properties of our tent spaces.

Convexity and completeness. Given the tent space T p,r q,β , we let τ = min(p, q, r). Observe that when τ ≥ 1, the space T p,r q,β is Banach. In fact, the triangle inequality simply follows from Minkowski's integral inequality, and the completeness can be deduced from the one of T p q , as we have the implication

f ∈ T p,r q,β =⇒ W r (f (z, s)s -β ) ∈ T p q .
Power-space and convexification. For a quasi-Banach function space, the trick of taking the powers is particularly useful. As for our tent spaces, let

T p,r q,β θ := {f measurable | |f | 1/θ ∈ T p,r q,β }, θ ∈ (0, 1), equipped with f [T p,r q,β ] θ := |f | 1/θ θ T p,r q,β
.

This way, we have the realization T p,r q,β θ = T p/θ,r/θ q/θ,βθ , θ ∈ (0, 1). Now for the quasi-Banach T p,r q,β , with τ < 1, T p,r q,β τ is then a convexification of T p,r q,β .

Separability and density. Consider the covering of R n+1 + by rational rectangles, which are of the product form n+1 i=1 (a i , b i ), where for 1 ≤ i ≤ n + 1, a i and b i are in Q and b n+1 > 0. Let E be the linear span on Q of the characteristic functions of rational rectangles in R n+1 + . Given the tent space T p,r q,β , we let σ = max(p, q, r). If 0 < σ < ∞, one can show that the countable set E is dense in T p,r q,β , thereby in this case T p,r q,β is separable. We also point out that if 0 < σ < ∞, the L r functions which have compact support in R n+1 + are dense in T p,r q,β .

Coincidence and change of geometry

A demanding reader may ask two natural questions: i) how do the inner (local) Whitney averages W r behave under the outer (boundary-reaching) A q or C q averages? ii) is our Definition 1.1 independent of the involved geometrical parameters?

1 More precisely, [START_REF] Coifman | Some new function spaces and their applications to harmonic analysis[END_REF] requires the additional boundary assumption g ∈ C n.t. (R n+1 + ; C), meaning that g is a complex-valued continuous function on R n+1 + and also has non-tangential convergence: lim Γ(x) (y,t)→x g(y, t) exists for almost every x ∈ R n .

Aiming at the question i), we will first investigate the relation between the classical scale T p q and our scale T p,r q with Whitney averages. At the end of this section, we will also give an observation on the question ii).

Let us start with the following result.

Observation 2.1 (Change of apertures). Define for 0 < q < ∞ and α > 0 the following three α-apertured functionals as

A α q (g)(x) := Γα(x) |g(y, t)| q dydt t n+1 1/q , x ∈ R n , N α (g)(x) := sup (y,t)∈Γα(x) |g(y, t)|, x ∈ R n , C α q (g)(x) := sup B x |B| -1/q B α |g(y, t)| q dydt t 1/q , x ∈ R n .
Similar to Definition 1.1, these functionals can also result in a scale of tent spaces α T p q , where we let α T ∞ ∞ = L ∞ for the trivial case p = q = ∞. It is well known that we have the change of aperture equivalence α T p q = T p q , with (1) C(n, α, p, q) g T p q ≤ g α T p q ≤ C (n, α, p, q) g T p q , 0 < p, q ≤ ∞. For the proof, see [START_REF] Fefferman | H p spaces of several variables[END_REF] for the simple situation 0 < p < q = ∞. For the case q = 2 and 0 < p < ∞ (hence for 0 < p, q < ∞ by taking the powers of g properly), see [START_REF] Coifman | Some new function spaces and their applications to harmonic analysis[END_REF] for a rough, and [START_REF] Torchinsky | Real-Variable Methods in Harmonic Analysis[END_REF] for a refined argument on estimating C when α > 1. By using the atomic decomposition and the interpolation method, the sharp determination on both C and C when α > 0, for the case q = 2 and 0 < p ≤ ∞, is obtained recently in [START_REF] Auscher | Changement d'angle dans les espaces de tentes[END_REF]. Note that the methods of [START_REF] Auscher | Changement d'angle dans les espaces de tentes[END_REF] extend to the case q = ∞ under minor modifications. We also remark that, the vector-valued approach in [14] and [START_REF] Hytönen | Conical square function estimates in UMD Banach spaces and applications to H ∞ -functional calculi[END_REF] can deal with the change of apertures in a very simple manner in the Banach case, and then a convexification process takes care of the quasi-Banach case.

Theorem 2.2. We have the coincidence with equivalence of quasi-norms T p,q q,β = T p q,β , 0 < p ≤ ∞, 0 < q < ∞, β ∈ R. In particular, T p,q q = T p q , 0 < p ≤ ∞, 0 < q < ∞, showing that the classical tent spaces are included in the tent spaces with Whitney averages.

Proof. By Remark 1.3, it is enough to prove T p,q q = T p q , 0 < p ≤ ∞, 0 < q < ∞. We start with the following Whitney box geometry:

∀ (z, s) ∈ R n+1 + W ) W * (z, s) ⊂ {(y, t)|W (y, t) (z, s)} ⊂ W * * (z, s),
where W * and W * * are the Whitney boxes associated to the Whitney parameters (α 1 α -1 2 , α 2 ) and (α 1 α 2 , α 2 ) respectively 2 , and (α 1 , α 2 ) is the pair of Whitney parameters which defines W and was used in Definition 1.1. We only need to verify the choices of α 1 α -1 2 and α 1 α 2 , as the determination on α 2 is straightforward. To see the first inclusion in W ), given any (y, t) ∈ W * (z, s), we have |z -y| < α 1 α -1 2 s < α 1 t, which implies W (y, t) (z, s). To see the second inclusion, given any (y, t) with W (y, t) (z, s), we have |y -z| < α 1 t < α 1 α 2 s, which implies (y, t) ∈ W * * (z, s). This proves the Whitney box geometry W ).

For the cone geometry, let α 0 = α -1 2 (1 -α 1 ). We have that:

∀ x ∈ R n C 1 ) (z, s) ∈ Γ α 0 (x) and (y, t) ∈ W * (z, s) =⇒ (y, t) ∈ Γ(x).
Indeed, we can compute as follow

|y -x| ≤ |y -z| + |z -x| < α 1 α -1 2 s + α -1 2 (1 -α 1 )s < t. Let α C = α 2 + α 1 α 2 . There also holds: ∀ x ∈ R n C 2 ) (y, t) ∈ Γ(x) and (z, s) ∈ W (y, t) =⇒ (z, s) ∈ Γ α C (x).
Indeed, we can compute as follow

|z -x| ≤ |z -y| + |y -x| < α 1 t + t < (α 2 + α 1 α 2 )s. Now from W ) + C 1 ), we have: ∀ x ∈ R n χ Γα 0 (x) (z, s)χ W * (z,s) (y, t) ≤ χ Γ(x) (y, t)χ W (y,t) (z, s),
and from W ) + C 2 ), we have: ∀ x ∈ R n χ Γ(x) (y, t)χ W (y,t) (z, s) ≤ χ Γα C (x) (z, s)χ W * * (z,s) (y, t).
Then it follows from an integration in (y, t) that:

∀ x ∈ R n χ Γα 0 (x) (z, s) R n+1 + χ Γ(x) (y, t) χ W (y,t) (z, s) t n+1 dydt χ Γα C (x) (z, s),
where in dividing s n+1 , we use the similarity s t implicitly. For 0 < q < ∞, multiplying by |f (z, s)| q the above inequalities and then integrating in (z, s), we have from Fubini's theorem that

A α 0 q (f )(x) A q (W q (f ))(x) A α C q (f )(x), ∀ x ∈ R n .
For 0 < p < ∞, taking an L p integration in x in the above two functional relations and using the change of aperture equivalence in Observation 2.1 lead us to the coincidence T p,q q = T p q in Category A). For the tent geometry, let α T = α 2 + α 1 α -1 2 . We have that:

∀ B ⊂ R n T 1 ) (z, s) ∈ B α T and (y, t) ∈ W * (z, s) =⇒ (y, t) ∈ B. Indeed, given B ⊂ R n , (z, s) ∈ B α T and (y, t) ∈ W * (z, s), then B(z, α T s) ⊂ B. Thus B(y, t) ⊂ B(z, t + |z -y|) ⊂ B(z, t + α 1 α -1 2 s) ⊂ B(z, α T s), so B(y, t) ⊂ B. Recall that α 0 = α -1 2 (1 -α 1 )
. There also holds:

∀ B ⊂ R n T 2 ) (y, t) ∈ B and (z, s) ∈ W (y, t) =⇒ (z, s) ∈ B α 0 . Indeed, given B ⊂ R n , (y, t) ∈ B and (z, s) ∈ W (y, t), then B(y, t) ⊂ B. Thus B(z, α 0 s) ⊂ B(y, α 0 s + |z -y|) ⊂ B(y, α 0 s + α 1 t) ⊂ B(y, t), so B(z, α 0 s) ⊂ B and (z, s) ∈ B α 0 . Now from W ) + T 1 ), we have: ∀ B ⊂ R n χ B α T (z, s)χ W * (z,s) (y, t) ≤ χ B (y, t)χ W (y,t) (z, s),
and from W ) + T 2 ), we have:

∀ B ⊂ R n χ B (y, t)χ W (y,t) (z, s) ≤ χ B α 0 (z, s)χ W * * (z,s) (y, t).
Then it follows from an integration in (y, t) that:

∀ B ⊂ R n χ B α T (z, s) R n+1 + χ B (y, t) χ W (y,t) (z, s) t n+1 dydt χ B α 0 (z, s),
where in dividing s n+1 , we again use the similarity s t implicitly. For 0 < q < ∞, multiplying by |f (z, s)| q the above inequalities then integrating in (z, s) and taking a supremum over B x, we have from Fubini's theorem that

C α T q (f )(x) C q (W q (f ))(x) C α 0 q (f )(x), ∀ x ∈ R n .
Taking an L ∞ norm in the above functional relation and using Observation 2.1 lead us to the coincidence T ∞,q q = T ∞ q in Category B). We can thus conclude the proof.

Remark 2.3. If q = ∞, there holds for f continuous a similar functional relation

N α 0 (f )(x) N (W ∞ (f ))(x) N α C (f )(x), ∀ x ∈ R n .
Therefore, for the coincidence with the "classical" tent spaces in Category C), we

mean indeed T p,∞ ∞ ∩ C n.t. = T p ∞ ∩ C n.t. , 0 < p < ∞.
We end this section with another geometrical result, which will be needed in Section 6 for the proof of F 1 ) in Theorem 3.2.

Observation 2.4 (Change of Whitney parameters). Note that we have frozen two consistent parameters (α 1 , α 2 ) in Definition 1.1. Instead of considering different apertures as in Observation 2.1, here we replace (α 1 , α 2 ) by another pair of consistent Whitney parameters (α 1 , α 2 ), with a prescribed chain condition

0 < α 1 < α 1 < 1/α 2 < 1/α 2 < 1.
Following the way in Definition 1.1, we can also define a scale of tent spaces associated to (α 1 , α 2 ). Denoted by (α 1 ,α 2 ) T p,r q , they should not be mistaken for the scale α T p q in Observation 2.1. We have the change of Whitney parameters equivalence (2)

C(α 1 , α 1 , α 2 , α 2 ) f T p,r q ≤ f (α 1 ,α 2 ) T p,r q ≤ C (α 1 , α 1 , α 2 , α 2 ) f T p,r
q , where the constants C and C also implicitly depend on n, p, q and r.

The former part of this equivalence can be inspected from the chain condition satisfied by (α 1 , α 2 ) and (α 1 , α 2 ). We prove the right hand inequality as follows. For (y,

t) ∈ R n+1 + , denote W (y, t) = B(y, γ 1 t) × (γ -1 2 t, γ 2 t), with γ 1 ≥ α 1 /α 1 and γ 2 ≥ α 2 /α 2 . Then one can find an integer N = N (n, α 1 , α 2 , α 1 , α 2 ) such that, for any (y, t) ∈ R n+1 + , there exist N points P N (y, t) in W (y, t) with χ W (y,t) (z, s) ≤ (ȳ, t)∈P N (y,t) χ W (ȳ, t) (z, s),
where W is the Whitney average associated to the Whitney parameters (α 1 , α 2 ). Now using (1) in Observation 2.1 and the geometries {W ), C 1 ), C 2 ), T 1 ), T 2 )} in proving Theorem 2.2, there exists α = α(α 1 , α 2 , α 1 , α 2 ) such that

f (α 1 ,α 2 ) T p,r q f α T p,r q f T p,r q .
We leave open the sharp determination on the bounds C and C in (2).

Multiplication and factorization

The main goal of this paper, is to obtain in the spirit of [9], the corresponding multiplication and factorization results for our new scale of tent spaces T p,r q,β . Some notations and definitions in function space theory are needed.

Denote by Σ the σ-finite measure space (Ω, µ), and by L 0 the collection of µmeasurable complex-valued functions on Ω. A quasi-Banach function lattice X on Σ is a non-empty subspace of L 0 , which is equipped with a quasi-norm • X such that, (X, • X ) is complete and X satisfies the lattice property:

∀ f ∈ X, ∀ g ∈ L 0 , with |g| ≤ |f | µ -a.e. =⇒ g ∈ X, with g X ≤ f X . Clearly, for any f in a quasi-Banach function lattice X, f X = |f | X . Definition 3.1. Let {X i } n
i=0 be a collection of quasi-Banach function lattices on Σ. M) By the multiplication:

X 0 ← X 1 • • • X n , we mean that for any f i ∈ X i , 1 ≤ i ≤ n, we have f 1 • • • f n ∈ X 0 and f 1 • • • f n X 0 f 1 X 1 • • • f n Xn ,
where the implicit constant is independent of

f 1 , • • • , f n . F) By the (strong) factorization: X 0 → X 1 • • • X n , we mean that for any f 0 ∈ X 0 , there exist f i ∈ X i , 1 ≤ i ≤ n, such that |f 0 | = |f 1 | • • • |f n | and f 1 X 1 • • • f n Xn f 0 X 0 ,
where the implicit constant does not depend on

f 0 , f 1 , • • • , f n .
When M) and F) are both satisfied, we write

X 0 ↔ X 1 • • • X n .
In this paper, our central task is to prove Theorem 3.2. For any 0 < p 0 , q 0 , r 0 ≤ ∞, we have the following factorizations

F 1 ) T p 0 ,r 0 q 0 → T p 0 ,∞ q 0 • T ∞,r 0 ∞ , F 2 ) T p 0 ,r 0 q 0 → T p 0 ,∞ ∞ • T ∞,r 0 q 0 , F 3 ) T p 0 ,r 0 q 0 → T p 0 ,∞ ∞ • T ∞,∞ q 0 • T ∞,r 0 ∞ .
The proof of this endpoint factorization theorem will be postponed to Section 6. Meanwhile, there holds an endpoint multiplication result.

Lemma 3.3. For any 0 < p 0 , q 0 , r 0 ≤ ∞, we have the following multiplications

M 1 ) T p 0 q 0 ← T p 0 ∞ • T ∞ q 0 , M 2 ) T p 0 ,r 0 q 0 ← T p 0 ,∞ ∞ • T ∞,∞ q 0 • T ∞,r 0 ∞ .
Proof of Lemma 3.3. If max(p 0 , q 0 ) = ∞, there is nothing to prove for M 1 ). If max(p 0 , q 0 ) < ∞, then the multiplication M 1 ) is essentially in [9, Lemma 2.1]. The multiplication M 2 ) is a consequence of Hölder's inequality and M 1 ). In fact, we have

f gh T p 0 ,r 0 q 0 ≤ W ∞ (f )W ∞ (g)W r 0 (h) T p 0 q 0 W ∞ (f ) T p 0 ∞ W ∞ (g) T ∞ q 0 W r 0 (h) T ∞ ∞ = f T p 0 ,∞ ∞ g T ∞,∞ q 0 h T ∞,r 0 ∞ ,
where f , g and h are all measurable functions on R n+1 + .

Note that for M 1 ), the starting point of [9, Lemma 2.1] is the following inequality for Carleson measures (see [29, p. 58-61] for example)

R n+1 + |f (y, t)| p |dµ|(y, t) f p T p ∞ sup B⊂R n |µ|( B) |B| ,
which holds for any Borel measure dµ on R n+1 + and any everywhere defined measurable f such that N (f ) ∈ L p , 0 < p < ∞. Here we apply M 1 ) to W ∞ (f ) ∈ T p 0 ∞ , since W ∞ (f ) is everywhere defined and measurable. This is also why we define the Category C) tent spaces T p ∞ without restricting them in the class C n.t. (R n+1 + ; C).

For 0 < p 1 , p 2 ≤ ∞, define the Hölderian triplet (p 1 , p 2 , (p 1 , p 2 ) H ) by the relation (p 1 , p 2 ) -1 H = p -1 1 + p -1 2
, where as usual, we will admit 1/∞ = 0. Combining F 3 ) in Theorem 3.2 and M 2 ) in Lemma 3.3, we can deduce an intermediate claim where the Hölderian triplets enter.

Theorem 3.4. Suppose for i ∈ {0, 1, 2}, T p i ,r i q i ,β i lies in the scale of weighted tent spaces with Whitney averages in Definition 1.1. Assume the Hölderian relation (H):

p 0 = (p 1 , p 2 ) H , q 0 = (q 1 , q 2 ) H , r 0 = (r 1 , r 2 ) H and β 0 = β 1 + β 2 .
Then we have the multiplication and factorization

T p 0 ,r 0 q 0 ,β 0 ↔ T p 1 ,r 1 q 1 ,β 1 • T p 2 ,r 2 q 2 ,
β 2 . Proof of Theorem 3.4. By Remark 1.3 and Definition 3.1, it is enough to assume β i = 0, i ∈ {0, 1, 2}. Thus, we are only meant to show

T p 0 ,r 0 q 0 ↔ T p 1 ,r 1 q 1 • T p 2 ,r 2 q 2 .
Call extremal tent spaces those T p,r q with at least two among p, q, r equal to ∞. Therefore, T p 0 ,r 0

q 0 ↔ T p 1 ,r 1 q 1 • T p 2 ,r 2 q 2
holds trivially if T p 0 ,r 0 q 0 is an extremal tent space. Indeed, multiplication is just a consequence of Hölder's inequality, and factorization follows from the trick of taking powers:

|f | = |f | 1-θ |f | θ , with 0 ≤ θ ≤ 1.
Now the general factorization can be proved as follows. With the Hölderian relation (H) in mind, factorizing T p 0 ,r 0 q 0 through F 3 ) in Theorem 3.2 into extremal tent spaces, using the known factorization for extremal tent spaces, and multiplying through M 2 ) in Lemma 3.3, we then have

T p 0 ,r 0 q 0 → T p 0 ,∞ ∞ • T ∞,∞ q 0 • T ∞,r 0 ∞ → T p 1 ,∞ ∞ • T p 2 ,∞ ∞ • T ∞,∞ q 1 • T ∞,∞ q 2 • T ∞,r 1 ∞ • T ∞,r 2 ∞ → T p 1 ,r 1 q 1 • T p 2 ,r 2 q 2 .
Finally, the general multiplication can be proved as follows. With the Hölderian relation (H) in mind, factorizing T p i ,r i q i (i = 1, 2) through F 3 ) in Theorem 3.2 into extremal tent spaces, using the known multiplication for extremal tent spaces, and multiplying through M 2 ) in Lemma 3.3, we then have

T p 1 ,r 1 q 1 • T p 2 ,r 2 q 2 → T p 1 ,∞ ∞ • T ∞,∞ q 1 • T ∞,r 1 ∞ • T p 2 ,∞ ∞ • T ∞,∞ q 2 • T ∞,r 2 ∞ → T p 0 ,∞ ∞ • T ∞,∞ q 0 • T ∞,r 0 ∞ → T p 0 ,r 0 q 0 .
The quasi-norm inequalities in each proof can be obtained by inspection.

quasi-Banach complex interpolation

We begin with a second look at the symbol "↔" for multiplication and factorization, which we formulated in last section in Definition 3.1. Definition 4.1. Given two quasi-Banach function lattices X 1 and X 2 , we define their Calderón's product X 1 • X 2 as the class of u ∈ L 0 for which

u X 1 •X 2 := inf{ v X 1 w X 2 | |u| = |v||w|, v ∈ X 1 , w ∈ X 2 } < ∞.
Clearly, the usual product

X 1 • X 2 = {vw | v ∈ X 1 , w ∈ X 2 } is contained in the Calderón's product X 1 •X 2 . In other words, X 1 •X 2 is the completion of X 1 •X 2 under the quasi-norm • X 1 •X 2 . Moreover, X 0 ↔ X 1 • X 2 amounts to say X 0 = X 1 • X 2 ,
where we interpret the equality by the equivalence of quasi-norms.

This new product X 1 • X 2 , was first used by Calderón in [8] as an intermediate space for the complex interpolation of a couple of Banach function lattices (X 1 , X 2 ). For the underlying measure space Σ = (Ω, µ), assume that Ω is a complete separable metric space, and µ is a σ-finite Borel measure on Ω. In a (most) natural extension of Calderón's interpolation method to the quasi-Banach setting, Kalton and Mitrea establish in [22, Section 3] (see also [20]) that, for a couple of analytically convex separable quasi-Banach function lattices (X 1 , X 2 ) on Σ, there holds the generalized Calderón's product formula (see [22, Theorem 3.4]) that

(X 1 , X 2 ) θ = [X 1 ] 1-θ • [X 2 ] θ , 0 < θ < 1.
Here, X analytically convex (A-convex for short) means that, for any analytic 3 function Φ : S = {z ∈ C | Re z ∈ (0, 1)} → X, which is also continuous to the closed strip S = S ∪ ∂S, we have the maximum modulus principle

max z∈S Φ(z) X max z∈∂S Φ(z) X .
Under this A-convexity requirement, X 1 + X 2 is also A-convex, and then Calderón's method adapts to the quasi-Banach case. In the same spirit, this analytical approach to the interpolation of quasi-Banach function lattices was also considered in [7], where the ambient A-convex space is not necessarily the usual X 1 + X 2 .

It was obtained in [19] that X analytically convex is equivalent to X r-convex for some r > 0. Here, X (lattice) r-convex means that, for any n ∈ N + and any f i ∈ X, i = 1, . . . , n, we have the inequality

n i=1 |f i | r 1/r X ≤ n i=1 f i r X 1/r
. This convexification/normalization process is trivial for Banach function lattice X, as we can always take r = 1 in the above inequality. Thus for our purpose here, we can change A-convex to r-convex. Now we turn to the separability issue. Recall that a Banach function lattice X is said to satisfy the Fatou property [26, Remark 2 on p. 30], or maximality in L 0 , if

∀ 0 ≤ f n ∈ X and sup n∈N + f n X < ∞, with f n ↑ f ∈ L 0 µ -a.e. =⇒ f ∈ X and f X = lim n→∞ f n X .
3 See [22, p. 3911] for the precise definitions of analyticity and A-convexity.

It was observed4 in [20] that, if both X 1 and X 2 satisfy the Fatou property, we only need to assume for the interpolation that either X 1 or X 2 is separable.

For further information on the applicability of Calderón's product formula, see [22, Section 3] and [21, Section 7] directly. Therefore, for two quasi-Banach function lattices X 1 and X 2 , if X i (i = 1, 2) is r i -convex and has the Fatou property, and if either X 1 or X 2 is separable, then we have the desired interpolation realization:

(X 1 , X 2 ) θ = [X 1 ] 1-θ • [X 2 ] θ , 0 < θ < 1.
Let us apply these to tent spaces. Lemma 4.2. All the tent spaces T p,r q,β have the Fatou property. Proof. This is an easy consequence of the monotone convergence theorem and simple measure theoretic arguments. For 0 < p 1 , p 2 ≤ ∞ and θ ∈ (0, 1), define the θ-Hölderian triplet (p 1 , p 2 , (p 1 , p 2 ) θ ) by the relation (p 1 , p 2 ) -1 θ = (1 -θ)/p 1 + θ/p 2 , where we again admit 1/∞ = 0. Theorem 4.3. Let 0 < θ < 1. Suppose for i ∈ {0, 1, 2}, T p i ,r i q i ,β i lies in the scale of weighted tent spaces with Whitney averages in Definition 1.1. Assume the condition min max(p 1 , q 1 , r 1 ), max(p 2 , q 2 , r 2 ) < ∞ and the θ-Hölderian relation (H) θ :

p 0 = (p 1 , p 2 ) θ , q 0 = (q 1 , q 2 ) θ , r 0 = (r 1 , r 2 ) θ and β 0 = (1 -θ)β 1 + θβ 2 .
Then under the Kalton-Mitrea complex interpolation method, we have (T p 1 ,r 1 q 1 ,β 1 , T p 2 ,r 2 q 2 ,β 2 ) θ = T p 0 ,r 0 q 0 ,β 0 . Proof. With (H) θ and Theorem 3.4, we have

T p 0 ,r 0 q 0 ,β 0 ↔ T p 1 /(1-θ),r 1 /(1-θ) q 1 /(1-θ),β 1 (1-θ) • T p 2 /θ,r 2 /θ
q 2 /θ,β 2 θ , which is equivalent to say

T p 0 ,r 0 q 0 ,β 0 = T p 1 /(1-θ),r 1 /(1-θ) q 1 /(1-θ),β 1 (1-θ) • T p 2 /θ,r 2 /θ
q 2 /θ,β 2 θ . Under the (sufficient) condition min max(p 1 , q 1 , r 1 ), max(p 2 , q 2 , r 2 ) < ∞, at least one quasi-Banach function lattice in the interpolation couple (T p 1 ,r 1 q 1 ,β 1 , T p 2 ,r 2 q 2 ,β 2 ) is separable. And it follows from Minkowski's inequality that, for i = 1, 2, the quasi-Banach function lattice T p i ,r i q i ,β i is min(τ i , 1)-convex, where τ i = min(p i , q i , r i ). In fact, it suffices to apply

f τ i T p i ,r i q i ,β i = |f | τ i T p i /τ i ,r i /τ i q i /τ i ,β i τ i , i = 1, 2,
to the criterion of r-convexity, and notice that T p i /τ i ,r i /τ i q i /τ i ,β i τ i (i = 1, 2) are Banach function lattices. Using the generalized Calderón's product formula, we have

(T p 1 ,r 1 q 1 ,β 1 , T p 2 ,r 2 q 2 ,β 2 ) θ = T p 1 ,r 1 q 1 ,β 1 1-θ • T p 2 ,r 2 q 2 ,β 2 θ = T p 1 /(1-θ),r 1 /(1-θ) q 1 /(1-θ),β 1 (1-θ) • T p 2 /θ,r 2 /θ
q 2 /θ,β 2 θ = T p 0 ,r 0 q 0 ,β 0 . This proves the wanted complex interpolation formula.

The above interpolation result is new since we considered the Whitney averaged scale and brought in the extreme tent space T ∞,∞ ∞ . For the tent spaces without Whitney averages and with β = 0, the quasi-Banach complex interpolation (T p 1 q 1 , T p 2 q 2 ) θ = T p 0 q 0 , 0 < θ < 1, where 1/p 0 = (1 -θ)/p 1 + θ/p 2 and 1/q 0 = (1 -θ)/q 1 + θ/q 2 , 0 < p 1 , p 2 , q 1 , q 2 < ∞, was considered in [START_REF] Bernal | Some results on complex interpolation of T p q spaces[END_REF] by another analytical method. For earlier results on the Banach complex interpolation, see the references in [START_REF] Bernal | Some results on complex interpolation of T p q spaces[END_REF]. Using the Kalton-Mitrea complex interpolation method, [9] recovers the result in [START_REF] Bernal | Some results on complex interpolation of T p q spaces[END_REF] and obtains additionally

(T ∞ q , T p ∞ ) θ = T p/θ q/(1-θ) , 0 < θ < 1, where 0 < p, q < ∞. Note that T p ∞ = T p ∞ ∩ C n.t.
is the classical tent space, which is equivalent to the closure in T p ∞ of continuous functions with compact support in R n+1 + (see for example [29, p. 77]), is separable. For the weighted analogue of [9], see for instance [15], where β can also be any real number.

Here, we have under Theorem 4.3 and the coincidence result in Theorem 2.2 that, for the non-extremal case 0 < p 1 , p 2 , q 1 , q 2 < ∞, we have

(T p 1 q 1 , T p 2 q 2 ) θ = (T p 1 ,q 1 q 1 , T p 2 ,q 2 q 2
) θ = T p 0 ,q 0 q 0 = T p 0 q 0 , 0 < θ < 1, when 1/p 0 = (1 -θ)/p 1 + θ/p 2 and 1/q 0 = (1 -θ)/q 1 + θ/q 2 . This recovers [START_REF] Bernal | Some results on complex interpolation of T p q spaces[END_REF]Theorem 3]. Note that the condition min max(p 1 , q 1 , r 1 ), max(p 2 , q 2 , r 2 ) < ∞ is sufficient for most of our applications to operator theory on tent spaces since we usually set one space in the interpolation pair to be T 2 2 = T 2,2 2 . Remark 4.4. For the extremal case min(p 1 , p 2 ) = ∞, one can show that T ∞ q 1 and T ∞ q 2 are two non-separable spaces. In this situation there exist some results in a different context. For α ∈ [0, 1] and the space of Carleson measures of order α

V α := dµ sup B⊂R n |µ|( B) |B| α < ∞ , the complex interpolation (V 0 , V 1 ) α was identified in [3, Theorem 3-(ii)]
to a space which is strictly smaller than V α . In this respect, see also [START_REF] Alvarez | Spaces of Carleson measures: duality and interpolation[END_REF]2] for relevant results.

Multipliers and standard duality

Now we turn to the multiplier issue, which from the multiplication point of view, is more straightforward than the quasi-Banach complex interpolation.

Similarly to the last section, we restrict ourselves to the setting of (Banach) function lattices, and the underlying measure space Σ = (Ω, µ) is assumed to be complete and σ-finite. Here, "complete" is with respect to the measure, meaning that

∀ E ⊂ Ω, µ(E) = 0 =⇒ ∀ E ⊂ E, µ(E ) = 0.
Recall that L 0 is the collection of all complex-valued µ-measurable functions on Ω.

Definition 5.1. Given two Banach function lattices X 0 and X 1 , we say that w ∈ L 0 is a multiplier from X 1 to X 0 , if the associated multiplication mapping

M w : X 1 → X 0 , v → vw satisfies M w X 1 →X 0 := sup v =0 vw X 0 v X 1 < ∞.
Denote all the multipliers from X 1 to X 0 by M (X 1 , X 0 ), equipped with

w M (X 1 ,X 0 ) = M w X 1 →X 0 .
Before proceeding to our main results in this section, we review a cancellation result concerning Calderón's product. It was obtained in [28, Theorem 2.5 and Corollary 2.6] that for three Banach function lattices {E, F, G} on Σ, all with the Fatou property, we have the following cancellation formula

E • F = E • G =⇒ F = G.
There also holds (see [START_REF] Schep | Products and factors of Banach function spaces[END_REF]Theorem 2.8]) that

F = M (E, E • F ),
if both E and F have the Fatou property. In particular situations, the above multiplier representation can also be found in [START_REF] Cwikel | Interpolation of weighted Banach lattices. A characterization of relatively decomposable Banach lattices[END_REF]Theorem 3.5], which served to prove the uniqueness theorem of Calderón-Lozanovskii's interpolation method. We mention that in the literature, the construction of Calderón for intermediate spaces was further investigated by Lozanovskii in a series of papers ( [START_REF] Ja | On some Banach lattices[END_REF], [25]).

Let us apply these to our tent spaces.

Theorem 5.2. With the same assumptions as in Theorem 3.4 and 1 ≤ p i , q i , r i ≤ ∞ for i ∈ {0, 1, 2}, we have the multiplier identification T p 2 ,r 2 q 2 ,β 2 = M (T p 1 ,r 1 q 1 ,β 1 , T p 0 ,r 0 q 0 ,β 0 ). Proof. For i ∈ {0, 1, 2}, 1 ≤ p i , q i , r i ≤ ∞ implies τ i = min(p i , q i , r i ) ≥ 1, thus T p i ,r i q i ,β i is a Banach function lattice. Using the multiplier representation cited above, with the Fatou property guaranteed by Lemma 4.2, we have T p 2 ,r 2 q 2 ,β 2 = M (T p 1 ,r 1 q 1 ,β 1 , T p 1 ,r 1 q 1 ,β 1 • T p 2 ,r 2 q 2 ,β 2 ) = M (T p 1 ,r 1 q 1 ,β 1 , T p 0 ,r 0 q 0 ,β 0 ), where the last equality is from Theorem 3.4: T p 0 ,r 0 q 0 ,β 0 = T p 1 ,r 1 q 1 ,β 1 • T p 2 ,r 2 q 2 ,β 2 . Finally, we look at the duality theory. Given β 0 ∈ R, we will consider the following β 0 -weighted pairing (f, h)

β 0 := R n+1 + f (y, t)h(y, t)t -β 0 -1 dydt.
Let p , q and r be the dual indice of 1 ≤ p, q, r ≤ ∞.

Definition 5.3. The β 0 -weighted Köthe dual of the Banach T p,r q,β is defined as (T p,r q,β ) * β 0 := M (T p,r q,β , L 1 (R n+1 + , t -β 0 -1 dydt)) = M (T p,r q,β , T 1,1 1,β 0 ). Here, unlike the continuous functional dual (•) , "Köthe" means the dual within the class of Banach function lattices. For a general account on this aspect, see [26]. By the standard duality, we mean the (Köthe) dual of the Banach T p,r q,β when 1 ≤ p < ∞, β ∈ R and particularly 1 ≤ min(q, r) ≤ max(q, r) < ∞.

Theorem 5.4. Under the pairing (•, •) β 0 , we have the following standard duality T p , r q , β 0 -β = (T p,r q,β ) , 1 ≤ p, q, r < ∞, β ∈ R.

Proof. By Theorem 5.2 and the definition of (•) * β 0 , we have T p , r q , β 0 -β = M (T p,r q,β , T 1,1 1,β 0 ) = (T p,r q,β ) * β 0 ⊂ (T p,r q,β ) , where the last inclusion follows from the straightforward identification of multipliers to continuous linear functionals, through the pairing (•, •) β 0 .

For the converse, suppose that we are given a continuous linear functional l on T p,r q,β . Then whenever K is a compact set in R n+1 + , and whenever f is supported in K, with f ∈ L r (K), then W r (f ) ∈ T p q,β with f T p,r q,β = W r (f ) T p q,β ≤ C K f L r . Here, C K is a constant which depends on the compact set K, and also implicitly on the indice p, q, r and β. Thus l induces a continuous linear functional on L r (K) and is representable by h K ∈ L r (K), as 1 ≤ r < ∞. Taking an increasing family of such K which exhausts R n+1 + , gives us an h ∈ L r loc such that

l(f ) = (f, h) β 0 = R n+1 + f (y, t)h(y, t)t -β 0 -1 dydt,
whenever f ∈ L r and has compact support. By density arguments, this representation of l by h extends to all f ∈ T p,r q,β , as we further have 1 ≤ p, q < ∞. By the representation through (•, h) β 0 , we have l = M h T p,r q,β →T 1,1 1,β 0 , which means (T p,r q,β ) ⊂ M (T p,r q,β , T 1,1 1,β 0 ) = (T p,r q,β ) * β 0 = T p ,r q , β 0 -β . This then proves the desired standard duality.

To end this section, we deduce as corollaries some corresponding known results on multiplication, factorization and duality, mainly obtained in the articles [

T p 2 = (T p 2 ) * 0 = (T p 2 ) , 1
≤ p < ∞, which upon using Theorem 2.2 on the coincidence for r = q = 2, then corresponds to our Theorem 5.4 in the particular case

T p ,2 2,0 = T p,2 2,0 * 0 = T p,2 2,0 , 1 ≤ p < ∞.
By the Carleson duality, we mean the continuous functional dual of T p,r q,β for 1 ≤ p < ∞, β ∈ R and particularly 1 ≤ min(q, r) ≤ max(q, r) = ∞. Let B := B be the closed tent on base B, and denote the Carleson measures on R n+1 which implies x ∈ B(y, (α 2 + α 1 )t). This proves the two relations (5) and ( 6). As 0 < max(p 0 , q 0 ) < ∞, the tent space T p 0 ,r 0 q 0 lies in Category A) and can be determined by the conical functional A q 0 . Therefore, ũ = A q 0 (W r 0 (u)) ∈ L p 0 (R n ). Denote by P 0 [h](y, t) the average of h on B(y, t) ⊂ R n , and construct v = P 0 [ũ p] 1/p for some p < p 0 . Let α * = α 2 + α 1 > 1, then by ( 6), for any (y, t) ∈ R n+1

+ by C := dµ sup B⊂R n |µ| B |B| < ∞ . Let N = T 1 ∞ ∩ C n.t
+ sup (z,s)∈W (y,t) v(z, s) v(y, α * t) =: v * (y, t).
Thus we have W ∞ (v)(y, t) v * (y, t), and there holds

N (W ∞ (v))(x) N (v * )(x) ≤ M(ũ p) 1/p (x), ∀ x ∈ R n ,
where N is the non-tangential maximal functional, M is the Hardy-Littlewood maximal operator and the last estimate follows from the fact

(y,t)∈Γ(x) B(y, α * t) x, ∀ x ∈ R n .
As p 0 /p > 1, then by maximal theorem, we have

v T p 0 ,∞ ∞ M(ũ p) 1/p L p 0 ũ L p 0 = u T p 0 ,r 0 q 0 . Now we turn to w = u/v. Let α * = α -1
2 -α 1 ∈ (0, 1), then by (5) inf (z,s)∈W (y,t) v(z, s) v(y, α * t) is valid for any (y, t) ∈ R n+1 + . By Hölder's inequality, there holds (7) h -1 -1 L q (dν) ≤ h L r (dν) , ∀ q > 0, ∀ r > 0, when dν is a probability measure on R n . Applying this estimate with h = ũ, r = p, q = q 0 and dν(x) = |B(y, α * t)| -1 χ B(y,α * t) (x)dx, we have for any (y, t) ∈ R n+1

+ inf (z,s)∈W (y,t) v(z, s) P 0 [ũ p] 1/p (y, α * t) ≥ P 0 [ũ -q 0 ] -1/q 0 (y, α * t) P 0 [ũ -q 0 ] -1/q 0 (y, t),
where the last estimate follows from 0 < α * < 1 and -1/q 0 < 0. We write

• c = • T ∞ 1,-1
for the Carleson norm of measurable functions on R n+1 + , and let dµ(y, t) = µ(y, t)dydt = W r 0 (u) q 0 (y, t)t -1 dydt.

The above pointwise estimates on v further imply

W r 0 (u/v) T ∞ q 0 P 0 [ũ -q 0 ] 1/q 0 W r 0 (u) T ∞ q 0 = P 0 [ũ -q 0 ]µ 1/q 0 T ∞ 1,-1 = P 0 [A 1 (µ(y, t)t) -1 ]µ 1/q 0 c 1.
In the last estimate, we used the lemma below. Therefore, we can conclude the proof of F 2 ).

We record down the missing part in estimating P 0 [A 1 (µ(y, t)t) -1 ]µ c 1. For a non-negative measure dµ on R n+1 + , denote its (free) balayage by

A(dµ)(x) := Γ(x)
dµ(z, s) s n , x ∈ R n .

This way, we can reconstruct from the boundary value A(dµ) its (free) extension E(dµ)(y, t) := P 0 [A(dµ) -1 ](y, t), ∀ (y, t) ∈ R n+1 + . Thus in the desired estimate, with dµ(y, t) = µ(y, t)dydt supported in R n+1 + , we have P 0 [A 1 (µ(z, s)s) -1 ](y, t)µ(y, t)dydt = E(dµ)(y, t)dµ(y, t).

The next lemma is very simple and can be found in [9, Lemma 2.2], or one can refer to [3] directly. For the completeness, we still provide an argument here. Recall that B denotes the closed tent with base B ⊂ R n . Lemma 6.1. For any non-negative measure dµ on R n+1 + , we have

E(dµ)dµ C := sup B⊂R n 1 |B| B E(dµ)dµ 1.
Proof. For any ball B ⊂ R n , we can estimate by Fubini's theorem that In F 2 ), if 0 < max(p 0 , q 0 ) < ∞, we can also verify that W ∞ (v) is continuous in R n+1 + and has the property of non-tangential convergence. In fact, ). Notes added after submission. Alex Amenta and Moritz Egert confirm (via personal communications) that the main results in this paper would extend to the spaces of homogeneous type in the sense of Coifman-Weis.

  10, Coifman-Meyer-Stein], [9, Cohn-Verbitsky] and [17, Hytönen-Rosén]. Relation with Coifman-Meyer-Stein. For the standard duality, it was shown in [10, Theorem 1-(b) and Theorem 2] that

B 1 |B 1 T 1 ∞.

 111 (y, t)| B(y,t) A(dµ) -1 (x)dx dµ(y, t) ) -1 (x)A(dµ)(x)dx = |B|.Taking a supremum over balls B ⊂ R n then proves the Carleson estimate. Remark 6.2. Denote by V the class of bounded (signed and complex) Borel measures on R n+1 + . Note that the above lemma also implies the factorizationV → (T 1 ∞ ∩ C n.t. ) • C, while the multiplication side V ← (T 1 ∞ ∩ C n.t. ) • C is just the Carleson's inequality (see [29, p. 63] for example). Indeed, for dµ bounded on R n+1 + , |dµ| = E(|dµ|) -1 • E(|dµ|)|dµ|is then the desire factorization. First, using the lemma above, we haveE(|dµ|)|dµ| C 1.And by (7), we see for any (y, t) ∈ R n+1+ that E(|dµ|) -1 (y, t) ≤ 1 |B(y, t)| B(y,t) A(|dµ|) p 0 (x)dx 1/p 0 , 0 < p 0 < 1.Then for any x ∈ R n , we haveN (E(|dµ|) -1 )(x) ≤ M(A(|dµ|) p 0 ) 1/p 0 (x),and by Lebesgue's theorem E(|dµ|) -1 ∈ C n.t. . By maximal theorem, we also haveE(|dµ|) -1 ∈ T 1 ∞ , with the factorization estimate E(|dµ|) -A(|dµ|) L 1 |µ| R n+1 + Remark 6.3. In F 1 ), the case r 0 = ∞ is trivial. Suppose 0 < r 0 < ∞ and W r 0 (u) ∈ C n.t. . As the constructed v = W * r 0 (u) is continuous and satisfies W * ∞ (v) W r 0 (u), we have W * ∞ (v) ∈ C n.t.after using the fact (3) lim Γ(x) (y,t)→x W * (y, t) = lim Γ(x) (y,t)→x W (y, t) = x, ∀ x ∈ R n , and the dominated convergence theorem.

  v p (y, t) = |B(y, t)| -1 B(y,t) u p (x)dx, ∀ (y, t) ∈ R n+1 + ,where u ∈ L p 0 and p 0 > p. Then v ∈ C n.t. follows from Lebesgue's theorem. Asv(y, α * t) inf (z,s)∈W (y,t) v(z, s) ≤ sup (z,s)∈W (y,t) v(z, s) v(y, α * t)hold for any (y, t) ∈ R n+1 + , we then haveW ∞ (v) = sup (z,s)∈W (y,t) v(z, s) ∈ C n.t. ,which is an easy consequence of the dominated convergence theorem. In all, the constructed factorization v is in (T p 0 ,∞ ∞ ∩ C n.t. ) = (T p 0 ∞ ∩ C n.t.

  Similarly, to verify the second inclusion, given any (z, s) ∈ W (y, t) and any x ∈ B(z, s), we compute as follow |x -y| ≤ |x -z| + |z -y| < s + α 1 t < (α 2 + α 1 )t,

. . The classical Carleson duality ([10, Proposition 1]) states that C = N ) . Obviously, our Theorem 5.4 on standard duality can not cover the Carleson duality. Nevertheless, we shall mention in Remark 6.2 a consequence of our method of proof toward factorization of bounded Borel measures on R n+1 + by Carleson measures. which implies x ∈ B(z, s).

The pair of Whitney parameters defining W * * is not necessarily consistent, but for the purpose here, the consistency is not needed.

In this regard, see also the second remark following Theorem 7.9 of[START_REF] Kalton | Interpolation of Hardy-Sobolev-Besov-Triebel-Lizorkin spaces and applications to problems in partial differential equations[END_REF], where X 1 and X 2 are assumed to be sequence spaces. In fact, only the Fatou property is needed in the arguments there.

Acknowledgement

As part of the author's thesis project, the current paper is written under the guidance of Prof. Pascal Auscher, whose patience is greatly acknowledged. The author would like to thank Pascal Auscher and Henri Martikainen for helpful discussions. This research is supported in part by the ANR project "Harmonic Analysis at its Boundaries", ANR-12-BS01-0013-01. The author would also like to thank Prof. Dachun Yang and Dr. Jonathan Sondow for their continuous encouragements.

Relation with Hytönen-Rosén. To relate their notations, N p,q and C p ,q in [START_REF] Hytönen | On the Carleson duality[END_REF] for Banach cases are just the scales T p,q ∞,0 and T p ,q 1,-1 here, and their duality claim is N p,q = (C p ,q ) , 1 < p < ∞, 1 < q ≤ ∞.

This Carleson (pre-)duality, stated in [START_REF] Hytönen | On the Carleson duality[END_REF]Theorem 3.2], then corresponds to our Theorem 5.4 in the particular case T p,r ∞,0 = (T p ,r 1,-1 ) * -1 = (T p ,r 1,-1 ) , 1 < p < ∞, 1 < r ≤ ∞. At the multiplication side, Theorem 3.1 of [START_REF] Hytönen | On the Carleson duality[END_REF] states

Again, this is a particular case of our Theorem 3.4.

Relation with Cohn-Verbitsky. Under the coincidence theorem and Remark 6.3, part F 2 ) in Theorem 3.2 for r 0 = q 0 corresponds to Cohn-Verbitsky

Meanwhile, with the help of F 1 ) to produce Whitney multipliers, our result F 3 ) is a further (polarized) factorization of the tent space T p 0 ,r 0 q 0 . Of course, we also bring in the endpoint spaces T ∞ ∞ and T ∞,r 0 ∞ , which makes the statement broader. Moreover, we continue with a multiplier discussion basing on the factorization result, which is seemingly new even in the situation of classical tent spaces.

We also remark that the multiplication side of Theorem 3.4 covers Lemma 5.5 in [5] and Lemma 2.4.3 in [START_REF] Mourgoglou | Endpoint solvability results for divergence form, complex elliptic equations[END_REF]. To relate the notations again, the two tent spaces X and E in [5], originally introduced by Kenig-Pipher in [START_REF] Kenig | The Neumann problem for elliptic equations with non-smooth coefficients[END_REF] and by Dahlberg in [START_REF] Dahlberg | On the absolute continuity of elliptic measures[END_REF] respectively, correspond to T 2,2 ∞,0 and T ∞,∞ 2,0 here. Our full scale T p,r q,β , mainly interested by X p := T p,2 ∞,0 and Y p ± := T p,2 2, -1±1 2 for p in some interval containing 2, will be used as natural function spaces in part of a continuation work of [5], where more backgrounds on boundary value problems of elliptic PDEs can be referred.

Proof of Theorem 3.2 on factorization

To prove F 3 ) it suffices to show F 1 ) and F 2 ) respectively. Indeed, factorizing T p 0 ,r 0 q 0 through F 1 ) first, then using F 2 ) yields F 3 ) immediately. Thus to prove Theorem 3.2, we show F 1 ) and F 2 ) in order.

Proof of F 1 ). Let W * (y, t) and W * r (•)(y, t) be the Whitney box and the L r -Whitney average associated to the point (y, t) ∈ R n+1 + , and to the Whitney parameters

2 , where (α 1 , α 2 ) is the pair of consistent Whitney parameters we used in Definition 1.1. Similarly, let W * * and W * * r (•) be the Whitney objects associated to

Note that the two resulted pairs of Whitney parameters are also consistent, with

YI HUANG

Moreover, for any (y, t) ∈ R n+1 + , we have the geometrical relations

(3)

and ( 4)

The verification on α * 2 and α * * 2 is straightforward. For the first inclusion, given any (z, s) ∈ W * (y, t) and any (z 0 , s 0 ) ∈ W * (z, s), we have

For the second inclusion, given any (z 0 , s 0 ) ∈ W * * (y, t) and any (z, s) ∈ W * * (y, t), we have ,s). This proves the two relations (3) and ( 4). Now for any u ∈ T p 0 ,r 0 q 0 , we construct v = W * r 0 (u). Then we have from (3) that sup

is valid for any (y, t) ∈ R n+1 + , thus we know

For w = u/W * r 0 (u), we then have from (4) that inf (z,s)∈W * * (y,t)

is valid for any (y, t) ∈ R n+1 + , thus we know W * * r 0 (w) 1 and

Using the change of Whitney parameters equivalence in Observation 2.4, u = vw is then the desired factorization for T p 0 ,r 0

Proof of F 2 ). Observe that we can suppose 0 < max(p 0 , q 0 ) < ∞. In fact, nothing has to be done if p 0 = ∞, and the case q 0 = ∞ is already included in F 1 ).

We base our arguments on the constructive proof in [9]. From the consistency of Whitney parameters, we have 0 < α 1 < α -1 2 < 1. Then the following relations hold for any (y, t) ∈ R n+1 + . In fact, for the verification of the first inclusion, given any x ∈ B(y, (α -1 2 -α 1 )t) and any (z, s) ∈ W (y, t), we compute as follow |x -z| ≤ |x -y| + |y -z| < (α -1 2 -α 1 )t + α 1 t < s,


Margaux Barbier

Philippe Delaye

Sylvie Lebrun

Gilles Pauliat
email: gilles.pauliat@institutoptique.fr

Minh Châu

Phan Huy

Liquid filled photonic fibers for non linear devices (plénière)

Combining the propagation engineering of hollow core photonic crystal fibres with the large variety of possible liquids filling the fibre core allows for a delicate tuning of new devices. Here, we illustrate the optimisation of such liquid filled hollow core fibres with two devices: efficient wavelength Raman converters and high purity sources of correlated photon pairs. 1.Introduction

Photonic bandgap fibres are a technologically mature technology [START_REF] Russels | Photonic crystal fibers[END_REF] . The linear propagation of optical beams can be perfectly engineered: the bandgap can be accurately positioned and the dispersion can be finely tuned. Nevertheless, silica, from which fibres are made, does not allow a total control over the optical nonlinearities. To solve this issue, inserting a nonlinear material during the fabrication of the silica fibre was proposed. Photonic crystal fibres made from other materials, such as chalcogenides for working in the mid-infrared, were also demonstrated. Nevertheless, in the visible and near-infrared range a greater versatility is obtained with hollow core photonic crystal fibres. Our preferred choice to increase our control over the nonlinear parameters is to fill the hollow core with gases 2) or liquids 3)4) . The transmission band and the dispersion are optimized through both photonic structure and liquid refractive index, and the non-linear coefficients are adjusted by choosing the liquids or mixtures of liquids.

Efficient Raman wavelength converters

During their propagation inside a liquid filling the fibre, pump photons are progressively transformed into Stokes photons at a longer wavelength by, first, spontaneous Raman scattering and, then, by stimulated scattering. The frequency shift between the pump and Stokes wavelengths depends on the selected Raman liquid and can be chosen among a very large panel up to a few thousands of cm -1 . Raman cascades (e.g. further scattering of the Stokes photons) allow reaching larger shifts. Using microlasers delivering 532 nm sub-nanosecond pulses of about 1 µJ, with either conventional photonic crystal fibres and Kagome fibres, with a few sets of liquids, we will describe the optimisations that already allowed us to built wavelength converters down to: 556 nm; 561 nm; 582 nm; 595 nm; 612 nm; 630 nm; 650 nm; 667 nm; 772 nm.

High purity sources of correlated photons

Parametric generation can be used to split two pump photons into two correlated signal and idler photons. In all silica fibres, the unavoidable presence of spontaneous Raman scattering degrades the quality of the produced photon pairs. Using liquid filled hollow core fibres circumvents this issue: conversely to a silica core fibre, the Raman spectrum of liquids is made of lines, rather than large bands. Raman noise can thus be more easily filtered. We will report our latest results using a deuterated acetone liquid filled fibre [START_REF] Barbier | [END_REF] .