R E G U L A R I T E DE LA S O L U T I O N D ' U N E E Q U A T I O N

NON L I N E A I R E DANS IR N

J a c q u e s SIMON
U n i v e r s i t 6 P . et M, C u r i e ( Paris VI)
L a b o . A n a l y s e Num6rique . ( L . A . 189)
T o u r 5 5 . 6 5 - 5e 6tage
p l a c e Jus s i e u
75230 P a r i s C ed ex 05

Introduction .

O n s'intdresse aux solutions u de

(i) - div ( d l l g r a d u IP-2 g r a d u ) + do l u l P - 2 u = f d a m s IR N

o~ f, d o et d I sont des fonctions d o m n ~ e s d a m s IR N , p > 1 et

div = 3/Dx I + ...+ 3 / 3 x N ~ g r a d = ( ~/~x I ..... ~ / 3 x N )

Cette 6quation intervient en glaciologie, cf. Pelissier [ i] , et ad-

met m o y e n n a n t des h y p o t h e s e s c o n v e n a b l e s s u r f , d o et d I u n e solution uni -

que .

O n s u p p o s e d'abord f et d I d6rivables ( e n ce sens que les d 6 r i -

(i)
v6es ~f/Bx i et 3 d / ~ x i appartiennent r e s p e c t i v e m e n t a u x e s p a c e s dams

lesquels o n se d o n n e f et d I p o u r avoir l'existence ) et o n en d6duit u n e pro -

pri6t6 de r6gularit6 de u .

O n m o n t r e ensuite que l'ordre de d6rivabilit6 obtenu p o u r u est

optimal et qu'il y a u n scull de r6gularit6, c'est-~-dire que q u a n d f , d o et d I

sont tr~s r6guliers u ne l'est pas n 6 c e s s a i r e m e n t .

(i) _Df
_ E W-I'P~(IRN) et _~_ d E L==(IR N ) , ou plus e x a c t e m e n t f E L p~ ( IRN )
~x i 3x i
et d E WI'•(IR N) .
 206

On suppose enfin d o et d 1 constants et f deux lois ddrivable ( au

sens ci-dessus ) et on en dfiduit quand p > 2 une propri~tfi de r~gularitfi de u

plus forte que pr~cfidemment .

On donne de plus des propri~tfis de rdgularit~de I gradula-lgrad

o 0 c~ > 0 ( d o r i c e n p a r t i c u l i e r du champ de contrainte dans un glacier ) .

On ~tablit les proprifit~s de r@gularitd de u en utilisant la mfitho-

de des translations de Nirenberg [ 1] ; e l l e p e u t ~ t r e u t i l i s f i e pour d' autres

fiquations que (1) qui est dtudi~e & titre de mod&le , et en particulier pour

des ~quations d'ordre plus filevfi o u p o u r des fiquations d'~volution ou encore

pour des infiquations .

Une pattie de ces rfisultats o n t ~tfi a n n o n c d s dans Simon [ 1] .

Un r~sultat de rfigularitfi analogue au premier rfisultat qu'on ~tablit ici est

donnd dans E1 K o l l i [ 1] pour la solution p@riodique dans un pavd d'une dqua -

tionvoisine de (1) , avec p ~ 2 .

Pour des proprifit@s de rdgularit~ des solutions de (1) , ou d'fi -

quations voisines , dans un ouvert quelconque on renvoie & Simon [2] et & sa

bibliographie .

On suit le plan :

1 - Position du problfime et rfisultat de rfigularitfi .

2- Une proprifit~ de l'opfirateur ~7

P
3- Ddmonstration du th@or~me 1.1 .

4- Rdgularitfi intermddiaire .

5- Optimalit ~ .

6- Seuil de r~gularit~ .

7- Un autre r~sultat de rfigularitd .

8- Rfigularitd des puissances du gradient .

 207

1. Position du probl6me et r f s u l t a t de r f g u l a r i t 6 .

Onnote x = (Xl,..., x N ) le point g6n6rique de IR N , qu'on munit

de la n o r m e euclidienne Ixl = ( I x 1 1 2 + . . . + IXNI2) ½ . Etant d o n n 6

