A NNALI DELLA
S CUOLA N ORMALE S UPERIORE DI P ISA Classe di Scienze
V IOREL B ARBU
Differentiable distribution semi-groups
Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 3
esérie, tome 23, n
o3 (1969), p. 413-429
<http://www.numdam.org/item?id=ASNSP_1969_3_23_3_413_0>
© Scuola Normale Superiore, Pisa, 1969, tous droits réservés.
L’accès aux archives de la revue « Annali della Scuola Normale Superiore di Pisa, Classe di Scienze » (http://www.sns.it/it/edizioni/riviste/annaliscienze/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une infraction pénale.
Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
by
VIOREL BARBUIntroduction.
Distribution
semi groups
ofoperators
in a Iianach space were introdu- ced and studiedby
Lions[1] J (cf.
alsoFoia~ [2], Yoshinaga [10], [11],
Peetre[3]).
J. L. Lions has obtained the characterization of the infinitesimal gene- rator of anexponential
distributionsemi group
andrecently
his result hasbeen
generalized by
Chazarain[4], [5] (cf.
alsoFoia§ [2],
Larsson[9]),
forregular
distribution andhyper- distribution semi-groups.
In theirworks,
DaPrato-Mosco
[6], [7] ]
andFujivara [8]
havegeneralized
the notion of holomor-phic semi-group (cf.
Yosida[14])
to that ofholoniorphic
distribution semi gronps and havegiven
a characterization of the infinitesimalgenerator
ofsuch a distribution
semi-group.
Iu this paper ve extend some of their results for differentiable distri- button
semi - g’rou ps.
§.
1.General
results on distributionsemi-groups.
We use the notations and the
terminologies
of L. Schwartz[12], [13]
for
infinitely
differentiable functions and for distributions. We set R == ~t ;
- oot oo)
and denote:Q)
the space of allinfinitely
differentiable functions withcompact suppport
inR, (f
the space ofinfinitely
differentiable function on1-7)+
the space ofall cp
ECD
such that supp q; c[0, oo) topolo- gized
as in Schwartz[12]; (’5
the space ofrapidly decreasing 6
functionsand
~’
the space of scalar distributions withcompact support.
We denotealso
by
the strict inductive limit of’ the spaces suppaH.
Let X be a Banach space and L
(X, X)
the space of all continuous linearPervenuto alla Hedazione il 20 Gennaio 1969 ed iu forma, detinitiva il 27 Febbraio 1969.
operator
on Xtopologized
with theoperator
norm. We denote alsoby CJJ’ (L (X, X)), Q) (L (X, X)
andcS’ (L (X, X))
the vector-valued distribution spaces : L(CD, L (X, X),
L L(X, X))
and L L(X, X)) respectively.
A vector-valued distribution is called a distribution
semi-group (D.
S. G. inshort)
if it satisfies thefollowing
conditions :i) ~’ (~’~ 1p)
= T(-p)
T(y~)
for any 99, V Eii)
Thesupport
of T is contained in[0, oo).
iii)
The linearsubspace generated by
is dense in X.iv)
If r E X and for then x --- 0.Let
R+ (t ;
t> 0)
and.R+ (t ;
t~ 0).
If(f’ (R+)
then we de define aclosable and
densely
definedoperator T (p)
on[T (c7)+) X], by
the formulaLet
us denote the closure ofT (,u) again by T (~u).
The linearoperator
is called the infinitesimalgenerator
of T.Here bi
is theDirac measure concentrated and D is the derivation
symbol.
For any cp
(t)
defined on R we denoteby (t)
the functionWe say that a D. S. G. T is
regular
if T(q~+)
= T(cp)
for any g~ E Aregular
D. S.G.,
T is called ofexponential growth (E.
D. S. G. inshort)
ifthere exists a number a such that
T E cS’ (L (X, X)).
THEOREM 1
(Lions).
A closed linearoperator A
in X with domain D(A)
dense in
X, generates
an E. D. S. G. if andonly
if there is a number a~ 0
such thati)
forany 1
with a, ~,I+ A
de6nes anisomorphism
of D(A)
onto X.
where
pol (11 ~) )
denote apolynomial
withnon-negative
coefficients.For the
proof
see[1]
and[10].
Thefollowing
theorem is due to Chaza- rain[4] (cf.
alsoFoial [2]).
THEOREM 2. Let A be a closed and dense
operator
on X. Then A isthe infinitesimal
generator
of aregular
S. G. D. if andonly
if thefollowing
conditions
hold :
i)
There exist the constantsil y ~:, 0
such thatE L
(...:1, .1)
tonajiy A
in tlie domainWe shall
give
a sketch of theproof
for this theorem.Since T E
(L (-Y, X))
isregular
it follows(cf. Yoshinaga [10])
that
T E Q) (L (X, D ..4.))
andwhere
DA is
the domain of Atopologized by
thenorm I
...and
Ix (resp. ID,)
is the identicalapplication
on X(resp. D A).
Let e(t)
bea
D-function
such thatLo (t)
=1 onI t 1 }
and e(t)
= 0for I t )
- 2.We denote
by E (resp. 0)
the distributionoT (resp. e’T)
and setfor any
complex
~. From(1.3)
we haveSince 0 E
d’ (L (X,
andsupp ø ¿ J, by
a well knownargument
it follows forany l E C.
From
(1.4)
thisimplies
that -A)-’
E L(X, X)
for 1 E A =(I ;
Re A ~> a
log I + f3;
Re A> y~,
with a, y>
0 convenable chosen. Moreoverwe
get
But
supp B
c[0, 1]
andby
aPaley-Wiener
theoremargument
it follows11 E (2)
1 forany I E
A.This
inequality together (1.6)
proves(ii).
Sufficiency.
Define T E(X, X)) by
the f’ormulawhere F is the frontier of d and
From
(i), (ii)
it follows that T is aregular
v. S. G.§.
2.Ditferentiable
distributionsemi-groups.
DEFINITION. A
regular
D. S. G. T. is called differentiable if for every t> 0,
T(6t)
E L(X, X)
and theapplication
t - T(6t)
from~+
in L(X, X)
is differentiable.
REMARKS. 10 If T is
differentiable,
then the distribution T E(L (X, ~))
is
given
on R+by
a differentiableL (X, X)~valued
function. In fact forany we have
Since the space
J
is dense inX,
thisimplies
that on R+.2° Let T be a differentiable D. S. G. and A =
T (- ~o)
its infinitesimalgenerator.
Then for every t >0, T (~~)
X cDA
and(2.2)
forany x E X
0.(
dt( )
To prove
this,
we consider x anarbitrary
element of X andset y (t) =
for
t > 0. Let Xn
be a sequence of[ T (CD+) X ]
such that x,~ --~ x. It is obvious that AT(bt)
x,1=d/dt
T(6t)
xn -d/dt
T(6t)
x for n ---~ oo. Since Ais
closed,
thisimplies
thaty (t) E D (A)
andy’ (t) = Ay (t)
for anyt > 0.
The
following
theoremgives
a characterization for thegenerator
of adifferentiable D. S. G.
THEOREM 3. I,et A be a closed
operator
on X with domainDA
densein X. A necessary and sufficiente condition for A
generate
a differentiableregular
D. S. G. is : forevery ~ )
0 there existpositive
constantsCa
andsuch that - E .L
(X, X)
for anycomplex A
in the domainand for
~, E ~ ~ ,
vhere y
is anon-negative
constantindependent
of 3.PROOF.
Necessity.
be aD-function
so that suppand I)enote
by ~(~ ~>0,
the fnnction andby
the vector-valued distributiontpE T
andrespectively.
It isobvious that is differentiable and supp 1
It is ea~sy to see that
Hence for any
;omplex I
in the domainRemembering (1.4)
thisimplies
thatfor
On the other
hand,
since snpp E c[0, Fl
have(see
L. Schwartz12,
Hence
where the
degree
of thepolynomial pol (( I À I )
isequal
to the order of the distribution T in aneighbourhood
of theorigin.
Therefore iand satisfies
(2.3)
for From theorem 2 it followsthen,
thatthere exists a
non-negative constant y
such thatfor If we choose
N~
so thatlog
y, we deduce that theestimate
(2.3)
is verified forany
in the domainChoosing
~S = ~-1 thisimplies
that(lI - A)-’
satisfies(2.3)
in any domain It is obvious that T is an E. D. S. G. Hence we may writeAs is
holomorphic
in everyAd and I
pidly
tends to zero atinfinity,
we canchange
thepath
ofintegration
andobtain
where
r6
is theboundary
of the domain6 log
be a sequence of
regularization
for Dirac di-stribution,
and supp gn -~ 0. We havefor any
non-negative integer
k. We set where~8
isgiven
by
andI~
by
We writeIt is obvious that
T2(k) (t)
is defined for everyt ~ 0
andwhere is another
non negative
constant. Let A= a + itl ;
then since onwe have
Ilence
Therefore we find a constant
Mk, j
such thatuniformly
en everycompact.
Since the space[T(Q’) X J
is dense in X thisimplies
that T(6t)
E .L(X, ~ )
for t> (m + k + 1)
~-1. Since 6 isarbitrary
this proves the
differentiability
of T. Moreover we haveproved
thatfor any
t > 0
andk = 0,1, .... Combining
with the firstpart
of theproof
it follows that if aregular
D. S.G.,
T is differentiable then theapplication
t -T (6t)
from R+ inL (X, .1~)
isinfinitely
differentiable.COROLLARY. Let A be a closed and
densely
definedoperator
on theBanach space X. If the conditions of Theorem 3 are
satisfied,
then theabstract
Cauchy problem (A
CP)o :
has a solution
u E C °° (R+ , ~ )
for every x E X.PROOF. Let T be the D. S. G.
generates by
A. Then from remark 2 it follows that solves(ACP)°
for anyREMARKS 10 If T is a differentiable
regular
D. S.G.,
thenand k =
0,1, .., ,
where yo is anon-negative
constant.2° In
particular
if T is astrongly
continuoussemi-group
of boundedlinear
operators on X,
thenaccording
to formula(2.5)
it follows that T is differentiable if andonly
ifThus we find a result
proved by Pazzy [16].
§
3.Analytic and non·quasianalytic
D.S. G.
Let Y be a Banach space and L = and
increasing
sequence ofnon-negative
numbers such thatwhere 1n and n are
non-negative integres
aild r - q(r)
is apositive
andmonotone
increasing
function. If Q is an open set of R we denoteby Y)
the space ofinfinitely
differentiable Y-valued functions11(t)
in0,
such that for anycompact
subset .~ there exists 3f > 0 such thatThe space is
topologized
asprojective
limit ofall (K, Y) ;
The function class CL
(Q, Y)
is callednon-quasi-analytic
if it con-tains a non-trivial
regular
function withcompact support
contained in S~, TheCarleman-Denjoy
criterion states that CL ison.quasianalytic
if andonly
ifIf Y = R we often omit R and write OL
(Y).
Inparticular,
ifLj
=CL is the classical
Gevrey
class G which isnon-quasianalytic
for 1For ~O =1 we obtain the class of real
analytic
functions. It’ L is a non-quasianalytic
sequence we denoteby C~ (~, Y)
the spaceDEFINITION. A
D. S. G., ~’ E ~D+ (L (~, ~ ))
is said to be of classC L
if themapping
t --~T (31)
is of classC z
on R +.In
particular,
fort thesemi-group
T is calledp-hypoanalytic;
1 ~-, Lo
oo. As above we remark that if thesemigroup
T is of class 0-r, then the distribution is defined on1~ + _ (t ; t ~ 0~ by
afunction of class
C L,
Let L
=
be anon-quasianalytic
sequence and (OL(t)
be a scalar function definedby
-
Then we have
THEOREM 4. Let T be a
regular
D.S.G. and A =T (- do)
be its infi- nitesimalgenerator.
T is of class CL if andonly
if for every0 e
1 there, exist C. andJf, >
0 such thati)
-A)-’
E L(X, X)
forany A
in the domainand
where y is a
positive
constantindependent
of -.PROOF. Necessity.
Assume that for everyWe
choose rp
ECt
such that supp q> cj; (t)
= 12,
anddenote :
= ~i
= f(J1J T where = From(3.4)
we obtainwhere 31
>
0 and = 2 maxOr,
Thus for
complex
in the domainwe have Here
and r.
are anothernon-negative
cons.tants. Since the semi group T is
regular
we may assume that ya = oo . As in theproof
of theorem3,
thisimplies
that - E L(X, X),
andwhere p, is a
polinomial
withnon-negative
coefficients. Since the sequence(.Lk)
satisfies(3.1),
the function r -+(r)
is sub.additive. Hence wemay find another constant
0, >
0 such that(3.6)
to be satisfied forany
in the domain
Without loss of the
generality
we may assume that E --~C,
is bounded and limMFl
= 00 . Let ac be anon-negative
constant such that for£-0
0 E
°I. Using
the aboveargument
it follows that there exist b>
0 such thatfor > -
log
(l)L(a +
b. For eenough
small we may suppose bC MEl.
Hencefor Re I > -
log and,
Using (3.8)
weget
that the estimate(3.3)
satisfied in the wholedomain ¿
Ewithy
= b.Sufficiency.
From(3.3)
it follows thatII
-A)-’ II
= 0(pol ( I A I ))
forRe ~ > y.
Hence,
as in theproof
of theorem3,
weget
where
(on)
is a sequence ofregularization
of(D+
and1’E
is the frontier ofthe domain
It is
easily
verified thatwhere m is the
degree
of thepolynomial pol ( I A )·
Since,
for anynon-negative integer
i t follows that.the
right
side of(3.11)
is boundedby
where p
is the1argest integer
smaller then (t -~)-1.
Because of the pro.perties
of the sequence( Lk)
we find another constant we such thatfor t > ~ and k =
01 1,
...According
to anargument
used in theproof
oftheorem
3,
thisimplies
thatSince s is
arbitrary,
theproof
iscomplete.
COROLLARY. Let T be a
regular
1),S.f7. and A its infinitesimal gene- rator. Thesemi group
7"is e-hypoanalytic ; 1 - C)
00, if andonly
if forevery
E>O
there existconstants CE
and such that(Al - A)-’
EL (X, X)
and satisfies
for
where y is a
non-negative
constantindependent
of 8.PROOF. The
non-quasianalytic
case p > I is a consequence of theorem 4.We assume that o = 1. It is
easily proved
that there exists a sequence 7’k E(7), k
=0, 1,...
such thatand
Put
then as in the
proof
of theorem 4 we find aconstant 0 such that
for any
non-negative integer
k. Take kequal
to thelargest integer
smallerthan Thus from
(3.17)
we obtainAs above this
implies that, (~I
-A)-’
E L(X, X)
and satisfiesfor °
and
Since k is
arbitrary,
y thisimplies
that satisfies the estimate(3.14)
in a domain of the formSufficiency
of(3.14)
followsjust
in theproof
of theorem 4.§ 4. Distribution semi-groups
of class A~.If a D.S.G. T is
differentiable,
then for anyinteger
is of
exponential growth
for t - oo. In this section we alsoimpose
a res-triction of the
origin
for(6t).
DEFINITION. Let 1
m o
oo. Aregular D. S. G.,
T is said to be ofclass I if for t >
0,
where
M,
y arenon-negative
constantsand p (r)
is apolynomial
with nonnegative
coefficients.The
semi-groups
of class A fJ can be characterized in thefollowing
way
(see
theorem4).
THEOREM 5. Let A be a closed
operator
on X with the domainDA
dense in X. Then A is the infinitesimalgenerator
for a D.S.G. of class A() if andonly
if there existpositive
constants aand fl
such thatfor
I’ROOF. From
(4.1)
it is obvious that T Ec5’ (L (X, X )) where y
is anon-negative
constant. Therefore thesemigroup
T is of expo- nentialgrowth
and from Lions’s theorem it follows that(Al
-A)-’
existsand satisfies the estimate
(ii)
for Re 1 ~ y. Moreoverby
a well known re-sult
(cf.
Schwartz[12], Yoshinaga [11])
there exists afunction f E Cu (L (X, X))
and an
integer m
> 0 such thatand T may be
expressed
asThe function
.1’(t)
isregular
on R+ and from(4.1)
we haveand
Let j
and k be twonon-negative integers
suchthat ~
where p is the
degree of’ p (~u),
Sincesupp f
c[0, oo), for j
and k taken as.above we have
where E is an
arbitrary positive
number. Then(4.5)
and(4.6) imply
thattor Ite A > E and Hence
Then the
analyticity of’ f’ (À)
in the domain >01
and the estimate(4.7)
imply that f (A)
can be extendedholomorphically
in a domain of the formand for A E 1. We observe that
for Re A
>
y.n
Hence we have
proved
that T(À)
exists and satisfies the estimatefor Because
for the
analyticity
of(Al
-A)w implies
that it satisfies the esti- mate(ii)
forSufficiency.
From(i)
and(ii)
it follows that theoperator
Agenerates en
E. D. S., G. andwhere e is an
arbitrary positive
number. As in theproof
of theorem 5we have
where is the curve
given by
Then our estimates of
(Al
-and en (- A) imply
thatfor any and k =
U~ 1 ~ ." .
HenceHere
r(~y~)
is Euler’s function and C is apositive
constantindependent
of e.
Consequently
the semi- group T is of class A0 and theproof
iscomplete.
h’or N
h 1 and y h 0 we denoteby A;
the class ofregular
D. S.G.,
T such that for 0
As a consequence of theorem 5 and its
proof
we obtain(see
also DaPrato Mosco
[7]).
COROLLARY. A closed and
densely
definedoperator
A on Xgenerates
a D. S. G. of class if and
only
if there exists a > 0 such that(AI
- E L(X, V)
and satisfiesfor Re A > -
ex I 1111 Â. Ille -f- y
8, where e is anarbitrary non-negative
number.
Let T E
Qj (L (JT, X))
be aregular
D. S. G. T is saidholomorphic (cf.
Fujiwara [8],
Da Pi-ato-Mosco[6])
in the sector £ -p; arg I
a i0 a
~/2)
if t --~ T(6,)
can be extended at anholomorphic
functionT~
in this sector. It is obvious that a D. S. G. ot’ class Ae with p = 1 is ho-
lomorphic
in a sector of thecomplex plane. Conversely
fromCauchy’s
for-mula it follows that any
holomorphic
D. S. ft. in a sector Z is of class A1.We can now formulate the
following
result(cf [8]).
THEOREM 6. A closed and dense linear
operator
Agenerates
a D. S. G.which is
holomorphic
in the sector -Y =I argu
an/2)
if andonly
it’ there exists a
real y
such that for any e>
0 andany I
in the sectorwe have
(Al
-A)-’
E L(X, X)
with the estimatePROOF. The
sufficiency
of condition(4.12)
is a consequence of theorem 5. Also thenecessity
can be obtainedby
anadaptation
of theproof
oftheorem
5,
but we shallgive
a directproof.
Il thesemi group
T is holo-morphic
in the sector Z =arg p I
a thenaccording
to theo-rem
3,
there exists a real y such that e-Yt T = Dmf
wheref’ (t)
is aCO
(L (4¥, X))-function satisfying (4.3).
PutBecause is
analytic
in f andII
e~~tII rapidly
tends to zero atinfinity,
we may writewhere and
This
implies
thatj°(I)
can be extended at anholomorphic
function-
f (I)
in the domainAgain following
theproof
of theorem 5 we obtain that(Al
-A)w
E(L (X, X
and satisfies
(4.12)
forThus theorem 6 is
proved.
Faculty of Mathematics
University of JU88Y, Romania
131 B L I U G R A P H Y
[1]
J. L. LIONS, Les semi-groupes distributions. Portugaliae Math., 19 (1960), 141-164.[2]
C. FOIAS, Remarques sur le semi-groupes distributions d’operateurs. Portugaliae Math. 19 (1960), 227-243.[3] J.
PEETRE, Sur la théorie des semi-groupes distributions. Sém. sur les équations aux déri-vées partielles. Coll. France, 1963-1964, 76-98.
[4]
J. CHAZARAIN, Problèmes de Cauchy au sens des distributions vectorielles et applications.C. R. Acad. Sc. Paris, t. 226 (1968), 10-13.
[5]
J. CHAZARAIN, Problèmes dans les espaces d’ultra-distributions. C. R. Acad. Sc. Paris,t. 266 (1968), 564-566.
[6] J G. DA PRATO - U. MOSCO, Semigruppi Distribuzioni Analitici. Annali Scuola Normale
Superiore di Pisa, XIX (1965), 367-396.
[7]
G. DA PRATO - U. Mosco, Regolarizzazione dei semigruppi Distribuzioui Analitici. Annali Scuola Normale Superiore (Ii Pisa, XIX (1965), 563-570.[8] J D. FUJIWARA, A characterization of exponential distribution semi-groups. J. Math. Soc.
Japan, 18, 3 (1966), 265-274.
[9]
E. LARSSON, Generalized distributions semi-groups of bounded linear operators. Ann. Scuola Norm. Sup. Pisa, 19 (1967), 137-14C.[10] K. YOSHINAGA, Ultradistributions and semi-grous distributions. Bull. Kyushu lnst. Techn.
10 (1963), 1-24.
[11] K. YOSHINAGA, Values of vector-valued distributions and smothness of semi-groups distri-
butions. Bul. Kyushu Inst. Techn. 12 (1965), 1-27.
[12]
L. SCHWARTZ, Theorie des distributions. Hermann, Paris, 1966.[13]
L. SCHWARTZ, Théorie des distributions à valeurs vectorielles. Ann. Ist. Fourier, 7 (1957),1-141.
[14J
K. YOSIDA, Functional Analysis. Springer, Verlag (1965).[15]
G. DA PRATO, Semigruppi di crescenza n. Ann. Scuola Norm. Sup. Pisa, XX (1966),753-782.
[16]
A. PAZZY, On the differentiability and compactness of semigroups of linear operators. J. of Math. and Mech., 17, 12 (1968), 1131-1141.[17]
V. BARBU, Les semi-groups distributions differentiables. C. R. Acad. Sc. Paris, t. 268 (1968).2