Vous êtes sur la page 1sur 92

REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE

MINISTERE DE L’ENSEIGNEMENT SUPERIEUR


ET DE LA RECHERCHE SCIENTIFIQUE
UNIVERSITE D’ORAN

FACULTE DES SCIENCES


DEPARTEMENT DE MATHEMATIQUES

THESE
Présentée par

MEZEGHRANI Fatima Zohra


Pour Obtenir
LE DIPLÔME DE DOCTORAT D’ETAT
Spécialité : Mathématiques
Option : Analyse fonctionnelle

Intitulée :

Sur quelques problèmes elliptiques sous forme abstraite


de type mêlé.

Devant les membres du jury :

Président : Messirdi Bekkai, Professeur à l’Université d’Oran.

Directeur de thèse : Mortad Mohammed Hichem, Maître de Conférences, classe « A » à


l’Université d’Oran.

Examinateurs : Bendoukha Benrabah, Professeur à l’Université de Mostaganem.

Djebbar Bachir Professeur à l’Université des Sciences et de la


Technologie d’Oran.

Aiboudi Mohamed, Maître de Conférences, classe « A » à l’Université


d’Oran.

Année universitaire : 2011/2012.


Table des matières

Remerciement 2

Introduction 4
0.1 Objectif principal de la thèse . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
0.2 Historique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
0.3 Outils et méthodes de travail . . . . . . . . . . . . . . . . . . . . . . . . . . 8
0.4 Description des sections et résultats principaux . . . . . . . . . . . . . . . . 8
0.5 Perspectives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1 Rappels 13
1.1 Opérateurs linéaires fermés . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2 Les semi-groupes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3 Les espaces d’interpolation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3.1 Propriété fondamentale d’interpolation . . . . . . . . . . . . . . . . . 19
1.4 Calcul et intégrale de Dunford . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.4.1 Formule de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.4.2 Intégrale de Dunford-Riesz . . . . . . . . . . . . . . . . . . . . . . . 20
1.4.3 Propriété de l’intégrale de Dunford . . . . . . . . . . . . . . . . . . . 21
1.5 Puissances fractionnaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.6 La théorie des sommes d’opérateurs . . . . . . . . . . . . . . . . . . . . . . . 22
1.6.1 La théorie des sommes d’opérateur de Da Prato et Grisvard . . . . . 23
1.6.2 La théorie des sommes d’opérateurs de Dore et Venni . . . . . . . . . 24
1.7 Théorème de traces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.8 Les espaces de Hölder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.9 Lemmes techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

2 Résolution du problème dans le cas où f est dans Lp (0; 1; X): 29


2.1 Approche utilisant les résultats de Dore-Venni . . . . . . . . . . . . . . . . . 30
2.1.1 Hypothèses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.1.2 Lemmes techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.1.3 Représentation de la solution . . . . . . . . . . . . . . . . . . . . . . 34
2.1.4 Existence, unicité et régularité maximale . . . . . . . . . . . . . . . . 35
2.1.5 Estimation-A-Priori . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.2 Approche utilisant le théorème de Mikhlin . . . . . . . . . . . . . . . . . . . 41
2.2.1 Problème avec conditions aux limites homogènes . . . . . . . . . . . . 41
2.2.2 Problème avec conditions aux limites non homogènes . . . . . . . . . 47
2.3 Applications dans le cas où f est dans Lp (0; 1; X): . . . . . . . . . . . . . . . 48

1
TABLE DES MATIÈRES 2

2.3.1 Résultats de trace. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48


2.3.2 Application aux équations aux dérivées partielles. . . . . . . . . . . . 50

3 Résolution du problème dans le cas où f est dans C ([0; 1] ; X) : 52


3.1 Approche utilisant la racine carrée de A . . . . . . . . . . . . . . . . . . . 53
3.1.1 Quelques résultats . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.1.2 Existence, unicité et régularité maximale . . . . . . . . . . . . . . . . 57
3.1.3 Régularité croisée . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.1.4 Estimation a priori . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.2 Approche utilisant l’intégrale de Dunford . . . . . . . . . . . . . . . . . . . . 69
3.2.1 Construction explicite de la solution . . . . . . . . . . . . . . . . . . 69
3.2.2 Lemmes techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.3 Comparaison des deux approches . . . . . . . . . . . . . . . . . . . . . . . . 74
3.4 Applications dans le cas où f est dans C ([0; 1] ; X) . . . . . . . . . . . . . . 75
3.4.1 Résultat anisotropique d’interpolation. . . . . . . . . . . . . . . . . . 75
3.4.2 Exemples concrets. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78

4 Etude du Problème dans le cas où l’opérateur A est variable et f est dans


un espace Holdérien. 80
4.1 Position du problème et hypothèses . . . . . . . . . . . . . . . . . . . . . . . 81

4.2 Construction de la solution . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81

Bibliographie 87
Remerciements

3
TABLE DES MATIÈRES 4

C’est avec mon plus vif enthousiasme que je souhaite rendre mérite aujourd’hui aux
personnes qui de prés ou de loin et à leur manière, m’ont aidé à mener à bien ce travail.
A toutes celles et ceux qui m’ont témoigné de la sympathie et de l’intérêt, qu’ils reçoivent
aujourd’hui le témoignage de ma profonde gratitude et l’assurance de mon estime.
Je présente plus particulièrement mes sincères remerciements :

A monsieur Rabah LABBAS Professeur à l’université du Havre qui m’a initié à l’analyse
fonctionnelle et particulièrement à l’étude des équations di¤érentielles abstraites. Son intérêt
pour ce travail, ses orientations et ses conseils mathématiques m’ont été trés précieux.

A monsieur Mohammed Hichem MORTAD Maître de conférences, à l’université d’Oran


pour avoir accepté de diriger ce travail, pour la con…ance qu’il m’a témoigné, pour l’aide
e¢ cace qu’il m’a apporté et pour le temps qu’il m’a consacré m’ayant permis d’achever ce
travail dans les meilleurs conditions.
.
A monsieur Bekkai MESSIRDI Professeur à l’université d’Oran pour l’honneur qu’il me
fait de présider ce jury. Sa collaboration trés fructueuse a été décisive dans l’aboutissement
de cette thèse, qu’il trouve ici ma profonde reconnaissance.

Je tiens également à remercier monsieur Benrabeh BENDOUKHA Professeur à l’univer-


sité de Mostaganem, avec une profonde sympathie, pour avoir accepté de juger ce travail.

Mes remerciements vont également à l’égard de monsieur Bachir DJEBBAR Professeur


à L’université des sciences et de la technologie d’Oran qui m’honore en acceptant de faire
partie de mon jury.

Aussi, je remercie vivement monsieur Mohamed AIBOUDI d’avoir accepté d’examiner


cette thèse et d’en rédiger un rapport. Ses encouragements m’ont été précieux.
Introduction

5
0.1. OBJECTIF PRINCIPAL DE LA THÈSE 6

0.1 Objectif principal de la thèse


Considérons dans un espace de Banach complexe X, le problème abstrait de type
Dirichlet-Neumann
u00 (x) + Au(x) = f (x); x 2 (0; 1) (1)
avec les conditions aux limites

u(0) = d0 ; u0 (1) = n1 : (2)

Dans tout ce travail, A est un opérateur linéaire fermé de domaine D(A) non nécessaire-
ment dense dans X satisfaisant l’hypothèse d’éllipticité suivante