= ( ~I ' "'" ' B N ) u n indice de d6rivation ( multi-entier positif) on note

0)
I~I = ~i + --.+ B N , D~ = ( ? / ? X l ) B l ° --. ° ( 3 / ? X N ) B N et D (0 ..... = Id.

O n note pour m entier et i < r < co ,

w m ' r ( I R N) = [ v l D ~ v E L r ( I R N) , If~l <-m} ,

w-m'r(IR N) = {v = ~ DB v 8 I v~ E L r (IR N ) } ,
l~l-<m
et on d6finit par interpolation pour o non entier , E (c~) = pattie enti&re de c~

et l~q- <~o ,

Bq,r(IRN) = [ wE(o)+1, r (IR N ) ; w E ( o ) , r ( I R N ) ] E ( o ) + I _ o , q

(*)

Etant donn6s 1 < p< = et

(i.I) do, d i e L ~ ( I R N ) tels que Inf ess d i ( x ) > O

xEIR N

on dgfinit un opdrateur ~7 de w I ' P ( I R N) dans W - I ' P ~ ( I R N ) off i + 1___ = 1 par

P
~7p(V) = - d i V ( d l l g r a d v l P - 2 g r a d v ) + d o l V l p-2v p P (2)

(1) Onnote, cf. P e e t r e [1] ,

[A 1, A2] , q= {aE A I + A 2 I h -9 K ( h ; a ) E L q ( 0 , =',-h-dh ) }

o~ K(h;a)= I n f { l l a l l l A 1 + hlla211A2 I a l + a 2= a , a i E A i }

p-2
(2) i.e gp(V) : - E 3 (dl( Z I 3--v 1 2 ) - 2 By ) + dolvlP-2v.
i=l...N Bx.• j = I . . . N 3x.J 3x i
 208

Etant donn6 f E W - I ' P ~ ( I R N ) il existe - cf. Lions [1] thdor6me 2 . 1 p . 171 -

une solution u unique , d'apr6s le l e m m e 2. I ci-apr6s , de

(1.2) ~ uE wI'P(IRN) '

~Tp(U) = f .
L
On d d m o n t r e r a au § 3 le r 6 s u l t a t de r d g u l a r i t 6 s u i v a n t :

THEOREME 1.1. On s u p p o s e que

(1.3) d l E w l ' = ( I R N) et f E L P e ( I R N)

AIors

1+1---- , p
B p-1 , ( ~ N )
co
quand p > 2 ,
(1.4) u E
w 2 , P (IR N ) quand p ~ 2 .

Principe de d 6 m o n s t r a t i o n .

O n se r a m 6 n e r a au cas d o --- I , puis on montrera que l'applica -

tion (dl,f) - - > u est h~51d6rienne ( d'ordre - - I quand p ~ 2 , d'ordre 1

p-I
quand p ~ 2") de L = ( I R N) x W-I'P~(]R N ) dans w I ' P ( I R N) et onutiliserales

caract6risations par translation des espaces de $obolev et de B e s o v sur IR N

REMARQUE 1.1. O r d r e de d d r i v a b i l i t 6 de u .

Ona 1 1+= p~ , mais c'est une coincidence que, quand p > 2,

- -

p-I
u soit " d6rivable " d'ordre p~ conjugu6 de p .

Notons que l-i-- est l'ordre d'homog6ndit6 de ~z-I au sens o~

p-i P

~z~l(tf) = tP-i ~ p l (f) V t~ 0

 209

1
Q u a n d p < 2 l'ordre d'homog6n6it6 - - 6tant sup6rieur h 1, il
P I
1
est r e m p l a c 6 p a r 1 (i)

REMARQUE 1.2. R6gularit6 dans les espaces de S o b o l e v .

Les espaces de Sobolev d'ordre a non entier 6tant d d f i n i s de fa -

9onusuelle on a d'apres L i o n s - M a g e n e s [I] ~ - w o ' r ( INR) = Ba'r(IR N)- pour

r

1 < r <~ donc (1./4) entra{ne

1
I+ -- -¢,p

(1.5) u E W p-i (IR N ) pour tout ¢ > 0 , quand p> 2

REMARQIJE 1.3. Perte de r 6 g u l a r i t 6 et optimalit6 .

O n a fait des hypotheses de d6rivabilit6 sur d I et f d'ordre 1

(par rapport aux hypotheses de d 6 f i n i t i o n d e d ? p ) . Q u a n d p > 2 on o b t i e n t une

propri6t6 de " d6rivabilit6 d'ordre ,, _ _ 1 q u i e s t i n f 6 r i e u r ~ 1 ," o n p e r d d o n c

p-1
de la r6gularit6 . On verra au § 5 qu'on ne peut pas faire mieux ( pour l'hypo-

thhse (1.3) ) •

2. U n e propri6t6 de l'op6rateur ¢7p

Pour d6montrer le th6oreme i. 1 on utilisera le

LEMME 2. i. O n suppose que ( i. i) est v~rifi6e .

II existe une constante c > 0 telle que pour tout v, v' E w I ' P ( I R N )

(I) E n effet ¢7; 1 n'est plus hSld6rienne d'ordre 1 mais est lipschit
p-I
zienne , cf. (2.1) .
 210

1
[ c(llgp(V')-ap(V)ll ~ *~ .. ) p - 1
W - * , P (1R 1~)
42.1) I!v'-Vl/wl,P (IRN) quand p >_ 2,

c M 2-p II%(v') - ap(V)IIw_l,p~f( I R N )

quand p -< 2 ,

oh M= Sup(llVllwl ,P(IRN) ; !/v'/IwI,P(IRN))

D4monstration .

a) Majorations liminaires. O n note ( ,) le produit scalaire dans IR N

11 existe c I > 0 telle q u e , p o u r tout t, t' E IR N ,

quand p e 2 ,
t, t'-t) ~{ c l l t ' - t l p
(2.2) ( l t ' [ P - 2 t ' - Itl p-2
It'-t / 2
c1 quand p ~ 2
2-p
(It'l+ltl)

Une ddmonstration utilisant des ddveloppements limitds est donnde

dans G l o w i n s k i - M a r o c c o [ 1] , pour N = 2 . On va u t i l i s e r une a u t r e mdthode:

On se ram@ne p a r homogdndit6 et s y m i t r i e au cas I t' I = 1 et

Itl -< 1 , et on c h o i s i t u n syst~me d ' a x e s t e l q u e t' = ( 1, 0 ... 0 ) et

t = ( t 1, t 2 , 0... 0 ) . Quand p ~ 2 , ( 2 . 2 ) est a l o r s dquivalent ~

c I

t l ~2+ t 2-2 2- P ~ 22 - 2p (l_tl)a+t2

(2.3)

.) 9
pour tout t = ( t l , t 2) , t~ + t~. ~ 1 , t ~ (1,0)
En minorant
 211

t1
1 - z (p-l)( 1 - t 1) si O < tI
t1
i - > Itll 2-p

S12+ t2 2-p 1-t I > (p-1)(1-t 1) si tl~O ,

1 > 1 , (i+ ~tt2l + t 2)2-p

2 2 P

on fitablit ( 2 . 3 ) , donc (2.2) , avec c 1= p-1

Quand p m 2 on effectue un calcuI analogue .

b) Le cas p ~ 2 . On a

[g?p(V') - Cfp(V), v'-v ] I, p~ N =

W- (IR), wI'P(IR N)

(2.4) = I dl( 1grad v'IP-2 grad v'- 1grad vlP-2gradv,grad v'-gradv)

IR N

+j' do(Iv'lP-2v ' _ IvlP-2v)(v,_v)

IR N

En majorant le premier membre par le produit des normes duaIes et en mino -

r a n t Ie s e c o n d m e m b r e a v e c ( 1 . 1 ) et (2.2) iIvient

II@(v') - ~p(v)llW_l,p~(iRN ) IIv'-VIlwl,P(IRN )

(2.5)
>-c2I Igrad(v'-v)l p+lv'-vl p >_c3(llv'-Vl/wl,P(iRN)) p
IR N

d'oh (2.1) .

2 2-p
c) Le cas
p ~ 2 . Enutilisant l'infgalit6 de H~Ider avec -- = i + on

P P
d6duit de (2.2) que, pour tout t, t' 6 LP(IR N ) N ,
 212

2
(£ It'-tiP ) p ~
1RN
2-p

(£ N(It'IP-2 t'-ItlP-2t,t'-t)) ( 2 N It'l p + Itl p ) 'P

IR IR

ce qui p e r m e t de m i n o r e r le s e c o n d membre de (2.4) par

2 2
c2 ((flRNIgrad(v'-v)lP)P+ (~IRNIv'-vlp )p )
2-p
M
c3
( IIv'-VlIwI'P(IRN ) )2
2-p
M
d'oh (2.1) .

3. Ddmonstration du thdor~me 2.1 .

a) Rappel .

Etant d o n n 6 e u n e fonction v sur IR N o n note Vh, i o 6 h E IR et

i = I...N ses translat6es d6finies p a r Vh,i(x) = v(x I .... , xi+h ,..., x N ) .

On 6tend p a r dualit6 cette d6finition a u x distributions sur IR N

On a pour ba entier et 1 < r < ~ ( r < = si ba < 0 )

(3.1) Wta+2' r(IR N) = {vEWta'r(IRN) lh>0

Sup h2 llVh,i_ VlIw~,r(IRN) < =, i= 1. . . N }

et d ' a p r ~ s Lions-Peetre [2], p o u r O< s < 1

(3.2) B~+s'r(IRN)={vEw~'r(1RN) I Sup h~llVh,i-Vllwla, <=,i=2...N}

= h> 0 r(IRN)
 213

b) On peut supposer d o .
En effet il r@sulte de (1.2) que

- div ( d I I g r a d u I p - 2 g r a d u ) + l u l P - 2 u = f l

oN f l = f+ ( i - d o ) l u l P - 2 u qui appartient comme f h LP*(IR N)

c) Une majoration pour p > 2 ( d o =- 1) .

En translatant l'fiquation ( 1.2 ) il vient

- div ((dl)h, i Igraduh, il p-2 graduh, i) + lUh,ilP-2uh,i = fh,i

d'oh

Cgp(Uh, i) = - div ( d l l g r a d Uh, i I p-2 grad Uh, i ) + lUh,i I p-2 Uh, i

= - div ((d I - ( d l ) h , i) I grad Uh, i I p-2 grad Uh, i ) + fh,i

et avec ( 1 . 2 ) ,
arp(Uh,i ) -6~p(U) = ( f h , i - f ? + d i v ( ( ( d l ) h , i - dl ) I g r a d u h , i l p-2 g r a d u h , i )
donc

II~p(Uh,i ) - ffp(U)IIW_I,P.(IRN )

(3.3) ilfh,i_fllw_ 1,P.(IRN)+ ii((dl)h,i_dl) i graduh,il p-2 graduh,illLP.(iRN)N

<llfh,i -f llW-I,P*(IRN ) + Cl ll(dl)h, i - d 1 IIL=(IRN )

= )p-1
o~ cI ( Ilgraduh,i IILP(1RN)N = (11 g r a d u IILP(IRN)N)P-1

Le lemme 2.1 montre alors que

1
p-i
( 3 . 4 ) Iluh,i-Ullwl,P(iRN ) < c2( llfh,i- fllw_l,P*(iRN)+ll(di)h,i-dl/IL=(iRN )) •
 214

d) R 6 g u l a r i t d de u p o u r p > 2 .

L'hypoth6se (1.3) e n t r a ~ n e , d ' a p r 6 s l a c a r a c t 6 r i s a t i o n (3.1) ,

(3.5) Sup 1 i/fh,i _f}}w_I,P~(IRN < ~ , supl ii(dl)h,i_dll]L~(iRN)< =

h>O h ) h>O h

et l a m a j o r a t i o n (3.g) donne

Sup 1 IlUh, i
h>o 1/(p-l) -'~llwl,p(n~N ) < =
h

i.e. d'apr&s (3.2) , u E BI +l/(p-1)' p (IR N )

e) Le c a s p < 2 .

L e Iemme 2 . 1 d o n n e a l o r s d ' a p r ~ s (3.3) ,

(3.6) !{uh,i-u IIw 1, P(m N ) c 2 M2-P(llfa,i-fll w- 1,y~(mN)* II(al)h,i-%}le-<mN))

off M = hS~p , et i l r 6 s u l t e de ( 3 . 5 )
a O lluh, i IIwl 'P(IR N) =/I ~// w I , P ( I R N )
que

Sup ! II%,i u Ilwl,p(

h~O h 1R N)
<

i.e. d'apr&s (3.1) , u ~ w2'P(1R N) .

REMARQUE 3.1. L e cas o~i d o n'est pas strictement positif .

P o u r qu'il existe u n e solution unique de ( 1 . 2 ) o n a s u p p o s 6 cf.

(1.1) ,

infess d (x) > 0

x£IR N o
Si cette h y p o t h @ s e n'est pas v6rifi~e, la d e m o n s t r a t i o n ci-dessus

m o n t r e que toute solution u de (i. 2) vdrifie le t h 6 o r ~ m e i. 1 .

 215

. R@gularit@ intermfidiaire .

THEOREME 4.1. On s u p p o s e que

d l E B s ' ~ ( I R N) et f E B - I + s ' P ~ ( I R N ) oh O < s < 1 et l < - q <-=

q -- q --

A l o r s l a s o h t i o n de ( 1 . 2 ) vfirifie

S
I+ ,p
p-I
Bq(p_l) (1RN) quand p ~ 2 ,
uE

BI+s'P(IR N) quand p ~ 2 .
q

On p e u t , comme ~ l a r e m a r q u e 1 . 2 en d 6 d u i r e des r 6 s u l t a t s dans l e s espaces

de S o b o l e v .

D @ m o n s tr ation .

O n se f a m i n e au cas d =- 1 c o m m e au t h @ o r ~ m e i.I .
o

Quand q = ~ le t h @ o r @ m e ~. 1 r@sulte trivialement de la m a j o r a t i o n

(3.4) ou ( 3 . 6 ) seWnlavaleur de p , et de la caract6risation (3.2) .

Quand q < = o n a d'apr~s Lions-Peetre [ i] ,

(4.1) B ~+sq , r ( I R N ) = (vEw~'r(IRN) 1I ( - ~1 l l V h , i - v l l

)qah < @
w ~ ' r (IR N ) h
0

et le th~or~me 4 . 1 r ~ s u l t e donc t r i v i a l e m e n t de ( 3 . 4 ) ou ( 3 . 6 ) .

5. Optimalit ~ .

On s u p p o s e d a n s ce p a r a g r a p h e que do = d I m 1 .

O n m o n t r e q u e " l'ordre de d~rivabilit5 " de u obtenu au th~or~ -

me i.I 1 + ~
i quand p ~ 2 , 2 quand p ~ 2
) est optimal quel q u e soit l'or-
 216

dre d'int6gration .

THEOREME 5.1. P o u r t o u t c > 0 i l e x i s t e f t e l que

(5.1) fE Lr(IR N) pourtout r , 1< r~=

p o u r lequel , p o u r tout r I , i < r I < = , la solution de (3) v6rifie

1
1 + + ¢,r 1
p-i
u ~ W (IR N ) quand p> 2 ,

(5.2)
2+e r
u ~ W ' 1 (IRN) quand p ~ 2

D6monstration .

a) P r o p r i 6 t 6 liminaire . Etant d o n n 6 s s m 0 , 1 < r ~ =o et

C= ~x I 2~ Ix I < 3 et 0 < x i < l p o u r i~ 2 } , on a

N

(5.3) g E Ws'r(2.3) si et seulement si I x - - > g ( Ix I ) } E W s ' r ( ' c ) .

E n effet g r a c e au C ¢° - d i f f d o m o r p h i s m e de C sur D = ] 2 , 3 [ x ] 0 , 1 I N - 1 d6fini

par

Yl = Ixl ' Yi = N x i pour i m 2

o n se f a m i n e

(5.4) gE Ws'r(2.3) s i e t seulement si [y-->g(yl )} E W s ' r ( D ) ,

propri~t6 qui est triviale q u a n d s est entier, et qui s'obtient p a r interpola -

tion q u a n d s n'est pas entier .

b) Construction de u et f q u a n d p > 2 . On a 1 ~ 1 d o n c d'apr~s S i m o n

