SUR UN THEOREME DE I.

MIYADERA CONCERNANT LA
REPRESENTATION DES FONCTIONS VECTORIELLES
PAR DES INTEGRALES DE LAPLACE.

SAMUEL ZAIDMAN

(Received August 16, 1959)

1. On dolt a I. Miyadera [1], la suivante extension d'un theoreme de

D. V. Widder ([2]-pag. 315-316):

THEOREME. Soit X un espace de Banach reflexif et f(s) une fonction

vectorielle definie pour s>0 et a valeurs dans X. Alors, pour l'existence
d'une fonction vectorielle q(t), definie pour t>0 a valeurs dans X, appar-
tenant a la classe de Boehner B([0, oo ]; X) (voir [3]-pag. 89), et telle qu'on
a la relation

1) f(s)=Ie-Stp(t) dt, s>0

une condition necessaire et suffisante est la suivante :

2) f(s) est indefiniment fortement derivable pour s>0.
3) L'ensemble des elements de X de la forme s f (s), k=0, 1, 2.....,
s>0, est borne.

On doit aussi a Miyadera [1] un exemple d'une fonction vectorielle a

valeurs dans l'espace X des transformations lineaires et bornees de C[0, oo] en
soi meme, qui satisfait aux conditions 2) et 3) ci-dessus et qui n'est pas la
transformation de Laplace d'une fonction appartenant a B00([0,oo]; X). Cela
montre en particulier que l'espace X n'est pas reflexif mais ne donne pas
d'autres inf ormations sur cet espace. Le probleme se pose alors si les condi-
tions 2) et 3) ne sont neanmoins suffisantes pour avoir la representation 1) Bans
les espaces de Banach qui sont faiblement complets par des suites. Dans ce
qui suit nous allons montrer qu'il n'y est pas le cas.
2. Dans une annexe de [1], I. Miyadera observa qu'on peut demontrer le
theoreme enonce ci-dessus en utilisant le theoreme de Gelfand-Pettis sur la
representation des operateurs lineaires et homes de L, [0, co] a un espace de
Banach reflexif X, par une integrale de la forme: Tg=g(t) fi(t) dt, ou
48 S. ZAIDMAN

q(t) E B([0, 00]; X), pour toute g E L1[0, 00]. Nous allons donner une quel-
que sorte de reciproque dans le suivant:
THEOREME1. Soit X un espace de Banach pour lequel les conditions
2) et 3) sont su santes pour que la fonction f (s) a valeurs dans X, qui les
verifie, soit la transformation de Laplace d'une fonction fi(t) E Bo([0, 00]; X)
Alors, pour toute transformation lineaire et bornee de L1[0, oo] a X, T, it existe
une fonction fi(t) de la classe B([0, oo]; X) telle qu'on a Tg=g(t) fi(t) dt

(integrale de Bochner), pour toute fonction g E L1[0, 00].

DEMONSTRATION. Considerons la famille de fonctions dependant du

parametre s>0, {e-s} S>o, appartenant par rapport a i a 1'espace L1[0, oo].
Soit la fonction vectoriellea valeursdans X, qui est definiepour s>0 par
la formule f (s)=T [e].t]. Nous allons voir que la fonctionf (s) verifieles
conditions2) et 3). Pour cela, consideronsaussi la fonction vectoriellea
valeursdans L1[0,00], qui est definiepour s>0 par la formule i(s)=e-s.
Elle est indefiniment
faiblement derivablepour s>0 dans l'espaceL1[0,oo],
car pour toute fonction h(i) de L[0, 00] (dual de L1[0,oo])on a<h, tjt(s)>
=fe-Sth(I) dl, qui est holomorphedans le derni-planreel s>0 d'apres
le theoreme classique sur 1'analyticite de la transformation de Laplace. Mais
un theoreme de L. Schwartz et Grothendieck (voir [4]-pag. 145-147) nous
donne alors que la fonction tir(s) est aussi indefiniment fortement derivable
pour s>0. Vu la continuite de la transformation T, on a aussi que la fonc-
tion f (s)=T[M(s)] est indefiniment derivable dans 1'espace X, et on a f k) (s)
=T['J' (s)]ws>0. On a aussi l'egalite :"li(s)=(-1)ktke-S car pour
toute fonction h(i) E L[0, cc] on a:

<h,(s)>=k<h,i(s)>=d4IWh(I)edi=

h(i) (-1)kike S dt=<h, (-1)ktke>

et donc k(k)(s)=(-1)kike-S.
Nous avons obtenudonc quef (s)=T[et] verifiela condition2) et qu'on a
les relations: i(s)i=T[(-1)ktke-55]. Maintenant, pour montrer que f(s)
 SUR UN THEOREME DE I. MIYADERA 49

verifie aussi la condition 3), c'est-a-dire que l'ensemble m(s), s>0, k

=0, 1,..... est borne dans X, it sera suffisant, vu la continuite de T, demon-
trer que 1'ensemble des elements appartenant a L1[0, oo]

(s), k=0, 1,.... s>0

est borne dans cet espace. Mais cela resulte aisement car on a:

s,kk'( s)1)ktke-si
et done