1 C
[0; +1[ (A) et 9C > 0 : (A I) L(X)
(3)
1+
Ici d0 et n1 sont des éléments donnés dans X.
L’étude sera développée dans les deux cas suivants
1. f 2 Lp (0; 1; X); 1 < p < 1,

X est un espace U M D . (4)

Dans cette partie, l’opérateur A véri…e l’hypothèse :


(
8s 2 R; ( A)is 2 L (X) et 9C > 1; 2]0; [:
is jsj (5)
( A) < Ce :
L(X)

On montre alors qu’il existe une unique solution stricte u de (1)-(2), autrement dit,
une fonction u telle que

u 2 W 2;p (0; 1; X) \ Lp (0; 1; D(A));

et véri…ant (1)-(2).
D’un autre côté, on donne les conditions nécéssaires et su¢ santes pour avoir une solu-
tion stricte ayant la propriété de régularité maximale suivante

u00 ; Au 2 Lp (0; 1; X):

A titre illustratif, lorsque X = Lq (0; 1); 1 < q < 1;


(
D (A) = f' 2 W 2;q (0; 1) : ' (0) = ' (1) = 0g
A' = '"

l’équation abstraite (1) devient celle du Laplacien avec des conditions aux limites de
type mêlé 8
>
> u = f;
>
>
< u (0; y) = u0 (y) ;
>
@u
(1; y) = u1 (y) ;
>
> @x
>
> u (x; 0) = 0;
>
:
u (x; 1) = 0:
0.2. HISTORIQUE 7


f 2 Lp (0; 1; Lq (0; 1))
on dit que f est dans un espace anisotropique.Dans le cas où p = q on obtient

Lp (0; 1; Lq (0; 1)) = Lp ((0; 1) (0; 1)) :

La théorie d’Agmon-Douglis-Nirenberg [1] ne traite que les cas où : p = q.


2. f 2 C ([0; 1]; X); 0 < < 1:
Ici une solution stricte du problème (1)-(2), telle que

u 2 C 2 ([0; 1] ; X) \ C([0; 1] ; D(A));

et véri…ant (1)-(2), est obtenue. De plus on donne les conditions nécéssaires et su¢ -
santes pour avoir la propriété de régularité maximale :

u00 ; Au 2 C ([0; 1]; X):

Ce travail est basé fondamentalement sur une représentation explicite de la solution


utilisant la racine carrée de l’opérateur A et la méthode de Krein [22]. On analyse alors
avec prudence, toutes les composantes de la solution, dans les deux cas, en utilisant les
résultats de Dore-Venni et Sinestrari [12], [41], le théorème de réitération de Lions, voir [28]
et [43], la théorie des semi groupes et quelques techniques appliquées dans [17] and [18].
Comme application de nos résultats, on obtient quelques théorèmes de trace.
Comme cité précédement, la racine carrée de l’opérateur A apparait naturellement
dans les équations du second ordre avec di¤érentes conditions aux limites, mais quand on a
à étudier l’équation (1) avec les conditions de Dirichlet, l’utilisation de la racine carrée n’est
pas nécéssaire. Par exemple dans le travail de Labbas
p [23], les techniques sont basées sur le
noyau de Green. Dans notre cas, l’apparence de A est due aux conditions aux limites de
Neumann.
Notons que dans ce travail on n’a pas la densité de D(A) dans X, c’est pour cette raison
que l’on doit utiliser la racine carrée de A avec prudence. On rappelle le papier sur les
puissances fractionnaires d’opérateurs à domaines non denses par Martinez-Sanz [30].

0.2 Historique
Pendant les dernières decenies, plusieurs chercheurs se sont interessés à la résolution du
problème (1) dans les deux cas décrits précédement :

f 2 C ([0; 1]; X) ou f 2 W 2;p (0; 1; X); 0 < < 1; 1 < p < 1:

Plusieurs d’entre eux ont étudié (1) comme un problème abstrait de type elliptique, i.e.
sous l’hypothèse (3), avec di¤érentes conditions aux limites dans les deux cas f holdérienne
ou f dans Lp (0; 1; X) en utilisant les puissances fractionnaires d’opérateurs ou le calcul
fonctionnel de Dunford. Nous citons en premier la théorie des sommes d’opérateurs de Da
Prato et P.Grisvard [8] qui traite comme application notre problème avec d0 = n1 = 0 mais,
en imposant une condition non naturelle au second membre du type f (0) = f (1) = 0.
0.2. HISTORIQUE 8

On trouve aussi une étude complète de (1) sous les conditions aux limites de Dirichlet
dans le cas d’opérateurs à coe¢ cients variables, see Labbas [23]. Cet auteur a utilisé les
techniques du noyau de Green .
Récemment, une nouvelle approche, basée sur les techniques des semigroupes et les puis-
sances fractionnaires d’opérateurs, a été développée par Favini, Labbas,Tanabe et Yagi [15],
[17] concernant l’équation complète

u00 (x) + 2Bu0 (x) + Au (x) = f (x) ; x 2 (0; 1) ;

sous les conditions aux limites de Dirichlet. Notre travail s’inspire de cette dernière référence.
On cite par exemple, le premier travail remarquable de S. G. Krein en p 1967 (voir [22] p.
249) qui utilise une réduction de l’ordre et les propriétés de la racine carrée A (le domaine
de A est supposé dense dans X). Le même Problème a été étudié comme un exemple d’une
situation plus générale (cadre de sommes d’opérateurs) par G. Da Prato et P. Grisvard en
1975 (voir [10]). Ici les outils utilisées sont basés sur le calcul fonctionnel de Dunford et les
espaces d’interpolation. Cependant, de part le cadre général qu’il traitent, ces auteurs ont
imposé une condition non naturelle au second membre du type : f (0) = f (1) = 0.
Il est à noter que, dans les exemples concrets régis par des EDP, les espaces d’inter-
polation sont souvent plus faciles à expliciter que les domaines de puissances fractionnaires
d’opérateurs. Le travail de R. Labbas en 1986 (voir [23]) clari…e complètement cette situation
en donnant des conditions nécessaires et su¢ santes sur les données ( avec les conditions aux
limites de Dirichlet) pour avoir une solution classique ayant de plus une régularité optimale,
voir aussi Rabah Labbas [23].
Le même problème mais avec les conditions aux limites de Dirichlet-Neumann a été étudié
par F. Z. Mezeghrani [31] avec des hypothèses de di¤érentiabilité de la résolvantes dans le
cas où A est variable, en utilisant le calcul fonctionnel de Dunford.
Dans le cas où B = 0 et A variable, l’équation non autonome

u00 (x) + A (x) u(x) = f (x); x 2 (0; 1);

a été traitée dans le travail sur les sommes d’opérateurs de Da Prato-Grisvard (cadre non
commutatif), avec les conditions aux limites de type

a0 u(0) b0 u0 (0) = d0
a1 u(1) + b1 u0 (1) = d1

avec ai ; bi > 0 et ai + bi > 0 (i = 0; 1):, où, pour chaque x 2 [0; 1]; ( A (x)) est supposé
véri…ant l’hypothèse d’ellipticité dite de Krein (voir [22], (2.2), p. 249) et des hypothèses de
di¤érentiabilité sur la résolvante de type Tanabe et Yagi (voir Da Prato et Grisvard [10],
p. 373 et 375). Il est à noter qu’ici les domaines peuvent " beaucoup varier" mais que les
actions des opérateurs sont " régulières" (c’est-à-dire que les coe¢ cients correspondants aux
actions des opérateurs sont réguliers).
Le travail de R. Labbas en 1986 (voir [23]) étudie et clari…e ce cas mais avec une autre
hypothèse sur les opérateurs elliptiques ( A (x)), sans supposer la di¤érentiabilité des résol-
vantes ni la densité des domaines. Cette hypothèse s’inspire sur les travaux de P. Acquista-
pace et B. Terreni pour l’étude du problème de Cauchy abstrait, (voir [3]). Concrètement,
cette hypothèse traduit que les domaines des opérateurs varient " d’une manière höldé-
rienne" mais que les coe¢ cients des actions de ces opérateurs peuvent être peu régulières.
0.3. OUTILS ET MÉTHODES DE TRAVAIL 9

Cette situation a été considérée et étudiée dans un cadre plus général d’une somme d’opé-
rateurs par R. Labbas et B. Terreni, (voir [25]). On peut dire que les deux approches sont
complémentaires l’une de l’autre.

0.3 Outils et méthodes de travail


Cette thèse utilise beaucoup d’outils d’analyse fonctionnelle, en particulier la théorie
des semi-groupes, les puissances fractionnaires d’opérateurs, la théorie de l’interpolation, la
théorie des sommes d’opérateurs linéaires et le calcul fonctionnel de Dunford.
Les techniques utilisées s’inspirent de beaucoup de travaux ayant trait à l’étude des
équations di¤érentielles abstraites posées dans des espaces de Banach. On cite à titre indicatif
les travaux récents développés dans [14], [15], [16] et [17].

0.4 Description des sections et résultats principaux


Cette thèse comporte 4 chapitres.
Le premier chapitre est consacré à des rappels d’usage sur les outils mathématiques
utilisés dans ce mémoire. Nous donnons certains résultats classiques sur les semi groupes
les espaces holdériens, les espaces d’interpolation et les espaces fractionnaires, ainsi que les
pricipaux théorèmes de la théorie des sommes d’opérateurs linéaires dans le cas des espaces
de Banach quelconques ([8] ;[25]) et dans le cas des espaces de Banach UMD ([11] ;[34]).
Le deuxième chapitre concerne le cas Lp (0; 1; X). Plus précisément, on s’intéresse à
l’équation di¤érentielle abstraite du second ordre de type elliptique (1) avec les conditions
aux limites de type Dirichlet-Neumann (2) où A est un opérateur linéaire fermé sur un espace
de Banach complexe X et d0 , n1 sont des éléments donnés dans X. Ici

f 2 Lp (0; 1; X); 1 < p < 1;

et X a la proporiété géométrique dite U M D.il est partagé en deux parties, dans la première,
on fait une approche de notre problème en utilisant les résultats de Dore-Venni aprés avoir
donné quelques lemmes techniques nécéssaires pour la représentation de la solution. on sup-
pose que A est un opérateur Bip et on utilise les résultats du chapitre 1 pour montrer que
(1) admet une unique solution stricte, sous certaines hypothèses naturelles d’ellipticité de
l’opérateur et de régularité sur les données, on donne alors, une représentation explicite de
la solution stricte.
Plus précisément on démontre le Théorème suivant :

Théorème 0.1 Soit f 2 Lp (0; 1; X) ; 1 < p < +1, on suppose (3), (4) et (5). Alors les
propositions suivantes sont équivalentes :
1. Le problème (1)-(2) admet une unique solution stricte u, telle que

u 2 W 2;p (0; 1; X) \ Lp (0; 1; D (A));

et véri…ant (1)-(2).
2. d0 2 (D(A); X) 1 ;p et n1 2 (D(A); X) 1 + 1 ;p .
2p 2 2p
0.4. DESCRIPTION DES SECTIONS ET RÉSULTATS PRINCIPAUX 10

De plus, on donne une estimation-a-priori dans la proposition suivante :

Proposition 0.1 Soit f 2 Lp (0; 1; X) ; 1 < p < +1, on suppose (3), (4), (5),
d0 2 (D(A); X) 1 ;p et n1 2 (D(A); X) 1 + 1 ;p . Alors 9C > 0 tel que :
2p 2 2p

ku00 kLp (X) + kAukLp (X) C kf kLp (X) + kd0 k(D(A);X) 1 + kn1 k(D(A);X) 1 1
2p ;p 2 + 2p ;p

La formule de représentation de la solution est donnée dans le chapitre 2 par deux mé-
thodes, la première se base sur le calcul fonctionnel de Dunford et la deuxième sur la méthode
de Krein[22], l’unicité de la représentation est démontrée dans ce chapitre.
Dans la deuxième partie du chapitre 2, on fait une deuxième approche du problème en
utilisant le théorème de Mikhlin. Dans cette partie on utilise les techniques des multipli-
cateurs de Fourier et la théorie de Mikhlin pour majorer les puissances imaginaires pures
d’opérateurs.
La dernière section du deuxième chapitre illustre notre théorie abstraite par quelques
exemples concrets d’applications en EDP dans le cas des espaces Lp , en particulier on montre
que l’application I dé…nie par :
1 1
1 2
W 2;p (0; 1; Lq (R)) \ Lp (0; 1; W 2;q (R)) ! Bq;p p (R) Bq;p p (R)
u 7 ! (u (0) ; u0 (1))

est linéaire, continue et bijective.


Au troisième chapitre on reprend l’étude du problème (1)-(2) en supposant cette fois-ci
le cas
f 2 C ([0; 1] ; X); 0 < < 1:
On cherche une solution stricte u de (1)-(2), i.e. une fonction telle que

u 2 C 2 ([0; 1] ; X) \ C([0; 1] ; D(A));

véri…ant les équations (1)-(2). Cette solution stricte aura la propriété de régularité maxi-
male si elle véri…e de plus
u00 ; Au 2 C ([0; 1] ; X):
Les résultats dans ce chapitre sont les suivants :

Théorème 0.2 Soit f 2 C ([0; 1] ; X) ; 0 < < 1, et supposons (3). Alors les assertions
suivantes sont équivalentes.
1. Le problème (1)-(2) admet une unique solution stricte u, telle que

u 2 C 2 ([0; 1] ; X) \ C([0; 1] ; D (A));

et véri…ant (1)-(2).
2. d0 2 D(A); Ad0 f (0) 2 D(A); u est donné par (2.12),
p p
n1 2 D( A) et An1 2 D(A):
0.4. DESCRIPTION DES SECTIONS ET RÉSULTATS PRINCIPAUX 11

Proposition 0.2 Soit f 2 C ([0; 1] ; X) ; 0 < < 1, on suppose (3),


p
d0 2 D(A); n1 2 D( A); Ad0 f (0) 2 (D (A) ; X)1 ;+1
p 2
et An1 2 (D (A) ; X)1 ;+1 :
2

Alors 9C > 0 :

ku00 kC(X) + kAukC(X)


h p i
C kf kC (X) + kAd0 f (0)kX + An1
X

et

ku00 kC (X) + kAukC (X)


" #
p
C kf kC (X) + kAd0 f (0)k(D(A);X) + An1
1 2 ;+1 (D(A);X)1
2 ;+1

On termine le troisième chapitre par des applications concrètes dans le cas holdérien.
Comme exemple, on montre que l’application

M : G !N ;
u 7 ! (u (0) ; u0 (1))

est bien dé…nie, linéaire, continue et bijective avec


8
>
< Gn = o
u 2 C 2+ ([0; 1] ; L2 (R)) \ C ([0; 1] ; H 2 (R)) : u00 (0) 2 (H 2 (R); L2 (R))1 ;+1 ;
>
: 2
N = H 2 (R) H ;
et n p p o
H = 2 D( A) : A 2 (H 2 (R); L2 (R))1 =2;+1 = B2;1 (R) :
Le quatrième chapitre est consacré à l’étude du problème :
8 00
< u (x) + A(x)u(x) x = f (x); > 0; x 2 [0; 1]
u(0) = d0
: 0
u (1) = n1
où f 2 C ([0; 1] ; X) ; 0 < < 1; d0 ; n1 2 X et (A(x))x2[0;1] est une famille d’opérateurs
linéaires fermés de domaines D (A(x)) non nécéssairement denses dans X et véri…ant
(
(A(x) z) 1 existe pour tout z et
1 c
(A(x) z) L(X)
; 8z
jzj
et
8
>
> 9K; ; tels que :
< jx sj
1 1 1
(A(x) ) (A(x) z) (A(x) ) (A(s) ) K
>
>
L(X) jzj
:
avec : + 2 2 > 0:
0.4. DESCRIPTION DES SECTIONS ET RÉSULTATS PRINCIPAUX 12

Cette dernière hypothèse intervient assez naturellement dans la résolution d’une équation
intégrale qui est formellement équivalente à l’équation di¤érentielle :

u00 (x) + A(x)u(x) x = f (x)

obtenue à l’aide du calcul opérationnel de Dunford. Elle a été utilisée pour la première fois
par Acquistapace-Terreni [3] pour l’étude de l’équation parabolique du premier ordre avec
condition de Cauchy non homogène et ensuite dans Labbas-Terreni [25] dans l’étude des
sommes d’opérateurs de type parabolique ou elliptique.
Dans ce chapitre, on obtient un résultat essentiel d’existence, d’unicité et de régularité
optimale holdérienne de la solution.
Le mémoire se termine par une bibliographie relative à l’ensemble des travaux présentés
ici.
0.5. PERSPECTIVES 13

0.5 Perspectives
Les perspectives de recherche dans le domaine traité ici dans cette thèse sont nombreuses,
nous citons quelques unes :
1. Considérer l’équation complète :

u00 (x) + 2Bu0 (x) + Au (x) = f (x) ; x 2 (0; 1) ;

sous les conditions aux limites de Dirichlet-Neumann.


Ces études devront être faites dans les deux cas : Lp (0; 1; X); 1 < p < 1 et
C ([0; 1]; X); 0 < < 1:
2. On ne suppose pas l’hypothèse sur la résolvante et on cherche les conditions nécéssaires
sur l’opérateur A pour que notre problème admette une solution stricte.
Chapitre 1

Rappels

14
1.1. OPÉRATEURS LINÉAIRES FERMÉS 15

1.1 Opérateurs linéaires fermés


On rappelle que A est un opérateur linéaire sur X un espace de Banach si et seulement si
c’est une application linéaire dé…nie sur un sous espace vectoriel D(A) (domaine de dé…nition
de A) de X, à valeurs dans X.
Alors :
1. A est dit borné si
D(A) = X et 9c > 0 : kA k ck k
et on écrit A 2 L (X) :
2. A est dit fermé si et seulement si son graphe est fermé, i. e., pour toute suite (xn )n 2
D (A) telle que
xn ! x x 2 D(A)
=)
Axn ! y Ax = y:
3. A est dit fermable si et seulement s’il admet une extension fermée, ce qui équivaut à
dire que pour toute suite (xn )n 2 D (A) telle que

xn ! 0
=) y = 0:
Axn ! y

Les convergences des suites xn et Axn sont au sens de la norme de l’espace X:


La notion de fermabilité des opérateurs linéaires est importante dans la résolution de
certaines équations aux dérivées partielles car elle permet d’avoir des solutions distributions,
(voir Kato [21]).

1.2 Les semi-groupes


Dé…nition 1.1 Soit X un espace de Banach. On dit que la famille (G(t))t 0 d’opérateurs
linéaires bornés sur X constitue un semi-groupe si :
1. G(0) = I = IX ;
2. 8t; s > 0; G(t + s) = G(t)G(s):

Lorsque la famille (G(t)) est donnée pour t 2 R et que la deuxième propriété est véri…ée
pour tous t et s de R on dira qu’on a un groupe.

Dé…nition 1.2 On dit qu’un semi-groupe (G(t))t 0 est fortement continu si et seulement si
pour tout x 2 X, l’application t ! G(t)x de R+ dans X est continue c’est à dire

8x 2 X; lim kG (t) x xkX = 0


t !0

on dit aussi que (G(t))t 0 est un C0 semi-groupe.

Proposition 1.1 Si (G(t))t 0 est un semi-groupe fortement continu alors il existe deux
constantes M > 1 et ! > 0 telles que

8t > 0; kG(t)kL(E) 6 M e!t : (1.1)


1.2. LES SEMI-GROUPES 16

Dé…nition 1.3 On appelle générateur in…nitésimal d’un C0 semi-groupe (G(t))t 0 , l’opéra-


teur dé…ni par

8
> G(t)x x
< D( ) = x 2 X : lim+ existe dans X
t !0 t
>
: 8x 2 D( ); G(t)x x
x = lim+ :
t !0 t
Proposition 1.2 Si est générateur in…nitésimal d’un C0 semi-groupe(G(t))t 0 , alors
1. est linéaire fermé de domaine D( ) dense dans X;
2. L’ensemble résolvant ( ) contient le demi-plan

P! = f 2 C : jRe( )j > !g

et 8 2 P! ; 8n > 1
M
( I) n
6
L(E) (Re !)n
3. La résolvante de est donnée par la transformation de Laplace :
Z1
8 2 P! ; ( I) 1 x = e t
G (t) xdt
0

où M et ! sont les constantes de la proposition précédente.

La réciproque de ce résultat est donnée par le célèbre théorème de Hille-Yosida suivant :

Théorème 1.1 (Hille-Yosida) [21] Soit : D( ) E ! E un opérateur linéaire tel que :


1. est fermé et D( ) est dense dans E;
2. il existe M > 1 et ! > 0 tels que :

( ) f 2 C : jRe( )j > !g

et pour Re > !; n = 1; 2::::


M
( I) n
6 :
L(E) (Re !)n

Alors est le générateur in…nitésimal d’un C0 semi-groupe (G(t))t 0 :

Proposition 1.3 On peut retrouver le semi-groupe (G(t)))t 0 à partir de son générateur


par la formule
G(t)x = lim et x; t > 0; x 2 X
!1

où 2 L(X) est l’approximation de Yosida dé…nie par

= ( I) 1 ; > !:
1.2. LES SEMI-GROUPES 17

La proposition suivante détaille les principales propriétés des C0 semi-groupes.


Proposition 1.4 Soit (G(t))t>0 un C0 semi-groupe de générateur in…nitésimal , alors on
a:
1. Pour tout x 2 X, la fonction t 7! G(t)x est continue sur R+ :
2. Si x 2 D( ) et t > 0 alors G(t)x 2 D( ):
3. La fonction t 7! G(t)x est continûment dérivable sur R+ si et seulement si x 2 D( ).
Dans ce cas
d
8t > 0; G(t)x = G(t)x = G(t) x:
dt
4. Pour tout x de X et tout t > 0
Z t Z t
G(s)xds 2 D( ) et G(s)xds = G(t)x x;
0 0

et si de plus x 2 D( )
Z t Z t
G(s)xds = G(s) xds = G(t)x x:
0 0

5. Si est générateur in…nitésimal d’un autre C0 semi-groupe (S(t))t>0 , alors


8t > 0, S(t) = G(t):
La proposition précédente permet d’a¢ rmer entre autre que si est le générateur in…ni-
tésimal d’un C0 semi-groupe (G(t))t 0 et si u0 2 D( ), la fonction u : [0; +1[ ! X dé…nie
par
8t > 0, u(t) = G(t)u0 ;
est l’unique fonction dans C 1 ([0; 1] ; X) \ C([0; 1] ; D( )), solution du problème de Cauchy
u0 (t) = u(t), x 2 [0; +1[;
u(0) = u0 :
Dé…nition 1.4 On dit que (G(t))t 0 est un :
– C0 semi-groupe uniformément borné si on a la majoration (1.1) avec M > 1 et ! = 0:
– C0 semi-groupe de contraction si on a (1.1) avec M = 1 et ! = 0:

Semi-groupes di¤érentiables
Dé…nition 1.5 On dit qu’un C0 semi-groupe (T (t))t 0 est di¤érentiable si pour tout x de
X, la fonction t 7! T (t)x est di¤érentiable de ]0; +1[ dans X.
Proposition 1.5 Soit (T (t))t 0 un C0 semi-groupe di¤érentiable de générateur in…nitésimal
. Alors, pour n 2 N et x 2 X, on a :
1. 8t 2]0; +1[, T (t)x 2 D( n ).
2. t 7! T (t)x est n fois di¤érentiable sur ]0; +1[ et
8t 2]0; +1[; T (n) (t)x = n
T (t)x:
3. 8t 2]0; +1[, T (n) (t) 2 L(X):
4. t 7! T (n) (t) est di¤érentiable (donc continu) de ]0; +1[ dans L(X).
1.2. LES SEMI-GROUPES 18

Semi-groupe analytique
Dans toute la suite arg désigne la détermination principale de la fonction argument
caractérisée par :

arg(z) = ' si z = rei ; r > 0; ' 2 [ ; ]

Dé…nition 1.6 Soit 2]0; ]. On appelle semi-groupe analytique, l’application G dé…nie


sur le secteur S avec

S = fz 2 C : jarg(z)j < g
et à valeurs dans L(X) telle que :
1. z ! G(z) est analytique sur S :
2. G(0) = I et 8x 2 X, lim kG(z)x xkX = 0:
z!0
z2S

3. 8z1 ; z2 2 S , G(z1 + z2 ) = G(z1 )G(z2 ).


Si de plus sup kG(z)k < +1, on dit que (G(z))z2S est uniformément borné dans S :
z2S

Semi-groupe analytique généralisé


On dira que exQ x 0 est un semi-groupe analytique généralisé si Q est un opérateur
linéaire dans X; de domaine non dense et véri…ant :
(
(Q) S!; = 2 Cn f!g = jarg( !)j < 2 + et
sup k( !) ( I Q) 1 kL(X) < +1;
2S!;

où ! 2 R et 2 0; 2 .
Dans ce cas exQ x 0 n’est pas supposé un semi-groupe fortement continu (voir E. Sines-
trari [41], A. Lunardi [29]).

Remarque 1.1 En …xant r > 0, 0 2 ]0; [ alors exQ x 0


est dé…ni par
8 1
R x 1
< 2i
e ( I Q) d si x > 0
xQ
e =
:
I si x = 0;

ou est le bord de S!; nB(0; r) orienté négativement.

Générateur in…nitésimal de semi-groupe analytique (ou holomorphe)

Théorème 1.2 Soit le générateur in…nitésimal d’un C0 semi-groupe (G(z))z2S unifor-


mément borné sur X. Alors les conditions suivantes sont équivalentes
1.3. LES ESPACES D’INTERPOLATION 19

1. Il existe 2]0; =2[ et C > 0 tels que


8
< ( ) S 2 + et
C (1.2)
: 8 2 S 2 + ; k( I) 1 kL(X) 6 :
j j
2. (G(t))t 0 est un C0 semi-groupe di¤érentiable et il existe M > 0 tel que pour tout t > 0;
M
G(t) 2 L(X; D( )) et k G(t)kL(X) 6 :
t
3. Il existe 2]0; ] tel que (G(t))t 0 soit prolongeable en (G(z))z2S semi-groupe sur X,
analytique dans S , uniformément borné dans S .
Théorème 1.3 Soit : D( ) X ! X un opérateur linéaire.
Alors les propriétés suivantes sont équivalentes :
1. est fermé, D( ) est dense dans X et il existe C > 0 tel que
8
< ( ) = f 2 C = Re > 0g et
C (1.3)
: 8 2 ; k( I) 1 kL(X) 6 :
j j
2. est le générateur in…nitésimal d’un semi-groupe analytique, uniformément borné
(G(t))t>0 qui de plus se prolonge en (G(z))z2S , semi-groupe sur X, analytique dans
S , uniformément borné dans S (avec 2]0; ]).

1.3 Les espaces d’interpolation


On donne ici certaines caractérisations des espaces d’interpolation dont on rappelle ci-
dessous les principales.
Dé…nition 1.7 Soit X un espace de Banach.
On désigne par Lp (R+ ; X) avec p 2 [1; +1[; l’espace de Banach des fonctions f forte-
ment mesurables dé…nies pour presque tout t 2 R+ et telles que
0 +1 11=p
Z
@ kf (t)kp dt A = kf k P
F L (R+ ;X) < +1.
t
0

Si p = +1, on dé…nit l’espace L1 (R+ ; F ) par


(
f : R+ ! X est fortement mesurable et
f 2 L1 (R+ ; X) , sup ess kf (t)kX < 1:
0<t<1

Dé…nition 1.8 Soient (X0 ; k:k0 ) et (X1 ; k:k1 ) deux espaces de Banach s’injectant continû-
ment dans un espace topologique séparé E.
Pour p 2 [1; +1] et 2 ]0; 1[, on dit que x 2 (X0 ; X1 ) ;p si et seulement si

i)8t > 0; 9u0 (t) 2 X0 ; 9u1 (t) 2 X1 / x = u0 (t) + u1 (t)


ii)t u0 2 Lp (R+ ; X0 ) ; t1 u1 2 Lp (R+ ; X1 ) :
1.3. LES ESPACES D’INTERPOLATION 20

Proposition 1.6

X0 \ X1 ; k:kX0 \X1 ; X0 + X1 ; k:kX0 +X1 et (X0 ; X1 ) ;p ; k:k ;p

sont des espaces de Banach pour les normes respectives


(
kxkX0 \X1 = kxkX0 + kxkX1 si x 2 X0 \ X1
kxkX0 +X1 = inf kx0 kX0 + kx1 kX1 si x 2 X0 + X1 ;
xi 2Xi ; x0 +x1 =x

et 8
>
< kxk = inf t u0 + t1 u1
;p
ui :R+ !Xi ; i=0;1: Lp (R+ ;X0 ) Lp (R+ ;X1 )

> 8t>0;u0 (t)+u1 (t)=x


: si x 2 (X ; X ) :
0 1 ;p

Et de plus
X0 \ X1 (X0 ; X1 ) ;p X0 + X1 ;
avec injections continues.
Notons que
(E0 ; E1 ) ;p = (E1 ; E0 )1 ;p

1.3.1 Propriété fondamentale d’interpolation


On se donne deux triplets d’espaces d’interpolation (X0 ; X1 ; X), (Y0 ; Y1 ; Y ) et un opéra-
teur linéaire T de X dans Y , alors on a le Théorème :

Théorème 1.4 On suppose que les restrictions de T aux espaces Xi à valeurs dans Yi avec
i = 1; 2 sont linéaires continues, alors pour tous 2 ]0; 1[ et p 2 [1; 1], l’opérateur T est
linéaire continu de (X0 ; X1 ) ;p dans (Y0 ; Y1 ) ;p et

) 6 C kT kL(X0 ;Y0 ) kT kL(X1 ;Y1 )


1
kT kL((X0 ;X1 )
;p ;(Y0 ;Y1 ) ;p

Dé…nition 1.9 Soit A un opérateur linéaire fermé de domaine

D(A) X;

muni de sa norme du graphe :

8x 2 D(A); kxkD(A) = kxkX + kAxkX :

On pose alors, en suivant les notations de P. Grisvard

DA ( ; p) = (D(A); X)1 ;p ;

où p 2 [1; +1] et 0 < < 1.

Quand l’opérateur A véri…e certaines hypothèses supplémentaires, il est alors possible de


donner des caractérisations explicites de DA ( ; p) ainsi :

Théorème 1.5 Soient p 2 [1; +1] et 0 < < 1.


1.4. CALCUL ET INTÉGRALE DE DUNFORD 21

1. Supposons que (A) R+ et il existe une constante C > 0 telle que


C
8 > 0, (A I) 1
L(X)
6 ;

alors
1
DA ( ; p) = x 2 X : t A (A tI) x 2 Lp (R+ ; X) : (1.4)
et
DA ( ; +1) = x 2 X : sup t A (A tI) 1
x E
6 C < +1
t>0

et

kxkDA( ;+1)
= kxkX + sup t A(A t) 1 x X
t>0

(Voir P. Grisvard [19]).


1. Si A génère un semi-groupe fortement continu et borné dans X

DA ( ; p) = x 2 X : t (etA I)x 2 Lp (R+ ; X) :

Voir J. L. Lions [27].


2. Si maintenant A génère un semi-groupe analytique borné dans X; alors

DA ( ; p) = x 2 X : t1 AetA x 2 Lp (R+ ; X) :

1.4 Calcul et intégrale de Dunford


1.4.1 Formule de Cauchy
Soit U un ouvert de C. On note H(U ), l’espace des fonctions holomorphes de U dans C.
Pour f 2 H(U ), K un compact à bord de U et z0 à l’intérieur de K, la formule de Cauchy
est donnée par Z
1 f( )
f (z0 ) = d ;
2i z0
où est le bord positivement orienté de K:

1.4.2 Intégrale de Dunford-Riesz


Le calcul fonctionnel classique de Dunford-Riesz s’appuie sur la formule précédente
pour construire f (T ) où T est un opérateur linéaire fermé et f est holomorphe.
Plus précisément si T 2 L(X) et si f est holomorphe sur un voisinage ouvert U de (T )
(le spectre de T ) alors on dé…nit l’intégrale de Dunford-Riesz par
Z
1
f (T ) = f( ) ( I T) 1 d ;
2i
où est le bord positivement orienté d’un compact à bord K contenant (T ) et contenu
dans U:
1.5. PUISSANCES FRACTIONNAIRES 22

1.4.3 Propriété de l’intégrale de Dunford


Théorème 1.6 Soient f et g 2 H(T ) et T 2 L(X), alors f:g 2 H(T ) et
Z
1
f (T ) g(T ) = (f:g)(T ) = f ( ) g( ) ( I T ) 1 d :
2i
Preuve. Voir Dunford-Schwartz [13]:

1.5 Puissances fractionnaires


Théorème 1.7 Si A est un opérateur linéaire fermé à domaine dense dans X tel que
9C > 0 : R+ (A) et pour > 0
k(A I) 1 kL(X) 6 C=(1 + ) ;
alors pour 0 < 6 1=2, ( A) génère un semi-groupe G (t) fortement continu pour t > 0
et uniformément continu pour t > 0.
Preuve. voir A. V. Balakrishnan [4].
Exemple 1.1 Pour = 1=2 on a
Z +1 p
1
G1=2 (t) = (A I) sin t d
0

Puissances fractionnaires avec partie réelle positive


On considère ici A 2 S où 2]0; [.
On se donne 2 C, il s’agit alors sous certaines conditions, d’activer la formule
A = (z ) (A) : (1.5)
Ici z désigne la détermination principale de la fonction "puissance " caractérisée par
(ln r +i )
z =e si z = rei ; r > 0; 2] ; [:
Proposition 1.7 Soient ; 2 C tels que Re ; Re > 0, on a alors
1. A est un opérateur fermé de X.
2. A + = A A = A A :
3. Re > Re =) D(A ) D(A ) et en particulier
Re < 1 =) D(A) D(A ):
4. Si A est injectif alors A l’est aussi et
1 1
A = (A ) :
5. Si 0 2 (A) alors 0 2 (A ):
6. Si 2 R avec 0 < < alors
!
A =A :
7. A 2 L(X) =) A 2 L(X):
1.6. LA THÉORIE DES SOMMES D’OPÉRATEURS 23

Puissances fractionnaires avec partie réelle quelconque


Proposition 1.8 On considère ; 2 C et on suppose que A est injectif. Alors
1. A est un opérateur fermé de X:
1
2. A est injectif et (A ) =A = (A 1 ) :
+
3. A A A :
4. Si 2 R avec j j < alors
!
A =A :