p-i
[3] § 4 , 6tant d o n n 6 ¢ > 0 , il existe u n e fonction w telle q u e
 217

wE WI'~(2,3) ,

(5.5) l_!__ 1 - -1+ ¢ , 1

I~IP -I ~¢w p-I (2,3) .
N

On i n t r o d u i t u n p r o l o n g e m e n t w de w tel que

E WI'~(O,~) ,

~(t)=0 st t ~ l ousi t~4 ,

(5.6)
1
4 ---i
j' I ~(¢)I p-i ~ ( ~ ) de = 0 .
0

On d~finit alors u par

- -1- 1
;(~) d¢ .
o

Notons que
~lxl _ xi
(5.7)
~ ×i I xt

Z ~ xi Z ( 1 xi xi ) N-I
(5.8)
1:1...N Ixl Ix12 I$I Ixl

On a donc

1
X.
(5.9) I;(Ixl)l p-1 w(ixl)
~×i Ix I
d'ofi

p-2 p-2 i_ 1
( E I a~ (x) 12) 2 = lw(ixl)ip-i lw(ixl)l p- 1
]=I...N axj

et
 218

p-2
Z ~ ~u 2 Bu) (x)+ lu(x)l p-2 u (x)
f(x)= _i=l...NTxi((J=l~.NTx j 2) Bxi

(5.10) i = l . . . N ~x i ]-~ ) + l u ( x ) I P - 2 u ( x )

