LA REPRESENTATION DES FONCTIONS VECTORIELLES

PAR DES INTEGRALES DE LAPLACE-STIELTJES (II)

SAMUEL ZAIDMAN

(Received August 16, 1959)

Introduction. Le present travail a le but d'approfondir et de completer

les resultants de mon ouvrage precedent [14]. J'ai donne la bas des conditions
necessaires et suffisantes pour la representation des fonctions vectorielles f(s),
definies pour s>0 et a valeurs dans un espace de Banach X, par une
integrale de Laplace-Stieltjes, f(s)=I da(t), ou a(t) est une fonction
vectorielle a valeurs dans X et dCfinie pour t>0, appartenant a une des
classes de fonctions vectorielles a variation bornee, V+, Vr+, VG qui oat ete
definies daps [14]. (Des conditions necessaires et suffisantes pour la representa-
tion des fonctions vectorielles par des integrales de Laplace ont ete donnees
par P. G. Rooney [11] et I. Miyadera [9]). Notre but principal dans [14] etait
de montrer que si f(s) est indefiniment fortement derivable et si on a

1Li.u[fC)]IIdu<M, k=1, 2,....

-(nous avons dit qu'une telle fonction verifie la condition (A))-alors, si en

plus X est un espace de Banach ref, lexif, it existe une f onetion a(t) E Vt
(a variation forte bornee sur [0, oo]=I+), telle que

f(s)=e-t da(t), s>0 (1).

On prouvait ainsi une assertion de E. Hille ([5]-fin du 1, Ch. X).

Dans le present ouvrage on montre que:
a) On peut remplacer la restriction que X est reflexif par la restriction
moms forte que X est faiblement complet par des suites.
b) Si la condition (A) serait sufisant pour avoir (1) dans l'espace C[0, 1],
elle serait asssi suffisante pour avoir (1) dans tout espaces de Banach, sans
exception.
Puis, dans les espaces de Banach arbitraires, on donne une condition
necessaire et suffisante pour que toute fonction f(s) qui la verifie soit re-
 LA REPRESENTATION DES FUNCTIONS VECTORIELLES 53

presentable comme transformation de Laplace-Stieltjes d'une fonction a(t) de

V,+
Cette conditionest obtenueen reunissantla condition(A) avec une con-
dition suplementair de compacitefaible,que je preciseraiBansla suite.
Enfin,dans le present ouvrageon s'occupe encore d'une question deja
partiellementtraitee dans [14] et qui demandait des ameliorationset preci-
sions. A savoir:
Obtenirdes conditionsnecessaireset suffisantespour representerla fonc-
tion f(s) commetransformationde Laplace-Stieltjes d'une fonctiona(t) E Vf+
(a variationfaible borneesur [0,]=I+).
Cette questionetait resoluedans [14], pour les espaces de Banach re-
flexifs,par la conditionque nous avons appellee (Ai).Idi nous introduisons
la condition (A1), qui est laplus naturelledans ce probleme; a savoir, une
fonctionf (s) verifiela condition (A1) si pourtout x' E X' la fonctionscalaire
<x, js)>
(verifie la condition (A) de Widder([13]-pag.306)
La condition (A1) est necessaire, comme nous verons, dans tout espace
de Banach, pour que la fonction f(s) soit la transformation de Laplace-Stieltjes
d'une fonction a(t) de Vf, et elle est suffisante pour avoir cette representa-
tion dans les espaces faiblement complets par des suites ou duals d'espaces
de Banach.
Dans cet ordre d'idees on montre aussi qu'il y a des espaces de Banach
dans lesquels la condition (A1) n'est plus suffisante pour avoir la representation
voulue, et on etablit a cette ocasion une etroite liaison avec les theoremes
de representation des operation des operateurs lineaires et homes de C[0, 00]
a l'espace de Banach X, par des integrales de Stieltjes abstraites.
Ces sont les questions principales que je traite dans ce travail. J'ai an-
nonce les principaux resultats dans deux Notes aux Comptes Rendus des Seances
de 1'Academie des Sciences, Paris : [15] et [16].

Chaptre I.

Nous allons commences par la question qui a ete traitee la derniere Bans
1'introduction, car elle a aussi un caractere preparatoire aux autres questions.
1. Soit X un espace de Banach reel ou complexe ; soit a(t) E Vf (X)
(nous allons des maintenant adopter cette notation au lieu de Vf qui n'est
pas assez complete). Alors, si f(s)=fetd(t), -Saon a pour tout x' E X':
54 S. ZAIDMAN

<x', f(s)>=Ie-dax-(t), s>0; ax-(t)<x', a(t)> E VI+. En appli-

quant le th. 12. a Ch. VII de [13] on obtient que f(s) verifie (A f) dans tout
espace de Banach. Dans les espaces faiblement complets par des suites ou duals
on a aussi le:
THEOREME I. 1. 1-a. Soit X un espace de Banach faiblement complet
par des suites. Alors, pour toute fonction f(s), s>0, f(s) E X, verifiant
(Af),it existeunefonctiona(t) E V (X),telleque7(5)=fe-stda(t), s>0.
DEMONSTRATION. Si x' E X', la fonction fx-(s)=<x', f (s)> verifie la
condition (A) de Widder; d'apres le Th. 12. a Ch. VII de [13] (valable aussi
pour les f (s) a valeurs complexes, comme pour celle a valeurs reelles), on a que
fx-(s)=f e-dax, (t), s>0 oil ax-(t) est une fonction normalisee de V'+. On sait

