PIP-Space Valued Reproducing Pairs of Measurable Functions

: We analyze the notion of reproducing pairs of weakly measurable functions, a generalization of continuous frames. The aim is to represent elements of an abstract space Y as superpositions of weakly measurable functions belonging to a space Z : = Z ( X , µ ) , where ( X , µ ) is a measure space. Three cases are envisaged, with increasing generality: (i) Y and Z are both Hilbert spaces; (ii) Y is a Hilbert space, but Z is a PIP -space; (iii) Y and Z are both PIP -spaces. It is shown, in particular, that the requirement that a pair of measurable functions be reproducing strongly constrains the structure of the initial space Y . Examples are presented for each case.


Introduction
Representing functions in terms of simple ones, with a small number of them, if possible, is a standard problem in analysis, in particular in signal and image processing, where transmission imposes severe constraints. Signals are usually taken as square integrable functions on some manifold, hence they constitute a Hilbert space.
More precisely, given a separable Hilbert space H, one wishes to represent an arbitrary element f ∈ H by a superposition of simpler, basic elements Ψ = (ψ k ), k ∈ Γ, with Γ a countable index set: One usually requires that the sum converges adequately (e.g., in norm and unconditionally) and that the coefficients c k are unique (if possible) and easy to compute. There are many possibilities for obtaining that result, the simplest ones being that Ψ be an orthonormal basis or a Riesz basis. These two notions indeed solve the problem, but they are very rigid and lead usually to slowly converging infinite expansions. Thus frames were introduced for ensuring a better flexibility, originally in 1952 by Duffin and Schaeffer [1] in the context of nonharmonic analysis. The notion was revived by Daubechies, Grossmann and Meyer [2] in the context of wavelet theory and then became a very popular topic, in particular in Gabor and wavelet analysis [3][4][5][6]. The reason is that a good frame in a Hilbert space (that is, a frame where the ratio of the frame bounds is close to 1) is almost as good as an orthonormal basis for expanding arbitrary elements (albeit non-uniquely) and is often easier to construct and has in many cases additional structural properties. Let us first recall that a sequence Ψ = (ψ k ) is a discrete frame for a Hilbert space H if there exist constants 0 < m ≤ M < ∞ (the frame bounds) such that (2) The frame bounds are usually denoted by A and B in the literature, but this conflicts with the notation for operators. Here we follow our monograph [7]. As a matter of fact, most frames considered in applications are discrete, for instance in signal or image processing [4]. Yet continuous frames offer interesting mathematical problems. They have been introduced originally by Ali, Gazeau and one of us [8,9] and also, independently, by Kaiser [10]. Since then, many papers dealt with various aspects of the concept, see for instance [11][12][13][14].
However, there are situations where it is impossible to satisfy both frame bounds at the same time. Indeed, the two bounds are independent: A sequence that verifies the upper bound may not have a lower bound and a sequence that verifies the lower bound may be unbounded. To give a (simple) example, take an orthonormal basis (e k , k ∈ N). Then the sequence ( 1 k e k ) satisfies the upper bound, but has no lower bound, whereas the sequence (ke k ) satisfies the lower bound, but not the upper one. Therefore, several generalizations of frames have been introduced. Semi-frames [15,16], for example, are obtained when functions only satisfy one of the two frame bounds. Thus one speaks of upper or lower semi-frames. It turns out that a large portion of frame theory can be extended to this larger framework.
More recently, a new generalization of frames was introduced by Balazs and Speckbacher [17], called reproducing pairs. Here, given a measure space (X, µ), one considers a pair of weakly measurable functions (ψ, φ), instead of a single mapping, and one studies the correlation between the two (a precise definition is given below). This definition also includes the original definition of a continuous frame [8,9] to which it reduces when ψ = φ. The choice of the mappings ψ and φ gives more freedom, but it leads to the problem of characterizing the range of the analysis operators, which in general may not be contained in L 2 (X, dµ), as in the frame case. Therefore, it is natural to extend the theory to the case where the weakly measurable functions take their values in a partial inner product space (PIP-space) [7]. Actually we will go further and consider a more general construction. Namely we want to represent elements of an abstract space f ∈ Y by weakly measurable functions (C ψ f )(x) := f |ψ x , belonging to a space Z(X, µ), in such a way that the (formal) inner product is well defined. The interesting point is that the construction extends naturally from the simple case of a frame to the more general case just outlined, and this is the rationale behind the present paper. Nevertheless, since the techniques needed in this general case are very similar to those used in the previous ones, we have sketched them in these simpler cases first, in order to make the paper self-contained. Further information may be found in the original papers or in the review paper [18] that we follow closely. The paper is organized as follows. In Section 2, we review the notions of frames, semi-frames and reproducing pairs and we recall their salient properties. In Section 3, we consider the case where Y and Z are both Hilbert spaces, which corresponds to genuine frames. In particular we construct and analyze the so-called coefficient spaces W ψ (X, µ), W φ (X, µ), which are Hilbert spaces in conjugate duality when (ψ, φ) is a reproducing pair. In Section 4, motivated by the relation (3), we take for target space a PIP-space V J ∼ {V p (X, µ), p ∈ J}, in particular a lattice of Hilbert or Banach spaces (LHS/LBS). In Section 5, we go one step further and take for the initial space another PIP-space Y U ∼ {Y u , u ∈ U}. In particular, we see how the requirement of having a reproducing pair affects the structure of the initial space Y. Finally, we conclude by an Appendix A, in which we recall the main definitions and notations about PIP-spaces (LHS/LBS) and operators on them.