(ixl) N1 ;( ixi)+ lu( )lp 2u( )

at Ixl

c) Proprift6s de u et f q u a n d p ~ 2 . Les propri6tds (5.3) , (5.5) et

(5.6) entra{nent , d'apr~s (5.9) et ( 5 . 1 0 ) ,

1
B__~u E L=(1R N ) , B___~u ~ w P - 1 (1t{ N )
i Bx i Bx 1 -- +¢,i

If E L~(IR N )

Comme u et f sont & support compact ii en r@sulte que u E w I ' P ( I R N ) ,donc

que ( 1 . 2 ) est v~rifi6, etque (5.1) et ( 5 . 2 ) sont v6rifi6s .

d) Le c a s p-< 2 . On a --1 ~ 1 donc , d'apr~s S i m o n [ 3 ] § £ , on peut

p-1

i/(p-l)- i WI+¢, I
supposer icique lwl w ~ (2,3) . Avec (5.3) cela entra~ne,

d'apr~s (5.8) , que ~u/~x I ~ W I+¢'I (IR N ) d'ofi (5.2) puisque u est & sup-

port compact .

6. Seuil de rdgularit6 .

O n suppose dans ce paragraphe que dI m i et do ~ 0

O n montre que quand f e s t tr~s r@gulier , u ne l'est pas n6cessairement .

 219

THEOREME 6.1 . On suppose i

non entier . I1 e x i s t e f tel que
p-i

(6.1) fE C=(IR N ) et support de f est compact

pour lequel (1.2) admet une solution u vfrifiant pour tout c > 0 et tout r

l ~ r ~ ,

1+1 + - -1+ ¢~r

(6.2) u ~ W p- 1 r (1RN)

REMARQ13E 6.1 . L'ordre maximum de " dfrivabilit6 " de u est donc 2+ 1

p-1
On avu ala remarque 3.1que le thfor6me 1.lest v6rtfi6 quand do = 0 ,donc

que sous l'hypoth6se (1.3) toute sohtion u de (1.2) est d6rivable d' ordre

1
1+ - - quand pa 2 et d'ordre 2 quand p~ 2 .
p-1
II s e r a i t int6ressant de savoir si avec des hypoth6ses plus fortes

on peut atteindre un ordre de d6rivabilit6 compris entre 1 + 1 ( ou 2 si

p< 2) et 2+ 1 p-1
p-1

D 6 m o n s t r a t i o n du t h 6 o r 6 m e 6. i .

a) Construction de u et f . On se donne une fonction w v6rifiant

