Vous êtes sur la page 1sur 9

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
A'(x) =
_
G
2
k(x; y)'(y)dy; x G
1
; (1)
o k(x; y) une fonction mesurable dnie sur un ensemble mesur G
1
G
2
et '(y) est une fonction mesurable dnie sur G
2
:
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 L
p
(G
1
); alors pour tout p et q
conjugus (
1
p
+
1
q
= 1); avec (1 _ p; q _ ); la norme de loprateur A est
donne par
|A|
p
=
_

_
_
_
G
1
__
G
2
[ k(x; y) [
q
dy
_
p
q
dx
_
1
p
; pour 1 < p <
_
G
1
esssup
y
[ k(x; y) [ dx; pour p = 1
esssup
x
_
G
2
[ k(x; y) [ dy; pour p =
o k(x; y) une fonction mesurable dnie sur un ensemble mesur G
1
G
2
:
1

Thorme 1
Soit A un oprateur intgral de norme nie
| A |
p
< (2)
Alors loprateur intgral A est un oprateur linaire continu de L
p
(G
2
)
dans L
p
(G
1
): De plus, on a
| A' |
p
_| A |
p
| ' |
p
(3)
Dmonstration
Premier cas 1 < p <
Par utilisation de lingalit de Hlder, on obtient
_
G
1
[A'(x)[
p
dx =
_
G
1
__
G
2
[ k(x; y) [[ '(y) [ dy
_
p
dx
_
_
G
1
_
_
__
G
2
[k(x; y)[
q
dy
_
1
q
__
G
2
['(y)[
P
dy
_
1
p
_
_
p
dx
= |'|
p
p
_
G
2
__
G
2
[k(x; y)[
q
dy
_
p
q
dx
=| A |
p
p
|'|
p
p
Do la continuit de loprateur intgral A'(x) =
_
G
2
k(x; y)'(y)dy de
L
p
(G
2
) dans L
p
(G
1
): De plus, on a
_
_
_
G
1
[A'(x)[
p
dx
_
_
1
p
_
_
| A |
p
p
|'|
p
p
_
1
p
;
ou encore
| A' |
p
_| A |
p
| ' |
p
:
Deuxime cas p = 1
_
G
1
[A'(x)[ dx =
_
G
1
__
G
2
[ k(x; y) [[ '(y) [ dy
_
dx
_
_
G
1
esssup
y
[ k(x; y) [ dx
_
G
2
[ '(y) [ dy
= |'|
1
_
G
1
esssup
y
[ k(x; y) [ dx
= |A|
1
|'|
1
:
2

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


_
G
2
k(x; y)'(y)dy de
L
1
(G
2
) dans L
1
(G
1
): De plus, on a
| A' |
1
_| A |
1
| ' |
1
:
Troisime cas p =
esssup
x
[ T'(x) [ = ess sup [
x
_
G
2
k(x; y)'(y)dy [
_ esssup
y
[ '(y) [ esssup
x
_
G
2
[ k(x; y) [ dy
= |A|
1
|'|
1
:
Do la continuit de loprateur intgral A'(x) =
_
G
2
k(x; y)'(y)dy de
L
1
(G
2
) dans L
1
(G
1
): De plus, on a
| A' |
1
_| A |
1
| ' |
1
:
Remarque 1
La norme de loprateur intgral A pour p = q = 2 est donne par
|A|
2
=
__
G
1
_
G
2
[ k(x; y) [
2
dxdy
_
1
2
< :
Proposition 1
La condition | A |
p
< donne sur la norme de loprateur intgral A est
uniquement susante et non ncessaire pour la continuit de cet loprateur.
En eet, il sut de prendre A comme oprateur de convolution dans
L
p
(R)
A'(x) =
_
R
k(x y)'(y)dy
o k(x; y) est un noyau de convolution k(x; y) = k(x y) avec la condition
_
+1
1
[ k(t) [ dt < :
Comme il est connu que la norme dans lespace L
p
(G) est aussi donne
par
|f|
p
= sup
_
G
[f(x)g(x)[ dx; g L
q
(G); |g|
q
= 1:
3

Le thorme de Fubini, nous donne


|A'|
p
sup
kgkq=1
_
R
[ g(x)A'(x) [ dx
_ sup
kgkq=1
_
R
[ g(x) [
__
R
[ k(x y)'(y) [ dy
_
dx
= sup
kgkq=1
_
R
[ g(x) [
__
R
[ k(y)'(x y) [ dy
_
dx
= sup
kgkq=1
_
R
[ k(y) [ dy
__
R
[ g(x)'(x y) [ dy
_
dx
_| g |
q
| ' |
p
sup
kgkq=1
_
R
[ k(y) [ dy
=| ' |
p
_
R
[ k(y) [ dy
Do la continuit de loprateur intgral A'(x) =
_
R
k(x y)'(y)dy de
L
p
(R) dans L
p
(R): De plus, on a
| A' |
p
_| A |
1
| ' |
p
:
Bien entendu, la condition (2) nest pas remplie car, on a
| A |
p
p
=
_
R
__
R
[k(x y)[
q
dy
_
p
q
dx
=
_
R
| A |
p
q
dx = :
Thorme 2
Soit A un oprateur intgral vriant les conditions suivantes
Il existe deux constantes positives C
1
> 0 et C
2
> 0 telles que
__
G
2
[k(x; y)[
r
dy
_
1
r
_ C
1
; r > 0; pour tout x G
1
: (4)
De plus,
__
G
1
[k(x; y)[
s
dx
_
1
s
_ C
2
; s > 0; pour tout y G
2
: (5)
4

Pour tout p et q conjugus (


1
p
+
1
q
= 1); avec (1 _ p; q _ ); on a
p
1
_ p; p
1
_ s;
p
1
s
p
1
_
r
q
: (6)
Alors loprateur A est un oprateur linaire continu de L
p
(G
2
) dans
L
p
1
(G
1
): De plus, on a
| A |_ C
p
1
s
p
1
1
C
s
p
1
2
: (7)
Dmonstration
Utilisons lingalit de Hlder gnralise pour les valeurs p
1
; q et
pp
1
p
1
p
vrient la relation (
1
p
1
+
1
q
+
p
1
p
pp
1
= 1) alors, on a
[A'(x)[ =

_
G
2
k(x; y)'(y)dy

_
_
G
2
[k(x; y)[ ['(y)[ dy
=
_
G
2
([k(x; y)[
s
['(y)[
p
)
1
p
1
['(y)[
1
p
p
1
[k(x; y)[
1
s
p
1
dy
=
_
G
2
([k(x; y)[
s
['(y)[
p
)
1
p
1
['(y)[
p(
p
1
p
pp
1
)
[k(x; y)[
p
1
s
p
1
dy
=
_
G
2
([k(x; y)[
s
['(y)[
p
)
1
p
1
(['(y)[
p
)
p
1
p
pp
1
([k(x; y)[
q(
p
1
s
p
1
)
)
1
q
dy
Do la relation
[A'(x)[ _
_
_
_
G
2
([k(x; y)[
s
['(y)[
p
) dy
_
_
1
p
1
_
_
_
G
2
['(y)[
p
dy
_
_
p
1
p
pp
1
_
_
_
G
2
[k(x; y)[
q(
p
1
s
p
1
)
dy
_
_
1
q
:
En vertu de (4); avec q(
p
1
s
p
1
) _ 0; on obtient
_
_
_
G
2
[k(x; y)[
q(
p
1
s
p
1
)
dy
_
_
1
q
=
_
_
_
_
_
_
_
G
2
[k(x; y)[
q(
p
1
s
p
1
)
dy
_
_
1
q
(
p
1
p
1
s
)
_
_
_
_
p
1
s
p
1
_ C
p
1
s
p
1
1
:
5

De plus, on a
_
_
_
G
2
['(y)[
p
dy
_
_
p
1
p
pp
1
=
_
_
_
_
_
_
_
G
2
['(y)[
p
dy
_
_
1
p
_
_
_
_
p
1
p
p
1
= |'|
p
1
p
p
1
:
Do, la relation
[A'(x)[ _
_
_
_
G
2
([k(x; y)[
s
['(y)[
p
) dy
_
_
1
p
1
|'|
p
1
p
p
1
C
p
1
s
p
1
1
:
Par intgration des deux cots, il vient
_
G
1
[A'(x)[
p
1
dx _
_
G
1
_
_
__
G
2
([k(x; y)[
s
['(y)[
p
) dy
_
1
p
1
|'|
p
1
p
p
1
C
p
1
s
p
1
1
_
_
p
1
dx
=
_
G
1
_
G
2
[k(x; y)[
s
['(y)[
p
dydx |'|
p
1
p
C
p
1
s
1
= |'|
p
1
p
C
p
1
s
1
_
G
1
[k(x; y)[
s
dx
_
G
2
['(y)[
p
dy
= |'|
p
1
p
C
p
1
s
1
|'|
p
_
G
1
[k(x; y)[
s
dx
= |'|
p
1
C
p
1
s
1
_
_
__
G
1
[k(x; y)[
s
dx
_
1
s
_
_
s
_ C
p
1
s
1
C
s
2
|'|
p
1
:
Do la continuit de loprateur A de lespace L
p
(G
2
) dans L
p
1
(G
1
)
_
_
_
G
1
[A'(x)[
p
1
dx
_
_
1
p
1
_
_
C
p
1
s
1
C
s
2
|'|
p
1
_
1
p
1
= C
p
1
s
p
1
1
C
s
p
1
2
|'| :
Autrement dit, on a
|A'|
p
1
_ C
p
1
s
p
1
1
C
s
p
1
2
|'|
p
;
6

ou encore
|A'|
p
1
_ |A| |'|
p
; avec |A| _ C
p
1
s
p
1
1
C
s
p
1
2
:
Remarque 2
Le cas o p = 1; loprateur A devient un oprateur continu de L
1
(G
2
)
dans L
p
1
(G
1
) sous la condition suivante
__
G
1
[k(x; y)[
p
1
dx
_
1
p
1
_ C
2
; pour tout y G
2
:
De plus, on a
|A| _ C
2
:
Bien entendu, si p = 1 implique que q = et la relation (6) donne
p
1
= s; ce qui entrane le rsultat voulu.
Remarque 3
Le cas o p
1
= ; loprateur A devient un oprateur continu de L
p
(G
2
)
dans L
1
(G
1
) sous la condition suivante
q _ r:
De plus, on a
|A| _ C
1
:
Bien entendu, si p
1
= implique que
r
q
_ 1 et la relation (6) donne
s
p
1
= 0; ce qui entrane le rsultat voulu.
Proposition 2 (Oprateurs produits)
Soient A
1
et A
2
deux oprateurs intgraux de L
p
(E) dans L
p
(E); alors
loprateur produit (A
1
A
2
)' = A
1
(A
2
') est un oprateur intgral de L
p
(E)
dans L
p
(E):
En eet, on a
7

(A
1
A
2
)'(x) = A
1
(A
2
')
=
_
E
k
1
(x; z)A
2
'(z)dz
=
_
E
k
1
(x; z)
__
E
k
2
(z; y)'(y)dy
_
dz
=
_
E
'(y)dy
__
E
k
1
(x; z)k
2
(z; y)dz
_
=
_
E
k
3
(x; y)'(y)dy;
o la fonction k
3
(x; y) dsigne le noyau de loprateur produit A
1
A
2
donn
par la relation
k
3
(x; y) =
_
E
k
1
(x; z)k
2
(z; y)dz:
Remarque 4
Loprateur intgral produit A
2
'(x) = A(A'(x)) admet un noyau k
2
(x; y)
donn par
k
2
(x; y) =
_
k(x; z)k(z; y)dz:
noyaux itrs
Le noyau k
n
(x; y) de loprateur intgral produit A
n
'(x) = A(A
n1
'(x))
est dit noyau itr du noyau k(x; y); donn par
k
n
(x; y) =
_
k(x; z)k
n1
(z; y)dz:
8

Bibliographie
[1] L. KANTOROVITCH, G. AKILOV. Analyse fonctionnelle, di-
tions 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
9