Preliminaries
Before proceeding, we list our definitions and conventions. We work in a (separable) Hilbert space H, with the inner product ·|· linear in the first factor. If A is an operator on H, we denote its domain by D(A), its range by Ran (A) and its kernel by Ker (A). The set of all invertible bounded operators on H with bounded inverse is denoted GL(H). We will consider throughout weakly measurable functions ψ : X → H, i.e., f |ψ x is µ-measurable for every f ∈ H. Here (X, µ) is a locally compact, σ-compact space with a Radon measure µ.
The weakly measurable function ψ is called continuous frame if there exist constants m > 0 and M < ∞ (the frame bounds) such that (4) Remark 1. The geometry of the Hilbert space imposes a number of constraints that severely limit the existence of continuous families acting as bases or frames. Apart from the case of a separable Hilbert space where orthonormal or Riesz bases cannot be uncountable, there are more general situations where, for instance, Riesz bases cannot be continuous, but they are necessarily discrete, in a certain sense [19][20][21][22]. Nevertheless, this result is essentially of theoretical nature and does not affect the interest for continuous frames in applications. On the other hand, continuous frames do really exist in more general frameworks (rigged Hilbert space, PIP-space) as shown in [23][24][25] and in the present paper. This fact constitutes a further motivation for going beyond Hilbert spaces.
Given the continuous frame ψ, we define the analysis operator C ψ : H → L 2 (X, dµ) as and the corresponding synthesis operator C * ψ : L 2 (X, dµ) → H as the integral being understood in the weak sense. Clearly both operators are bounded. We set Thus the so-called frame or resolution operator S ψ is self-adjoint, invertible, bounded with bounded inverse S −1 ψ , that is, S ψ ∈ GL(H). In particular, if X is a discrete set with µ being a counting measure, we recover the standard definition (2) of a (discrete) frame [1,3,4].
The weakly measurable function ψ is said to be µ-total if g|ψ x = 0, µ-a.e., implies g = 0, that is, [15,16], we will say that a family Ψ = {ψ x } is an upper (resp. lower) semi-frame, if it is µ-total in H and satisfies the upper (resp. lower) frame inequality. For the sake of completeness, we recall the definitions. A weakly measurable function ψ is an upper semi-frame if there exists Note that an upper semi-frame is also called a (total) Bessel mapping in the literature [13]. On the other hand, a measurable function φ is called a lower semi-frame if it satisfies the lower frame condition, that is, there exists a constant m > 0 such that Clearly, (9) implies that the function φ is µ-total in H.
If ψ is a measurable function, the operator C ψ , formally defined as for frames, takes values in the space of measurable functions on (X, µ) and the adjoint C * ψ is, in general, meaningless. C ψ has a natural domain in Hilbert space, namely, but this domain, in general, is not dense and nothing guarantees that it does not reduce to {0}.
If the measurable function ψ is an upper semi-frame, the definition implies that Ran C ψ is contained in L 2 (X, dµ). If a measurable function φ is a lower semi-frame, C φ is injective and has closed range.
In the lower case, the definition of the frame operator S φ must be changed, since C φ need not be densely defined, so that C * φ may not exist. Instead, following [15] (Section 2) one defines the synthesis operator as on the domain of all elements F ∈ L 2 (X, dµ) for which the integral in (10) converges weakly in H, and then S φ := D φ C φ . With this definition, it is shown in [15] (Section 2) that S φ is unbounded and S −1 φ is bounded. All these objects are studied in detail in our previous papers [15,16]. In particular, it is shown there that a natural notion of duality exists, namely, two weakly measurable functions ψ, φ are dual to each other (the relation is symmetric) if one has A new generalization of frames was introduced recently by Balazs and Speckbacher [17], namely, reproducing pairs. Given a measure space (X, µ), one considers a couple of weakly measurable functions (ψ, φ), instead of a single mapping. The advantage is that no further conditions are imposed on these functions, which results in an increased flexibility.
More precisely, the couple of weakly measurable functions (ψ, φ) is called a reproducing pair [17,26] if (i) the sesquilinear form is well-defined and bounded on H × H, that is, |Ω ψ,φ ( f , g)| ≤ c f g , for some c > 0 and every f , g ∈ H; and (ii) the corresponding bounded (resolution) operator S ψ,φ belongs to GL(H). Under these hypotheses, one has the integral on the r.h.s. being defined in weak sense. If ψ = φ, we recover the notion of continuous frame, as introduced in [8,9], so that we have indeed a genuine generalization of the latter. Notice that, if ψ = φ, the frame operator S ψ,φ is in general neither positive, nor self-adjoint, since S * ψ,φ = S φ,ψ . However, if (ψ, φ) is a reproducing pair, then (ψ, S −1 ψ,φ φ) is also a reproducing pair, for which the corresponding frame operator is the identity, that is, ψ and S −1 ψ,φ φ are in duality. Thus, there is no restriction of generality to assume that S φ,ψ = I [17]. The only thing that can happen is to replace some norms by equivalent ones.