1+ 1

2-Itl p-1 si Itl < 1 ,

(6.3) w(t)= exp ( , ) st 2~lt I ~ 3 ,

3-1tl
0 si ltl >-3 ,

(6.4) wE C=(J) et Inf I d--w(t) l > 0 , oh J= ( t I 1 < ltl <__5 }

t E J dt 2 2

On pose
 220

(6.5)

D'apr~s (5.7) on a
X.
(6.6)
~x i dt Ixl

donc p-2
<< 2) 2 ~u)~x)=v(L~I) '
X.

j=I...N ~×i I xl

oh

(6.7) v(t) = I dw ( t - g ) Ip-2 dw ( t - g ) ,

dt dt

et , avec (5.7) et ( 5 . 8 ) , i l vient

p-2
I~u 12) 2 3___uu ) (x)
f(x)= - 1 < N( (
i. . . . j=l... N bxj Bx i

dv xi ) 2 ( xi
(6.8)
~=1~....< 71 (I~) (7~ +v(~x~) ~x, 77 ))
dv ( ixl ) N-1 v(Ixl)
dt IXl

b) Propri6t6s de u e t f . On a

1
_(1+ 1____ (sgnt) tl p - 1 si Itl ~ 1 ,
p-1

d._~w( t ) = sgn t [ i
exp ~ -
N
si 2~}t1~3 ,
dt 2 3-1tl
(3- Itl )

0 st It} > 3 ,
 221