SLIij(i)k(SI=I MSL
I t ke-stdl=1.
Done, la fonction f(s)=T[e] verifie les conditions 2) et 3). En utilisant
l'hypothese du theoreme on obtient alors l'existence d'une fonction fi(t) E
B([0, 00]; X) telle que

T[e-St]=f(s)e-St p(t) dt (integrale de Bochner).

Soit maintenant l'operateur U defini sur L1[0, oo] par 1'egalite:

Ug=Ig(t) p(t) dt (integrale de Bochner).

Ii est lineaire et borne et coincide avec T sur l'ensemble f ondamental

dansL1[0,
00]desfunctions
et, n=1,2,.... etona done:Tg=flg(t)fi(t)dt,
pour toute g(t) E L1[0, oo]. Notre theoreme se trouve ainsi demontre.
COROLLAIRE. Dans l'espace X=L1[0, oo] les conditions 2) et 3) ne sont

pas sufsantes pour avoir la representation 1) pour toute fonction f (s) qui
les verifie.
OBSERVATION. L1[O, oo] est un espace faiblement complet par des suites.
DEMONSTRATION. En utilisant le theoreme 1, it sera suffisant de montrer
que l'operateur identique de L1[0, oo] en soi meme n'est pas representable
par une integrale:

g=Ig=g(t) q(t) dt, avec q(t) E Bm([0, oc]); X)

Soit la fonction vectorielle a valeurs dans L1[0, oo] qui est definie pour t>0
50 S. ZAIDMAN

par la relation:

1, si 0<s<t
(t)=K(s,t)=
0, si s>t.

Elle est a variation forte borne dans toute intervalle fini [0, R], R>0 (voir

pour la definition: [3]-def. 3. 2. 4), comme on peut voir aisement car

- a(t)Ll,[0]=-ti. Soit maintenant q(t) une fonction quelconque ap-
partenant a 1'intersection L1[0, oo] (1 C[0, co]. Alors, pour tout R>0, l'inte-
grale de Riemann-Stieltjes q(t) dc(t) existe. Nous allons montrer que la
limite forte daps L, [0, 00], pour R--+ 00, existe aussi, et qu'on a la relation:

G)=lim fi(t) d alt? I (p(t)d a(t).

(0, pour s>R,
Soit R>0 fixe et la f onction 'pR(s)
pour 0 s R.

Alorson a la relation: f fi(t) d a(t)

En effet, soit h(t) une fonction de L[0, oo] (dual fort de L1[0, oo]). On a:

h, I fi(t) d a(t)> I p(t) d G h, a(t)

I q(t) d I h(s) K(s, t) ds=I p(t) d1 I h(s) ds

I ap(t) h(t) dt=I h(t) q.R(t)dt=<h, p1z

et donc co(t) d a(t) q R(.) pour tout R>0 fixe.

Mais on a qR(.)-'p (.)=f'p(s) ds qui tend vers 0 avec 1/R, et l'e-

galite p(.) p(t) d a(t) se trouve ainsi demontree.

Supposons maintenant par l'absurde qu'il existe une fonction vectorielle

fi(t)E B([0,00];X) (X=L, [0,oo]),telleque: 'p(.)=f'p(t) B(t) dt, pour

toute fonction p(t) E X. Supposons de plus que cp(t) appartienne aussi a
C[0,00];alors on a, si on designeavec7(t) l'integralede BochnerI f.9(s)ds,
 SUR UN THEOREME DE I. MIYADERA 51

1'egalite suivante:

I q(t) 9(t) dt=I q(t) d 7(t).

On a obtenu donc en definitif, l'egalite:

1IP(t)aa(t)=q(.)=1{IP(t)d 7(t)

pour toute fonction q(t) EL, [0, 00] fl C[0, oo].

On peut voir aisement que les f onctions vectorielles a(t) et y(t) sont continues
pour tout t>0. Alors, si on prenne q, (t)=e-St, s>0, qui appartienne a
L, [0, oo] on a:

I e-Std a(t)=I e'St d y(t), s>0. Le theoreme d'unicite pour les trans-
formations de Laplace-Stieltjes vectorielles, nous donne alors, vu la continuite
de a(t) et y(t), l'egalite a(t)=y(t), t>0. Mais cette egalite n'est pas possible,
car tandis que la fonction y(t) est fortement derivable presque-partout, la
f onction a(t) n'est pas meme f aiblement derivable nule part, comme on voit
aisement.

BIBLIOGRAPHIE

[1] I. MIYADERA, On the representation theorem by the Laplace-transformation of vector-

valued functions. Tohoku Math. J., (2)8, (1956), 170-180.
[2] D. V. WIDDER, The Laplace transform, Princeton University Press, 1946.
[3] E. HILLS-R. S. PHILIPS, Functional Analysis and Semi-Groups, (second revised edition),
Amer. Math. Soc. Coll. Pub., 1957.
[4] L. SCHWART, Espaces de fonctions differentiables a valeurs vectorielles, Journal d'Ana-
lyse Mathematique, 4(1954-55), 88. 148.

BUCAREST, ROUMANIE.