4.

Oprateurs Intgraux

Les oprateurs intgraux constituent des objets fondamentaux en analyse

fonctionnelle, o ils permettent notamment de transformer les quations
fonctionnelles en une version plus simple an de les rsoudre facilement.
Les oprateurs intgraux interviennent dans plusieurs domaines tels que les
quations aux drives partielles, les phnomnes de diusion et les quations
intgrales.
Oprateur Intgral
On appelle oprateur intgral tout oprateur linaire A dni sur un
espace norm E valeurs dans un espace norm F donn sous la forme
Z
A'(x) =
k(x; y)'(y)dy; x 2 G1 ;
(1)
G2

o k(x; y) une fonction mesurable dnie sur un ensemble mesur G1

et '(y) est une fonction mesurable dnie sur G2 :

G2

Noyau dun oprateur

La fonction mesurable k(x; y) est dite noyau de loprateur intgral A:
Normes des oprateurs intgraux
Soit A un oprateur intgral dni sur Lp (G1 ); alors pour tout p et q
1 1
conjugus ( + = 1); avec (1 p; q 1); la norme de loprateur A est
p q
donne par
8
! p1
p
>
Z
Z
>
>
q
>
>
>
j k(x; y) jq dy
dx
; pour 1 < p < 1
>
>
< Z G1
G2
kAkp =
esssup j k(x; y) j dx; pour p = 1
>
>
>
G1
>
Z y
>
>
>
>
j k(x; y) j dy; pour p = 1
: esssup
x

G2

o k(x; y) une fonction mesurable dnie sur un ensemble mesur G1

1

G2 :

Thorme 1
Soit A un oprateur intgral de norme nie
k A kp < 1

(2)

Alors loprateur intgral A est un oprateur linaire continu de Lp (G2 )

dans Lp (G1 ): De plus, on a
k A' kp k A kp k ' kp

(3)

Dmonstration
Premier cas 1 < p < 1
Par utilisation de lingalit de Hlder, on obtient
Z
Z
Z
p
jA'(x)j dx =
j k(x; y) jj '(y) j dy
G1
G1 0 G2
1
Z
Z
Z
q
q
@
jk(x; y)j dy
G1

k'kpp

dx

G2

G2

G2

=k A kpp k'kpp

G2

jk(x; y)j dy

p
q

dx

Do la continuit de loprateur intgral A'(x) =

Lp (G2 ) dans Lp (G1 ): De plus, on a
0
ou encore

G1

11

jA'(x)j dxA
p

kA

kpp

j'(y)jP dy

k'kpp

R
1
p

G2

j k(x; y) jj '(y) j dy dx
Z
esssup j k(x; y) j dx
j '(y) j dy
y
G1 Z
G2
= k'k1
esssup j k(x; y) j dx
G1

G2

G1

= kAk1 k'k1 :
2

1p

A dx

k(x; y)'(y)dy de

k A' kp k A kp k ' kp :

Deuxime cas p = 1
Z
Z
jA'(x)j dx =
G1
Z

1
p

Do la continuit de loprateur intgral A'(x) =

L1 (G2 ) dans L1 (G1 ): De plus, on a

G2

k(x; y)'(y)dy de

k A' k1 k A k1 k ' k1 :
Troisime cas p = 1
esssup j T '(x) j = ess sup j

k(x; y)'(y)dy j
R
esssup j '(y) j esssup G2 j k(x; y) j dy

G2

= kAk1 k'k1 :

Do la continuit de loprateur intgral A'(x) =

L1 (G2 ) dans L1 (G1 ): De plus, on a

G2

k(x; y)'(y)dy de

k A' k1 k A k1 k ' k1 :
Remarque 1
La norme de loprateur intgral A pour p = q = 2 est donne par
Z

kAk2 =

G1

G2

j k(x; y) j2 dxdy

1
2

< 1:

Proposition 1
La condition k A kp < 1 donne sur la norme de loprateur intgral A est
uniquement su sante et non ncessaire pour la continuit de cet loprateur.
En eet, il su t de prendre A comme oprateur de convolution dans
Lp (R)
Z
A'(x) =
k(x y)'(y)dy
R