ob s g n t e s t le s i g n e de t . A v e c ( 6 . 4 ) celamontre , d'apr~s (6.6) , que

? u / B x i E L ~(1R N ) et comme u e s t & s u p p o r t c o m p a c t i l en r6suIte que

u E wI'P(IR N) d o n c que ( 1 . 2 ) estv4rifi4 .

On a de p I u s

-(1+ 1 )P-1 t si Itl < 1 ,

p-1

( idw ip-2dw) (t) = sgnt exp( p-1 ) si 2 ~ 1 t 1 ~ 3 ,

dt dt (3-1tl)2p-2 3 - I tl

0 si Itl >-3

Avec (6.4) ilenr4sulte que Id--~-wI p - 2 d--WE C ~ ( 1 R ) et f , qui e s t donndpar

dt dt

( 6 . 8 ) et ( 6 . 7 ) v4rifie

fE C~(]R N ) et le support de f e s t compact .

1
1+
p-1 1
Enfin w e t ) = 2 - I tl st Itl < 1 aonc , dtant non en-
p-i

1 + - - +1¢ , =
tier , w ~ W p- 1 (-i,I) -(I) et d'apr&s le th6or&me de Sobolev -
-

i+ l +l+~r
cf. Sobolev [1]- w~ W p- 1 r (-i,i) . L a propri~t~ (5.3) relative