que ff'(s) est indefiniment derivable, pour tout x' E X'. En appliqu ant un lemme
de Grothendieck et Schwartz ([12]-pag. 145-147), it resulte que f(s) est aussi
indefiniment
fortementderivable.L'operationLk,t[7.)] est doncbien definie,
et on a: I Lk,u[fx'(.)]du=<xj, Lk,u[f(.)] du>. Commela limite lim I Lk
[fx-(.)]du existe pour tout x E X', it resulte l'existence de la limite:
lira <x, Lk, u[f(.)]du>

pour tout x' E X'. Designonspar f tiLk.J f(.)1du l'elementde X aui est la
limite faible de foLk u[f(.)] du pour 6-0. On a<xj, f Lk, u[f(.)] du>=

I Lk,u[fx'(.)]du. Si on appliquele Theoremed'inversion

de Widder[13-Th.
7. a Ch. VII] on obtient
ax-(t)-ax-(0+)=lim j Lk,u[fx'(.)]du=lim<x-, Lk,u[.fx'(.)]du>.
Mais on sait que c'(0+)=fx-(oo)=lim<x', f(k)> et on a donc:

ax-(t)=lim<x', Lk, u[f(.)] du+f(k)>, pour tout t>0. Soit a(t), pour

chaque t>0, l'element de X qui est la limite faible pour k-*co de la suite

Lk,U[f(.)] du+f(k).
 LA REPRESENTATION DES FONCTIONS VECTORIELLES 55

On a <x', cr(t)>=lira <x', I Lk,u[f(.)]du+f(k)>=ax-(t) pour tout t>0.

Si on pose a(0)=0, on a que <xj, a(t)>=ax(t) pour tout t> 0. Alors

a(t) E V+(X) et comme on voit aisement on a

f(s)fe-Stda(t), s>0. (2)

OBSERVATION.Vu que X est f aiblement complet par des suites et a(t)

E Vf (X), on obtient en utilisant [F] que les lirnites fortes c(0+), a(t+),
+co) existent pour chaque t>0. Comme c'(t) est normalise
pour chaque x', on obtient que a(t) est aussi normalise. Elle est l'unique
fonction normalisee verifiant (2) comme on voit en utilisant le theoreme
d'unicite scalaire.
THEOREME I. 1. 1.-b. Soit X un espace de Banach dual. Alors, pour

toute fonctionf(s) verifiant(Ar) it existe une fonction a(t) E Vf+(X), telle

que f(s)e-stda(t), s>0

DEMONSTRATION. Soit X=Y'. Alors, pour tout y E Y, la fonction

scalaire f(s)=<f(s), y>satisfait a la condition (A) de Widder. Puis, la
demonstration est asset analogue a celle du Th. I. 1. 1-a. On utilise le fait
que X est co.mplet Bans son Y-topologie (topologie faible etoilee de X)

OBSERVATION. Dans les espaces duals les limites fortes a(to) n'existent
plus toujours pour chaque fonction a(t) E V+ (X). Mais, pour chaque y E Y
existe la limite lira <a(t), y>et it existe des elements a(t) daps X tels que

<a(t), y>=lira <a(t), y>.

Ainsi, la fonction a(t) obtenue dans le Th. I. 1. 1-b est normaliseeBansle sens
que a(t)=1[a(t +)+a(t-)]. Elle est l'unique fonction normalisee qui
verifie la relation f(s)I e-tda(t), s>0.

2. Dans ce paragraphe nous allons faire la comparation entre la condition

(Ar) et la condition (Ai) de [14]. Premierement nous donneront une f orme
equivalente de la condition (A,); a savoir, nous dirons que la fonction f(s),
56 S. ZAIDMAN

s>0, f (s) E X, verifie la condition (As.) si:

a) elle est indefiniment f ortement derivable
b) l'ensemble V[f(.)] des elements de X de la forme Y'. Si LU r fr. i1du.

n=1, 2,..., k=1, 2,..., 9i, k=1, pour tout systeme fini 0 <t1<t2...
<tn+1<0, est borne dans X.

Les conditions (A f) et (A f) sont equivalentes. En effet:

i) Si f(s) verifie (A f) elle est indefiniment fortement derivable [12] et pour
tout x' E X' on a

