Abstract
Interpolation results of Lions (Ann Scuola Norm Sup Pisa t 13:389–403, 1959), Lions (Math Scand 9:147–177, 1961), Lions and Peetre (Publ Math IHS 19:5–68, 1964) are extended to embed domains of semi-groups into some weighted spaces studied in Artola (Bolletino UMI 5(9):125–158, 2012), Artola (Bolletino UMI, in press, 2016). Hardy’s inequality for weighted spaces (see Bolletino UMI 5(9):125–158, 2012), being necessary for the treatment, the weights are required to belong to the Hardy class \({\mathcal {H}}(p),\ (1\le p\le +\infty )\) defined in Artola (Bolletino UMI 5(9):125–158, 2012.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The paper describes the construction of some intermediate weighted spaces between the domain \(D(\Lambda )\) of an unbounded operator \(\Lambda \), which is the infinitesimal generator of a convenient semi-group G(t), \(0\le t<\infty \) and the space A that is a space \(\Sigma \) satisfying
where \(\subset \) means algebraic and topological imbedding.
It is of interest for applications to construct intermediate space which have the interpolation property: when \((D(\Lambda _{1}),\Sigma _{1},A_{1})\) is another set analogous to \((D(\Lambda ),\Sigma ,A)\), then a linear mapping \(\pi \) from \(A_{1}\) into A such that \(\pi \) restricted to \(D(\Lambda _{1})\) is continuous from \(D(\Lambda _{1})\) into \(D(\Lambda )\) (say \(\pi \in {\mathcal {L}}(D(\Lambda _{1}),D(\Lambda )))\), then \(\pi \) is continuous from \(\Sigma _{1}\) into \(\Sigma \) (i.e. \(\pi \in {\mathcal {L}}(\Sigma _{1},\Sigma )\).
The usual procedure to prove that an intermediate space has the interpolation property is, either by a direct proof, or by showing that the space can be identified with another space which has the property. That second method is employed to embed domains of semi-groups into some weighted spaces studied in [2, 4] but adapted here to a semi-group framework where the weight c(t) belongs to the Hardy class \({\mathcal {H}}(p)\), \(1\le p\le \infty \), that is: \(c(t)\in {\mathcal {H}}(p)\) if and only if the Hardy operator \(\phi {\longrightarrow }{\mathcal {H}}(\phi )\) is continuous from \(L_{c}^{p}(R^{+};A)\) into itself, where \({\mathcal {H}}(\phi )(t)=t^{-1}\int _{0}^{t}{\phi (\tau )d\tau }\) and \(L_{c}^{p}(R^{+};A)=\{\phi ;c\phi \in L^{p}(R^{+};A)\}\).
A similar problem solved in [11], deals with weights \(c(t)=t^{\alpha },\alpha +1/p\in (0,1)\), so that c belongs to \({\mathcal {H}}(p)\) and 1 / c to \({\mathcal {H}}(p^{\prime }),1/p+1/p^{\prime }=1\), in that case.
Section 2 extends all results of [11, 12], to weighted spaces with weights c or 1 / c in Hardy’s class. Section 2.1, introduces a semi-group satisfying a SG-condition and an intermediate weighted space \(\Sigma \) between \(D(\Lambda )\) and A which extends that of [11]. Then in Sect. 2.2, because \(c\in {\mathcal {H}}(p)\), we show that \(\Sigma \) can be identified with a trace space belonging to the class of weighted spaces studied mainly in [2]. In Sect. 2.3, we recall that trace spaces of [2] have the interpolation property, so that we obtain the result for \(\Sigma \).
In Sect. 2.4, duality results are extended on introducing the weight 1 / c which lead to a problem posed by Lions in [12] which either is in general partly solved, or solved in a particular case (see Proposition 2.4).
Section 3 is mainly devoted to spaces studied in [4, 5], called “intermediate mean weighted spaces” which extend those of [13] called “espaces de moyenne”. Generally they are not trace spaces but have the interpolation property. Thus we obtain some results for certain intermediate spaces again between \(D(\Lambda )\) and A.
In Sect. 4, we consider as in [11] the case of n commutative semi-groups which is very important for applications to PDE and leads to a class of weighted Besov or Sobolev spaces probably not well known when equipped with that weights type.
Finally, on using a main result of Lions on distribution semi-groups,Footnote 1 we generalise some results of [13] for intermediate mean weighted spaces between \(D(\Lambda ^{m})\;(m\ge 1)\) and A and also between \(D(\Lambda ^{j+1}),\;D(\Lambda ^{j})\) on adapting a theorem established in [4] to extend the reiteration theorem of Lions–Peetre. Furthermore, a formal example is given that involves certain weighted Besov spaces that are probably new.
2 An intermediate space between \(D(\Lambda )\) and A
If X, Y are Banach spaces, we denote by \({\mathcal {L}}(X,Y)\) resp. \(({\mathcal {L}}(X)\ if\ X=Y)\), the space of linear mappings from X into Y.
Let A be a real or complex Banach space with norm denoted by \(\left| {.}\right| \). Consider an unbounded, closed, operator \(\Lambda \), with domain \(D(\Lambda )\) dense in A. Provided with the norm \(\left| {a}\right| _{D(\Lambda )}=\left| {a}\right| +\left| {\Lambda (a)}\right| \), \(D(\Lambda )\) is a Banach space. When \(\pi \in {\mathcal {L}}(A)\), we denote the norm of \(\pi \) by \(\left\| {\pi }\right\| \).
We assume that \(\Lambda \) is the infinitesimal generator of a semi-group \(t{\longrightarrow }G(t)\) which is continuous and uniformly bounded on \(R^{+}=\;]0,+\infty [\). More explicitly this means that
SG-condition:
The function \(t{\longrightarrow }G(t)\) is strongly continuous from \(t\ge 0\ to\ A\) , with \(G(0)a=a\) and there is a constant M such that \(\left\| {G(t)}\right\| \le M<\infty \).
To construct an intermediate space between \(D(\Lambda )\) and A we begin with a simple space connected with a trace space.
2.1 The space \(\Sigma \)(p,c;D(\(\Lambda \)),A)
Let \(p,1\le p<\infty \) and c: \(t{\longrightarrow }c(t)\), \(R^{+}=(0,+\infty ){\longrightarrow }R^{+}\), be a locally integrable function satisfying
and
Moreover, we assume that,Footnote 2
Remark 2.1
(1) Condition (2.3) characterizes the weights c for which the Hardy operator:
is continuous from \(L_{c}^{P}(A)\) into itself when cf \(\in \) \(L^{p}(A)=L^{p}(R^{+};A)\), which is a Banach space when equipped with the natural norm \(\left| {f}\right| _{L^{p}(A)}=\left( {\int _{R^{+}}^{}{\left| {f(\tau )}\right| _{A}^{p}}}\right) ^{1/p}\) (usual definition holds for \(p=\infty \)).
In what follows we shall write \(c\in {\mathcal {H}}(p)\) to say that c satisfies (2.1) and (2.3)
(2) A weight c which is a non-increasing function,obviously belongs to \({\mathcal {H}}(p)\) for all p, and if \(\phi \) is a non-increasing function then \(\phi \) c \(\in {\mathcal {H}}(p)\) when \(c\in {\mathcal {H}}(p)\).
(3) It is of interest to notice that (2.2) is only a necessary condition for \(c\in {\mathcal {H}}(p)\) (see [2]).
We define the space \(\Sigma (p,c;D(\Lambda ),A)\) as a subspace of A such that: \(a\in A\), with
\(\Sigma (p,c;D(\Lambda ),A)\) becomes a Banach space, When equipped with the norm
Proposition 2.2
Assume that (2.1i) and (2.2) hold, and let G satisfy the “SG-condition”. Then the space \(\Sigma (p,c;D(\Lambda ),A)\) is an intermediate space between \(D(\Lambda )\) and A. That is
where \(\subset \) means algebraic and topological inclusion.
Proof
Naturally we have to check only the first inclusion.
From semi-group theoryFootnote 3 \(for\ a\in D(\Lambda )\), the function \(t{\longrightarrow }G(t)a\) is continuous and derivable, the derivative being \(G(t)\Lambda a\), so that
and consequently
for a fixed \(T_{0}\), we then deduce from (2.1i)
with
On the other hand, we have
and from (2.2)
This complete the proof for the first inclusion algebraically and also topologically, because there is a positive constant K, such that
We next show that the space \(\Sigma (p,c;D(\Lambda ),A)\) can be identified with a trace space.
2.2 The space \(\Sigma (p,c;D(\Lambda ),A)\) as a trace space
We define, as a particular case of spaces studied in [2]:
where \(W(p,c;D(\Lambda ),A)\) is a Banach space when provided with the natural norm.
The last condition on Du must be understood as follows: u is differentiable in the sense of distributions on \(R^{+}\) with values in A, Du being locally integrable, so that the product with c takes a sense.
Now since Du is locally integrable, u is absolutely continuous and hence continuous. Then we can consider that u is continuously differentiable with values in A and u(t) is defined for \(t\in ]0,+\infty [\). Therefore when \(\lim \limits _{t{\longrightarrow }+0}u(t)=a\) in A exists, we shall say that u has a \(trace\; u(0)=a\) at \(t=0\).
For the existence of traces \(({\not =}0)\), we have from [2]:
Proposition 2.3
Conditions (2.1) are necessary and sufficient for the existence of a trace \(a\ {\not =}0\).
Assuming that conditions (2.1) hold, let T \((p,c;D(\Lambda ),A)=T_{0}^{1}(p,c,D(\Lambda );p,c,A)\) the space spanned in A by \(u(o)=a\) when u spans the space \(W(p,c;D(\Lambda ),A)\). The space \(T(p,c;D(\Lambda ),A)\) is a Banach space, When equipped with the norm:
The space \(T(p,c;D(\Lambda ),A)\) is called a trace space (here of order 0).
Remark 2.4
The definition of the norm of \(T(p,c;D(\Lambda ),A)\) shows that the space can be interpreted as the quotient space \(W(p,c;D(\Lambda ),A)/W_{0}(p,c;D(\Lambda ),A)\) where
From (2.1), the space of traces \(T(p,c;D(\Lambda ),A)\) exists and we have:
Theorem 2.5
Assume that \(\Lambda \) is the infinitesimal generator of a continuous and uniformly bounded semi-group \(t{\longrightarrow }G(t)\). Given p with \(1\le p\le \infty \), let \(c\in {\mathcal {H}}(p)\). Then the linear mapping
Proof of Theorem 2.5
The proof involves two steps:
Step 1: \(u{\longrightarrow }u(0)\ is\ continuous\ from\ W(p,c,\Lambda )\ into\ \Sigma (p,c;D(\Lambda ),A)\).
Since \(u\in W(p,c;D(\Lambda ),A),\; \forall t>0,\ u(t)\in D(\Lambda )\), we can write
and from the definition of \(W(p,c;D(\Lambda ),A)\), we deduce that
ThereforeFootnote 4 the method of Cauchy to solve (2.8) gives
and when we set \(u(0)=a\), we have
and
On setting \(\frac{du}{dt}=u^{\prime }\), we get
where
As \(c\in {\mathcal {H}}(p)\) and because \({cu^{\prime }}\in L^{p}(A)\) the weighted Hardy inequality gives
For \(I_{2}\), because \(\forall t\ge 0, \left\| {G(t)}\right\| \le M<\infty \), and from (2.9), the procedure is analogous to that for \(I_{1}\) and Hardy’s inequality gives the required estimate. We deduce that \(a\in \Sigma (p,c;D(\Lambda ),A)\). Thus the result for the step 1 is proved.
Step 2: The mapping \(u{\longrightarrow }u(0)\) is onto.
Assume \(a\in \Sigma (p,c;D(\Lambda ),A)\). We have to check that a function \(u\in W(p,c;D(\Lambda ),A)\) can be found such that \(u(0)=a\).
On introducingFootnote 5
We define a continuous function from \(t\ge 0\) into A with
Now we use
Lemma 2.6
For any \(t>0\)
and
Proof:
Obviously when \(a\in D(\Lambda )\), we obtain
\(D(\Lambda )\) being dense in A, and the operator \(\Lambda \) being closed, that is true for every \(a\in A\). The lemma is proved.
Therefore, \(v(t)\in D(\Lambda )\), and
Consequently, we deduce
belongs to \(L^{p}(A)\), because \(a\in \Sigma (p,c.D(\Lambda ),A)\).
Consider now the derivative \(v^{\prime }=dv/dt\). From (2.10) we have
so that
and finally
where
In order to check that
and because \(c\Lambda v\in L^{p}(A)\) it is sufficient to obtain the result for w. Since
in conjunction with the definition of \(\Sigma (p,c;D(\Lambda ),A)\) and on applying the weighted Hardy inequality, we obtain \(cw\in L^{p}(A)\).
Hence (2.13) holds and Theorem 2.5 is proved, if we consider the function u defined by \(u(t)=\Phi (t)v(t)\), where the function \(\Phi \) is once continuously differentiable on \(t\ge 0\) and vanishes for t sufficiently large, and is such that \(\Phi (0)=1\). Thus \(u\in W(p,c;D(\lambda ),A)\) and \(u(0)=a\).
2.3 Interpolation property
From [1], we know that any trace theorem gives an interpolation result and we have proved in [2] that, generally, the traces of weighted spaces (of the Hardy’s class) have the interpolation property.
Let \((A_{1},\Lambda _{1}, W_{1}(p_{1},c_{1};D(\Lambda _{1}),A_{1})T_{1})\), be a set analogous to \((A,\Lambda ,W,T)\). Therefore
implies
Thus, since \(\Sigma (p,c,D(\Lambda ),A)=T(p,c,D(\Lambda ),A)\), we have
Theorem 2.7
Given \(\{(A,\Lambda ,W,\Sigma ),(A_{1},\Lambda _{1},W_{1},\Sigma _{1})\}\), we assume \(\pi \in {\mathcal {L}}(D(\Lambda ),D(\Lambda _{1}))\cap {\mathcal {L}}(A,A_{1})\). Then
Remark 2.8
Define \(\hat{c}(t)=t^{-1/p}c(t)\) with \(c\in {\mathcal {H}}(p)\), then also \(\hat{c}\in {\mathcal {H}}(p)\). Therefore, when we consider spaces constructed with c replaced by \(\hat{c}\), the previous result still holds.
If we denote by \(L_{*}^{p}(A)\) the space \(L^{p}(A)\) equipped with the Haar measure on \(R^{*}\), we have the equivalence:
2.4 Duality
Since \(D(\Lambda )\) is dense in A, we may identify \(A^{\prime }\), the dual (or antidual) of A, as a subspace of \(D(\Lambda )^{\prime }\) and
Indeed if i is the injective mapping of \(D(\Lambda )\ into\ A\), then its range is dense in A. This implies that the adjoint \(i^{*}\) is a continuous injective mapping from \(A^{\prime }\) into \(D(\Lambda )^{\prime }\), whose the range is dense.
Assume
From Proposition 3.1, and Theorem 4.7 of [2], we obtain
where \(1/p+1/p{\prime }=1\).
Remark 2.9
For the moment, we note that only the condition (2.1)\(^{\prime }\) is needed for existence of the trace space \(T_{0}^{1}(p^{\prime },c^{-1},A^{\prime },p^{\prime },c^{-}D(\Lambda )^{\prime })\), that is
which is (globally) (2.1).
To study the dual of the space \(\Sigma (p,c;D(\Lambda ),A)\), we observe that \(G(t)\in {\mathcal {L}}(D(\Lambda ),D(\Lambda ))\), the norm of G(t) in that space being majorized by M and G(t) is defined as a semi group into \(D(\Lambda )\).
If \(\tilde{G}(t)\) denotes the adjoint of G(t) in \({\mathcal {L}}(D(\Lambda ),D(\Lambda ))\), we have:
\(\tilde{G}(t)\) being a semi-group on satisfying the SG-condition in \(D(\Lambda )^{\prime }\).
Let \(\Lambda ^{*}\) be the adjoint of \(\Lambda \) with domain \(D(\Lambda ^{*})=A^{\prime }\) which is an element of \({\mathcal {L}}(A^{\prime },D(\Lambda )^{\prime })\).
To prove that \([\Sigma (p,c;D(\Lambda ),A)]^{\prime }=\Sigma ^{\prime }(p^{\prime },c^{-1};A^{\prime },D(\Lambda )^{\prime })\), equipped with the norm
is an intermediate space between \(A{\prime }\) and \(D(\Lambda ){\prime }\), we need to assume:
which together with (2.1ii) gives the result by the same method that used for Proposition 2.2.
To prove that
we need to assume moreover that
Thus we have obtained.
Theorem 2.10
Let G(t) be a semi-group with infinitesimal generator \(\Lambda \), satisfying the SG-condition in the reflexive Banach space A.
Let \(\tilde{G}(t)\) be the adjoint semi-group in \(D(\Lambda )\) and for p with \(1<p<\infty \), we assume \(c\in {\mathcal {H}}(p)\) and \(c^{-1}\in {\mathcal {H}}(p{\prime })\).
Then the dual space of \(\Sigma (p,c.D(\Lambda ),A)\) is algebraically and topologically equivalent to the space \(T(p{\prime },c^{-1};A{\prime },D(\Lambda ){\prime })\) equipped with the norm of \(T_{0}^{1}(p{\prime },c^{-1},A{\prime }; p{\prime },c^{-1},D(\Lambda ){\prime })\) that is
On an other hand, from [2], every continuous linear form L on \(\Sigma (p,c;D(\Lambda ),A)\) may be written (with non uniqueness).
where \(<,>\) denotes the bracket in the duality \(<A{\prime },A>\), with
We note that, a.e. on t, one has
and we deduce
Lemma 2.11
Let \(f\in L^{p{\prime }}(R^{+}; A{\prime })\). Then the function
belongs to \(L^{1}(R^{+};D(\Lambda ){\prime })\).
The lemma is the dual result to Proposition 2.2.
Proof
-
(1)
First we have that \(g\in L^{1}(1,\infty ;A{\prime })\) because
$$\begin{aligned} \left| {g(t)}\right| _{A{\prime }}\le (M+1)t^{-1}c(t)\left| {f(t)}\right| _{A{\prime }}, \end{aligned}$$and from (2.2), the result follows by Hölder’s inequality.
-
(2)
Now, we check that \(g\in L^{1}(0,1.D(\Lambda ){\prime })\).
When \(a{\prime }\in A{\prime }\), it follows that
so that
and from (2.1i), the result follows by Hölder inequality.
Taking in account (2.17–2.19) and the Lemma 2.11, we can finally give an equivalent version of Theorem 2.10.
Theorem 2.12
Let G(t) semi-group with infinitesimal generator \(\Lambda \), satisfying the SG-condition in the reflexive Banach space A.
Let \(1<p>+\infty \), and assume \(c\in {\mathcal {H}}(p),\; c^{-1}\in {\mathcal {H}}(p^{\prime }), 1/p+1/p^{\prime }=1\). Then we can write every element \(a\in \Sigma (p,c;D(\Lambda ),A)\) as
where
The representation (2.21, 2.22) is non-unique.
2.4.1 A problem of Lions
In [12] the following problem is considered:
Problem P:
Let \(\Phi \) be the set
and denote by \(S_{\phi }(p,D(\Lambda ),A)\) the space of \(a\in A\) such that
Equipped with the norm
\(S_{\phi }(p,D(\Lambda ),A)\) becomes a Banach space.
From (2.23), we have
Then a question is: what are the functions \(\phi \in \Phi \) such that the space \(S_{\phi }(p,D(\Lambda ),A)\) is an interpolation space?
A partial answer is given here:
Indeed if we define \(\phi =\frac{c(t)}{t},\ with\ c\in {\mathcal {H}}(p)\), then thanks to (2.1i) and (2.3), \(\phi \in \{\Phi \}\) and from Sect. 2.2, the space \(S_{\phi }(p,D(\Lambda ),A)\) is identified with the trace space \(T(p,c;D(\Lambda ),A)\) which is an interpolation space.
Then we have
Now a dual problem is
Problem P \(^{*}\) :
Let \(\Psi \) be the set
Then, for every \(f\in L^{p}(R^{+},D(\Lambda ))\) the function
belongs to \(\ L^{1}(R^{+};A)\) and we can consider the mapping
from \(D(\Lambda )\times L^{p}(R^{+};D(\Lambda ))\ into\ A\).
Denote by \(S_{\psi }(p,D(\Lambda ),A)\) the range of the mapping (2.26) equipped with the norm
for every
Then \(S_{\psi }(p,D(\Lambda ),A)\) is a Banach space which is also an intermediate space:
Therefore the problem is: “what are the functions \(\psi \) satisfying (2.27) such that \(S_{\psi }(p,D(\Lambda ),A)\) is an interpolation space?”
From Theorem 2.12 an answer is given when \(\psi (t)=\frac{1}{tc(t)},1/c\in {\mathcal {H}}(p{\prime })\). Thus on setting
we obtainFootnote 6
Remark 2.13
(1) In [10, 11] the case with weights \(t^{\alpha }\) is studied under the assumption \(\theta =\alpha +1/p\in ]0,1[\) which implies both that \(c\in {\mathcal {H}}(p)\) and \(\frac{1}{c}\in {\mathcal {H}}(p{\prime })\) so that the associated functions \(\phi ,\psi \) are \(\phi (t)=t^{\alpha -1},\psi (t)=t^{-(\alpha +1)}\).
(2) If we assume that the function \(\phi \) (resp. \(\psi )\) is such that \(log(t\phi )\;(resp.\;\log (t\psi ))\) is of finite order distinct from \(-1\), with respect to \(\log t\) when \(t\longrightarrow 0 \ or\ t{\longrightarrow }\infty , (condition {\mathcal {A}})\), and since we can naturally assume that \([t\phi ]^{-1}\in L^{p{\prime }}(0,t_{0}), (resp.\;[t\psi ]^{-1}\in L^{p}(0,t_{0}))\) for any \(t_{0}>0\), then from a result of Bourbaki [6], we can check that
for constants \(k_{i}\; (i=0,1)\).
Consequently (2.3) holds for \(c(t)=t\phi (t)\), and we obtain \(c\in {\mathcal {H}}(p)\). An analogous result holds for \(c^{*}(t)=t\psi (t)\) and \(c^{*}\in {\mathcal {H}}(p{\prime })\).
From remark 2.13(2), we have
Proposition 2.14
Assume that Condition A of Remark 2.13, holds. Then the solution of Problem P (resp. of Problem P\(^{*}\)) is given by \(\phi (t)=\frac{c(t)}{t}\), with \(c\in {\mathcal {H}}(p)\), (resp. by \(\psi (t)=\frac{c^{*}(t)}{t}\), with \(c^{*}\in {\mathcal {H}}(p{\prime })\), and we can take \(c^{*}(t)=1/c(t)\).
3 Intermediate weighted mean spaces
In [2] we have defined the space \(\hat{\Sigma }_{\theta }=\Sigma (p,\theta ,\hat{c},D(\Lambda );p,\theta -1,\hat{c},A)\), where \(\theta \in (0,1)\), (and \(\hat{c}\) as in Remark 2.8), by
Equipped with the norm
\(\hat{\Sigma }_{\theta }\) becomes a Banach space.
Since properties of spaces named “Espaces de moyennes” by Lions–Peetre extend to the weighted space \(\Sigma _{\theta }\), we call these spaces “weighted mean spaces”.
One has
Theorem 3.1
The space \(\hat{\Sigma }_{\theta },\theta \in (0,1)\) is an intermediate space between \(D(\Lambda )\) and A having the interpolation property.
Proof
We have only to prove the interpolation property.
To do that we use a result (of Lemma 4.3 and Remark 4.4 from [2]) that gives
Consider, another set \((A_{1},\Lambda _{1})\) like \((A,\Lambda )\) and let \(\pi \in {\mathcal {L}}(A,A_{1})\) (with norm \(\omega _{0}\) in that space) which restricted on \(D(\Lambda )\ belongs\ to\ {\mathcal {L}}(D(\Lambda ),D(\Lambda _{1}))\), (with norm \(\omega _{1}\)) then we have to prove that
Then if we denote for the moment \(\Sigma _{\theta }^{i}\), \(i=0,1\), the space \(\Sigma _{\theta }\) by \((A,\Lambda )\ (resp\). \((A_{1},\Lambda _{1}))\), we have when \(a\in \Sigma _{\theta }^{0}, that\ \pi a=\pi a_{0}+\pi a_{1}\), and (obviously) with the notations used in inequality (3.3) :
and, again with (3.3), we obtain
and the theorem is proved.
If we denote by \(\omega \) the norm of \(\pi \in {\mathcal {L}}(\Sigma _{\theta }^{0},\Sigma _{\theta }^{1})\), this shows that
From the comparison with traces spaces made in [2], we obtain
Theorem 3.2
When \(\theta =1/p,1\le p<+\infty \), it follows that
with equivalent norms.
Proof
See [2] and (Sect. 5, Theorem 5.2).
Another definition of the space \(\Sigma _{\theta }\) is given in [2]: Consider a function \(t{\longrightarrow }v(t)\), defined on \(R^{+}\)with values in \(D(\Lambda )\), and assume that v belongs to the space
which is a Banach Space when equipped with the natural norm.
Then when
the integral \(\int _{0}^{+\infty }{\frac{v(t)}{t}dt}\) exists in A.
Proposition 3.3
Consider the space spanned by \(a=\int _{0}^{+\infty }{\frac{v(t)}{t}dt.}\) When v spans the space V, which is a Banach space provided with the norm
then that space can be identified with the space \(\Sigma _{\theta }\).
Proof
(see [2, Theorem 4.2]).
Remark 3.4
The condition (3.5) means that
we know that is implied by the condition \(t^{-\theta }[\hat{c}(t)]^{-1}\in {\mathcal {H}}(p{\prime })\) which is satisfied when \([\hat{c}(t)]^{-1}\in {\mathcal {H}}(p{\prime })\).
Henceforth, we assume that the last conditon holds.
We may introduce a variant for the Space \(\Sigma \) of section2: Let the space \(\Sigma _{\theta },\ \theta \in (0,1)\),be the subspace of A such that
Equipped with the norm
\(\Sigma _{\theta }\) is a Banach space.
Remark 3.5
Observe that when G(t) is relaced by \(e^{-kt}G(t),\ k>0\) \(,\ \Lambda \) becomes \(\Lambda +kI\) with the same domain \(D(\Lambda )\), and consequently
without change of the space \(\hat{\Sigma }_{\theta }\). Moreover, the space \(\Sigma _{\theta }\) is not changed when we assume that (3.7) holds.
Thus we can assume now that (3.7) holds and since a space does not change when we replace its norm with an equivalent norm,
we can take \(\left\| {a}\right\| _{1}=\underset{t\ge 0}{Sup}\left| {G(t)a}\right| \)which is equivalent to\(\ \left| {a}\right| \) (note that \(\left| {a}\right| \le \left\| {a}\right\| _{1}\le M\left| {a}\right| \) and the new norm of G(t) is \(\underset{t\ge 0}{Sup}\ \frac{\left\| {G(t)a}\right\| _{1}}{\left\| {a}\right\| _{1}}\le 1\).)
Then we may assume that G(t) has a norm \(\le 1\), and eventually, if necessary, we can change again \(G(t)\ in\ G(t)e^{-kt}\) to have \(\left\| {G(t)}\right\| \le e^{-kt},k>0\). Thus we will assume in what follows that
Another variant for the space \(\hat{\Sigma }_{\theta }\), is the space \(S_{\theta }\) such that a function v can be found with values \(a.e.\ in\ D(\Lambda )\) for which \(a=\int _{0}^{+\infty }{\frac{v(t)}{t}dt\ in\ A,}\) and
Then \(S_{\theta }\) become a Banach space equipped with the norm
Therefore the main result of Sect 3 is
Theorem 3.6
Assume that G(t) satisfies the SG-condition and (3.13)\(,1\le p\le \infty \), and also that \(\hat{c}\in {\mathcal {H}}(p),\ [\hat{c}]^{-1}\in {\mathcal {H}}(p{\prime })\).
Then the following conditions are equivalent :
-
(1)
- \(a\in \hat{\Sigma }_{\theta }=\Sigma (p,\theta ,\hat{c},D(\Lambda );p,\theta -1,\hat{c},A\))
-
(2)
- \(a\in \Sigma _{\theta }\).
-
(3)
- \(a\in S_{\theta }\).
An immediate deduction is that \(\hat{\Sigma }_{\theta }=\Sigma _{\theta }=S_{\theta }\) with equivalent norms. Note that the conditions upon the weight may be relaxed.
Proof
I) \((1){\Longrightarrow }(2)\).
From the definition when \(a\in \hat{\Sigma }_{\theta }\) we have together with (3.1) that \(a=a_{0}(t)+a_{1}(t)\ a.e\). But we know that \(\left| {(I-G(t))a}\right| \le t\left| {\Lambda a}\right| \), for every \(a\in D(\Lambda )\), and therefore
Since \(\left\| {I-G(t)}\right\| \le 2\), consequently
and the result follows from (3.1).
II) \((3){\Longrightarrow }(1)\).
Let v satisfy (3.11). We must to check that
which, from remark 3.5, implies that (1) holds.
We can write
and as \(\left\| {I-G(t)}\right\| \le 2\), the first condition (3.13) is obtained from (3.11).
Then, since
we conclude that
and the second condition of (3.13) is satisfied from (3.11).
III) \((2)\ {\Longrightarrow }(3)\).
Assume given \(a\in \Sigma _{\theta }\), and define v by
where k is a constant to be chosen.
Now \(\hat{c}(t)t^{\theta }\left( {I-G(t)}\right) ^{-1}\Lambda v(t)=k\hat{c}(t)t^{-(1-\theta )}\left( {I-G(t)}\right) a\in L^{p}(A)\), because \(a\in \Sigma _{\theta }\). Thus v satisfies (3.11), which implies that (3.13) is satisfied so that the integral \(I(v)=\int _{0}^{+\infty }{\frac{v(t)}{t}dt}\) exists.
It remains to prove that
with a convenient choice of k found with the help of Lemmas (1-1) and (1-2) ([13, p. 53]) for \(\alpha =1,\mu =2\). Then (3.15) is true when \(k^{-1}=-\int _{0}^{+\infty }{t^{-2}(1-e^{-1}})^{2}dt\) (see also in Sect. 5).
4 Commutative semi-groups
One consider \(\nu \ unbounded\ operators\ \Lambda _{i},\ i=1,2\ldots ,\nu \) with domain \(D(\Lambda _{i}) dense\ in\ A\), every \(\Lambda _{i}\) being the infinitesimal generator of a semi-group \(G_{i}(t)\), satisfying the SG-condition.
Moreover, assume that
This implies that \(G_{j}(t)\in {\mathcal {L}}(D(\Lambda _{i}),D(\Lambda _{j}))\) and consequently that
Definition 4.1
We denote by \(W(p,c,\Lambda _{1},\ldots ,\Lambda _{\nu })\) the space of functions u satisfying
with \(1<p\le \infty ,\ c\in {\mathcal {H}}(p)\).
Provided with the norm
the space \(W(p,c,\Lambda _{1},\ldots ,\Lambda _{\nu })\) is a Banach space.
Definition 4.2
Denote by \(\Sigma (p,c,\Lambda _{1},\ldots ,\Lambda _{\nu })\) the space
Equipped with the norm
\(\Sigma (p,c,\Lambda _{1},\ldots ,\Lambda _{\nu })\) becomes a Banach space.
Denote by \(D(\Lambda _{1},\ldots ,\Lambda _{\nu })\), the space of \(a\in D(\Lambda _{i}),\ for\ i=1,\ldots ,\nu \), which is a Banach space when provided with the norm
We have
and we want to show that the space \(\Sigma (p,c,\Lambda _{1},\ldots ,\Lambda _{\nu })\) can be identified with the trace space \(T(p,c,\Lambda _{1},\ldots ,\Lambda _{\nu })\) of \(W(p,c,\Lambda _{1},\ldots ,\Lambda _{\nu })\).
For this purpose we have
Theorem 4.3
Assume that every \(\Lambda _{i}\) satisfies the SG-condition and that (4.1) holds. Moreover assume \(c\in {\mathcal {H}}(p),\ 1\le p\le \infty \). Then the linear mapping
Proof
On recalling the first step in the proof for the Theorem 2.5, we have only to prove that the mapping is \(``onto''\).
Let \(a\in \Sigma (p,c,\Lambda _{1},\ldots ,\Lambda _{\nu })\). To construct a function \(u\in W(p,c,\Lambda _{1},\ldots ,\Lambda _{\nu })\), satisfying \(u(o)=a\), we let
and defineFootnote 7
In what follows, to fix the ideas, it is sufficient to consider only the case when \(\nu =2\).
Since \(v_{i}(t)\ commutes\ with\ G_{i}(t)\), Lemma 2.6 implies,
and therefore \(\left\| {v_{i}(t)}\right\| \le M\), follows from \(\left\| {G_{i}(t)}\right\| \le M_{i}\).
Then
and
So that \(c\Lambda _{1}v\in L^{p}(A)\), and we deduce
Now to consider \(v{\prime }(t)\):
with
To prove that
it is sufficient to prove
The second step in the proof of Theorem 2.2, gives
and thus
But (4.6), implies \(cw_{1}^{1}\in L^{p}(A)\), and it remains only to estimate \(w_{1}^{2}\). Since \(\left\| {v_{2}(t)}\right\| <M_{2}\), we have
so that, from the definition of the space \(\Sigma (p,c,\Lambda _{1},\ldots ,\Lambda _{\nu })\) and from the weighted Hardy inequality, we obtain \(cw_{1}^{2}\in L^{p}(A)\). Thus (4.8) is proved.
Finally as in the proof of Theorem 2.2, we could define \(u\in W(p,c,\Lambda _{1},\ldots ,\Lambda _{\nu })\) by \(u(t)=\Phi (t)v(t)\) with \(u(0)=a\).
Example 4.4
We consider the space \(A=L^{q}(R^{n})\). Let \(x=(x_{1},\ldots ,x_{n})\in R^{n}\) and denote by
the infinitesimal generator of the semi-group defined by
The hypothesis of Theorem 4.3 is satisfied, and the space
is the usual Sobolev space of order 1 (see [16]).
Let \(\Omega =\{x,t;\ t\ge 0)\ \subset R_{x}^{n}\times R_{t}\), and assume that \(f\in L_{t}^{p}[L_{x}^{p}(\Omega _{t})]\simeq \int _{0}^{\infty }{\left( {\int _{R_{x}^{n}}{\left| {f(x,t)}\right| ^{q}}dx}\right) ^{p/q}dt}\). Then “\(u\in W(p,c,\Lambda _{1},\ldots ,\Lambda _{n})\)” is equivalent to
and Theorem 4.3 shows that the mapping \(u{\longrightarrow }u(x,o)\) is continuous from the space of u satisfying (4.10) onto the functions f such that
For \(p=q\ ,c(t)\equiv 1\), the result is given in Gagliardo [9] where the case \(p=1\) is solved. For \(c(t)=t^{\alpha },\ \alpha +1/p\in ]0,1[\) (where \(t^{\alpha }\in {\mathcal {H}}(p)\ and\ t^{-\alpha }\in {\mathcal {H}}(p{\prime })\)). See, for example, the discussion by: Lions [12], Peetre [16] and also Slobodetskii [17], and Vacherin [20] (\(p=q=2,\ \alpha \in (0,1/2)\). Nevertheless, as far as the present author is aware, there are few, if any, results for weights spaces belonging generally to \({\mathcal {H}}(p)\).
5 Intermediate mean spaces between \(D(\Lambda ^{m})\) and A
Let \(\Lambda , G(t)\), satisfying the SG-condition. For \(m\in N,\ m\ge 1\) we denote by \(D(\Lambda ^{m})\), the space of \(a\in D(\Lambda )\), such that \(\Lambda a\in D(\Lambda ),\ldots ,\ \Lambda ^{m-1}a\in D(\Lambda )\), which equipped with the graph norm:
is a Banach space.
The main Lemma of Lions ([13, pp. 53–54]) uses the notion of distribution semi-groups, and is reproduced as lemma below.
Lemma 5.1
\(Let\ \alpha \in N,\ \alpha \ge 1\ be\) given. Consider \(\mu \in N,\ \mu \ge \alpha +1\), and put \(\ k_{\alpha ,\mu }=\int _{0}^{\infty }{t^{-(\alpha +1)}\left( {1-e^{-t}}\right) ^{\mu }dt}\).
On the other hand let \(a\in A\) such that
Therefore \(a\in D(\Lambda ^{\alpha })\) and
Now we return to Theorem 3.6 where we change \(D(\Lambda )\) in \(D(\Lambda ^{m})\) and \(\theta \) in \(m\theta \). We have
Theorem 5.2
Assume that G(t) satisfies the SG-condition, and (3.13) with \(1\le p\le \infty \), and also that \(\hat{c}\in {\mathcal {H}}(p),\ [\hat{c}]^{-1}\in {\mathcal {H}}(p{\prime })\).
Then the following conditions are equivalent:
(1) \(a\in \hat{\Sigma }(p,\theta m,,\hat{c},D(\Lambda ^{m});p,(\theta -1)m,\hat{c},A)\),
(2) \(a\in \Sigma _{\theta m}\),
(3) \(a\in S_{\theta m}\).
We have
and \(S_{\theta m}\) is the space of \(a\in A\), such that a function v can be found with values a.e. in \(D(\Lambda ^{m})\) such that
Proof
First we use the homogeneity result of [2], which states
Then the same proof as that for Theorem 3.6 (upto some obvious modifications) shows \((1){\Longrightarrow }(2)\) and \((3){\Longrightarrow }(1)\). To prove that \((2){\Longrightarrow }(3)\), define \(v(t)=kt^{-m}(I-G(t))^{2m}\Lambda ^{-m}a\), with \(k=(-1)^{m}/K_{2m,m}\) (notation of the Lemma 5.1). The proof is analogous to that of Theorem 3.6 on using the Lemma 5.1.
Now when
Theorem 5.2 gives
with equivalent norm.
Let \(X_{i}=\hat{\Sigma }(p,\theta _{i},\hat{c},D(\Lambda ^{m});p,\theta _{i}-1,\hat{c},A),\ i=0,1\). From the reiteration result for “mean weighted spaces” (see [2, Proposition 6.7]), we have
where
On choosing \((1-\theta _{0})m=j+1\) (resp. \((1-\theta _{1})m=j\)) to give \(X_{0}=D(\Lambda ^{j+1})\) (resp. \(X_{1}=D(\Lambda ^{j})\)) and on taking \(\xi _{0}=\theta \), (resp. \(\xi _{1}=\theta -1)\) in (5.6) we can claim
Theorem 5.3
Assume, \((1-\theta )m=j+\eta ,\ 0<j\in N,\ 0<\eta <1\), then
with equivalent norms.
Moreover, \(\Lambda \) being an isomorphism from \(D(\Lambda )\ onto\ A\),from (3.10), we obtain
with equivalent norms.
For completeness, we must consider now the case where \((1-\theta )m\in N\). Let \((1-\theta )m=j+1\), and define \(\ \hat{\Sigma }(p,\theta ,\hat{c},D(\Lambda ^{m});p,\theta -1,\hat{c},A)\) as an intermediate space between \(D(\Lambda ^{j+2})\) and \(D(\Lambda ^{j})\). By choosing \((1-\theta _{0})m=j+2\) (resp. \((1-\theta _{1})m=j\), the reiteration theorem gives
where
Since \(m\eta _{0}=1,\ m\eta _{1}=-1\), we therefore have
and as \(\Lambda ^{j}\) is an isomorphism from \(\hat{\Sigma }(p,\frac{1}{2},\hat{c},D(\Lambda ^{j+2}),p,-\frac{1}{2},\hat{c},D(\Lambda ^{j}))\) onto the space
we have proved:
Theorem 5.4
Assume \((1-\theta )m\in N\). The choice \((1-\theta )m=j=1\), leads to the relation
Moreover the norms
are equivalent.
Example 5.5
We can consider as in Example 4.4, the case of \(A=L^{q}(R^{n}),1<q<\infty \) along with the operators
which are infinitesimal generators of
In consequence
and \(D(\Lambda )=D(\Lambda _{1},\ldots ,\Lambda _{n})=W^{1,q}(R^{n})\).
Then denote by \(D(\Lambda ^{m})\), the space of \(v\in A\), with \(\Lambda ^{\alpha _{1}}v,\ldots ,\Lambda _{n}^{\alpha _{n}}v\in L^{q}(R^{n}),\ \forall (\alpha _{1},\ldots ,\alpha _{n})\), such that \(\alpha _{1}+\cdots +\alpha _{n}\le m\), and \(\alpha _{i}\in N,\ \alpha _{i}\ge 0\). This gives
which is a Sobolev space provided with the usual norm
If we consider the case where \(c\equiv 1\) (called the unweighted case) and put
with \((1-\theta )m=j+\eta ,\ j\in N,\ 0<\eta <1\), then [13] implies
which means
The spaces \(B^{(1-\theta )m,q}(R^{n})\) are Besov spaces (see [18]).
In our case when we put for instance \(m=1\), Theorem 3.6 yields
where formally \(a\in B_{c}^{1-\theta ,q}(R^{n})\) means:
Thus the interpretation of applications in terms of intermediate mean spaces leads to the introduction of some weighted types of Besov spaces whose the properties are unknown at the least to the present author.
Notes
See [13, pp. 53–54].
See [2].
We refer to [7].
See for example [7].
We follow an adaptation of a Gagliardo method given by Lions [11] using the weights \(t^{\alpha }\), \(\alpha +1/p\in (0,1)\) which are in \({\mathcal {H}}(p)\).
As for (2.25) the imbedding is only algebraically.
This is an idea of Gagliardo [9].
References
Asronjanz, N.: The Berkeley conference (April 1960)
Artola, M.: A class of weighted spaces. Bolletino UMI 5(9), 125–158 (2012)
Artola, M.: On derivatives on complex order in some weighted Banach spaces and interpolation. Bolletino UMI 4(9), 459–480 (2013)
Artola, M.: On traces spaces connected with a class of intermediate weighted spaces. Bolletino UMI (January 2016) (in press)
Artola, M.: On interpolation with a class of weighted spaces (2016) (in preparation)
Bourbaki, N.: Fonctions de variables rèelles. Chapitre V. Hermann, Paris (1949)
Dautray, R., Lions, J.L.: Analyse mathématique et calcul numérique pour les sciences et les techniques. Masson, Paris (1985)
Gagliardo, E.: Ulteriori proprietà di alcune classi di funzion in piu variabili. Ricerche Mat. 8, 24–51 (1959)
Gagliardo, E.: Interpolazione di spazi di Banach e applicazioni. Ricerche Mat. 9, 58–81 (1960)
Kufner, A., Malingrada, L., Persson, L.E.: The Hardy Inequality. About Its History and Related Results. Vydavatelsky Servis Publishing House, Pilsen (2007)
Lions, J.L.: Théorèmes de traces et d’interpolation (I). Ann. Scuola Norm. Super. Pisa t. 13, 389–403 (1959)
Lions, J.L.: Sur les espaces d’interpolations; dualité. Math. Scand. 9, 147–177 (1961)
Lions, J.L., Peetre, J.: Sur une classe d’espaces d’interpolation. Publ. Math. IHS 19, 5–68 (1964)
Muckenhoupt, B.: Hardy’s inequalities with weights. Stud. Math. 44, 207–226 (1972)
Muckenhoupt, B.: Weighted norm inequalities for the Hardy maximal functions. Trans. Ann. Math. Soc. 165, 207–222 (1972)
Peetre J.: Théorèmes de régularité pour quelques classes d’opérateurs différentiels. Lund, pp. 1–122 (1959)
Slobodetskii, L.N.: Evaluations dans \(L^{p},\) des solutions de problèmes elliptiques. Doklady Akad. Nauk. t. 123, 616–619 (1958)
Tartar, L.: An introduction to Sobolev spaces and interpolation spaces. Lectures Notes of the Unione Matematica Italiana, vol. 6. Springer, Berlin (2007)
Tomaselli, G.A.: A class of inequalities. Bolletino UMI 2, 622–631 (1969)
Vacherin, A.A.: Propriétés aux limites de certaines classes de fonctions\(\ldots \). Isvestia Akad. Nauk. t. 23, 421–454 (1959)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Artola, M. Intermediate weighted spaces and domains of semi-groups. Ricerche mat 66, 233–257 (2017). https://doi.org/10.1007/s11587-016-0297-5
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11587-016-0297-5