(I) P o u r s non entier de pattie enti~re E ( s ) , wS,CO (-i,i) est l'ensem -

ble des fonctions dont la d~riv~e d'ordre E (s) est H'61d~rienne d'ordre s-E(s)

sur ( - I , i ) .
 222

au s e g m e n t ] 3 , 5 [ (au lieu de ]2,3[ ) montre que u , qui est donnfi par (6.5),

v~rifie
1 1
1+ +--+e~r
u~ w p-i r (jpN)

7. Un autre r~sultat de r~gularitfi quand p > 2 .

On s u p p o s e d a n s c e p a r a g r a p h e que do = d I m 1 .

THEOREME 7.1. On s u p p o s e q u e p > 2 et que

(7.1) f E W I'p (IR N )

AIors la solution de (1.2) vdrifie

1+ 2
(7.2) u E B P ' (IR N )

REMARQUE 7.1 . L ' o r d r e de d 4 r i v a b i l i t d 1 + 2 obtenu iciest compris entre

p~ P
1 + 1 = 1+-- obtenu au th4oreme 1.let l'ordre maximum 1 + 1 +1
p-1 p p-1 p

1 + pe+ 1 m i s e n d v i d e n c e au t h d o r e m e 6.1 pour l'ordre d'intdgration p .

P

D f i m o n s t r a t i o n du t h ~ o r & m e 7 • 1 .

a) Une proprifitfi de ~p . Reprenons l'figalitd (2.4) . Quand C?p(V)etdp(V')

appartiennent & LP~(IR N ) on a

v'-v ] = I N (ap(v') - C~p(V))(v,_v)

(7.8) f [Gp(V') - ~p(V), IR

ll~p(V') - ~p(V)II L P e ( I R N ) I l v ' - v l l L P ( i R N )

el en minorant le second m e m b r e avec ( I . i ) el ( 2 . 2 ) c o m m e dans (2.5) il

 223

vient 1

l l v ' - V l l w l , P ( I R N ) < c ( l l % ( v ' ) -~7p(V)IILP~(IRN ) IIv'-vllLP(iRN ) ) P

b) R 6 g u l a r i t 6 de u . Comme d o = d 1 =- 1 , en t r a n s l a t a n t l ' 6 q u a t i o n ( 1 . 2 )

il vient 4Zp(Uh,i) = fh,i E LP~(IR N ) d'oh

llUh,i - u l l w l , P (IRN) ~ c ( II f h , i - fllLPe(iRN ) IlUh,i - u IILP(IR N) ) P

L'hypoth~se (7.1) et u E w I ' P ( I R N ) entra~nent , d ' a p r 6 s ( 3 . 1 ) , que

Sup l llfh,i-fllLPe(iRN < co , Sup 1 ilUh,i_UllLp <

h>O h ) h>0 h (IR N )

donc

Sup 1
IlUh,i - u 11W 1, P ( 1RN )
h>0 2/ p
h

ce qui , d'apr~s (3.2) , 6tablit ( 7 . 2 ) .

8. R 6 g u l a r i t 6 des p u i s s a n c e s du g r a d i e n t .

Certaines grandeurs physiques associ6es & l'6quation (1) sontdes

p u i s s a n c e s du g r a d i e n t de u : d ' a p r ~ s P e l f s s i e r - R e y n a u d [ 1] le champ de

c o n t r a i n t e T dans un g l a c i e r e s t a s s o c i 6 5_ la v i t e s s e l i n 6 a i r e u p a r

T: ( Lgrad I 3)P2 gradu

T H E O R E M E 8.1 . On s u p p o s e que ( 1.3 ) e s t v6rifi6 .

i) Le cas p> 2 . On a
 224

P P
2(p-l) ~ (IRN) N si a ~ --P
6-1
(8.1) Igradu I gradu P
B p-1 ~ (IRN) N si 0<~ p
-- 2

ii) Le cas p ~ 2 . On a

1 , _p
W ~ (IRN)N si ct> p
-- 2

(8.2) Igradul~-Igradu E
2c~ p
Bp ~ (IRN) N si 0 < ( ~ < p
-- 2

Notons qu'on retrouve les r@sultats du th@or&me I.i en prenant c~ = 1 .

D~monstration du th~or~me 8. i .

a) Le cas ct = p . O n d~montre de fagon analogue & (2.2) qu'il existe des

2
constantes c > 0 et c' telles que , pour tout t , t' E IR N ,

P -1 --P - 1
(}t'IP-2t'-ItlP-2t,t'-t} m c I It'l 2 t'-Itl 2 t I2