<x, E:si,kI. Lk,u[f(.)]du>=i kI Lk,u[fx'(.)]du

I ILk,U[(.)] du<M(x'); it resulte que l'ensemble V[f(.)] est faiblement

borne et donc est fortement borne.

ii) Si f(s) venue (A') alors, pour tout x' E X' l'ensemble des nombres de la
n ft+1
f orme 6i, k Lk u[fx-0] du (ensemble V[f f(.)]) est borne; it existe donc
un nombre M(x') tel que

k/Lk, u[Reelf'(.) du+i Im f'(.)] du M(x'),

6j,k/Lk, u[Reelf'(.)] du M(x'),

/Lk, u[Imf'(.)] du M(x').

Le theoreme de la movenne donne:

i,k(ti+l-ti) Lk, f[Reel f'(.)] C M(x)

en prenant ISi,k=sgn Lk, t[Reel f'(.)] on a que

(t+1i-ti) LA, [Reel fx'(.).1I C]W (x)

et don caussi

Lk,u[Reel f'(.)] du M(x')

et enfin

I ILk,u[Reel
fx'(.)]du<M(x'). D'unemaniereanalogue
on obtientque
 LA REPRESENTATION DES FONCTIONS VECTORIELLES 57

Lk,u[Imf'(.)] Idu<M(x') et donc f Lk,u[fx'(.)]I du<2 M(x')

Q. E. D.

Nous avons maintenant la possibilite de comparer la condition (Af)=(Af)

avec la condition (Ai) de [14]. On voit que la seule difference est la suivante:
Dans (A;) on suppose1'existencede 1'integraleI Lk,u[f(.)] du comme limite

forte des integrales I L, u[f(.)] du, ce qui n'est plus le cas dans la condition

(A f). Nous precisons la relation entre ces deux conditions dans la suivante.

PROPOSITION. I. 2. 1. Les conditions (A1) et (A;) coincident dans les

espaces de Banach faiblement complets par des suites; dans les espaces de
Banach generaux, la condition (A;) est plus restrictive que la condition (A1).
DEMONSTRATION, i) Si X est faiblement complet par des suites et la
fonction f (s) verifie (A1 ) alors, en vertu du Th. I. 1. 1-a it existe une fonction
a(t) E V(X) telle que f(s)I e St dcr(t). On voit immediatement que le
lemme 6 de [14] est valable aussi Bans les espaces X faiblement complets
par des suites et donc 1'existence de 1'integrale I Lk,u[f(.)] du comme limite
forte est assurze.

ii) Ii y a des espaces de Banach X et des fonctionsf(s) a valeurs Bans

ces espaces, verifiant (A.) mais non et (A;). Voila un exemple:
Soit X=M[0, cxD]=L[0, cc] (dual fort de L1[0, cc]).

Soit la fonction a valeurs dans X qui est definie pour t 0 par la relation

0 pour T>t,
c(t) cc K(T,t)=
1 pour 0<T<t.

On voit aisement que la fonction a(t) appartienne a la classe Vf+(X). Soit

f(s)=I e-Stdcx(t),s>0. Elle verifie(A1); dans ce qui suit nous montrons

qu'elle ne verifle pas (A).
Premierement on voit que f (s)=G(s, T)=e- ST.En effet, pour toute fonc-
tion h(.) E L1[0, cc] on a
 58 S. ZAIDMAN

< et da(t), h(.)>e-td<a(t), h(.)>

e d h(T)dT=I e h(t)dt=<G(s,), h(.)>

On montre apres que 1'integrale de Riemann-Graves I Lk, 21[f(.)]du peut

etre calculee comme 1'integrale de Riemann par rapport a la variable u:

I.) Tke U du
Pour cela, observons que la f onction de T qui est definie par cette inte-
grale appartienne a M [0, oo] car on a

f1u)TCe raau=(k-1)e-dv

coax I1v'-1e-z dv<.1vk-le-dv=1

Puis, it f aut montrer que pour toute f onction h(T) E L, [0, oo] on a 1'egalite:

Lk UI e-uz h(T)dT dic=h(T) I I 1. () Tke u Tdu IdT

c'est a dire 1'egalite

(")(-Tyke u h(T)dT du

=I h(T) I;. () Tke du IdT

qui est immediate.

Maintenant nous pouvont demontrer que

lira I Lk, u[f(.)]du=lira IT'(-K I Tke u du

n'existe pas Bans la metrique de M[0, oo] (c'est a dire uniformement par
rapport a T E [0, oo]). En effet on a:

J Tke du=I 1e-vvk-1 dv

tend vers I 1...1e-vvk-1 dv quand S-+0, pour chaque T fixede [0, 0].
 LA REPRESENTATION DES FONCTIONS VECTORIELLES 59

Mais cette convergence n'est pas uniforme par rapport a T E [0, e] car si
on considere la difference,

e-vvk-i dv E 1 e-vvk-I dv=l e-vvk-i dv,

on a la relation

sun I 1 e-vk-1 dv I 1 e-vvk 1 dv, qui ne tend vers 0

avec 6. Q. E. D.

3. Soit C[0, oc] l'espace des fonctions continues sur [0, oo] et s'an-
nulant a l'infini.
Dans ce paragraphe nous etablirons une liaison entre les theoremes sur
la representation des fonctions vectorielles par des integrales de Laplace-
Stieltjes et certains theoremes de representation des operations lineaires et
continues de C[0, oo] a X par des integrales de Stieltjes abstraites.
A cette ocasion nous allons montrer que la condition (Ar) n'est pas
suffisantedans tout espace de Banach pour que la fonction fs)(la verifiant
soit representable comme transformation de Laplace-Stieltjes d'une fonction
a(t) de V (X). Premierement on a le
THEOREME I. 3. 1. Soit X un espace de Banach tel que, pour chaque
onction (s veri ant la condition (A1) it existe une fonction a(t) E V (X)
telle que

f(s)=et dcr(t), s>0.

Dans ce cas, pour toute operation lineaire et continue T de C[0, oo] a x,

it existe une fonction a(t) E V7 (X) telle que

Tq(.)g(t) dcr(t), pour toute g(t) E C[0, 00].

OBSERVATION 1. L'integrale g(t) dc(t) definie comme limite forte des

integrales fg(t) da(t) existe pour chaque fonction g(t) de C[0, oo] et a(t)
E V1+(X); cela resulte en modifiant legerement le raisonnement dans le
lemme 2 de [14].
OBSERVATION 2. Ce theoreme a ete sugere a l'auteur par la preuve
60 S. ZAIDMAN

que Hildebrandt et Schonberg donnerent au theoreme de Riesz sur les fonc-

tionnelles lineaires dans l'espace C[0, 1] (voir [13] pag. 105).
DEMONSTRATION DU THEOREME. Considerons la fonction vectorielle a
valeurs Bans C[0, o] definie pour s>0 par (s)=G(s, t)=e-S; consi-
derons aussi la fonction vectorielle a valeurs daps X qui est definie pour
s>0 par

f(S)=T[o(S)].

Nous allons montrer que la fonction f(s) verifie la condition (A f). En effet,
pour tout x' E X' on a

<x', f(s)>=<x, T [(s)]><T'x', p(s)>=<y', p(s)>

est dax1(t) ou c '(t) E V'+. (voir par ex. [8] Ch. V. 5. II)

Donc f(s) verifie (A f) et par l'hypothese du theoreme, it existe une fonction

a(t) E V (X) telle que

Js)=T[q (s)]=I e sz da(t), s>0.

Soit maintenant l'operation U de C[0, 00] a X donnee par l'egalite Ug(.)

=Ig(t) da(t), g(t) E C[0, oo]. Elleexiste, est lineaireet borne, et coincide
avec T sur l'ensemble des f onctions {e-T} n=1 qui est fondamental dans C[0,
cxD].Ii resulte d'ici que T coincide avec U sur l'entier C, [0, oo] et donc Tg
=g(t) dc(t) pour toute fonction g(t) E C[0, cc]. Le theoreme est demontre.

COROLLAIRE 1. Soit X un espace de Banach faiblement complet par

des suites ou dual. Alors, pour toute operation lineaire et borne de C[0, cc]
a X, T, it existe une fonction a(t) E V r+(X) telle que

Tg(.)=I g(t) dcr(t), pour toute g(t) E C[0, cc].

Resulte des th. I. 1. 1-a, I. 1. 1-b et I. 3. 1. Le resultat n'est pas nouveau.

COROLLAIRE 2. Dans l'eslaee X=CJO. cc1 it v a des fonctions f(s),

s>0, f(s) E X qui verifient la condition (Ar) et qui ne sont pas rep resen-
tables par l'integrale
 LA REPRESENTATION DES FONCTIONS VECTORIELLES 61

f(s)=/e-S da(t), s>0 oz a(t) E Vf (X).

DEMONSTRATION. En vertu du Th. I. 3. 1 it sera suffisant de montrer

qu'il existent des operations lineaires et continues de X =C[0, 00] en soi
meme qui n'admettent pas une representation de la f orme Tg=I. q(t) da(t)

avec ac(t) E VJ+(X). Nous allons montrer que 1'operation identique de C[0, oo]
en soi meme est une telle operation. Pour 1'espace C [a, b],-00<a<b<+Oo,
un tel resultat a ete enonce par R. S. Phillips dans [l0], mais la demonstration
qu'il a donnee la bas nous semble incomplete. Pour ce motif, nous donnerons
dans notre cas une demonstration qui est due essentiellement a S. Sandor,
Supposons par 1'absurde qu'il existe une fonction a(t) E V (C[0, co]),
tell qu'on a

Ig(.)=g(.)g(t) da(t), pour toute g(t) E C[0, oo]

Dans ce cas a(t)=K(s, t) ou:

i) K(s, t) est continue par rapport a s E P pour chaque t>0 fixe, et
K(s, t)-p 0 quand s-
ii) Ii existe une constants M>0 telle que