o k(x; y) est un noyau de convolution k(x; y) = k(x

Z +1
j k(t) j dt < 1:

y) avec la condition

par

Comme il est connu que la norme dans lespace Lp (G) est aussi donne
Z
kf kp = sup jf (x)g(x)j dx; g 2 Lq (G); kgkq = 1:
G

Le thorme de Fubini, nous donne

Z
kA'kp sup
j g(x)A'(x) j dx
kgkq =1
R
Z
Z
j g(x) j
j k(x y)'(y) j dy dx
sup
kgkq =1
Z R
Z R
= sup
j g(x) j
j k(y)'(x y) j dy dx
kgkq =1
R
R
Z
Z
j g(x)'(x y) j dy dx
= sup
j k(y) j dy
kgkq =1
R
R
R
k g kq k ' kp sup R j k(y) j dy
kgkq =1
R
=k ' kp R j k(y) j dy
R
Do la continuit de loprateur intgral A'(x) = R k(x y)'(y)dy de
Lp (R) dans Lp (R): De plus, on a
k A' kp k A k1 k ' kp :
Bien entendu, la condition (2) nest pas remplie car, on a
kA

kpp

=
=

R
R

jk(x

y)j dy

p
q

dx

k A kpq dx = 1:

Thorme 2
Soit A un oprateur intgral vriant les conditions suivantes
Il existe deux constantes positives C1 > 0 et C2 > 0 telles que
Z

G2

jk(x; y)j dy

1
r

C1 ;

r > 0;

pour tout x 2 G1 :

(4)

C2 ;

s > 0;

pour tout y 2 G2 :

(5)

De plus,
Z

G1

jk(x; y)j dx

1
s

1 1
Pour tout p et q conjugus ( + = 1); avec (1
p q
p1

p;

p1

s;

p1 s
p1

p; q

1); on a

r
:
q

(6)

Alors loprateur A est un oprateur linaire continu de Lp (G2 ) dans

Lp1 (G1 ): De plus, on a
kAk

p1 s
s
p1
p1
C1
C2 :

(7)

Dmonstration
Utilisons lingalit de Hlder gnralise pour les valeurs p1 ; q et

pp1