The Case Y = H and Z = L 2 (X, µ), Both Hilbert Spaces
As mentioned in Section 1, we begin with the case where the initial space Y = H and the target space Z = L 2 (X, µ) are both Hilbert spaces, which is characteristic of a reproducing pair as originally defined [17].
Given a weakly measurable function φ, let us denote by K φ (X, µ) the space of all measurable functions ξ : X → C such that the integral X ξ(x) φ x |g dµ(x) exists for every g ∈ H and defines a bounded conjugate linear functional on H, i.e., ∃ c > 0 such that By the Riesz lemma, we can define a linear map T φ : K φ (X, µ) → H, which we call the synthesis operator, by the weak relation Next, we define the vector space and equip it with the norm where we have put However, the norm · φ derives from an inner product. First, the map Finally, the norm defined by ·|· (φ) coincides with the norm · φ defined in (16), since one has indeed We denote by W φ (X, µ) * the Hilbert dual space of W φ (X, µ), that is, the set of continuous linear functionals on W φ (X, µ). The structure of this dual will be elucidated below.
Now we define a conjugate linear map Notice that this map C φ is conjugate linear, so it should not be confused with the linear map C ψ introduced in (5). Of course, (18) (13) it follows that C φ is continuous . This implies that where the first summand denotes the closure of Ran By modifying in an obvious way the definition given in Section 2, we say that φ is µ-total if A first preliminary result reads as follows.
For the proof, notice that, since S ψ,φ ∈ GL(H), for every h ∈ H, there exists a unique f ∈ H such that S ψ,φ f = h. By (12), we can conclude that is a reproducing pair, both functions are necessarily µ-total, which already implies that Ran T φ is dense in H, by (19).
For future use, we note that, if (ψ, φ) is a reproducing pair, then we have the relation [26] (Theorem 3.12).
The crucial step for characterizing the elements of W φ (X, µ) * is the following result.
Proof. We proceed in several steps. First, if F is a continuous linear functional on W φ (X, µ), then there exists a unique g ∈ H, such that Indeed, given F ∈ W φ (X, µ) * , there exists c > 0 such that Let F be the continuous functional on H defined by and g = F . In conclusion, (22) holds true and F φ * = g , where · φ * is the dual norm defined in (17). Conversely, every g ∈ H obviously defines a continuous linear functional F by (22) Finally, since η(x) := g|φ x ∈ K ψ (X, µ), we have the representation (21). Uniqueness is immediate.

Remark 2.
Several of the previous statements hold true without the assumption that (ψ, φ) is a reproducing pair, see [26] (Section 3) for details.