Vt[K(s,)]<M, pour tout s E I+

iii) On a g(s)=g(t) dK(s, t) pour chaque g(t) E C[0, 00] (1'integrale

existe comme limite unif orme par rapport a s E P quand R->co des integrales

I g(t) dK(s,t); ces integralessont a leur tour des limites uniformes sur
s E 1+ des sommes de Riemann-Stieltjes).
Nous allons montrer que les proprietes i), ii), iii) sont contradictoires.
Soit D, l'ensemble au plus denombrable des discontinuites de la fonction
K(s, t) par rapport a t, pour chaque s E P fixe. Soit C, 1'ensemble com-
plementaire de D,; it est partout dense dans I+. On a, en utilisant iii), et
en prenant la suite

1, Q<t<T 1

g(t)= t>T

lineaire entre T-1 et T

62 S. ZAIDMAN

les suivantes egalites:

a) Pour T E CS et T<s

0=g, 5(s)=I isdtK(s, t)+I g(t) d,K(s, t)

=K(s, T-1)-K(s, 0)+I, g(t) dK(s, t).

Si n--00, K(s, T-1)-K(s, T) et I, g(t) dK(s, t)-+0 et it resulte

que: K(s, T)=K(s, 0), pour T E CS, T<s.
b) S1 T E CS et T>s, en prenant n suffisamment grand pour que T-1