Considérons maintenant le cas particulier où A admet un inverse borné.

Dé…nition 1.10 Si 0 2 (A) et 2 C avec Re > 0, alors


1. A = (A 1 ) 2 L(X):
2. A =A A =A A .

1.6 La théorie des sommes d’opérateurs


On rappelle dans la suite les principaux résultats de la théorie des sommes d’opérateurs
linéaires dans les espaces de Banach quelconques.
Soient A et B deux opérateurs linéaires fermés dans X; de domaine respectifs D(A) et
D(B). On s’intéresse alors à l’équation

Au + Bu = g; (1.6)

où g est un vecteur donné de X:


L’opérateur somme L = A + B est dé…ni par

D(L) = D(A) \ D(B)


Lu = Au + Bu si u 2 D(L);

et (1.6) s’écrit encore


Lu = g: (1.7)
Une solution stricte de (1.6) est un élément u 2 D(L) satisfaisant (1.6). L’idéal est
de trouver une telle solution lorsque g est quelconque dans X, mais ce n’est pas toujours
possible ; on introduit donc une nouvelle notion :
u est une solution forte de (1.6) si et seulement si, il existe (un )n2N une suite dans D(L)
telle que
lim un = u et lim Lun = g; (1.8)
n!+1 n!+1

Evidemment, une solution stricte de (1.6) est une solution forte de (1.6). La notion de
solution forte est donc plus faible (mais le terme de solution faible ne sera pas utilisé ici, il
est en général réservé aux solutions variationnelles, la notion de solution forte correspond
plutôt à une solution distribution).
Notons que si L est fermé les deux notions de solution stricte et forte sont équivalentes,
mais la somme de deux opérateurs fermés n’est pas nécessairement fermée.
1.6. LA THÉORIE DES SOMMES D’OPÉRATEURS 24

D’autre part si l’on suppose que L est fermable et si on note L sa fermeture (i.e. L est la
plus petite extension fermée de L) alors (1.8) équivaut à
u 2 D(L) et Lu = g:
En…n dans le cas où L est fermable, les propositions suivantes sont équivalentes :
1. Pour tout g de X, il existe une solution forte de (1.6).
2. 0 2 (L).
Et si L est fermé les propositions suivantes sont équivalentes :
1. pour tout g de X, il existe une solution stricte de (1.6).
2. 0 2 (L).
Dans ce contexte, on comprend l’importance de trouver des conditions raisonnables sur
les opérateurs A et B, qui assurent que L est fermable (voire fermé) et que 0 2 (L):
Les deux théorèmes de G. Da Prato et P. Grisvard, énoncés plus loin, répondent positi-
vement à ce problème sur les sommes d’opérateurs sous des conditions adéquates.

1.6.1 La théorie des sommes d’opérateur de Da Prato et Grisvard


Notation 1.1 On suppose qu’il existe r > 0 et un angle 2]0; ]: On note le secteur S par

S = fz 2 Cn f0g : jzj > r et jarg(z)j < g;

Les hypothèses sur A et B


On suppose que les opérateurs A et B véri…ent les hypothèses de base (dites de Da Prato
et Grisvard [19]) suivantes :
Parabolicité-ellipticité :
8
>
> 9r; CA ; CB > 0; A ; B 2 ]0; [ :
>
>
>
> i) (A) S A = fz : jzj > r; jarg (z)j < Ag ;
>
>
>
< 8z 2 S A
; (A zI) 1
L(E)
6 CA = jzj :
(DP:1) ii) (B) S B = fz : jzj > r; jarg (z)j < Bg ;
>
>
>
> 8z 2 S ; (B zI) 1
6 C B = jzj :
>
>
B L(E)
>
> iii) A + B <
>
:
i )D (A) + D (B) = E:
Commutativité au sens des résolvantes :

8 2 ( A); 8 2 ( B)
(DP:2)
(A + I) 1 (B + I) 1 = (B + I) 1 (A + I) 1

et
(DP:3) (A) \ ( B) = ;
où (A) (resp ( B) ) désigne le spectre de A (resp de ( B) ) et (A), ( B) leurs
ensembles résolvants.
La première hypothèse est dite d’ellipticité-parabolicité, la deuxième indique le cadre
commutatif.
1.6. LA THÉORIE DES SOMMES D’OPÉRATEURS 25

Théorème de Da Prato et Grisvard


L’opérateur linéaire continu dé…ni par l’intégrale de Dunford suivant :
Z
1
S:u ! (B + zI) 1 (A zI) 1 gdz
2i
provenant naturellement de l’extension de la formule de Cauchy dans le cadre opération-
nel, véri…e les propriétés :
1. 8u 2 D (A) \ D (B) on a S (Au + Bu) = u;
2. 8v 2 D (A) + D (B) on a
S (v) 2 D (A) \ D (B)
et
A (S (v)) + B (S (v)) = v
3. Pour v 2 DA ( ; p) + DB ( ; p) ; 2 ]0; 1[ ; p 2 [1; +1] ; on a

Sv 2 D (L) et L (Sv) = v
1
4. L est fermable et L = S (L est la fermeture de A + B), de plus :

(D (L) ; E) ;p = (D (A) ; E) ;p \ (D (B) ; E) ;p

est une courbe sectorielle séparant les spectres de A et ( B) et demeurant dans


(A) \ ( B) (voir Da Prato-Grisvard [10]).
La fonction u est alors l’unique solution forte de (1.6).

Théorème 1.8 Sous les hypothèses (DP 1) (DP 3) et pour 2]0; 1[; p 2 [1; +1], on a :
1. Si g 2 DB ( ; q) alors u 2 D(L) et Au; Bu 2 DB ( ; p):
2. Si g 2 DA ( ; q) alors u 2 D(L) et Au; Bu 2 DA ( ; p):

1.6.2 La théorie des sommes d’opérateurs de Dore et Venni


Les espaces UMD
On considère un espace de Banach E de type U M D (Unconditional Martingale Di¤e-
rences), (voir Bourgain [5], Burkholder [6]). Nous donnons ici une dé…nition équivalente plus
adapté à notre propos et qui utilise la transformée de Hilbert.

Dé…nition 1.11 Pour " 2]0; 1[ et p 2]1; +1[; on dé…nit l’opérateur

H" 2 L (Lp (R; X)) ;

par Z
p 1 f (x s)
8f 2 L (R; X) ; (H" f ) (x) = ds; p. p. x2 R,
"<jsj<1=" s
et si pour un élément f 2 Lp (R; X) donné lim+ H" f existe dans Lp (R; X), cette limite est
" !0
notée Hf et appelée la transformée de Hilbert de f sur Lp (R; X).
1.6. LA THÉORIE DES SOMMES D’OPÉRATEURS 26

Dé…nition 1.12 X est appelé espace UMD s’il existe p 2]1; +1[ tel que

8f 2 Lp (R; X), lim H" f existe dans Lp (R; X) : (1.9)


" !0+

Dans ces conditions


H : Lp (R; X) ! Lp (R; X)
f 7 ! Hf = lim+ H" f ;
" !0

est, d’après le théorème de Banach Steinhaus, un élément de L (Lp (R; X)), appelé la trans-
formée de Hilbert sur Lp (R; X).

Notons que si X est un espace UMD alors (1.9) est vraie pour tout p 2]1; +1[.
Il est bon d’avoir aussi une caractérisation géométrique des espaces UMD, à cette …n on
introduit la notion de -convexité.

Dé…nition 1.13 X est dit -convexe si et seulement si il existe une fonction

:X X ! R;

véri…ant (0; 0) > 0 et pour tout x; y de X


1. (x; :) et (:; y) sont convexes sur X:
2. (x; y) 6 kx + yk si kxk = kyk = 1:

Le résultat fondamental de D.L. Burkholder (voir [6] et [5]) est le suivant :

Théorème 1.9 X est un espace UMD si et seulement si X est -convexe.

Exemples Il est possible de donner de nombreux exemples d’espaces de Banach classiques


qui ont la propriété UMD, ainsi :
1. Tout espace de Hilbert est UMD.
2. Tout espace isomorphe à un espace UMD est UMD.
3. Tout sous-espace fermé d’un espace UMD est UMD.
4. Si les espaces X et Y sont UMD alors les espaces interpolés (cas réel (X; Y ) ;p ou
complexe [X; Y ] ;p ) sont UMD si 1 < p < 1:
5. Tous les espaces construits sur Lp , sont UMD si 1 < p < 1:

Théorème de Dore-Venni
Position du problème Il s’agit, comme dans la théorie des sommes de G. Da Prato
et P. Grisvard de résoudre l’équation

Au + Bu = g;

où g 2 X et A, B sont deux opérateurs linéaires fermés dans X.


On suppose entre outre que X est un espace UMD. Le Théorème de Dore-Venni (voir
[11] ) montre que, sous de bonnes hypothèses sur les opérateurs, A + B est fermé, à inverse
borné.
1.7. THÉORÈME DE TRACES 27

Les hypothèses sur A et B On suppose cette fois-ci que les opérateurs A et B véri…ent
8
>
> i) (A) ] 1; 0] et 9MA > 0 :
>
>
< 8 > 0; (A + )
1
> L(E)
MA = (1 + ) ;
(DV:1) ii) (B) ] 1; 0] et 9MB > 0 :
>
>
>
> 8 > 0; (B + ) 1 L(E) MB = (1 + ) ;
>
:
D(A) = D(B) = X;
8 2 ( A) ; 8 2 ( B)
(DV:2)
(A + ) 1 (B + ) 1 (B + ) 1 (A + ) 1 = 0
8
>
> i)8s 2 R; Ais 2 L (E) et 9K > 0; A > 0 :
>
> is jsj
< 8s 2 R; kA kL(E) Ke A ;
(DV:3) ii)8s 2 R; B is 2 L (E) et 9K > 0; B > 0 :
>
>
>
> 8s 2 R; kB is kL(E) Kejsj B ;
:
iii) A + B < :
On note par Bip (E; ) (Bounded imaginary power), l’ensemble des opérateurs sectoriels
sur E; véri…ant (DV:1) et (DV:3). On a alors le Théorème remarquable suivant dû à Dore
et Venni.

Théorème 1.10 Si X est un espace UMD et sous les hypothèses (DV:1); (DV:2) et (DV:3)
l’opérateur
L = A + B;
est fermé et

1
L 2 L (X) :

L’opérateur inverse de L est dé…ni explicitement par l’intégrale :


Z
1 A z Bz 1
L = dz
sin z
où est une courbe verticale contenue dans la bande

fz 2 C : 0 < Re z < 1g
i
et orientée de 1e 2 vers 1ei 2 :

1.7 Théorème de traces


Soient E et F deux espaces de Banach, avec E F (injection continue). Soient p et
deux réels 1 6 p 6 +1 véri…ant la condition
1
+ <1
p
1.8. LES ESPACES DE HÖLDER 28

et soit la fonction u telle que


t u 2 Lp (0; 1; E)
du
2 Lp (0; 1; F )
t
dt
alors u (t) converge dans F lorsque t ! 0. On prendra par dé…nition

u (0) = limu (t) dans F


t!0

u (0) est la trace de u.

1.8 Les espaces de Hölder


Dé…nition 1.14 Soient X un espace de Banach complexe et C ([0; 1] ; X) l’espace de Banach
des fonctions continues sur [0; 1] à valeurs dans X muni de la norme

kf kC(X) = max kf (t)kX


t2[0;1]

On considère, pour 0 < < 1; l’espace

kf (t) f (s)kX
C ([0; 1] ; X) = f 2 C ([0; 1] ; X) = sup < +1
t s6=0 jt sj

muni de la norme
kf (t) f (s)kX
kf kC ([0;1];X) = kf kC([0;1];X) + sup :
t s6=0 jt sj

Cet espace est un espace de Banach appelé espace höldérien de degré :

1.9 Lemmes techniques


Lemme de Schur ou d’interpolation de Riesz-Lorin

Lemme 1.1 Soit K : 1 2! R mesurable et telle que


Z
9a > 0 = 8x2 2 2 ; jK (x1 ; x2 )j dx1 6 a;
1

Z
9b > 0 = 8x1 2 1 ; jK (x1 ; x2 )j dx2 6 b
2

alors l’opérateur Z
F (f )(x2 ) = K (x1 ; x2 ) f (x1 )dx1
1

véri…e :
F 2 L (Lp ( 1) ; L
p
( 2 )) :
1.9. LEMMES TECHNIQUES 29

Lemme 1.2 Si A est un opérateur fermable (resp. fermé) et B est un opérateur borné avec
D(A) D(B) alors l’opérateur A + B est un opérateur fermable (resp. fermé).

Preuve. 8 (un )n2N une suite dans D(A) telle que

lim un = 0 et lim (A + B) un = y;
n!+1 n!+1

montrons que y = 0:
on a : (
lim Aun = z
n!+1
=) z = 0;
lim un = 0
n!+1

et
lim un = 0 =) lim Bun = 0;
n!+1 n!+1
car
kBun k 6 K kun k ;
donc

lim (A + B) un = lim (Aun + Bun )


n!+1 n!+1
= lim Aun = 0 = y:
n!+1

Lemme 1.3 Si A est un opérateur fermable et B est un opérateur borné avec D(Im B)
D(A) alors l’opérateur A B est un opérateur fermable.

Preuve. 8 (un )n2N une suite telle que

lim un = 0 et lim (A B) un = y;
n!+1 n!+1

montrons que y = 0:
Puisque B est un opérateur borné on a :

lim Bun = lim vn = 0;


n!+1 n!+1

d’où 8
lim ABun = lim A (Bun ) = lim Avn = y
< n!+1 n!+1 n!+1
=) y = 0
: lim un = lim vn = 0
n!+1 n!+1
Chapitre 2

Résolution du problème dans le cas


où f est dans Lp(0; 1; X):

30
2.1. APPROCHE UTILISANT LES RÉSULTATS DE DORE-VENNI 31

2.1 Approche utilisant les résultats de Dore-Venni


2.1.1 Hypothèses
Considérons dans un espace de Banach complexe X, le problème abstrait de type
Dirichlet-Neumann
u00 (x) + Au(x) = f (x); x 2 (0; 1) (2.1)
avec les conditions aux limites

u(0) = d0 ; u0 (1) = n1 : (2.2)

Dans ce chapitre, A est un opérateur linéaire fermé de domaine D(A) non nécéssairement
dense dans X satisfaisant l’hypothèse d’éllipticité suivante
C 1
[0; +1[ (A) et 9C > 0 : (A I) : L(X)
(2.3)
1+
Ici d0 et n1 sont des éléments donnés dans X, f appartient à Lp (0; 1; X) avec 1 < p < 1; et

X est un espace U M D . (2.4)

De plus, l’opérateur A véri…e l’hypothèse :


(
8s 2 R; ( A)is 2 L (X) et 9C > 1; 2]0; [:
is jsj (2.5)
( A) < Ce :
L(X)

(on dit que A 2 Bip ( ; X), voir, pour plus de details Prüss-Sohr [39]).
On rappelle qu’un espace de Banach X est UMD si et seulement s’il existe p > 1 (et alors
pour tout p), tel que la transformée de Hilbert est continue de Lp (R; X) dans lui-même (voir
Bourgain [5], Burkholder [6] ).
Le résultat principal dans cette section, a¢ rme que sous les hypothèses (2.3), (2.4) et
(2.5), le problème (2.1)-(2.2) admet une unique solution stricte dans Lp (0; 1; X) si et seule-
ment si d0 2 (DA ; X) 1 ;p et n1 2 (DA ; X) 1 + 1 ;p :
2p 2 2p
Notons que si u 2 W 2;p (0; 1; X) alors d’après le théorème de traces de J. L. Lions,

u 2 C 1 ([0; 1]; X)

d’où
u(0) et u0 (1)
sont bien dé…nis.

Remarque 2.1 1. L’hypothèse (2.4) implique que X est ré‡exif, et alors D(A) est dense
dans X ( voir Haase [20], Proposition 1.1, p. 18 ).
p
2. L’hypothèse (2.3) implique que l’opérateur A est le générateur in…nitésimal d’un
p
Ax
semi groupe analytique noté e sur X ,voir Balakrishnan [4].
x>0
2.1. APPROCHE UTILISANT LES RÉSULTATS DE DORE-VENNI 32

3. L’hypothèse (2.5) est équivalente à


p is
9C > 1; 2 ]0; [ : 8s 2 R; A 6 Ce( 2 )jsj ;

( voir Haase [20], Proposition 2.18. p. 64 ).

On pose dans tout ce qui suit p


B= A:

2.1.2 Lemmes techniques


On a le lemme suivant

Lemme 2.1 Soit


f 2 Lp (0; 1; X); 1 < p < 1
Sous les hypothèses (2.3), (2.4) et (2.5); on a
1. Z x
(x s)B
x 7 ! L(x; f ) = B e f (s)ds 2 Lp (0; 1; X); (2.6)
0

2. Z 1
(s x)B
x 7 ! L (1 x; f (1 )) = B e f (s)ds 2 Lp (0; 1; X); (2.7)
x

3. Z 1
(x+s)B
x 7 ! L(x; f ) = B e f (s)ds 2 Lp (0; 1; X): (2.8)
0

Preuve.
– Pour la première assertion on va pouvoir appliquer le théorème de Dore et Venni [12],
à l’étude du Problème
u0 (x) Bu(x) = f (x); x 2 (0; 1)
(2.9)
u(0) = 0;

alors, puisque X est un espace UMD et B est un opérateur linéaire fermé dans X satis-
faisant aux hypothèses du théorème de Dore et Venni alors, pour tout f 2 Lp (0; 1; X)
le Problème 2.9 admet une unique solution stricte u telle que

u 2 W 1;p (0; 1; X) \ Lp (0; 1; D(B)) :

avec Z x
(x s)B
u (x) = e f (s)ds
0
et donc Z x
(x s)B
x7 !B e f (s)ds 2 Lp (0; 1; X);
0
2.1. APPROCHE UTILISANT LES RÉSULTATS DE DORE-VENNI 33

– L’assertion 2. découle immédiatement de la première car, en posant 1 x = y et


1 s = t on obtient
Z 1
L (1 x; f (1 )) = B e (s 1+1 x)B f (s)ds
Zx 1
= B e (1 x (1 s))B f (s)ds
Zx y
= B e (y t)B f (1 t)dt
0
= L(y; f (1 )) 2 Lp (0; 1; X);

– En…n pour l’assertion 3, on écrit, pour tout élément x 2 (0; 1)


Z 1
L(x; f ) = B e (x+s)B f (s)ds
Z0 x Z 1
(x+s)B
= B e f (s)ds + B e (x+s)B f (s)ds
Z0 x x
Z 1
(x s)B 2sB 2xB
= B e e f (s)ds + e B e (s x)B
f (s)ds
0 x
2B 2xB
= L(x; e f) + e L(1 x; f (1 ));

et on applique les propositions 1., 2.


On a aussi

Lemme 2.2 On suppose (2.3). Alors


1. B 2 e B
' 2 Lp (0; 1; X) si et seulement si ' 2 (D (A) ; X) 1 ;p :
2p

B
2. Be ' 2 Lp (0; 1; X) si et seulement si ' 2 (D (A) ; X) 1 + 1 ;p :
2p 2

Preuve. On rappelle que si m 2 N et C génère un semi-groupe analytique alors

2 (D(C m ); X) 1
;p ;
mp

si et seulement si
C m e C 2 Lp (0; 1; X);
en fait
Z 1 Z 1
1 p dx
xm(1 ) C m exC
p
m xC
C e X
dx 6 (1 mp
)

0 0 X x
6 K k k(D(C m );X) 1
;
mp ;p

(voir Triebel [43], théorème p. 96).


D’où
B2e B
' 2 Lp (0; 1; X)
si et seulement si
' 2 D B2 ; X 1
;p
= (D (A) ; X) 1 ;p :
2p 2p
2.1. APPROCHE UTILISANT LES RÉSULTATS DE DORE-VENNI 34

De la même manière
B
Be ' 2 Lp (0; 1; X)
si et seulement si
' 2 (D (B) ; X) 1 ;p :
p

En conclusion, en utilisant la propriété de réitèration de Lions-Peetre [28] on obtient


(D (A) ; X) 1 + 1 ;p = X; D B 2 1 1
;p
2p 2 2 2p

= (X; D (B))1 1
;p
p

= (D (B) ; X) 1 ;p :
p

Remarque 2.2 On suppose (2.3), (2.4) et (2.5), alors


Z 1 Z 1
B 1
Ae B e sB f (s)ds = Be B
e sB
f (s)ds
0 0
= L( ; f );
et du Lemme 2.1, on obtient
Z 1
B 1 sB
Ae B e f (s)ds 2 Lp (0; 1; X);
0

d’où l’on déduit en utilisant le lemme 2.2, que


Z 1
1
B e sB f (s)ds 2 (D (A) ; X) 1 ;p :
2p
0

On pose
2B
Z=e :
Proposition 2.1 Sous l’hypothèse (2.3), l’opérateur I Z admet un inverse borné et
Z
1 1 e2z
(I Z) = 2z
(zI + B) 1 dz + I;
2 i #1 e
où # est une courbe appropriée dans le plan complexe (une courbe sectorielle de Jordan
entourant le spectre de B).
Preuve. On peut adapter la démonstration complète de Lunardi [29] page 59, en choisissant
une courbe # qui tient compte du fait que B génère un semi groupe analytique.
Corollaire 2.1 Sous l’hpothèse (2.3), l’opérateur (I + Z) admet un inverse borné.
Preuve. On a
2B 2B 4B
I e I +e =I e
alors
2B 2B 1 4B
I +e = I e I e :
En conséquence
2B 1 4B 1 2B
I +e = I e I e :
2.1. APPROCHE UTILISANT LES RÉSULTATS DE DORE-VENNI 35

2.1.3 Représentation de la solution


Sous les hypothèses (2.3), (2.4) et (2.5) on suppose que le problème (2.1)-(2.2) admet
une solution stricte u.
On pose
u(1) = u1 :
Alors u est la solution stricte du problème suivant
8 00
< u (x) B 2 u(x) = f (x)
u(0) = d0 (2.10)
:
u(1) = u1 ;
et alors on a la représentation
Zx
xB (1 x)B 1 1 (x s)B
u(x) = e 0 +e 1 B e f (s)ds
2
0
Z1
1 1 (s x)B
B e f (s)ds
2
x


1 B
0 = (I Z) d0 u1 e
0 1
Z1 Z1
1
+ (I Z) 1 B 1 @ e sB
f (s)ds e (2 s)B
f (s)dsA
2
0 0
1 B
1 = (I Z) e
d0 + u1
0 1 1
Z Z1
1 1@
+ (I 1
Z) B e (1 s)B
f (s)ds e (1+s)B
f (s)dsA ;
2
0 0

voir [15].
On déduit que

n1 = u0 (1) = Be Z)B
(I 1
d0 e B
u1
0 1 1
Z Z1
1 1@
e B
(I Z) e sB
f (s)ds e (2 s)B
f (s)dsA
2
0 0
1 B
+B(I Z) e d0 + u1
0 1 1
Z Z1
1 1@
+ (I Z) e (1 s)B f (s)ds e (1+s)B
f (s)dsA
2
0 0
Z1
1 (1 s)B
e f (s)ds
2
0
2.1. APPROCHE UTILISANT LES RÉSULTATS DE DORE-VENNI 36

= 2(I Z) 1 Be B
d0 + (I Z) 1 (I + Z) Bu1
2 1 3
Z Z1
1
e B
(I Z) 1 4 e sB f (s)ds e (2 s)B f (s)ds5
2
0 0
2 3
Z1 Z1
1 4
+ (I Z) 1
e (1+s)B
f (s)ds + Z e (1 s)B
f (s)ds5
2
0 0

Alors
1 B
u1 = (I + Z) 2e
d0 + (I Z)B 1 n1
0 1 1
Z Z1
1@
1
+(I + Z) B e (1 s)B
f (s)ds + e (1+s)B
f (s)dsA : (2.11)
0 0

D’où la solution u est donnée formellement par


1 xB (2 x)B
u(x) = (I + Z) e +e d0
1 (1 x)B (1+x)B
+(I + Z) e e B 1 n1
Z 1
1 1 1
+ (I + Z) B e (x+s)B f (s)ds
2
Z0 1
1
+ (I + Z) 1 B 1 e (2 x+s)B f (s)ds (2.12)
2
Z0 1
1
+ (I + Z) 1 B 1 e (2+x s)B f (s)ds
2 0
Z 1
1 1 1
(I + Z) B e (2 x s)B f (s)ds
2 0
Z Z
1 1 x (x s)B 1 1 1 (s x))B
B e f (s)ds B e f (s)ds:
2 0 2 x

2.1.4 Existence, unicité et régularité maximale


Le résultat principal de cette section est

Théorème 2.1 Soit f 2 Lp (0; 1; X) ; 1 < p < +1, on suppose (2.3), (2.4) et (2.5). Alors
les propositions suivantes sont équivalentes
1. Le problème (2.1)-(2.2) admet une unique solution stricte u, telle que

u 2 W 2;p (0; 1; X) \ Lp (0; 1; D (A));

et véri…ant (2.1)-(2.2).
2. d0 2 (D(A); X) 1 ;p and n1 2 (D(A); X) 1 + 1 ;p .
2p 2 2p
2.1. APPROCHE UTILISANT LES RÉSULTATS DE DORE-VENNI 37

Preuve. Si u est la solution stricte du problème (2.1)-(2.2) et


d0 2 (D (A) ; X) 1 ;p et n1 2 (D (A) ; X) 1 + 1 ;p ;
2p 2 2p

alors u est donnée par (2.12). Montrons l’unicité de la solution.


On pose :
L(f )(x)
Z 1
1 1
= (I + Z) B 1 e (x+s)B f (s)ds
2 0
Z 1
1 1
+ (I + Z) B 1 e (2 x+s)B f (s)ds
2
Z0 1
1
+ (I + Z) 1 B 1 e (2+x s)B f (s)ds
2 0
Z 1
1
(I + Z) 1 B 1 e (2 x s)B f (s)ds
2 0
Z x Z
1 1 (x s)B 1 1
B e f (s)ds B 1 e (s x))B f (s)ds:
2 0 2 x
En écrivant f (x) = Au(x) + u00 (x) on obtient :
L(f )(x)
Z 1
1 1
= (I + Z) B 1 e (x+s)B Au(s)ds
2 0
Z 1
1 1
+ (I + Z) B 1 e (2 x+s)B Au(s)ds
2
Z0 1
1
+ (I + Z) 1 B 1 e (2+x s)B Au(s)ds
2
Z0 1
1
(I + Z) 1 B 1 e (2 x s)B Au(s)ds
2 0
Z x Z
1 1 (x s)B 1 1
B e Au(s)ds B 1 e (s x))B Au(s)ds
2 0 2 x
Z 1
1 1
+ (I + Z) B 1 e (x+s)B u00 (s)ds
2
Z0 1
1
+ (I + Z) 1 B 1 e (2 x+s)B u00 (s)ds
2
Z0 1
1
+ (I + Z) 1 B 1 e (2+x s)B u00 (s)ds
2
Z0 1
1 (2 x s)B 00
(I + Z) 1 B 1e u (s)ds
2 0
Z Z
1 x 1 (x s)B 00 1 1
B e u (s)ds B 1 e (s x)B u00 (s)ds
2 0 2 x
X6 X6
= Hi + Ji :
i=1 i=1
2.1. APPROCHE UTILISANT LES RÉSULTATS DE DORE-VENNI 38