p1 p
1 p1 p
1
= 1) alors, on a
vrient la relation ( + +
p1 q
pp1
Z
jA'(x)j =
k(x; y)'(y)dy
Z G2
jk(x; y)j j'(y)j dy
Z G2
p
1
s
1
1
=
(jk(x; y)js j'(y)jp ) p1 j'(y)j p1 jk(x; y)j p1 dy
Z G2
p1 s
p1 p
1
)
p(
=
(jk(x; y)js j'(y)jp ) p1 j'(y)j pp1 jk(x; y)j p1 dy
Z G2
p1 s 1
p1 p
1
q(
)
=
(jk(x; y)js j'(y)jp ) p1 (j'(y)jp ) pp1 (jk(x; y)j p1 ) q dy
G2

Do la relation

jA'(x)j

1 p1 p 0
11
0
11 0
p1
pp1
q
Z
Z
Z
p1 s
q(
)
s
p
p
@ (jk(x; y)j j'(y)j ) dy A @ j'(y)j dy A
@ jk(x; y)j p1 dy A :
G2

G2

En vertu de (4); avec q(

p1 s
)
p1

G2

0; on obtient

0
1 p1 s
0
1 1 ( p1 ) p1
q
q p1 s
Z
Z
p1 s
p1 s
B
C
)
q(
)
q(
C
@ jk(x; y)j p1 dy A = B@ jk(x; y)j p1 dy A
@
A
11

G2

G2

p1 s
C1 p1 :

De plus, on a
0
@

G2

1 p1

pp1

B
@
=B
@

j'(y)j dy A
p

Do, la relation

jA'(x)j

0
@

G2

11

p1

C
j'(y)j dy A C
A
p

11

p1

(jk(x; y)j j'(y)j ) dy A

s

G2

1 p1

p1 p
k'k p1

Par intgration des deux cots, il vient

0
Z
Z
Z
p1
@
jA'(x)j dx
(jk(x; y)js j'(y)jp ) dy
G1

G1

G2

= k'k

p1 p
p1

p1 s
C1 p1 :

1
p1

p1 p
k'k p1

jk(x; y)js j'(y)jp dydx k'kp1 p C1p1 s

G1
G2
Z
Z
p1 p p1 s
s
= k'k
C1
jk(x; y)j dx
j'(y)jp dy
G1 Z
G2
p1 p p1 s
p
s
= k'k
C1
k'k
jk(x; y)j dx
G1
0
1s
1
Z
s
= k'kp1 C1p1 s @
jk(x; y)js dx A

G1

C1p1 s C2s

p1

k'k :

Do la continuit de loprateur A de lespace Lp (G2 ) dans Lp1 (G1 )

0
@

G1

11

p1

jA'(x)j dxA
p1

C1p1 s C2s

1
k'kp1 p1

Autrement dit, on a

kA'kp1

p1 s
s
p1
p1
C1
C2

k'kp ;

p1 s
s
p1
p1
C1
C2

k'k :

1p1

p1 s
C1 p1 A

dx

ou encore
kA'kp1

kAk k'kp ; avec

kAk

p1 s
s
C1 p1 C2p1 :

Remarque 2
Le cas o p = 1; loprateur A devient un oprateur continu de L1 (G2 )
dans Lp1 (G1 ) sous la condition suivante
Z

G1

p1

jk(x; y)j dx

1
p1

C2 ;

pour tout y 2 G2 :

De plus, on a
kAk

C2 :

Bien entendu, si p = 1 implique que q = 1 et la relation (6) donne

p1 = s; ce qui entrane le rsultat voulu.
Remarque 3
Le cas o p1 = 1; loprateur A devient un oprateur continu de Lp (G2 )
dans L1 (G1 ) sous la condition suivante
q

r:

De plus, on a
kAk

C1 :

Bien entendu, si p1 = 1 implique que

s
= 0; ce qui entrane le rsultat voulu.
p1

r
q

1 et la relation (6) donne

Proposition 2 (Oprateurs produits)

Soient A1 et A2 deux oprateurs intgraux de Lp (E) dans Lp (E); alors
loprateur produit (A1 A2 )' = A1 (A2 ') est un oprateur intgral de Lp (E)
dans Lp (E):
En eet, on a

(A1 A2 )'(x) = A
Z 1 (A2 ')
=
k1 (x; z)A2 '(z)dz
Z E
Z
=
k1 (x; z)
k2 (z; y)'(y)dy dz
Z E
Z E
=
'(y)dy
k1 (x; z)k2 (z; y)dz
E
Z E
=
k3 (x; y)'(y)dy;
E

o la fonction k3 (x; y) dsigne le noyau de loprateur produit A1 A2 donn

par la relation
Z
k3 (x; y) =
k1 (x; z)k2 (z; y)dz:
E

Remarque 4
Loprateur intgral produit A2 '(x) = A(A'(x)) admet un noyau k2 (x; y)
donn par
Z
k2 (x; y) =

k(x; z)k(z; y)dz:

noyaux itrs
Le noyau kn (x; y) de loprateur intgral produit An '(x) = A(An 1 '(x))
est dit noyau itr du noyau k(x; y); donn par
Z
kn (x; y) = k(x; z)kn 1 (z; y)dz:

Bibliographie
[1] L. KANTOROVITCH, G. AKILOV. Analyse fonctionnelle, ditions Mir Moscou 1981.
[2] M. NADIR. Cours danalyse fonctionnelle, universit de Msila 2004.
Address. Prof. Dr. Mostefa NADIR
Laboratory of Pure and Applied Mathematics
and
Laboratory of Signals Analysis and Systems
University of Msila
28000 ALGERIA
E-mail:
mostefanadir@yahoo.fr