--P-I --P -I 2
c' I It'l 2 t'-Itl 2 t l~ si p> 2 ,

It'-t I <
P -i --P -i 2-p
c, I it,12 t,_itl2 tl (it,l +itl ) 2 si p< 2

On d&duit de fagon analogue au lemme 2.1 que I' application ~p(U)-->

P-I
2 grad u est h~Id~rienne des b o m b s de W -I'p (IR N) dans L2(IRN) N
I grad u I
 225

d'ordre P quand p> 2 et d'ordre i quand p~ 2 .

2(p-l)
On 4tablit a l o r s ( 8 . 1 ) et ( 8 . 2 ) p a r une d e m o n s t r a t i o n analogue & celle du

thdor~me i. I .

P-1
b) Le cas gdndral . L ' a p p l i c a t i o n Ivl 2
v - - > Ivl ~ - 1 v e s t h5ld4rienne
P
s u r I e s b o r n d s de L2(1RN) N dans L~(IR N )N , d ' o r d r e 1 quand c~ > p et
2
d ' o r d r e 2-c~ quand ct < p
. . . . . . . ,

p 2

D ' a p r ~ s les c a r a c t d r i s a t i o n s (3.1) et ( 3 . 2 ) les r d s u l t a t s (8.1)e

(8.2) r e l a t i f s & a = --P entra{nent donc les r d s u l t a t s p o u r tout a .

2

O n obtient de m ~ m e des r~sultats analogues ~ c e u x du t h d o r ~ m e 7. I :

THEOREME 8 . 2 . O n s u p p o s e que p> 2 , do = d I 1 et que ( 7 . 1 ) e s t v ~ r i -

fig . O n a

W c~ (1RN)N si a> p
-- 2

I g r a d ul ~ - I g r a d u E f 1, E
~____, _P
B7 c~ (IR N )N si ~ < P
-- 2
 226

REFERENCES

EL KOLLI A. [i] , Rdgularit~ de la solution et majoration de l'erreur d'ap -

proximation ...,

C.R. A c a d . Sci., Paris, 273 ( 1 9 7 3 ) 735-737 •

GLOWINSKI R. & MARROCCO A. [ i] , S u r l'approximation , par ~l~ments

finis d'ordre un ~ et la r~solution ...,

Revue Fran~aise d'Automatique , Informatique et R e c h . Op~ration-

helle , (Aout 1975) R.2 , 41-76 .

LIONS J.L. [ I] , Quelques mdthodes de r~solution des p r o b l ~ m e s aux limites

non lindaires , Paris , Dunod (1968) .

LIONS J.L. & M A G E N E S E. [i] , P r o b l e m i al contorno non o m o g e n e i (111) ,

Ann. Scuola N o r m . Sup., Pisa, vol. 15 ( 1 9 6 1 ) 39-101 .

LIONS J.L. & P E E T R E J. [I] , S u r une classe d'espaces d'interpolation ,

Inst. H a u t e s Etudes , Paris , n o 19 ( 1 9 6 4 ) 5-68 .

NIRENBERG L. [ i] , R e m a r k s on strongly e11iptic partial differential equations,

Comm. P u r e Appl. M a t h . , vol.8 ( 1955 ) 6 4 8 - 6 7 4 .

PEETRE ]. [ i] , Nouvelles propri6t6s d'espaces d'interpolation ,

C.R. Acad. Sci., Paris , 256(1963) 54-55 •

PELISSIER M.C. E i] , S u r quelques p r o b l ~ m e s non lin~aires en glaciologie ,

Th~se , Publications M a t h ~ m a t i q u e s d ' O r s a y n ° ii0 ( 1975 ) .

PELISSIER M.C. & REYNAUD L. [i] , Etude d ' u n m o d ~ l e math~matiqne d'~cou-

lement de glaciers , C . R . A c a d . Sci.,Paris, 279 ( 1 9 7 4 ) 531-534.

SIMON ]. [ I] , R~gularit~ de solutions de p r o b l ~ m e s non lindaires ,

C.R. Acad. Sci., Paris, 282(1976) 1351-1354.

 227

[2] , R6gularit6 de la solution d'un p r o b l ~ m e au× limites non lin6aires ,

Publications du L . A . 189, Universit6 P. et M . Curie , Paris (1976)

[3] , R6gularit6 de la c o m p o s 6 e de deux fonctions et applications ,

Publications du L . A . 189 , Universit6 P. et M . Curie , Paris (1976)

SOBOLEV S .I. [ i] , Applications de l'Analyse fonctionnelle aux 6quations de

la physique m a t h 6 m a t i q u e , L d n i n g r a d ( 1950 ) .