Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Springer.com
CENTRO IfJTER!~JAZIONALE PIATEMATICO CSTIVO
- S. ALBERTONI -
1JEUTRONI"
- S , Albertoni -
PARTE la - Teoria s t a z i o n a r i a a multif!ruppi, (I,?)
5 1 - F,lotazioni e Problemi
Sia ncRn un aperto l i m i t a t o e xr ( x l , x 2 , . .xn) t R . . FIel
seguito considereremo g l i s p a z i ~ ' ( 0 1 , H~ (Dl, H A ( R ) , e sa g &
i n t e r 0 >o, ( L ~ ) , ( ) ~ , ( saranno
) i g - prodotti diretti
d i L 2 , H I , Hi.
Volendo considerare principalmente problemi d i "trasmissione"
r
supporremo = U
1
",
e s i a n o t = 30, r i = a n 1
. rispettivanente
l e frontiere d i R , ni: yrs - a n r n ans sono l e " i n t e r f a c c e " , e
cio& l e p a r t i d i frontiers conuni a ?r,zs,
I n f i n e vr s i a l a normale, d i r e t
t a verso l ' e s t e r n o , d i aQr. Pre
messo c i b supponiamo assegnate
l e funzioni r e a l i : D~ ( x l , tli(x),
?q
ci(x) c o ~~(x),fl(xl.(~,q=
.
= 1 , 2 , . , n ; i = 1 , 2 , , , ,g)
I problemi da r i s o l v e r e sono due,
e cio8:
Problema A - Trovare l a soluzione ~ ( x d) e l sistema:
soddisfacente a u[, = 0, e a l l e condizioni d i "trasrnissioneu
-
Osservazione I1 E ' u t i l e per il s e g u i t o dare pi2 e s p l i c i t a m e ~
t e l a s t r u t t u r a formale d e l sistema (1):
Ipotesi sul problema A:
-
Problema B Trovare il massimo autovalore >o, lo, e la corri-
spondente autosoluzione positiva l+,(x)>o, per il Problema A omo-
geneo, e cioB per fl=o e ulr=o; tal caso fisicamente corrispon-
de ad una ripartizione di neutroni autosostenentesi (reattore
critic01 .
ove :
Osservazione -
Questo fatto di Q'CQ non ci permette (bench?
plausibile) di concLudere che G' t L' (QxQ) (e i suoi iterati).
Allbra sfruttando il fatto che per l'operatore L si pos-
sono (vedi (6)) fare dei ragionamenti per singole equazioni (ez
sendo queste disaccopiabili) si pu6 costruire subito una matrice
"fornale" d i Green di elenenti ti;:
(O) Si osservi che Habetler e Martino (8) gii nel 1958 avevano
considerato il Problema B assumendo perb formalmente l'esisteq
za della funzione di Green.
Ad esempio:
se i Gi fossero t L'(QXR),
-
Si verifica poi subito che ~ - ~ z 1{ t2 ~tale
~ ) che
e ~( H : ) ~ ,
L-~LUEU, 5 ~la~matrice
e pertanto L - ~ I { ~ } di Green del
problema Lu = 4 .
-
Osservazione Per le ipotesi di positivits fatte sulle ci l'opee
tore L-' lascia invariato il cono, in (L*)~,dei vettori >o, come
pure, per le ipotesi sulle B ~ l'operatore
, L-~B. (compatto in
(L2)E).
Ne consegue subito, per noti risultati di Krein-Rutman, (l),
che esiste un autovalore massimo (dominante e semplice) X o del
roue
problena, . . = L - ~ B ~positivo
, e maggiore del valore assoluto
di ogni aitro autovalore, a1 quale corrisponde un'autosoluzione
uo pure >o in Q.
converge:
Per avere una determinazione i t e r a t i v a d i X o basta a p p l i c a r e t a l e
Teorema n e l 7ostr0 caso K=B, H=L, X ; ( L ~ ) ~ .
S i o s s e r v i ora che il calcolo d e l l ' i t e r a z i o n e m + l
s i deve r i s o l v e r e un'equazione d e l t i p o :
'L
essendo f i nota d a l l a precedente i t e r a z i o n e .
Ne consegue che adattando questo metodo s i ha un c i c l o doppiamente
iterative-variazionale per trovare uo, X o .
Evidentemente l a u ) 9 i pus e s s e r e t r o v a t a anche c o l meto-
do d e l l e d i f f e r e n z e f i n i t e , e appunto s i sono f a t t e d e l l e espe-
r i e n z e numeriche comparative a 1 riguardo.
5 4 - Esperienze numeriche
a ) Risoluzione d e l Problema ( 1 5 ) a t t r a v e r s o il metodo d i Riesz.
Se s i assune una'lbase" f i n i t a F v ( x ) ; v = 1 , 2 , . . . M, e s e s i rappre-
i cone
M
sentano l e ( = i a F
1
, l e condizioni d i ninino per
il funzionale (15) diventano:
i = 1 , 2 , ...g
- a= oI
aa.
;
1,v v = 1,2,.,.M
Queste c i danno un sistema algebrico l i n e a r e d e l t i p o ( p e r ogni i ) :
R ia (m+l),i-B(ra),i
- ...* aN(m+ 1 1 ,i ; (i=1,2,...~)
X o (con d i f f e r e n z e f i n i t e ) = Xdf
1 (con il n o s t r o metodo) = X N
0
Ecco una t a b e l l a r i f e r e n t e s i a i v a r i c a s i :
L'errore % 2 a 1 pih a t t o r n o a110
0,1%. Circa l'andamento d e l l e
s o l u z i o n i u l , u2 n e i c a s i s p e r i -
rnentati s i ha un accord0 d e l no-
s t r o metodo con q u e l l o a l l e d i f -
ferenze f i n i t e s i n o a '3 c i f r e s i
gnif i c a t i v e n e l l e zone c e n t r a l i ,
e uno meno buono (2 c i f r e ) n e l l e
a l t r e zone.
Caso bidimensionale -
R i s u l t a t i analoghi a i precedenti, perch2 l ' e y
r o r e 5 (!I eguale s i a FET l ' a s s e xl che per l ' a s s e x 2 ) n e i n o s t r i
e s p e r i n e n t i non ha n a i superato l o 0,38. (Fv sono p r o d o t t i d i auto-
soluzione d e l l f o p e r a t o r e precedente).
Risultati
a ) NZ = M = 1, I1 = 3 e cio2 N t o t a l e abbastanza piccolo
Y X
()I=FJ t1 N 1: con 6 i t e r a z i o n i (30'' IB?? 7090) A H approssima X
X Y Z df
e n t r o il 3,3%.
b ) aurnentando II da 3 a 10 l ' e b s i r i d u c e a 1 3 4 (1'47" d i rnacchi
Y
na),
In generale X = XI,[ 6 d i t i p o monotono (crescente i n N) e i n 15 it: ,
r a z i o n i a 1 p i h , n e i c a s i c o n s i d e r a t i , s i ha l ' a u t o v a l o r e can l a ap-
prossimazione c e r c a t a (1%) mentre 6 ben noto che con il netodo del-
l e d i f f e r e n z e f i n i t e il nunero d e l l e i t e r a z i o n i s a l e , i n genere, a l
meno a c i r c a 50460.
u l ,u2 ( s u l l e r e t t e y=6, Z=8 i n f i g u r a l sono i n buon accord0 con i
valori ottenuti a differenze f i n i t e ,
tranne n e l l e i n t e r f a c c e ove l o scar-
t o 4 ?. 2 , 3 % ,
essendo assegnate:
1) i coefficienti (funzioni nisurabili e limitate essenzialmente
>O) e le funzioni di "sorgente" f1,2,3 '
2) le condizioni (Dirichlet) per le ul, uz a1 contorno ~QxJo,TL ,
O<t<T, ncR, ,
3) le condizioni di "trasmissione" relative ad u l , u2 rispetto
una interfaccia y (una sola per semplicita) che rappresenta
la frontiera comune a due subregioni nl,n2
E identiti in R N
1
essendo:
L1 + DIA una matrice pentadiagonale NXN ,
L2 + D2A una matrice pentadiagonale NXN ,
All + all una matrice diagonale NXN a c o e f f i c i e n t i >o ,
A12 + a12 una matrice diagonale NXN a c o e f f i c i e n t i > o ,
A2] + a 2 ~ una matrice diagonale NXN a c o e f f i c i e n t i >o ,
A22+ a22 una matrice diagonale NXN a c o e f f i c i e n t i >o ,
H + h una matrice tIIXN a c o e f f i c i e n t i >o ,
El + X una matrice NX?I1 a c o e f f i c i e n t i >o .
Osservazione I -
Lo s t u d i o d e l problerna d i s c r e t o ( 2 ) $ egualmente
n o l t o importante i n a n a l i s i numerica, perch$, a d i f f e r e n z a d i
quanto accade n e i c a s i p a r a b o l i c i , c ~ n c e r n e n t ii n generale p i c o
meno l a d i f f u s i o n e d e l c a l o r e , l a matrice pub avere a u t o v a l o r i > O ,
il che cornporta a v o l t e una crescenza n o l t o r a p i d a d i $ cosa sem-
pre d e l i c a t a da con-:rollare d a l punto d i v i s t a numerico,
Inoltre l e v ( i n generale c o s t a n t i ) sono 5 l o 6 , mentre
192
g l i a l t r i c o e f f i c i e n t i sono 2 1 , e p e r t a n t o d a l punto d i v i s t a
numerico s i incontrano d i f f i c o l t a s i m i l i a q u e l l e che s i hanno
n e i prohlemi d i "boundary layer" connessi con equazioni d i f f e r e n -
z i a l i contenenti p i c c o l i parametri n e l l e d e r i v a t e p i h a l t e ,
Usando schemi i m p l i c i t i ( p e r r a g i o n i d i s t a b i l i t s ) s i generano
da ( 2 ) "grossi" s i s t e m i l i n e a r i per i q u a l i occorrono netodi it:
r a t i v i l a cui convergenza, che e r a da indagare, B s t a t a v e r i f i c z
t a i n , (3)
5 2 - Proprieth del sistema (2).
In ( 3 ) sono s t a t i o t t e n u t i i seguenti r i s u l t a t i :
1) Q 5 irriducibile;
2) Q 6 essenzialmente >o;
3) Q possiede un autovalore wo>-A cui corrisponde un autovettore
v>o, t a l e che se ai 5 un qualsiasi a l t r o autovalore 8:
R a.<w
1 0;
4) d a l l e 11, 2 ) 31, seguendo Birhoff-Varga (7), s i dimostra (t-1:
((t)= K eYoiv + 0 (ept) con R a i < v < u 0
(K dipende da 4 ( 0 ) ) ;
5) l e matrici d i Jacobi e d i Gauss-Seidel associate a l l a matrice
aI-Q sono convergenti per a>w
0'
5 3 - Metodi d i risoluzione d i ( 2 1 ,
a ) Metodo Esplicito: + ( t )= (I+At Q ) ((t-At). Tale metodo 8 s t a t o
s c a r t a t o nei n o s t r i c a s i perch8 ha una soglia d i s t a b i l i t a t r o ~
po bassa (At troppo piccolo).
-
Osservazione Quando s i ha un "transiente" molto rapido s i 6 tro-
vat0 che anche il metodo implicit0 (e pure q u e l l i d i Crank-Flicolson
e s i Saulyev ( 4 ) r i s u l t a n o molto imprecisi, Pertanto s i pone il
problema d i trovare qualche metodo meno imprecise. La valutazio-
ne ( 4 ) ha f o r n i t o l ' i d e a base per il seguente metodo che chiame-
reno metodo U.
Nel netodo w s t ; pensato d i esprimere l a soluzione n e l l a forma:
Allora l a ( 2 ) s i trasforrna i n :
(7 1 a a)
Al. ax (D ax + ib
aY
-
A2= a (D -1
a
aY
+ ;b
-
Osservazione Un primo vantaggio del metodo k che abbiamo ora a
che fare con matrici tridiagonali (invece di pentadiagonali) in-
vertibili anche con metodi diretti.
L1w0 c a l c o l a t o come i n d i c a t o a l l a f i n e d e l § 3 r i s u l t a oo = 63,69,
mentre il valore e s a t t o B 63,21, (Le d i f f e r e n z e f i n i t e sovrastima-
no l ' a u t o v a l o r e e , a n o s t r a conoscenza, c i sono r i s u l t a t i t e o r i c i
per questa stima s o l o n e l caso d i c o e f f i c i e n t i c o n t i n u i i n T I ,
I r i s u l t a t i numerici sono r i p o r t a t i i n t a b e l l a dove ;; & il valore
nedio su 0 d e l l a soluzione e s a t t a , h l a soluzione approssima-
t a o t t e n u t a con l a trasformazione w ed il metodo d i Marchuck, 3,
D
l'analoga soluzione senza trasformazione w , u quello o t t e n u t o
I Mu
con il metodo i m p l i c i t o che f a seguito a l l a trasformazione w , me5
tre la cIM 6 q u e l l a che s i r i f e r i s c e a 1 metodo i m p l i c i t o d i r e t t o .
Come s i vede i n ogni caso l a trasforrnazione w , conunque s i a asso-
c i a t a ad a l t r e tecniche, d2 i r i s u l t a t i m i g l i o r i , ed il metodo d e i
p a s s i f r a z i o n a r i s i B r i v e l a t o superiore, n e i c a s i f a t t i , a 1 meto-
do i m p l i c i t o .
t S o l u z i o n e esatta
-u - - -
- Mu U~ U ~ ~ u U~~
Bibliograf i a
by
I. ~ a b u g k a(Praga)
part of the paper . It i s essential that the method -and in general all con-
clusion - be stable with respect to these incredulities. I think that this
stability i s one of the most important points when choosing a method in
practice.
In the next part I shall point out some aspects of these questions.
2 . T h e p r o b l e m of q u a d r a t u r e f o r m u l a s 1 )
Jo
We shall suppose that we know the following about 'the integrated
function f(x) :
') In this part we a r e not dealing with the problems of the round-off
errors.
the trapezoid formula ; we may ask e. g. why the Simpson-formula isn't
better than the formula previously mentioned. Some arguments for choosing the
trapezoid formula (in this case of integration of a periodic function) a r e
included in some papers, e. g. Milne (25) , Davis (18) and others.
The e r r o r bounds for the trapezoid formula a r e studied in many
papers. See (4) (5), (21), (24)/ and others. We will now analyse the pro-
F
blem of the choice of the quadrature formula according to the information
we mentioned previously. In our considerations we shall confine the class of
possible formulae to the linear one,
The choice of the quadrature formula means, in our case, to determi-
ne of the sequence of linear functionals I in the form
n
with the requirement that Jn(f) + J(f) (weak) for all functions f(x)
of the given class of functions.
We shall measure the amount of work in using a formula by the num-
ber of evaluations of the integrated function.
Let us now assume that B is a Banach space. Then we can de-
fine
and
1) e
ikx
eH, k = ..., - 1, 0, 1, ... and IIe
ikx
(IH= -ikx
Oe
\IH .
5) If ( jl & ( k l , then ~ ( e ~ ~ ~H ~ ~ l ~ e ~ ~ ~ l l
for O606d2
and D does not depend on n.
At t h e beginning of t h i s section it w a s s a i d that f(x) i s a perio-
dic function. It i s obvious that t h i s information is insufficient. However,
I think it is convenient t o a s s u m e that the function f(x) i s a n element
of a periodic o r strongly periodic s p a c e H .
It is evident that now too we have a l a r g e incredulity a s
r e g a r d s the concrete selection of the s p a c e H. The importance of this in-
credulity is well seen i n t h e next t h e o r e m and example.
Theorem 2.1 Let H be a strongly periodic s p a c e with the n o r m
20
2
(2.9) \I~I\'- JY-l2
+ A \fl\ dx, A > 0.
where
i s equal to Q
2
(n, H) .
The t h e o r e m 2..1 affirms that the f o r m u l a (2.10) is an optimal one
if we a r e using t h e equidistant net. Now we s h a l l introduce the follo-
wing example
Wsin x
Example 2 . 1 Let f(x) = e , = 3,lO.
Then (f)=
1
1 2r
f(x) dx = 4,88079258586502208.. .
resp . 2815,71662846625447.
In Tab. 2.1 we show t h e r e s u l t obtained by the trapezoid formula
R(A' f o r A = 1 . F r o m this table we see that a n optimal formula used in a n
n
inconvenient s p a c e may give bad r e s u l t s . We s e e that the conclusion of the
convenience of the optimal formula i s v e r y llunstablell with r e s p e c t to the choi-
c e of H) . From this table we a l s o s e e that t h e trapezoid formula ( C = 1 ) gives
v e r y good r e s u l t s ; however, the following t h e o r e m is t r u e :
Theorem 2.2 F o r e v e r y periodic s p a c e H
n)
This t h e o r e m shows that the e f f i c ~ e n c yof the trapezoid formula i s
I
Nunber
O< sln x
of Tn(f) , f = e R ~ " ) (f) , f = eWsin x
points
n 0<= 3 q =1 0 ( X = 3 Cy = 1 0
n e w w (n. H) f n
Then
Numbe:. 10 s i n x
f = e
0f
'points
n Tn ( f ) Jn (f) - Tn(f) '?n (f)
8 3047,909594819624415 232, 192966353369944 232,3732719565787845
16 2815,776728966567611 0, 0601005G03131402 0,0601005003 142606
24 2815,716628979037584 0,0000005127831 140 0,0000005127831 167
32 2815,716628466254842 0, 0000000000003720 0,0000000000003743
50 s i n x
f = e
((2.20) 8'")
o, 1 (H) = max ( h (n. H), 1 J1 1 )
(n)
' 0,l
K
lim sup cfi
n
dn)
0, 1
(H)
The theorem shows that we can gain practically nothing while performing
a simultaneous computation. Theorem 2.8 i s a special c a s e of theorems
which have been proved by P. ~ f i k r y l (33) .
We analysed the c a s e if only the function values were used in com-
puting. All I said can be done if we use also the values of k deriva-
tives. Here we shall assume besides (2.7) the the following :
j=l,... , n
s=o, . . ., k
NOW I shall mention a special result of K. Segeth (see (35) ) who studied
this field of problems. One of the problems here is roughly speaking,
the following :
Is it better to use more values of a functions in the quadrature
o r i s it better to compute and use the values of the derivatives?
2
(2.23) %(n, H)=inf suplx 2 (s) (6) 29- .
a. f
s=O j = l J
(-
n
J ) -J (f)1
Let us assume that the amount of work needed for the evaluation
of f(x) i s equal to 1 and that for the derivative i s & . Then the whole
work with the use of n points will be n(l +d) . This value will be
the measure of the "work" when using the given formula with n
points .
9, (n1 H)
(2.24) S(o(, H) = lim sup
.n w y ([n (ltool , H I
gives now the required answer (relatively to the space H) .
Thus, for example, the following theorem is true :
Theorem 2.9 .Let H be a 2-strongly periodic space. ~ e t O ( & 1 .
Let ~leinxll; = g(n2) where g i s a? entire function. Then S ( Q , H)>l. If g is
not a polynomial then S ( O ( . H) = w for@ > 1 and S(1, H) = 3.
I. Babuska
Theorem 2.9 shows more o r l e s s that if the amount of work needed for the eva-
luation of derivatives i s not l e s s than that needed for the evaluation of the fun-
ction, it i s not advantegeous to use the formula with derivatives.
Previously in this section we dealt with the trapezoid formula T
n
. An ana-
logous role is played here by the formula
n n
(2.25) T(2) (f) =
n n k=l
1 Iz
f(
n
k) .+
n3
a I k=l I" (
n
9
k)
There i s also a theorem analogous to Theorem 2.9 for the use of (2.25), given
more exactly and in detail more in (25). As an illustration I shall give the fol-
lowing example: 2 11
1 sin x
Example 2 . 3 . Compute also J(f) =
2v
- f(x) dn for ffx) = e e ' ,P
= 10,50.
10 s i n x
f (x) = e f (x) = e 5 0 sin x
Amount E r r o r of t h e E r r o r of the E r r o r of the E r r o r of the
of work f o r m u l a without f o r m u l a with f o r m u l a without f o r m u l a with
derivatives derivatives derivatives dirivatlves
(T,)
n ( ~ ~) ( ~ 1 (T,) ( ~ ~ ( ~ 1 )
Table 2. 3
v
I. Babuska
(2.28) .=I
*
t-'ir
--
2
dsin x
e cos x dx, c ! = 1,5
:-
;%.
6.- -
Od'a
3 3
m1 a1 mI
P;$
w +ar- e m m
e t
;;
@a
' x g CON I 3
d dI d do- 0"
;E I I I
W w
k X
UY
X a,
a, II
"
II "
-0
a, c
o m m *
1 + +
I I
.+a-a
CONOW
M ~ C O N
l g 0-66 dddS
x
Y
5
r:
"
.r(
a,
UY
a,
II
II
W h
r- w
N
@am
. N C O * C O
-@a 1 3 3
w . I l l
e 3 O d N C -
O Z mt- . + m a d
b . oo,o (0 C\1
. . n
~ N V F :
dddb'
W
u Z a ~t - m m
-+cum
a t - * m
P I C 3 N m
E;?
2 > w
Q O r :
with the boundary conditions
P (4>#dl> qt (XI )) 0
The functions p, $ ,f have a physical meaning. Nevertheless,
we know them only approximately in practice .
Let the poss\ible disturbances (incredulities) of p , q , f be
cr,9 , respectively. F r o m the physical point of view these perturban-
c s s a r e small i n a certain sense (norm). They may also have further
properties. Such perturbances will be called admissible disturbancies. We
shall assume that small admissible disturbances result in a small change
in the solution .
It i s well known that a numerical process cannot be realized with an
absolute exactness. Every realization of a process by computation i s distur-
bed (by round-off e r r o r s ) . We can mostly imagine, however, this distur-
-
bed realization a s an exact one (without disturbance) but with thc distur-
bed given information. We shall speak about replaced disturbances (of
information) in this case I ) . It i s reasonable to speak about a suitable
numerical process if the replaced disturbances
a ) a r e admissible
Table 3. 1
these disturbances a r e admissible.
It i s obvious that the questions of existence of a suitable numerical
process for the solution of the given problem i s very important. The
method of factorization may be generalized to a general boundary ( o r
multipoint) problem for the system
w .rl
c L m m m m
:22 m
c
m
1 1
m d '
n o o
o o c
1
m
m
n
1
m p o m
h m 0 m
a J2 m o o m
c n o o m
m o o c n
U
lu
::
P)
:E
U
m m 4 4
I l l 1
9: m
m m
m ln d'
m C U ( 0 4
Ex$
a 0
m N c m
c n c n m o
m d ' r l m
Q a
w
a E m m a ,
a
a m a, $ 4 ; ;
g a l $
65 z
:;E:
a
m
1
m
1
m
1
m
1
z?
* al
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5 0
0
.
0
0
0
. . .
0
0
0
w" 2 l n l n l n l n
w
0
$ x
ti 7 N
4
m
4
O
N
1
d
I. Babuska
x(") x x x . . . x xln)
1
into x(n) .
it1
-'n -pn+l
Further let the s e t s
n
k
=
'
(n) f
j = - pn, . . ., Nn ; n = 1,2,. ., and denote x/ )E X!n b . ., 0.1,. . .
. .. , N n the e l e m e n t s satisfying t h e eqwatiops;
ps - solution if
1
(4.4) lim sup & (irP (n) s u p \ ;("I- xin)( 4 c ns
~4 o 14, 16 ai L , i=-pn' ' " Nn .
and C does not depend on n .
We will s p e a k about Bs -solution if So = inf s .
The investigations of concrete given processes have been done in the
previously mentioned way in many cases. See e.g. (12), (27)) (32))
(41)) (44)) and others.
I shall now give some examples explaining the meaning of the
previous definitions. Let us solve the initial problem for an ordinary
differential equation
Let further
v
I. Babuska
1 1
we shall use y%)+ y(a+;) and put =)~:)-~(a+~)]
=k +P , k =O.
kn+l n k-n o
where &
i s the e r r o r in one point of the
J
net; m i s the numer of the net-points and h = - i s the step.
n
Let the matrix A of finite-difference equations have the form
I. b decadic
Fig. 4.1. b
10
(0.5, 1 )
I . h decadic
n -
Fig. 4 . 2 .
( 0.5 , 1 >
II. b
Fig. L. 3.
Fig. 4 . 4 .
(300, 300.5)
II. b
I. ~ a b u i k a
References
----------
I11 A.A. A ~ ~ ~ M o6 BI I:e p e H O C e PPaHMllAbIX Y C J I O B M ~AJlR CMCTeM J ~ H H ~ ~ H H x
1961, 1, 349-351
131 A.A. Abramov : Transfer of boundary conditions for system of
ordinary linear differential equations. Proc. of IFIP Congress 65,
p. 420
J. H. BRAMBLE
C o r s o t e n u t o a d I s p r a d a l 3 - 11 L u g l i o 1967
INTRODUCTION
Error Estimates in Elliptic Boundary Value Problems
J. H. Bramble (University of Maryland)
methods are easily carried over to other boundary conditions. The first
classical Dirichlet problem for Laplace's equation. The last part will
cases, I will not give more than a sketch of the proof, indicating the
discussion.
I choose to formulate the first problem in a weak form. Let R be
a bounded open set in E with boundary aR and let A be the Laplace
n
operator
All functions for the present will be assumed to be real valued. We now
state problem I.
R
I uA$= <$,F> ,\d$ E V .
We will discuss this problem later but let me first remark that when F
their properties.
a) Kh = R r) ENh
in E
Nh . From this it immediately follows that the discrete problem
has always one and only one solution for any given F and' g . Thus we
L
Then we can prove
yN ,a and d
0
i n such a way that f o r y E
-N
A ~(x-y)=h , x = y
h,x
A
n>x
V(x-y)aO , X # Y
V(x-y) 0 all x .
After using lemma 4 the sum i s estimated by comparing the sum with corresponding
a t an a r b i t r a r y point y
o
E R . The integral i s convergent i f p < -N
N-2 '
By taking V
Lemma 6:
- 1 in lema 3 we obtain
Gh(x,y) = 1 •
YE^\
Now it is a simple matter to give a convergence theorem. First we
Problem 111:
A u (x) 0
h h
=
xERh
a
The proof is obvious. Since u is harmonic, inu ul 6 Ch in and
lu(y) - u r n ( E Ch .
Now no matter how smooth u is in the closure of R the best possible
3 and 4 can both be improved in the sense that if we place some restrictions
the boundary.
Brelot [8] and Walsa [ll] such that every function continuous
for x E
Rhfl Ss .
This lemma follows from the mean value theorem for harmonic functions.
One obtains an estimate for the HBlder continuity of the second derivatives
Lemma 8: For every E > 0 there exists K(E) such that, if aR E 'C
The proof of this.lemma is tedeous, long and involved, but the motivation
$(XI a c dE(x)
Hence the procedure for proving lemma 8 is based on constructing a suitable
difference schemes, we shall sketch the proof of (8) by the difference method.
where
h
is the extension of Oh as a constant in each cube Ch '
What we would like to show is
is reflexive and hence bounded sets are weakly compact. We then choose
converges to 4 .
Clearly (8) follows from lemma 9 and Theorem 1 is then proved.
h+O .
We consider the following i d e n t i t y for a r b i t r a r y @ E V :
to
P
ti^$ a s n +
N-2
NOW. 'hn
+ $ weakly i n L
P
for 1 < p < -
and by (8) and (9) $ and @ a r e bounded. Thus it is a simple matter
hn
t o conclude that
converges t o u so that ii
h
-r u .
In order t o show the strong convergence we introduce a sequence
I l ~ ~ ~ -L2
u ~ l 0l
-+ as h + 0 f o r fixed n . But since it i s easy to
see that u
n
E V and hence i s bounded so t h a t i n fact llii
1
n d U n Lp
+ 0
have proved.
and I respectively.
1
Then iih + u strongly i n L , 1 I p <
P N-2
as h + ~ . -
The next two theorems give information when F is not necessarily i n L
1 '
Theorem 9: Let F E (L,)' and l e t C be the c l a s s of piecewise
P
continuous functions i n R . Suppose t h a t F , when considered a s a
functional on C
P
n
La has support Q contained i n R (i.e. 0 i s
in L , 1 $ p <
P N-2
- .
as h - + ~ .
,
If aR E c2 then in fact each ( E V will belong to C1 (K) so
that theorem 6 with X = 1 can be applied to show the uniform convergence
and then applying the basic relation (11) enjoyed by G . The only
change of integration can be applied. This can be done with the aid of
pointwise in R as h + 0 .
Clearly from lemma 3
and hence
so that
theorem 6.
theorems 4 and 6.
boundary. We will for the time being still be considering problem I but
Now everything said so far remains true with this definition , with
the minor redefinition of (F)h and \(x) regarding problem I1.
Lemma 11:
Let us call the analog of problem 11, problem 12. Then we get
immediately
note that even though the approximation locally near the boundary is of
consider briefly the case in which F is very smooth except at one point
and 3R is also smooth. Again in this case the Green's function technique
is fruitful.
The following theorem gives information about the error in this case.
4
Theorem 16: Let aR be smooth and u E C m-0) where the origin 0
O < X f l and
where k is a multi-index kl = (kl - . , k.J ) , kl, ...,k.J non-negative
integers, lkl = 1 ki and
of the solution at the origin we obtain an estimate for the error which
2-Nt6
~ ( x )= 1x1 t regular function , 6> 0 ,
then the convergence is second order. This shows clearly that the usual
4
sufficient condition that u E C (K) is far from necessary for 0(h2)
convergence.
h
Note also that when u E C (m=0) we obtain a uniform rate of hh
1-E
or h ,
As might be imagined the theorem is proved by using the representation
lemma 3 and estimating the resulting expressions. The details are long and
technical and are found in [7] but I want to point out the crucial
C I
R
Ix-yIP Iz-ylQdy
For this formulation, however, we can get a sharper theorem than
formulations for the Dirichlet problem for Poisson's equation, One can
treat
c) Eigenvalue problems.
out the fact that in the transition from the interior to a curved boundary
one can (in the Dirichlet problem) take approximations which are of the
approximation
so that Ah is now locally 4th order. Now we take A to be defined by
h
(14) in R,, at points of Rh (say $ ) where only I$, points are
6
But in fact we can lessen considerably the requirement that u E C (R)
i.e., that of being "of positive type." This means that if ~~j is the
t h a t makes lemma 1 t r i v i a l .
4 6
It i s possible t o show t h a t the e r r o r is of the order h when u E C @)
and probably a theorem l i k e 19 i s also true. Since the properties (15) and (16)
second order equations, since much use was made of the maximum principle o r ,
where B and y
n
..
are multi-indices, i.e. B=(B1,. ,BN) , where the B 's
j
1
are non-negative integers, ( 6 ( =
j=l
Bj and similarly for y .
The a
BY
are real constants and
where u = u(Sh) and the C 's are complex numbers defined for all a
5 a
but zero except for a finite number of a's A point ([+a)h will be.
called a neighbor of [h if Ca f 0 .
This time Rh will be defined as those points of RflENh whose
R, by Dh and
The sum will always be finite since all functions considered will vanish out-
Define
and
Now we call the difference operator Lh elliptic if p(9) satisfies
The main tool in the proof is the "Fourier transform." For this reason
If we define R;1 that part of R,, whose neighbors are in R,, and
This theorem will show that the difference approximation can be cruder
From theorem 20, I11 has one and only one solution. We have the following
1
convergence estimate of ThomCe .
Theorem 22: Let u and u be the solutions of I11 and 1111
h
,
2mtl
respectively. Suppose Lh consistent with L and elliptic and u E C 0.
Then if e
h
= u - uh in Rh and 0 outside Rh we have
theorem to special cases. I want to discuss two of them since in these two
one can obtain an additional inequality which together with theorem 22 shows
that
(A) Let
and take,
..
(We remark that in this case we can also take ulJ to be variable and treat
for real 5 .
In obtaining (17) the reason for the low power of h is that near the
boundary the approximation gave rise to a lower order error term. Thus we want
to try to estimate the lm-1) L2 norm in such a way that the approximations
near the boundary are not so important. For motivation we consider a very
are zero on aR
Thus since ( $ 0 in R
and hence
that would give us something for the difference problem. Unfortunately (18)
does not hold in the case of the present difference approximation. However
holds pointwise it was only used i n the aean. Now one expects, because of
(18) w i l l hold t o within higher erder terms. It turns out that these terms
The one thing that must be used here i s an inequality given by Thomge.
That is t h a t
and
Again we can obtain the analogus expression for the difference operator,
which is
where the subscript x and denote the usual forward and backward divided
max 112
Rn
IvI I clln hl IlvI1 +
h,1
for (A).
the technique used by Zl6mal holds f o r more general 4& order equations but
h1I2 f o r the m = 2 - norm t o h3I2 and i n the case of example (B) from
h t o h2 f o r the m - 1= 1- norm.
BIBLIOGRAPHY
G. CAPRIZ
1. Introduction
sides :
X = c u r l 4- ,
$=curl 3 ,
%=curl y ,
e t d i v
at (y @ y ) = - g r a d p - Y curl curl y g
t -- (6)
S i m i l a r l y fro^. ( 7 ) it follows
---
(*) The "penalty method" or the "mctilod of a r t i f i c i a l d e r i v a t i v e s "
described by Professor Lions could a l s o have been used.
G. Capriz
-
3. Boundary conditions
-
where N i s the exterior normal t o -
and T ( I ), T ( * ) a r e two
orthogonal tangential vectors. These conditions arc very d i f f i c u l t
t o s e t up s a t i s f a c t o r i l y on a computer and workers i n the f i e l d
have resorted t o conditions such as D=O, 49 = (f t o balance equations
a
and unknowns. The f i r s t choice i s j u s t i f i e d on the grounds t h a t the
gravest source of e r r o r s i s diffusion of d i l a t a t i o n D throuqh the
boundaries. The second choice i s notivatcd by the renark t h a t often
viscous e f f e c t s a r e small when compared with a d i r c c t l b imposed
s t r e s s . On the other hand the l o c a l orientation of the surface can
be usually determined only very roughly, so t h a t a more precise use
of eqns ( 1 4 ) i s not j u s t i f i e d .
I t remains t o follow the changes of the free surfacc w i t h
time. This is accomplished by introducing marker p a r t i c l e s on the
f r e e surface (actually i n the marker-and-cell method the rnarker
p a r t i c l e s a r e distributed throughout the f l u i d , though, f o r analytical
G. Capriz
4. 14umerical i n s t a b i l i t y ; accuracy
2 :3 - a r e required.
The equations a r e :
A) &
-9
N
-
N V
- = curl , - = curl , ~ = c u r l y r ,
q=
4.
at t curl [ g a d -
N
'U 7 t o t 5) t grad U.- - -9 curl -
X
G. Capriz
&
-
aaY - c u r l
a t
Lgrad c u r l
- *( 3+ curl
ry
- ) t grad t e e c u r l y]=
N
-h A I*-
az
R curl [grad curl P .(? + c u r l I*)-
-
9
t grad s - curl r']
-
=
' r I*) -
3
R c u r l [grad c u r l 1.
- 5 + grad? curl I*]=
We come thus t o a rather complex linear diffusion problem; i n the
plane case, where Y * has only one non-vanishing component eqn
( 3 ) has been the object of many c l a s s i c a l studies, f o r instance
those r e l a t e d t o the s t a b i l i t y of Poiseuille flo~v,o r the flow on
a f l a t plate.
Because the c o e f f i c i e n t s of eqn ( 1 7 ) a r e independent of
time, the solutions can be written as l i n e a r combinations of
functions of the type
*
- c u r l [grad c u r l Y * ( +~ c u r l y*) +
Ah
- + grad
J = R
2 . c u r l \Y
J
e
(19)
*
with the associated boundary conditions, can be attempted.
For a special case of t h i s problem we have d e f i n i t e r e s u l t s due
n
t o Velte, Kirchgassner and others research vorkcrs a t Freiburg
- .
c36, 37 3 8 1 The special case i s examiiled i n some d e t a i l l a t e r .
Mention nust be b r i e f l y nade here of 'the numerical techniques used
t o tuckle eqns (16) , (2); (g), (2)with the associated boundary
conditions.
A t r i v i a l e x p l i c i t method can be used i n connection with
eqn ( 1 6 ) , ( 1 7 ) ; but more often, t o lessen phenomena of numerical
i n s t a b i l i t y , it is more convenient t o evaluate the term under the
biharmonic operator as the average of tile values a t t i m e s t a n d
'2 t h Z , mantaining f o r the other terms the evalutation a t time
A A Y * ( ~ )-= R
- curl ' (k-l). (5+ c u r l y (k-11
-
curl y s
t grad 2
-
Here again, i f the boundary conditions express periodicity a t l e a s t
i n one variable, techniques of inversion of c i r c u l a n t matrices may be
of use. Both i n the analysis of the time-dependent case and during
the i t e r a t i o n (20) phenomena of numerical i n s t a b i l i t y may occur.
A word of warning is liecessary here; a mild form of numerical i n s t a b i l i t y
i n diffusion problems may be wrongly taken sometimes as indicative of
hydrodynamic i n s t a b i l i t y . The study of the same problem with two d i f -
f e r e n t meshsizes (one rectangular and one square for instance, i n the
plane case) is recommended. "Nmerical" eddies change then wavelength
so as t o cover the same number of c e l l s (the typical wavelength of
"numerical" eddies i s ten c e l l s ) .
We have mentioned tliat i n t:ic n m e r i c a l solution of our
problems under pericdicity conditions bloc]:-circulant natriccr; appcar.
To show t h a t sirnple deviccs can savc a t t i n e s a l o t of k~orl;, thc
property of these matrices i s rccallcd hcrc, t h a t a l l o ~ ~ans cacicr
inversion.
Let ii0 f&-]- .
. . . ?-.-..,
I ...nn-1 ) =
-*io
n = no , nl , .
L J , , ~
. ... .
L
nl
*.. .Ao
A '.
be a block-circulant matrix, wilcrc the Ai arc blocl;s of ordcr n.
Let I be the i d e n t i t y matrix of ordcr n and $,
the m-th roots of unity and put
bl , .bn-l . ..
I. ..
v =
Then
I :.-I . . a, I
lo
1.
v-l = - . ... .
;
El & "-1
1 m-lI. . *bm-l1
and
#(do) 0 ... 0
f
Y'AV=A =
0
:. : .
.,
#( b-m-l
C. Capriz
where
A-l= "A -1 .
% A-' is a l s o block-circulant; precisely
3. -S
. o ~ er e s u l t s regarding thc d i f f e r e n t i a l problem.
A
Supposing t h a t an eigenvalue Tn and a corresponding eigenvector
( ,) e x i s t f o r problem (25). (26) , then multiplying both
s i d e s of the f i r s t eqn (25) by the complex conjugate A*
An of A
G. Capriz
where
with
Tn
i s r e a l p o s i t i v e (from eqn ( 2 7 ) ) .
As a consequence tihe associated cigenvector can be taken t o have
r e a l components. From t h c formulae above it follows t h a t , i f
A
An , En
do not vanish,
On t h e other hand
G. Capriz
and f i n a l l y
l e t u s i n d i c a t e with z1 . .
-zl , z2 -z2 , z3 , -zg t h e s i x d i s t i n c t
dctcrmination; of z [ ~ o t i c et h a t i n e q u a l i t y (29) excludes t h e
occurrcnce of multiple r o o t s ] .
By imposing t h e boundary conditions t h e equation f o r t h e
eigenvalues can be found. I t i s expressed by p u t t i n g equal t o zero
t h e determinant of a 6x6 matrix whose f i r s t t h r e e l i n e s a r e
G. Capriz
anci the o t h e r tlilrcc are formed witiil thc sane co1ur:ns i n thc
ordcr 2, 1, 4, 3, G , 5.
I t can be cliccked Elat Cic determinant A i s equal t o the
differencc of the squarcs of two sums S1 and S2 , where S1 is
tile sum of the determinants of thc matrices of order 3 obtained
by extracting the columns 1, 3, 5; 2, 3, 6; 2, 4 , 5; 1, 4 , 6
of the matrix (30) and S2 by a similar sum t h e r e the columns
1, 3, 6; 1, 4, 5; 2, 3, 5; 2, 4 , 6 a r c involved. Easy develop-
ments lead t o tile r e s u l t
A A
from which an i n p l i c i t multivalued function Tn = Tn (an) can be
V1 s a t i s f y
-
and l e t 5 be t h e closure of 3 with reference t o t h i s norm.
- Then E-is t h e Banach space of v e c t o r s ( ) V I 'V) with ?y
in , v i n y l and t h e norm
We consider a l s o t h e s e t of a l l functions f ( 5 , y ) , C m
i n S , p e r i o d i c i n S w i t h p e r i d 2q, which vanish i n a s t r i p along
t h e boundary of G. The space obtained by closure of t h e s e t with
G. Capriz
reference t o t h e norm
Then
e
11 yIIE,
will bc indicated with
El'
i s t h e s e t of v e c t o r s (Y),V ) of C :iitii y 6 H2
1: .
and V t iil ; i n f a c t vectors such t h a t y 6 V L H ~s a t i s f y , i n
G2,
a generalized scnsc, t h e boundary conditions at = 0, = 1. 7 3
\re w i l l look thcn f o r s o l u t i o n s of our 2roblcrn (33) i n
7 .
I t i s p o s s i b l c t o silov f i r s t of a l l t h a t t l ~ e r ca r e no solutioils
n
e::cept t h e t r i v i a l one, f o r T < T1 ( f o r a proof, scc 9 , p p .
59-60).
- , pp. 4-51 ; s e e a l s o f o r some
I t i s p o s s i b l e t o ailow f u r t h e r [37
c o ~ n e n t sthe rlZIIrcss [46]- t h a t t h e t r a n s formation a 1
(y ,v ) 4( y ,v )
I
~ ~ l = r a? ( ~
~ , .v ) _
2 5 +&y.5, I I
and Ly requiring ti:at ( y , V ) Be i n E , ar.d (y , V' ) !JC i n 2
i s a complctc f u n c t i c n a l t r a n s f o r n a t i o n of tilt s: acc C i n t o i t s c l f .
Its fixed p o i n t r a r c t h c s o l u t i o n s of our probler?,
Siriilary t h c t r a n s f o r r a t i o n d :
Elrourjh t h e liilcar problem
(y .
v)+
I I
(y
, v- ) Bef ineci
Azr = -3 Y
13
and by requiring t h a t ( :V; he i n S, and (y
I
,P
I
;,e i n (k- is
a l s o a c o ~ p l c t cl i n e a r t r a n s f o r ~ a t i o nof L i n t o i t s e l f . Tile fixeC
p o i n t s a r c t h c cigcnfunctions of the proj;lcr: of s c c t . 2.
-.
;ioT.r i t can l..c proved tililt his
tbc FrCclict i i f f c r c n t i o l of
tile t r m s : o r r - . ~ t i o ~ hi a t t h e p o i n t ( 0 . 0 ) of npocc 3.
A l l ve Iinvc s a i d rcr-ains t r u c i f tre suLnLitutc t h c s p ~ c ci;
with t h c r:ubsyacc R
1
of t k e v c c t ~ r s(Y,'Lr) of L r,uch t:;at Y is
odd a n d t l i s cvcn iil j. Thc advantarjc of considcrincj o c r problcr: i:i
A1 i s t h i s , tli':t (as rcrnilrkcG i n Scct. 3 ) t h c r c exist: c::oiccs GT c.;
G. Capriz
A
such t h a t t o t h e associated cigenvalue T1 t h e r e correspons only
one eigenvector:
h
T1 has m u l t i p l i c i t y 1.
h
Then, f o r a theoren of Leray-Shauder, Tl i s a branching
p o i n t f o r t h e s o l u t i o n s of t h e problem ( 3 3 ) , (22): a n o n - t r i v i a l
s o l u t i o n of our problem must e x i s t i f t h e value of 'I' i s chosen
4 h
w i t h i n a s u f f i c i e n t l y small i n t e r v a l ( T1, TI t d l d)O 1.
r=mh, j=? (p 1
b v i t h h = . ( n t l ) -1 ,K = 1, 2 , ....n,
p = 1, 2, .... .
r.tl The boundary c;,nditions f o r a t ?= (i,
has s o l u t i o n s , a r e p o s i t i v e (we w i l l r e f e ~
t o these values a s t h e
-\Y -
h
eigenvalues of t h e problem). I n f a c t , i f , V i s a s o l u t i o n of
(35) corresponding t o t h e eigenvalue T , then
xT
but - u22 ) a r e p o o i i i v e d e f i n i t e q u a d r a t i c Poimc
U1 --x , - (5T
x . I t follows t h a t
h
i n t h e components of - must be p o s i t i v e ;
P
f,
A
i t follo\rs a l s o t h a t -
'v can be talien t o have r e a l corponents.
Again a s i n t h e case of che d i f f e r e n t i a l problen i t i s founii
t h a t nor. t r i v i a l s o l u t i o n s of ti:e non- l i n e a r problem ( 3 4 ) niay e x i s t
n
only f o r values of T cjrcatcr than t h e lowest eigenvaluc T of ( 3 5 ) .
C
Po reach a proof of a c t u a l e x i s t e n c e of a s o l u t i o n unclcr t h e contiition
h
T > Tc , some preliminary r e s u l t s a r e required.
F i r s t l y we remark t h a t eigensolutions of ( 2 5 ) can Le w r i t t e n a s folloyiis
irllcrc k. = sin
1,
[ (2i-1) r 4 ], ,,(=_n_
2nt2 ' l$r$n ;
G. Capriz
and
-)4 , a r c n-vectors which s a t i s f y t h e equations
3
( 1
1 + 2cos 2r d l3 + 2cos 4 r d I )
- = h T sin 2 r l c
(37)
( c+ 2cos 2 r d I )g = - h s i n 2rA '-f .
~ 1 i r r . i n a t i n g one o b t a i n s t h e equation i n
-'P
with
= - ( c + 2 cosrA I ) ( A t 2 cos 2 r d L ; + 2 cos 4 ro( I ) .
'-r
hence s o l u t i o n s of our problem (35) e x i s t provided t h a t i14? sin'(2r.O
the
coinciclcs with one of,cigenvalues of t i ~ cmatrix Cr- (r = 1, ... n) .
one elementary uevclopments show C47J
--- t h a t t h e matrices
(A + 2 cos 2r 4 E t 2 cos $1 a -'
~ ) ( r = 1, ... n) a r c p o s i t i v e ; on tile
o t h e r hand t h c rcatrices - ( C t 2 cos 2 r d I ) ( r = 1, ... n) are
i r r c d u c i b l e , d i a g o n a l l y dominant n a t r i c e s with pos,itive i i a g o n a l
c l c n e n t s and non-positive off-diagonal c l e n e n t ; s o t n a t t h e matrices
- (C + 2 cos 2 r 4 arc positive.
I ) - ~
iicnce t h e C
r a r e positive; nore precisely
admits of s o l u t i o n s .
2
Thus, we can determine n eigenva!.ues of M
( i f each i s counted with t h e appr@& m u l t i p l i c i t y ) . Actually
whereyl ,- a r e n(nt1)-vectors.
Consider now t h e vector space Ii of t h e 4n(n+l)-vectors
( $' I - Y
fl ) wit11 ) , of t h e type ( 4 1 ) ; l e t E be norned (, I f Lie .
choose any v e c t o r ( l/)
-1
y 1 i n D and c a l c u l a t e t h e v e c t o r s
G. Capriz
these belong a l s o t o B .
Iience we can consider t h e eigenvectors
of (35) and t h e n o n - - t r i v i a l s o l u t i o n s of (34) r e s p e c t i v e l y a s fixed
p o i n t s of t h e following compact nappings of E i n t o i t s e l f
and
I
IJotr 2 i s thn Fr6chet d i f f e r e n t i a l of c a l c u l a t e d over
t h e n u l l clement of B . I f we see'- s o l u t i o n of our problems ( 3 4 ) , (35)
A
exclusively within I3 then we f i n d t h a t f o r T = Tc t h e r e corzesponds
a simple eigcnvaluc of (35) .
A theorem of Leray Schauder assures u s f t!len,of t h e existence
of a n o n - t r i v i a l s o l u t i o n of (34) f o r each choice of T i n an appropriate
A 4
i n t e r v a l ( T ? td ) , d ) C ; i n other vords
cf C - c is a branching p o i n t
f o r thc s o l u t i c n s of ( 3 4 ) .
G. Capriz
although t h e a l t e r n a t i v e scheme
seems t o be f a s t e r .
I t i s found t h a t , i f t h e s t e p 11 i s chosen t o be small
n u l l vector when T C
-% .
enough, t h e v e c t o r (Y(") y ( n ' ) tends with increasing n t o tile
, whereas i t converges toiiards t h e
A
A
where now y , *stand f o r the solution of (34) .
We accept the approximate e q u a l i t i e s
A 4
does not exceed unity. g ( W depends on h , T and a l s o on Y , ; -
b u t these two l a s t vectors a r e unknown t o s t a r t with : a reasonable
guess f o r t h e s o l u t i o n i s required i n p r a c t i c e f o r an evaluation
of t h e conditions of convergence; such conditions w i l l put then
r e s t r i c t i o n s on h depending on t h e value of T. However t h e c a l c u l a t i o n
of t h e s p e c t r a l r a d i u s oflvllis n o t an easy matter; a s a consequence
one i s forced t o r e l y on rougher estimates, such as' t h e following one.
& (k-1)
Assume t h a t i n t h e v e c t o r -
E (k-l)= ( -'
t;$k-l)
) a l l but
it leads t o t h e r u l e (c A t / A x ) 6 1 .
Returning ncw t o our problem, we a r c - i n t e r c s t e d i n t h e
s o l u t i o n of a l i n e a r system extracted from t h e system
A
[6 d i d . , vol. 6
b]
- J.R. P a s t a , S. Ulam, I I e u r i s t i c numerical work i n some problems
of hydrodynaniics. IIath. Tables Other Aids Conp., 13
(1953), 1-12.
[ld A. B l a i r , IT. 1Ictropolis, J , von Ileunann, A.11. Taub, $1. Tsingou,
A study of a numerical s o l u t i o n t o a two-dimensional
hydrodynamical problem. 1"ltt. Tables Other Aids Comp.,
13
- (1353), 145-124.
G. Capriz
[11] J.C. Welch, F.H. IIarlow, J . P . Fhannon, B.J. Daly, The MAC
method, a computing technique f o r solving viscous,
incompressible, t r a n s i e n t fluid-flow problems involving
f r e e surfaces. Los Alamos Scient. Lab., LA - 3425.
[16] C.C.
in [h .
L e i t h , l m e r i c a l simulation of t h e e a r t h ' s atmosphere
vol. - 4 . 1-29.
A. L. K r i l o v , E.1;. P r o i z v o l o v a , 1Jurr.crical a n a l y s i s of t h e f l u i d
f l o ~ ?between two r o t a t i n g c y l i n d e r s . P r o c c e d i n g s
(CGOPIIWK PABOT) Computing C c n t r c !loscow Univ. , 2 -
( 1 9 6 3 ) , 174-181.
.
F. A . Ilarlo\?, J .E F r o m , Computer e x p e r i m e n t s i n f l u i d
dynamics.
S c i e n t i f i c American, 212 ( 1 9 6 5 ) , 104-110.
E. De Luca, Numerical s t u d i e s of p o i n t p e r t u r b a t i o n s i n
laminar plane P o i s e u i l l e n o t i o n .
Army Material Res. Agency, Tech. Rcpt. APIRA TR 63-10.
W. V e l t e , S t a b i l i t a t s v e r h a l t e n und Vcrzweigung s t a t i o n s r e r
LGsungen d e r tlavier-Sto1:csschen Cleichungcn.
Arch. Rat. Mch. Anal., j& (1964), 97-125.
bd G .Ghelardoni .
, G Lombardi , Soluzionc numerica d i un problema
d i s t a b i l i t a idrodinamica.
Calcolo, 2, Suppl. 1 (1965), 67-80.
A. DOU
by
A. DOU
(University of Madrid)
Q = ~~,Y)(IxI<II,IYI < ~ I ) c R2
We assume throughout the paper that there a r e no body forces
and no lateral surface forces; and also that the cylinder i s in statical
equilibrium.
We a r e given the surface forces T(x, y) and T-(x, y) acting
upon the bases of the cylinder z = e and z = - respectively, and
we may assume without loss. of generality that they a r e either
odd
- and write ~ ( l ),
for z = I: T( 2) = I
T( 2) (x, y), T;?)(X, y), T~(2)(x, y )
1
1.
f o r z = - I , : ~ - ( ~ ) = { ~ y ) ( x ,~y(2 . (2)
~) ,I x . y -) T ~ (x.Y)} .x.Y(Q.
tions l l n e i g h b ~ r h o o dmeans,
~~ f o r instance, that the point x 6 5, is
s u c h that z a'
>, -g- , / >l0.t ; and llsmallll m e a n s that g (3
can be i:~plected altogether, say \If (:)I[ 6 ('110) m a r IITill .
i = l , 2, 3
ydxdy = M I ,
2'
Q
M1' 2
M and the torsion moment M
3
.
T o t h e s e quantities corresponds
in R a unique e l e m e n t a r y solution (x, y, z ) of Saint-Venantls type,
i . e . independent of z, and therefore i s a l i n e a r combination of
- 166 -
A, Dou
2 E n e r g y inequalities.
where the f i r s t member and U have already been defined, K is a constant depen-
ding on elastic constants of the body and 0 and a a r e positive constants depending
on the geometry of the cross-section. This result i s similar to the previous poin-
twise estimates of J. H. Bramble and L. E. Payne 161, but this one i s good up to
the boundary.
The third inequality i s contained in the following theorem :
Assume that z i s the s t r e s s tensor in R t corresponding to any psf T =
= ( T I T2, T 3 ) E&,(R) be the total elastic ootential energv pf 2 in and let
-2-
0 st.
< ln Then there is a constant K depending only on 0
such that
corresponding to the
A tensor
psf in the b a s e s of the cylinder.
Let
5 1
= d
11
M
,22
(x, y ) . Nu ( z )
3. Related ,questions
grad div
TODDDUPONT
Todd Dupont
Rice University, Houston
1. Introduction
The i t e r a t i v e s o l u t i o n of the d i f f e r e n c e equations associated
with V + ( a ( x ) ~ u )= f i s a problem which has received a g r e a t d e a l of
a t t e n t i o n i n the l i t e r a t u r e . I n t h i s paper i t w i l l be shown t h a t
f o r r a t h e r g e n e r a l domains i n the plane t h e r e e x i s t s an i t e r a t i v e
method with work e s t i m a t e s which a r e b e t t e r than those now a v a i l a b l e .
This i s an a b s t r a c t existence theorem, not a complete s p e c i f i c a t i o n
of an improved i t e r a t i v e procedure.
On a r e c t a n g l e with a ( x ) constant the Peaceman-Rachford [ 5 1
procedure gives a work e s t i m a t e of ~ ( h - ' l o g h-'1og c - l ) f o r reduction
2
of t h e L -norm of the e r r o r by a f a c t o r ;. S t i l l on a r e c t a n g l e but
f o r more general equations the procedure of Gunn [31 g i v e s the same
work estimate f o r the reduction of the analogue of the D i r i c h l e t
i n t e g r a l of the e r r o r by a f a c t o r c . Gunn's procedure a l s o gives
an estimate of O(h- 2 (log h- 1) 2log c - l ) f o r reduction of t h e uniform
norm of t h e e r r o r by a f a c t o r c again on a r e c t a n g l e . We s h a l l show
t h a t , i f the domain i s the union of r e c t a n g l e s with s i d e s p a r a l l e l
t o the coordinate axes and i f a ( x ) is twice continuously d i f f e r e n t i a b l e
i n the c l o s u r e of the domain, a work estimate of the form
O(h 2 ( l o g h")'log c - l ) can be obtained f o r the reduction of t h e
uniform norm of the e r r o r by a f a c t o r s .
I n s e c t i o n s 2 and 3 we d e f i n e t h e problem and the i t e r a t i o n
and give a n a n a l y s i s of t h e work required t o produce t h e s o l u t i o n .
This a n a l y s i s i s done assuming the main lemma of t h e paper, Lemma 1,
which i s proved i n s e c t i o n s 4 and 5.
2. D e f i n i t i o n of t h e Problem
We w i l l work with a domain D = R1 J R2, where each Ri is a
2
r e c t a n g l e i n R with s i d e s p a r a l l e l t o t h e coordinate a x i s . &T
choice of
--- two r e c t a n g l e s i s made f o r s i m p l i c i t y , though i t i s c l e a r
--
t h a t what follows holds f o r any f i n i t e union of such r e c t a n g l e s .
Assume t h a t we have a square g r i d of mesh s i z e h covering R1 and R2
and t h a t t h e s i d e s of R1 and R2 l i e on g r i d l i n e s . de a l s o assume
t h a t 3R1 n aR2 c a D . Let Dh denote the g r i d p o i n t s i n t h e i n t e r i o r
of D, 3Dh t h e g r i d p o i n t s on aD and Dh = Dh ;aDh. Similarly, define
de a r e attempting t o solve
Rj,h'Rj ' , h
Theref ore,
\. s 3 max I twr u e~ -, ~
R i-2,h1 '
j, h
Thus,
v r s man / w ~ , T~i , h+ - h' h' - Wi-2,hI
R +
j ,h
(3.8)
< ;(xi + Xi_2 + vi) .
Therefore,
(3.9) vi 6
0
=(xi + .
Since
it follows t h a t
Therefore,
-1 2
Consequently, the estimate f o r the t o t a l work i s ~ ( h - ~ ( hl o )~ log . - I ) .
4. Proof of Lemma 1
I n t h i s s e c t i o n we s h a l l prove a s p e c i a l case of Lemma 1 which
i s s u f f i c i e n t t o imply Lemma 1 when used with the maximum p r i n c i p l e
Let R = ((x1,x2): Wxicdi). Let 0 s c < dl and suppose dl,d2 and
c a r e a l l i n t e g r a l multiples of ho > 0. Let hm = h02". If 3 c R2,
let nh =
-n fl ((ph,qh): p,q i n t e g e r s ) . Let anh be t h e p o i n t s (x1,x2)
of Eh such t h a t (xlih,x2) o r (xl,x2ih) i s not i n Eh. -
Let Oh = ih'\azh.
Let 7 1 -
U ( X ) = h- ( ~ ( x + e ~ , ~u)( x ) ) and V- u(x) = h- 1( u ( ~ ) - u ( x - e ~ , ~ ) )
Xi,h 'i, h 3
L
1) For s u f f i c i e n t l y s m a l l s and f o r a l l h = hm t h e r e e x i s t s q
such t h a t U ~ ( C ,<~ q) < 1 f o r y = kh and y i0,il b [d2-:,d21.
where
K = [max f - min £11 m i n d . + [c + max(lDx2 f l , l D 2 £111 max d .
i=1,2 J aR 1 X2 i=1,2j
(Naturally IDxq£1 i s used on s i d e s of aR which a r e p a r a l l e l t o the
2
1
x1 a x i s and s i m i l a r l y f o r Dx2 f . )
2
Proof: The proof w i l l be c a r r i e d out f o r ox hvh. F i r s t extend
1'
*
vh t o R i and Ri, where R ' = ( ( x1' x 2 ): -d 1 s x 1 <- 0 < x2 s d2} and
~ 1 ~ 0 ,
for x r c on aR
h '
could be obtained. )
This proof i s modeled on t h a t of Pucci :61 which i s q u i t e
s i m i l a r t o t h a t of Bers [ I ] .
Proof of Lemma 3:
1) Note t h a t i f Lhvh 2 0 (or 5 0 ) i n Rh, then pax vh = ma* vh
h aRh
(or min vh = min v h ) .
8h aRh
2) I f M ~ m a x ( m a x ( I a I t l a I j . m a x a f (max(Ia l ' + l a x 2 ~ ' ) ) )
R X1 X2 R R X1
3x
Proof: ~ : , ~ ( e')(x1,x2).= a(x ,x ) V V- eBX1 + 42[ a x1 ( 5 1 , x 2) o ~ ~3X1,
Xl,hXl,h
+ ax (e2,x2)yx e 3Xl,
1 l,h
0 (xl-h)
z (min a ) [ e (a2 - 2 I
R
f o r h small. L and LO) can be t r e a t e d s i m i l a r l y .
l,h l,h
3) There e x i s t s h such t h a t , i f Rh c
* \, -
h < ho, and Lhvh = f
*
i n (Rh) , then mgx /vhl 2 mag lv,l +K mgx [ £ I .
\ aRh (5-2
Proof: Let wh=rnag lvhl + (e .e ( 71 . Then
aRh
t * --
independent of h.
= ( I ) t (11) t (111) #
1 2
(I): Using u(xlih,x2) = u(xl,x2) i huX1 (xl ' x2 ) + ~ uxh 1 1 .*' 2 ) '
( ? t
we see t h a t vx o-
1,h X l , h
u(x1,x2) =
l'xlxl
(x1,x2) t 0(h1l5) i n RE .
(11): Using the above expression for u(xl*h,x2), we see that
u(xl+h,x2) - u(xl-h,x2) = 2h ux(x1,x2) + O(h2t115) i n R~
-k
.
(111): These terms a r e 0(h4I5) i n <.
Hence Lh(1) U(X1, X 2) l,h
+
2,h
,X
1 2
) = 0(h1I5) + 7.(apu) = 0(h1/5)
Jc
i n Rh. Now, (a(x1,x2) -( X1t 1'x 2 )'1)2 = a(x1,x2) - 2(a(xl,x2)a(xl+h,x~)'l
( 2 ) u = LL1)u + 0(h4I5)
*
= 0(h1I5) i n Rh , Next using a(xl
h
+T,~2)
Lh
0 0
of c o n t i n u i t y of u. I n o r d e r t o estimate / U ~ ( X ~ )- Xuh(x1)x2)
~) I we
again make t h e change of v a r i a b l e vh(x1,x2) = ~ ( x ~ , xh (X
~ 1), X
~2 )u.
3-
Then, a s b e f o r e , Ahvh = f h , where f h = (nha2)uh - (a-')(,Li)- L ~ ~ ) .) u ~
+ X ~ )0 0
I V ~ , ~ ( X ~- ,v2,kx1,x2) I I. By Lemma 2 the second term i s bounded by
where
-1 2 2 -1
(2.2) P(x,y)= n yCxty1
and u i s a signed measure such t h a t
where p = ut - u- i s t h e decomposition of u i n t o t h e d i f f e r e n c e of
nonnegative measures. The c o n s t r a i n t .(2.3) i s t h e global
r e s t r i c t i o n imposed upon u t o f o r c e continuous dependence of u
on t h e d a t a t o be s p e c i f i e d l a t e r .
Assume f i r s t t h a t u i s known approximately on t h e l i n e
L
Hence, it follows from (2.7)- (2.11) t h a t
since
such t h a t
since +
i ( P ( r F j , c j + l ) ) , i ( [ , F~ ~ ~+ ~ ) ) E) )A , (2.4) and (2.12)
imply t h a t
nor harmonic. L e t
(2.21) z(x,y) = c P(x-4 ,y)(a.-b.) , { ( a . b . ) ) = a ' ;
-a<?, <a j J J J' J
J
z i s both continuous and harmonic i n {y>07. Moreover, i t
follows from (2.6) t h a t
and
s i n h n(y- 6) 128
-1 -1
(2.36) i f (iy) 1 a [11+4n 6 8)r ~ i n hnY/20
K
1 2 2 2
Since sioh qxlsinhqy = xy-l[1+6- q (x -y )+. . .I,
provided t h a t
R e c a l l t h a t z d i f f e r s from v ( x , y ) = u ( x , y ; a l ) , t h e approximate
harmonic c o n t i n u a t i o n , by n o t more t h a n c M [ ~ 1 - ' a l o n ~t h e l i n e {y=Y).
It i s e a s i l y s e e n t h a t
~ ( x , ~ ; a by
' ) (2.15). I f q > 0 and i f c , xel, and h a r e
s u f f i c i e n t l y s m a l l , t h e r e e x i s t s a c o n s t a n t C such t h a t
o n l y a t t h e p o i n t s (xi,Y), b u t t h i s i s a t r i v i a l r e d u c t i o n .
As was remarked on e a r l i e r , t h e infinite-dimensional l i n e a r
programming problem (2.17) imposes s e r i o u s p r a c t i c a l l i m i t a t i o n s .
I f an approximation t o t h e s o l u t i o n u i s d e s i r e d on t h e r e c t a n g l e
R = { / x 1 <XI, v<ygY] , then i t seems i n t u i t i v e l y c l e a r t h a t the
values of ai and bi assigned a t p o i n t s (xi,O) a t a g r e a t d i s t a n c e
from R should have a n e g l i g i b l e e f f e c t on t h e approximation i n
R and, consequently, could be s e t equal t o zero. A f i n i t e linear
programming problem would r e s u l t . The i n t u i t i o n i s c o r r e c t , but
t h e proof seems n o n t r i v i a l . Two arguments, both complicated, w i l l
be presented. The f i r s t method w i l l g i v e a b e t t e r e r r o r e s t i m a t e ,
but t h e harmonic conjugate w i l l be introduced, l i m i t i n g t h e
argument t o two-dimensional problems. The second argument a l s o
i s based s t r o n g l y on complex a n a l y s i s , but the a n a l y t i c function
a r i s e s from extending an independent v a r i a b l e t o t h e complex
domain. This method of a t t a c k can be a p p l i e d t o harmonic functions
i n s e v e r a l v a r i a b l e s and t o s o l u t i o n s o f t h e h e a t equation. One
pays f o r t h e g e n e r a l i t y by obtaining weaker error estimates.
During t h e argument t o be given below ' q u a n t i t i e s X2 ,X3 ,X4,
and X 5 , i n a d d i t i o n t o t h e X1 of t h e d e f i n i t i o n of R , w i l l be
introduced. 'Xi ,i = 2 , . ..,5, w i l l tend t o i n f i n i t y i n obtaining
t h e e s t i m a t e s , and t h e following r e l a t i o n s w i l l hold: X1< X5< X4<
X3 = X4 + X2. More p r e c i s e requirements f o r t h e s e terms w i l l
appear l a t e r .
Retain t h e r e p r e s e n t a t i o n (2.1) , (2.3) and t h e measurement
(2.4). The e s t i m a t e (2.12) c a r r i e s over i n t h e form
where X2 > 0. Let X3 = X2 + X4, where X4 > X1. Let A now
Set
(2.45)
and l e t
W(X,Y) = . ~ P ( XY- ~Y ) ~ v ( F ) ,
Similarly,
(2.54)
-1
J w ~ ( x , Y + ~46) I ~yl +-2CM =
- y3. Ixlsx5 .
X4 X5
C l e a r l y , Iwx(x,y) 1s C(6)M, yr6>0. The estimation of w i s reduced
t o e x a c t l y t h e same problem a s was t r e a t e d i n Lemma 1, except
t h a t i t is not s u f f i c i e n t t o look a t w (0 ,y) . The r e c t a n g l e used
t o estimate t h e harmonic function g introduced i n (2.33) should
be centered i n x a t an a r b i t r a r y x
0
E [-X4 ,X41, t h e harmonic
*
conjugate w should. vanish a t (xo ,Y+6), and 13 should b e replaced
by X5-X1. The constant K of (2.32) should be replaced by
X5'
A second deviation of an e r r o r estimate can be based
on t h e extension of t h e v a r i a b l e y t o t h e complex domain,
(2.60) a = y + iy.
*
This a n a l y s i s begins w i t h t h e r e l a t i o n s (2.50) , (2.51) , and
(2.52). Note f i r s t t h a t
Consider t h e i n t e g r a l
Since
~ ( x - F ) ~ += u( x~ - ~F )~~ + (y2+y* 2)2 + 2(x-E)2 (y2- y *2 )
where
* * *
s inh n (Y1-y ) / (Y1-Y) * *
(2.66) a(y) = O s y <Y1.
sinhfl;/(yl-y)
1
Now, consider t h e r e c t a n g l e Q ' = bay9(YtYl) ,/ y* I rY2)
* , where
0 < 5;
* *
and 0 < Y2 < Y1 and x remains f i x e d . The same r e s u l t holds
q
f o r y < 0. Then,
(CM)
1-a a 1
~4 , Y = 7 (Y+Y1) , a E "',a = a (Y2),
*
(2.67) Iw(x,o) 1s
1
C(6,1(YtY1), Y2)M, a i Q' .
*
Hence,
(2.68) (w(x,y) 1 1 [ ( c M ) ~ - ~ Y ,~lxIsx1 1
I ~ ( ~ ,) 6syq(YtYl) ,
where
*
s i n h n (y- 8) /2y2
(2.69) P(Y) i
s i n h ~ ( + ( Y + Y ~6))12~:
-
and
(2.78)
n(xl-x)
@(x,xl) = sinh / sinh -
rrxl ,
2yo 2yo
a s x 1 tends t o i n f i n i t y . Hence.
* a(y0)
-
nX4 - log l o g ( € + xi1 + h)
2yo
1
2yo
-7 log
* - X5)
l0g(X4
nx4
Consequently,
(3.2) I ~ I ( s )r M , all S .
aI,bI 2 0 , all I ,
a I = bI = 0 , i f m a x l ~ iI > x,, = x2. + x 4 ,
j
c (aI+bI) s M , all S .
zI ~ S
For a E A, s e t
Then,
Iv(S) I s 2M , all S ,
(3.11)
I W ( X , Y )I~ 2c t CM(X;'+~) r yl , I X ~ I r x4 ,
I g CM
IW(X,Y) , all x .
Repeating the argument beginning with (2.60) with o a s before and
Y 2 y sY1, we find t h a t
The i n t e g r a l
maxlw) s C(M,R)(C+X;1t h ) B .
R
In any event, the e s t i m a t e s i n the two v a r i a b l e case c a r r y over
e s s e n t i a l l y unaltered t o the higher dimensional case.
The argument given i n the two v a r i a b l e case f o r the d a t a
known only on an i n t e r v a l can be c a r r i e d over, but t h e dependence
Assume a l s o t h a t
where
$ -xL/4t
(4.4) K ( x , t ) .= ( 4 n t ) - e
and u =
+. Now,
ntl
1 2 u(nG,'f) 2 ~(nG-t,~)dp(~)
n
Hence,
Also,
xi+x2
(4.8) IJ ~(x~-:,~)d~(e) r - ) u ( [ F ~C,j + l ) ) I
K ( x ~ -. FT ~
xi-X2 Ix.-5.
1 3
I<x 2
s CMh.
Consequently, i f X2 :
! 1,
1I s 1h; then,
Choose x 1. s o t h a t [xi-n- '2 '2
2
-X2/4T
(4.16) 1 a' r ~(#,~)-~[1+2ctC~(h+e 13 2
ns! . < n t l j
J
1 1 ; (4.16) i s t h e d i s c r e t e analogue of
i f [ n , n + l ) c ( 1x1 s X4+Z-7h)
(4.6) and i s a consequence of t h e procedure f o r 1x1 Ix44-:h. This
is the reason t h a t some v e r s i o n of (4.6) was not imposed i n t o
the d e f i n i t i o n of A . Since X2 grows r a t h e r slowly t o enable the
2
CM exp(-X2/4T) term t o become small, it i s not too r e s t r i c t i v e t o
require that
Set
(4.18)
"1 = , otherwise ,
and l e t
(4.19)
and
(4.25) w(x,o) = / K(x-!,a)dv(~) , Re 0 > 0
* *
Let x be f i x e d , 1x1 r XI, and l e t Q = (Tit<Tl,Ort d l ) . Then,
* *
I W ( X , ~ ( T + T ~ ))I+ I I~ (CM) 1-a(t*) Y2
a(t ) ,
* * * )/(TI-T)
s i n h n(T1-t
a(t ) = 9
s i n h n ~ i (TI-T)
/
1
1 t ~ )sT2),
by the proof of Lemma 1. Let Q ' = ( + ~ S ~ ~ ( T + T , T2<T1
*I * * *.
Then, *
1-o ( T ~ a) (T;) 1
Y2 , a€a~'n(ty(TtT~))
(4.28) Iw(x,a)l s
c ,, ocaQ1 .
Thus, by another a p p l i c a t i o n of the proof of Lemma 1,
1 *
sinh ~ ~ ( t - ~ 6 ) / 2 T ~
B(t) =
s i n h n(T+T1-6)/4T2
*
In particular ,
f o r some a > 0 .
* * *
Iw(ix , T ) [ r (CM) l - a ( x I y1
a(x ) ,
(4.33) * *
* s i n h n(X1-x )/2X4
a(x ) = 9
s inh nxf/2x4
*
Since X1 i s not r e s t r i c t e d , then the bound (4.34) can be put i n the
form
-1 -M
maxlwl 5 C(logyl , any M ,
R
i f y1 i s s u f f i c i e n t l y small.
2.
+
heat equation backwards i n time, Numerical Solutions of Non-
l i n e a r D i f f e r e n t i a l E uations, e d i t t e d by D . Greenspan, John
w a n d Sons, Inc. , ew York, 1966.
Douglas, J r . , J r . , Approximate harmonic continuation, A t t i d e l
Conve no su & e uazioni _alle d e r i v a t e p a r z i a l e , Nervi,
2 h b ~ a i bo z l o n l Crernonese , Roma .
3. , Approximate continuation of harmonic and
parabolic i u n c t i o n s , Numerical Solution of P a r t i a l D i f f e r e n t i a l
E u a t i o n s , e d i t t e d by J. H. ~ r a m a z m i Press,
c I n c . , New
-6.
4. , The approximate s o l u t i o n of an unstable
physical problem s u b j e c t t o c o n s t r a i n t s , Functional Analysis
and 0 t i m i z a t i o n e d i t t e d by E. R. C a i a n i e l l o , ~ c a d e m l cP r e s s ,
~ . h i 9 6 6 .
5. Widder, D. V . , P o s i t i v e temperatures on an i n f i n i t e rod,
Transactions of the American Mathematical Society 2 (1944)
85-95.
CENTRO INTERNAZIONALE MATEMATICO ESTIVO
(C. I. M.E. )
B. E. HUBBARD
B. E. HUBBARD 1)
where R = R i U R and
h I1
a Rh , a r e those defined by Bramble 1 .
2
The o p e r a t o r s Ah is the usual O(h ) approximation a t polnts
x q ; .
For x E R I 1 we define
I
where I. =
I
0 . 110, .. 0 is the vector of 1en;:th h i n the x
11-2 2
Dh(v, V )+ I1 b(x) V (x)
x E R'
II
p1 = min -
V(x) = 0 (V, VIh
@ Rh
where b(x) i s defined by
I uk (x)2 dx = ( U k Uk)h = 1 .
R
- h k
U.)
J h
= -(uk. A h
U.) = p j ( u k UjIh
~h
.
while t h e f i r s t i s the d i s c r e t e analogue of Green's second identity applied
to u U. vanishing outside of Rh , Adding t h e s e equations yields
k' J
2
we would have established that ( p - A k) = O(h ) under t h e usual
k
4
assumptions that u E C (R) .
Since the l o c a l e r r o r at points of
R' is only O(1) however, we take the following additional s t e p s . We
h
introduce t h e Green's function f o r the o p e r a t o r d h on R , which,
h
f o r p a r a m e t r i c values y E Rh , s a t i s f i e s t h e d i s c r e t e equation
B. E. Hubbard
after using the equation for U. and the symmetry of G over the s e t
J h
Rh
Thus
(3) ( -
A Uk A hUk. UjIh = p j(Q)h. U .)
Jh
where a) is defined by
k
and consequently
Since the matrix of our problem i s symmetric, and positive definite the
eigenvectors {u] span the space of our discrete problem and we
have from Parsevalls identity
where
quantity.
Proof : T o prove the second inequality we u s e (7) and (8) in the equation
- 239 -
E.B. Hubbard
from which the final inequality in the theorem follows. If n > 4 the
result can still be obtained by an iteration process that begins by noting
that
Proof : Just a s in the Dirichlet problem it follows from (4) and esti-
I
2
mates for the discrete Green's function that (a)
k h
= O(h ) .
It i s
2
easily seen that. E (u ) = O(h ) which completes the proof.
h k
E. B. Hubbard
Corollary
-- 2 : If 3 R € H1(2, A, y ) , i. e. if the functions which give the
equation of the boundary in local coordinates have two derivatives and
~ At, 7 I) , the c l a s s of
P r o o f : It i s known, Gunter 3 that u k H(2,
2
u € C (R) whose second derivatives satisfy a Holder condition with ex-
ponent /' E ( 0 , ) , and constant At . Using this information
and the mean value t h e o r e m for u it i s e a s i l y established that
k
2 2
we s e e that ( @ gKh
k I . Once again E (u ) = O(h ) s o that the con-
h k
clusion follows.
as p+ a .
1
. A direct calculation then yields for x E Sp (xi)
E. B. Hubbard
2 J. Bramble and
B. Hubbard : Effects of boundary regularity on the discretization
e r r o r in the fixed membrane eigenvalue problem.
(To appear)
K. JORGENS
by
amount of work. On the other hand little has been done to find numerical
approximations for ,U (T) although this number is clearly a s important
as v (T) . We discuss here, for Schr6dinger operators T , two me-
thods which make it possible to compute ,U (T) in many cases :
e (T) = ue(To) ,
and in particular p (T) =,U(T )
o
. The method consists
in finding a representation of this sort such that ,U (T ) is known o r
0
at least is computable by known methods .
N
The method of splitting. Let m =
j=1 mj ,
m.
with x.J R ' for x R
m
. Let
m
where T. is a Schrijdinger operator in L2(R j ) acting on functions
J -
of the variable x . and p . the operator of multiplication by a real func-
J ~k
tion p .
~k J k
(x., .
) Now consider the operators
for some a > 0 , C > 0 and for all x E Ftm , Then T (defined in
0
m
C: (R ) ) has a unique selfadjoint extension (also denoted by T )with
0
domain
Furthermore T
0
i s semibounded below .
The perturbation method. We consider perturbations of T of the form
0
m
2
(7) T = c i a . + a . t b.) + p+q
j=l J J J
Theorem -
1. Let a . and p satisfy the assumptions of theorem 0 and
J
assume that
(i) the derivatives a J.ak a r e uniformly bounded
m -
(ii) the functions B (bj)\nd satisfy condition (6)
j=1
(when substituted for p ) with some a >O and C>0 .
Then T has a unique selfadjoint extension with domain D(T) = D(To)
which i s semibounded. If in addition the function
therefore p (T) = 0 .
1
Example 2. Let m = 3, x = (x x
1' 2"3)
and a (x) = - - x2 , a2(x) =
1 2
p
=5
1
p
x l , a (x) = 0 and p(x) = 0 The operator
3
.
T with these coeffi-
0
cients describes the motion of a charged particle under the influence of
a homogeneous magnetic field of strength /? in the x -direction. The
3
spectrum of T
0
can be found by a separation of variables (see 151 );
we get u ( T ) = oe(T0) =(lpl,
0
) . By theorem 1 any perturbation A
satisfying the assumptions of the theorem does not change the essential
spectrum. In particular we can take b. = 0 for j = 1 , 2 , 3 and
J
q(x) = - y ~ x I -1 ; the p e r t u r b e d o p e r a t o r T= T
0
f q now c o r r e s p o n d s t o
the so-called Zeeman-effect in quantum t h e o r y . According to t h e o r e m 1
we have (Te(T) = (IPI, 0) ; f u r t h e r m o r e it i s possible to show (in the
p ( T ) = I p l ( s e e 15)) .
The method of splitting. We s t a r t with the following example :
Example 3. The S c h m d i n g e r o p e r a t o r f o r a s y s t e m of N p a r t i c l e s of
equal c h a r g e and m a s s in a c e n t r a l Coulomb field. H e r e we have m=3N and
- - ..,n )
x = (xl, x2,. where ,; E R ' ~ i s the position of t h e j-th particle.
N J
The o p e r a t o r i s
A theorem of this type has for the first time beer. proved by
M.G. ZIslin [8 1 for an operator somewhat more general than (8) . Theo-
rem 2 above i s contained in [63 . Related results can be found in the
papers of C.van Winter [7] ; here the interaction t e r m s
a r e not
'jk
assumed to be non-negative and consequently formula (3) has to be re-
placed by a more complicated one. Finally Zislin and Sigalov [9] have
refined the theorem for the operator (8) by taking into account its symme-
t r y with respect to permutation of the variables zJ. . They prove a formula
similar to (3) for the restriction of T to the invariant subspace of
L ~ ( R ~corresponding
) to an irreducible representation of the symmetric
group S
N
.
A summary of this work and of related results has been gi-
ven by Sigalov in his recent article [lo1 .
Theorem 2 clearly applies to example 3. Denote the operator in que-
stion by T~ ; then T = T = A
1 j
1
1 .
(x -
-1 .
-p 1 3
in L (R ) and
2
ue(T ) = ( 0, WJ) by theorem 1. T is the well-known operator for a hy-
1
drogen-like atom; its lowest eigenvalue i s v ( T ) =
4
-lp2 .
The opera-
N
tors S. corresponding to T a r e all identical (except for the numbering
1
N- 1
of variables) and equal to T .
Therefore by theorem 2 we have
N N- 1 N N- 1 N- 1
ue(T ) = ( V ( T ), o o ) . It followsthat ,U ( T ) = V ( T ) <p(T )<
-I -'p2
4
for N > 2 . I f / ? ) N y Z i s l i n [8]has shown that
N N Mi-1 M
v (T ) < p (T ) ; in this case we have p (T ) p ( T ) for
M=l,2 ,..., N .
REFERENCES
------------
Balslev, E. : The singular spectrum of elliptic differential operators
in LP(R )
n
. Math. Scand. -
19 (1966), 193-210.
Birman, M.
(russianj. S.Math.OnSbornik
: the spectrum of singular boundary value problems
97 (1961) , 125-174.
-
Bazeley, N. W. : Lower bounds for eigenvalues. J.Math. and Mech.
10 (1961), 289-308
- .
Ikebe, T. and T. Kato: Uniqueness of the self-adjoint extension of singu-
l a r elliptic differential operators. Arch. Rat.Mech.Analysis -
9 (1962),
77-92.
Jorgens, K. : Zur Spektraltheorie d e r Schrodinger-Operatoren. Math.
Zeitschr. -
96 (1967) , 355-372,
Jorgens , K. : Uber das wesentliche Spektrum elliptischer Differential-
operatoren vom Schrodinger-Typ, Report, Inst. f.Angew. Math. Univ.
Heidelberg (1965) .
van Winter, C. : Theory of finite systems of particles; I the Green
function, I1 scattering theory. Math.-Phys. Publications of the Danish
Royal Academy of Sciences, Volume 2 (1965).
Zislin, M. G. : On the spectrum of many-particle SchrCfdinger operators
. -
(russian) Trudy Mosk. Mat. Obsc. 9 (1960), 81-120 .
Zislin, M. G. and A.G. Sigalov : On the spectrum of the energy opera-
tor of atoms on subspaces corresponding to irreducible representations
.
of the permutation group (russian) Izvestija Akad. Nauk SSSR -29
(1965), 835-860 .
Sigalov, A.G. : On an important mathematical problem in the theory
.
of atomic spectra. (russian) Uspechi Mat. Nauk - 22 (1967), 3-20 .
CENTRO INTERNAZIONALE MATEMATICO ESTIVO
(C. I. M. E. )
A. LASOTA
by
A. LASOTA (Krakow)
L e m m a 1. Let G be a mapping of 9
into cf (Rn) and l e t
n
a sequence of v k { c C of absolutely continuous functions satisfy
t h e following conditions
3. Continuous boundary p r o b l e m s
Now p a s s to the differential equations. Consider a map
F: JXRL
cf(Rn) , a map f: JXRL
Rn and L: cn+ Rn s u c h that :
(i) F(t, x) i s homogeneous in x ( F ( t , 9 x) = AF(t, x) for real a)
and completely continuous , i.e. the set
{ ( t , x, Y ) : Y € F ( t , x) , 1x 1 = 1j
i s compact in R~~ ;
n
An absolutely continuous function x t C will be called a solution
(in Caratheodory sense)' of equation (3.2) if it s a t i s f i e s condi-
tion (3.2) almost e v e r y a h e r e on 3.
From the t h e o r e m 1 we can d e r i v e the following ( s e e [2), 133 ) .
0 0 0
T h e o r e m 2. If the functions F , f, L s a t i s f y conditions 1 ,2 ,3
and if x = 0 i s the unique solution of equation (3.2) satisfying
(3.3) then there exists one and only one solution of the equa-
tion ( 3 . 4 ) satisfying (3.5).
Note that the t h e o r e m 2 is not true if t o mean solution of
(3.2) in the usual (non Caratheodory) sense.
In
o r d e r t o prove t h e o r e m 2 c o n s i d e r the mapping H of
n
E = c n~ R~ into cf(R ) s u c h that for e v e r y point (x, p) i t s image
H(x,p) is a s e t of a l l p a i r s ( y , q ) given by the formulae
Then we have
k k k
(3.6) yk(t) = uk(s) d s +p , u ( t ) g F ( t , x (t)) ,
a
and consequently
k /
(3.8) (Y (t))E F(t. Xk(t))
From (3.9), (3. 10) and (3. 11) it follows that (y, q) H(x, q) and we
a r e done.
4.Discrete boundary problems. In order to obtain a discrete analogue of
theorem 2 consider a finite sequence
a = t < t <.. . < t = b
o 1 n
.
Then we can replace the contingent equation (3.2) by the multivalued diffe-
rence equation
A Xi
(4.1) € F(ti, xui))
I
and the differential equation (3.4) by the difference equation
Axi
(4.2) TA = f(ti , x(ti)) i = 0, ..., n-1 .
where A x . = xitl-xi
1
and A t , = t . - t .
1 1+1 1
.
We assume that solutions of equations (4.1) and (4.2) a r e continuous in
0and linear in each interval [ti , titl] .
Theoreme 3. If the mappings F, f, L satisfy conditions (i) , (ii) ,
(iii) and if x=0 is the unique solution of equation (4. 1) satisfying
(3.3) , then there exists one and only one solution of (4.2) satisfying
(3 .5)
More exstensive theorems and some applicaticns in the theory of
discrete boundary value problems a r e due to F?H. Szafraniec [6 3.
The proof of theorem 3 is based on the same idea a s the proof of theo-
r e m 2. But in this case the lemma 1 is not needed.
( 3 . 2 ) , ( 3 . 3 ) then :
0
1) there exists a unique solution x of problem ( 3 . 4 ) , ( 3 . 5 ) ,
2) for J(z) sufficiently small there exists a unique solution
2
x of problem (3.5) , (4.2) ,
3) lim bxr-xO\\= 0.
S(%)
+o
The statement lo i s an immediate1 consequence of theorem 2 .
0
In order to prove 2 it is sufficient to show that for sufficiently
small S (@ problem ( 4 . 1 ) , ( 3 . 3 ) has only the trivial solution x =0
and to use theorem 3 . To this end suppose that for each integer k
there exists a sequence
k k
Since xk is linear in each interval (t., t . ) we can write ( 5 . 1) in
1 1+1
the form
(5.4)
From this and ( 5 . 3 ) it follows that the functions xk a r e equiconti-
which is impossible.
k.
To prove statement 3' consider a sequence ) + such that 1
k
( ) - P O and the corresponding sequence {xk] of so1utio.n~ of
( 4 . 2 ) , (3.5) . We have
(uk(t)) e F(tik k k
, u (t. )) t
1
ek(t) for tE(ti>
k
Lu = 0
k k o
where u = x - x and
k
Now suppose that 1) u I\+0 . Then upon passing to the sultable sub.
k
sequence we may assume that )lu I\ . + c (C E (0, t o 3 1 . Setting
k
v = uk 1 uk we obtaln
and we a r e do~:e.
A. Lasota
torso t e n u t o a d I s p r a d a l 3 - 1 1 L u g l i o 1967
REDUCTION A DES PROBLEMES DU TYPE CAUCHY-KOWALESKA
Par
J. L. Lions
Universite de P a r i s
Introduction.
ob f = f f l , ..., f n ( e t u
o
sont d o n n e e s d a n s QetR .
Naturellement il faut p r e c i s e r h quel s e n s on c h e r c h e une solution
de ( 1 . 1 ) - (1.4) ; mais il e s t de
toutes facons c l a i r que, B cause
de ( 1 . 2 ) (qui ne contient p a s de derivee
3 P ) l e problhme mixte
(1.1) . . . (1.4) , n t e s t p a s du type de Cauchy -Kowaleska. Cela conduit
d e s difficultes numeriques : l o r s q u e l l a n p a s s e p a r ex. aux differences
finies, l e s conditions ( 1 . 2 ) introduisant d e s ncontraintesltcompliquant
s e r i e u s e m e n t l a m i s e en oeuvre d e s calculs.
Notre objet e s t donc ici d l a p p r o c h e r l e s y s t e m e (1.1). . .(1.4)
p a r un s y s t 6 m e de Cauchy-Kowaleska.
Cela peut s e f a i r e g r o s s o mod0 d e deux facons ( 2 ) ..
(i) pait "suppression" d e la "contrainten ( 1 . 2 ) ;
1.2. Penalisation.
-- grad (div u ) ,
&
> 0 I1petitl1- ce qui conduit 5 une fonction u ne verifiant plus
(1.2) mais 5 l a place de (1.2) ?i une condition
1 n
V = j v l v;(H0(R:) , div v = 0 } , (2)
)",)
H= I f 1 fb(~~(R div f = O ] ;
dx 9
i, j = l R J
Remarque 1.1.
2
b) s- i n= 2, il y a unicite de u dans L ( 0, ;V) verifiant (1.7)
(5
(1.8)
On va maintenant approcher u (dans un sens convenable) par
des fonctions u ne verifiant plus (1. 2)
Aprks ce qu'on a dit au debut de cette section, il est nature1
1
(1.10) W = (Ho ( 9 ) )"
(1.11) K = ( ~ ~ ()" 9 )
par contre (1.13) nlest pas vrai pour u6W de sorte que tres
probablement 2, l e probleme (1.12) e s t ma1 pose . On doit done
le modifier de l e facon suivant (cf. Temam [I] [2] ) : on introduit
1.3. Resultats
n = 2,.
En outre
--
Theoreme 1.2. . Lorsque 1 + 0 on a
-
(i) pl n = 3 , on peut extraire
de facon que
2 2
(1.17) u +u dans L (0,T ;W) faible et L (o,T;K) fort 1)
I'
(ii) -
si n = ' 2 , o n l a : :
(1.18) u
I
-+ u dans
2
L ( o , ~ ; w ) faible et L
i (0, T;K)fort .
En outre
Remarque 1.2
1.4 Applications.
O P + div u = O
a?-
mais cela conduit des difficult& avu l e s integrales dlenergie . Pour
I1recuperers l e s integrales dlenergie on modifie llequation (1.1) comme
suit : on cherche. 1)
avec
l ) ~ e notations
s sont celles du n. 1 .
J. L. Lions
(2.4) \ Cr ( x , t ) = ~s i x e , ~F]o.T[,
(2.5) 0
2
q0 choisi quelconque dans L (52) .
-I1 y a unicite si n= 2
(2.6) ut + 2
u dans L (0, r,W) faible et
2
L (0, T, K) fort
En outre
(3.2) oh
A?= -1-
3 xi
(
1J
(
3 xj
X
avec
(3.3)
(oh
3u
--=
av
3u
i t a i j 3 7 ; cos (n, xi) , n = normale 5 r eit6rieure 5 R)
J
A w = 0 dans R
(3.5)
wl = g
r
Alors
avec
-
3.3. Methode d e s d e r i v e e s artificielles.
On c h e r c h e solution de
1
(3.12) & "~7
'+As t = 0 , C > O ,
oh
= prolonpment de u 3 R(ou suppose que u C H (r),d>o) .
Id
0 0 0
On peut a l o r s m o n t r e r l e s r e s u l t a t s suivants :
Theoreme
--- 3. 1. ----
L e probleme (3.12) (3. 13) (3. 14) -admet une solution
--
-Tlleor.&me
.... 3.2.
-- Lorsque
- --+ 0 on a
u ,
u dans L 2 ( 0 , ~ H1(fl)
; ) .
t
3.4 Applications.
Au = 0 dans O X [t >OJ ,
(3'21) oh ui = prolongement de u 1, ,
J . L . LIONS
Par
J . L. Lions
Universite de P a r i s
Introduction.
eme
Pour l e s operateurs elliptiques du 2 ordre, une methode d'appro-
ximation pou l e s probl6mes aux limites homog6nes ?I donnes irregulieres
(le 2eme membre etant p a r ex. une rnasse de Dirac, la solutiun c o r r e -
spondante etant alors le noyau de Green) est donnee darls Bramble [I]
et pour l e s donnees frontigres irregulieres (la solution correspondante
&ant alors p a r exemple le noyau de Poisson)
- une autre methode est
donnee dans Jamet 1
Wous introduisons ici une methode differente valable pour l e s opera-
t e u r s elleptiques d'ordre quelconque et des donnees au bord arbitraire-
ment irreguligres et valable aussi pour l e s equations d'evolution. Mais
supposant (A l a difference des travaux cites de Bramble et Jamet) que
le frontigre et l e s coefficients dp, y I1tr&s reguli5rs". Les details te-
chiniques sont dans le cas general fort longs et utilisent l e s resultats
de Lions-Magenes [21 ; nous expliquons ici l a mCthode s u r des exem-
ples simples.
5 1. Cas elliptique
1. Example 1
a , a , . c*(R) , avec
0 1J
Soit
b
ij3 l ' o p e r a t e u r de derivee conormale a s s o c i e A.
a3
a
On r ~ m p l a c e a l o r s (1.4) p a r 6, 2 t u = g sur r , >0 .
On e s t ainsi conduit au probleme
- (du type Neumann) suivant
trouver (pour > 0 donne) u solution de
€
On
E a g
verifie
t
fadement
u6 = .
que
sur p.
ce probleme admet une solution , m i -
Principe de la demonstration.
1
On deduit de 18 ltexistence et ltunicite de u
€
dans H (R) .
2) Introduisons solution dans H'(R) de
"E.
A% v = u dans 7
(1.10)
t 2 . t y~
L= 0 sur F,
3
Puisque ul 6 ~ ' ( 0 ) , on a; v E H (0) (cf. p a r ex. Lions-
6
Magenes , chap. 2 t s i lton prend dans (1.9) v = vE e t que
[2]
l t o n integre p a r parties , on obtient 2)
(1.12)
I1 1I <C , 1
(uE , C, independant de & ,
lutl
2
6 c211gllH-~ IUtItC1 lfl la l
(f1
d'oh
(2.3) u
€
-, u dans
-- H-'(R).
..
Cela sgffira pour comprendre comment resoudre le cas general :
& H-' (7) , s > 0 quelconque,
Comparer J. P. Aubin . J. L. Lions [l] (ce volume) .
- 290 -
J. L. Lions
v = v solution de
C
(t l ~ ' t ~ f ) v E= ( - ~ t l ) - ' Lu 08 (-At11
- 1 e s t Itinverse de ltiaomor-
1
phisme (-A + l ) de H (0) s u r H-I (R) , et avec des conditions aux limites
0
convenables.
2.2. Application.
Donc :
4 2. Cas parabolique.
1. Nous nous bornons A un cas particulier t r e s simple.
Dans le cylindre Q=R x ] O,T [ , on considere l e probleme
- 291 -
J. L. Lions
et avec
Z
Alors la solution u est en particulier dans L (Q)
(cf. Lions-Magenes [2], chap. 4) .
On t t a p ~ r o c h e tce
- ' probl&me de la facon suivante : on designe par
la solution de
'3 Ut
(1.5) + A u = f ,
37 t
(1.8) u!
t
- &
u
0, on
dans
a
2
L (Q) .
-
[2] Problgmes aux limites non homog6nes et applications. Vol. 1
e t 2, P a r i s , Dunod 1968.
J. P. AUBIN et J. L. LIONS
C o r s o t e n u t o a d I s p r a d a l 3-11 Luglio 1 9 6 7
REMARQUES SUR LIAPPROXIMATION REGULARISCE DE PROBLEMES
AUX LIMITES
Par
J.P.Aubin et J . L . Lions
Introduction
-----------
On donne ici un procede assez general permettant d'approcher dans
la topologie l a plus fine possible ( I ) l a solution de certains problemes aux li-
mites variationnels lineaires de nature elliptique, par des solutions de proble-
mes aux differences finies (ou dtautres problemes approches) .
La methode proposee utilise essentiellement :
P o s i t i o n du p r o b l e m e
1 . ....................
W C V ,FCV1
la
- solution u &s V de fl Au = f " appartient
a w.
(mais A ntest pas necessairement un isomorphisme de W s u r F , sf.
I
aussi No 5).
1.2. Example .
Si R e s t un ouvert borne de fk , de frontiere reguliere , on
prend
est :
1
Uhevh
Mais il nly a pas de raison pour que, sans hypothese supplementai-
r e , on ait alors ph u + U dans W lorsque f est dans F.
h
La methode proposCe consiste B regulariser l e schema (2.4) .
La forme b(n, v)
On choisit '2' b(u, v) forme sesquilineaire continue s u r W, telle
I).
hn) designe alors l a maille du reseau s u r lequel on d i s c r e i s e
le ~ r o b l e m eaux limites
(2. 6, ~ ( hb(ph
) uh, ~ ~ v ~ ) + a ( ~ =~(I.uphvh) ~ r c~vh
~ . . ~Jvh ) .
oh f ( h ) > 0 et E( h ) 3 0 lorsque h3 0 (2)
(i) -
si f 6 Vt alors u 3 u p dans V lorque h-)o (3).,
h h 7
(ii) -
si f e E' et
- s-
i E (h) est choisi de s o r t e que
alors p u C ) u dans
-W lorsque h a 0 ,
h h
Estimation de lterreur
En utilisant la theorie de ltinterpol;tion (4) on peut obtenir l1esti-
mation de l t e r r e u r suivante ; de facon generale, soit [w, V] l'kspace de
Hilbert intermediaire (J. L. LIONS [l] ) de parametre 6 . 0 <8< 1 (5),
Alors
-
("11 es! immediat de verifier que (2.6) admet une solution unique.
n faudra p r e c i s e r ce point - cf. (2.7) c i dessous .
( 3 ) Cette propriete est verifiee (comme on le rnontre sans peine)pour le schema
(2.4)
(4)0n utilise ici seulement la theorie hilbertienne de. ltinterpolation, comme in-
troduite dans Lions [I] . Un expose detail16 en est donne dans Lions-Magenes
[I), Chap. 1.
J . P. Aubin et J. L. Lions
-Remarque.
--- 2.1.
3 . .......................................
1)emonstration d e s T h e o r e m e s 2. 1. et 2 . 2
Ph Uh -
Mais comme ( f , p
"+
k h
dans V faible.
donc u
+ = u . Enfin, prenant v =
h
u
h
dans ( 3 . 2 ) on obtient
I(h)
b ( ~ h u hphuh)
, + a ( ~ h u h - uPhuh
' -u)' C(Ph uh -u, U)3 0
7
tlloh ( i ) (et en o u t r e \[(h) p h u h - + O dans W) .
3 . 2 --------
L e c a s ( i i ) du T h e o r e m e 2.1.
Sh = PhUh - Ph rh U.
I1 vient
d'ob
t(h)b(phuh.~ ~ u ~ ) - + a ( $ ~ t(h)b(phuh.
>&)= ~ ~ r ~ u ) + a (hur h- u,p h d
et comme u W on peut u t i l i s e r (2.2) (i) . Donc
<
- ,
1 2
[ (h) \\\ph~hJI1
1
!lShll 2 'c ( f ( h ) 'l ( h )2)
ge -
dans W faible e t d'aprhs ( 3 . 1 ) v e r s u, donc
- 302 - J . P. Aubin e t J. L.Lions
d'oh
b( 6 h. $h *. [-
1
(h)
a ( g; Shl5 Ib( p h r h ~ih)
J +
( (h)
6.
et grace A (2.7) , b ( d , J )d0 d'oh l e theoreme, c a r
h h
Ph Uh
- u = Jh+(phrb u-u) .
Ilu - p u 11 I C
h h
(cas oh 9 = 1) e t p a r ailleurs, dans l e c a s oh 9 = 0 : (\(u- p u Ill < c
h h -
.
On interpole entre ces deux majorations: on en deduit l e resultat.
4. Exemple
(1) Cela, sous lthypoth&se , ~ ( h ) / < c. L1hypoth&se plus restrictive (2.7) intervient
pour l a convergence forte -
J. P. Aubin et J. L. Lions
Mais si
r -
C (R) designe Itespace des fonctions r fois continament
differentiables dans 5 on a, dtapr&s le theoreme de Sobolev fractionnai-
r e , (S. L. Sobolev [I] . J. P e e t r e [I] )
(R) C cr(5) ~i
(4.5) n
k+2m(l-0) > -2 + r.
n
Soit k donne tel que kt2m > - + r Alors s i l1on choisit 0 de
2
.
n 1
facon que 0 < (k - - - r) + 1 , on deduit du Theoreme 2.2 et de
2
(4.5) que
0
((phuh-u (1
5 c I ~ T.
p verifiant (4.3) .
c (Q)
P a r consequent
5 - --------------
Transposition
II i) W e s t dense dans
et que
k
(5.2) A et A est un isomorphisme de W s u r F 1)
converge v e r s 0 dans W .
On montre de m&mequten remplapant A par A?
dense dans Wt et, dtapr&s l a premigre partie du theoreme 2-1 , on sait que
tend v e r s o avec h.
BIBLIOGRAPHIE
W. V. PETRYSHYN
by
W. V. PETRYSHYN
(University- Chicago)
x
ntl
= Ax
n
n+ 1
= A x (x given in C; n = 0, 1,2,
0 0
...)
converges t o the unique fixed point of A in C.
In the c a s e of contractive mappings A of C into C, the P i c a r d s e -
quence need not converge, t h e r e need not b e any fixed points, nor need the
fixed point b e unique if it does exist. T o obtain s o m e positive r e s u l t s on
the P i c a r d sequence f o r contractive mappings, we need to impose further
r e s t r i c t i o n s on the Banach s p a c e s X , the s u b s e t s C and o r the operator
A . F o r the s a k e of completeness and c l a r i t y we r e c a l l the following de-
finitions: X i s uniformly convex if f o r any 6 > 0 there exists a 6 ( 6 )>O
such that 1 X-y 1 1 r for IIx \I< 1 and
IIy II-< 1 implies that l(xty tyl<2(1-6 (t));
W.V. Petryshyn
Applying the recent theory of monotone operators Browder [ 3a] (see also De
P r i m a [ l o ] ) proved that A has a fixed point in
r
B .
Using the above
existence theorem the writer 1 3 5 1 has derived the following result for de-
micompact mappings A ( a mapping P i s said to be demicompact if
whenever { un\ i s a bounded sequence and { un - Pun 1 i s strongly con-
vergent then there exists a strongly convergent subsequence { u n1. \ L
Proposition 1.4. Let -A be a demicompact contractive mapping of
B
r
into H which satisfies (1.6) . Then for any x o Br
~ and any
E ( 0 , l ) the sequence determined by the retraction-iteration method
i'n+l\
for all x in S
r
Remark 1.1. It was shown by de Figueiredo-Karlovitz F8 ]that if
the retraction R C of X onto C = B (0) i s contractive for a Banach spa-
1
ce X of dimension > 2 , then X i s a Hilbert space. This fact indicates
that the retraction-iteration method (1.7) i s essentially restricted to Hilbert
spaces.
Further progress in the theory of the iterative construction of fixed
points was made in Browder-Petryshyn [8]where a number of results
concerning the Picard sequence (A"x\ was established. We mention here
only two results from [8 ]which a r e directly relevant to our discussion.
We first reaall that a mapping P of X into -
X is said to be strongly
closed' *I if for any sequence tun/ in X with u - - \ u and Pu -\v we
n n
have Pu = v.
in F(A ).
-
It was shown in [8,39] that for any fixed A E(0,l) the mapping
A' = A I t (1-A ) A (or AX = A + (1-A )I) i s a contractive asymptotical-
ly regular mapping with F ( A i ) = F(A) (or F(Ah ) = F(A)) provided that A
i s a contractive mapping of a uniformly convex Banach space X into X
with a nonempty s e t F(A) of fixed points. Since, furthermore, forJ€(O, 1)
we have I - Ata =(I-A)(I-A) ( o r I-AX =A(I-A)) we s e e that A satisfies
condition ( a )if and only if A\ (or AA ) does also. Using the above re-
m a r k s we have the following corrollary of Proposition 1.6.
Proposition 1.7. Let A be a contractive mapping of a uniformly con-
-
vex Banach space X into X with a nonempty s e t F(A) of fixed points.
Suppose that A -
satisfies condition (0).
Then the sequence
(xn.1)
determi-
-
ned by (1.5) o r by
-
space X -
having a weakly continuous duality mapping and let A be a con-
tractive mapping of C into C with at least one fixed point in
-- C . Then for
any
- x in C and any A( ( 0 , l ) the Picard sequence
0
convergent to a fixed point of A in C. -
We recall that if C is bounded, then the existence of at least one
fixed point of A in C follows from the results in @, 19,233. Let us add
that Opial did not use the theory of monotone o r J-monotone operators to
prove the strong closedness of (I-A). His arguments were similar to
Schaeferfs [39] . We recall that for weakly continuous contractions in real
Hilbert spaces the weak convergence of [A; xO}was first proved by
Schaefer 1391 - . The extension of this result to general contractions was
thus carried out in two stages, the proof of Proposition 1.5 by Browder-
Petryshyn [8], and the proof of Proposition 1.8 by Opial PO] .
Remark 1.3. It was already noted in [9] that Gohdels assertion in
1 1 4 that the weak convergence result in E9] follows already from the
existence theorem i s inaccurate since the proof by Schaefer uses two facts,
the existence of !it least one fixed point and the fact that if a subsequence
of {A; xo) converges -ueakly to y, then y is a fixed point of A. This
latter fact follows a s in the proof of Theorem 7 i n p ] and Opial has uti-
lized this argument together with a simplified form of'schaefer's proof.
Let us add that under the stronger assumption that the strong limit
set of the iterates i s nonempty, convergence results for contractions have
been given by Edelstein E l , 12,131 and Gohde LO]. However, there seems
W. V. Petryshyn
It has been shown in 1 9 3 that for every fixed t such that 0 < t -< 1-k the
mapping A = tA + (1-t)I i s contractive, A has the s a m e fixed points a s
t t
A in C and (A ) = i I + ( I - ) ~ ) A =~ A where
tA .
7
= 1-(I- )t with Y
t < 1-k for any fixedl\€(0,1) if and only if > k. Consequently we have
T
the following extensions of Propositions (1.9) and (1.10) for A mapping
C into C .
Proposition 1.11. Let A be a strictly pseudocontractive mapping of
C into
- C. Then , for any x 6 C and any
0
yI such that k <
converges weakly to a fixed point of A in C. If additionally we assume that
-
A i s demicompact, then
{"
A
d
x converges strongly.
Similar result holds for the retraction-iteration method (1.7) when it i s
applied to strictly pseudocontractive mappings A of B (0) into H
r
which on S satisfy the Leray-Schauder condition (1.6) ,
r
Remark 1.4. In [ g l t h e authors also discuss the construction of fixed
W, V. Petryshyn
Theorem 1. -
Let be a general Banach space and let be a con-
tractive mapping of a subset C -
of X -
into C such that (I-A)(C) --
is a
closed s e t in X. Then
-A has a fixed point in C.
-
Proof. Assume without l o s s of generality that the origin 0 ( C.
Let r be a sequence of numbers such that 0 < r < 1 for each n
n n
and r -1
a s n+m. It i s obvious that A = r A i s a strictly contrac-
n n n
tive mapping of C into C. Hence, by the s t r i c t contraction mapping
principle, for each n there exists a unique point in C u such that
n
A u = u F o r the sequence {un
n n n'
} thus determined we have
u
n
- Au n = rn Aun -Au
n
= (r
n
- 1 ) A un- 0 a s n+m
since r -1
n
and {AUA C C is bounded. Hence 0 l i e s in the closu-
re of (I - A)(C) . Since, by assumption, (I-A)(C) i s closed, 0 t (I-A(C).
and therefore A has a fixed point in C.
Lemma 1. If in addition to conditions of Theorem 1 we assume that
X is strictly convex, then the s e t F(A) of fixed points of A in
- C-
is
a closed convex set.
W. V. Petryshyn
-
Proof. By Theorem 1, F(A) # 6 . Suppose that x and y a r e in
F(A) and z = tx t (1-t)y for t 6 (0,l). Then, by the contractivity of A
and convexity of C, z C and
and since ( An t 1 x I
-u +d O , ~ I ~xO-u
; J+dO and P A n x0-uI 5 1 A ~ X ~ - U I it
/
-demicompact
- mapping of D(A)(C X) -
into X . Then fi s a t i s f i e s condition-
Proof. L e t
-.-
Q be a bounded closed s e t in D(A) and let / uk]
.
C J
be a sequence in Q such that (I-A)u +v a s n+m. Since
n
u is
a bounded sequence, and 1, (I-A)un
n
) i s strongly convergent, by demicompac-
I \
tness of A, t h e r e e x i s t s a strongly convergent subsequence
IUni}
Hence the closedness of Q and the continuity of A imply that u n . + u
1
-L e m m a 4. -
Let X be a r e a l Banach s p a c e with a projectionally com-
plete
- ([xn \, pn}). L A A be a Lipschitrian - P -compact mapping of
1
D(A)CX --
into 2 . Then
- A is demicornpact and hence s a t i s f i e s condition
P.
Proof. L e t
- Q b e a bounded closed s e t in D(A) and l e t
be a sequence in Q s u c h that (I-A)uk - + ~ a s k -c w . Since the
system ( 1 ~ , ~{Pn))
) is projectionally complete in X , f o r each inte-
ger k and = 1 t h e r e e x i s t s a n integer n(k) (which we c a n
k
and shall a s s u m e that n(k) > k) s u c h that Ilu k - P .(kIUk 1 < 'k ' This
and t h e relation (I-A)u -+ v imply that with w - in X
k n(k) - Pn(k)Uk n(k)
we have
Thus, since A is
P -compact, there exists a subsequence
1 ~n(j)I /
IWn(k) 1
P . Aw .*Au
and an element u in D(A) such that w .*u
a s n(j) -co . n(J)
Consequently, u.-uI/( -W
and
1 IJu
~ ( J I "(J) J j n(j) II +
A& (0, 1). t < 1-k if and only if > k. Indeed, if t < 1-k and 1 > Y > 0
i s to hold for any 1E (0, 1) it follows that
I must satisfy the inequali-
A~ =-
0 1- r
> 1 , since Po
> 1 , in contradiction to (1.6) .
Suppose now that we drop the additional assumption that A satisfies
condition (d) . Without this condition, thus far it was only possible (see
I.
[39, 8, 30 , 9 ) to prove the weak convergence of ( xo) . In discus-
sing the weak convergence of {A; x o j we will use the arguments simi-
l a r to those applied in [a, 30,9] . The two succeeding lemmas were proved
in a somewhat different form in [30] .
Lemma 7 . Let
-X be a uniformly convex Banach space having a wea-
kly continuous duality mapping J of
- X into X*
- . Let {xn] be a se-
w
imply that /1 (d0)d0 -< P (d )d, from which (2.2) follows. To complete the
0
proof suppose d =d
o .
in (2.2) Since llxm (tx+(l-t)xo) ) 5 t Jkm-x +
- 1
t (I-t) l1xm - xO 1 for any t in it follows from the first part of
Lemma 7 and our assumption d = d that
0
1) lim
- 11-
which implies that > lm
im x , It follows from
Xm-x~ m m-y~-Axo~ f
this and Lemma 7 that x - AX
O-Yo 0'
Remark 2.4. As was already neted, Lemma 8 was first proved in a
more general setting in
[51 using the theory of J-monotone operators under
the assumption that A is defined on all of X. In case of a Hilbert spa-
ce a somewhat different proof i s given in
191 .
Remark 2.5. Using Lemma 8 it is easy to show that if X has pro-
perties assumed in Lemma 8 and A is a contractive .mapping of a clo-
sed bounded convex subset C of X into X , then the s e t (I.-A)(C)
i s closed . Indeed, let ( un\ be a sequence in C with (I-A)u +v
n n
as
n --, co. We need to show that
0
v
lies in (I-A)(C) . Since X, being uni-
formly convex, i s reflexive, we rnay replace un by a subsequence, [ which
we again denote by (un 1, u AU
n
for some u in X. Since
such that
0 0
C is closed and convex and hence weakly closed, u lies in C. Hence,
0
by Lemma 8, (I-A)uO = v Consequently by Theorem 1, if A maps C
0'
into C, then A has fixed points in C.
We now prove the second main theorem (compare it with Proposition
1.8) in this section by the arguments similar to those used in [39,30,1
in the case of Hilbert space.
Theorem 3. Let - C be a closed bounded convex subset of a uniformly
convex Banach space having a weakly continuous duality mapping J of X
-
into X* -
- and let A be a contractive mapping of into C. Then for
C -
any
- x in C and any),E ( 0 , l ) the sequence {A" xO) converges weakly
0 -
-C.
to a fixed point of A in
Proof. By Theorem 1, Remark 2.4 and Lemma 1, A has a nonem-
pty closed convex s e t F(A) of fixed points in C and F(A) = F(A ) .
Since, for any u in F(A), the sequence [1 xO - ]
UJ is decreasing,
we can define the nonnegative r e a l valued function g(u) from F(A) into
+
- 330 - W.V. Petryshyn
Furthermore, u
is unique. Indeed, suppose there exists another point
0
v in F(A) such that d = g(v ). Then, by the convexity of g(u), it fol-
0 0 0
lows that, for any t ~ [ 0 ,11 , g(tuo t (1-t)v ) < tg(uo)t(l-t)g(vo) = do. Hence,
0 -
a s n -+ m , we have
',I , As was already noted, when F(A) has just one point, Theorem 3
was first proved in [8] by using the theory of J-monotone operators. In
its present form it was proved in [30] .
We remark that the weak convergence of the retraction-iteration me-
thod (1.7A) (i. e., Proposition 1.9) and of the sequence {A; (i. e. , pro-
position 1.11) follows from Theorem 3 and the observations following Re-
mark 2 . 3 since, a s is not hard to prove the mappings
a r e contractive from C to C and satisfy the needed conditions on the
RCA and
AY
boundary of C.
For the sake of completeness we end this section by proving Edel-
stein's extension of Proposition 1.2 to strictly convex Banach spaces (see
a fixed point of A in C. -
Proof. It suffices to show that there exists a subsequence of
[A; x s i c h converges to a fixed point of A in C. F i r s t note that,
by Schauderts fixed point principle o r by Theorem 1 above, A has nonem-
pty set F(A) of fixed points in C which is closed, convex and
F(A) = F(AA ). Next, let M be the convex closure of the set A(C)u{x 1.
0
rn'
By Masurts he or em [2d M is compact. Since {A: x o ) ~f i , there
exists a subsequence
If
AA
I
xO and u in C such that
u F(A) , then Theorem 4 follows. Suppose, to the contrary, that
A xj u .
o
Since XCF(A ) and AA is contractive, the latter two inequalities and the
strict convexity of X imply that I I A ~ xo -xll< Xu-x(- a/2 for all suffi-
i
ciently large p which contradicts the convergence A A x -+u.
0
3.1. Convergence of fixed points of strictly contractive mappings kA.
Let A be a contractive mapping of a subset C (closed bounded and
convex) of a Banach space X into C and let kn] be a sequence of real
numbers such that k - c l (n+m) and O < k <I. Let v be an arbitrary
n n 0
.
point of C Then for each n the mappings A (x)=k Ax + (1-k )v is stric-
n n n 0
tly contractive mapping of C into C. Hence, for each n, there exists a unique
point u in C such that A u =u Our problem is to discuss the conditions
n n n n'
under which, a s n-cao, the sequence (u,] converges to a fixed point of A in
C. In case X is a uniformly convex Banach space (in particular, a Hilbert spa-
ce) with X* strictly convex and with a weakly continuous duality mapping
J of X into X* and A is a contractive mapping of X into X such that
A maps C into C , this problem was completely settled in an interesting
paper by Browder [63 . Browderts discussion rests heavily upon the theory
of J-monotone operators introduced in [53 and further developed in [7]
since, a s shown by Browder, there exists a nice nonnection between such
operators and contractive mappings defined on the whole space. X .
The purpose of this section is to rederive ~ r o w d d r f sresults [6]
for a contractive mapping A which is defined only onthe subset C , i.e.,
A maps C into C. It is worth noting that one cannot use the theory of
J-monotone operators when A i s defined only on C . Our proofs utilize the
assertions of Lemmas 7 and 8 . Let us add that our proofs thus become qui-
te simple. At the end of this section we consider a practically useful choi-
/
ce of the sequence k suggested by de Figueiredo [17]
nl
gle iteration process converges.
for which a sin-
-X
t r a c t i v e mapping of a subset C of into
- C.-L e t v 0
be an a r b i t r a r y point
of C. F o r each kn -
-- in (0, 1) A be the s t r i c t l y contractive mapping of
n
C into C defined by A x = k Ax+(l-k )v f o r a l l x in C. L e t u be the
- n n n 0 -----
n - - -
unique fixed point of A in C.
n -
Them f r o m each sequence n(j)+co we can
e x t r a c t a strongly convergent subsequence converging to a fixed point of A
in C.
-
-
Proof. It suffices t o a s s u m e f o r a given sequence k . = k . - t l
J ~(JI
as j-cco , that v . = u AVand to prove that v.-+v. Since C is weakly
J n(j) J
closed, v l i e s in C and s i n c e v . i s the fixed point of A . =
J n(l)
.-
= k At(1-k )v = k.A + (l-k.)v in C we have
n(j) n(j) 0 J J 0
a s j+co since
k,+l and Av. is bounded. Hence, by L e m m a 8, v i s
J J j
a fixed point of A in C , i. e. , vgF(A) , Now f o r each j we have
Subtracting (3.2) f r o m (3.1) and taking its inner product with J(v.-v) we get
J
-
then u -+
n
u as k
0 - n
-k 1 (n ca).
Since v.-u -v
J 0
u
0'
- and J i s weakly continous , ~ ( v ~ - u ~ ) - J ( v - u
0) '
Hence, by (3.5), (vO-uO,J(v.-u ))--c (vO-uO,J(v-u )) < 0, Consequently, (3.6)
J 0 0 -
implies that v.+u
J 0
a s j +ca . }
Since { v j was any weakly convergent s e -
quence gotten from [ u n i , it follows that u +u
n 0'
Note. Observe that we did not require for X to be strictly convex.
-
-A be a contractive mapping of a subset C of-a
Corollary 1. Let
Hilbert space H - into C. F o r any fixed point v in C and any
0- -
let A be the mapping of C into
kn6(0, 1) -
n - C defined by A
n
(x)=k
n d
Axt(1-k vo
for
--
u +u
n
all
0 -
x in
as n
C.
-
Let
-n u
a,
be the unique fixed point of A
n -
in
, where u 0 is the fixed point of A -
C .-Then
in C nearest to
W. V. Petryshyn
Proof. To obtain
- Corollary 1 from Theorem 6, first note that in case
X i s a Hilbert space H we can identify its dual with H by the inner pro-
duct and the simplest weakly continuous duality mapping i s the identity map-
ping I . Thus, all that remains to prove i s that to any point v
0
in C
there exists a (unique) point u in F(A) nearest to v such that
0 0
0 0 0
- ~ -
.
(v -u , u -v) > 0 for all v in F(A) This fact was proved by Browder [6]
-
(see also [9,27] ). But, for the sake of completeness we reproduce this proof
here.
It i s well known that, since F(A) i s a closed bounded convex set in H,
to each point v in C o r in H there exists a unique point u in F(A)
0 0
nearest to v If, for any other point v in F(A) , ' we put u = (1-t)u +tv
0' t 0
for 0- - then by definition of u 0 we have the relation
< t<l,
On the other hand, suppose there exists another point u in F(A) such that
1
for all v in F(A)
n
(3.9) Y, ' An (n=1,2, ...,
An = n / n t l A)
-
m a p p i x J of
- X into
- X* -
and .- let A be a c o n t ~ a c t i v emapping of
C(CX) -
into C. Assume that 0 C and that there exists u (F(A) such that
0
-
(uo, J(uo-v))< 0 for all v in F(A) A =k A(k = n / n t l ; n = l . 2 , 3 , . .),
n n n
.
then for each y in C the sequence determined by the process (3.9)
0-
converges to a fixed point of A in C . -
Proof. Let
n
x .
be the fixed point of A in C Then since A i s
n n
strictly contractive for any initial approximation x in C we have the
0
e r r o r estimate
( 3 k nk
1 o 011-
(3.10)
7A X - x
H ~ ~ x ~ -ix ~ l l < m
1 -
ntl ( ~ t n ) ~ - ~ ~
where m i s the diameter of C. Since, by Theorem 5, x --t u and
n 0
u EF(A) it i s easy to s e e that y n3 u0' Indeed, it follows from (3.9) and
0
(3.10) that
W. V. Petryshyn
ria -1
Since, a s i s not hard to verify, n n a / ( l t n ) -+O as n.-+ (a for any a >1
and x--+ u it follows from the above inequality that y -+ u
n 0 n 0'
-
Note. In case X is a Hilbert space, in virtue of Corollary 1, Theorem
7 reduces to the result contained in 1171 .
W. V. Petryshyn
References
----------
1. L . P . Belluce and W.A. Kirk, Fixed point t h e o r e m s for families of contrac-
tion mappings, Pac. J. Math. 18(1966), 213-217.
2. M. S. Brodsky and D.P. Milma, On the c e n t e r of a convex s-
e t , Dokl. Akad.
Nauk SSSR 59 (1948), 837-840.
-of
3a. F. E. Browder, Existence of periodic solutions f o r nonlinear equations
evolution , P r o c . Nat. Acad. Sci, USA , 5 3 (1965), 1100-1103.
3b. --
, Fixed point t h e o r e m s f o r noncompact mappings in Hilbert
space,
- P r o c . Nat. Acad. Sci., USA, 53 (1965), 337-342.
4. -- Proc.
, Nonexpansive nonlinear o p e r a t o r s in Banach space,
Nat. Acad. Sci., USA, 54 (1966), 1041-1044.
5. ---m a p -
, Fixed point t h e o r e m s f o r nonlinear semicontractive
pings in Banach spaces, Arch. Rat. hlech. And Anal. , 21 (1966), 259-269.
6. -
, Convergence of approximants to fixed points of nonexpan-
sive nonlinear mappings in Banach spaces, Arch. Rat. Mech. and Anal. (1967),
82-90.
7 . F. E. Browder and D. G. B e Figueiredo, J-monotone nonlinear o p e r a t o r s in
Banach s p a c e s , Konkl. Nederl. Akad. Wetcnsch, 69 (1906) , 412-420.
W. V. PETXYSHYN
by
W, V. Petryshyn
- (g, x) + (Ax, x) = 0.
Hence, x
m
---c x and A x + Ax = i. e., A satisfies condition (c)
m m
.
Remark. Corollary 2 i s certainly true when A is strongly monotone,
i. e. , Re(Ax-Ay, x-y) -> c 1 x - ~112 . When A=I-F , where F i s monotone,
the result was first proved by Minty [lq (see also Kachurowski [7]) . F o r
general continuous A, it was proved by Browder [2]. For complex monoto-
ne, operator A with the additional assumption that A i s bounded, Corol-
lary 2 was proved by Zarantonello [19] and by Browder [3] with the boun-
dedness assumption dropped. All the above proofs a r e nonconstructive and
rather complicated.
In his forthcoming paper [4] Browder notes that for certain classes of
nonlinear opertaros (e. g. J-monotone operators) a direct verification of con-
dition (c) seems sometimes to require additional hypothesis, which thus
might in general restrict the class of equations to which Theorem I is applica-
ble. He then shows that if instead of condition (c) we assume that Eq. (1) pos-
sesses a solution, then somewhat weaker assumptions ensure that Eq. (1) i s
strongly projectionally-solvable. In his subsequent paper [57 Browder
exploits further the solvability conditions (s) by deriving general results on
the relation between solvability condition and the approximation-solvability
(to be defined below) of Eq. (1). In [16] the speaker showed that at least
when X is a reflexive Banach space then, under the assumption of the other
hypotheses of Theorem I, the condition (c) and the solvability condition (5)
a r e equivalent. In his subsequent paper 1173 the speaker showed the equiva-
lence between the solvability condition (S) and the modifed condition (c)
(the so-called, condition (H)) without the assumption that the underlying
W,V, Petryshyn
a s s t r o n g l i m i t s of solutions x CX of equations
n n
-integer N >0 such that f o r each n>N and each f in Y , Eq. (7) h a s a unique
solution x in X such that in X and x is the unique solution of Eq.
x -+ x -
n - n -- n
(8) n>N -
and all
-x and
- y in Xn .
Then Eq. (6) is uniquely approximation-solvable if and only if A sati-
-
sfies the following condition (H): If- rm i s any subscheme of the approxima-
tion scheme rn for Eq. (6) and is any bounded sequence in X -
with
such that for some g , then there exists a
oftm] and ana element-x in -X such that x and A x
-+ x -
m.
1
m. m ,
1 1
+
-
Proof. (Uniqueness. ) Suppose that uf v and Au=Av. Because, for
each u and v in X, P u and P v lie in X (8) implies that for each
n n n'
' '1f we do not assume that X, and Yn are subspaces of X and Y respectively
(as is usually the case when Eq. (7) i s a finite difference analog of Eq. ( 6 ) ) ,
then all results outlined in this section remain valid without any substantial
chahge in the proof provided that, a s in Aubin [I] (see also the papers discus-
sed during this meeting by Lions, Reviart) we introduce the mappings
whence, in view of ( 7 ) and the fact that 11 ~ ~ , ( f )-( ( K< for some constanl K
(11 xn 11 ) 5 KtK
0
which implies lllat I( xll 1 z p ( K O t ~,)
i. e. , { xl, is a boundpd seque~lce with x , ~ X I , and such that
n n
A x =
kmj
uniquely approximation-solvable.
Converse . Let I'm= ({xmI , Y(), ,(P,], ) be an a r b i t r a r y
sut;schenle for Eq, (6) and let x be any bounded sequence in X with
m
x in X such that
m m
Since y
m
-
y, (12) implies that x
m
-
y, a s m d m , and Ay =g. Consequen-
tly, (9) implies that A x + Ay and thus shows that A satisfies condition
m rn
(HI .
The following theorem gives the relation between the solvability condi-
tion (S) and condition (H) .
Theorem 2. Under the hypothesis of Theorem 1 the following equivalent as-
sertions a r e valid:
(A1) A satisfies condition (H)
--
an integer N>O and a function ( r ) a s in T h e o r e m 1 s u c h that the inequality
(8) holds. Then-- , under the above hypothesis,
--- a s s e r t i o n s (A ), (A ) and (A3)
1 2 -
-
of T h e o r e m 2 a--
r e equivalent.
Remark. Under the hypotheses of T h e o r e m 4 with d ( r ) satisfying sli-
ghtly weaker conditions, the equivalence of a s s e r t i o n s (A ) and (A ) was f i r s t
2 3
obtained by Browder in [5] .
3. P e r t u r b e d problems. O u r next t h e o r e m s deal with the problem of
constructive solutions of p e r t u r b e d equations
-converges
--- y strongly
tu----- in Y -and ---- uniformly f o r y in a compact s u b s e t of
Y , B i--------
s completely c- o n t i n u o--~and
~ ~ A s-a t i s-
fies-
condition (11). -
Suppose
-further
------- that f o r a given f -in Y -
and-each n N the solutions-x n - of Eq.
-
1%
- exist and a r e uniformly bounded by a-constant
--- independent of n.
If f o r any given
------ in
- Y Eq.-(3
f - x in- X,
h a s a t most one solution
--
then Eq. (8) i s approximation-solvable
- - (i.e., Eq. (14) h a s a solution x in
n -
W. V. Petryshyn
which has .been successfully used by a number of authors (see, for exam-
ple, Browder [5, 3 3 and Lions [93 j .
Remark.
---- For the proofs of Theorem 2 to 5 a s well a s for other r e -
sults and the relation of condition (H) to the concept of P-compactness see
References
----.-
P.A. RAVIART
C o r s o t e n u t o a d I s p r a d a l 3 - 1 1 L u g l i o 1967
359 - -
APPROXIMATION DES EQUATIONS DtEVOLUTION PAR DES METHODES
VARIATIONNELLES
Par
P..A. Raviart
(Universite de Rennes)
Introduction .
Le present cours e s t une introduction A ltapproximation p a r l e s dif-
ferences finies des solutions des equations aux derivees partielles dtCvo-
lution. On y traite des equations lineaires du l e r ordre et du 26me o r -
d r e en t A ltaide des methodes variationnnelles : cette etude reprend avec
quelques ameliorations techniques un certain nombre de resultats de 1101.
Dans chaque cas, aprks un bref rappel theorique, on examine deux sche-
m a s classiques, l'un implicite et ltautre explicite, et on donne des theo-
rgmes de stabilite et de convergence. En appliquant c e s resultats a un c e r -
tain nombre dtexemples, on obtient en particulier des resultats de stabili-
te pour des equations paraboliques et hyperboliques 3 coefficients m e s u r a ~
bles et bornes dans des domaines cylindriques.
L e s methodes utilisees peuvent s e generaliser A ltCtude de ltapproxi-
mation dtbquations dtevolution couplees 17 1 , dtequations B coefficients
non bornes [8] , ou dlequations p r i s e s dans des domaines non cylindri-
ques [9] . Elles permettent egalement dtetudier dans des cas generaux
l e s methodes de directions alternCes et B pas fractionnaires 16 , 3 .
Enfin , elles peuvent stappliquer avec succks B certaines equations non
1 .---
E q u a t i o n s d t e v o l u t i o n d u l e r ----
- o r d r e en t.
1.1. --
Formulation abstraite.
--
Soient V et H deux espaces de Hilbert s u r C. On suppose que V
est separable, que VC A avec injection continue et que V est dense dans
- 360 - P. A. Raviart
x 4 0
I
U ( ~ ) I I dt )
X
.
< to Modification usuelle s i p = o .
P. A. Raviart
1
-t
1
(1. et a (t;u, v) ( Kl J J u I/ I VJ , K2 = constante indipendante
de t l,
1 1
On note H (0) 11adh6rence dans H (R) de c W ( R ) , sous espace
0 0
des fonctions indefiniment differentiables B support compact dans R Si .
1
l a frontigre r
e s t nassez r6guli$ren , H (0) e s t exactement lfespace des
1
0
. 1 -
fonctions u 6 H (R) telles que F o u = 0 On definit H (R) comme &ant
ltantidual fort de ,HI (R)
; il e s t aisC de voir (& ltaide du theorgme de
lo -
Hahn Banach) que H (R) s e compose des distributions T s u r R de l a
for me
H = L~(R)
(1.12) 1 1 1
V = sous espace ferme de H ( 0 ) avec H (R) C V C H (0).
0
0s les
a3
a . ., ai, a. € L (QT)
1J
, QT ~ $0, T1 avec
P.P. dans Q
T*
On considgre l a decomposition suivante de la forme a(t;u,v) :
- 364 - P. A. Raviart
+J;ao(x. t) - a ) u(x) i ( x ) dx .
I1 est clair que a (t;u, v) verifie les hypoth&ses (1.1) et (1.2) avec
0 0 0
2 2
On prend f E L (0, T;H-'(R) ) , u E L ( 0 ) . Soit 96 c:(Q~) une fonc-
0
tion complexe indefiniment differentiable B support compact dans Q
T'
Si u est la solution de (1.4) , (1.5) et (1.6) , on a
La condition
2 1
u L (0, T;H (R) ) signifie que u,
3 u (i = 1,. ..,n) appar-
5;;:
0
2
tient A L (QT) et que
ro u = 0 p.p. en t
1
s i la frontiere r de R est
aassez reguli&re\ En resume la solution u = u(x, t) de (1.4) , (1.5) , (1.6)
verifie
(i) llequation (1.17) au sens des distributions s u r Q
T'
(ii) la condition initiale u(xj 0) = uo(x) ,
(iii) l a condition aux limites u(x, t ) = 0 , x & E pep. en t .
P. A. Raviart
1
b) V = H (R).
2 2
On prend ici f C L (QT) , uoE L (R) . Comme au c a s precedent, la
solution u = u(x, t ) de (1.4) , (1.5) , (1.6) vkrifie l'equation (1.17) au sens
des distributions s u r QT . On en deduit que pour tout
1
V EH ( 0 )
=i f(x.t)T(x) dx pep. e n t ;
1
Formellement, on en deduit que pour tout v H (R) et p.p, en t
dloh en utilisant --
toujours formellement la formule de Green
n
(1.19)
3
- (x, t) = 2
1~
a . .(x,t) cos (n, x , ) 3u
- (x, t ) = 0 ,
24 ) i, j = l
1J 1 3 x.J
x E ~ , P . P .en t
Erne
le i cosinus directeur de cette normale. En resume, dans ce cas, l a
solution u = u(x, t) de (1.4) , (1.5) et (1.6) vCrifie
(i) ltequation (1.17) au sens des distributions s u r
QT
(ii) l a condition initiale u(x, 0) = u (x) ,
0
(iii) l a condition aux limites formelle (1.19)--- .
Ceci resoud l e probleme de Cauchy avec conditions aux limites de Neumann
pour ltopCrateur (1.18) .
Signalons que l e s raisonnements formels effectuCs peuvent &tre justi-
fies avec des hypoth&ses de regularites (cf. [6] ) .
I1
1.3. Exemple -
2
On dCsigne par H(b ;R) l'espace des fonctions u E L (R) telles que
11
2
u = $4 L (0) . On m;!:iit H(b ;R) de l a norme hilbertienne
i = l 3x.
H
2
= L (R)
I'
, V = H(L\ ; n ) .
Oh
a designe l a derivee pormale B .
On pourrait bien entendu multiplier l e s exemples (cf. f4] ) .
2. F o r m u l a t i-
o-
n-a-b s t r a i t e d e l ' a p-p r o x i m a-----------
tion des equations
du l e r
--- o r d r e e n t.
--a
----------
(4)En pratique V s e r a une espace de dimension finie tel que dim V +CQ
lorsque h +O
h
. 11
On designe p a r 1) 1)
* l a n o r m e duale de )I )Ih , i.e.
On a trivialement
max k = 0
S
Lemme 3.1.
Soit
- X un espace de Hilbert s u r C et soit B (X;X)
d'adjoint B* tel que
B ~ B * -112
Demonstration. Dtapr$s (3.1) ltop6rateur (-) existe et appar-
2
tient d .
(X;X) On a done
(3.3)
7 s
<c+
-
6 2 * k r y r , r = I,...,s .? -< c 0
r =o
-
avec C > O , g > O , ona -
-
unique uh, E v r l lorsque
max k
s s
G .
< p2
Pour que cette equation admette une solution unique, il suffit dtapr&sl e
theoreme de Lax-Milgram que
dloh l e resultat.
"2"
ks 1 7 )
2P2
-
s-1
x kr/u
1
(r+l) 2
-x
< 2P
2 s-2 rtl) 2
I I .
s) 2
r=o
- t r=o k r I u ( +(l-?)lU(
pour s = 1 , ..., S .
I1 e s t a l o r s possible d'appliquer l e l e m m e de Gronwall d i s c r e t : l e resultat
sten deduit trivialement.
une notation. Si B E (V ;V )
h h h
d , nous designons p a r ) Bh 1 l a norme
suivante de 110p6rateur B
h
~[r~t\I:C s=l
t L r=o k~Ifh,kIIh
(r) 2
eup (LP'
s-1
2
r =o kr)
avec
que
2Re (u
on obtient
Mais d t a p r & s ( 3 . 7 )
*
1% (s)u(s), u(s)) + ( J s ) , u(S)) I 1 +\I
2(p u(s)l f(s)ll .(~)n <
-
-<pL!JU(S)(I tk 4
(PI U(')l t llf(~)II )2
(s) *
lu(
stl) 2
1
. I U ( ~ ) 2t(2-,5
) - ( i t b ) k s IA:)(
A(~)+(A, 1
O )-1'212)ks R~(A?)U'), u"')
R e n a r q u e 3.1.
-
Les conditions de stabilitd ne dependent que des parties principales
is:, des operateurs A ( s )
h, k
.
Corollaire 3.1.
avec
Corollaire 3.2.
Si de plus A -
*
) pour tout S, la stabilite est assuree s i
-7-
h, k, o - (Ah, k, o -
Demonstration.
- - .
On part de l a condition de ~ t a b i l i t e ~ ( 3 . 1 4 ) On deduit de
llhypoth&se (3.26) que
Les conditions de stabilite (3.14) et (3.15) sont donc entralnees par (3.28).
jc
Lorsque A(') = ) pour tout S, l a condition (3.29) entralne
h, k, 0 (Ah, k, 0
(3.24) et (3.25) .
-Remarque 3.2.
En pratique, on aura toujours
2
2Ps/Ms < f (resp. 2 P
/ ~ ~ )<pour P
assez grand independant de h, k, s.
P. A. Raviart
avec
h h
x - i --
+T (xl,. .., Xi-l ' Xi+
-y i
' Xitl"..'xn) '
On considere enfin
puisque l e s fonctions x 4 q v (x
h h
7 h.12
1
) ont. l e u r s supports contenus
dans R . 0,, e n deduit que
on pose
P. A. Raviart
Il est clair que toutes l e s hypothCses (3.5) ,(3.6), (3.7) , (3.26) et (3.27) sont
verifiees avec p = d et
11
n f
2 -1
Si f 6 L (0, T;H (R)) est donne sous la forrne f=f t i- avec
0 x.
i=l 1
2
fi 6 L (QT) pour i = 0, 1, ...,n, on choisit
s=O,l,. ..,s-1.
On prend enfin
- 383 -
P.A. Raviart
0
Tous l e s rCsultats obtenus au N 3 peuvent alors stappliquer. En
particulier, en utilisant l e corollaire 3.2, il y a stabilite du schema expli-
cite pour l e s k assez petits lorsque :
S
Remarque 4.1.
4.2. Exemole I. b.
0
Passons maintenant i llexemple b du N 1.2. (correspondant aux
conditions aux limites de Neumann). On pose cette lois
On pose encore
Lemme 4.1.
L8application vh+]Jvh 11 definie par
f yl ou que w
h R# .
Choisissons par exemple l a premik-
r e 6veLltualit6 : alors
- ~ + ( h 2)
w
~/
n
R # 6 et M + ~ R~; E dloh v ( M + ~ ~ ) = o .
h
Puisque
A P-(hi/2) p+(hi/2) I
-Oh
) = 0 s u r R, -
1 P E R, hi
11
M+(hi 12)
nous en deduisons que l e coefficient de , cfest-&dire
Oh
-1
(V (Mthl)
hi h
- vh(M)) , est nu1 dtoh vkM) = 0 .
Il est facile de verifier que l'expression (4.10) de C(h) reste valable.
0
On definit ensuite l e s operateurs A exactement comme au N 4.1.
h, k, i
Les elements f(S) et u(O) seront donnes comme suit. On considbre
h, k h, k
lloperateur rh&&(~2(R), Vh)
1
( rh v )(M ) =-hl. :.hn
6, ;(x) dx. MC Rh
P. A. Raviart
ob
5
0
11 est clair que les resultats de stabilite du N 4.1. restent valables
(inegalites (4.21) et (4.22) pour k assez petit), la remarque 4.1. etant
S
evidemment mise A part.
4.3. Exemple I1 .
0
On considere ltexemple du N 1.3. On pose
On choisit
puis Vh
2
=e
'(Rh) avec l e produit scalaire habitue1 . On definit
qh
&(v 11 ;L (R)) de la maniere standard et on prend
P.A. Raviart
avec
On verifie aisement, comme pour le lemme 4.1, que (4.32) definit une nor-
me s u r V .D'autre part la constante C(h) e s t donnee par
h
i
On definit l e s operateurs A(') en posant
h, k, i
svec
puis
(4.38)
S
2 2
Si f 6 L (Q ) et s i u 6 L ( Q ) , on definit
T 0
f ( s ) et
h, k
do)
h, k
comme en (4.21),
(4.28) , (4.29) .
I1 y a stabilite du schema explicite dans l e cas general oh a est com-
plexe lorsque
- 387 -
P.A. Raviart
inf ess. Re a(x, t)
s = O,l, ...,s-1,
pour l e s k a s s e z petit. Dans l e c a s oh a e s t reel, l a stabilite a lieu lors-
S
que
5. Etude de l a convergence.
-
H. 1 Si une famille [wh, k ) e s t telle que
(5.3)
on a
Ph, k Wh,k - 2
W dans L (0, T;X) faible l o r s q u e h, k 0,
2
a) (5.4) w=?TWCL(O,T;V), W=ww,
1
b) pour tout v C o e t toute fonction .f 6 C (0, T )
-
H. 2. L e s donnees f(') e t u (O)
h, k h, k
satisfont
-
L
(5.11) dans L (0, T;X) faible,
-+ wu -
Ph, k Uh, k
Demonstration. u Soit
h, k
la solution du schema explicite (2.7) .
Lorsque l e s conditions de stabilite (3.11) et (3.15) sont verifiees, on a en
vertu du theoreme 3.3 et des hypotheses (5.7) et (5.8)
2
Uh, k+ ,U dans L (0, T;X) faible,
Ph,
(5'. 13)
m
uh, k-t%=XU* dans L (0, T;H) faible.
qh,
2
D1apr&s H. 1, L (0, T;V) et 4 = wu
.%'
11 suffit maintenant de demontrer
que uy est la solution de (1.4) , (1.5) et (1.6) .
Soit v r A t soit 6 (C: 0, T ) . Nous deduisons de (2.7) (en suppri-
mant l e s indices h et k)
L
Mais puisque A(. ) % (.) et f(. ) 6 L (0, T;V1) , on dCduit de (5.16)
2
(5.17)
I
I1 r e s t e 3 montrer que
~ $ L6 (0, T;V9) ,
u*( t )
$(O)
+ A(t) %(t) = f(t) dans V1 , p.p. en t.
=u
0
. Soit 'f) e C1(0, T) nulle dans un
voisinage de T. Alors pour k a s s e z petit e t pour v g on a
6. Retour s u r l e s exemples.
0
Nous reprenons maintenant l e s exemples du N 4 et nous allons
montrer que l e s hypothCses H.1 et H.2 sont verifiees dans tous l e s cas.
0
6.1. Exemple du N 4.1.
On choisit
P. A. Raviart
2
(6.1) X = ( L ( Q ) ) ~ " muni d e l a s t r u c t u r e hilbertienne produit.
2 2
A tout F = (f, f , f
1 2"""
f n ) ~( L ( R ) ) Y 1 , on a s s o c i e t F = f C L (R) . On
2 ntl
definit l t o p e r a t e u r U~&(H;(R) ; (L (R)) ) p a r
w = (v, gl,...,z) 3v
n
,
1
v6Ho(R).
On prend ensuite
(6.3)
puis si v
h, k
={v(;lk€vh ; s = 0, 1, . .., s 1, on pose
(t) = Ph (s) , t t <t s=O,l, ..., s-1.
(6.6) Ph, k Vh, k
Vh,
S -< st1 '
I1 e s t a l o r s c l a i r que l e s hypothbses (5.1) e t (5.2) sont satisfaites.
(0, T ) dans
R ~ X ( L ~ (0,~ TX) ) ) ~ " faible. On voit alors comme precedem-
- 2 1 n
ment que w L (0, T;H (R ))). Si R est "assez reguliern, ce que nous
supposons, il en resulte que r o w = o d1oh W ~ 2L(0, T;H;(R)).
Consacrons nous maintenant A la verification des hypotheses H. 1.b.
1
Introduisons dtabord une notation. Si (4 6 C (0, T) , posons
b
2
On voit aisement que
fk +? et vkgk dans L (0, T) fort. On
remarque alors que
- 394 -
P. A. Raviart
Puisque
h' 4 h
-
v
2
wv dans (L (R))
ntl
Lemme 6.1.
2
Sgit
- -
uo€ L (0); alors
Demonstration. On a
Dtautre part
(rh U ~ hV)h qhf
' =~ @lo> hv)
et (6.12) resulte de l a convergence de qhfh V vers v dans
2
L (R) fort,
Lemme 6.2.
Si
- f
2
L (0, T;H
- 1(R) e s t donne sous l a forme f = f +C - afi
0 i=l 3 ~ :
- -
395
P. A. Raviart
I1 en resulte que
On en deduit que
S- 1
s-0
<
- 2/
i = o QT
1fi(x. t)12 dx dt .
D'autre part
- 396 -
P.A. Raviart
2 nil
Puisque p wv dans (L (R)) fort, on trouve que
h PhV
(6*16)
hi
qh, k uh, k+g dans L ~ ( Q T faible,
) i = 1, ..., n.
Reniarque 6.1.
Conformement B la remarque 5.1, on peut demontrer que dans (6.16)
toutes l e s convergences sont en fait des,oonvergences fortes.
0
6.2. Exemple du N 4.2.
0
Ce qui i ete fait au N 6.1. s e transpose triGialement dans ce cas.
On choisit ici
et on definit l'operateur ~ $ ( H ( A ; Q ) ; ( L ~ ( R ) p) ~a r)
On prend ensuite
qui est bien dense dans H(A ;R) lorsque R e s t "assez reguliern. La verifi-
cation des hypotheses de consistance s e fait comme au NO 6.1.
P. A. Raviart
I
On considere l e triplet d'espaces V, H, V'] comme au NO I. 1. Soit
u, v s a(t;u, v) une famille de formes sesquilinkair-es continues s u r
V% V dependant du parametre t ([o, T] ,T < m , avec l e s proprietes suivan-
tes :
(7.2) Vu,veV,
Theoreme 7.1.
2
Sous l e s hypoth6ses precedentes et pour f donne dans L (0, T;H),
u donne dans V, u, donne dans H, il existe une------fonction u vkrifiant
-0 I
- 398 - P. A. Raviart
A h6$(Vh;vh) (independant de k) ,
(8.2)
(stl)
2(uh,k
- d Sh, )k h, k
-
t U ( s - l \ + ~ hUh,(s+l) (s)
-fh, .
, s = I,. , ,S-1 ,
Lie schema implicite (8.2) peut alors stCcrire (en supprimant l e s indices
h et k ) p o u r r = 1, ...,S-1
(8.10)
$ 2 U ( r + l )+ A ,(r+l) = f( r ) .
Multiplions scalairement (8.10) par
-v u( ) et prenons deux fois la partie
reelle de l'equation obtenue ; nous obtenons
On remarque que
ce qui entraine
+ (Ao U ,
S
+ 2k ( 1 +
i ~ ( ~ )p2k 2 llu(r)~/ ,
r=2 r=2
dfoh pour s = 1 , . ..,S
(8.14)
vu(') + A u(r)= f ( r ) = 1,. ..,S-1 .
-
>
+ 2 Re (A u"),
1
PU(~)) .
On en deduit que (8.15) peut s'ecrire
2 1 t P ( A u(r),
0
t V(A
0
u(r), U(r))- k2 p ( v ~~( ~ vu('))=
~) ,
= 2Re (f , p ~ ( ~~u ()' )t) - 2Re ( A ~ U ( ' ) , fu('' + vu(r))
D1apr&s l e l e m m e 3. I., on a
Remaraue 8.1.
Corollaire 8.1.
-
Sous l e s hypothhses (8.4), (8.5) , (8.6) , (8.7) et (8.21) , l e s c h e m a ex-
-
plicite e s t s t a b l e (au s e n s d e--
8.13) s i
La demonstration e s t immetliate.
P.A. Raviart
H. BREZIS et M. SIBONY
On c o n s i d b e ensuite l16quation :
plicitement (3).
Le plan e s t l e suivant :
~ 6i nf i t ion 1.1
cherche u c V verifiant :
Th6or$me 1.1.
S i l1op6rateur A v 6 r i f i e l e s conditions
I\.+ IR t e l l e que
Leme 1.1.
On suppose (1.2) et (1.3). Aiors l'ccsemble 15 des solutions de 116qua-
d'aprss 1s monotonic de A.
RCciproquement pasons v = u + t w , t; > 0 : (1.6) donne V Y EV
Au = f.
S I
v = {U (avo-f,v0-u) 2 O! est un dcmi enpsce fern6 de V.
0
Donc S = ensemble des solutions de Au = f e s t un convexe fern6 de V, c z
Lemme 1.2.
- L f ( ~ ~ u 2( ~I U) )~ -I II I U ~ I=I o)
(~(nq)
~ I o i i: llulll = lb2i
-
UnicitE
llunicit&.
Leme 2.1,
1) S i p < r
e t & l a limite :
ce qui e s t absurde.
2)Sip>r
e t 5 l a limite
ce qui e s t absurde.
C.Q.F.1).
de V' f o r t dms V f o r t .
I l f l 11.
~ On a
dans V f o r t .
Dl autre part
et
(Aun - AU , un -- U) = (Aun f , un - U) -4 0
Donc
Th6orbme 3 $1.
1) v f c- V' , V A 2 0 l'eqmtion
admet une solution unique uA .
2) uA4 u d m s V f o r t quand A 0 02 u e s t l a solution de lq6qua-
t i o n Au = f.
en e f f e t r (Au1 - ~ ( 0,uX)
) 1 (Y( I(uA(( ~ ( 0 ) [uA(I "
or AuA = f - A BuA
Dqautre part
-
(BuA B ( O ) , U ~ 2
) 0
=+ (f - ~ ( 3,uA)
) 2 (Y(!U,,(() .- ~ ( 0 )CAI(
) k(B(O1 ,uA) +
ll~+,ll -, +a,
; e t on aurnit d o r s l ~ ( J l u ~-+
J ) ) +a, ce qui e s t contraire 2
(3.2)-
b) u h + L u faible~.eat.
.
-
faiblement e t
on va montrer que s i u
X v faiblement (iu,ll ( !I)
e t ,4ui -3 f f ortene~lt
9Av = f.
-
Nous Rvons (AuX A w , uh - v) 2 0 v v 6 V
e t & l a l i m i t e ( f - Av , v - v ) 2 O d v L V,
ce qui donne
AU = - i=l
11
rs D. 1
( I D ~ U ~D P~ -U~applique
) <'P(iI) dans W - ' ? ~ ( Q )avec -P1 + -Y1 = 1.
Montrons que A v 6 r i f i e l e s hyyothsses du th6or;me 1.1. avec'
~ ( r =) F1, r 2 0. En e f f e t :
unique t e l que
ku = f.
Exemple 4 - 2 .
Dgfinition 5,2,
ucf'nition 5.3.
On d i t que f,
1.
c V k ?onverpe discrdtemcnt vers f 6 V' s i
f a i t l e s h j ~ o t r ~ c s esuivantes
r :
On pose 2% = r: A ph : Vh -9 Vi.
Nous avons a l o r s l e sch6ma suivant :
D1 autre p a r t s i f
li
converge discrstemcrit vers f a l o r s 1 I
h h
1h
e s t born6.
En eeffet :
Th6orSme 5 v l .
Lemme 5.1.
Dkmonstration
..-"-------"-- : Apnliquons l c thgorime 1.1. 2 190p8rateur i\h'
1 ) Montrons que Vh mi Ee l a norme I(u,llh= I ( "Uh I( e s t uniform&
memnt convexe. En effet :
t/6 > O , O c E < 2 3 6(c) t e l que s i
Leme
--- 5,2.
ce qui donne :
(fh , - ~ ( 0 ) Il%llh
- % ( o ) , % ) ~ (~(Ily,Hh) )
Leme 5.3.
., IOU v = v vv C v
e t par cons6quznt : 0 = f = Au.
et
(fh-rif ,%Ih -
) 0
( x i f > u h ) h= ( f ,ph%) (f
D'oii
l i m ( A ~ ~ - A U ~ ~ ~ I=+ 0, - U )
h+o -
D oii
l i m (9
h+b
(!P<+# 1 - ~ ( l l ~ l l ) X I l ~ ~ ~=~0l l - l l ~ I I )
c t par consEquent lP,lhP --311ul.
Choi;~2e Qh
Nous posons :
1 = (qi)l<i<n
--
, qi entier p o s i t i f lq ( - ELi=:lqi
r$ = 0 1 1 11 e % , ,>; Q}
hfin :
Choix de Vh
s o i t qi$.,.On pose ( y l ( x ) =
>I
I+, s i x a t,oVh . e s t un espace de dimension
Posons h.
g(x + T
.1
- hi
- )-q ~
vi4(x) = h.
1
Choix de d
Yotons
m
0 = fonction caraetgristique de [(mi - B)hi
1
, (mi 1
+ i)hi]
hi
,t e0
Xhi hi hi
n m.
f = fonction caract6ristique de {,o = i=l8hi'
@
On a i d e n t i f i g % l a fonction $ =
-7
4I' %.
-" V e s t muni de l a norme
Choix dc r
M
Soit une s u i t e de fonctions y
h
6 dymsupport dans lh = &-$
I;Oh
tendant vers 1 dans Posons a l o r s
consistantes.
Application 6.1.
(6.1) A U = E ulr=o y o u r f r ~ ~ ( ~ )
avec
avec
Appl.ication 6.2.
ave c
avons :
;
ph B 2- u sans ?;P( 17) f o r t .
Th60rsme :,1
-gmonstration
-*.-."--.- : L9existence e t i 9 u r r i c i t 6 r6sultent du t h e o r h e 1.1.
( A U ~ - A U , S ~ ~ ( ~) ~=- A
[sW'(hn-~u
U) )] 2
e t d7aprZs (7.4) e t 19hypothZse. de r6currence on a pour C(N ) =. C
0
ce qui entraine
l e s d t h o d e s prdcedentes .
avec
-n
Au =-id 0. ( I D ~ U ~Diu)
~ ' t su s > o
1=1 I
t e l que
(8.2) nh '-'ti =
avec
n
r, P-2
Ah%=-{giVi(I~i\l Vi\)+s\ 0 0
T?16or2me 8.1
avons
$' = .;: *-
n
.(,\i,%-.fn)
(%,vh)h = (~~,q!)$
Posons
2
Come : ( \ u ~ ; - ~ $ v ~ , u ~ -2. ~s ~lly;vhll
)~
L
on a avec l e s notations du thkorsme 7.1. k = s
Calcul de C(N)
S u ~ ~ s o nque
s [%I 5 9 rvhl h]l lo
on a :
[%12 = hl
T
h2...hn lUII(~)12
ce qui entraine
2
(8.3) 1 %(XI I 2 h.I 4 lo"'n 6 [%I 2 hi TT;
h n 1
I !J!
Par a i l l e u r s
n
( % % - q h ,wh)h = & ( I viYr I vivh lP2vivh. viwh +
' s(%'vh5wt,)h
ce qui donne
n n
1
I (%\-$'hs~hU 2 (&(I vi%lp2viuh-! 'ivhlPZpivh[
' !whll
orpour lul2ti9 , (61(ii1 , act 6ri.elsona:
ce qui donne
Donc '1
0
=2 11~+11 ,,._,e s t
I
me constant^^: inde72ndante de h. En posnnt :
1.t
s 1 i t g r a t ion n
P =-
2 {+'
=% ,- f(3
?A%-
11
fh ) e s t convergente d 1 ap&s l e
C th6or;me 7.1.
Remarque 8.1.
2
3 i f E L (II)
on pourrait arendre aussi No = -
IlfhlL2
ir
Remarque 8.2.
0
posone 0 = 1 .- 2- uh = 0, nous avons a l o r s l a formule de majora-
c2
tion de l s e r r e u r suivante :
n o
2 Log lull ..
2 Log E
Log 0
bemple 8.2.
avec
Th6orSme 8.2.
u aans u:'P( Q) f o r t
PhUh -hG3
i i i ) L1&quationd i s c r e t i s 6 (fi.7) ?cut s e r6eouare & l ' a i d e de l a for-
mule i t b r a t i v e suivante :
avec
P 2
, p convenablement choisi et, yl0 = 0
Shy, = - f . Viy,
iamonstration : Les points
--."-----..--- i ) e t i i ) ont 6t6 d6montrC dans l e s p r a -
n
(% ' h,Yh 9 y,.'vh)h .f ' ElI / v i ( v v h ) l 2g
L
il cn r6sultc quc k :
: s avvec l e s riotations 2u t h e o r h e 7.1.
Calcul
-- de B
On a
2
1) s i f e L (Q) on pourrait prendre aussi
ncus avons alors la formule de majoration de llcrreur suivante :
3) Si n w alors on ;
Log 0
Remrque 8.4.
Cas particulier
Si n - nous swns ~ l o r s
(~1~1);
V. THOMEE
by
Vidar Thomee
(University of G0teborg)
1 . -----------
Stability in L
P
d
Let W denote L (R ) for 1 -
P P
< p < o, and let W
03
=6be the set
of bounded, uniformly continuous complex-valued functions on R~ . Then
W ;
P
1< p-
-
< 03, is a Banach-space with norm (x = (xl > . . J d ) . ,
n
m
F o r l a t e r use we shall also introduce the Sobolev space W of distribu-
...ax,
dd P P
t i o n s s u c h that D ~ ~ = ~ 1 - ~ ~ ~t wPs f o rM/ d l =I ~ tJ-~( . <m~ ~ ~
j
(d= ( a .. .
,q d ) ) This i s also a Banach space with norm
4
~ e t =W
: , W; = myo Wm ,d * = W*m . By Sobolev's imbedding
w
theorem, W consists of all infinitely differentiable functions with
P
Ddu C Wp for a11 0( . For 1 -< p - < co , W* i s dense in W When
P P
.
u is a N-vector u = (ul, ..., , we use again the above definitions
where in ( l . l ) \ u / = (El~jl 2
) '12
U ~ )
.
j
(I.2]
Consider the initial-value problem
- P(x, D)u 2
3t- /dl5
- Pd (x) D~ u, t-
> 0,
and
Re(H( 5 ) P ( 5 1 C2 I a
This condition is the necessary and sufficient condition for the simul-
taneous diagonalizability of the matrices A j = 1,
j'
.. .
,d, and s o the
result means that apart from the case when the system can be brought
into the forin
with real diagonal matrices D . , the initial -value problem for (1.7) i s
J
not correctly posed in
P'
W p# 2 .
For the approximate solutioli of the initial-value problem (1.2) ,
A. v(x) =
1,h
Z
p
a
1p
(x. h)v(x+/h) ,
Theorem 1.3. Assume that the initial-value problem (1.2), (1.3) is correc-
tly posed in W and let Eh be consistent with E(k) Then the sta-
P
.
bility condition (1.10) is equivalent to convergence ; for any v g Wp ,
t-
> 0, and nay pair of sequences {hj);' . inj): with hJ . 4 , n.k.+t
J J
when j -t oo, one has
Setting
'1 2
lulH = (~u,u) . IAJ~ = s u p J ~ u l / u~ l H
/ .
one has the following analogue of Theorem 1.1 for difference operators:
Theorem 1.4. The condition (1.12) holds if there a r e positive constants
d
ho, C1, C2, and f o r each S C R and h < h
- 0 a hermitian matrix Hh ( )
such that
and
d
(1.16) p(Eh(x,{)) < l - C l l h l 1v +C2k. 5 R,h lj L n .
with constant .
a . In the case of an implicit operator, the sum may be
J
infinite. Introducing the function
9
.
q=l.. .., Q , i n 1 { 1 ~ n where a ( { ) = 1. F o r q = l . . . ..Q,
there a r e constants oq, pq. 5 where (Y is real, Re p > 0 , and
q 9
i s an even natural number such that
q
-
Proof, See [22] [23] . Here we only want to sketch the proof in the
case p = m and
When p = m we have
where J
j
and s o
1 1
anj
2
C1
-1 - -1
: .1 lL = fJanjJ
J
max
j
a
I njl
>F
2
n
P JJ
1112
(2.4) -
O < t < T.
Theorem 2.2. Assume that Eh is consistent with (2.1) and satisfies (2.5),
and that Q i s a difference o p e r a t o r consistent with a differential ope-
h
r a t o r of o r d e r q. Then f o r any T > 0 t h e r e is a positive constant C
s u c h that
Proof. See [27] . The proof goes back to John [li] and Aronson [2] ,
[3] , and depends on e s t i m a t e s of a d i s c r e t e fundamental solution.Actual-
Theorem 2.4. Assume that the initial-value problem (2.1) , (2.2) i s correc-
tly posed in L 2 . Then it i s parabolic in L
2
if and only if there a r e po-
sitive constants C such that
1' C2'
-
Proof. F o r details see 25 . We give a short sketch . The suSf'~c~~c~~ir.).
of
the conditions follows easily from the inequality
N- 1
exp (t A) -< exp(t A (A)) (2t A )' ,
j=O
which holds for any NxN matrix A. To prove the necessity of conditiori
(2.11) , we notice that by the parabolicity condition (2.9) , we have
and s o with
-
A(r) = max A (P(t) ) ,
t=r
(2.13)
-
A(r) -< log C - log (1 t r) -+ -03 when r -. 03
-
Using the Seidenberg-Tarski elimination theorem one can prove that A(r)
is algebraic in r for large r and thus by (2.13), there is a (rational)
positive number p and a positive C such that
- -
( r )= 2
1
(1 t 0 1 ) when r - m .
This implies (2.11) .
In general it i s necessary in the formulation of Theorem 2.4 to ex-
plicitly assume the correctness of the initial-value problem. There are,
however, some cases when the correctness follows from (2.11) . One such
case is when P ( [ ) is a normal matrix, in particular if P ( ( ) is scalar,,
An example of this is offered by the equation
where
2
Re P ( F ) = R e ( i t ) + ( i t )
3
= -5
2
.
One other case when correctness i s automatic is when (2.8) holds with
= M ; this i s the case of parabolicity in Petrowsky's sense. An
example where (2.11) is satisfied without correctness is given by (N=2)
where
and
(2.14) Re (H(I)p({) ) ( (-c21~I"+ C 3 ) I -
Our aim is now to similarly characterize parabolic difference opera-
tors. We have :
Theorem 2.6. Assume that the operator Eh is consistent with the equa-
tion (2. l ) and stable in
2
.
Then E is parabolic in L if and only
L
h 2
if there a r e positive constants C1, C2, ho , v such that
and
ii) if Eh is consistent with (2.1) , and (2.11) and (2.16) hold, then
u i p ;
iii) if (2.1) is parabolic of o r d e r p , then t h e r e exist o p e r a t o r s
Eh
consistent with (2.1) which a r e unstable, o t h e r s which a r e stable but
not parabolic, and s t i l l o t h e r s which a r e parabolic, but of o r d e r u <p .
F o r details, s e e [25] .
3. T h e r a t e o f c o n v e r g e n c e .
..........................
Consider again an initial-value problem
In the sequel we shall demand not only that the initial-value problem
be correctly posed in W but that it satisfies the stronger require-
P'
ment of the following definition. We say that the initial-value problem is
strongly correctly posed in W if for any m > O . , v E wm implies
P P
E(t) v € wm and there is a constant C such that for all v c w m ,
P m, T P
Theorem 3.1. Assume that the initial-value problem (3. I), (3.2) i s stron-
gly correctly posed in W and that Eh approximates E(k) with
P
order of accuracy . Then there exists a constant C such that for
M+P
any v€ W ,
P
Proof. See
- 1181 . The proof consists in expanding E(k)v = u(x, k) and
F v in Taylor s e r i e s around the point (x, 0) , using (3.4), and estimating
v
the remainder t e r m s in integral form. In doing so, it is sufficient to
consider v in the dense subset WW= of
P
1:
.
We now easily obtain the following estimate for the r a t e of conver-
gence :
Theorem 3.2. : Assume that the initial-value problem (3.1) , (3.2) i s
strongly correctly posed inW and that E in stable in W and ap-
P h P
proximates E(k) with order of accuracy y .
Then there i s a constant
M+
C = CT such that for v W , nk -
<T ,
P
Proof. We
- have
n- 1
- E(nk)) v = $-I-' (Eh - E(k)) E (jk) v ,
j=O
which proves the theorem. In special cases, this theorem appears in many
places.
Thus, the situation i s that for initial-values in
W we have (by
P
Lax' equivalence theorem) convergence without any added information on
its rate, and if the initial-values a r e known to be in wMtPWe can
P
conclude that the rete of convergence i s O(hy ) when .
h+O It i s natural
to ask what one can say if the initial data belong to a space "intermedia-
ten to W and wMtq To answer this question we shall introduce some
P P
spaces of functions which a r e interpolation spaces between W- and
P
wm in the sense of the theory of interpolation of Banach spaces (cf
P
.
1;8] and references) .
Let s be a positive r e a l number and write s = S + a , S integer,
0 < 0 -< 1. Set T, u(x) = u(x+ T ) . We then denote by B~ the space
P
of u E W such that the following norm i s finite, namely
P
Thus BS i s defined by Lipschitz type condition for the derivatives of
w
o r d e r S ; these spaces a r e sometimes called Lipschitz spaces. F o r the
Heavyside function
o , x < 0 (d = 11,
(3.6) 1, X L 0,
we have for 1-
< p < ca ,
ca l/p
and it follows that if (o E Co , then B 4
P
One can prove that
The main property of these spaces that we will need is then the following
interpolation property; assume that 1-
<p -
< ca , m is a natural number,
and s is a r e a l number with 0<s<m . Then there i s a constant
C such that any bounded 1i n e a r operator A in W with
P
rr < P '
whe have
Theorem 3.2 and (3.8) with A=E
n
h
- E(nk) proves immediately
the following result :
Theorem 3.3. Assume that the initial-value problem (3.1) , (3.2) i s stron-
gly correctly posed in and that E i s stable in W and approxima-
W
P h P
tes E(k) with order of accuracy y .
Then for 0 < s < M + P there i s
S
a constant C=C such that for any v E B , nk -< T ,
s , "I' P
Notice that Y = P ( M t i u )
- 1
grows with y and lim V = '1 .
This means that the estimate (3.9) becomes increasingly bette? for fixed
s when y grows . In other words, if for a given strongly correctly po-
sed initial-value problem one can construct stable difference schemes of a r -
bitrarily high order of accuracy, then given any s > 0 one can obtain
rates of convergence arbitrarily close to O(hS) when h -,0 for all
initial-values in BS
P
.
As an application, consider L -stable operator E with order
an
2 h
of accuracy ,U for the hyperbolic equation
m
and let v= (P X where cp F CO and X is the Heavyside function
(3.6) . By above we have in this case
Proof. For
- details, see [18] . Here we will only sketch a proof for the
case v 6 B' where M + p b < s < M t P
P
- .
When b = M the other
cases can be treated similarly ; if b < M the proof in [18 uses slightly 1
more sofisticated interpolation theory.
We shall use (3.5) . For j = 0 we have by the stability and Theorem
where
a u ,,&
- P real
at ax '
and a consistent difference operator of the form
Ehv(x) = a .v(x i-
J
jh) .
j
Set again
and assume that we have the case that Eh i s stable in L but unstable
2
in W
P'
p # 2; in particular assume that
ct. real, q ( J ) real polynomial, q(0) / 0, 1 <,.U + 1< v ,
V even, Re y > 0 .
(In Section 1 we used ,u instead of p t 1 ; here ,U i s a s above the
order of accuracy.) We then have :
Theorem 3.5. Under the above assumptions, for any t > 0 and s with
S
0 <s -< p +1 there i s a constant C such that for v 6 Bco , nk = t ,
S-
P
-
ltP P t l
, 2
<s< p t 1 ,
-
-P2
h log-l. S =- P t 1
2 '
B
00
2s( v -I)-( v - p -11