Aprés intégration par parties, on a :


1
J1 = (I + Z) 1 B 1 e (1+x)B u0 (1) e xB u0 (0)
2
1
+ (I + Z) 1 e (1+x)B u(1) e xB u(0)
2 Z 1
1 1
+ (I + Z) Be (x+s)B u(s)ds;
2 0

1
J2 = (I + Z) 1 B 1 e (3 x)B u0 (1) e (2 x)B u0 (0)
2
1
+ (I + Z) 1 e (3 x)B u(1) e (2 x)B u(0)
2 Z 1
1 1
+ (I + Z) Be (2 x+s)B u(s)ds;
2 0

1
J3 = (I + Z) 1 B 1 e (1+x)B u0 (1) e (2+x)B u0 (0)
2
1
(I + Z) 1 e (1+x)B u(1) e (2+x)B u(0)
2 Z 1
1 1
+ (I + Z) Be (2+x s)B u(s)ds;
2 0

1
J4 = (I + Z) 1 B 1 e (1 x)B u0 (1) e (2 x)B u0 (0)
2
1
+ (I + Z) 1 e (1 x)B u(1) e (2 x)B u(0)
2 Z 1
1 1
(I + Z) Be (2 x s)B u(s)ds;
2 0

1 1 0 xB 0 1 xB
J5 = B u (x) e u (0) + u(x) e u(0)
2Z 2
1 x
Be (x s)B
u(s)ds
2 0
et
1 1 (1 x) 0 1
J6 = B e u (1) u0 (x) e (1 x)
u(1) u(x)
2Z 2
1 1 (s x)B
Be u(s)ds;
2 x
On obtient alors :
X
6 X
6
Hi + Ji
i=1 i=1
1 xB (2 x)B
= (I + Z) e +e d0
1 (1 x) (1+x)B
(I + Z) e e B 1 n1
+u(x);
2.1. APPROCHE UTILISANT LES RÉSULTATS DE DORE-VENNI 39

d’où on obtient la formule (2.12). De plus :

B 2 u(x) = (I + Z) 1 B 2 e xB
+e (2 x)B
d0
+(I + Z) 1 B 2 e (1 x)B e (1+x)B B 1 n1
Z 1
1 1
+ (I + Z) B e (x+s)B f (s)ds
2
Z0 1
1
+ (I + Z) 1 B e (2 x+s)B f (s)ds (2.13)
2
Z0 1
1
+ (I + Z) 1 B e (2+x s)B f (s)ds
2
Z0 1
1
(I + Z) 1 B e (2 x s)B f (s)ds
2 0
Z x Z 1
1 (x s)B 1
B e f (s)ds B e (s x))B f (s)ds
2 0 2 x
= Au(x):

Alors gràce à (2.3), (2.4), (2.5), les lemmes 2.2 et 2.1, Au 2 Lp (0; 1; X):
Comme f 2 Lp (0; 1; X) on a u00 2 Lp (0; 1; X), d’où l’on déduit que

u 2 W 2;p (0; 1; X) \ Lp (0; 1; DA )

Inversement, soit
u 2 W 2;p (0; 1; X) \ Lp (0; 1; D(A))
alors
Au(:) 2 Lp (0; 1; X); pour tout x 2 (0; 1)
Utilisant la formule (2.13) on obtient

B2e xB
d0 2 Lp (0; 1; X) et Be xB
n1 2 Lp (0; 1; X)

et appliquant le lemme 2.2 on a

d0 2 (D (A) ; X) 1 ;p et n1 2 (D(A); X) 1 + 1 ;p :
2p 2 2p

2.1.5 Estimation-A-Priori
Proposition 2.2 Soit f 2 Lp (0; 1; X) ; 1 < p < +1, on suppose (2.3), (2.4), (2.5),

d0 2 (D(A); X) 1 ;p etn1 2 (D(A); X) 1 + 1 ;p :


2p 2 2p

Alors 9C > 0 tel que

ku00 kLp (X) + kAukLp (X) C kf kLp (X) + kd0 k(D(A);X) 1 + kn1 k(D(A);X) 1 1
(2.14)
2p ;p 2 + 2p ;p
2.1. APPROCHE UTILISANT LES RÉSULTATS DE DORE-VENNI 40

Preuve. Soit u la solution stricte du problème (2.1)-(2.2), alors u est donnée par (2.12). En
dérivant deux fois on obtient :

u00 (x) = (I + Z) 1 A e xB
+e (2 x)B
d0
1 (1 x)B (1+x)B
(I + Z) B e e n1
Z 1
1
+ (I + Z) 1 B e (x+s)B f (s)ds
2
Z0 1
1
+ (I + Z) 1 B e (2 x+s)B f (s)ds
2
Z0 1
1
+ (I + Z) 1 B e (2+x s)B f (s)ds
2
Z0 1
1
(I + Z) 1 B e (2 x s)B f (s)ds
2 0
Z x Z 1
1 (x s)B 1
B e f (s)ds B e (s x))B
f (s)ds
2 0 2 x
+f (x);

en appliquant la norme dans Lp (X), on a :

Z1 Z1
p 1 p
ku00 (x)kX dx (I + Z) I +e 2(1 x)B
Ae xB
d0 X
dx
0 0
Z1
1 2xB (1 x)B p
+ (I + Z) I e Be n1 X
dx
0
Z1 Z 1 p
1
+ (I + Z) 1 B e (x+s)B
f (s)ds dx
2 0 X
0
Z1 Z 1 p
1
+ (I + Z) 1 B e (2 x+s)B
f (s)ds dx
2 0 X
0
Z1 Z 1 p
1
+ (I + Z) 1 B e (2+x s)B
f (s)ds dx
2 0 X
0
Z1 Z 1 p
1
+ (I + Z) 1 B e (2 x s)B
f (s)ds dx
2 0 X
0
Z1 Z x p
1 (x s)B
+ B e f (s)ds dx
2 0 X
0
2.1. APPROCHE UTILISANT LES RÉSULTATS DE DORE-VENNI 41

Z1 Z 1 p
1 (s x))B
+ B e f (s)ds dx
2 x X
0
Z1
+ kf (x)kpX dx
0
X
9
= Ij :
j=1

Z1
1 2(1 x)B p
I1 = (I + Z) I +e B2e xB
d0 X
dx
0
Z1
1 p dx
C x2 2p B 2 e xB
d0
X x
0
6 C kd0 k(D(B 2 );X) 1
2p ;p

6 C kd0 k(D(A);X) 1 :
2p ;p

Z1
1 2xB (1 x)B p
I2 = (I + Z) I e Be n1 X
dx
0
Z1
tB p dt
C t Be n1 X t
0
Z1
1
tB
p dt
C t p Be n1
X t
0
C kn1 k(D(B);X)
1
p ;p

C kn1 k(D(A);X) :
1 + 1 ;p
2 2p

Z1 Z 1 p
1
I3 = (I + Z) 1 B e (x+s)B
f (s)ds dx
2 0 X
0
Z1 Z x p
1 1 (x s)B 2sB
= (I + Z) Be e f (s)ds dx
2 0 X
0
Z1 Z 1 p
1
+ (I + Z) 1 e 2xB
Be (s x)B
f (s)ds dx
2 x X
0
2.2. APPROCHE UTILISANT LE THÉORÈME DE MIKHLIN 42

Z1
(1+x)B p
C e xB
e X
kf (x)kpX dx
0
Z1
(1 x)B p
+C I e X
kf (x)kpX dx
0
Z1

C kf (x)kpX dx:
0

Alors on déduit que :


Z1
p
ku00 (x)kX dx
0

C kd0 k(D(A);X) 1 + kn1 k(D(A);X) 1 1


+ kf kLp (X)
2p ;p 2 + 2p ;p

De la même manière on montre que


Z1
kAu(x)kpX dx
0

C kd0 k(D(A);X) 1 + kn1 k(D(A);X) 1 1


+ kf kLp (X) :
2p ;p 2 + 2p ;p

d’où le résultat.

2.2 Approche utilisant le théorème de Mikhlin


2.2.1 Problème avec conditions aux limites homogènes
On considère le problème
u00 (x) + Au(x) = f (x); x 2 (0; 1) (2.15)
avec les conditions aux limites homogènes

u(0) = 0; u0 (1) = 0 (2.16)