>s, on obtient d'une maniere analogue:

K(s, T)=K(s, 0)+1, pour T>s et T E CS.

En designant par c(s)=K(s, 0), nous avons obtenu donc:

c(s)+1, si T>s et T E CS
K(s, T)
c(s), si T<s et T E CS.
De i), en prenant t=0 it resulte que c(s) E C[0, 00]. Observons maintenant
que pour tout s E P fixe et>0 le nombre n des points t ou 1'oscillation
wt[K(s, t)] est plus grande que E, ne depasse pas le nombre Car si on

aurait n>1V1 alors V1[K(s.)]> n>Mce que contredit ii). Soit main-

tenant R 1'ensemble des nombres rationnelles (rl, r2,....,rk...). Soit (t, tk....., ti)

1'ensemble des<Pk points ou c[ k,)]> et T U (tk...,tk),Test un

ensemble au plus denombrable et si t T alors w[K(rk, t)]<L pour tout
k=1, 2,....
Soit 0<6<-f-., et to T. En utilisant i) on obtient ou'il existe un

tel que IK(s, to)-K(so, t0) J<6 si Js-t01<Sc at. Puis, pour Is-s I assez
petit, s E [t-, t0] fl R, s E [to, to + S] fl R, on a c(s)-c(s)J<6. Comme
1'ensemble Cs et 1'ensemble Cs sont partout denses dans I+, on trouve t E Cg
fl [s, to], t E C3 fl [to, s ] et en plus I t-to I et It -to I assez petits, pour
deduire de wt[K(rk, to)]<6, les relations

IK(s, to)-K(s, t) I<2 6, I K(s, to)-K(s, t) I<26.

 LA REPRESENTATION DES FONCTIONS VECTORIELLES 63

On obtient: [c(s)-c(s)]=K(s, t)-K(s, t)+1=1-{[K(s, t)-K(s, to)]

+[K(s, to)-K(to, to)]+[K(to, to)-K(s, t0)]+[K(s, ta)-K(s, t)]{ Ii resulte
alors que:
>c(s}-c(s)>1-2-2=1-6, et >1/7, <1/10,
absurde. Le corollaire 2 est demontre.

Chapitre II.

1. Dans ce chapitre nous prouvons les points a) et b) de l'introduction.

Premierement, nous avons le
THEOREME II. 1. 1. Soit X un espace de Banach faiblement complet
par des suites. Alors, une fonction f(s), s>0, f(s) E X, peut etre representee
eomme transformation de Laplace-Stieltjes:

f(s) I eSt da(t), s>0

oz a(t) E VI+(X), si et seulement si:

i) elle est indefiniment fortement derivable,
ii) it existe une constante M>0 telle que

IL.,u[fO]U du<M, k=1,2,

(condition (A)).
DEMONSTRATION.Ii f aut maintenarit de prouver seulement la suffisance
des conditions i) et ii), leur necessite etant connue.
Pour cela observons que si f(s) verifie i) et ii) elle verifie aussi (Ar); du
theoreme I, 1. 1.-a it resulte alors l'existence d'une fonction a(t) E V+(X)
telle que f(s)=I e-S da(t), s>0. Puis, pour demontrer que a(t) appartienne
aussi a +(X), on utilise le lemme 6 de [14] qui est valable evidemment
dans les espaces faiblement complets par des suites-, comme on a fait dans
[14], le Th. 2.
On ne sait pas si l'hypothese que X est faiblement complet par des
suites, peut etre ou non eliminee. En tout cas on a le:

THEOREME II. 1. 2. Si dans l'espace X=C[0, 1] la condition (A) est

sufsante pour que toute fonction f(s) la verifiant soit rep resentable par
f(s)=eSt da(t), s>0, a(t) E Vr+(X), alors elle est suffisante pour avoir
64 S. ZAIDMAN

cette representation dans tout espace de Banach.

DEMONSTRATION. Soit X un espace de Banach arbitraire et f(s), s>0,

f(s) E X, une fonction verifiant (A); elle est continue pour tout s>0, et
alors l'ensemble de valeurs de f (s) est separable. Soit X1 C X le sous-espace
lineaire ferme minimal qui contient l'ensemble des valeurs de f(s), s>0. Xl
est un espace separable ; it est donc isomorphe et isometrique a un sous-
espace lineaire ferme de C[0, 1], C1 C C[0, 1]. Soit f 1(s) la fonction definie
pour s>0 et a valeurs dans C1 qui corresponde a f(s).; vu 1'isometrie, f1(s)
verifie elle aussi la condition (A). Alors, de l'hypothese, it resulte l'existence
d'une fonction z(t) E V+(C[0, 1]), qu'on peut supposer normalisee, telle que

La(s)e-S da(t), s>0.

En utilisant un theoreme d'inversion de E. Hille ([6]-T. 6. 3. 5) on obtient que

c(t)-cr(0+)=lim Lk, u[fCl(.)] du,

la limite forte. Mais on salt que a(0+)=fl(0) E C1 et aussi, pour chaque