The lesson of Theorem 1 is that the map
is well-defined and conjugate linear. On the other hand, where the overbar denotes the complex conjugate. Actually, there is more: if (ψ, φ) is a reproducing pair, W φ (X, µ) * and W ψ (X, µ) can be identified. The proof relies on two technical lemmas which can be found in [26] (Lemmas 3.10 and 3.11). These imply that the map Λ defined in (23) where denotes a bounded isomorphism and the norm · ψ is the dual norm of · φ . Finally, for every η ∈ W ψ (X, µ), there exists g ∈ H such that η(x) = φ x |g . In conclusion, one obtains the main result of [26], namely: is a reproducing pair, the spaces W φ (X, µ) and W ψ (X, µ) are both Hilbert spaces, conjugate dual of each other with respect to the sesquilinear form which coincides with the inner product of L 2 (X, µ) whenever the latter makes sense.
This is true, in particular, for φ = ψ, since then ψ is a continuous frame and W ψ (X, µ) is a closed subspace of L 2 (X, µ).
In addition, the converse of Theorem 2 holds if φ and ψ are both µ-total: in that case, (ψ, φ) is a reproducing pair if and only if W φ (X, µ) and W ψ (X, µ) are Hilbert spaces, conjugate dual of each other with respect to the sesquilinear form (24).
In fact, there is more. In a recent paper [22], it is shown that W φ (X, µ) (and thus also W ψ (X, µ), by symmetry), is a reproducing kernel Hilbert space (RKHS) [27]. In order to see this, take an orthonormal By [22] (Theorem 23), it follows that H φ K is a reproducing kernel Hilbert space and one has (compare (20) Finally, the reproducing kernel of H φ K is given by Actually, the kernel R ψ,φ (x, y) := S −1 ψ,φ φ y |ψ x is also reproducing, but for the inner product of L 2 (X, µ), whereas (25) is reproducing for the inner product ·|· φ and is therefore the correct reproducing kernel of H φ K .

The Case Y = H, a Hilbert Space, and Z = V , a PIP-Space
Clearly, the inner product (24) need not always be defined, it is a partial inner product on the space of measurable functions on (X, µ). This obviously suggests to take for the target space Z(X, µ) , as we have proposed in [23], that we mostly follow in this section. As for the relevant notions about PIP-spaces, we have collected them in the Appendix A.

The Case Where Z Is a Rigged Hilbert Space
The simplest example of a PIP-space is a rigged Hilbert space reflexive (hence t and t × coincide with the respective Mackey topologies). Given the measure space (X, µ), we denote by ·, · the sesquilinear form expressing the duality between D and D × . This form replaces the inner product ·|· used so far. As usual, we suppose that this sesquilinear form extends the inner product of D (and H). This allows to build the triplet above.
Let x ∈ X → ψ x , x ∈ X → φ x be weakly measurable functions from X into D × . Instead of (11), we consider the sesquilinear form and we assume that it is jointly continuous on D × D. Writing we see that the operator S ψ,φ belongs to L(D, D × ), the space of all continuous linear maps from D into D × . At this point, we have a choice. A first possibility is to require that the sesquilinear form Ω D be well-defined and bounded on D × D in the topology of H. Then Ω D ψ,φ extends to a bounded sesquilinear form on H × H and the discussion of Section 3 may be essentially repeated verbatim. Thus this choice gives almost nothing new.
Another possibility is to assume that the form Ω D is jointly continuous on D × D, with no other regularity requirement. In that case, the vector space K φ (X, µ) must be defined differently, taking into account the (locally convex) topology of D and D × . Instead of (13), we require that the integral X ξ(x) φ x , g dµ(x) exists for every g ∈ D and defines a continuous conjugate linear functional on D. As before, we define (weakly) a linear map T φ : K φ (X, µ) → D × by the following relation Next, we define again the vector space W φ (X, µ) = K φ (X, µ)/Ker T φ . In order to introduce a topology on W φ (X, µ), we consider a bounded subset M of D[t] and we define the seminorm This means, we are defining the topology of W φ (X, µ) by means of the strong dual topology t × of D × which we recall is defined by the seminorms where M runs over the family of bounded subsets of D[t]. Thus W φ (X, µ) is a locally convex space. As said above, the reflexivity of D entails that t × is equal to the Mackey topology τ(D × , D). Next we consider the dual W φ (X, µ) * of the space W φ (X, µ), that is, the set of continuous linear functionals on W φ (X, µ). As topology on W φ (X, µ) * , we take the strong dual topology. This being done, almost all the results of Section 3 may be deduced. In particular, Theorem 1 remains true, under the form. (26), every continuous linear functional F on W φ (X, µ), i.e., F ∈ W φ (X, µ) * , can be represented as
As in the previous case, one may prove again that W φ (X, µ) * can be identified with a closed subspace of W ψ (X, µ) := {ξ ψ : ξ ∈ K ψ (X, µ)}, but we cannot go further. Indeed the previous results rely heavily on Hilbert space methods, which are not available here.

The Case Where Z Is a LHS/LBS
The next choice is to take for Z a genuine PIP-space, while keeping for the initial space Y a Hilbert space H. For simplicity, we restrict ourselves to a lattice of Banach spaces (LBS) or a lattice of Hilbert spaces (LHS) [7], which is amply sufficient for applications. For instance, {L p [0, 1], 1 < p < ∞}, the lattice generated by {L p (R), 1 < p < ∞} or a lattice of weighted L 2 spaces.
Let V J = {V p (X, µ), p ∈ J} be a LBS or a LHS of µ-measurable functions with the property Thus the central Hilbert space is V o := L 2 (X, µ) and the spaces V p := V p (X, µ), V p := V p (X, µ) are dual of each other with respect to the L 2 inner product. The partial inner product, which extends the inner product of L 2 (X, µ), is denoted again by ·|· . As usual we put V = ∑ p∈J V p and V # = p∈J V p . According to the general theory of PIP-spaces [7], the vector space V is the algebraic inductive limit of the V p 's (see the Appendix A.1). Thus f ∈ V means that f ∈ V p for some p ∈ J. Let ψ, φ be weakly measurable functions from X into H. In the case of Section 3, if (ψ, φ) is a reproducing pair, the frame operator may be written as which is well defined for all f , g ∈ H. But now the inner product is only partial, and this motivates the next assumption. In view of (31), (32), and the definition of V, we assume that the following condition holds: We recall that V p is the conjugate dual of V p . In this case, then defines a sesquilinear form on H × H and one has If Ω ψ,φ is bounded as a form on H × H (this is not automatic), there exists a bounded operator S ψ,φ in H such that Then (ψ, φ) is a reproducing pair if S ψ,φ ∈ GL(H).
In the sequel, we will often need the map C ψ : H → V r to be continuous. In general, however, we have to assume it explicitly, unless the space V r satisfies additional conditions. If C ψ : H → V r is continuous, then C * ψ : V r → H exists and it is continuous too. By definition, if ξ ∈ V r , Thus, Of course, what we have said about C ψ holds in the very same way for C φ . Assume now that for some p ∈ J, C ψ : H → V p and C φ : H → V p continuously. Then, C * φ : V p → H so that C * φ C ψ is a well-defined bounded operator in H, given by the last equality following also from (34). Of course, this does not yet imply that S ψ,φ ∈ GL(H), thus we do not know whether (ψ, φ) is a reproducing pair.
Let us now return to the pre-Hilbert space K φ (X, µ). First, the defining relation (13) must be written as Since C φ : H → V p , the integral is well defined for all ξ ∈ V p . This means, the inner product on the l.h.s. is again the partial inner product of V. . Hence, we may rewrite (36) as Next, by (31), one has, for ξ ∈ V p , g ∈ H, where the last inequality follows from the assumption of continuity of C φ . Hence indeed ξ ∈ K φ (X, µ), so that V p ⊂ K φ (X, µ). As for the adjoint operator, we have C * φ : V p → H. Then we may write, for ξ ∈ V p , g ∈ H, ξ|C φ g = T φ ξ|g , thus C * φ is the restriction from K φ (X, µ) to V p of the operator T φ : K φ → H given in (14), which reads now as Thus C * φ = T φ V p . Next, the construction proceeds as in Section 3. The space W φ (X, µ) = K φ (X, µ)/Ker T φ , with the norm ξ φ φ = T φ ξ , is a pre-Hilbert space. Then Theorem 2 remains true, namely, Theorem 4. If (ψ, φ) is a reproducing pair, the spaces W φ (X, µ) and W ψ (X, µ) are both Hilbert spaces, conjugate dual of each other with respect to the sesquilinear form (24), namely, which coincides with the inner product of L 2 (X, µ) whenever the latter makes sense.
More precisely, we may state Proposition 2. Let (ψ, φ) be a reproducing pair. Then, if C ψ : H → V p and C φ : H → V p continuously, one has In these relations, the equality sign means an isomorphism of vector spaces, whereas denotes an isomorphism of Hilbert spaces.
Since W ψ (X, µ) and W φ (X, µ) are both Hilbert spaces, the relations (38) suggest to take for V p , V p Hilbert spaces as well, that is, take for V a LHS. The simplest case is then a Hilbert chain, for instance, the scale (A2) {H k , k ∈ Z} built on the powers of a self-adjoint operator A > I .
Choose a reproducing pair (ψ, φ). Without loss of generality, we suppose that ψ, φ are dual to each other, that is, S ψ,φ = I. We assume that ψ is an upper semi-frame and φ is a lower semi-frame, dual to each other. It follows that C ψ (H) ⊂ L 2 (X, µ). By Condition (p), there is an index k ≥ 1 such that C ψ : H → H k and C φ : H → H k continuously, so that we may identify V p ≡ H k and V p ≡ H k . Then, according to Proposition 2, we have W ψ (X, µ) = H k /Ker T ψ and W φ (X, µ) = H k /Ker T φ , as vector spaces. Concrete examples will be given in Section 6.

The Case Where Y and Z Are Both PIP-Spaces
In the previous sections, we have taken for the initial space Y a single abstract Hilbert space H. Now we will go one step further and take instead an abstract LBS or a LHS Y ∼ {Y u , u ∈ U}, with Y o = H, while keeping for Z the space V J ∼ {V p (X, µ), p ∈ J}, a LBS or a LHS of complex measurable functions over the usual measure space (X, µ), with V o (X, µ) = L 2 (X, µ).
Let ψ, φ be two weakly measurable functions on X, with values in Y. In the present context, weak measurability means that, for any u, v ∈ U such that ψ ∈ Y u and φ ∈ Y v , the complex functions x ∈ X → f |ψ x and x ∈ X → g|φ x are µ-measurable for every f ∈ Y u , g ∈ Y v .
Define two analysis operators C ψ , C φ ∈ Op(Y) as follows : where the inner product is the partial inner product of Y. Definition 1. Given (u, v) such that ψ ∈ Y u and φ ∈ Y v , assume there exists p ∈ J such that are continuous also. In that case, we say that (u, v) is an admissible couple for (ψ, φ).
Given an admissible couple (u, v) for (ψ, φ), the sesquilinear form Then there exists a continuous operator S ψ,φ : Y u → Y v such that More precisely, in the PIP-space operator language (see the Appendix A), S ψ,φ has a (necessarily The operator S ψ,φ is called the frame operator associated to the pair (ψ, φ).

Construction of Coefficient Spaces
Fix an admissible couple (u, v) for (ψ, φ). Denote by K φ the space of all measurable functions ξ : X → C such that the integral exists for every g ∈ Y v and defines a continuous conjugate linear functional on Y v . That is, there exists c > 0 such that As in the previous cases, we refer to K φ as the coefficient space of φ. The space K ψ is defined in a similar way.
Since the sesquilinear form Ω ψ,φ is bounded, by (40), it is clear that all functions ξ(x) = f |ψ x belong to K φ since, by assumption, exists and is bounded.
Then, following the familiar pattern, we can define a linear map T φ : K φ → Y v , which we call again the synthesis operator by the following relation Set The space W φ can be made into a normed space by defining which implies that the operator T φ : W φ → Y v defined by T φ ξ φ := T φ ξ is continuous, injective and an isometry. Proof. Suppose that Ran T φ is closed and let {(ξ n ) φ } be a Cauchy sequence in W φ [ · φ ]. Then, by definition {T φ ξ n } is a Cauchy sequence in Y v ; hence it converges to h ∈ Y v . Since Ran T φ is closed, h = T φ ξ for some ξ ∈ K φ . It is clear that if ξ ∈ K φ is another function such that h = T φ ξ , then T φ (ξ − ξ ) = 0 and then ξ φ = ξ φ . Moreover This proves that W φ is complete. Conversely, suppose that W φ is a Banach space and let h = lim n→∞ T φ ξ n , ξ n ∈ K φ . Then Hence there exists ξ ∈ K φ such that (ξ n ) φ − ξ φ → 0. This in turn implies that T φ ξ n − T φ ξ → 0 and, therefore h = T φ ξ. We conclude that Ran T φ is closed.
Thus, if W φ is complete, it has a closed image and its inverse is also continuous (but not necessarily everywhere defined).
Note that, if Y is a LHS, the norm · φ is Hilbertian, so that K φ [|| · || φ ] is a pre-Hilbert space (same argument as in Section 3).
The same result applies to W ψ , which is also a pre-Hilbert space in the LHS case, i.e., T ψ : W ψ → Y u is an isometry.
It is shown in [23] (Theorem 3.4), that a linear functional F on W φ [ · φ ] is continuous if, and only if, there exists g ∈ Y v such that Then, taking into account the relations (39) and (40) and the fact that φ x |g ∈ K ψ , we see that every F ∈ W φ (X, µ) * can be represented as with η ∈ K ψ (X, µ). Hence, the dual space W * φ of W φ , with respect to the sesquilinear form given by the L 2 inner product, can be identified with a space E φ of measurable functions containing all functions { g|φ x , g ∈ Y v }.

Compatible Pairs
Fix an admissible couple (u, v) for (ψ, φ). As seen above, the sesquilinear form is well defined and bounded on Y u × Y v . With a proof similar to that of [23] (Theorem 3.6) or that of Section 4, one shows that the dual W * φ can be identified with a closed subspace of W ψ , the space of conjugates of elements of W ψ . On the other hand, it was proved in [26] that, for a reproducing pair of H-valued weakly measurable functions (ψ, φ), the spaces W φ and W ψ are both Hilbert spaces in conjugate duality to each other (see Theorem 2).
In the same vein as in Section 3, in particular Theorem 2, we define a new concept, generalizing to the present situation what has been done in [25]. Definition 2. Let (u, v) be an admissible couple for (ψ, φ). We say that ψ, φ are compatible if W * φ is topologically isomorphic to W ψ and W × ψ , the conjugate dual of W ψ , is topologically isomorphic to W φ . Thus we identify the dual W * φ with W ψ and the conjugate dual W × ψ with W φ .
This definition implies that the spaces W φ and W ψ are reflexive spaces enjoying the duality properties mentioned above, which we write shortly as W * φ ≈ W ψ and W × ψ ≈ W φ . Then we have This proves that (φ, ψ) is a compatible pair if and only if (ψ, φ) is a compatible pair.
In what follows, for simplicity, we will consider pairs (ψ, φ) with ψ, φ both µ-independent. In this case W ψ = K ψ , W φ = K φ . Hence we will use the notation K ψ , K φ for these spaces.
As a matter of fact, compatible pairs and reproducing pairs are closely related, as shown in the following result.
Theorem 5. Let (u, v) be an admissible couple for (ψ, φ), with ψ, φ both µ-independent and µ-total. Consider the following statements : Then, if K φ is complete, (i) implies (ii). On the other hand, (ii) always implies (i). Thus, if K φ is complete, the two statements are equivalent.
It is injective, since φ is µ-independent and ψ is µ-total. Next we show that it is also surjective. We first prove that Ran T φ is dense in Y v . Suppose that g ∈ Y v is such that T φ ξ|g = 0 for every ξ ∈ K φ . Thus, In particular this is true if we take ξ(x) = f |ψ x , with f ∈ Y u . The µ-independence of ψ implies that φ x |g = 0 for almost every x ∈ X. Hence g = 0, because φ is µ-total.
By Proposition 3, Ran T φ is closed in Y v . Hence, Ran T φ = Y v . Therefore, for every Φ ∈ Y v there exists a unique ξ ∈ K φ such that T φ ξ = Φ. This implies that: By the definition of compatible pairs, the conjugate linear functional F ξ on K ψ defined by: is continuous. Then, as discussed at the end of Section 5.1, there exists a unique f ∈ Y u such that Hence, in particular In conclusion, This implies that Φ = S ψ,φ f . Hence S −1 ψ,φ is bounded, by the inverse mapping theorem. (ii) ⇒ (i): Let H ∈ K * φ , the dual of K φ ; then, as discussed at the end of Section 5.1 there exists g ∈ Y v such that: We show that g is unique. Suppose that there exists another g satisfying the same condition. Then it follows that: In particular, this is true for ξ(x) = f |ψ x , for every f ∈ Y u . Thus: Hence, S ψ,φ f |g − g = 0, for every f ∈ Y u . However, since S ψ,φ Y u = Y v , we conclude that G|g − g = 0, for every G ∈ Y v and this, in turn, implies that g = g . Therefore, we can define a map Ξ : This map is an isomorphism of vector spaces. Indeed, it is clearly injective. On the other hand, if g ∈ Y v , the functional is in K * φ and satisfies Ξ(H g ) = g. It is clear that the function η(x) = g|φ x is an element of K ψ . Assume that there exists another function η ∈ K ψ such that This implies that: Then we can define a linear map: where K * φ denote the dual space of K φ . The map Θ is clearly injective. As we have seen Hence C φ,ψ is a conjugate linear map of Y v into K ψ . We want to prove that Ran C φ,ψ coincides with K ψ .
First we have This inequality implies that Ran C φ,ψ is closed in K ψ . Next, we prove that Ran C φ,ψ is also dense in K ψ . If it was not so, there would be a nonzero continuous linear functional F on K ψ such that F( f |φ x ) = 0 for every f ∈ D. Hence, there would exist g = 0 such that: This implies that S φ,ψ f |g = 0 for all f ∈ Y v . However, since S φ,ψ Y v = Y u , this yields a contradiction.
Let us now consider the map Θ defined in (45). An immediate consequence of the equality Ran C φ,ψ = K ψ is that Θ is surjective. This implies that the conjugate dual of K φ can be identified with K ψ , the space of conjugates of elements of K ψ .

The General Case
Take again an admissible couple (u, v) for (ψ, φ), assuming both φ, ψ to be µ-independent and µ-total, for simplicity. We know from Section 5.2 that the dual K * φ can be identified with a closed subspace of K ψ , the space of conjugates of elements of K φ . In addition, K * φ is complete as a dual. Assume first that (ψ, φ) is a compatible pair. Then we have K * φ = K ψ and K * ψ = K φ . Notice that both spaces K ψ and K φ are Banach spaces in general, but they are Hilbert spaces in the case of a LHS since then the norm (43) is Hilbertian [26]. Now T ψ : K ψ → Y u and T φ : K φ → Y v are continuous and bijective, hence the inverse maps T −1 ψ : Y u → K ψ and T −1 φ : Y v → K φ are also continuous by the inverse mapping theorem. Thus T ψ and T φ are isomorphisms. In addition, they are isometries, by (43). Thus K ψ et Y u are isometric and so are the respective duals K * ψ and Y v and the same for K φ ∼ Y v . Since K * φ = K ψ (as spaces of measurable functions), we can say that Y v and Y u have equal norms, hence we have v = u. Thus this is a necessary condition for (ψ, φ) to be a compatible pair for the admissible couple (u, v).
If the condition v = u is satisfied, it follows that the frame operator S ψ,φ maps Y v onto itself continuously and has a bounded inverse, since the representative [S ψ,φ ] vv is invertible, which means that S ψ,φ is an invertible PIP-space operator [28] (see Appendix A.2).
More generally, given an admissible couple (u, v) for (ψ, φ), we may ask under which conditions the latter is a compatible pair, which is the same thing as a reproducing pair, according to Theorem 5. First, we need v = u, that is, there must exist p ∈ J such that C ψ : The required condition is then that one of these representatives [S ψ,φ ] v"v be invertible. This replaces the condition S ψ,φ ∈ GL(H) used for reproducing pairs [23,26].

Comparison with the Case Y = H
As we said in Section 3, the case treated in [23] (Section 4) amounts to take for the initial space Y a single Hilbert space H. We will adapt here the results of that paper to the new situation, described in Definition 1.
Let us suppose that the spaces V r have the following property: (k) If ξ n → ξ in V r , then, for every compact subset K ⊂ X, there exists a subsequence {ξ K n } of {ξ n } which converges to ξ almost everywhere in K.
The property (k) is satisfied by L p -spaces [29] (Theorem 3.12), but presumably not in general. It is satisfied, however, if one has a continuous embedding of a given Banach space of measurable functions into L 1 loc , which applies, for example, to all the Banach function spaces in the sense of Luxemburg-Zaanen [30]. Notice that Condition (k) concerns only the target space Z, it is independent of the initial space Y.
Let (u, v) be an admissible couple for (ψ, φ). Instead of C ψ : H → V, we have that ψ x ∈ Y u , ∀ x ∈ X, and C ψ : Y u → V p (X). Let V r be an arbitrary element of V J (an assaying subspace [7], which is a Banach space or a Hilbert space). Following [23] (Section 4), we define In particular, D r,u (C ψ ) = Y u means C ψ (Y u ) ⊂ V r . According to Definition 1, this condition is satisfied for r = p, but not necessarily otherwise.
Then we have the following results, corresponding to Proposition 4.2 and Corollaries 4.3 and 4.4 of [23].

Proposition 4.
Assume that (k) holds for V r . Then : (i) C ψ : D r,u (C ψ ) → V r is a closed linear map.
(ii) If for some r ∈ J, C ψ (Y u ) ⊂ V r , then C ψ : Y u → V r is continuous.
Proof. The proof of (i) follows verbatim that of [23] (Proposition 4.2), simply replacing H by Y u . The same is true for (ii) and (iii) with the two corollaries.
By definition, C ψ : Y u → V p is continuous. If r = p and condition (k) holds, C ψ (Y u ) ⊂ V r implies that C ψ : Y u → V r is continuous. If r = p and we do not know whether the condition holds, we will have to assume explicitly that C ψ : Y u → V r is continuous.
Suppose now that for some r ∈ J, the maps C ψ : Y u → V r and C φ : Y v → V r are continuous (automatic for r = p). Then, C * φ : V r → Y u , so that S ψ,φ := C * φ C ψ is a well-defined bounded operator from Y u to Y v . Of course, this does not yet imply that [S ψ,φ ] v u , or any other representative, has a bounded inverse. Hence we do not know whether (ψ, φ) is a reproducing pair, even if we impose the necessary condition v = u.

Examples
In this section, we present concrete examples that illustrate all three types of reproducing pairs described in the previous sections.

A Purely Hilbertian Reproducing Pair
Several discrete examples may be found in [26] (Section 6.1). Here, however, we restrict ourselves to continuous examples, which are more interesting.
In conclusion, as for the previous example, (ψ, φ) is a reproducing pair with S ψ,φ = I, where ψ is an upper semi-frame and φ a lower semi-frame.
As compared with the general scheme of Definition 1, we have taken Y u ≡ H l , Y v ≡ H l , V p ≡ H n , V p ≡ H n . This means, in particular, that the condition v = u is satisfied, as expected for a reproducing pair.
Author Contributions: Both authors, Antoine and Trapani, contributed equally.
. involution: V r ↔ V r = V × r , the conjugate dual of V r . infimum: V p∧q := V p ∧ V q = V p ∩ V q . supremum: V p∨q := V p ∨ V q = V p + V q .
It turns out that both V p∧q and V p∨q are Hilbert spaces, resp. reflexive Banach spaces, under appropriate norms (the so-called projective, resp. inductive norms). Clearly the index set J is also an involutive lattice, isomorphic to J by the correspondence r ↔ V r .
Assume that the following conditions are satisfied: (i) I contains a unique self-dual, Hilbert subspace V o = V o .
(ii) for every V r ∈ I, the norm · r on V r = V × r is the conjugate of the norm · r on V r .
Then the PIP-space V J ∼ {V q , q ∈ J} is called a LBS, resp. a LHS. Notice that J = {V p , p ∈ J} denotes a family of spaces, whereas V J ∼ {V q , q ∈ J} denotes the associated PIP-space.
In addition to the family J = {V r , r ∈ J}, it is convenient to consider the two vector spaces V and V # defined as These two spaces themselves usually do not belong to J . According to the general theory of PIP-spaces [7], V is the algebraic inductive limit of the V p 's and V # is the projective limit of the V p 's. We say that two vectors f , g ∈ V are compatible (This notion is the basis of the theory of PIP-spaces [7], it should not be confused with that of Definition 2 !) if there exists r ∈ J such that f ∈ V r , g ∈ V r . Then a partial inner product on V is a Hermitian form ·|· defined exactly on compatible pairs of vectors. In particular, the partial inner product ·|· coincides with the inner product of V o on the latter. A partial inner product space (PIP-space) is a vector space V equipped with a partial inner product. Clearly LBSs and LHSs are particular cases of PIP-spaces.
If A pq is a representative of the operator A, then so are A pq = A pq E qq , for any q < q, where E qq is a representative of the unit operator, and also A p q = E p p A pq , for any p > p. Operators between an LHS/LBS Y K into another one V J are defined in the same way. They are denoted as Op(Y K , V J ).
Although an operator may be identified with a separately continous sesquilinear form on V # × V # , or a conjugate linear continuous map V # into V, it is more useful to keep also the algebraic operations on operators, namely: (i) Adjoint: every A ∈ Op(V J ) has a unique adjoint A × ∈ OpV J ), defined by A × y|x = y|Ax , for x ∈ V q , y ∈ V p and A pq exists.
(A4) that is, (A × ) qp = (A pq ) * , where (A pq ) * : V p → V q is the adjoint map of A pq . Furthermore, one has A ×× = A, for every A ∈ Op(V J ): no extension is allowed, by the maximality condition (iii) of the definition. (i) Symmetric operators, defined as those operators satisfying the relation A × = A, since these are the ones that may generate self-adjoint operators in the central Hilbert space [7] (Section 3.3). (ii) Invertible operators: A is invertible if it has at least one invertible representative; in that case, A has a unique inverse operator A −1 ∈ Op(V J ) [28].