où X est un espace de Banach U M D, f est une fonction Lp (0; 1; E), 1 < p < +1; A est
un opérateur linéaire fermé de domaine D (A) dense dans X, tel que les hypothèses (2.3),
(2.4 et (2.5) sont véri…ées. Autrement dit l’opérateur A est Bip:
On note par Bip(E; ) [Bounded Imaginary power] l’ensemble des opérateurs sectoriels
sur X, véri…ant ces deux hypothèses.
On écrit (2.15)-(2.16) sous la forme d’une somme d’opérateurs :

Su = Bu + Au = f
u 2 D (A) \ D (B)
2.2. APPROCHE UTILISANT LE THÉORÈME DE MIKHLIN 43

où on considère l’opérateur B dé…ni par :

DB = fu 2 Lp (0; 1; E) =u0 ; u00 2 Lp (0; 1; E) et u (0) = u0 (1) = 0g


Bu = u00

Proposition 2.3 : L’opérateur linéaire fermé B véri…e :


K
1. (B) R+ et 9K > 0= (B I) 1 L(E) 6 ;8 > 0
1+
2. 8s 2 R; ( B)is 2 L (E) et 9K > 0; 9" > 0 : 8s 2 R; k( B)is kL(E) 6 Kejsj" :

C’est-à-dire que B véri…e les hypothèses (DV1) et (DV3) de Dore-Venni [11]:


On montrera plus tard que A et B véri…ent (DV2)
On résoud explicitement l’équation :

v 00 (t) + v (t) = g (t) , g 2 Lp (0; 1; X) , >0


v (0) = v 0 (1) = 0
On peut voir que ce problème admet une unique solution
v 2 DB et que ( B + ) 1 g (t) = v (t)
R1
v (t) = 0 K (t; s) g (s) ds où :
8 p p
>
> sinh s cosh (1 t)
< p p si 0 6 s 6 t
K (t; s) = p coshp (2.17)
>
> sinh t cosh (1 s)
: p p si t 6 s 6 1
cosh
Pour montrer 1 on utilise le lemme de Schur ,pour cela on montre d’abord que :
Z 1
8t; jK (t; s)j ds 6 C= (1 + ) ; 8 > 0
0
et Z 1
8s; jK (t; s)j dt 6 C= (1 + ) ; 8 > 0:
0
on déduira alors que :
Z 1
K (t; s) g(s)ds 6 C= (1 + ) ; 8 > 0
0 Lp (0;1;E)
2.2. APPROCHE UTILISANT LE THÉORÈME DE MIKHLIN 44

Z 1 Z t
p p
cosh (1 t) sinh s
jK (t; s)j ds = p p ds
0 0 cosh
Z 1 p p
sinh t cosh (1 s)
+ p p ds
t cosh
p Z
cosh Re (1 t) t p
6 p p sinh Re sds
Re cosh Re 0
p Z 1
sinh Re t p
+ p p cosh Re (1 s) ds
Re cosh Re t
p
cosh Re (1 t) p
6 p 2 p cosh Re t 1
Re cosh Re
p
sinh Re t p
+ p 2 p sinh Re (1 t)
Re cosh Re
p p
cosh Re cosh Re (1 t)
6 p 2 p p 2 p
Re cosh Re Re cosh Re
p
1 cosh Re (1 t)
6 p 2 p 2 p
Re Re cosh Re
1
6 p 2
Re
1
6 ;8 > 0

on montre aussi grâce à la symétrie du noyau que :


Z 1
jK (t; s)j dt 6 C= ; 8 > 0
0

et en utilisant le lemme de Schur , on obtient :


Z 1
jK (t; s) f (s)j ds 6 C= ; 8 > 0
0
on montre par la suite que B est inversible
Z 1
1
(B g)(t) = K0 (t; s) g(s)ds
0
où :

s , si 0 6 s 6 t
K0 (t; s) =
t , si t 6 s 6 1
Z 1 1=p
1 p
B g Lp (0;1;X)
= B 1 g (t) X
dt
0
2.2. APPROCHE UTILISANT LE THÉORÈME DE MIKHLIN 45

Z 1
1 p p
B g Lp (0;1;X)
= (B 1 g)(t) X dt
0
Z 1 Z 1 p
= K0 (t; s) g(s)ds dt
0 0 X

Soit t 2 [0; 1] ,
Z 1
t2
jK0 (t; s)j ds = t 6t61
0 2
et soit s 2 [0; 1] ,
Z 1
s2
jK0 (t; s)j dt = s 6s61
0 2
d’aprés le lemme de Schur, on déduit que :
Z 1
jK0 (t; s)g(s)j ds 6 kgkX
0

d’où :
p
B 1g Lp (0;1;X)
6 kgkpX

et B est inversible (on a donc montré 1 ).


Montrons que 2 est véri…é, pour cela, on utilise la représentation intégrale suivante pour
la puissance complexe d’un opérateur linéaire fermé pour 0 < Re z < 1=2

z
( B) g (t)
Z 1
1 z
= ( ) ( B + ) 1 g (t)d
(1 z) (z) 0
Z 1 Z t p p
1 z sinh s cosh (1 t)
= p p g(s)ds d
(1 z) (z) 0 0 cosh
Z 1 Z 1 p p
1 z sinh t cosh (1 s)
+ p p g(s)ds d
(1 z) (z) 0 t cosh
= I1 + I2 :

On a
Z 1 Z t
p p
1 z sinh s cosh (1 t)
I1 = ( ) p p g(s)ds d
(1 z) (z) 0 0 cosh
et comme
2.2. APPROCHE UTILISANT LE THÉORÈME DE MIKHLIN 46

p p
sinh s cosh (1 t)
p
cosh
p " p p p p #
(t s) 2 (1 t) 2 s 2 (1 t+s) 2
e e e e e
= 1+ p
2 1+e 2

alors :

X
5
I1 = Ji
i=1

où :

Z Z p !
1 t (t s)
1 z e
J1 = ( ) p g(s)ds d
2 (1 z) (z) 0 0
Z Z p !
t 1 (t s)
1 z e
= ( ) p d g(s)ds:
2 (1 z) (z) 0 0

p
En posant : = (t s) on a :

Z t Z 1
1 2z 1 2z
J1 = (t s) e d g(s)ds
2 (1 z) (z) 0 0
Z t
(1 2z)
= (t s)2z 1 g(s)ds
(1 z) (z) 0
(1 2z)
= ( z G) (t);
(1 z) (z)
avec :

= t2z 1 [0;+1[ (t)


z (t)
G(s) = f (s) sur [0; 1] et nulle ailleurs
où [0;+1[ est la fonction caractéristique sur [0; +1[ : Soit F la transformée de Fourier :

F( z) ( ) = (2z) [2i + 0] 2z
= (2z) j2 j 2z h( )ei z
+ h( )e i z

tel que :

1 si >0
h( ) =
0 si 6 0:
On pose :
2.2. APPROCHE UTILISANT LE THÉORÈME DE MIKHLIN 47

(1 2z)
mz ( ) = F( z) ( )
(1 z) (z)
(1 2z) (2z) 2z
= j2 j h( )ei z
+ h( )e i z
;
(1 z) (z)

on peut donc écrire :

J1 = F (mz :F (G)) (t) ;


et gràce à la formule des compléments de la fonction on a :

1 1
sup jmz ( )j 6 : e jIm zj
2R cos z (2 )2z
et
1 1
sup j m0z ( )j 6 j2zj : 2z
e jIm zj
2R cos z (2 )

d’où l’on déduit par application du théorème de Mikhlin et du même travail pour les autres
termes Ji , aprés les avoir mis sous forme de produit de convolution, l’existence d’une
constante K , positive telle que :
1
( B) z
L(Lp (0;1;X))
6 K (1 + jzj) e jIm zj
:
jcos zj
En posant : z = is , et en passant à la limite quand ! 0;on obtient :

1
( B) is
6 K (1 + jsj) e jsj
L(Lp (0;1;X)) ch jsj
6 Ke 1 jsj :

Par ailleurs les deux opérateurs A et B commutent au sens des résolvantes donc A et B sont
Bip et on peut appliquer le résultat suivant :

Théorème 2.2 Soit E un espace de Banach UMD. si

A 2 Bip (E; A) et B 2 Bip (E; B) avec A 6= B

et leurs résolvantes commutent alors il existe " > 0 tel que la somme

(A + B) 2 Bip(E; ) où = max( A; B ) + ":

Preuve. Ce théorème est démontré dans Dore-Venni [11]:On signale par ailleurs un résultat
amélioré dans Pruss-Sohr [39] avec = max( A + B ):
Le problème (2.15)-(2.16) admet alors une unique solution stricte .
2.2. APPROCHE UTILISANT LE THÉORÈME DE MIKHLIN 48

2.2.2 Problème avec conditions aux limites non homogènes


Maintenant
i h on considère le problème (2.15)-(2.16). L’hypothèse (2.3) implique qu’il existe
0 2 0; et r0 > 0 tels que
2
% (A) S 0 = fz 2 C : jarg (z)j 0g [ B (0; r0 )
et l’estimation dans (2.3) reste vrai dans S 0 :
Soit le contour de S 0 orienté de 1ei 0 à 1e i 0
:
La solution est donnée par

Z p
1 cosh (1 x)
u(x) = + p (A ) 1 d0 d
2i cosh
Z p
1 sinh x
+ p p (A ) 1 n1 d
2i cosh
Z Z 1
1
K (x; s) (A ) 1 f (s) dsd
2i 0

où K est donné par (2.17).


Dans la première section de ce chapitre on a montré que sous les hypothèses (2.3), (2.4)
et (2.5), le problème (2.15)-(2.16) admet une unique solution stricte

u 2 W 2;p (0; 1; X) \ Lp (0; 1; DA ):

On donne le résultat suivant :

Théorème 2.3 Sous les hypothèses (2.3), (2.4) et (2.5), si f 2 Lp (0; 1; X) ;

u0 2 (D (A) ; X) 1 ;p etn1 2 (D (A) ; X) 1 + 1 ;p


2p 2 2p

alors le problème (2.15)-(2.2) admet une unique solution stricte

u 2 W 2;p (0; 1; X) \ Lp (0; 1; DA ):

Preuve. Il su¢ t de montrer que Au 2 Lp (0; 1; X)


Z p
1 sinh x
Au(x) = p p A (A ) 1 n1 d
2i cosh
Z p
1 cosh (1 x)
+ p A (A ) 1 d0 d
2i cosh
Z Z 1
1
K (x; s) A(A ) 1 f (s) dsd
2i 0
X
3
= Jn
n=1
2.3. APPLICATIONS DANS LE CAS OÙ F EST DANS LP (0; 1; X): 49

Le théorème précédent implique que J3 est dans Lp (0; 1; DA ); montrons maintenant que J1
et J2 appartiennent à Lp (0; 1; DA ) sous les conditions

d0 2 (D (A) ; X) 1 ;p etn1 2 (D (A) ; X) 1 + 1 ;p :


2p 2 2p

On a Z p
1 sinh x 1
J1 = p p A (A ) n1 d
2i cosh
alors
Z1 Z1 Z p p
1 sinh x
kJ1 kpX dx = p p A (A ) 1
n1 d dx
2i cosh X
0 0
Z1 Z p !p
cosh Re x 1
C 1 p A (A ) n1 X
jd j dx
0
j j 2 cosh
Z1 Z p p !p
1
eRe x
+e Re x
1
C 1 p p A (A ) n1 X
dj j dx
0
0 j j 2 eRe 1+e 2 Re

Z1 Z !p
1
1 1
C 0 1 A (A ) n1 X
dj j dx
0
0 j j 2

Z1 Z !p
1
1
C 0 1 1 1
+ 2p
dj j kn1 kp(D(A);X) 1 1
dx
0 j j j j 2 2 2 + 2p ;p
0
Z1
C 0 kn1 kp(D(A);X) 1 1
dx
2 + 2p ;p
0
C 0 kn1 kp(D(A);X) 1 1
+ 2 2p ;p

et alors J2 2 Lp (0; 1; E) : De la même manière on montre que J1 2 Lp (0; 1; E) :

2.3 Applications dans le cas où f est dans Lp(0; 1; X):


2.3.1 Résultats de trace.
Dans cette section, X est un espace UMD et A est un opérateur linéaire fermé dé…ni sur
un domaine dense D(A) X, satisfaisant les hypothèses (2.3) et (2.5).
On établit un résultat de trace en relation avec cet opérateur pour des fonctions dans
p
L :On pose :
(
Fp = (DA ; X) 1 ;p (DA ; X) 1 + 1 ;p
2p 2 2p
Vp = W 2;p ((0; 1); X) \ Lp ((0; 1); D(A)) où 1 < p < +1
2.3. APPLICATIONS DANS LE CAS OÙ F EST DANS LP (0; 1; X): 50

Considèrons l’application dé…ni par :

G : Fp ! Vp
(u(0); u0 (1)) 7 ! u

Proposition 2.4 L’application G est linéaire, continue et bijective.

Il est facile de véri…er que G est linéaire. En utilisant le résultat principal de la première
section du deuxième chapitre, on a

u 2 W 2;p ((0; 1) ; X) [ Lp ((0; 1) ; D(A))

si et seulement si :
d0 2 (DA ; X) 1 ;p et n1 2 (DA ; X) 1 + 1 ;p :
2p 2 2p

Cette équivalence implique que G est bien dé…nie et bijective. De plus, l’estimation-a-priori
(2.14) démontrée au deuxième chapitre prouve que G est continue. Cette proposition implique
le résultat suivant :

Corollaire 2.2 L’application T dé…nie par :

T : Vp ! Fp
u 7 ! (u(0); u0 (1))

est linéaire, continue et bijective.


Preuve. Ce résultat est une conséquence directe de la proposition précédente.

Exemple 2.1 Soit X = L2 (R):On dé…nit l’opérateur A comme suit :

D (A) = H 2 (R)
Au = u00 :

Comme X est un espace de Hilbert, D(A) est dense dans X, de plus ( A) est un opérateur
auto-adjoint, alors :
p
D( A) = (DA ; X) 1 ;2 = (H 2 (R); L2 (R)) 1 ;2 = H 1 (R)
2 2

voir [28]. En utilisant la transformation de Fourier sur L2 (R), on prouve que A véri…e (2.3)
et (2.5).

Considérons l’application dé…nie par :


3 1
F : H 2 (0; 1; L2 (R)) \ L2 (0; 1; H 2 (R)) ! H 2 (R) H 2 (R)
u 7 ! (u (0) ; u0 (1))

en utilisant le corollaire 2.2 on obtient :

Proposition 2.5 L’application F est linéaire, continue et bijective.


2.3. APPLICATIONS DANS LE CAS OÙ F EST DANS LP (0; 1; X): 51

Exemple 2.2 Soit X = Lq (R): On dé…nit un opérateur A comme suit :


D (A) = W 2;q (R)
Au = u00 :
D(A) est dense dans X et ( A) est un opérateur auto-adjoint, alors
p
D( A) = (DA ; X) 1 ;2 = (W 2;q (R); Lq (R)) 1 ;2 = W 1;q (R)
2 2

voir [28]. En utilisant la transformation de Fourier sur L2 (R), on prouve que A véri…e (2.3)
et (2.5).
Considérons l’application I dé…nie par :
Ep;q ! (W 2;q (R); Lq (R)) 1 ;p (W 2;q (R); Lq (R)) 1 + 1 ;p
2p 2p 2
u 7 ! (u (0) ; u0 (1))
où :
Ep;q = W 2;p (0; 1; Lq (R)) \ Lp (0; 1; W 2;q (R)):
Aprés application du corollaire 2.2 on obtient le résultat suivant :
Proposition 2.6 L’application I est linéaire, continue et bijective.
Notons que les espaces d”interpolation
W 2;q (R); Lq (R) 1
;p
; W 2;q (R); Lq (R) 1
+ 12 ;p
2p 2p

coincident respectivement avec les espaces bien connus de Besov suivants :


1 1
2(1 2p 2 ) 1 1 2(1 1
) 2 1
Bq;p (R) = Bq;p p (R), Bq;p 2p
(R) = Bq;p p (R);
qui sont complètement explicités dans Grisvard [19] page 680.

2.3.2 Application aux équations aux dérivées partielles.


Exemple 2.3 Soit X = Lp (R) et f 2 Lp (0; 1; Lp (R)), 1 < p < 1. Considérons le problème :
8 2
> @ u @2u
>
> (x; y) + (x; y) = f (x; y) ; (x; y) 2 ]0; 1[ R;
< @x2 @y 2
u (0; y) = d0 (y) ; y 2 R; (2.18)
>
>
>
: @u u (1; y) = n1 (y) ; y 2 R;
@x
On dé…nie l’opérateur A comme suit :
D (A) = W 2;p (R);
Au = u00 ;
alors le problème (2.18) est équivalent au problème abstrait (2.1)-(2.2). D(A) est dense dans
Lp (R) et A véri…e (2.3) et (2.5), de plus :
p
D A = (W 2;p (R); Lp (R)) 1 ;2 = W 1;p (R)
2

voir Lions-Peetre [28]. On obtient le résultat suivant :


2.3. APPLICATIONS DANS LE CAS OÙ F EST DANS LP (0; 1; X): 52

Proposition 2.7 Le problème (2.18) admet une unique solution stricte u, telle que :

u 2 W 2;p (0; 1; Lp (R)) \ Lp (0; 1; W 2;p (R))

si et seulement si :
8 1
< d0 2 (W 2;p (R); Lp (R)) 1 1 = W 1 p
;p
(R)
+ ;p
2p 2
1
: u1 2 (W 2;p (R); Lp (R)) 1 ;p = W 2 p
;p
(R):
2p
Chapitre 3

Résolution du problème dans le cas


où f est dans C ([0; 1] ; X) :

53
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 54

3.1 Approche utilisant la racine carrée de A

Dans cette section on considère, dans un espace de Banach X, l’équation di¤érentielle


abstraite suivante :
u00 (x) + Au(x) = f (x); x 2 (0; 1) (3.1)
avec les conditions aux limites de type Dirichlet-Neumann

u(0) = d0 ; u0 (1) = n1 : (3.2)

Ici d0 et n1 sont des éléments donnés dans X; f 2 C ([0; 1]; X); 0 < < 1 et A est
un opérateur linéaire fermé de domaine D(A) non nécéssairement dense dans X véri…ant
l’hypothèse d’ellipticité suivante :
C
8 0; 9 (A I) 1
2 L(X) : (A I)
: 1
L(X)
6
(3.3)
1+
Dans cette section on étudie le problème (3.1)-(3.2) sous l’unique hypothèse (3.3). On
cherche les conditions nécéssaires et su¢ santes sur les données pour avoir une solution stricte
du problème (3.1)-(3.2) telle que

u 2 C 2 ([0; 1] ; X) \ C([0; 1] ; D(A));

véri…ant la propriété de régularité maximale :

u00 ; Au 2 C ([0; 1]; X):

3.1.1 Quelques résultats


Lemme 3.1 Soit A un opérateur linéaire fermé de domaine DA non nécessairement dense
alors :
DA = D( A)1=2 :

Preuve. On rappelle que :


DA D( A)1=2

donc
DA D( A)1=2 :

cette inclusion est évidente.


Soit x 2 D( A)1=2 alors
x = lim xn
n

1=2
xn = ( A) yn 2 D( A)1=2

et Z
1=2 1 1=2 1
xn = ( A) yn = z (A z) yn dz
2i
1=2
alors xn = ( A) yn 2 DA vu que l’intégrale existe et dont les éléments à l’intérieur sont
dans DA :
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 55

D’où :
x = lim xn 2 DA :
n!+1

Pour d0 2 X, on considère la fonction abstraite suivante

]0; 1] ! X
p
x 7 ! D0 (x; A)d0

où p p p
D0 (x; A)d0 = (I + Z) 1 (I + e 2 A(1 x)
)e Ax
d0 :
On a le résultat suivant

Lemme 3.2 On a :
1. p
D0 ( ; A)d0 2 C 1 (]0; 1] ; D(Ak )); k 2 N;

2. p p
8x 2 ]0; 1] ; D000 (x; A)d0 + AD0 (x; A)d0 = 0;

3. p
9C > 0; 8x 2 ]0; 1] ; D0 (x; A)d0 C kd0 kX :
X

Preuve. Soit x > 0; d0 2 X. Il est facile de véri…er que

(I Z) 1 e Bx
=e Bx
(I Z) 1 ;

alors
Bx 2B(1 x)
D0 (x; B)d0 = e (I + e )(I + Z) 1 d0 ;
d’où l’on déduit la première assertion en virtue de Sinestrari [41], Proposition 1.1, (ii), page
20.
On a, pour x 2 ]0; 1],
1
D00 (x; B)d0 = (I + Z) 2Be 2B(1 x)
e Bx
d0
1 2B(1 x) Bx
(I + Z) I +e Be d0

1
D000 (x; B)d0 = (I + Z) 4( A)e 2B(1 x)
e Bx
d0
1 2B(1 x) Bx
(I + Z) 2Be Be d0
1 2B(1 x) Bx
(I + Z) 2Be Be d0
1 2B(1 x) Bx
(I + Z) I +e Ae d0
1 2B(1 x) Bx
= (I + Z) I +e Ae d0
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 56

D000 (x; B)d0 + AD0 (x; B)d0


= (I + Z) 1 I + e 2B(1 x) Ae Bx
d0
1 2B(1 x) Bx
+A (I + Z) I +e e d0
1 2B(1 x) Bx
= (I + Z) I +e Ae d0
1 2B(1 x) Bx
+ (I + Z) I +e Ae d0
= 0:

On sait qu’il existe une constante M > 0 telle que pour tout x > 0, d0 2 X, on a
Bx
e d0 X
M kd0 kX

voir Tanabe [42], page 66, formule (3.27). Alors, 9C > 0 :


1 2B(1 x) Bx
kD0 (x; B)d0 kX = (I + Z) I +e e d0 X
C kd0 kX :

Maintenant, on étudie le comportement de D0 (:; B) en 0.

Lemme 3.3 1. Soit d0 2 X. Alors


p
D0 ( ; A)d0 2 C ([0; 1] ; X) si et seulement si d0 2 D(A)

2. Soit d0 2 D(A). Alors


p
D0 ( ; A)d0 2 C ([0; 1] ; D(A)) si et seulement si Ad0 2 D(A)

Preuve. C’est une conséquence de la commutativité entre (I + Z) 1 et A sur D(A) d’une


part et Sinestrari [41], Proposition 1.2, (ii), page 20, d’une autre part On utilise aussi le fait
que
p
D( A) = D(A);
voir Haase [20], Corollaire 3.1.11. Page 59.
Maintenant, pour n1 2 X, on considère la fonction abstraite suivante