t>0 fixe la limite forte lira I Lk u[f(.,(.)] du est dans C1.

Donc c(t) apprtienne meme a C1 et non simplement a C[0, 1]. En considerant

les fonctions correspondantes dans X on a la relation voulue

f(s)I cSt da(t), a(t) E VI+(X1),

Chapitre III,

1. Dans ce dernier chapitre nous considerons la question d'obtenir

une condition qui soit necessaire et suffisante dans tout espace de Banach
X pour representer une fonction f(s), definie pour s>0 et a valeurs dans
cet espace comme transformation de Laplace-Stieltjes d'une fonction a(t)
de VI+(X).
Nous avons besoin pour cela de considerer une nouvelle classe de fonc-
tions vectorielles a variation borne, la classe Vs (X) des fonctions de Sirvint.
 LA REPRESENTATION DES FONCTIONS VECTORIELLES 65

On dit que la fonction a(t), t>0, a(t) E X appartienne a la classe V(X)

si l'ensemble j[()]
ades elements de X de la forme[a(tz+1)-a(t)], Ez
1, n=1, 2,... pour tous les systemes finis tl<t2..... <tn+i dans I+i
est relativement compact Bans la topologie faible (X'-topologie) de X.
Ces fonctions ont ete etudiees par D. A. Edwards qui a montre dans [4]
que les limites a(0+), cr(t+), cr(t-), a(+Ca) existent. pour tout t>0
dans la topologie forte de X, a(t+)=a(t-) sauf peut-etre sur un ensemble
au plus denombrable de t E P, et l'ensemble des valeurs de a(t), t E I+est
separable dans X. On peut normaliser une fonction a(t) de V(X) en posant
a(t) f [a(t+)+cr(t-)]; ainsi modifiee elle reste dans V (X) comme
on voit aisement en utilisant le theoreme de Eberlein (voir T. V. 6. 1 de [3]).
L'integrale g(t) da(t) definie comme limite forte des integrales de Riemann-

Stieltjes jg(t) dc(t) existe pour toute fonction g(t) E C[0, oo] (voir le lemme
2 de [14]). L'analogue du lemme 6. 1 de [14] a lieu aussi si on remplace
V+(X) par VI (X). On a aussi l'analogue du lemme vectoriel de Helly (lernme
8 de [14]) pour des suites ak(t) de V's (X), si on remplace la convergence forte
par la convergence faible et la compacite par la compacite faible (relative).
La demonstration et assez proche de celle donnee dans [14] pour le lemme
8. Comme nous n'auront pas besoin ici d'aucune extension vectorielle du
theoreme de Helly, nous n'insistons plus davantage.
Enfin, on peut montrer, comme Edwards dans [4], que l'operation T de
C[0, Ca] a x donnee par Tg=g(t) d(t) est lineaire, borne et faiblement

compacte, si a(t) E V+(X).

Nous dirons que la f onction f (s), s>0, f(s) E X verifie la condition (A4)
si elle est indefiniment fortement derivable et si l'ensemble V [f(. )] des elements
de X de la forme 1SkjLk, u[f(.)]du ou n=1,2,.., k 1,2..., k=1,
0<t1<t2 K...<<t+1<Qo, est relativement compact dans la topologie
faible de X.
On a alors le suivant resultat, analogue du theoreme 3 de [14]:
THEOREMS III. 1. 1. Soit X un espace de Banaeh arbitraire. Alors la
condition (A) est necessaire et sufisante pour l'existence d'une fonction
66 S. ZAIDMAN

normalisee a(t) E V (X), telle que:f(s)=et dcr(t), s>0.

La demonstration de la necessite est entierement analogue a la demon-

stration correspondante d.ans le theoreme 3 de [14] en utilisant les remarques
faites au commencement de ce chapitre. Mais pour demontrer la sufisance
nous utilisons une methode qui diff ere de celle utilisee dans le T. 3 de [14] en
ca qu'elle n'utilise plus du theoreme de Helly vectoriel.
Si f(s) verifie la condition (A4) alors pour toute x' E X' la fonction scalaire
f'(s)<x', f(s)> verifie la condition (A) de Widder comme on voit sans
peine. Ii existe donc une fonction normalisee, c '(t) E V' telle que

<x',f(s)>=Iest dr(t), s>0.

Maintenant, pour tout x' E X' it existe la limite

lirn <x', I Lk,u[f(.)] du>=lira j Lk,u[fx'(.)] du.

On a suppose que l'ensemble V[ f (.)] est relativement faiblement compact; it

resulte en particulier que l'ensemble des elements Lk, u[f(.)] du ou t>0 est

fixe et>0 est variable, est relativement faiblement compact dans X. Comme
de plus la "suite" Lk u[f(.)] du est faiblement convergence, it existe un ele-

ment de X, que nous allons designer par Lk, u[f(.)] du qui est la limite

faible de Lk [f(.)] du pour -0. Pour k=1, on obtient que la limite faible

de f(t), pour t-p oo, f (oo), existe et appartienne a X. On a evidemment:

<x', Lk, u[f(.)] du>=1im Lk, u[f(.)] du.

<x', f(o)>=fx, (oo).

Si nous appliquons maintenant le theoreme d'inversion de Widder ([13]-Th. 7. a
Ch. VII) on a que:

c(t)=lim I I Lk.u[fX-(.)]du+f(k)

=lim<x', Lk, u[f (.)] du+ (k)>.

 LA REPRESENTATION DES FONCTIONS VECTORIELLES 67

Maisl'ensemble
des elementsde X de la formeI Lk,u[f(.)]du, k=1, 2,....
t>0, appartienne a 1'adherence faible de l'enselmbe V[f(.)].
Celui-ci est relativement compact et en consequence la meme chose est
vraie pour l'ensemble considers. Puis, en utilisant le theoreme de Eberlein
(T. V. 6. 1 de [3]) on obtient que l'ensemble des elements de la forme

j Lk,u[f(.)]du+f(k), k=1, 2,.... t>0,

est aussi relativement faiblement compact dans X. Comme en plus la suite

Lk u[f (.)] du+f (k) est faiblement convergente pour k -Qo, it resulte l'exis-

tence d'une fonction a(t) a valeurs dans X, qui est definie pour chaque t>0
comme limite faible de la suite Lk, u[f(.)] du+f(k). Si on pose aussi a(0)

=d, on a a x-(t)<x', a(t)>, t>0.

Enfin, it faut montrer que a(t) E Vs (X). Or, pour tout element I
[a(t+1)-a(te)] de V[a(.)] on a

i[a(t+1)-a(tj]=lim f aible E Lk, u[f(.)] du

et done l'ensemble V[a(.)] est contenu Bans l'adherence faible de 1'ensemble

V[f(.)] qui est relativement faiblement compact; on obtient done que a(t)
E Vs (X). Comme a(t+), a(t-) existent fortement, et ax-(t) est normalisee
pour tout x' E K on obtient que a(t) est normalisee.

Enfin, on a <x', f (s)>=f(s) j et do '(t)

=le Scd<x', a(t)> <x', l e-St da(t)>;

f(s)=I e-Stda(t), s>0.

Le theoreme est demontre.

OBSERVATION.On peut donner une autre f orme de la condition (A4)

qui soit completement analogue a la condition (A1) de [14]. A savoir, nous
68 S. ZAIDMAN

dirons que f (s) verifie la condition (A4') si elle est indefiniment fortement
derivable, les integrales Lk, u[f(.)] du existent comme limite forte, et l'ensem-

ble V [f(.)] est relativement f aiblement compact dans X.

Les conditions (A4) et (A4') sont equivalentes car une fonction f(s) veri-
fiant (A4) est representable par

f(s) I e-' da(t), a(t) E VT(X)

et du lemme analogue au lemme 6. 1 de [14] it resulte l'existence des integrales

Lk, u[f(.)] du comme limite forte.

Cela etant nous pouvons enoncer le resultat essentiel de ce Chapitre, a

savoir, le

TH.EOREME III. 1. 2. Soit X un espace de Banach arbitraire. La fonc-

don f(s), s>0, f(s) E X, peut etre representee par

f(s) et dcr(t), s>0, oz a(t) E V'+(X)

si et seulement si
a) elle est indefiniment fortement derivable
b) on a I1Lk,U[fC)]IIdu <M, k=1, 2,....

e) l'ensemble V[f(.)] est relativement faiblement compact dans X.

DEMONSTRATION DE LA SUFFISANCE. Comme f(s) verifie a) et c) du

theoreme II. 1. 1 it resulte l'existence d'une fonction

a(t) E Vs (X) telle que f(s)=I e-Stda(t), s>0.

puis, a l'aide du lemme d'inversion, analogue du lemme 6. 1 de [14], on

obtient que a(t)-a(0+)=lim Lk, u[f t. )] du (la limite forte); maintenant,

en utilisant la condition b) it resulte que a(t) est la limite forte ponctuelle

d'une suite de fonctions ak(t) E VI+(X), a variation forte egalement bornee
par M. Donc a(t) E V (X). Q. E. D.
DEMONSTRATION DE LA NECESSITE. La necessite des conditions a) et
 LA REPRESENTATION DES FUNCTIONS VECTORIELLES 69

b) etant immediate, tout ce qu'il reste a demontrer est la necessite de la con-

dition c). Mais cela resultera du theoreme III. 1. 1 des que nous aurions
demontre que toute fonction a(t) de Vr+(X) appartienne aussi a la classe
Vs+(X), c'est a dire 1'inclusion V(X) C Vs+(X).
Ce fait, sugere a 1'auteur par M. N. Dinculeanu peut se demontrer en
utilisant le methode suivant (voir [2]).
Soit T 1'operation de C[0, oo] a X qui est definie par la formule Tg(.)
=q(t) dcr(t), ou a(t) est une fonction normalisee de V+(X). On a alors