[0; 1[ ! X
p
x 7 ! N1 (x; A)n1

Lemme 3.4 On a :
p
1. N1 ( ; A)n1 2 C 1 ([0; 1[ ; D(Ak )); k 2 N;
p p
2. 8x 2 [0; 1[ ; N100 (x; A)n1 + AN1 (x; A)n1 = 0;
p
3. 9C > 0; 8x 2 [0; 1[ ; N1 (x; A)n1 X C kn1 kX :

Preuve. Il n’est pas di¢ cile de montrer ce lemme, il su¢ t de remplacer x par 1 x:
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 57

Lemme 3.5 1. Soit n1 2 X. Alors


p
N1 ( ; A)n1 2 C ([0; 1] ; X) si et seulement si n1 2 D(A)
p
2. Soit n1 2 D( A). Alors
p p
N1 ( ; A)n1 2 C ([0; 1] ; D(A)) si et seulement si An1 2 D(A)

Preuve. On montre ce lemme de la même manière que le lemme 3.3.


Les deux résultats suivants sont en fait valables pour tout opérateur Q générateur d’un
semi-groupe analytique généralisé.

Proposition 3.1
1. Soit ' 2 X. Alors les deux assertions suivantes sont équivalentes
(a) e Q ' 2 C([0; 1]; X):
(b) ' 2 D(Q):
2. Soit 2 ]0; 1[ ; g 2 C ([0; 1]; X); ' 2 X. Posons
Z x
xQ
v(x; '; g; Q) = e ' + e(x s)Q g(s)ds; x 2 [0; 1] :
0

Alors les deux assertions suivantes sont équivalentes


(a) v 2 C 1 ([0; 1]; X) \ C([0; 1]; D(Q)):
(b) ' 2 D(Q) et g(0) + Q' 2 D(Q):
Preuve. (voir H. Triebel [43] p. 25 et 76).

On a aussi le résultat suivant :

Théorème 3.1
1. Soit 2 ]0; 1[. Alors les deux assertions suivantes sont équivalentes
(a) e Q ' 2 C ([0; 1]; X):
(b) ' 2 (D(Q); X)1 ;1 :
2. Soit ' 2 X, 2 ]0; 1[ et g 2 C ([0; 1]; X). Posons
Z x
v(x) = e(x s)Q [g(s) g(0)] ds; x 2 [0; 1] ;
0

alors
v 2 C 1; ([0; 1]; X) \ C ([0; 1]; D(Q)):
3. Soit g 2 C([0; 1]; X) et ' 2 X. Posons
Z x
xQ
w(x) = e ' + e(x s)Q
g(s)ds; x 2 [0; 1] ;
0

Alors les deux assertions suivantes sont équivalentes.


3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 58

(a) w 2 C 1; ([0; 1]; X) \ C ([0; 1]; D(Q)):


(b) g 2 C ([0; 1]; X), ' 2 D(Q) et g(0) + Q' 2 (D(Q); X)1 ;1 :
4. Soit g 2 C ([0; 1]; X). Alors
Z 1
Q esQ (g(s) g(0)) ds 2 (D (Q)); X)1 ;1 :
0

Preuve. La deuxième assertion est obtenue en utilisant la théorie des sommes de Da Prato-
Grisvard [8]. L’assertion 3. découle immédiatement de la l’assertion 2. grâce à E. Sinestrari
[41], voir aussi G. Da Prato [7].

Notation 3.1 Soient g et h deux fonctions dé…nies sur [0; 1] à valeurs dans X et 2 ]0; 1[.
Nous écrivons
g ' h;
si
g h 2 C ([0; 1]; X):

Proposition 3.2 Soit h 2 C ([0; 1]; X), ' 2 D(Q) et posons


Z x
xQ
w(x) = e ' + e(x s)Q h(s)ds; x 2 [0; 1] ;
0

alors
Qw( ) ' e Q (Q' + h(0)) :

Preuve. On a
Z x Z x
xQ (x s)Q
Qw(x) = Qe ' + Q e [h(s) h (0)] ds + Q e(x s)Q
h (0) ds
0 0
Z x
xQ
= Qe ' + Q e(x s)Q
[h(s) h (0)] ds h(0) exQ h (0)
0
Z x
xQ
= e (Q' + h(0)) + Q e(x s)Q
[h(s) h (0)] ds h (0) :
0

En utilisant le Théorème (3.1) et la proposition 1.2, assertion (ii) dans Sinestrari [41] on
obtient le résultat.

3.1.2 Existence, unicité et régularité maximale


Maintenant on considère le problème (3.1)-(3.2). La solution est donnée par (2.12).

Théorème 3.2 Soit f 2 C ([0; 1] ; X) ; 0 < < 1, et supposons (3.3). Alors les assertions
suivantes sont équivalentes.
1. Le problème (3.1)-(3.2) admet une unique solution stricte u, telle que

u 2 C 2 ([0; 1] ; X) \ C([0; 1] ; D (A));

et véri…ant (3.1)-(3.2).
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 59

2. d0 2 D(A); Ad0 f (0) 2 D(A); u est donné par (2.12),


p p
n1 2 D( A) et An1 2 D(A):

Preuve. Supposons 1., alors


d0 = u(0) 2 D(A);
et
Ad0 f (0) = u00 (0) 2 D(A)
Au(1) f (1) = u00 (1) 2 D(A):
La solution u est donnée par 2.12. On déduit que
1
u(1) = (I + Z) 2e B d0 + (I Z) B 1 n1
Z 1
1
+(I + Z) B 1 e (1+s)B f (s)ds
Z0 1
(I + Z) 1 B 1 e (1 s)B f (s)ds;
0

alors
B 1 n1 = u(1) 2(I + Z) 1 e B d0
+ (I + Z) 1 e 2B B 1 n1 (3.4)
Z 1
1 B
(I + Z) e B 1 e sB f (s)ds
Z 1 0
+(I + Z) 1 B 1 e (1 s)B f (s)ds;
0

= u(1)
2e B (I + Z) 1 d0
+e 2B (I + Z) 1 B 1 n1
Z 1
B 1
e (I + Z) B 1 e sB f (s)ds
Z 1 0
+(I + Z) 1 B 1 e (1 s)B f (s)ds
0
X
5
= ai
i=1

Il est clair que a1 ; a2 ; a3 ; a4 sont dans D(A): D’une autre part, de


a5
Z 1
1 1 (1 s)B
= (I + Z) B e f (s)ds
0
Z 1
1 1 (1 s)B
= A (I + Z) Be (f (s) f (1)) ds
0
+A 1 (I + Z) 1
I e B
f (1)
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 60

on a a5 2 D(A). On déduit que


B 1 n1 2 D(A)
ce qui implique que
n1 2 D(B):
De plus

Au(1) f (1)
= 2(I + Z) 1 e B Ad0 (I + Z) 1 (I Z)Bn1
Z 1
1 B
(I + Z) e Be sB f (s)ds
Z 1 0
+(I + Z) 1 Be (1 s)B (f (s) f (1))ds
0
1 B
+(I + Z) (I e )f (1) (I + Z) 1 (I + Z)f (1)

1
= 2(I + Z) 1 e B
Ad0 (I + Z) (I + Z 2Z)Bn1
Z 1
(I + Z) 1 e B Be sB f (s)ds
Z 1 0
+(I + Z) 1 Be (1 s)B (f (s) f (1))ds
0
1 B 2B
(I + Z) (e +e )f (1)

= 2(I + Z) 1 e Ad0 + Bn1 + 2 (I + Z) 1 e


B 2B
Bn1
Z 1
1 B
(I + Z) e Be sB f (s)ds
Z 1 0
+(I + Z) 1 Be (1 s)B (f (s) f (1))ds
0
1 B 2B
(I + Z) (e +e )f (1)

alors

Bn1 = [Au(1) f (1)] 2e B (I + Z) 1 Ad0


+2e 2B (I + Z) 1 Bn1
Z 1
1 B
+(I + Z) e Be sB f (s)ds
Z 1 0
(I + Z) 1 Be (1 s)B (f (s) f (1))ds
0
+(e B + e 2B
)(I + Z) 1 f (1)
X6
= bi
i=1
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 61

b1 ; b2 ; b3 ; b4 ; b6 sont dans D (A); alors

Bn1 2 D (A):

Inversement, on suppose que

d0 2 D (A) ; n1 2 D (B) ;
Ad0 f (0) 2 D (A) et Bn1 2 D (A)

u(x) = D0 (x; B)d0 + N1 (x; B)n1


Z 1
1 1 1
+ (I + Z) B e (x+s)B f (s)ds
2
Z0 1
1
+ (I + Z) 1 B 1 e (2 x+s)B f (s)ds
2
Z0 1
1 1
+ (I + Z) 1 B 2 e (2+x s)B f (s)ds
2
Z0 1
1 1
(I + Z) 1 B 2 e (2 x s)B f (s)ds
2 0
Z Z
1 1 x (x s)B 1 1 1 (s x))B
B e f (s)ds B e f (s)ds;
2 0 2 x

alors

u0 (x) = D00 (x; B)d0


+N10 (x; B)n1
Z 1
1 1
(I + Z) e (x+s)B f (s)ds
2
Z0 1
1
+ (I + Z) 1 e (2 x+s)B f (s)ds
2 0
Z 1
1 1
(I + Z) e (2+x s)B f (s)ds
2
Z0 1
1
(I + Z) 1 e (2 x s)B f (s)ds
2 0
Z
1 x (x s)B
+ e f (s)ds
2 0
Z
1 1 (s x))B
e f (s)ds;
2 x
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 62

u00 (x) = D000 (x; B)d0 + N100 (x; B)n1


Z 1
1 1
+ (I + Z) B e (x+s)B f (s)ds
2
Z0 1
1
+ (I + Z) 1 B e (2 x+s)B f (s)ds
2
Z0 1
1
+ (I + Z) 1 B e (2+x s)B f (s)ds
2
Z0 1
1
(I + Z) 1 B e (2 x s)B f (s)ds
2 0
Z x Z 1
1 (x s)B 1 (s x))B
B e f (s)ds B e f (s)ds
2 0 2 x
+f (x)

1 2(1 x)B xB
= (I + Z) I +e e Ad0
1 2xB (1 x)B
+ (I + Z) I e e Bn1
Z 1
1 1 (x+s)B
+ (I + Z) B e f (s)ds
2 0
Z 1
1 1 (2 x+s)B
+ (I + Z) B e f (s)ds
2 0
Z 1
1 1 (2+x s)B
+ (I + Z) B e f (s)ds
2 0
Z 1
1 1 (2 x s)B
(I + Z) B e f (s)ds
2 0
Z x Z 1
1 (x s)B 1 (s x))B
B e f (s)ds B e f (s)ds
2 0 2 x
+f (x)
On écrit
u00 (x) = (I + Z) 1 e xB (Ad0 f (0)) (I + Z) 1 e (2 x)B Ad0
(I + Z) 1 e xB f (0)
+(I + Z) 1 e (1 x)B Bn1 (I + Z) 1 e (1+x)B Bn1
Z 1
1 1 xB
+ (I + Z) e Be sB (f (s) f (0))ds
2 0
1 1
(I + Z) 1 e (1+x)B f (0) + (I + Z) 1 e xB f (0)
2 Z 1 2
1
+ (I + Z) 1 e (2 x)B Be sB f (s)ds
2 0
Z 1
1 1 (1+x)B
+ (I + Z) e Be (1 s)B f (s)ds
2
Z0 1
1
(I + Z) 1 e (1 x)B Be (1 s)B (f (s) f (1))ds
2 0
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 63

1 1
(I + Z) 1 e (1 x)B f (1) + (I + Z) 1 e (2 x)B f (1)
2Z 2
1 x (x s)B 1
Be (f (s) f (x))ds + f (x)
2 0 2
1 xB 1 xB
e (f (x) f (0)) (I + Z) 1 e f (0)
2 2
1 xB
(I + Z) 1 Ze f (0)
2Z
1 1
Be (s x))B (f (s) f (x))ds
2 x
1 1
+ e (1 x))B (f (x) f (1)) f (x)
2 2
1 1
+ (I + Z) 1 e (1 x))B f (1) + (I + Z) 1 Ze (1 x))B f (1)
2 2
+f (x):

d’où on a

u00 (x) = (I + Z) 1 e xB (Ad0 f (0)) + (I + Z) 1 e (1 x)B Bn1


(I + Z) 1 e (2 x)B Ad0 (I + Z) 1 e (1+x)B Bn1
Z 1
1 1 xB
+ (I + Z) e Be sB (f (s) f (0))ds
2 0
1 1
(I + Z) 1 e (1+x)B f (0) (I + Z) 1 e (2+x)B f (0)
2 Z 1 2
1 1 (2 x)B
+ (I + Z) e Be sB f (s)ds
2
Z0 1
1
+ (I + Z) 1 e (1+x)B Be (1 s)B f (s)ds (3.5)
2
Z0 1
1
(I + Z) 1 e (1 x)B Be (1 s)B (f (s) f (1))ds
2 0
1 1 (2 x)B 1
+ (I + Z) e f (1) + (I + Z) 1 Ze (1 x))B f (1)
2Z 2
1 x
Be (x s)B (f (s) f (x))ds
2 0
Z
1 xB 1 1
+ e (f (x) f (0)) Be (s x))B (f (s) f (x))ds
2 2 x
1
+ e (1 x))B (f (x) f (1)) + f (x):
2
Utilisant les lemmes (3.3) et (3.5) le premier et le deuxième termes sont dans C ([0; 1] ; X),
les autres sont continus car f 2 C ([0; 1] ; X). D’où l’on déduit que u00 2 C([0; 1] ; X), de la
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 64

même manière on montre que Au 2 C([0; 1] ; X):

Au(x) = +(I + Z) 1 e xB Ad0 + (I + Z) 1 e (2 x)B Ad0


(I + Z) 1 e (1 x)B Bn1 + (I + Z) 1 e (1+x)B Bn1
Z 1
1 1 xB
(I + Z) e Be sB f (s)ds
2 0
Z 1
1 1 (2 x)B
(I + Z) e Be sB f (s)ds
2
Z0 1
1
(I + Z) 1 e (1+x)B Be (1 s)B f (s)ds
2
Z0 1
1
(I + Z) 1 e (1 x)B Be (1 s)B f (s)ds
2 0
Z x Z
1 (x s)B 1 1
+ Be f (s)ds + Be (s x))B f (s)ds
2 0 2 x

alors u00 (x) + Au(x) = f (x):


Finalement, on obtient le théorème de régularité maximale

Théorème 3.3 Soit f 2 C ([0; 1] ; X) ; 0 < < 1, on suppose (3.3). Alors les assertions
suivantes sont équivalentes.
1. L’unique solution stricte u du problème (3.1)-(3.2) a la propriété de régularité maxi-
male :
u00 ; Au 2 C ([0; 1] ; X)
2. p
d0 2 D(A); n1 2 D( A); Ad0 f (0) 2 (D (A) ; X)1 ;+1
p 2
et An1 2 (D (A) ; X)1 ;+1 :
2

Preuve. Supposons qu’il existe une solution stricte u du problème (3.1)-(3.2) ayant la pro-
priété de régularité maximale. Du théorème précédent, on a

d0 2 D(A); n1 2 D(B)

Aussi le premier et le second termes dans la formule (3.5) sont dans C ([0; 1]; X) alors

e B (Ad0 f (0)) 2 C ([0; 1]; X)


e(1 )B Bn1 2 C ([0; 1]; X)

et appliquant la remarque, (f), page 39.in [41], on obtient

Ad0 f (0) 2 (D(B); X)1 ;1


Bn1 2 (D(B); X)1 ;1 :

On conclut en notant que

(D(B); X)1 ;1 = (D(A); X)1 ;1 :


2
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 65

Inversement, supposons que

d0 2 D(A); n1 2 D(B); Ad0 f (0) 2 (D (A) ; X)1 ;+1


2
and Bn1 2 (D (A) ; X)1 ;+1 :
2

Utilisant le théorème 1.4. Page 361 de [7] on a


p
A
e p
(Ad0 f (0)) 2 C ([0; 1]; X)
(1 ) A
e Bn1 2 C ([0; 1]; X)
R1 sB
Be (f (s) f (0))ds 2 C ([0; 1]; X)
R01
0
Be (1 s)B (f (s) f (1))ds 2 C ([0; 1]; X)

D’où u00 ; Au 2 C ([0; 1] ; X):

3.1.3 Régularité croisée


Proposition 3.3 Soit f 2 C ([0; 1] ; X) ; 0 < < 1, et supposons (3.3)
p
d0 2 D(A); n1 2 D( A); Ad0 f (0) 2 (D (A) ; X)1 ;+1
p 2
et An1 2 (D (A) ; X)1 ;+1 :
2

Alors l’unique solution stricte u du problème (3.1)-(3.2) avec la proprièté de régularité maxi-
male :
u00 ; Au 2 C ([0; 1] ; X)
a aussi la régularité croisée

Au( ) f ( ) 2 B([0; 1] ; (D(A); X)1 ;+1 )


2

Preuve. On rappelle que

Au(x) f (x)
= (I + Z) 1 e xB (Ad0 f (0)) + (I + Z) 1 e (1 x)B Bn1
+(I + Z) 1 e (2 x)B Ad0 (I + Z) 1 e (1+x)B Bn1
Z 1
1 1 xB
(I + Z) e Be sB (f (s) f (0))ds
2 0
1 1 (1+x)B 1
+ (I + Z) e f (0) (I + Z) 1 e (2+x)B f (0)
2 Z 1 2
1
(I + Z) 1 e (2 x)B Be sB f (s)ds
2
Z0 1
1
(I + Z) 1 e (1+x)B Be (1 s)B f (s)ds
2
Z0 1
1
+ (I + Z) 1 e (1 x)B Be (1 s)B (f (s) f (1))ds
2 0
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 66

1 1
(I + Z) 1 e (2 x)B f (1) + (I + Z) 1 Ze (1 x))B
f (1)
2Z 2
1 x (x s)B
+ Be (f (s) f (x))ds
2 0
1 xB
e (f (x) f (0))
2Z
1 1
+ Be (s x))B (f (s) f (x))ds
2 x
1 (1 x))B
e (f (x) f (1))
2
X
16
= ki (x):
i=1

Notons que :
(D(A); X)1 ;+1 = (D(B); X)1 ;+1
2

alors pour montrer que [Au(x) f (x)] 2 (D(A); X)1 ;+1 il su¢ t que
2

tB
sup t (e I)[Au(x) f (x)] X
K
t>0
p
Comme Ad0 f (0) 2 (D (A) ; X)1 ;+1 et An1 2 (D (A) ; X)1 ;+1 alors k1 (x) et k2 (x)
2 2
sont dans (D(A); X)1 ;+1 .
2
Il est clair que ki (x), pour i = 3; 4; 6; 7; 8; 9; 11 et 12, sont dans D(B) et alors dans
(D(B); X)1 ;+1 . Concernant k13 ;
Z
1 x
k13 (x) = Be (x s)B (f (s) f (x))ds:
2 0
On a :
tB
e
k13 (x) k13 (x)
Z x
tB 1
= e Be (x s)B (f (s) f (x))ds
2 0
Z
1 x
Be (x s)B (f (s) f (x))ds
2 0
Z
1 x
= Be (x+t s)B Be (x s)B (f (s) f (x))ds
2 0
Z Z
1 x x+t s 2 B
= B e (f (s) f (x))d ds
2 0 x s
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 67

Z x Z x+t s
tB 2
e k13 (x) k13 (x) C kf (s) f (x)kX d ds
0 x s
Z x Z x+t s
2
C (x s) kf kC (X) d ds
0 x s
Z x Z y+t
2
C y kf kC (X) d dy
0 y
Z x
1 1
C y kf kC (X) dy
0 y y+t
Z x=t
1 1
C (ut) kf kC (X) tdu
0 ut t(u + 1)
Z x=t
1 1
C ut kf kC (X) du
0 u u+1
Ct kf kC (X)

Pour k14 on a :
tB
e k14 (x) k14 (x)
1 tB xB 1 xB
= e e (f (x) f (0)) + e (f (x) f (0))
2Z 2
1 x+t
= Be B (f (x) f (0))d
2 x

Z x+t
tB 1
e k14 (x) k14 (x) C kf (x) f (0)kX d
x
Z x+t
1
C x kf kC (X) d
x
Z x+t
1
C kf kC (X) d
x
Ct kf kC (X) :

Pour k5 (x) on écrit


Z 1
(x+s)B
B e f (s)ds
0
Z x Z 1
(x s)B 2sB 2xB (s x)B
= B e e f (s)ds + e B e f (s)ds
0 x

alors tous les termes sont dans (D(B); X)1 ;+1 ce qui complète la démonstration.

3.1.4 Estimation a priori


Proposition 3.4 Soit f 2 C ([0; 1] ; X) ; 0 < < 1, on suppose (3.3),
p
d0 2 D(A); n1 2 D( A); Ad0 f (0) 2 (D (A) ; X)1 ;+1
p 2
et An1 2 (D (A) ; X)1 ;+1 :
2
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 68

Alors 9C > 0 :

ku00 kC(X) + kAukC(X)


h p i
C kf kC (X) + kAd0 f (0)kX + An1
X

et

ku00 kC (X) + kAukC (X)


" #
p
C kf kC (X) + kAd0 f (0)k(D(A);X) + An1
1 2 ;+1 (D(A);X)1
2 ;+1

Preuve. Ecrivant u00 comme dans la formule (3.5) on obtient


h i
max ku00 (x)kX C kf kC (X) + kAd0 f (0)kX + kBn1 kX
0 x 1

alors l’inégalité 1 est démontrée. Pour la deuxième il su¢ t de montrer que


ku00 (x) u00 (t)kX
max
0 x;t 1
x6=t
jx tj
" #
p
C kf kC (X) + kAd0 f (0)k(D(A);X) + An1 :
1 2 ;+1 (D(A);X)1
2 ;+1

Dans la formule (3.5) on pose


X
17
00
u (x) = hi (x)
i=1

alors
X
17
00 00
u (x) u (t) = (hi (x) hi (t))
i=1

1 xB tB
h1 (x) h1 (t) = (I + Z) e e (Ad0 f (0))
1 xB (t x)B
= (I + Z) e (I e )(Ad0 f (0))

et
xB (t x)B
kh1 (x) h1 (t)kX e (I e )(Ad0 f (0)) X
C jt xj kAd0 f (0)k(D(A);X) :
1 2 ;+1

on a aussi
1 (1 x)B (1 t)B
h2 (x) h2 (t) = (I + Z) e e Bn1
1 (1 x)B (x t)B
= (I + Z) e I e Bn1

il suit que
kh2 (x) h2 (t)k C jt xj kBn1 k(D(A);X) :
1 2 ;+1
3.1. APPROCHE UTILISANT LA RACINE CARRÉE DE A 69

h3 (x)
1 (2 x)B
= (I + Z) e Ad0
1 (2 x)B 1 (2 x)B
= (I + Z) e (Ad0 f (0)) (I + Z) e f (0)

Comme précédement, le premier terme est dans C ([0; 1] ; X), le second est évidement dans
le même espace. Concernant h13 on a

h13 (x) h13 (t)


Z Z
1 x (x s)B 1 t
= Be (f (s) f (x))ds Be (t s)B (f (s) f (t))ds
2 0 2 0
Z Z Z
1 x (x s)B 1 t x s 2 B
= Be (f (s) f (x))ds + B e (f (s) f (t))d ds
2 t 2 0 t s
1
+ e xB e (x t)B (f (t) f (x)) :
2
Le premier terme et le dernier sont évidement inférieurs à C jt xj kf kC (X) .
Pour le deuxième on écrit
Z Z
1 t x s 2 B
B e (f (s) f (t))d ds
2 0 t s
Z t Z x s
2
C kf kC (X) js tj d ds
0 t s
Z t
C kf kC (X) (x t) (t s) 1 (x s) 1 ds
0
Z t=x t
C kf kC (X) (x t) 1
(1 + ) 1 d
0
C jx tj kf kC (X) :

De plus on a

h14 (x) h14 (t)


1 xB 1 tB
= e (f (x) f (0)) e (f (t) f (0))
2 2
1 xB 1 xB
= e (f (x) f (0)) e (f (t) f (0))
2 2
1 xB 1 tB
+ e (f (t) f (0)) e (f (t) f (0))
2 2Z
1 xB 1 x
= e (f (x) f (t)) + Be sB (f (t) f (0))ds
2 2 t
d’où l’on déduit que
Z x
C
kh14 (x) h14 (t)k C jt xj kf kC (X) + t ds kf kC (X)
s
Zt x
C
C jt xj kf kC (X) + s ds kf kC (X)
t s
C jt xj kf kC (X) :
3.2. APPROCHE UTILISANT L’INTÉGRALE DE DUNFORD 70

De la même façon on montre …nalement que

ku00 (x) u00 (t)kX


h
C jt xj kf kC (X) + kAd0 f (0)k(D(A);X)
1 =2;+1

p
+ An1
(D(A);X)1 =2;+1

et la preuve est complète.

3.2 Approche utilisant l’intégrale de Dunford


Dans cette section on étudie le problème (3.1)-(3.2) dans le cas où

f 2 C ([0; 1] ; X) ; 0< < 1:

sous l’unique hypothèse