IITy(JII<I Iy(t) I d(c), ar(c)=vLa(.)7,

a(t) est une fonction croissante et bornee sur [0, oo]. Soit la fonctionelle

qui est definie sur C[0, oc] par la formule F(g) g(t) do(t); elle est
lineaire est bornee. Du theoreme de Riesz (voir [3]-T. IV. 6. 3) it resulte
1'existence d'une mesure bornee, definie sur les ensembles borCliens de [0, 00],
reguliere est denombrablement additive, telle qu'on a F(g) g(t) (dt), g(.)

E C[0, oo]. Toute fonction g(t) de C[0, 00] est integrable par rapport a et
on a: IF(g) I I Ig(t) I (dt) (car est une mesure positive, vu que c(t)

est croissante). On a obenu done que: IITg(.)II F[ Ig I ] Ig(t) I (dt) c'est

a dire (voir [2]) que T est une operation majoree. Soit L1=L1([0, 00]; B,)
l'espace des fonctions integrables par rapport a la mesure. La relation precedente
montre qu'on a IITyI I HgII1; vu que l'ensemble des fonctions continues
g(t) E C[0, cc] est dense dans L1 ([0, 00]; B,) it resulte que T est une
operation bornee de L1 a X, definie sur un ensemble partout dense. Elle pout
titre donc prolongee par continuite a tout l'espace L1. Si x(t) est la fonction cara-
cteristique d'un ensemble borelien E, elle appartienne a L1. Soit la fonction vec-
torielle definie surles ensembles boreliens de [0. 00] par la relation ;E)=T[xE(.)].
On montre que pour tout x' E X' la fonction scalaire <x', (E)> est une
mesure reguliere et denombrablement aditive sur les ensembles boreliens de
[0, cc]. Ii resulte ainsi que est une mesure vectorielle au sens de Bartle,
Dunford, Schwartz, (voir [3]-IV-10)]. Puis on a qui T [xE]=I xi (t) (dt) et it

resulte d'ici qu'on a Tg=fg(t) (dt) pour toute fonction g(t) E C[0, cc]
70 S. ZAIDMAN

(l'integrale de Bartle, Dunford, Schwartz, [3]-IV-10).

Si on applique le Th. VI. 7. 3 de [3], it resulte que T est une operation
de C[0, oo] a X, faiblement compacte. Ce fait est deja suffisant, comme on
voit sans peine, pour finir la demonstration de la necessite, pour demontrer
aussi que a(t) E Vs (X) on raisonne ainsi:
Soit x1(t)=[0, t], a(0)=0, it resulte d'un theoreme de Bartle, Dunford,
Schwartz [1], affirmant que 1'ensemble des valeurs d'une m.esure vectorielle
est relativement faiblement compact, que c1(t) E Vs+(X). On voit aussi sans
peine que g(t), u(dt)=g(t) do 1(t), g(t) E C[0, o]. On a obtenu done

Tg=g(t) da(t)=jg(t) da, (t), ou on peut supposerquepour tout t>0,

o1(t)=n [a(t+)+a(t-)], it resultea(t)=al(t) E Vs+(X), Q. E. D.

BIBLIOGRAPHIE

[1] R. G. BARTI.E, N. DUNFORD AND J. SCHWARTZ, Weak compactness and vector measures,
Canad, J. Math. 7(1955), 289-305.
[2] N. DINCULEANU, Mesures vectorielles et operations lineaires, Comptes Rendus des Seances
de l'Academie de Sciences, Paris, 246(1958), 2328.
[3] N. DUNFORD AND J. SCHWARTZ, Linear Operators, Part I : General Theory, Interscience
Publishers, Inc. New-York, 1958.
[4] D. A. EDWARDS, On the continuity properties of functions satisfying a condition of
Sirvint's, Quart. J. Math., Oxford, 8(1957), 58-67.
[5] E. HILLE, Functional analysis and semi-groups, New-York, 1948.
[6] E. HILLE AND R. S. PHILLIPS, Functional analysis and semi-groups, (second revised edi-
tion), Amer. Math. Soc. Coll. Publ., 1957.
[71 D. G. KENDALL AND J. E. MOYALL, On the continuity properties of vector-valued func-
tions of bounded variation, Quart. J. Math. Oxford, 8(1957), 54-57.
[8] S. MANDELBROJT, Series adherentes, Regularisation des suites, Applications, Paris, 1952.
[9] I. MIYADERA, On the representation theorem by the Laplace-transformation of vector-
valued functions, Tohoku Math. J., 8(1956), 170-180.
[10] R. S. PHILLIPS, On linear transformations, Trans. Amer. Math. Soc., 48(1940), 516-541.
[11] P. G. ROONEY, An inversion and representation theory for the Laplace-integral of abstract
valued functions, Canad. J. Math. 5(1954), 190-209.
[12] L. SCHWARTZ., Espaces de fonctions defferentiables a valeurs vectorielles, Journal d'Ana-
lyse Mathematique, 4(1954-55), 88-148.
[13] D. V. WIDDER, The Laplace Transform, Princeton University Press, 1946.
[14] S. ZAIDMAN, La representation des fonctions vectorielles par des integrales de Laplace-
Stieltjes, Ann. Math., 68(1958), 260-277.
[15] S. ZAIDMAN, Sur la representation des fonctions vectorielles par des integrales de Laplace-
Stieltjes, Comptes Rendus des Seances de l'Academie des Sciences, Paris, 247(1958),
905.
[16] S. ZAIDMAN, Representation des fonctions vectorielles par des integrales de Laplace-
Stieltjes et compacite faible, Compte Rendus des Seances de 1'Academie des Sciences,
Paris, 248(1959), 1915.

BUCAREST, ROUMANIE.