(
9"0 2 R; c > 0 tels que (A) [ "20 ; +1[
c
et (A z) 1 L(X) ; 8z 2 [ "20 ; +1[:
1 + jzj
La méthode utilisée ici pour l’étude du problème (3.1)-(3.2) est basée sur une construction
de la solution sous la forme d’intégrale de Dunford comme dans [8] et [23] et sur la réduction
de l’ordre de l’équation par la transformation de Krein [22].

3.2.1 Construction explicite de la solution


On considère le problème
8 00
< v (x) + zv(x) = f (x);
v(0) = d0 ;
: 0
v (1) = n1 :

où z 2 C R+ : Un calcul simple montre que


p p
cosh z(1 x) sinh zx
vz (x) = p d0 + p p n1
cosh z z cosh z
Z 1
Kz (x; s) f (s) ds
0


8 p p
>
> sinh zs cosh z (1 x)
< p p si 0 6 s 6 x
Kz (x; s) = p z coshp z
>
> sinh zx cosh z (1 s)
: p p si x 6 s 6 1
z cosh z
Soit une courbe simple joignant +1e i à 1ei ( 2 ]0; 0 [) telle que p (A) R+ :
La racine carrée de z est la détermination analytique dé…nie sur C par Re z > 0:
3.2. APPROCHE UTILISANT L’INTÉGRALE DE DUNFORD 71

La solution du problème (3.1)-(3.2) est donnée formellement par :

Z p
1 cosh z(1 x)
u(x) = p (A z) 1 d0 dz (3.6)
2i cosh z
Z p
1 sinh zx
+ p p (A z) 1 n1 dz
2i z cosh z
Z Z 1
1
Kz (x; s) (A z) 1 f (s) dsdz
2i 0
X
3
= Ii :
i=1

Il est facile de voir que toutes ces intégrales sont absolument convergentes pour tout x 2 ]0; 1[
grâce aux majorations suivantes
8 p
>
> cosh z(1 x) 1
jzj 2 cos 2 x
>
> p K( )e
>
> cosh z
>
>
>
>
< sinh p z(1 x)
>
K( ) 1
jzj 2 cos 2 x
p p 1 e
>
> z cosh z jzj 2
>
>
>
>
>
> R1
>
> K( )
> 1
: 0 Kz (x; s) (A z) f (s) ds X kf kX :
jzj2

3.2.2 Lemmes techniques


Pour n1 2 X; on pose
Z p
1 sinh zx 1
L(x; A)n1 = p p (A z) n1 dz
2i z cosh z

Il est fondamental pour la suite de donner toutes les propriétés de la fonction L( ; A)n1 :

Lemme 3.6
1. 9K ne dépendant que de tel que

8n1 2 X; 8x 2 [0; 1[ ; kL(x; A)n1 kX K( ) kn1 kX

2. Soit n1 2 X

L(x; A)n1 n1 ! 0 quand x ! 1 si et seulement si n1 2 D(A):


p
3. Soit n1 2 D A : Alors
p
L(x; A)n1 2 C ([0; 1] ; D(A)) si et seulement si An1 2 D(A)
3.2. APPROCHE UTILISANT L’INTÉGRALE DE DUNFORD 72

Preuve. Voir Mezeghrani [31] page 16.


Pour d0 2 X; on pose
Z p
1 cosh z(1 x) 1
S(x; A)d0 = p (A z) d0 dz
2i cosh z
Lemme 3.7
1. 9K ne dépendant que de tel que
8d0 2 X; 8x 2 ]0; 1] ; kS(x; A)d0 kX K( ) kd0 kX
2. Soit d0 2 X
S(x; A)d0 d0 ! 0 quand x ! 0 si et seulement si d0 2 D(A):
3. Soit d0 2 D(A). Alors
S(x; A)d0 2 C ([0; 1] ; D(A)) si et seulement si Ad0 2 D(A)
Preuve. Voir Mezeghrani [31].
Théorème 3.4 Soit f 2 C ([0; 1] ; X) ; 0 < < 1. Alors les propositions suivantes sont
équivalentes
1. Le problème (3.1)-(3.2) admet une unique solution stricte u, telle que
u 2 C 2 ([0; 1] ; X) \ C([0; 1] ; D (A));
et véri…ant (3.1)-(3.2).
p p
2. d0 2 D(A); Ad0 f (0) 2 D(A); n1 2 D( A) and An1 2 D(A):
Preuve. Supposons 1., alors
d0 = u(0) 2 D(A);
et
Ad0 f (0) = u00 (0) 2 D(A)
Au(1) f (1) = u00 (1) 2 D(A):

Z
1 2
u(1) = p (A z) 1 d0 dz
2i cosh z
Z p
1 sinh z
+ p p (A z) 1 n1 dz
2i z cosh z
Z Z 1 p
1 sinh zs
p p (A z) 1 f (s) dsdz
2i 0 z cosh z
Z
1 2
= p p (A z) 1 d0 dz
2i e z +e z
Z p p
1 e z e z
+ p p p (A z) 1 n1 dz
2i z e z +e z
p p
Z Z 1 e zs
e zs
1
p p p (A z) 1 f (s) dsdz
2i 0 z e z +e z
3.2. APPROCHE UTILISANT L’INTÉGRALE DE DUNFORD 73

Z z
p
1 2e
= p (A z) 1 d0 dz
2i 1+e 2 z
Z p
1 1 e 2 z 1
+ p p (A z) n1 dz
2i z 1+e 2 z
p p
Z Z 1 e zs
e zs
1
p p p (A z) 1 f (s) dsdz
2i 0 z e z +e z

X
3
= Ii
i=1

on écrit
Z 2
p
z 2
p
z
1 1+e 2e 1
I2 = p p (A z) n1 dz
2i z 1+e 2 z
Z Z p
1 1 1 1 2e 2 z
1
= p (A z) n1 dz p p (A z) n1 dz
2i z 2i z 1+e 2 z

on obtient
Z z
p
1 2e
u(1) = p (A z) 1 d0 dz
2i 1+e 2 z
Z Z 2
p
z
1 1 1 2e
+ p (A z) 1 n1 dz p p (A z) 1
n1 dz(3.7)
2i z 2i z 1+e 2 z
Z Z 1 p p
1 e zs e zs
p p p (A z) 1 f (s) dsdz
2i 0 z e z +e z

d’où
Z Z p
z
1 1 1 1 2e 1
p (A z) n1 dz = u(1) p (A z) d0 dz
2i z 2i 1+e 2 z
Z p
1 2e 2 z
+ p p (A z) 1 n1 dz
2i z 1+e 2 z
Z Z 1 p z(1 s) p
z(1+s)
1 e e
+ p p (A z) 1 f (s) dsdz
2i 0 z 1+e 2 z

Z p
z
1 1 2e 1
( A) 2 n1 = u(1) p (A z) d0 dz (3.8)
2i 1+e 2 z
Z p
1 2e 2 z
+ p p (A z) 1 n1 dz
2i z 1+e 2 z
Z Z 1 p
z(1+s)
1 e
p p (A z) 1 f (s) dsdz
2i 0 z 1+e 2 z
Z Z 1 p
z(1 s)
1 e
+ p p (A z) 1 f (s) dsdz:
2i 0 z 1+e 2 z
3.2. APPROCHE UTILISANT L’INTÉGRALE DE DUNFORD 74

Les quatre premiers termes sont dans D(A), pour le dernier terme on écrit
Z Z 1 z(1
p
s)
1 e
p p (A z) 1 f (s) dsdz
2i 0 z 1+e 2 z
Z Z 1 z(1
p
s)
1 e 1
= p p (A z) (f (s) f (1)) dsdz
2i 0 z 1+e 2 z
Z Z 1 p
z(1 s)
1 e
+ p p (A z) 1 f (1) dsdz
2i 0 z 1+e 2 z

Z Z 1 1 p
z(1 s)
1 ( A) 2 e
= p (A z) 1 (f (s) f (1)) dsdz
2i 0 1 + e 2 z
p
Z ( A) 21 1 e z
1
+ p p (A z) 1 f (1) dsdz
2i z 1+e 2 z
Z Z 1 p p
1 A 1 Ae z(1 s)
= p (A z) 1 (f (s) f (1)) dsdz
2i 0 1+e 2 z
Z A 1p A 1 e
p
z
1
p p (A z) 1 f (1) dsdz
2i z 1+e 2 z

ces deux intégrales sont dans D(A) car la dernière s’écrit


p
Z A 1 1 e z
1
p (A z) 1 f (1) dsdz
2i 1+e 2 z
Z
1 A 1
= p (A z) 1 f (1) dsdz
2i 1+e 2 z
Z p
1 A 1e z
p (A z) 1 f (1) dsdz
2i 1+e 2 z

1 p
( A) 2 n1 2 D(A) donc n1 2 D A : De (3.8) on a aussi
Z p
p 1 2e z
1
An1 = Au(1) f (1) p (A z) Ad0 dz
2i 1+e 2 z
Z p
1 2e 2 z
+ p p A (A z) 1 n1 dz
2i z 1+e 2 z
Z Z 1 p
z(1+s)
1 e
p p A(A z) 1 f (s) dsdz
2i 0 z 1+e 2 z
Z Z 1 p
z(1 s)
1 e
+ p p A(A z) 1 f (s) dsdz + f (1)
2i 0 z 1+e 2 z
3.3. COMPARAISON DES DEUX APPROCHES 75

Z p
p 1 2e z
1
An1 = Au(1) f (1) p (A z) Ad0 dz
2i 1+e 2 z
Z p
1 2e 2 z
+ p p A (A z) 1 n1 dz
2i z 1+e 2 z
Z Z 1 p
z(1+s)
1 e
p p A(A z) 1 f (s) dsdz
2i 0 z 1+e 2 z
Z Z 1p p
z(1 s)
1 Ae
p (A z) 1 (f (s) f (1)) dsdz
2i 0 1+e 2 z

Z p p
z
1 A 1 e
p p (A z) 1 f (1) dsdz + f (1)
2i z 1+e 2 z

Z p
p 1 2e z
1
An1 = Au(1) p (A z) Ad0 dz
2i 1+e 2 z
Z p
1 2e 2 z
+ p p A (A z) 1 n1 dz
2i z 1+e 2 z
Z Z 1 p
z(1+s)
1 e
p p A(A z) 1 f (s) dsdz
2i 0 z 1 + e 2 z
Z Z 1p p
z(1 s)
1 Ae
p (A z) 1 (f (s) f (1)) dsdz
2i 0 1 + e 2 z

Z p p
z
1 A 1 e
p p (A z) 1 f (1) dsdz:
2i z 1+e 2 z

et chaque terme est dans D(A):


Pour la démonstration du sens inverse, voir [31] page 51.

3.3 Comparaison des deux approches


Dans la première section du troisième chapitre, on a montré l’existence, l’unicité et la
régularité maximale de la solution stricte de notre problème dans le cas où f 2 C ([0; 1] ; X) ;
en utilisant la représentation de la solution par l’utilisation de la racine carrée de l’opérateur
A et dans la deuxième section du troisième chapitre, on a fait la même résolution mais en
utilisant cette fois-ci la représentation de la solution par le noyau de Green, autrement dit en
manipulant des intégrales de Dunford. dans ce qui suit, comparons ces deux représentations,
en utulisant des propriétés de l’intégrale de Dunford.
3.4. APPLICATIONS DANS LE CAS OÙ F EST DANS C ([0; 1] ; X) 76

Par exemple :
Z p
1 sinh zx 1
I2 = p p (A z) n1 dz
2i z cosh z
Z p p
1 1 e zx e zx
1
= ( z) 2 p p (A z) n1 dz
2i e z +e z
Z p
z(1 x)
p
z(1+x)
1 1 e e 1
= ( z) 2 p (A z) n1 dz
2i 1+e 2 z
Z p p p
1 1 1
1
= ( z) 2 1 + e 2 z e z(1 x)
e z(1+x)
(A z) n1 dz
2i
Z
1 p
= g (z) (A z) 1 n1 dz
2i


1 2u 1 u(1 ) u(1+ )
g(u) = u 1+e e e
et comme g est une fonction à variable complexe analytique dans un ensemble fermé conte-
nant (A), A est sectoriel, et
1 + e 2u c
alors d’aprés les propriétés de l’intégrale de Dunford, on a
p 1 p n p p o
2 A 1
I2 = g (A) = ( A) (I + e
2 ) e (1 x) A
e (1+x) A
n1

voir Haase [20]. Ce qui veut dire qu’on peut passer d’une représentation à l’autre sans aucune
di¢ culté.

3.4 Applications dans le cas où f est dans C ([0; 1] ; X)


3.4.1 Résultat anisotropique d’interpolation.
Soit :
( n o
E = u 2 C 2+ ([0; 1] ; X) \ C ([0; 1] ; D(A)) : u00 (0) 2 (D(A); X)1 ;+1
2
T = D(A) Dp A ( + 1; +1):

où : n p o
Dp A( + 1; +1) = 2 Dp A : A 2 (D(A); X)1 ;+1 :
2

Proposition 3.5 L’application J

J : E !T
u 7 ! (u (0) ; u0 (1))

est dé…nie, linéaire, continue et bijective.


3.4. APPLICATIONS DANS LE CAS OÙ F EST DANS C ([0; 1] ; X) 77

Preuve. L’application J est évidement linéaire. Soit u 2 E , alors

u00 ; Au 2 C ([0; 1] ; X)

d’où 8 00
< u (x) + Au(x) = u00 (x) + Au(x) := g(x)
u(0) = d0 in D(A)
: 0
u (1) = n1 in X;
de plus
u 2 C 2+ ([0; 1] ; X) \ C ([0; 1] ; D(A)) :
Du théorème 3.3, on obtient que
p
d0 2 D(A); n1 2 D( A)

et p
Ad0 g(0) 2 (D(A); X)1 ;+1 ; An1 2 (D(A); X)1 ;+1 ;
2 2

d’où (d0 ; n1 ) 2 T : Montrons maintenant que J est bijective, soit (d0 ; n1 ) 2 T . Alors le
problème (3.1)-(3.2) admet une unique solution stricte u véri…ant

u 2 C 2+ ([0; 1] ; X) \ C ([0; 1] ; D(A)) ;

telle que
u00 (0) = Ad0 + g(0) 2 (D(A); X)1 ;+1
2

d’où 9!u 2 E telle que J(u) = (d0 ; n1 ); alors J est bijective. Soit (d0 ; n1 ) 2 T , alors
n o
kJ(u)kT = k(d0 ; n1 )kD(A) Dp ( +1;+1) = sup kd0 kD(A) ; kn1 kDp ( +1;+1)
A A
( )
p
sup kd0 kD(A) ; An1 :
(D(A);X)1
2 ;+1

On a d’une part

kd0 kD(A) kAd0 kX


kAd0 u00 (0) + u00 (0)kX
ku00 (0)kX + kAd0 u00 (0)kX
" #
00 00
c ku (0)k(D(A);X) + sup kAu(x)kX + sup ku (x)kX
1 2 ;+1 x2[0;1] x2[0;1]

c ku00 (0)k(D(A);X) + kAukC([0;1];X) + ku00 kC([0;1];X)


1 2 ;+1

c ku00 (0)k(D(A);X) + kAukC ([0;1];X) + ku00 kC ([0;1];X)


1 2 ;+1

c kukE :
3.4. APPLICATIONS DANS LE CAS OÙ F EST DANS C ([0; 1] ; X) 78

D’une autre part, de la formule (3.4) on a


kn1 kDp ( +1;+1)
A
p
= An1
(D(A);X)
1 2 ;+1
p
1 1 A
= (I Z) (I + Z) Au(1) + 2 (I Z) e Ad0
(D(A);X)
1 2 ;+1

Z1
1
p (1+s)
p
A
+ (I Z) A e g(s)ds
0 (D(A);X)1
2 ;+1

Z1
1
p (1 s)
p
A
+ (I Z) A e g(s)ds
0
1
(I Z) (I + Z) Au(1)
(D(A);X)
1 2 ;+1
p
1 A
+ 2 (I Z) e Ad0 + c kgkC ([0;1];X)
(D(A);X)
1 2 ;+1
" #
c kAu(1)k + kAd0 k
(D(A);X) (D(A);X)
1 2 ;+1 1 2 ;+1
h i
+c kAukC ([0;1];X) + ku00 kC ([0;1];X)
"
c kAu(1)k + kAd0 + u00 (0) u00 (0)k
(D(A);X) (D(A);X)
1 2 ;+1 1 2 ;+1
i
+ kAukC ([0;1];X) + ku00 kC ([0;1];X) :

Alors
kn1 kDp ( +1;+1)
A
p p
x A x A
c sup x (e 1)Au(1) + sup x (e 1)(Ad0 + u00 (0))
x>0 X x>0 X
#
+ ku00 (0)k + kAukC ([0;1];X) + ku00 kC ([0;1];X)
(D(A);X)
1 2 ;+1

c sup kAu(x)kX + sup ku00 (x)kX + ku00 (0)k


x>0 x>0 DA ( 2 ;+1)
h i
c kAukC ([0;1];X) + ku00 kC ([0;1];X)

c kAukC ([0;1];X) + ku00 kC ([0;1];X) + ku00 (0)k


DA ( 2 ;+1)

c kukE :
Finalement on déduit que 9c > 0=8u 2 E ; kJ(u)kT c kukE :
3.4. APPLICATIONS DANS LE CAS OÙ F EST DANS C ([0; 1] ; X) 79

Corollaire 3.1 Soit u 2 E et f 2 C ([0; 1]; X) alors

Au( ) f ( ) 2 B([0; 1] ; (D(A); X)1 ;+1 ):


2

Preuve. La preuve de ce corollaire est une conséquence directe des propositions (3.3) et
(3.5).

3.4.2 Exemples concrets.

Soit X = L2 (R) et soit


D (A) = H 2 (R);
Au = u00
Il est connu que le domaine D(A) est dense dans X. On pose :
8
>
< Gn = o
u 2 C 2+ ([0; 1] ; L2 (R)) \ C ([0; 1] ; H 2 (R)) : u00 (0) 2 (H 2 (R); L2 (R))1 ;+1 ;
>
: 2
N = H 2 (R) H ;
où n p p o
H = 2 D( A) : A 2 (H 2 (R); L2 (R))1 =2;+1 = B2;1 (R) :
Le résultat suivant est une conséquence directe de la proposition 3.5 :

Proposition 3.6 L’application M

M : G !N ;
u 7 ! (u (0) ; u0 (1))

est bien dé…nie, linéaire, continue et bijective.

Soit X = C ([0; 1]) et soit

D (A) = fu 2 C 2 ([0; 1]) : u(0) = u(1) = 0g ;


Au = u00 :

Ici D(A) n’est pas dense dans X car

D (A) = fu 2 C ([0; 1]) : u(0) = u(1) = 0g :


p
La caractérisation de D A est di¢ cile, cependant, on sait que :
p
D A (D(A); X) 1 ;1 = u 2 C 1 ([0; 1]) : u(0) = u(1) = 0 ;
2


8 0 1 9
> x+y >
> >
< B u(x) + u(y) 2u
2 C =
1
C ([0; 1]) = u 2 C([0; 1] : sup B C<1 :
> @ jx yj A >
>
: x;y;
x+y
2[0;1] >
;
2
3.4. APPLICATIONS DANS LE CAS OÙ F EST DANS C ([0; 1] ; X) 80

Notons que

(D(A); C ([0; 1]))1 ;+1


n 2
o
2
= u 2 (C ([0; 1]) ; C ([0; 1]))1 ;+1 : u(0) = u(1) = 0
2

= u 2 C ([0; 1]) : u(0) = u(1) = 0 ;

voir [43], 2.7.2. page 201.


Soit 8 2+
>
< C = u 2 C ([0; 1] ; C ([0; 1])) \ C ([0; 1] ; D(A)) : o
u00 (0) 2 (D(A); C ([0; 1]))1 ;+1 ;
>
: 2
T = D(A) K ,
où n p o
K = 2 H 1 (R) : A 2 (D(A); C ([0; 1]))1 ;+1 :
2

On peut appliquer la proposition (3.5) a…n d’obtenir la proposition suivante :

Proposition 3.7 L’application N

N : C !T
u 7 ! (u (0) ; u0 (1))

est bien dé…nie, linéaire continue et bijective.


Chapitre 4

Etude du Problème dans le cas où


l’opérateur A est variable et f est
dans un espace Holdérien.

81
4.1. POSITION DU PROBLÈME ET HYPOTHÈSES
82

4.1 Position du problème et hypothèses

On considère le problème
8 00
< u (x) + A(x)u(x) x = f (x); > 0; x 2 [0; 1]
u(0) = d0 (4.1)
: 0
u (1) = n1

où f 2 C ([0; 1] ; X) ; 0 < < 1; d0 ; n1 2 X et (A(x))x2[0;1] est une famille d’opérateurs


linéaires fermés de domaines D (A(x)) non nécessairement denses dans X et véri…ant
(
(A(x) z) 1 existe pour tout z et
c (4.2)
(A(x) z) 1 L(X) ; 8z
jzj
et
8
>
> 9K; ; tels que :
< jx sj
1 1 1
(A(x) ) (A(x) z) (A(x) ) (A(s) ) K (4.3)
>
>
L(X) jzj
:
avec : + 2 2 > 0:

Remarque 4.1
1. Les hypothèses
P (4.2) et (4.3) restent encore valables dans un petit secteur du plan
complexe = fz 2 C : jarg zj :g :
2. Les hypothèses (4.2) et (4.3) ont été utilisées dans Labbas-Terreni [25] pour une équa-
tion de type Dirichlet mais avec des restrictions u(0) = 0 et f (0) = f (1) = 0.

Notre but est d’étudier l’existence, l’unicité et la régularité optimale du problème (4.1)
lorsque f est assez régulière et d0 ; n1 ; f (0) et f (1) véri…ent certanes conditions de com-
patibilité liées à l’équation di¤érentielle. On utilisera essentiellement le calcul classique de
Dunford.

4.2 Construction de la solution


On pose
Q(x) = A(x)
et on considère le problème suivant
8 00
< v (x) + zv(x) = f (x)
v(0) = d0
: 0
v (1) = n1

v est donnée par :


4.2. CONSTRUCTION DE LA SOLUTION 83

p p
cosh z(1 x) sinh zx
v(x) = p d0 + p p n1
cosh z z cosh z
Z 1
Kz (x; s) f (s) ds
0
= L(d0 ; n1 ; f )(x):

En écrivant que

L(d0 ; n1 ; f )(x) = L(d0 ; n1 ; u00 ( ) + Q( )u( ))(x)

il vient

L(d0 ; n1 ; u00 ( ) + Q( )u( ))(x)


p p
cosh z(1 x) sinh zx
= p d0 + p p n1
cosh z z cosh z
Z 1
Kz (x; s) (u00 (s) + Q(s)u(s)) ds
0
p p
cosh z(1 x) sinh zx
= p d0 + p p n1
cosh z z cosh z
Z 1 Z 1
Kz (x; s) u00 (s)ds Kz (x; s) Q(s)u(s)ds:
0 0

calculons l’intégrale

Z 1
J1 = Kz (x; s) u00 (s)ds
Z0 x p p
sinh zs cosh z (1 x) 00
= p p u (s)ds
0 z cosh z
Z 1 p p
sinh zx cosh z (1 s) 00
p p u (s)ds
x z cosh z
p Z
cosh z (1 x) x p
= p p sinh zs u00 (s)ds
z cosh z 0
p Z 1
sinh zx p
p p cosh z (1 s) u00 (s)ds
z cosh z x
p p
cosh z (1 x) sinh zx
= p p I1 p p I2 :
z cosh z z cosh z
On fait une double intégration par parties pour chacune des intégrales et on obtient
Z x
p p
I1 = sinh zs u00 (s)ds = sinh zx u0 (s)
0
p p p
z cosh zx u(x) + zu(0)
Z x
p
z sinh zs u(s)ds
0
4.2. CONSTRUCTION DE LA SOLUTION 84

Z 1 p
I2 = cosh z (1 s) u00 (s)ds = u0 (1)
x
p
cosh z (1 x) u0 (x)
p p
z sinh z (1 x) u(x)
Z 1
p
z cosh z (1 s) u(s)ds
x
d’où
p
cosh z (1 x) p p p
J1 = p p sinh zx u0 (s) z cosh zx u(x)
z cosh z
p Z x
cosh z (1 x) p p
p p zu(0) z sinh zs u(s)ds
z cosh z 0
p
sinh zx p
p p u0 (1) cosh z (1 x) u0 (x)
z cosh z
p
sinh zx p p
+p p z sinh z (1 x) u(x)
z cosh z
p Z 1
sinh zx p
+p p z cosh z (1 s) u(s)ds
z cosh z x
Z 1 p
cosh z (1 x)
= u(x) + z Kz (x; s) u (s) ds p u(0)
0 cosh z
p
sinh zx
p p u0 (1)
z cosh z

L(d0 ; n1 ; u00 ( ) + Q( )u( ))(x)


p p
cosh z(1 x) sinh zx
= p d0 + p p n1
cosh z z cosh z
Z 1
Kz (x; s) Q(s)u(s)ds
0
Z 1 p
cosh z (1 x)
+u(x) + z Kz (x; s) u (s) ds p u(0)
0 cosh z
p
sinh zx
p p u0 (1)
z cosh z
Z 1 Z 1
= u(x) + z Kz (x; s) u (s) ds Kz (x; s) Q(s)u(s)ds
0 0
et comme
L(d0 ; n1 ; f )(x) = L(d0 ; n1 ; u00 ( ) + Q( )u( ))(x)
il vient
Z 1 Z 1
u(x) + z Kz (x; s) u (s) ds Kz (x; s) Q(s)u(s)ds (4.4)
0 0
p p Z 1
cosh z(1 x) sinh zx
= p d0 + p p n1 Kz (x; s) f (s)ds:
cosh z z cosh z 0
4.2. CONSTRUCTION DE LA SOLUTION 85

On applique la résolvante au premier membre de l’égalité puis l’intégrale de Dunford


Z Z 1 Z 1
1 1
(Q(x) z) u(x) + z Kz (x; s) u (s) ds Kz (x; s) Q(s)u(s)ds dz
2i 0 0
Z Z 1
1 1
= (Q(x) z) u(x) + Kz (x; s) (z Q(s)) u (s) ds dz
2i 0
Z
1
= (Q(x) z) 1 u(x)dz
2i
Z Z 1
1
+ Kz (x; s) (Q(x) z) 1 (z Q(s)) u (s) dsdz
2i 0
Z
1
= (Q(x) z) 1 u(x)dz
2i
Z Z 1
1
+ Kz (x; s) (Q(x) z) 1 (z Q(x) + Q(x) Q(s)) u (s) dsdz
2i 0

Z
1 1
= (Q(x) z) u(x)dz
2i
Z Z 1
1 1
+ Kz (x; s) (Q(x) z) (z Q(x)) u (s) dsdz
2i 0
Z Z 1
1 1
+ Kz (x; s) (Q(x) z) (Q(x) Q(s)) u (s) dsdz
2i 0
= H1 + H2 + H3:
En utilisant l’identité de la résolvante
1 y 1 Q(x)y
(Q(x) z) y= + (Q(x) z)
z z
on obtient
Z
1 1
H1 = (Q(x) z) u(x)dz
2i
Z Z 1
1 u(x) 1 (Q(x) z)
= dz + Q(x)u(x)dz
2i z 2i z
= K1 + K2
K1 et H2 sont nulles en intégrant à gauche de :
Z
1 1 1
K2 = Q(x) (Q(x) z) u(x)dz
2i z
= Q(x)Q(x) 1 u(x) = u(x)

Z Z 1
1 1
H3 = Kz (x; s) (Q(x) z) (Q(x) Q(s)) u (s) dsdz
2i 0
Z Z 1
1 1 1
= Kz (x; s) Q(x) (Q(x) z) (Q(x) z) Q(s) u (s) dsdz
2i 0
4.2. CONSTRUCTION DE LA SOLUTION 86

On a utilisé l’identité algébrique facile à véri…er


1 1
Q(x) (Q(x) z) (Q(x) z) Q(s) u(s)
1 1 1
= Q(x) (Q(x) z) Q(s) Q(x) Q(s)u (s)

H3
Z Z 1
1
= Kz (x; s) Q(x) (Q(x) z) 1 Q(s) 1 Q(x) 1 Q(s)u (s) u (s) dsdz
2i 0
Z Z 1
1
= Kz (x; s) (Q(x) z + z) (Q(x) z) 1 Q(s) 1 Q(x) 1 Q(s)u (s) u (s) dsdz
2i 0
Z Z 1
1
= Kz (x; s) z (Q(x) z) 1 Q(s) 1 Q(x) 1 Q(s)u (s) u (s) dsdz
2i 0

et de (4.4) on obtient
Z Z 1
1
u(x) + Kz (x; s) z (Q(x) z) 1 Q(s) 1
Q(x) 1
Q(s)u (s) u (s) dsdz
2i 0
Z p
1 cosh z(1 x)
= p (Q(x) z) 1 d0 dz (4.5)
2i cosh z
Z p
1 sinh zx
+ p p (Q(x) z) 1 n1 dz
2i z cosh z
Z Z 1
1
Kz (x; s) (Q(x) z) 1 f (s)dsdz
2i 0

On applique Q(x) aux deux membres de l’égalité précédente et on pose


8
>
> w = Q( )u( )
>
> R R1
> P w (x) = 1
>
> Kz (x; s) zQ(x) (Q(x) z) 1 (Q(s) 1 Q(x) 1 ) w (s) dsdz
>
> 2i 0
p
>
> 1 R cosh z(1 x)
<
F (d0 ; n1 ; f )(x) = p Q(x) (Q(x) z) 1 d0 dz
> p 2i cosh z
>
> 1 R sinh zx
>
> + p p Q(x) (Q(x) z) 1 n1 dz
>
> 2i z cosh z
>
>
>
> 1 R R1
:
0
Kz (x; s) Q(x) (Q(x) z) 1 f (s)dsdz
2i
alors de (4.5) on obtient l’équation

w + P w = F (d0 ; n1 ; f ) (4.6)

Tout revient alors à inverser l’équation (4.6) dans un espace adéquat où on peut rendre
la norme de P assez petite.
4.2. CONSTRUCTION DE LA SOLUTION 87

Supposons pour l’instant que F (d0 ; n1 ; f ) 2 C ([0; 1] ; X) alors on a

kP w(x)kX
Z Z 1
1
= Kz (x; s) zQ(x) (Q(x) z) 1 Q(s) 1 Q(x) 1
w (s) dsdz
2i 0 X
Z Z 1
jdzj
c jzj sup jKz (x; s)j jx sj ds kwkC(X)
x2[0;1] 0 jz + j
Z
jzj
c 1+ 2
jdzj kwkC(X)
jzj jz + j
c
+ 1
kwkC(X) :
2

On en déduit la proposition :

Proposition 4.1 On suppose que F (d0 ; n1 ; f ) 2 C ([0; 1] ; X) et que les hypothèses (4.2) et
(4.3) sont véri…ées alors :
1
9 > 0 tel que : 8 ; kP kL(C(X)) :
2
L’équation (4.6) admet donc une unique solution w = Q(:)u(:) pour et donc

u(:) = Q(:) 1 (I + P ) 1 F (d0 ; n1 ; f )


= (A(:) ) 1 (I + P ) 1 F (d0 ; n1 ; f ):
Bibliographie

[1] S. Agmon, A. Douglis et L. Nirenberg. : Estimates near the boundary for solutions
of elliptic partial di¤erential equations satisfying general boundary conditions. II, Comm.
Pure Appl. Math.17 (1964), 35-92.
[2] I. V. Aliev. et F. G. Maksudov. : Di¤erential Operator of Second Order with Non-
regular Boundary Conditions. Soviet Math. Dokl., 44 (1992), 482-485.
[3] P. Acquistapace. et B. Terreni. : A uni…ed approach to abstract linear non autonom
parabolic equations, C.R.A.S Paris 301 (1985), 107-110.
[4] A. V. Balakrishnan. : Fractional powers of closed operators and the semigroups ge-
nerated by them, Pacif. J. Math. 10, (1960), pp 419-437.
[5] J. Bourgain. : Some remarks on Banach spaces in which martingale di¤erence se-
quences are unconditional, Ark. Mat., 21 (1983), 163-168.
[6] D. L. Burkholder. : A geometrical characterisation of Banach spaces in which mar-
tingale di¤erence sequences are unconditional, Ann. Probab., 9 (1981), 997-1011.
[7] G. Da Prato. : Abstract Di¤erential Equations, Maximal Regularity, and Lineariza-
tion, Proceedings of Symposia in Pure Mathematics, Vol. 45 (1986), Part 1.
[8] G. Da Prato and P.Grisvard. : Sommes d’opérateurs linéaires et équations di¤éren-
tielles opérationnelles. J. Math. Pures Appl. IX Ser. 54, (1975), pp 305-387.
[9] G. Da Prato. : Abstract Di¤erential Equations, Maximal Regularity and Linearization,
Proceed. Symposia. Pura Math., 45 (1986), Part I, 359–370.
[10] G. Da Prato et P. Grisvard. :Sommes d’Opérateurs Linéaires et Equations Di¤é-
rentielles Opérationnelles, J. Math. Pures Appl. IX Ser.54 (1975), 305-387.
[11] G. Dore et A. Venni. : On the Closedness of the Sum of two Closed Operators,
Mathematicsche Zeitschrift, 196 (1987), 124-136.
[12] G.Dore and A. Venni. : Some Results about Complex Powers of Closed Operators,
J.Math. Anal. Appl., 149 (1990), 124-136.
[13] N. Dunford et J.Schwartz. : Linear Operators, Part I, New York, Interscience 1958.
[14] A. Favini, R. Labbas, H. Tanabe et A. Yagi. : On the Solvability of Complete
Abstract Di¤erential Equations of Elliptic Type, Funkc. Ekv., 47 (2004), 205-224.
[15] A. Favini, R. Labbas, S. Maingot, H. Tanabe and A. Yagi. : On the Solvability
and the Maximal Regularity of Complete Abstract Di¤erential Equations of Elliptic Type,
Funkcial.Ekvacioj, 47 (2004), 423-452.
[16] A. Favini, R. Labbas, S.Maingot, H. Tanabe et A. Yagi. : Etude uni…ée de
problèmes elliptiques dans le cadre höldérien, C.R. Acad. Sci. Paris, Ser. I 341 (2005)
485-490.

88
BIBLIOGRAPHIE 89

[17] A. Favini, R. Labbas, S. Maingot, H. Tanabe and A. Yagi. : A Simpli…ed


Approach in the Study of Elliptic Di¤erential Equations in UMD Spaces and New Ap-
plications, Funkcial. Ekvac, 51 (2008), 165-187.
[18] A. Favini, R. Labbas, S. Maingot, H. Tanabe and A. Yagi. : Necessary and Suf-
…scient Conditions for Maximal Regularity in the Study of Elliptic Di¤erential Equations
in Hölder Spaces, Discrete and Continuous Dynamical Systems. Vol 22. N4 (2008) pp
973-987.
[19] P. Grisvard. : Spazi di Tracce e Applicazioni, Rendiconti di Matematica (4), vol. 5,
série VI (1972), 657-729.
[20] M. Haase. : The Functional Calculus for Sectorial Operators, Series : Operator Theory :
Advances and Applications, Birkhâuser, Vol 169. (2006).
[21] T. Kato. : Perturbation theory for linear Operators, Springer-Verlag, Berlin Heidelberg,
New York 1980.
[22] S. G. Krein. : Linear di¤erental equations in Banach space, Moscou,1967 ; English
Translation : AMS, Providence, (1971).
[23] R. Labbas. : Problèmes aux limites pour une équation di¤érentielle abstraite de type
élliptique, Thèse d’état, Université de Nice, (1987).
[24] R. Labbas. : Condition d’ellipticité et résolution d’une équation di¤érentielle abstraite
complète du second ordre,.Bolletino U.M.I (7) 8-A (1994), 413-424.
[25] R.Labbas et B. Terreni. : Sommes d’opérateurs linéaires de type parabolique, 1ère
Partie. Boll. Un. Math. Ital. 1-B (7) (1987), 545-569.
[26] R.Labbas et B. Terreni. : Sommes d’opérateurs linéaires de type parabolique, 2ème
Partie. Boll. Un. Math. Ital. 2-B (7) (1988), 141-162.
[27] J.L. Lions. : Théorème de trace et d’interpolation I et II. Annali S.N.S.di Pisa, 13,
(1959), 389-403 et 14, (1960), 317-331.
[28] J. L. Lions and J. Peetre. : Sur une classe d’espaces d’interpolation, Inst. Hautes
Etudes Sci. Publ. Math., 19 (1964), 5-68.
[29] A. Lunardi. : Analytic Semigroups and Optimal Regularity in Parabolic Problems,
Birkhâuser,Basel, (1995).
[30] C. Martinez and M. Sanz. : Fractionnal powers of non densely de…ned operators.
Annali della Scuola Normale Superiore di Pisa-Classe di scienze Ser.4, 18 n3 (1991). p.
443-454.
[31] F. Z. Mezeghrani. : Problèmes à deux points pour une équation di¤érentielle opéra-
tionnelle du second ordre, Thèse de Magister, Université d’Oran, (1992).
[32] F. Z. Mezeghrani. : Résolution d’une Equation Di¤érentielle Opérationnelle du Second
Ordre par la méthode des Sommes dOpérateurs, Annales de Mathématiques 6 (1999)
221-225.
[33] F. Z. Mezeghrani. : Necessary and Su¢ cient Conditions for the Solvability and Maxi-
mal Regularity of Abstract Di¤erential Equations of Mixed Type in UMD spaces, TSU-
KUBA. J. MATH., Vol. 35. n 2, (2011), 185-202.
[34] S. Monniaux et J. Prüss. : A Theorem of Dore-Venni Type for noncommuting Ope-
rators, Trans. Amer. Math. Soc., 349 (1997), 4787-4814.
BIBLIOGRAPHIE 90

[35] M. H. Mortad. : Self-adjointness of the perturbed wave operator on L2 (Rn ), n 2.


Proc. Amer. Math. Soc. 133 (2005), no. 2, 455–464.
[36] M. H. Mortad. : On Lp -estimates for the time dependent Schrödinger operator on L2 .
JIPAM. J. Inequal. Pure Appl. Math. 8 (2007), no. 3, Article 80, 8 pp.
[37] M. H. Mortad. : On the adjoint and the closure of the sum of two unbounded operators.
Canad. Math. Bull. 54 (2011), no. 3, 498–505.
[38] M. H. Mortad. : On the Normality of the Sum of Two Normal Operators. COMPLEX
ANALYSIS AND OPERATOR THEORY. 6/1 (2012), 105-112.
[39] J. Prüss et H. Sohr. : Boundedness of Imaginary Powers of Second-order Elliptic
Di¤erential Operators in Lp , Hiroshima Math. J., 23 (1993), 161-192.
[40] J. Prüss and H. Sohr. : On Operator with Bounded Imaginary Powers in Banach
Spaces, Math Zeitschrift, 203 (1990), 429-452.
[41] E. Sinestrari. : On the abstract Cauchy problem of parabolic type in space of continuous
functions, J. Math. Anal. App. 66 (1985) 16-66.
[42] J. Tanabe. : Equations of Evolution, Pitman, London, San Francisco, Melbourne,
(1979).
[43] H. Triebel. : Interpolation Theory, Function Spaces, Di¤erential Operators, Amster-
dam, North Holland (1978).
BIBLIOGRAPHIE 91

Résumé :
Ce travail est consacré à l’étude de l’équation abstraite du second ordre de type mêlé :

u00 (x) + Au(x) = f (x); x 2 (0; 1);

sous les conditions aux limites de Dirichlet-Neumann :


u(0) = d0
u0 (1) = n1 ;

où A est un opérateur linéaire fermé dans un espace de Banach complexe X. Ici, f est une
fonction de (0; 1) à valeurs dans X et d0 , n1 sont des éléments donnés dans X.
On s’intéresse à l’existence, l’unicité et la régularité maximale de solutions de ce problème
lorsque le second membre f appartient à l’une des deux classes d’espaces de Banach de
géométrie di¤érente Lp (0; 1; X) et C ([0; 1]; X) avec 1 < p < 1, 0 < < 1.
– Dans le premier cadre fonctionnel Lp (0; 1; X), lorsque l’espace de Banach X possède la
propriété U M D et sous certaines hypothèses sur l’opérateur on démontrera l’existence,
l’unicité et la régularité maximale de la soluion stricte si et seulement si les données
d0 , n1 sont dans un espace d’interpolation bien précis. Les techniques utilisées reposent
sur la classe dite BIP des opérateurs et essentiellement sur le célèbre Théorème de
Dore et Venni.
– Dans le deuxième cadre (compte tenu de la régularité höldérienne du second membre
f ), où l’espace de Banach X est quelconque et le domaine D(A) n’est pas dense dans
X, on prouvera aussi, sous les mêmes hypothèses que le cadre précédent, des résultats
d’existence et de régularité maximale si et seulement si les données d0 , n1 sont dans un
certain espace d’interpolation . Ici, les techniques utilisées reposent sur la théorie des
semi-groupes analytiques, sur la célèbre théorie des sommes d’opérateurs de Da Prato
et Grisvard et principalement sur le travail de Sinestrari.

Mots clés :
Théorie des sommes d’opérateurs linéaires, semi-groupes, espaces d’interpolation, les es-
paces UMD, les espaces de Hölder, solution stricte, régularité optimal, équation elliptique,
problème de Sturm-Liouville, puissances fractionnaires, puissances imaginaires bornés.

Vous aimerez peut-être aussi