Professional Documents
Culture Documents
Mathematics
Edited by A. Dold and B. Eckmann
1192
Equadiff 6
Proceedings of the International Conference
on Differential Equations and their Applications
held in Brno, Czechoslovakia, Aug. 26-30, 1985
Springer-Verlag
Berlin Heidelberg New York Tokyo
Editors
Jaromir Vosmansk~
J.E. Purkyn~ University, Department of Mathematics
Jan&~,kovo n~.m 2a, 662 95 Brno, Czechoslovakia
Milo~ Zl&mal
Technical University, Computing Centre
Obr~ncQ miru 21,602 00 Brno, Czechoslovakia
Sole .distribution rights outside the East European Socialist Countries, China, Cuba,
Mongolia, Northern Korea, USSR, and Vietnam:
Sprirger-Verlag Berlin, Heidelberg, NewYork, Tokyo
PREFACE
In addition 251 p a p e r s w e r e p r e s e n t e d
a) as c o m m u n i c a t i o n s in 9 s i m u l t a n e o u s s u b s e c t i o n s (136)
b) at the p o s t e r session (461)
e) in the form of enlarged a b s t r a c t s (70)
Editors
CONTENTS
PREFACE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ~i i
LIST OF PAPERS PRESENTED AT THE CONFERENCE . . . . . . . . . . . . . . . . . . . ix
LIST OF PARTICIPANTS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xv i i
PLENARY LECTURES:
F E I S T A U E R M.: Critical p o i n t t h e o r y a n d n o n l i n e a r d i f f e r e n t i a l
equations ................................................ 3
FRIEDMAN A.: F r e e b o u n d a r y p r o b l e m s in fluid d y n a m i c s . . . . . . . . . . . . . . . 17
KA~LrR J.: M e t h o d of R o t h e in e v o l u t i o n e q u a t i o n s . . . . . . . . . . . . . . . . . . . . . 23
KUFNER A.: B o u n d a r y v a l u e p r o b l e m s in w e i g h t e d s p a c e s . . . . . . . . . . . . . . . 35
MAWHIN J.: Critical p o i n t t h e o r y a n d n o n l i n e a r d i f f e r e n t i a l e q u a t i o n s . . . . . . 49
N~UWIAN F.: O r d i n a r y l i n e a r d i f f e r e n t i a l e q u a t i o n s - a s u r v e y
o f t h e global t h e o r y . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
REKTORYS K.: N u m e r i c a l a n d t h e o r e t i c a l t r e a t i n g of e v o l u t i o n
p r o b l e m s by t h e m e t h o d of d i s c r e t i z a t i o n in t i m e . . . . . . . . . . . . . . . . . . . 71
STETTER H. J.: A l g o r i t h m s for t h e i n c l u s i o n o f s o l u t i o n s of o r d i n a r y
initial v a l u e p r o b l e m s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
TRIEBEL H.: R e c e n t d e v e l o p m e n t s in t h e t h e o r y of f u n c t i o n s p a c e s . . . . . . . . . 95
C. Numerical methods
D. A p p l i c a t i o n s
I. P A P E R S P R E S E N T E D AS COMMUNICATIONS IN SECTIONS
C. Numerical methods
BALLA K.: On error estimation of the approximative solution for certain singular
differential equations of Riccati type
BURDA P.: Finite element solution of a problem of potential flow
DECHEWSKI L. T.: A method for error estimation of numerical solutions
of differential equations
ELSCHNER J.: On suboptimal convergence of finite element methods
FRIVALDSZKY S.: Lineare und nichtlineare Mehrschrittverfahren mit variablen
Koeffizienten
FROHNER M.: Galerkin techniques and the method of lines applied to Burger's
equation
GUDOVICH N. N.: Ustoichivye raznostnye metody proizvoljnogo porjadka
approsimatsii dlja differentsialjnykh uravnenij
HAN H.: Nonconforming finite element approximation of Navier-Stokes equations
HEINRICH B.: On finite difference methods with fern-character for elliptic
problems
HLAVACEK I.: Shape optimization by the dual finite element method
CHOW Y.-M.: Initial-value methods for computing eigenvalues of two point
b o u n d a r y value problem
JOVANOVICH B.:
KRETZSCHMAR H.: Stabile zweischichte Differenzenverfahren
PIRC V.: On the possibility of calculation of zero points of solution of second
order differential equations
PR_~GER M.: Numerical illustration of the dimension reduction method
PROESSDORF S.: Spline approximation methods for singular integral equations
REGIIqSK~. T.: Superconvergence of external approximation for two-point
boundary value problems
ROOS H.-G.: Feedback grid generation via monotone discretization
S~_NDIG A.-M.: Fem error estimates for elliptic b o u n d a r y value problems
in domains with conical points
SEGETH K.: On the numerical evaluation of integrals involving Bessel functions
STANKIEWtCZ R.: Approximate methods for temporally inhomogeneous parabolic
equation
STREHMEL K.: Stability of linear implicit methods lbr retarded differential
equations
TAUFER J., VITASEK E.: Transfer of b o u n d a r y conditions for two-dimensional
problems
VULCHANOV N. L.: Numerical integration of asymptotic two-point b o u n d a r y
value problems for ODE
WEINER R.: Partitioned adaptive Runge-Kutta methods for the solution of stiff
and nonstiff differential equations
D. Applications
ANTES H.: Dual complementary variational principles in Reissner's plate theory
BECKERT H.: The bending of plates and their stability region
BOCK I.: Optimal control problems for yon
BRILLA I.: Bifurcation theory of the time dependent Karman equations
FARKAS M.: Competitive exclusion by zip bifurcation
JARUSEK J.: Optimalheating of bodies with constrains on stresses
JEDRYGA T. M.: An estimation of moment of the solution of a random operator
integral equation of Volterra's type
LAMZYUK V.: Ob odnom metode svedeniya granichykh zadach k nachaljnym
i ego ispoljzovanii pri reshenii zadach matematicheskoi fiziki
XIII
H. P A P E R S P R E S E N T E D AT THE POSTER S E S S I O N
LIPPOLD G.: Error estimation and adaptive refinement in finite element methods
LITEWSKA K.: Some applications of the finite elements methods to the system
of differential equations
MEGAHED F., HAMAD G. D., SALEM Sh.: On some integral inequalities
in n-independent variables
MYJAK J.: On the set of solutions of a diff. inclusion
NAZAROV V.: Gladkost" reshenii obyknovennogo differentsialjnogo uravneniya
s otklonyayushchimsya argumentom v prostranstvakh Rum"e
NGUEN DONG A.: Issledovanie vliyaniya razlichnykh periodicheskikh
i sluchainykh vozbuzhdenii na sistemu Van-Der-Polya
PAVLIKOVA E.: Higher monotonicity properties of zeros of a third order
differential equation
PAVLOV V. A., NEVIDOMSKII A. I.: Reshenie matrichnogo uravneniya Rikkati
ob odnoi zadache teorii optimaljnogo upravleniya
PAIVARINTA L.: The uniqueness of the one dimensional inverse problem
PEIZ~R J.: An algorithm for solving the multi-point boundary value problems
for ODE
PERINOVA V.: Fokker-Planck equation for free-electron laser
PETROV I.: An inverse problem for Maxwell equations
POPENDA J.: On the discrete generalizations of Gronwall's inequality
RETI P.: Geometrical methods in chemical kinetics
SCHIMMING R.: Laplace-Lie differential operators with a logarithm-free
elementary solution
TABISZ K.: Asymptotic behavior on solutions free b o u n d a r y problem
T~tBOAS P.: Periodic solutions of a forced Lotka-Volterra equation
WAKULICZ A.: Convergence of a class of differential inclusion approximations
W~ERBOWSKI J.: Asymptotic and oscillatory behavior of solutions of differential
inequalities generated by retarded and advanced arguments
ZITNAN P.: Lower bounds for the eigenvalues of the equation Au = Bu
by residual defect method
The papers of the following authors were also presented at the Poster Session:
BOGDANOV R., BOUZNASKI E., VASSILEVSKI P.
LIST OF
PARTICIPANTS
page
AUSTRALIA Vulchanov N. Naumann J.
Trudinger S. 251 Proessdorf S.
CANADA Riedrich P.
AUSTRIA Arscott F. (427) Roos H. G.
Markowich W. Atkinson F.V. Rumpel H.
Stetter H. J. 85 Cree G.C. S~indig A. M.
Lalli B.S. Schimming R.
Muldoon M.E. 155 Schmidt J. W. 333
BELGIUM Muldowney J. Schneider R.
Chauveheid P. Sinclair R. Schneider K. R.
Habets P, Schultze B. W.
Mawhin J. 49 CHINA Strehmel K.
Vanderbauwhede A. Chang Kung-Ching 203 Triebel H. 95
Unger S.
BRAZIL Hart H. Weiner R.
Taboas P. Zacharias K.
EGYPT
BULGARIA Hamad G.D. GREAT BRITAIN
Angelov V. Everitt W.
FINLAND Whiteman J, R. 345
Angelova D.
Mustonen V.
Angelova N.
Bainov D. HUNGARY
Bouznaski E. FRANCE Balla K.
Khekimova M. Nedelec J. C. 321 Baranyi J.
Kostova-Vassilevska T. B~da P.
Kulev G. GDR Bihari I.
Kunchev O. Beckert H. Bodocs L.
Kutev N. Elschner J. Elbert A.
Lazarov R. FrShner M. Farago I.
Manolov S. Gajewski H. 209 Farkas M.
Petkov K. GrSger K. Farzan R.
Petrov I. Grund F. Fazekas (435)
Petrov K. M. Heinrich B. Feny5 I.
Popov V. K16tzler R. (451) Fofana M.
Ronkov A. Kretschmar H. Frivaldszky S.
Shopolov N. Lippold K. Garay B. M.
Tersian S. Malonek H. Gergo L.
Vassilevski P. Mfiller E. Gruber T.
kVITI
INTRODUCTION
2) 5~ = rD N j=1 j=1 P P, , r~
+
are arcs or simple closed curves, rp, rp are piecewise linear ares,
rp is obtained by translating Fp in a given direction by a given
distance. This translation is represented by a one-to-one mapping
Zp: -pr-°nt°~*p.
-+ F D and FN are formed by finite numbers of arcs. Of
course, all these arcs and simple closed curves are mutually disjoint,
except neighbouring arcs that have common initial or terminal points.
We assume that rD # ~.
3) The differential equation has the form
z (b(x,u,(Vu)2)Ux)x. : f(x,u,(Vu) 2) in ~. (1.1
i:~ l 1
4) We admit the following boundary/ conditions:
u|F D = u D (Dirichlet condition), (1.2
~u
b(.,u,(Vu)2)~-~}r N : -¢N (Neumann condition), (I.3
8u
(b(. ,u,(Vu) 2)%-~)(ZP(x)) 8u) (x)
= -(b(. ,u,(Vu)2)-~--n (1.4 b)
Ulrl3 = + = eonst,
j = I,...,K T.
• . j
HI
(~) = v. (2.3)
It is not easy to prove this. For a cascade flow p r o b l e m see [10]
Further, let u *C HI(~ ) satisfy
a) u*IrD : UD, b) u~Ir~ : u~, (2.4)
C) u*(Zp(X)) = ~'~(x) + Q, x e rp.
Very• often the existence of this u* follows from the fact that u D and
u~ are indefinite integrals of functions from L2(F D) and L2(r~) ,
r e s p e c t i v e l y (of. [20]).
Under the above notation the problem (1.1) - (1.5) is (formally)
equivalent to the following variational formulation: Find u such that
a) u e HI(~ ), b) u - u* e V, (2.5)
c) a(u,v) = m(v) ¥ v e V,
where
a(u,v) = f(b(.,u,(vu)2)vu.vv + f(.,u,(Vu)2)v)dx (2.6,a
Yu,vE H I ( ~ ),
N
m(v) : - Z v~vlrJ - /¢NVdS, ve V. (2.6,b
j:1 rN
2.2. Finite element discretization. Let [~ be a p p r o x i m a t e d by
a p o l y g o n a l domain ~h and let T h be a t r i a n g u l a t i o n of ~h with
usual properties. We denote by oh = {PI,...,PN] the set of all ver-
tices of Th" Let the common points of' rZ, r N etc. and also the
points of a~, where the c o n d i t i o n of smoothness of ah is not satis-
fied, belong to ~. Moreover, let ~h N a~ h C a~ ~ and ~ e r p m ~ ~l
Zp (pj ) E r +p N ~l" Hence, the sets r D' F N etc " are approxima-
ted by arcs or curves rDh , FNh etc. c a~ h in a natural way.
An approximate solution is sought in the space of linear confor-
ming t r i a n g u l a r elements
Wh = { Vh e C ( K h ) ; VhiT is affine WT e Th} (2.7)
The discrete problem is written down quite analogously as the conti-
nuous problem (2.5,a-c): Find u h such that
a) u h e Why b) u h - ~ j ~ e Vh (2.8)
4) ab (x, u,s2)s 2,
~-~n I ~ (x,u s 2 [)s _ onst ~ E ~ ~ ~ i
int.ku I , v )
I ah - a hint(u2~v) I -< .,K IIUl-U2Ul , ~h~Vlll , ~ h (2"18~'~)
vu 1 , u 2 , v e Wh , v h e (O,ho)
Proof follows easily from the properties of the functions b and
f, the Mean Value Theorem and [3, Theorem 4.1.5]
Now let us introduce abstract error estimates.
2.4.2. Theorem. There exist constants At, A2, A 3 independent of
h such that
Ilu-uhlll ~h -< A I winf
h~ IIU-Whll + (2.19)
, u~+V h I, ~ h
A3 sup (I a h ( U h , V h ) - a ~ n t ( u h , v h) 1 + l m h ( V h ) - m l n t ( v h ) l )/llvhll 1 2 .
v h ~ Vh ' h
Proof is a consequence o f Theorem 2 . 4 . 1 .
2.4.3 . Theorem. Let u , u ~ E H 2 ( ~ ). Then ~U-Uhnl, ~ h : O(h).
In >
- -
~ I Un-UI ~ ,~ + Cn~ ~ > 03
+ (f(.,Un,(Vun)oo2) - f ( . , u , ( V u ) 2 ) ) ( u n - u)dx,
(The s e q u e n c e {llUn-UIll,9 }n:1 is b o u n d e d . ) From this and e q u i v a l e n c e
of the norms II.111, ~ and i .I i ,n in the space V we a l r e a d y conclu-
de that u n u strongly.
Since {u } - is a b o u n d e d set and A is a b o u n d e d operator,
we c a n a s s u m e that w e U h a v e a sequence Un:=U h such that
n
hn 0, u n u weakly in H I (~) , (2.22)
"~ e ~h n r (3.1)
Now the discrete problem to (1.1) - (].6) is written down in
the following way: Find u h such that
a) u h E Wh, b) u h - u~ E ~ h ' (3.2)
e) ah(Uh,V h) : mh(v h) v v h E V h-
Here,
12
, Vh, = const, = o
case.
4.4. Rotational compressible flow: As a s u f f i c i e n t l y robust the
method of least squares and c o n j u g a t e gradients by G l o w i n s k i et al.
appears (see[ 2]). The details w i l l be the subject m a t t e r of an in-
t e n d e d paper.
5. E X A M P L E S
Fig. I
14
° • • • •
Fig. 2
/- ,1 '
; /
/
," l { "
.//
I
Fig. 3
15
REFERENCES
Au = 0 in t h e fluid
8u (I)
u = c, 7~g : ~ o n t h e f r e e b o u n d a r y
~ u : Q
Au: 0 u = ly a t oo,
Xh -- Q
u = 0 Figure 1
U = 0 ~ ~
u> 0
C
Figure 2
18
where
I : y = g(x), _oo < X < 0, g monotone <b : g(0>, A --(0,b)),
E : {(x,y); -~ < x < ~, 0 < y < b}, ~.: {(x,y); 0 < y < g(x),
-~< x_< 0},
R +2 = {(x,y)} x > 0, y > 0],
= ~. UR 2
+, ~ : ~ N {x > -U},
E
v I : u I A u2, v 2 : u~ v u2 .
Je(u[) + J ( u 2) = J c ( v I) + J ( v 2) ,
~--d ul,p a 0 .
N e x t we have:
point of d e t a c h m e n t A, b u t it is a l s o C 1 at A, a n d V u is u n i f o r m l y
C 1 in {u < Q } - n e i g h b o r h o o d of A.
F
THEOREM. There exists a unlque classical solution of the
symmetric jet p r o b l e m (i).
Existence was already outlined above~ uniqueness is p r o v e d by a
comparison argument [21].
~u + ~u-
- ~ = ~ on the free b o u n d a r y . (3)
au + ~u-
- ~ = cos(x,~) (4)
li+ 1 •
R e f e r e n c e s
I. A n o n l i n e a r parabolic problems.
24
(1.4) I iF(u) - F ( v ) t f C ( S T , H ) ~ Cl I u - V l I C ( S T , H )
- du
(1.5) IF(u)(t) - F(u)(t')1 < It-t IL(I lul I C ( S T , H ) ) ( 1 + I [~J IL ~ ( S t , H ) )
I ~ on S0
~i-i --~ _ ~(0) on [O,h]
Ui-l'n" uj_ 1 + (t-tj_l)h-l(uj-uj_l), tj _< t < t j ÷ 1
I for j:l,...,i-i
Ui_ 1 on [ti, T]
d u (t)
n
(1.9) (~--~--uL ,v) + <A~n(t),v> = (fn(t,F(~n_l)(t)),v) V v ( V~ H
2 < C
flu n - u~ I C ( I , H ) -
J 2h
lujl 2 ~ C 1 + C 2 ~ m a x lUkl
i 1 l~k~i
and hence
!6
J 2h
m a x lUk 12 ~ C 1 + C 2 ~ m a x lUkl
l~k~j i:l l~k~i
(~ i0) ! ~ I ~c , ItuiI[ ~ c
Proof. We s u b t r a c t (1.6) for u=uj ' V=6hUj ~ u j -hu j - i from (1.6) for
l+hUll ~ c
since Uo:%(0) and AuoE H . Thus successively from (I.Ii) we o b t a i n
J
16hUjl ~ C1 + C2 i~l m a x 16hUkl h
l~k~i
dun(t)
(i.12) I ~ I ~ c , I lUn(t)IIvA H ~ c , 1<Aun(t),v>l ~ CIv I
C
(1.13) fUn(t) - Un(t')L -<CIt - t'l, fUn(t) - Un(t)l -<
du
Lemma 3. T h e r e exists an u E L (I,V), u~ Lip(I +H) with ~-~E L (I,H)
such that
2 C dUn du
I lUn-Ul IC[I,H) -< --n ' dt -~--dt in L2CI,H) and AUn(t)-~ Au(t) in V n
<also in H) ~ t ~ I .
Proof. Subtract (1.9) for n=r from (1.9) for n=s where
(I.14) ~d } U r - U s l 2 ~ C( ~1 + ~1 + Ilur_l-url
~ 2
iC(St,H) + i lus_l_usl iS(St,H)
2
+ I IUr-Us[IC(St,H)).
dUr(~) 2
2 c sup Id--7---I < c
]l~r-i - UrlIC(St,H) ~ ~2 T e [O,t] - ~2
?
we C o n c l u d e un ~ u in C(I,H) a n d the e s t i m a t e )lUn-U116(i,H)~
C
<A(t)u,u> a
f luJ Ip(Iluil) , p(t) ~ ~ for t ~
d2
II~--~ A ( t ) u l l ~ + I l~t2 A ( t ) u [ l ~ S C 1 + C2P(I lul I)
I I. V a r i a t i o n a l inequalities .
2S
~du(t)
(2.1) L ~ ,v-u(t)) + <Au(t),v-u(t)> + ~(v) - ~(u(t))
ui ) ~V V E V ~ H
where ~i-i is t h e same as ~n S e c t i o n I . It is e l l i p t i c variational
inequality with respect to ui provided Ul,...,ui_ 1 are known .
Coerciveness of A is assumed in t h e form : There exists v E V with
o
¢(v ) < ~ such that
o
(2.5)
~ either $(0) < ~ , or
~du
L IF < u ) ( t ) - F<u)(t')I ~ cit-t I I l~-~I IL ( S t , H )
for u 6 L i p ( S T --H). Let us put i=j , v=uj_ 1 into (2.2) and then i=j-l,
v=uj . Adding these inequalities the values with } are eliminated and
we are in t h e same situation as in the case of equations . Thus , we
obtain the same a priori estimates (except of I < A u i , v > I ~ C l v I ) as in
Section I . Since Un(t) ~ u(t) we have $(u(t)) ~ lim inf %(Un(t))
( # is a l s o weakly l.s.c, on V ). F r o m this information and from
dun(t)
(2.6) <AUn(t),Un(t)-v> ~ ~(v) - ~(~n(t)) + ( dt 'V-Un(t)) -
(f(t,F(~n_l)(t)),V-Un(t))
29
Then integrating (2.6) and taking lim inf i n (2.6) we obtain the solu-
n -
tion of (2.1) by the same arguments as in S e c t i o n I .
~(v) - ~ <.du(t).
--~) A (f(t),v- -d-u~( t ) ) u(0) = Uo , d ud---{---
( 0 ) = U1 ;
(f(t),v- ~d u (, t ) ] u(0) : Uo ;
v ~ V~H , a.e. t ( I .
2.10) dp
1 a(t;u,v) I ~ C1 lul I I Ivl I (p:l,2 in the cases a),b)
dtP p=l in the case c) ) .
/
2.11) l~b(t;u,v)l~cllull ILvlL
We a s s u m e that there exist So~ H , Zoe H such that
( f ( 0 ) , v - U I) ;
du C
u~ C(I,V) , ~( L (I,V) , [lUn - u I l~(i,V ) ~
dm-lw dm-2w
u = - - in the c a s e i) , or u = - - (m ~ 2 ) in the case ii)
dt m-I dtm-2
G(t;d2u(t) . du(t)
(3.3) dt 2 ,v) + b[t;--~,vj + a(t;u(t),v) =
du
<fv(t,F(u)(t)),V>v + <fH(t,Fv(u)(t),FH(~-{)(t)),V>H
du
holds for all v~ VDH and u = ~ , ~-~ = ~ on SO where ~Lip(S o ~V),
~ELip(S O-H) are g i v e n functions .
32
1
(3.4) ~ G(ti;~hUi-~hUi_l,V) + b(ti;~hUi,V) + a(ti;ui,v) :
<fv(ti,F(~i_l)(ti)),v> V + <fH(ti,Fv(~i_l)(ti),FH(6h~i_l)(ti)),v> H
<fH(0,Fv(~)(0),FH(~)(0)),v> H V v ~ VnH i
lUll ~ C r 16hU i ~ C
and then
I~uil ~ c ,I!6hUil I s C , IIuil I S C .
c2
a(t;u,v) = ~ (x,t) Diu DJv dx for u,v(W2(~)
b(t;u,v) = Jil ~i][jI-<2 ~ bij (x,t) DIu D3V dx (or b(t;u,v) = [~] uv dx).,
t
<fv(t,F(u)(t) ,v> v = / Av ] (t-s) p A u ( s ) ds d x (p _>i) ;
0
6/ v Au(~(t)) dx ~Lip(ST--ST)
If ~ (t)-< t ;
, (du ~(t)
<fH(t Fv(u)(t ,FH ~ ) ( t ) ) , v > H : v / K(s,t) Au(s) ds dx ]
-q
m(t)
f (s,t) dsdx ,
- q
i) H : L2(a) : H 1 , G(t;u,v) : / uv dx .
dmw
Then the first term in (3. I) is of the form
dt m ;
2) H : L2, (~) : {u ;/ ~u 2 d x <~] , H] : L i(~) , <u,v> H : ] uv dx
2, -- 9
where ~(x) > 0 , e & LI(~) . We consider Cla(X) _< g ( x , t ) ~ C2~(x)
References
1. Introduction
a (u,v) = ~ J
{aa~(x)Dgu(x)Dav(x) dx . (1.2)
The usual procedure for solving a boundary value problem for the
operator i proceeds in the following fundamental steps:
(ellipticity of a(u,v) ).
1.1. D e f i n i t i o n.........
of
....... the w e i g h t e d space. Let I < p < ~ and let ~ be
a domain in RN . For k 6 ~ and for N - d i m e n s i o n a l multiindices a
such that I~I =< k let a = ~(x) be weight functions, i.e. measur-
able a n d a.e. in d positive functions, and let us d e n o t e S =
{~, lal ~ k} . The w e i g h t e d Sobolev space
wk'P(d~S) (1.7)
37
w~'P(a~S) (1.9)
g
e L~ O C (~) for lal ~< k "
(I IO)
a s (X) = [dist(x,M)~ E
Let us consider the operator i from (Ioi) and let us suppose that
its coefficients fulfil the following conditions:
a
~a > 0 a.e. in ~ ;
a , a -I
~ E L lIo c ( ~ ) , lal < k ; (2.1)
for
2
~. aa~(x)~a~ > cO ~ a (x)~ a.e. in ~ (2.3)
for all ~ 6 ~M .
. 2.1. Theorem. Let the operator L fro~ (1.1) fulfil conditions (2.1)
- (2.3). Let S be given by (2.4); ~et f e (W~'2(~;S)) and u0
wk'2(~;S) . Then there exists one and only one weak solution u
wk~2(~;S) of the Dirichlet problem for the equation Lu = f , i.e.,
such a function u" that
2.4. Example. Let us consider the plane domain ~ = (0,~) x (0,~) (i.e.
N = 2 ) and the fourth order operator
~2 61 62 82u
(Lu) (x) ax13x2(X I x 2 axlax-----~-
) -
- ~--9--I sl x 2~2 ! ~ 2 )
I¢IYI x2~2 ma u7) 2 xI
Here we have two possibilities:
lUl 12 = IUl 2 X 1
($1-2 x 262-2 dx +
i 8~1 2 X Y1 X2
I X2 dx
(2.9)
BI B2 O2u 2 61 62
8u 2 2 Xl
+ f 8x x2 dx + f ~x18x2 x1 x2 dx
2.5. Remarks. (i) Example 2.4 shows that the structure of the opera-
tors as w e l l as of the w e i g h t e d spaces can be m o r e general than that
mentioned in f o r m u l a (1.1) and in D e f i n i t i o n 1.1; in p a r t i c u l a r , ani-
sotrop~c o p e r a t o r s and spaces c a n be t r e a t e d by o u r m e t h o d .
I~I < k for a.e. x ~ ~ and all < £ RM with given constants c > 0
and functions g e Lq(~) , q = p/(p - I) ;
(2.i2)
Z
lal <_k
f o r a. e. x E ~ and all ~, n E RM ;
u - u0 E W~o'P(~;S)
and
b
a(u,v) = ~ fa ~ ( x ) D ~ u ( x ) $ o a ( x ) D ~ v ( x ) / ~ I dx (3.2)
H I = W k,2
0 (~; (dist) e) , H 2 = ~ 0 , 2 ( ~ ; (dist)-e)
o (x) = s ( d i s t ( x , M ) ) ,
N-m>2k+1
-- (3.6)
u - u0 6 ~'2(~;s)
and
b(u,v) = < f,v > for e v e r y v 6 W k,2
0 (~;S)
f 12 o0(x) dx Cli~N ~ !
lu(x) 81/ 2
8x i
a (X) dx (3.8)
46
3.9. Remarks. (i) The last result was derived for k : I , i.e. for
the second order o p e r a t o r s only. For k > I , we have to consider
weights o which fulfil conditions (3.8), (3.9) repeatedly (i.e. for
o there must exist the corresponding o0 , for J0 the corresponding
(o0) 0 etc. k-times),
3.12. Remark. Since the form a(u,v) was derived from the operator k
by using Green's formula for the integral flu v dx , v E C~(~) , the
form b(u,v) = a(u,ov) can be derived in the same way from the integ-
References
KUFN~I j n. :
Weighted Sobolev spaces. J. Wiley & Sons, Chichester-New York
-Brisbane-Toronto-Singapore 1985
KUFNER, A. ; V O L D ~ I C H , J. :
[11 The Neumann problem in weighted Sobolev spaces,
Math. Rep. Roy. Soc. Canada
KUFN~ Linear A. ; R ~ K O S N f K , J. :
elliptic boundary value problems and weighted Sobolev
spaces: A modified approach. M a t h . S l o v a c a 3--4(1984), N o . 2
185-197
N E ~ A S , J.:
[I] Sur une m~thode pour r~soudre les dquations aux d~riv~es par-
tielles du type elliptique, voisine de la variationnelle. A n n .
Scuola Norm. Sup. Pisa 16(1962), 305-326
48
V O L D ~ I C H , J.:
[I] A remark on the solvability of boundary value problems in
weighted spaces. To a p p e a r in C o m m e n t Math. Univ. C a r o l i n a e
CRITICAL POINT THEORY
AND NONLINEAR DIFFERENTIAL
EQUATIONS
J. MAWHIN
Institut MathAmatique, U~iversitd de Louvain
B-1348 Louvain-la-Neuve, Belgium
1. I N T R O D U C T I O N
The variational approach to b o u n d a r y value problems for d i f f e r e n -
tial equations consists in w r i t i n g the problem, whenever it is p o s s i -
ble, as an a b s t r a c t equation of the form
(i) ~(u) : 0
(2 ) u" + ~u = V F ( x , u ) (V : D u )
50
: H ~ R, u ~ Q (u) + II F(.~u(.))
where
Q (u) = / i ( i / 2 ) ( lu'l 2 - ~ l u 1 2 ) ,
(3) ~'(u) = O.
(4) ~ < XI
and
a) The
. . . . .case
. . . . .w.h.e.r.e. .VF
. . . .is. . .b .o .u .n .d .e d
Writing u(x) : ~(x) + u(x) w i t h u • H 1 the e i g e n s p a c e of 1 1 and
E HI = H~, w e h a v e ~(u) = Q1 (~) + ]I [ F ( ' ' ~ ( ' ) ) + F(.,u(.)) -
1
F(.,~(.))] ~ QI (u) + fI F ( . , ~ ( . ) ) -
1
Mil~tlL2 Z ClJt~Jt2 - c2tI~IL + IIF(.,~(.))~
The b o u n d e d n e s s of VF c a n be r e p l a c e d bv the c o n v e x i t y of
F(x,.) for each x 6 I. In this case, if (6) also holds, there
e x i s t s u0 e HI such t h a t
cifI~i12 - c21111i - c 3
5_
~
F(X,~k/2) ~ ( i / 2 ) F ( x , u k) + ( i / 2 ) F ( x , - u k )
and hence,
~(u k) ~ 211 F ( . , U k / 2 ) - I I F ( - , - u k)
2] I F ( . , ~ k / 2 ) - c4,
L e t us a s s u m e now t h a t
a c IIiwll2 - c211wJl - c 3
~t
and
THEOREM i. Assume t h a t
fiF(.,v(.)) - + ~ aS IIviL ~ ~ in HI
/I F ( . , v ( . ) ) ~ -~ as llvlt -~ oo i n T{1
F(x,u + T e ) = F(x,u) (i ~ i ~ N)
l l
$(u) = QI (~) + /I F ( . , u ( . ) )
(il) i
ClllUJi2 - c 2 •
N
IUkl ~ ( E T~) 1/2
i:l
Thus ~ has a bounded minimizing sequence and h e n c e a minimum. This
result is due to W i l l e m [18] and (independently and in s p e c i a l cases)
Hamel [5] and Dancer [3]. The existence of a s e c o n d solution was
proved by M a w h i n - W i l l e m [8,9] using the m o u n t a i n pass lemma, a variant
of Lemma I. T h e i r approach was extended to s y s t e m s of the form
d 3L ~L
dt 84 (u,~) - ~ (u,~) = 0
b) 2h~-~a~_Q£_Dixl~h!~_hgu~arX_~Qn~i~ie~a
2
~x
1 1 = (b_a)7 > 0 and HI = span(sin ~-c~) w h i c h imply t h a t we loose the
v(a) : v(b) = 0
T H E O R E M 2. A s s u m e that
56
with N = i and F of the form (13) in the Dirichlet case. Then (21)
l
with the suitable boundary condition has at least one solution.
a) ~ h £ _ S ~ _ ~ h ~ S _ ~ < _ i ~ _ ~ S ~
Then one can use the Rabinowitz Lemma in a way similar to the
case where ~ = l I and ~! F ( . , v ( . ) ) ~ - ~ as ~v~ ~ ~ if the extra
condition
c) The case w h e r e F is p e r i o d i c a n d ~ = I
....................................... 1
Results are known only when N = 1 a n d F has the form (13). The
proof, due to L u p o and Solimini [16,7] is such more delicate because
the PS e is n o t satisfied at c = 0. T h i s requires, in a d d i t i o n to the
classical Rabinowitz saddle point theorem, ether saddle point
theorems of the same type and some topological arguments (together
with the Riemann-Lebesgue-type lemma mentioned above).
Ai+ 1 - I .
ii) F(X,.) is convex, l i m sup F ( x ,Zu ) < 8 < .
- 2 l (unif " in x @ I)~
lul -- ~ lul
Then the problem (2) with any of the boundary conditions has at
least one s o l u t i o n .
References
[ i] S . A H M A D , A . C . L A Z E R a n d J . L . P A U L , E l e m e n t a r y c r i t i c a l p o i n t t h e o r y
a n d p e r t u r b a t i o n s of e l l i p t i c b o u n d a r y v a l u e p r o b l e m s at r e s o n a n c e ,
I n d i a n a Univ. Math. J. 25 (L976) 9 3 3 - 9 4 4 .
[2] A.CAPOZZI, D.FORTUNATO and A.SALVATORE, Periodic solutions of
Laoranqian s y s t e m s w i t h b o u n d e d p o t e n t i a l , to a p p e a r .
[3] E . N . D A N C E R , On the use of a s y m p t o t i c in n o n l i n e a r b o u n d a r y value
p r o b l e m s , Ann. Mat. P u r a ADD1. (4) 131 (1982) 167-185.
[4] I.EKELAND, Nonconvex minimization problems, Bull. Amer. Math. Soc.
(NS) 1 (1979) L~43-474.
[5] G.HAMEL, Ober erz~mgene Schwinqunaen bei endlichen Amplituden, Math.
Ann. 86 (1999) 1-13.
5~
I. H i s t o r y
Investigations of l i n e a r differential equations from the p o i n t
of t h e i r transformations, canonical forms and invariants started in
the last century. In 1834 E.E. K u m m e r [6] studied transformations of
the second order equations in the form involving a change of the
independent variable and m u l t i p l i c a t i o n of t h e d e p e n d e n t Variable.
Till the end of the last century several mathematicians dealt also
with higher order equations. Let us m e n t i o n at least E. Laguerre,
A.R. Forsyth, F.Brioschi, G.H.HalDhen from many others. Perhaps the
most known result from this period is the so c a l l e d Laguerre-F0rsyth
canonical f o r m of linear differential equations characterized by the
vanishing of the c o e f f i c i e n t s of the (n - 1)st and (n - 2)nd
derivatives.
However as late as in 1892 p. S t a c k e l (and one year later
independently S.Lie) proved that the f o r m of t r a n s f o r m a t i o n conside-
red b y K u m m e r (as w e l l as all his successors) is the m o s t general
pointwise transformation that converts solutions of any linear homo-
geneous differential equation of the o r d e r greater th~n one into
solutions of an e ~ u a t i o n of the same kind. In fact, only this result
justified backwards the w h o l e previous investigations.
Already in 19.10 G.D. Birkhoff [ i] p o i n t e d out that the investig-
ations, considered in the real domain, were of local character. He
presented an e x a m p l e of the t h i r d order linear differential equation
that cannot be transformed into any e q u a t i o n of the L a g u e r r e - F o r s y t h
canonical f o r m on its w h o l e interval of d e f i n i t i o n .
The local nature of m e t h o d s and results is not suitable for
dealing with problems of g l o b a l character, as b o u n d e d n e s s , periodicity,
asymptotic or o s c i l l a t o r y behavior and other properties of s o l u t i o n s
that necessarily involve investigations on the w h o l e intervals of
definition.
Only to d e m o n s t r a t e that even in the m i d d l e of this century there
60
II. G l o b a l T r a n s f o r m a t i o n s
For n ~ 2, let P n ( Y , X ~ I } denote a linear homogeneous ordinary
linear differential equation
(n-l)
y(n) + Pn_l(x)y + . . . + Po(X) : 0 ,
i = 0,1,...,n - i, J C R b e i n g an o p e n interval.
We say t h a t P (y,x;I)
n
is globally trans~formable into Q (z,t;J)
n
if
there exist
a function f E cn(j), f(t) # 0 on J, and
a Cn-diffeomorphism h of J into I,
such that
z(t) : f(t) . y(h(t)), t e j
is a s o l u t i o n of Q n ( Z , t ; J ) whenever y is a s o l u t i o n of P n ( Y , X ; I ) .
This d e f i n i t i o n complies with the m o s t g e n e r a l f o r m of a p o i n t w i s e
transformation derived by Stackel. The b i j e c t i v i t y of h g u a r a n t e e s the
transformation of s o l u t i o n s on their w h o l e intervals of d e f i n i t i o n ,
i.e. the g l o b a l i t y of the t r a n s f o r m a t i o n . Let me r e m a r k also, that
recently M.~adek derived St~ckel's result without any d i f f e r e n t i a b i l i t y
assumption, [4].
It a p p e a r s to be c o n v e n i e n t to w r i t e the g l o b a l transformation in
the f o l l o w i n g form. Let y = (yl,...,yn)T be the v e c t o r column function
whose c o o r d i n a t e s j y i are l i n e a r l y independent solutions of the e q u a t i o n
Pn(Y,X;I) for i = l,...,n. L e t us call the y a fundamental solution of
Pn(Y,x;I). Similarly, let z d e n o t e a fundamental solution of the
equation Qn(Z,t)J). Then there exists a nonsingular n by n c o n s t a n t
m a t r i x C such that
(~) z(t) : C.f(t).y(h(t)), t e J .
The g l o b a l transformation expressed expiicitely by this f o r m u l a w i l l be
d e n o t e d by ~ = <Cf,h) , a n d we shall w r i t e
Y
Pn(Y,X;I)e : Qn(Z,t~J) ,
or s h o r t l y
62
P ~ Q o
The relation of global transformability is an equivalence
relation. Hence the set A of all linear homogeneous differential
equations of all orders greater than and equal to two, is d e c o m p o s e d
into the classes of globally equivalent equations.
Let B be one of the classes of the equivalence. For each three
equations P, Q and T of the class B there exist global tranformations
and 8 such that
P~ = Q and Q8 = T .
If we define a composition ~B of the t r a n f o r m a t i o n s ~ and 8 by
(P~)8 = P(eS) = T ,
we introduce a certain algebraic structure into each class B of
globally equivalent equations. This algebraic structure considered on
the w h o l e set Ais a special category, called the Ehresmann groupoid.
Linear differential equations are o b j e c t s and global transformations
are m o r p h i s m s of the category. The same a l g e b r a i c structure restricted
to any class B of g l o b a l l y equivalent equations is a special Ehresmann
groupoid, called the Brandt groupoid.
The basic (and in fact, the only) structural notion of a B r a n d t
groupoid is the so called stationary group of any of its objects. In
our case of d i f f e r e n t i a l equations, the stationary group G(P) of an
equation P is formed by all global transformations that t r a n s f o r m the
equation P into itself, i.e.
G(P) = {~; P~ = P}
It can be shown that the stationary groups of any two e q u a t i o n s
P a n d Q from the same e q u i v a l e n t class B are conjugate:
equivalent, i.e. c r i t e r i o n of g l o b a l e q u i v a l e n c e .
2. C h a r a c t e r i z e all possible s t a t i o n a r y groups a c c o r d i n g to the
classes of equivalence.
3. Find, construct canonical objects, e q u a t i o n s in each class of
equivalent equations.
In w h a t follows we shall answer the m e n t i o n e d questions for
linear differential equations of a r b i t r a r y orders.
First, let us introduce also a g e o m e t r i c a l r e p r e s e n t a t i o n of our
global transformations very useful in the sequel w h e n d i f f e r e n t
geometrical approaches are applied.
Again, let an e q u a t i o n P be r e p r e s e n t e d by its (arbitrary, but
fixed) fundamental solution y, c o n s i d e r e d n o w as a curve in n - d i m e n -
sional vector space Vn, the i n d e p e n d e n t variable x ranging through the
interval I and b e i n g the p a r a m e t e r of the curve. Due to the f o r m (e)
of a global transformation,
the change x = h(t) is only a reparametrization,
the fa'ctor f(t) selects only another curve b u t on the same
cone K formed by straight lines g o i n g through the origin 0 6 V and
n
all points of the o r i g i n a l curve y,
the m a t r i x C performs a centroaffine mapping.
We m a y conclude that each fundamental solution, or curve z of any
equation Q globally equivalent to the e q u a t i o n P is a section of a
cone in n - d i m e n s i o n a l vector space o b t a i n e d as a c e n t r o a f f i n e image of
a fixed c o n e d e t e r m i n e d by a fixed curve y.
Now, let us come to answer the a b o v e m e n t i o n e d basic questions.
time o f t h ~ same k i n d .
Our criterion of global equivalence of equations of higher
orders needs the following notion. Let
(p) u'' + p(x)u : 0
be an equation of the second order whose coefficient p belongs to the
class cn-2(I), and let u I and u 2 denote two of its independent solu-
tions. Define n functions
These functions are of the class cn(I) and they are linearly indepen-
dent. Hence they can be considered as solutions of the uniquely de-
termined n-th order linear differential equation, called the i t e r a t i v e
equation iterated from the equation (p). We denote the iterative
equation by p[n] (y,x;I), or simply by p [ n ] The differential expres-
sion of the iterative equation normalized by the unit leading coeffi-
cient will be denoted as {pin] f. It can be shown (e.g. [5]) that
a tan x + b
i. The functions h : R ~ R, h{x> = Arctan c t a n x + d' lad - bcl = 1
a tan x
2. h : R + ~ R+, h(x) = Arctan ~ t a n x ~ i/~ , a # 0
V. C a n o n i c a l Forms
The next important notion is the n o t i o n of c a n o n i c a l forms of
linear differential equations. Such forms were studied from the e a r l y
beginning af i n v e s t i g a t i o n of the e q u a t i o n s in the m i d d l e of the last
century.
W~ h a v e mentioned that already in 1910 G.D. Birkhoff pointed out
that the so c a l l e d L a g u e r r e - F o r s y t h c a n o n i c a l form i s not g l o b a l . It
c a n be s h o w n [13] that also the o t h e r canonical form that has occurred
in the literature, the so c a l l e d Halphen c a n o n i c a l form i s not g l o b a l
either.
For constructions of g l o b a l c a n o n i c a l forms we m a y p r o c e e d in two
ways, either we u s e a c e r t a i n geometrical approach, or w e m a y apply the
criterion of g l o b a l equivalence.
First let us e x p l a i n shortly our geometrical approach. We h a v e
seen that fundamental solutions z, c o n s i d e r e d as c u r v e s in an n - d i m e n -
sional vector space, corresponding to a l l equations globally equivalent
to o n e equation with a fundamental solution Y, a c u r v e y, a r e o b t a i n e d
as s e c t i o n s of a c o n e determined by the c u r v e y. To find a canonical,
that means, a special equation in the c l a s s of e q u i v a l e n t equations,
we n e e d a special section of the cone. By a p p l y i n g Cartan's moving-
frame-of-reference method we come unfortunately again to the H a l p h e n
forms that are not global. However, if w e c o n s i d e r the e u c l i d e a n
n-dimensional space and take the c e n t r a l projection of o u r curves and
then their length parametrization, we o b t a i n special sections of the
cone, special curves. Fortunately, this c a n be d o n e without any restric-
tions on the w h o l e intervals of d e f i n i t i o n . Then by u s i n g differential
geometrical methods the explicit forms of the special, canonical equa-
tions corresponding to the special curves are obtained.
These g l o b a l c a n o n i c a l forms are
n = 2: y'' + y = 0 on (different) I C R,
67
VI. Invariants
Invariants of linear d i f f e r e n t i a l equations with respect to trans-
formations have been d e r i v e d from the middle of the last century either
directly, or m a i n l y on the basis of the H a l p h e n canonical forms. These
invariants are local.
A global invariant of the second order linear d i f f e r e n t i a l
equations is in fact their t~pe:finite (a positive integer) or infinite,
and their kind, as introduced and derived bv O.B0r~vka in the sixties.
Due to the criterion of global equivalence we have now also
global invariants for equations of an arbitrarq order. Indeed, the
t y p e and k i n d o f t h e equation (p): U'' + p(X)U : 0 on I i s a global
invariant of the n-th order equations P rewritten in the form
n
Pn(Y,X~I) : Ip[n]'(y,x~I)l + rn_3(x)y(n-3)+... = 0 .
j S n - 1 ,
then the c o e f f i c i e n t s of any g l o b a l l y equivalent equation to the
Pn(Y,X;I) have t h e same o r d e r o f d i f f e r e n t i a b i l i t y .
VII. Equations with Solutions of P r e s c r i b e d Properties
The m a i n idea h o w to c o n s t r u c t linear differential equations with
solutions of some p r e s c r i b e d properties is based on the following
"coordinate approach".
Having global canonical forms (the g l o b a l i t y is essential), each
linear differential equation P of an a r b i t r a r y order can be "coordi-
nated" b y a couple {S,~} consisting of its global canonical f o r m S and
of the global transformation ~ converting S into P, i.e., P = Se.
If we succeed to r e f o r m u l a t e a given property of solutions of P
equivalently into p r o p e r t i e s of S and ~, we may c o n s t r u c t all required
equations. Also problems concerning relations among certain properties
are then c o n v e r t e d into (sometimes simple, or e v e n a l r e a d y solved)
problems from the t h e o r y of functions.
By u s i n g this a p p r o a c h there w e r e constructed linear differential
equations that have important applications in d i f f e r e n t i a l and integral
geometries. E.g., it was p o s s i b l e to g e n e r a l i z e Blasehke's and S a n t a l J ' s
isoperimetric theorems, [8].
Connections between boundedness of solutions and their L2-pro -
perties were easily explained by the a b o v e m e t h c d [7].
Relations between distributions o f z e r o s and a s y m p t o t i c behavior
of the solutions were also d e e p l y studied by means of the c o o r d i n a t e
approach.
There is also a n o t h e r way, a geometrical one, h o w to see what
happens with zeros of solutions and how to c o n s t r u c t equations with
prescribed distribution of zeros of their solutions.
VIII. Zeros of S o l u t i o n s
This qeometrical approach is b a s e d on the r e p r e s e n t a t i o n of a
fundamental solution y of an e ~ l a t i o n Pn(Y,x;I) as ~ curve in n-dimen-
sional vector or even e u c l i d e a n space V mentioned in the p r e v i o u s
n
sections.
Let the curve v be the central nro~ection of the curve y onto the
69
IX. A p p l i c a t i o n s
To the e n d of m y survey let me m e n t i o n some fruitful applications
of the p r e s e n t e d theory.
The above methods were succesfully applied to s y s t e m s of l i n e a r
differential equations. E.g., construction of c e r t a i n second order sys-
tems w i t h only periodic solutions, [ i0] , p l a y s an important role in geo-
metry of m a n i f o l d s whose all geodesics are closed [21.
By u s i n g the a b o v e approach there were solved some problems con-
70
References
[ i] Birkhoff, G.D.: On the s o l ~ t i o ~ of ordinary linear homogeneous d i f f e r e n t i a l
equations of the ~nird ord~, Annals of M a t h . 12 (1910/11) , 103-124o
[2] Besse, A.L.: ~a~ifoldS All of Whose Geodesi~-~e Closed, Ergenisse, vol. 93,
Springer, Berlin ~ New York, 1978.
[3] Bor~vka, 0.: ~near differentiat~ansformationen ~. Ordnu~g, VEB Berlin 1967;
Linear Diff~e~tic~ TRansformations of the Second Order, ~ e English Univ.
Press, London 1971.
[4] Cadek, M.:A form of general poi~/d~i~e t/u~nsforma/oLo~ of line~ different~
eqb~ons, Czechoslovak Math. J. (in print)o
[5] n u s t ~ , z . : Die Iteration homogen~ linear D i f f e r e n t i a l g l e i ~ u n g e n , Publ. Fac.
Sci. Univ. J.E. Purkyn~ (Brno) 4__4--9(1964), 23-56.
[6] Kummer, Eo : ~e gener~i q u ~ ~ q u ~ o n e differen~o~i tert~ ordi~, progr.
Evang. Konigl. & Stadtgymnasiums Liegnitz 1834~
[7] Neuman, F.: Relation b ~ e e n the d ~ t ~ b ~ i o n o~ the zeros 0~ the solutions of
a 2nd order linear d i f f e r e n t i a l equation and the boundedness of these s o l u t i o n ,
Acta Math. Acado Sci. Bungar. 19 (1968), i-6.
[8] Neuman, F.: Linear differen2i~-equat~o~ of the secJgnd ord@/% a ~ their
applications, l~end. Math~ 4 (1971), 559-617o
[9] Neuman, F.: Geometrical approach to linear diff~e~tial e q ~ o ~ of the n-th
order, Rend. Mat. 5 (1972), 579-602.
[I0] Neu~nan, F.: On ]J~o-proble~ abou~ oscill~on of linear diffe~%e~ial equiz~ions
of the th/rd order, J. Diff. Equations 15 (1974), 589-596~
[ Ii] Neuman, F.: On solutions of the vector ~ctional equation y(~(x)) =
= f(x).A.y(x), aequationes Math. 16 (1977), 245-257.
{ 12] Neuman, F.: A survey of global p r ~ t i e s of linear differential equations of
the n-th ord~/%, in: Lecture Notes in Math. 964,543-553.
[!3] Neuman, Fo: G10boLf_canonical for~ of ~ne~--~iff~re~ti~ equations, Math.
Slovaca 33, (1983), 389-394.
[ 14] Neuman, F-~: StationaAy groups of linear differential eq~l~ons, Czechoslovak
Math. J. 34 (109) (1984), 645-663.
[ ~5] Posluszny,---~. an----dRubel, L.A.: The ~ot~on of an o r d i ~ y d i f f e r e ~ eq~a~on,
J. Diff. Equations 34 (1979), 291-302.
u(x,o) = o , (2)
Let the form ((.,.)) be hounded in V x V and V-elliptic, i.e. let two
positive constants K and ~ (independent of v and u ) exist such
that the inequalities
zi(x ) - Zi_1(X)
Zi(x) = h , i : I ..... p . (9)
with z0(x) = u(x,0) = 0 . Under the assumptions (7), (8), each of these
problems has exactly one solution z. ~ V . Apriori estimates: Put v =
3
Z1 = (z I - z 0 ) h = Zl/h into (10) written for j = I . We obtain
l lznl
3
Iv =< c3 (16)
(14), (15) and (16) are the basic needed a priori estimates. They have
actually been obtained in a very, very simple way. What follows, is a
standard procedure, now. Let
t - tn
n n n j-1
Un(t) = zj_ I + (zj - zj-1 ) - h (17)
for tnj-I < t <= tn3 ' J = I, .... p . 2 n-1
n
/Z I for t = 0 ,
Un(t)
z9 for t~ = t~ j = I .... p - 2 n-1 (18)
3 3 -1<t< 3' '
(n = 1,2,... ) be abstract funcions, considered as functions from I =
~,~ into V , Or L2(G ) , respectively. In consequence of their form
and of (16) and (14), they are uniformly bounded (with respect to n ).
in L2(I,V ) , or L2(I,L2(G)) , respectively (even in C(I,V) , or
L (I,L2(G))). The space L2(I,V ) , and L2(I,L2(G)) being Hilbert spa-
ces, a subsequence {unk } , or {Unk } can be found such that
t
U (T)dT : U (t) vn
n n
0
yielding easily
t
/ U(T)d~ : u(t) ,
0
u(0) : 0 in C ( I , L 2 ( G ) ) . (22)
Theorem i. Let (7), (8) be satisfied, let f E L2(G). Then there exists
exactly one weak solution of the problem (I) - (~) and
un u in L 2 ( I , V ) , u n ~ u in C ( I , L 2 ( G ) ) (24)
((v,v)) h c211vll 2 v v ~v
2 i
z2i zi = qi' i = 0,1,...,p
2 1 2 2
((v,z2i)) + ~-/~ ( V , Z 2 i - Z2i_l) : (v,f) ~ V E V.
~(v, 2 _ ~ 2 2
z2i 2z2i_i + z2i_2) v v E V,
or, denoting
77
2 ~ 2 n n n
s~ = z i - 2z -I + zi-2 (s~ : zi - 2 Z i - l + zi-2 in g e n e r a l )
(h/2)~ 1 h2 --' '
n
l(v 1 1 ) : ~ 2
((v,q~)) + ~ 'qi - q i - i - (V,S2i) v V E V,
n n+l n
In g e n e r a l , we h a v e , for qi : z2i - zi '
~n i(h/2n-l)2M ,... 2n-i
i lqill ~ . . . . 4 , i : o,i , p.
NOW,
u(x,O) : 0, (29)
u(O,t) : O, U(~,t) : O. (30)
respectively. The exact solution is k n o w n (this was the reason why such
a simple example has been chosen): u = I - e -t) sin x . Thus
Finding C = 1 (see [lj, p. 90) and using (27), we get the estimates
which are still better then the estimates (32). The example demonstrates
very well the sharpness of the estimates (26), (27) and the fact that
they cannot be substantially improved.
((v,s)) : (v,g) v v e V.
Putting then
z. : r + s
3 j
into the integral identities
Its limit is then called the very weak solution of the problem (34) -
(37). Omviously, this very weak solution is u n i q u e l y determined by
the initial function u 0 E L2(G).
Amour convergence, in C(I,Li(G)) , of the corresponding Rothe sequence
to this very weak solution as w e l l about nonhomogeneous boundary con-
ditions see [i].
%
Putting v = z 2 - z2 , we get
that
S1
again. Thus
h((Zl,Zl)) + (z I, Z I - u 0) = 0 .
I 2
Writing (z I, z I - u0) in the form ~ (I IZll I + I IZl - u 0 I2 -
- Jlu0J I2) , we g e t
h((Zl'Zl)) + ~1 IlZl I i2 a ~
1
ItUotl 2
82
Similarly,
1 12 1 2
h((z2'z2)) + 2 llz2 I <~ 2 llZl I I '
I 12 I 2
h((zj,zj)) + 2 I Izj I ~ 2 I Izj-111
Making the sum, we o b t a i n
J
h ~ ((zi,zi)) <__~i flu01 12 (44)
i=1
Putting, in the s e c o n d of the i d e n t i t i e s (38), V = z 2 - z I , w e get,
similarly,
I
((z 2 - z I, z2)) + [ (z 2 - z I' Z 2 - z I ) = 0 ,
< ~
I Iz~IIV = ~ ( 2 e t 0)
I lUol I ~ t~ ~ t O
1
(48)
U s i n g this result, interchanging the role of zi and Zi and a s s u m i n g
2t 0 6 (0,T) , we get, similarly,
6 L2<~t0,T],V ) , u' 6 L 2 ( ~ t 0 , T ] , L 2 ( G ) ]
G o i n g on in the same way, we p r o v e similarly (assuming 4t 0 ~ (0,T) )
R e f e r e n c e s
Introduction
Customary numerical algorithms do not produce bounds ~or the true so-
lution of the specified p r o b l e m but an approximate solution. Information
about the remaining error is obtained from a secondary problem:
Given the original problem and an approximatc solution, find an ap-
proximation to its error.
The Problem
Here ~ denotes the power set; normally we have to restrict the range of
86
for the true solution y of (1.1). The algorithms which we will consider
are also immediately applicable to the case of strips of true solutions
(y(t) £ ~ R s ) as they appear for a set-valued initial condition y(O) £ Y o
£ ~s in (1.1).
Naturally, the inclusion problem becomes the more delicate the tight-
er an inclusion we request. It is clear, however, that we cannot gene-
rate an inclusion of a prespecified maximal width in a one-pass step-by-
step procedure for a general initial value problem.
For lack of space, we cannot systematically list and comment the va-
rious contributions. A very extensive bibliography on the subject is to
be found, e.g., in Nickel [7]. Our own bibiliography contains only some
typical examples of specific approaches.
Local Analysis
~(tv) - y(t ;tv_1,y~_]) E ~ for all Yv-1 ~ ~(tv-l) - ~-I " (2.1)
D := ~ ~ E E IP~ s (2.3)
v x)
(For two sets in a linear space, with A c B , the interior difference B~A
is the unique set C which satisfies A + C = B. Obviously, O£BTA. The
norm of B~A is the Hausdorff distance of A and !3.)
ms ~._~(t)
Fig. I
tv_ 1 t
where ~v-1 := diam ~v-1" The appearance of the second term seems unavoid-
able, even if quadratic terms in e are evaluated:
Stability
/ G
variational
e equation
Fig. 2
~ = IGi-d_ 1 • (3.1)
v-] := D (5.z)
i.e. only diagonal elements are not replaced by their modulus. For a
non-quasimonotone problem we have J+ * J which implies
perturbations.
[°::+ o::l
which has the combined spectrum of J = D + R + +R- ) and J+ =
( D+R+-R - ) = ( D + IRI ).
E = G ,v_ I g v - t + Cv
A := Gv,v_ 1 A _I , (3.4)
A A IC]
E := E _ I + W[A; , (3.5)
~ = W[A ~ ] (3.6)
(3.6) is needed for the evaluation of various terms in the step pro-
ceeding from t . Hereby, C may be distorted by a factor lIA lltJA~IH
= cond(A ), see (3.5) and (3.6).
^ ^
= A E =: I E
91
The A c c u m u l a t e d Excess
X = X _I + h J X _I ÷ h D (4.2)
Here ~(t) = e(t) + X(t) so that diam ~(t) = diam X(t). This leads,
with (4.4) and (4.3), to
92
Methods
tv. 1 tv- 1
t t
-11 h i
~ f: ,7~_ 1 )
p-1 h i hp (5.2)
+ i=I~ ~.~ [ f ~ ( t v - l ' ~ - 1 - ~ - 1 ) - fi(t~-l'~-1)] ~v-1 ~ fp([tv-1'tv]'Y~ )
References
[11 J. C~NRADT~ Ein ~nterval~verfahren ~ur Einschlie~ung des Fehlers e~ner N~zherungsl~mng...~
Freiburger Intervall-Berichte 80/1, 1980.
[2] Tracts
P. EIJGENRAAM,
144, 1981. The solution o f initial value problems using interval arithmetic, Math. Centre
[3] L.W.JACKSON, Interval arithmetic error-bounding algorithms, SINUM 12(1975) 223-238.
[4] N.J. LEHMANN, Fehlerschranken ~ r NaherungslOsungen bei Differentialgleichungen, Numer. Math.
10(1967) 261-288.
[5] U.(1975)MARCOWITZ249-275.
'
Fehlersch?itzung bei Anfangswertaufgaben yon gew. Diffgln_., Numer. Math. 24
[6] R.E.MOORE, IntervalAnalysis, Prentice Hall lnc., 1966.
[7] K.#2590,NICKELt982.Using
interval methods for the numerical solution o f ODEs, MRC Tech. Summary Rep.
[8] J. SCHRODER, Fehlerabsch?~tzung T i t Rechenanlagen bei gew. Diffgln. 1. Ordn., Numer. Math. 3
(1961) 39-61.
[9 ] W.WALTER, Differential - undlntegralungleichungen, Springer-Tracts in Nat. Phil. vol. 2, 1964.
£ -6 c = 2 -4
= 0 = 2
0 O O ~o = z-z
2-1 .25 ( - 2 ) .27 ( - 2 ) 17.3 .38 ( - 2 ) 6.11
27.7 26.9 18.2
2-2 .9l (-4) .10 ( - 3 ) .64 .21 ( - 3 ) .34 .29 ( - 2 ) 1.16
18.7 11.8 3.23 2.27
2-3 .48 ( - 5 ) .85 ( - 5 ) .054 .65 ( - 4 ) .10 .13 (-2) .51
17.4 2.79 1.~9 1.39
2-4 .28 (-6) • 31 (-5) .020 .075
.47 ( - 4 ) .93 (-3) .37
16.7 1.23 1.13 1.16
2-5 .16 ( - 7 ) .25 ( - 5 ) .016 .41 ( - 4 ) .066 .80 ( - 3 ) .32
16.4 1.06 1.06 I .07
2-6 .to (-8) ,23 ( - 5 ) .015 .39 ( - 4 ) .062 .74 (-3) .29
4~
16.2 1.03 1.03 1.04
2-7 • 63 (-9) .23 ( - 5 ) .015 .38 ( - 4 ) .060 .72 ( - 3 ) .28
diam E(~o) = .157 (-3) 4.0 .626 (-3) 4.0 .253 (-2)
80 8O
The p r o b l e m was y, = _y2 Yo : [1 --2-, ] +-2-] t £ [0,9]
The m a i n figures display diam X at t = 9, cf. (4.1). The i t a l i c figures are q u o t i e n t s of their two
neighbors. The right-hand figures in the c o > 0 c o l u m n s are the q u o t i e n t s d i a m X(h,~o) / d i a m E(Co) .
RECENT DEVELOPMENTS IN THE THEORY
OF FUNCTION SPACES
H. TRIEBEL
Sektion Mathematik, Universitiit Jena
DDR-6900 Jena, Universit~its Hochhaus
i. I n t r o d u c t i o n
The w o r d "function spaces" covers nowadays rather different bran-
ches and techniques. In o u r c o n t e x t function spaces means spaces of
functions and distributions defined on the r e a l euclidean n-space R
n
which are isotropic, non-homogeneous and unweighted. More precisely,
this survey deals with the spaces B ps, q a n d F ps , q on R n w h i c h cover
Holder-Zygmund spaces, Sobolev-Slobodeckij spaces, Besov-Lipschitz
spaces, Bessel-potential spaces and spaces of H a r d y type. F i r s t we try
to d e s c r i b e how the d i f f e r e n t approaches are interrelated, inclusively
few historical remarks. Secondly, we outline some very recent develop-
ments which, by the o p i n i o n of the author, not only unify and simplify
the theory of f u n c t i o n spaces under consideration considerably, but
which also may serve a starting point for further studies.
2. H o w to M e a s u r e Smoothness?
Let R be the r e a l euclidean n-space. The classical devises to mea-
n
sure smoothness are derivatives and differences. If o n e w i s h e s to ex-
press smoothness not only locally but globally, in o u r case on Rn, then
function spaces, e.g. of L p - t y p e , s e e m to be a n a p p r o p r i a t e tool. We
m
use standard notations for the derivatives D e and the d i f f e r e n c e s A h,
D = al an if x : ( X l , . . . , x n) 6 Rn, ~ = (~l,...,en),l~i =
8x I ...Sx n
n
= Ze.
j=l 3
and
m m-l.l
A f(x) = f ( x + h) - f(x)~ Ah = Ah Ah
liD~fiL~n + ~ ILD~fIc{S} il
OSI~ISI s) I ~ l = l s] i "
3. T h e Fourier-Analytical Approach
We return to (4) a n d (6). Let ~ be the Laplacian on R n and let E
b e the identity. Recall that
(E - A ) f : F-I[(1 + i~J2)Ff], f 6 S' .
More general, the fractoonal powers of E - A a r e g i v e n by
Is s
(E - A ) 2 f = F-I[(1 + J~t2)~Ff] , feS', -~<s< ~
In o t h e r words, f 6 H s if a n d o n l y if (E - ~ ) s / 2 f 6 L . This gives a
P P
better feeling w h a t is g o i n g o n in (6). In p a r t i c u l a r , s m o o t h n e s s is
measured in the F o u r i e r image b y the w e i g h t - f u n c t i o n g(~) = (i , i ~ 1 2 ) s/2,
and the g r o w t h of t h i s w e i g h t - f u n c t i o n at i n f i n i t y represents the d e g r e e
of s m o o t h n e s s . Let h(~) be a n o t h e r positive smooth weight-function,
not necessarily of t h e a b o v e polynomial type. In o r d e r to p r o v i d e a
better understanding of the F o u r i e r - a n a l y t i c a l method we dare a b o l d
speculation: If h l ( ~ ) and h 2 ( { ) are two w e i g h t - f u n c t i o n s with the
same b e h a v i o u r at i n f i n i t y then they g e n e r a t e the s a m e s m o o t h n e s s
class in the a b o v e sense. It c o m e s out that s o m e t h i n g of this type is
correct (via F o u r i e r multiplier theorems), but we s h a l l not try to
m a k e this v a g u e assertion more precise. But on the b a s i s of this
speculation we try to r e p l a c e the a b o v e w e i g h t - f u n c t i o n g(~) =
= (i + I~12) s/2 by m o r e h a n d s o m e weight-functions which offer a great-
er f l e x i b i l i t y . If I~I ~ 2 j w i t h j = 0,i,2,... t h e n g(~) ~ 2 js. H e n c e
one can try to r e p l a c e g(~) by a step f u n c t i o n g(~) w i t h g(~) ~ 23s if
[~i ~ 2 j. This r e p l a c e m e n t is a little bit too crude, but a smooth
version of this idea is just w h a t we want. We g i v e a p r e c i s e formula-
tion. Let ~({) E S w i t h
1
supp 9 C {~I~ S l~i ~ 2]
and
~(2-J{) = 1 if ~ # 0 .
(usual m o d i f i c a t i o n if q = ~) .
(ii) Let - ~ < s < ~, 0 < p < ~ a n d 0 < q ~ ~. T h e n
(usual m o d i f i c a t i o n if q = ~ ).
4. P o i n t s Left Open
The Fourier~analytical approach proved to be v e r y useful in c o n -
lO0
5. H a r m o n i c and T h e r m i c Extensions
The interest in H a r d y spaces has its o r i g i n in c o m p l e x function
theory: traces of h o l o m o r p h i c functions in the unit disc or the upper
half-plane on the r e s p e c t i v e boundaries. A generalization of this idea
yields a characterization of functions and d i s t r i b u t i o n s of the spaces
Bs and F s on R as traces of h a r m o n i c functions or temperaturs in
p,q p,q n
+
Rn+ 1 = [(x,t)Ix • Rn, t > 0} cn the h y p e r p l a n e t = 0, w h i c h is identi-
n ~2
fied w i t h R n. We r e f o r m u l a t e this problem as follows. Let A =
j=l ~x~
3
be the L a p l a c i a n in R
and let f 6 B s or f E F s . W h a t can be said
n p,q p,q
(in the sense of c h a r a c t e r i z i n g properties) about the solutions u(x,t)
and v(x,t) of the p r o b l e m s
t
u(x,t) = P(t)f(x) = c ~ n+l f(y)dy, x e Rn, t>0 (16)
R
n (|x_yl2÷ t 2) 2
(Cauchy-Poisson semigroup) and
2
- m
n _Ix-~l
v(x,t) = W(t)f(x) = ct 2 fe 4t f(y)dy, x e Rn, t > 0 (i 7)
R
n
(Gauss-Weierstrass semigroup). If f E S' is given, then (17) makes sen-
se. F u r t h e r m o r e , (16) m u s t be u n d e r s t o o d in the f o l l o w i n g theorem via
limiting procedures. If a is a real number we put a+ -- max (0,a).
and s 1
i
ll~0(D)flL II + ( f t (m-~)qll0mw(t)flL iiq at )q (19)
P 0 3t m P ~-
(ii) Let -~ < s < ~, 0 < p < ~ and 0 < q < ~. Let k and m be non-
-negative integers w i t h k > m i n (np , q ) + max (s,n(~i~ - i)+) and 2m > s.
Then
]
H~o(D)flLp~ + ll(0~it(k-s)q ~t~.)lq~kp(t)f~ ~)qILpll (20)
1
and II~0(D)flLpII + I{( ~I t ( m - ~ ) q i ~~m w ( t ) f ( . ) l q ~dt
- )qILpll
-- (21)
0 @ tm
(modification if q = ~ ) are e q u i v a l e n t quasi-norms in F s . If s >
P,q
n(p - i)+ then ll~0(D)flLpll in (20), (21) can be r e p l a c e d by ]IfILplI.
6. Unified A p p r o a c h
Up to this moment we said nothing how to u n d e r s t a n d that the
a p p a r e n t l y rather different approaches via derivatives, differences,
Fourier-analytical decompositions, harmonic and thermic extensions,
always yield the same spaces B s and F s In [23] we proved equiva-
p,q p,q"
lence assertions of the above type m o s t l y by rather specific arguments,
cf. also [14,22]. But recently it became clear that there exists a
unified approach which covers all these methods, at least in principle,
and which sheds some light on the j u s t - m e n t i o n e d problem. We follow
[25] where [24] may be considered as a first step in this direction.
The basic idea is to extend the admissible functions ~ and ~j in (7)
and (9), (i0), Such that c o r r e s p o n d i n g (quasi-)norms in the sense of
(9), (i0) cover a u t o m a t i c a l l y c h a r a c t e r i z a t i o n s of type (18), (19) and
(5). We recall that
and
~(~t D)f(x) : ct m 8mW(t)f(x> if ~(~) ~ J~12me - I ~ 2 (2 3)
8t m
-ms0P
sup 2 fl(F-l~(2m.)H(.))(y)IPdy < ~ , (~)
m= i, 2, .. Rn
(modification if q = ~ ) is an e q u i v a l e n t quasi-norm in B s .
P,q
Remark 6. T h i s formulation coincides essentially with Theorem 3 in
[25] • Of c o u r s e , ~(tD)f = F-l[ ~ ( t . ) F f ] ( x ) and (31) coincides with (24)
This theorem has a direct counterpart for the spaces Fs .Furthermore
s s P'q .
there are some modifications (both for B p , q a n d Fp,q) where not onzy a
104
7. C h a r a c t e r i z a t i o n s via D i f f e r e n c e s
In principle one can put ~ from (26) in T h e o r e m 3 and its F p,q-
s
counterpart. One can calculate under what conditions for the pamaterers
(29)~(30) are satisfied. However as we p o i n t e d out in front of T h e o r e m
3 one has to modify T h e o r e m 3, because one needs now theorems with fa-
m i l i e s of functions ~ instead of a single function ~. T h i s can be
done, details m a y be found in [25]. We formulate a result what can be
o b t a i n e d on this way.
1
T h e o r e m 4. (i) Let 0 < p S ~, 0 < q S ~ and n ( ~ - i)+< s < m,
where m is a natural number. Then
1
llflLpll + ( lhl~f lhl-sqnAmflLpnqh dhlhl~ )q (33)
(modification if q = ~ ) is an e q u i v a l e n t q u a s i - n o r m in B s
n P'q
(ii) Let 0 < p < =, 0 < q S ~ and min(p,q) < s < m, where m is a
natural number. Then
1
llflLpll + 0( f lhl-sqj(~f)(.)lq dh )qlLpU (~)
lhlSl lhl n
(modification if q = ~ ) is an e q u i v a l e n t q u a s i - n o r m in F s
P,q
Remark 8. We refer for details to [25] w h e r e we proved m a n y other
theorems of this type via F o u r i e r - a n a l y t i c a l a p p r o a c h from Section 6
and few a d d i t i o n a l considerations. H o w e v e r the t h e o r e m itself is not
new, it may be found in [23, 2.5.10, 2.5.12]. But the proof in [23] is
more c o m p l i c a t e d and not so clearly based on F o u r i e r - a n a l y t i c a l results
in the sense of T h e o r e m 3. On the basis of T h e o r e m 4 one has n o w also a
105
8. T h e L o c a l A p p r o c a h
The original Fourier-analytical approach as d e s c r i b e d in S e c t i o n 3
does not r e f l e c t the l o c a l n a t u r e of the s p a c e s B s and F s o If
P,q P,q
x E R n is g i v e n t h e n one n e e d s a k n o w l e d g e of f on the w h o l e R n in
o r d e r to c a l c u l a t e ~j(D)f(x) in (7). T h i s stands in s h a r p c o n t r a s t to
the derivatives D~f(x) and the d i f f e r e n c e s A~f(x) with lh[ ~ 1 as t h e y
h a v e b e e n u s e d above. However the e x t e n d e d Fourier-analytical method
as d e s c r i b e d in S e c t i o n 6 gives the p o s s i b i l i t y to c o m b i n e the advan-
t a g e s of the o r i g i n a l Fourier-analytical approach a n d of a s t r i c t l y
local p r o c e d u r e . We give a description. L e t k 0 6 S, and k E S w i t h
supp k 0 C [y[ [y[ ~ i], supp k C [y[ [yl ~ I],
(Fk0)(0) • 0 and (Fk)(0) # 0.
n ~2
Let k N = ( ~ 2 )Nk, w h e r e N is a n a t u r a l number. We introduce the
j:l 8xj
means
(modification if q : ~ ) is an e q u i v a l e n t quasi-norm in F s .
P,q
Remark 9. It c o m e s o u t t h a t the a b o v e t h e o r e m c a n be o b t a i n e d
from Theorem 3 a n d its F s - c o u n t e r p a r t . O n the o t h e r h a n d it is c l e a r
P,q
that (3) describes a local procedure.
References
(2) (~l)af(t,xl,...,Xn)Xl a 0 in D.
Definition. T h e s o l u t i o n of (I) d e f i n e d on R+ is c a l l e d p r o p e r if
y is not t r i v i a l in a n y n e i g h b o u r h o o d of ~. T h e s o l u t i o n of (i)
d e f i n e d on [0,b) is c a l l e d non-continuable if e i t h e r b = ~ or b <
n~lly(i)
and (t)l =
i=0
The solution y of (i) d e f i n e d on [0,b), b S ~ is c a l l e d oscilla-
t d r y if t h e r e e x i s t s a s e q u e n c e of its zeros tending to b and y is n o t
trivial in a n y left n e i g h b o u r h o o d of b.
Denote the set of all o s c i l l a t o r y solutions of (i), d e f i n e d on
|0,b) b y 0 [ 0 , b ). Let 0 [ 0 , ~ ) = 0 and N = {1,2,...}.
I. Definition. T h e p o i n t c 6 [0,b) is c a l l e d H - p o i n t of y. if t h e r e
exist sequences {t k} i' {~k } of n u m b e r s of [0,b) such that
(t k - c ) ( ~ k - c) > 0, y(t k) : 0, y(~k ) # 0, k E N.
(4) n -- 2n 0 + i, n o E N .
a 0 ~ g(ly(t~)ly(t)Idt a O f g(JY2(t)l)lY2(t)Idt Z
oo
> M 1 0 f lY2(t)Idt ;
Let [tk}l, [~k}l be sequenoes, such that 0 S t k < ~k < t k + l ' lim t k
k..,.~ ,
1 ~ tY(~k)
<- K k~Z 0I g(s)sds .
(n o )
As a c c o r d i n g to (8) lim y (t) = 0, it f o l l o w s from (3) t h a t
References
fundamental theory for (2) we want to say that for each # E X if there
is a u n i q u e solution x(t,0,#) on [0,8] and if {~n } is a s e q u e n c e in X
converging to ~ then s o l u t i o n s x(t,0,~n) converge to x(t,0,#) on [0,B].
W h i l e we are q u i t e w i l l i n g to accept any type of c o n v e r g e n c e of
x(t,0,~n) to x(t,0,~) on [0,8], the m e a n i n g of ~n c o n v e r g i n g to ~ must
be specified.
In a g i v e n p r o b l e m we f r e q u e n t l y have a wide d e g r e e of f r e e d o m in
our c h o i c e of t o p o l o g y for the initial condition space. Recent prob-
lems call for u n b o u n d e d initial functions, plentiful compact subsets
of these initial functions, and'continuity of the t r a n s l a t i o n maP.
These requirements lead us to a l o c a l l y convex topological vector
space (Y,p) w i t h ~ 6 Y if ~: (-~,0] + R n is c o n t i n u o u s and for #,~ 6 Y
then
eo
tinuous for t > 0, then there is one and only one solution x(t,0,~)
defined on [0,oO. Note that the set X is not empty. We now s h o w t h a t
solutions x(t,0,~) are not continuous in (Y,P).
= I 0 if -n <_ s < 0
Notice that
< ~ 2 -k + 0 as n +
-k=n
-n
>_ -nf [(s+n)/(-s+Z)5]ds >_1/16.
-oo
> x + (1/16)
THEOREM. Let U be an existence set for (2) and let (2) have a
fading memory with respect to U. Suppose there is a 9 E U such that
x(t,0,~) is unique on some interval [0,tl]. Then x(t,0,9) is contin-
uous in ~ in the following sense: If {~n } c U and 19 - ~ n l g ÷ 0 as
n + ~, then IQ9 - Q ~ n l g ÷ 0 as n ÷ ~ where (Q~)(t) = x(t+tl,0,, ) for
-~ < t 2 0 and x(t,0,?n) is any solution of (21) w i t h initial function
~n"
PROOF. Let x(t,0,9 ) be defined on [0,tl] and suppose it is not
continuous in 9- Then for some s > 0 and for each 6k > 0 there exists
?k E U a n d t k E [ 0 , t 1] with IX(tk,0,,) - x(tk,0,~k) I h e. We may,
assume t k ÷ S E [ 0 , t 1] by picking a subsequence if necessary. Moreover
we m a y a s s u m e the t k chosen so that {x(t,0,?k)} is bounded on [0,S].
Thus, {x'(t,0,*k)) is bounded on [0,S] and so {x(t,0,?k)} is an equi-
continuous sequence with a convergent subsequence, say {x(t,0,~k)}
again, with limit ~(t). We m a y w r i t e
120
t
Xk(t ) = x(t,0,~bk) = ~k(0) + ; h(S'Xk(S))ds
t u tO
t -D
+ £ ~_~ [q(u,s,,k(S)) - q(u,s,,(s))]ds du
t 0
+ fD[ q ( u , s , ~ k ( S ) ) - q(u,s,¢(s))]ds du
t u tO
+ ~ 't q ( u , s , n ( s ) ) d s du + ~ ~_~q(u,s,*(s))ds d u .
Thus, n and x(t,0,~) satisfy the same equation. Since that equation
has a unique solution, ~(t) = x(t,0,~). This contradicts
iX(tk,0,~) - X(tk,0,~k) I > E and completes the proof.
REFERENCES
0 <_k < i ( v ) - l}
~2 : {~k:
and e i t h e r
g3 : [~k: k : i(v) - i}
Note that from [7] it follows that there are no other cases
possible except of (i) - (ii).
The proof of this theorem proceeds along the lines of the proof of
the analogous theorem of [i] for the Dirichlet case. Therefore, the de-
tails of its outline given below can easily be completed from [I].
To establish connections we focus on the case f(0) =0, v ~ 0 here
for simplicitv. Let the zero number z ( u ( t , . )) d e n o t e the number of sign
changes of x J~ u ( t , x ) , 0 <x <i - cf. [i]. Then z ( u ( t , . )) is d e c r e a s i n g
with t [7, 8] and we may define the dropping times
tk = inf {t ~ 0: z(u(ti)) S k} ~
and
Tk = tanh tk 6 [0, ]].
Yk = ~k(Tk-i Tk )I/2
v: En ÷ S n
care of in L e m m a 2.
The p r o o f s of t h e s e lemmas can e a s i l y be o b t a i n e d by a d a p t i n g
those of the corresponding lemmas from [i]. The first one is b a s e d on
the m a x i m u m Qrinciple, the second employs the p h a s e plane portraits of
(v, v ' ) a n d ( w , w'~ one notes that b e t w e e n two successive local extrema
of v t h e r e is p r e c i s e l y one intersection point of v and w in c a s e
Range w C Range v.
Concluding we n o t e that ~k and ~ k can e a s i l y be identified from
the global bifurcation diagram of the p a r a m e t r i c equation
u t = Uxx + a2f(u)
REFERENCES
8. K. Nickel: G e s t a l t a u s s a g e n ~ber L ~ s u n g e n p a r a b o l i s c h e r D i f f e r e n t i a l -
gleichungen. Crelle's J. fdr Reine und Angew. M a t h e m a t i k 211
(1962), 78 - 94
9. P.Poli~ik: G e n e r i c b i f u r c a t i o n s of s t a t i o n a r y solutions of the Neu-
mann p r o b l e m for reaction d i f f u s i o n equations. Thesis, Komen-
sky University, B r a t i s l a v a 1984
iO. J. Smoller: Shock Waves and R e c t i o n - D i f f u s i o n Equations. Grundlehren
der Math. Wiss. 258, Springer 1982
128
X ....
!
1 o
I I
I
I
I ~q
I
i
! !
°t c~
+
>l 7
c~
~F
c~O ~4
l
l
!
W3 A 1
ON A CERTAIN BOUNDARY VALUE
PROBLEM OF THE THIRD ORDER
M, GREGUS
F a c u l t y q / M a t h e m a t i c s a n d Physics, C o m e n i u s University
M l y n s k d dolina, 8 4 2 15 Bratislava, Czechoslo~'akia
where f'(x), g'(x), h(x), r''(x) are continuous functions on the in-
terval (-a,a> and k is a c o n s t a n t , will be s t u d i e d .
The boundary condition (3) is in the integral form. For the first
time, such a condition was formulated in [ i] a n d the p r o b l e m (1), (2),
(3) is a n a t u r a l generalization of the problem discussed in [i] .
It w i l l be shown that under certain conditions on the function
r(x), the problem (i), (2), (3), is e q u i v a l e n t to the b o u n d a r y
problem (I), (4), where
We c o m e to t h e e q u a l i t y
a
(7) f [r(t)-k][y''(t,l) + f(t)y(t,l)]dt =
-a
a
= f [r(t)-k] { g ( t ) y ( t , ~ ) +
-a
t
+ f [h(~)-g'(~)]y(~,X)dT}dt-
-a
a t
- f [r(t)-k] { - f ( t ) y ( t , x ) ÷ f f(~)y' ( ~ , X ) d T } d t .
-a -a
3. In [3] the p r o b l e m
and its g e n e r a l i z a t i o n
REMARK I. The problems (8), (9), and (I0), (ii) are special
cases of the p r o b l e m (I), (2), (3).
The proof of T h e o r e m 2 is s i m i l a r to t h a t of T h e o r e m i. I n t e g r a t i n g
(8) term by term from -a to x ~ a and considering (2), we g e t
y'' + y + Ig(x)y : y''(-a,l).
Let y''(-a,X) = 0, multiply this equation by r(x)~ and integrate
it f r o m -a to a. We o b t a i n
a a
[~ i t •
(15) - f y (t) + y ( t ) ] [ r ( t ) - l ] d t = I f [r(t)-l]g(t)y(t)dt
-a -a
a
f [y''(t) + y(t)][r(t)-l]dt = y'(a)[r(a)-l] - y'(-a)[r(-a)~] +
-a
a
+ f y(t)[r''(t) + r(t)-l]dt .
-a
r'' + r = 1
r(-a) = i ~ r(a) = I
REFERENCES
i. I n t r o d u c t i o n
We s h a l l investigate the differential relation
(i) ~ E F(t,x), x(0) = x0
G(t,x) = N N co'nv F ( t , B 6 ( x ) - N) or
6>0 ~(N)=0
3. G e n e r a l i z e d solutions
Our aim is to d e f i n e the solution of ~ • F ( t , x ) in s u c h a manner
that all the sliding solutions are retained a n d all parasite are
expelled. The first definition of t h i s type was given by S e n t i s [8] in
1976 and it w a s as f o l l o w s :
i) lira lh I -- 0 ,
n
n~
0
i i) x n = x 0
vn
iv) lim Z II£kll = 0
n~ k= 1 n
v) l i m Yn = y uniformly on <0,i) .
n
Sentis introduced this definition to c o v e r the case (cl s t a n d s for
closure)
F(t,x) = N N cl f ( B 6 ( t , x ) - N) a n d h i s d e f i n i t i o n works
6>0 N C R n + I
~(N)=0
well for such right-hand sides. He p r o v e d that any classic solution of
6 F(t,x) (i.e. any absolutely continuous function x(.) such that
x(t) e F(t,x(t)) a.e.) is a g - s o l u t i o n , any g-solution of ~ • F ( t , x ) is
a classic solution of x • c o n v F(t,x) and there a r e no p a r a s i t e solu-
tions.
4~ Example 2.
5. R e @ u l a r Generalized Solutions
Let F be Scorza-Dragonian. Denote GMF = {(t,x,y)ly 6 F(t,x),
t ~ M} i.e. G M F is the g r a p h of the p a r t i a l m a p p i n g FI((0,1)_M)XB .
W e set G~F = N cl GMF and d e f i n e a m u l t i v a l u e d mapping F ~ through
~(M)=0
Me<0,1)
its g r a p h i.e. we set g r a p h F ~= G~F. It is p o s s i b l e to p r o v e that there
exists a set M 0 C (0~i} , u ( M 0) = 0 a n d G~F = cl G. F, so our d e f i n i t -
ion is m e a n i n g f u l l . The set G e F is c l o s e d hence F~0is u.s.c. If the
mapping F is u.s.c, too t h e n F ~ C F b e c a u s e
g r a p h F ~ = cl G M o F C cl GF = GF and {t 6 (0,i) l ~ ( F ~ ( t , x ) # F ( t , x ) ) } C M 0
x
Joe. its m e a s u r e is zero. W e define the s o l u t i o n of x 6 F ( t , x ) t h r o u g h
I
U e k H < RYn(hn--
--k+l) _ Yn(hk+l)u + ilYn(hk ) _ ~n(~k)~ + ~kn- akin
and the p r o o f is c o m p l e t e .
It m e a n s that using division to c o n s t r u c t a solution we can avoid any
set of m e a s u r e zero.
6. G a u g e approach
To d e f i n e rg-solution we n e e d F to be S c o r z a - D r a g o n i a n (due to the
definition of F*) b u t by m e a n s of a v o i d i n g the sets of m e a s u r e z e r o we
Proof: Let p > 0 be s u c h that IIyll _< p for all y @ F(t, x),
(t,x) C [0,i] X R n and let K be t h e set of all x(.) c C(<0,1)) such
that
a) Ix(t) l -< p for every t @ [0,i]
and
b) ]X(t I) - x(t2)t < plt I t2[ for every t l , t 2 @ [0,i] .
The K with the norm max is the compact metric space. Let 6 E ~. W e
shall construct a set S 6 C K. Let SJ6 be the set of all functions
fulfilling all the conditions of D e f i n i t i o n 1 and such that (see
138
References
incorrect for the wave equation. The notion of a simultaneous crossing of the
axis has become identified with separation of v a r i a b l e s and does not seem to
with p(x,t) continuous and p o s i t i v e for 0 < x < L and t > O, and g i v e n
of the form
142
for 0 < x < L such that the solution of (1.1)-(1.3) will satisfy
for some T > 0. We shall refer to such solutions as having a uniform zero at
t = T.
of zero relative to (1.4). Such problems have been studied by M. Morse [9] and
recently Ahmad and Lazer [I] have also studied conjugate points under the
In the case at hand, the matrix function G(t) is a Jacobi matrix given by
criteria for the existence of uniform zeros of (1.1) would seem to r e q u i r e the
connection with (1.4) and (1.6) is that where the initial data
In this case the solution of (1.4) and (1.5) also satisfies (-1)Juj(t) < 0 for
vj(t) = (-1)Juj(t)
v" + F(t)v ~ 0
(2.2)
144
properties of F(t) and f one can apply the techniques of Ahmad and Lazer [I]
Indeed given appropriate pos~tivity conditions on h(t,v) one can also use the
v" + h(t,v) = 0
(2.3)
leading to more general equations which allow for solutions in this oppositional
mode.
of (I .I ).
For this reason one is led to the more difficult problem of establishing
solutions.
written as
~I " ii sin t/@~- I and T = ~W~I. (It also f o l l o w s from [5] that the
By [5] FO has positive eigenvalues ~I < u2 < "'" < ~n' for which we establish
I
Proof. The eigenvalues of Pi FO satisfy ~ ~I < "'" < p! ~n and tend to
eigenvalues of F0 as well.
at which the trajectory also crosses that coordinate plane. In the oppositional
mode one can r e a d i l y show [4] that such first c o n t a c t points are also exit
+
points, but this need not be the case for trajectories in IR . However, the
n
following t h e o r e m shows that under the c o n d i t i o n of Lemma 3.1 such an
+
equivalence also exists for trajectories in ~n"
3~
(3-5) ~- < ~ I
2 to < ~ and ~ <4~i to < 2-
the equation
147
(3.6) (c1~1-%A2-...-c~,~j) = 0
no_!an exit point we would also have (~'(to),ej) = 0 and, because of (3.5),
proof.
Remarks
2. The fact that contact points are also exit points assures that contact
3. In the case of opposltional vibrations the fact that the initial velocity
then the trajectory v(t) does not exit ~ + across the coordinate plane
-- n
(Z,e_j) = o.
where ~ lies in ¢~. The fact that all components of $ will satisfy
37
H <~'~i to < -5- at the time of contact precludes an exit across the plane
(z,ej) = O.
148
A well known corollary to Sperner's lemma then leads to the fact that
n
A T # @ and the following result.
j:l 3
3.4 Theorem, Under the hypotheses of Theorem 3.2, and for sufficiently @mal~
perturbations ~(t), th__~es[stem (3.4) has a conjugate point of zero which is
realized by a trajectory in R +.
n
References
10. W. T. Reid, Sturmian Theory for Ordinary Differential Equations. New York,
Springer Verlag, 1980.
PERRON INTEGRAL, PERRON PRODUCT
INTEGRAL AND ORDINARY LINEAR
DIFFERENTIAL EQUATIONS
J. KURZWEIL and J. JARN[K
Mathematical Institute, Czechoslovak Academy of Sciences
115 67 Prague 1, Czechoslovakia
k
Let f : [a,b] + ~ , put S(f,A) = 3)~ 1.f (=t 9 (xj - xj_ 1) . It is w e l l
known (cf. [13 , [2]) that the following two c o n d i t i o n s are equivalent:
P(A,A) = (I + A ( t k ) ( X k - X k _ l ) ] . . . (I + A ( t l ) ( X I - X0) 1 ,
= A(t)x , (1.4)
If f is P - i n t e g r a b l e , then F is c o n t i n u o u s and
(2.2)
F(t) = f(t) a.e. Moreover, f is m e a s u r a b l e .
If A is P - i n t e g r a b l e , then U(t) is r e g u l a r at e v e r y t ,
U is c o n t i n u o u s and U(t)u-l(t) = A(t) a.e. Moreover, (3.2)
A i is m e a s u r a b l e .
t
If F I(I + A(S) ds) exists for t < b and if
a
t
lim Pf(I + A(s) ds) = Q e M is regular, then
(3.5)
t+b-
b a
PI(I + A(s) ds) exists and e q u a l s Q .
a
a a
for t E [a,b] , that is, U is an A C G , - m a t r i x solution of (1.4).
A ~ H([a,b 3 )
--C
In t h e case (4.1), I + B(t) is a f u n d a m e n t a l matrix of (1.4), in the
case (4.2) the substitution x = ~ + B(t)~y leads to the result.
Ea,b~ , F(t) = (P)I f(s) ds . Let e > 0 and let the gauge corres-
a
Then
r
If(T'j) (~j - 6j) -'F(qj) + F(~j) I < 2e .
9=I
R e f e r e n c e s
4
(2) Ju(z)a ~(z)l~ - Yu(z)o J u ( z ) / a ~ = - W o K0(2z sinh t)e -2~t dt , Re z > 0 ,
Formula (1) was used by L. Lorch and P. Szego [9] t o show some r e m a r k a b l e
sign-re~larity properties of the higher k - d i f f e r e n c e s of the sequence {c(~,k,a)}
in the case J~J -> ~ • Beyond i t s o b v i o u s u s e t o show t h a t c increases with v ,
O<v<~
2. Other Nicholson-type formulas. The usefulness of (I), (2) and (3) suggests
the desirability of having similar formulas for other special functions. L. Durand
[3,4] has given results analogous to (i) for some of the classical orthogonal
polynomials. The simplest of these, for Hermite functions, is [3, p.371]
156
oo
aO
These are all valid for Re z > 0 with JHe(t~ + u)[ < 1 in (6) and (8) and
jRe(u - /~)J < I in (5) and (7).
Clearly 41) is got from (5) by setting y = u while, as pointed out in [2],
(2) (and hence (3)) is got from (7) by dividing by y -~ and letting # -~ v .
Dixon and Ferrar [2, p.142] find an analogue of (2) based on a similar treatment of
(8).
The corresponding analogue of (3) is
dc/d~ = -(2c/w) K2~(2c sinh t)[2t sin w~ - w cos us]dr , c > 0 , luj < ~ ,
but this is both more complicated and has a smaller range of validity then (3).
d2y/dO 2 + (e 20 - u 2 ) y = 0
s o t h a t t h e l e f t - h a n d s i d e o f (9) i s a s o l u t i o n o f [13, p . 1 4 6 ]
(10) Leu m (D2 - b2)(D2 - a2)u + 4e2e(De + 1)(D e + 2)u = 0
Mt , i . e .
R
Rt v = Z ( - 1 ) k Dk[mk(t)v] .
k=O
Then ( l l ) is a solution of L8 u = 0 provided a end ~ are chosen so that
z (_1)~ ( ~ v)(¢) . ( k - ~ - l ) ~ _- 0 .
k=l ~=0 a
case, i f we c h o o s e
(14) k(8,t) = Ka(2e# s i n h t )
we h a v e t h e c o n v e n i e n t " f a c t o r i z a t i o n "
(15) LO k ( 8 , t ) = (D~ - D2)(D 2 - a 2) k ( O , t )
w h i c h i s o f t h e form (12) w i t h
x(@,t) = (D2 - 2 ) Ka(2e@ sinh t) = 4e 2e sinh2t Ka(2e 8 sinh t)
2 _ b2
and Mt = ~t = Dt Thus we get v(t) : c I e ("-u)t + c 2 e -(~t-u)t and it is
c2 we u s e [13, Ch.7]
a n d , u s i n g [12, Ch.9] ,
158
hence ( 6 ) , is proved.
The key to the success of the method in the present case is the factorization
(15) arising from the choice (14) for the kernel k(#,t) . The choice of a function
of the form f(2e 8 sinh t) may be motivated by the fact that for a polynomial P
we have P(D#) f(2e # sinh t) = P(tanh t D t) f(2e 8 sinh t) . We see from (i0) that
f to satisfy
(D~- - a 2) f(2e 8 sinh t) = 4e 28 sinh2t f(2e 8 sinh t)
4 ~ r(u) (~)
= •'-w x u ;j Ku(xu)(u 2 + 4) u-1/2 u u du , x > 0 , u > -
1
0
the special case n = 0 of [3, p.368, (42)]. It is convenient to write this
formula in the form
m
.2
(17) j~(x) 2
+ y~(x) = ka(xt) (t~/2 + 4) -(a+4)/(28+4) ta/2-I dt , x > 0 , a > 0
0
(19) y,, - x % = 0 .
In the special c~e a = 1 (u = - 1 / 3 ) , (17) becomes
U
Ai2(-x) + Bi2(-x) - 24(2/3)1/6 ; t - 1 / 2 ( t 3 + 4) - 5 / 6 A i ( x t ) dt , x • 0 .
J~ r(1/6) 0
I n o r d e r t o p r o v e (17) we n o t e t h a t , u s i n g (18) and [13, p . 1 4 5 ] its left-hand side
satisfies
L x u • (D 3 + 4x a Dx + ~ x a - 1 ) u = 0
and
Mt : - ( t a + 3 + 4 t ) D t + ( 2 a - 4 - 3 t a+2) •
equation.
A p e r h a p s more t r a c t a b l e problem would be t o f i n d t h e a p p r o p r i a t e
generalization o f (4) f o r
_x 2
e [.^(x) ~(x) -G^(x) Uu(x)l .
This would give, in particular, a formula for the derivative with respect to A of
a zero of a Hermite function.
160
References
i. S u r j e c t i v i t y of an o p e r a t o r .
Let (E, I.[) b e a r e a l Banach space, ~ * X C E and S : X - E. W e
recall t h a t S is compact if S is c o n t i n u o u s and maps bounded sets into
relatively compact sets. Similarly T : X ~ E is s a i d to be a condensing
map if T is c o n t i n u o u s , bounded (i.e. maps bounded sets into bounded
sets) and for every bounded set A C X which is n o t relatively compact
we h a v e e(T(A)) < ~(A) where ~ is the K u r a t o w s k i measure of n o n c o m p a c t -
ness. A simple example of a c o n d e n s i n g map is o n e of the form U + V
where U : X - E is a s t r i c t contraction and V : X - E is a c o m p a c t map.
L e t G * ~ be an o p e n subset of E and d e n o t e b y G the closure of G.
Let T : ~ ~ E be a c o n d e n s i n g map, a @ E. If the set A = {x 6 G : x -
- T(x) = a} is c o m p a c t (possibly empty), then the d e g r e e deg(I - T,G,a)
is d e f i n e d in the sense of N u s s b a u m [6] whereby I is the identity.
Notice that A will certainly be c o m p a c t if G is b o u n d e d a n d T is s u c h
that x - T(x) * a for all x E %G (boundary of G) ([6], p. 744). If T is
compact, then the d e g r e e above agrees with the classical Leray-Schauder
degree.
Denote B the real Banach space of all continuous functions
x : [0, ~ ) ~ E s u c h that there exists l i m x(t) = x(~) ( E E) for t ~ ~.
The norm in B is d e f i n e d by 111xi]2= s u p { I x ( t ) 1 : 0 ~ t < ~} for e a c h
x E B. Let, further, U(r) = {x C E : [xM < r}. Using the d e g r e e theory
for c o n d e n s i n g perturbations of identity, the topological principle in
[8], p. 241, c a n be g e n e r a l i z e d as follows (for p r o o f , see [9],[ 10]).
Theorem 2. L e t T : E -- E be s u c h that
(a) l i m IT(x)I : ~ ;
Ixl-~
(b) I - T is c o m p a c t ;
(c) T is l o c a l l y one-to-one, i.e. for e a c h point x0E E there is a
neighbourhood N of this point such that TIN is o n e - t o - o n e . Then T(E)=E.
163
IX] ~ r I
164
or
T is locally one-to-one.
Then
T ( R n) = R n.
(i - t ) x + t T ( x ) (i - t ) ~ + t T ( ~ )
Ig(x,t) - g(y,t)l ~ T<T~'-t)x~-£T(x)i - i(i ~ t ) y + t T ( y ) l~ "
• [ (i - t) Ixl + t I T ( x ) I] +
As to the first term, there is a constant k > 0 such that this term is
less or equal to
- i (i - t ) x + t T ( x ) I] i .
g(x,t) = (i - t ) x + tT(x).
t
Ix(t,h2) -x(t,hl) I _< lh2(0) - hl(0)i + / n(s)u[~+(s)]ds,
0 0 _< t < ~,
t
and h e n c e u(t) _< "llh2 - nln + -i n ( s ) u [ ~ + ( s ) ] d s , 0 _< t < ~. S i n c e u is
bounded and c o n t i n u o u s , b y the g e n e r a l i z e d G r o n w a l l l e m m a the r e s u l t
follows.
lim m k = co.
k~
References
(i) x(t) = f ( t , x t)
(2) 9(t) 6 f ( t , y t) + g ( t , y t)
oo
(Tz)(t) : {- f ~ [ f ( S , Z s + x s) - f(S,Xs)]ds - f v(s)ds : v(t) @
t t
- f v(s)ds} , for t ~ 0
0
maps B - 2 B, is c o m p a c t and upper semicontinuous in B a n d there exists
such u 6 J that T maps B u into cf(Bu). ( c f ( B u) is the set of a l l
closed and convex subsets of B .)
u
oo oo
0~ If(s'z s + Xs ) - f ( S ' X s ) I d s -< of L(s)w(llzsIl)ds _<
- f~v(s)ds, t e (-~,0)
0
and
Thus the functions ~(t) 6 (Tz)(t) are uniformly bounded by the constant
K and b e c a u s e for each z(t) 6 B u we get the same constant K, w e may
conclude that TB u is the set of c o n t i n u o u s and uniformly bounded
functions.
t t
l~(t 2) - ~(tl)l S f 2 1 f ( S , Z s + Xs) - f(S,Xs)Ids + ~21v(s)Ids S
tI tI
176
t t
S max w{r~ f2 L ( s ) d s + ~2 G 0 ( s , ~ e ~ds
0srsu t t
1 1
Then from this, from the uniform boundedness and f r o m the equiconti-
nuity of all f u n c t i o n s of TB u it f o l l o w s t h a t TB u is c o m p a c t in the
topology of u n i f o r m convergence.
Evidently, to each m o u n d e d set A C B there exists such u E J that
A C B u and TA C TB u . F r o m t h i s it f o l l o w s t h a t T is c o m p a c t in B.
L e t be Zn(t), z(t) 6 B and let {Zn(t)} c o n v e r g e to z(t) in B, i.e.
uniformly on R. T h e r e f o r e , the set {Zn(t), z(t), n = 1,2,..} is
bounded in B. Thus there exists u ~ 0 such that Zn(t) 6 Bu, z(t) C Bu
and TB u is a c o m p a c t set. L e t hn(t) 6 (Tz)(t), n = 1,2,... Evidently
h n ( t ) E TBu, n = 1,2... The set TBu being compact there exists a
subsequsnce {hni(t) } of {hn(t) } , w h i c h converges uniformly to a
function h(t) 6 TBu. Then to e a c h hn(t) there exists Vn(t) E M(zn(t) +
+ x(~)), n = 1,2,... such that
hn(t) = - S~ [ f ( s , ( Z n ) s + x s) - f ( S , X s ) ] d s - f~ v (s)ds,
t t n
t 6 J, n = 1,2,...
- Vn(S)ds , t 6 (-~,0~
0
By L e m m a 3 we have
g(t,Znk(t)) C 0 (g(t,z(t)))
h(t) = - / ~ [ f ( s , z s + x s) - f ( S , X s ) ] d s - /~ v(s)ds
t t
is w e l l d e f i n e d and h(t) 6 (Tz)(t) for t 6 J. It f o l l o w s f r o m the w e a k
convergence of {vnk(t) } to v(t) in LI(J) t h a t the s u b s e q u e n c e {hnk(t)}
of the s e q u e n c e {hn(t)} , i.e. for t @ J
(TlZ)(t) = {- f~[ f ( S , Z s + ys ) - f ( S , Y s ) ] d s +
t
+ f v(s)ds}, t ~ 0
0
maps B - 2 B, is c o m p a c t and upper semicontinuous in B and there exists
such u 6 J that T maps B u in c f ( B u ) .
References
We also define
due to Fink and Kusano, and the best previous result on this question
is the following special case of a theorem obtained by them in [ I].
THEOREM i. If
sup I / y i Qd sl <
_ ~(t), t > to,
Tat
where ~ is nonincreasing and c o n t i n u o u s on [t0~). Define
(i0) l i m ~(t) = 0
t-~o
If t O > a, let B(t 0) be the set of f u n c t i o n s h such t h a t
L0h,...,Ln_ 1 h 6 C[t0,~ ) and
0(dir), 0 _< r -< i - 2,
Lrh = t -> t o ,
0(~dir), i - 1 _< r <_ n - 1 ,
with norm H II d e f i n e d by
Lemma 2 and Assumption A imply that J( ;qx i) E B(t0) for all t0> a.
We n e e d o n l y impose further conditions which will i m p l y that /~yiqhds
converges (perhaps conditionally) if h 6 B(t0) , and that
I I~yiqhdsl S llhll~(t;t0)~(t) , t a tO ,
t
where ~ d o e s not d e p e n d o n h, and
(131 sup ~ ( t ~ t 0) = 8 < 1
t->t0
if t o is s u f f i c i e n t l y l a r g e , L e m m a 2 will then i m p l y that T is a
contraction mapping of B ( t 0) into itself, and t h e r e f o r e that t h e r e
is an hi in B ( t 0) such that Th i = h i, It w i l l then follow from
(8) and (12) that ui = xi + h i is a s o l u t i o n of (3). M o r e o v e r , Lemma
3 with Q = qu i will i m p l y that
[ 0(~dir), i - 1 S r S n - 1 .
LEMMA 3. Let
(17) J~ p j ( L j x i ) H j d s , 0 ~ j ~ i - i,
THEOREM 2. If
+ 2 ( ~ ( t ) ) -I f~Pi_llHi_ll~ds -
t
From (16), the s u m on the r i g h t side of (20) is b o u n d e d on [a,~) ;
hence, (i0) a n d (18) imply (13) for t o s u f f i c i e n t l y large. This
completes the p r o o f .
With i = i, (18) r e d u c e s to
COROLLARY i. If 2 S i ~ n and
satisfies (14).
Proof. F r o m (16),
Pi_llHi_lldS < ~ ,
which obviously implies (18) w i t h A =0.
COROLLARY 2. If 2 ~ i ~ n and
s
(23) t J~pi-l(s)(af Pi_l(W)dw)-l~2(s)ds = o(~(t)),
COROLLARY 3. If 1 S i ~ n - i and
with B : O.
R e f e r e n c e s .
I. Preliminaries
Let us d e f i n e
x(t) - A(t)x(t) 1
A : x ~ Dn ÷ I ,
Mx(0) + Nx(~+) + [K(s) x(s) ds
0
L 2 + iB(t)~(t)l
B : U 6 m
and
T : (x,u) e D n x L2m ~ A x - Bu .
2 L2
Then A E i(Dn, L2n x R k) , B 6 [(L m, n x R k) and T C
i ( D n x L m'
2 L n2 x R k) and the constraints (0.2), (0.3) may be replaced
by the operator equation for (x,u) ~ Dn x L2
m
T(x,u) = 0 . (2.1)
ah
z* (t) z*(t)A(t) + y*K(t)A(t) = (~(t,x0(t),u0(t)))
(2.9)
a.~. on EO,1] ,
Bg~ , rSgl , )*
- z*(T+) + y~N = B---~--~x0(~+))) * , z*(1) = [~-~--%x0(1)) , (2.11)
Bh
z~(t)B(t) + y~K(t)B(t) = (~(t,x0 (t) ,u0 (t) ))* ,
(2.12)
a.e. on [0,1_]
R e f e r e n c e s
[I] BROWN, R. C., TVRDY, M. and VEJVODA, O.: Duality theory for21inear
n-th order integro-differential operators with domain in L de-
termined by interface side conditions. Czech. Math. J. 32, m (107)
(1982), 183-196.
~] HALANAY, A.: Optimal control of periodic solutions. Rev. Roum.Math.
Pures et Appl., 19 (1974), 3-16.
~3] CHAN, W. L . , S. K. NG : Variational control problems for linear
differential systems with Stieltjes boundary conditions. J. Austral,
Math. Soc. 20 (1978), 434-445.
[4j LUENBERGER, D. G.: Optimization by vector space methods,J. W i l e y &
Sons, New Y o r k - L o n d o n - S y d n e y - T o r o n t o , 1969.
~] MARCHI0, C.: (M,N,P)-con~rollabilit~ completa, Questioni di cont-
rollabilitY. I s t i t u t o U. Dini, Firenze, 1973/2, 14-26.
[63 TVRD~, M.: On the controllability of linear Fredholm-Stieltjes
integral operator, Functional-Differential Systems and Related
Topics. (Proc. Int. Conference, ed. M. Kisielewicz) (1983), 247-
252.
A DESCRHrFION OF BLOW-UP
FOR THE SOLID FUEL IGNITION MODEL
J. W. B E B E R N E S
Department of Mathematics, University Colorado
Boulder, CO 80309, U.S.A.
(i) ut Au = e u
Friedman and McLeod [4] recently proved that blow-up occurs only
at the origin x = 0 and in addition that u(x,t) satisfies the fol-
lowing estimates: I) u(x,t) ! - 2 £nlx I + c for all ~ < 1 and
(x,t) E F; II) there exists t < T such that I V u ( x , t ) I < 2e u ( 0 ' t ) / 2 ,
t 6 [~,T), Ixl < R; III) there exists ~ > 0 such that ut(x,t) h
R R
@e u(x't) , t £ [~ u T) r x E [ - ~ , ~ ] ; a n d iv) - £ n ( T - t ) --
< u ( 0 , t ) _<
-~n(T-t) - In~, t E [} r T) , 6 > 0
[g(0) = i, g'(0) = 0
a n d h(n) satisfies
l
z
(i0)
h(0) = 1 - e ~, h'(O) = 0.
It is c l e a r that g(n) > 0 on I = [ 0 , x 0) w h e r e x0 6 (0,~] .
Set W(q) = gh' - g'h, then W(n) satisfies
(zz)
~
•
W'
~W(O)
+ (n-
: 0
D
1 2)W = -eY(y')2g(n) < 0
t95
q 1 e s2/4 Sue-U2/4
- g(~) f ( f eY(y')2g(u)du)ds
0 g2(s) s 0
References
i. I n t r o d u c t i o n
Many important problems of m a t h e m a t i c a l physics lead to analysis
of the d i f f e r e n t i a l e q u a t i o n
n 8k
E Ak u = f, in ~, (i)
k:0 8~t
2. Spectral analysis
Operators A(p) are complex symmetric operators. Thus it holds
Ae(p) = A(p) and
AA* # A e A (4)
n
Z IkAk e = 0 . (5)
k=0
When applying this approach we cannot use valuable results of the li-
near spectral theory.
T h e r e f o r e for the D ~ o b l e m under c o n s i d e r a t i o n we define a linear
eigenvalue p r o b l e m considering the equation
n
A(p)e(p) = kZ0PkAke(P)= = l(p)e(p) , (6)
where l(p) for w h i c h the solutions of (6) exist are eigenvalues and
the c o r r e s p o n d i n g solutions e(p) are e i g e n v e c t o r s of (6). Both
eigenvalues and e i g e n v e c t o r s are in general functions of the parameter
p. Eigenvalues in the sense of (5) are values of p for which
l(p) = 0 (7)
the compact inverse B(p) = A-I(p) and BI(p) = Re B(p) and B2(p) =
= Im B(p) are positive symmetric c o m p a c t operators.
The we can prove:
-l(p)
T h e o r e m i. The operator B(p) = A has at least one nonzero ei-
genvalue and its eigenvalues and eigenvectors are solutions of the
v a r i a t i o n a l problem
What is f u l f i l l e d by
B e = He . (l 0)
(u k - ~ l ) ( e k , ~ I) = 0 . (ii)
Be I = ~e I + e 2 ,
Be 2 = ue 2 •
BX I = ~ixl + ax 2
(1 3)
Bx 2 = #x 2 •
(AxI,~ 2) = a (x2,~ 2) ,
(:[ 4)
( A x 2 , ~ I) = 0 ,
References
f(x) > e~ ~ x 6 S.
Then one of the three possibilities occurs:
(i) ~ is an a c c u m u l a t e point of c r i t i c a l values.
(2) ~ is a c r i t i c a l value with uncountable K .
(3) c = inf S u p f(x) > e is a c r i t i c a l value,
A E F x 6A
where F = {A -- ~(Q) I ~ E C ( Q , C ) , with ~I~Q-- idlsQ] .
(1)Variat:ione~l Inequality
Let ~ b e an o p e n subset in R 3, a n d let g be a n o n n e g a t i v e
measurable function defined o n ~.
}
THEOREM 3. Let % 6 H~ ~), and let C = {u 6 H 0l(~)l 0 s u(x) s~(x)
a.e.}. Assume that
i n f { f ( u ) l u e C} < 0 . (2)
Then f(u) has at l e a s t three critical points w.r.t.C.
uIo~ = 0 .
Then the e q u a t i o n h a s at least two distinct solutions.
For a proof, cf. K.C.Chang [2]. A considerable simplification can
be found in K . C . C h a n g [5].
206
(3) Minimal s u r f a c e s
Let M be a compact oriented surface of type (p,k), and let (N,h)
be a compact R i e m a n n i a n m a n i f o l d with nonpositive sectional curvature.
~f ~ is a conformal structure on M compactible with its orientation,
then we write (M,u) for the a s s o c i a t e d Riemann surface.
For a map ~ : (M,p) ~ (N,h), the e n e r g y is
E(~) = ~ fld~]2dxdy .
M
C =~k X ~(p.k)~
R e f e r e n c e s
[19] Z.O. Wanq, R em~l~s a,n t~£ d £formation lemma Ito appear).
i. I n t r o d u c t i o n
L e t G be a b o u n d e d Lipschitzian domain in R d r
d < 3
- •
Let the
boundary S of G be the u n i o n of two d i s j o i n t parts S1 and $2,
S1 closed in S, m e s S 1 > 0. A f a m i l i a r model of c a r r i e r transport in
a semiconductor device occupying G is g i v e n bv the system [10,13]
u = U s , n = N s, p = P on R + X S ~.Vu=~.Vn=~.Vp=0 on
s I' (1.4)
R+X S 2
Here
u is the e l e c t r o s t a t i s t i c potential,
n and D are the m o b i l e electron and h o l e densities,
J and J are the c u r r e n t densities,
n p
f is the net density of i o n i z e d impurities,
q is the electron charge,
e is the d i e l e c t r i c Dermitivitv of the semiconductor material,
R = (np- n~)/(T(n+p+2ni)) is the r e c o m b i n a t i o n rate,
n. is the intrinsic semiconductor carrier density,
l
T is the e l e c t r o n a n d hole lifetime,
~n and ~p are the (constant) electron and hole mobilities,
Us, N s and Ps are given boundary values,
is t h e o u t w a r d unit normal at a n y p o i n t of S 2.
210
U s - k l o g ( N s / n i) = U s + k l o g ( P s / n i) = c = const, on S I
and is q i v e n by
L(t): ](kq(n(log(n/N)-l)*N+p(log(p/P)-l)+P)+(~/2)IV(U-u)i2)dx
G
is m o n o t o n o u s l y d e c r e a s i n g .
The main DurDose of the present DaDer is to s t a t e another kind of
smallness condition implying uniqueness as w e l l as g l o b a l asymptotic
stability of stationary solutions. Our smallness condition involves
the e s s e n t i a l physical parameters and c a n be e a s i l y checked.
2. R e s u l t s
L e t L 2, L~. i be
H2 the u s u a l space of f n n c t l o n s defined on G.
We use the followina notations
Then (U,N,P) is u n i q u e in W.
3. Proofs
We d e n o t e by (.,.) the L 2 - s c a l a r product as well as the pai-
ring b e t w e e n the H i l b e r t space V and its dual V ~ C L2. We intro-
duce the set
M = {[N,P} 6 (H i2 N L ~ 2 , N,P ~ 0 on G, N=Ns, P=Ps on SI} .
Finally, we define an o p e r a t o r A @ (M ~ (Ve) 2) by
(A{N,p],[hl,h2]) = ~ p ( ( ~ n ( k V N - N V U ) ~ V h l ) + (R,hl)) +
References
THEOREM i. L e t ~ be a b o u n d e d o p e n s e t i n R n and l e t
F(x,u,p) : ~ X R N X R nN ~ R be a f u n c t i o n such that
i) Ipl m ~ F ( x , u , p ) ~ e O l P l m, m ~ 2
ii) E i s o f c l a s s C2 w i t h r e s p e ~ t 2 t o p and
Hl,m N
Let u E loc[~,R ) be a m i n i m i z e r for
~[ u ; ~ ] = fF(x,u,Du)dx
tO d i f f e r e n t authors.
Under the s t r o n g e r ~ c o n d i t i o n of ellipticity
m-2
F . ~ ~ v(l + [pl 2) 2 i~12 ~ @ RuN; v > 0
i 3 I 3
P~PB
theorem 1 was p r o v e d for m ~ 2 by C . M o r r e y and E . G i u s t i , for i < m < 2
bv L.PeDe in 1968 in the case F : F(p); in th~ c a s e m : 2, F : F ( x , u , p )
by Giaquinta - Giusti and Ivert in 1983, in the case m ~ 2, F = F ( x , u , p )
by Giaquinta - I v e r t in 1984. F r o t h e s e r e s u l t s I refer to [7] [9]
[ ii] . U n d e r the w e a k e r assumption of ~ u a s i - c o n v e x i t y in (2) it w a s
p r o v e d by L. E v a n s [5] in the case F : ~(p), m ~ 2.
T h e case 1 < m < 2 is open, and e s s e n t i a l l y o p e n are all the
questions concerning the s i n g u l a r set; for i n s t a n c e
i. w h a t a b o u t the s t r u c t u r e of the s i n g u l a r set? w h a t a b o u t the
Hausdorff dimension of the s i n g u l a r set?
2. are t h e r e r e s o n a b l e structures under w h i c h m i n i m i z e r s are r e g u l a r ?
(see the i n t e r e s t i n g paper [22])
3. w h a t a b o u t the s t a b i l i t y or i n s t a b i l i t y properties of the s i n g u l a r
set? or w h a t a b o u t topological properties of the set of s m o o t h
minimizers?
We have r e s u l t s improving theorem 1 roughly o n l y in case of
quadratic functionals if we e x c l u d e the case in w h i c h F does not
depend explicitly on u. So let us c o n s i d e r a quadratic functional
~B ~ B 2 RnN
(4) Aij(x,u)$i~ j ~ [${ v~ e
/A~(x,u)D ulDB~3dx = 0 v~ E H ; ( c , R N)
A j~ ( x , ul ) g a g3 S n i 4 >- t { 1 2 t n J 2 v$ e R n v~ e R N
where
G(x) : det(G ~Cx)) CGe6(x)) : (G~6(x)) -I
THEOREM 5 . ( S c h o e n - U h l e n b e c k [ 2 1 ] , G i a q u i n t a - S o u d e k [ 1 3 ] ) Every
energy m i n i m i z i n g map u from a domain i n some n - d i m e n s i o n a l Riemannian
N
m a n i f o l d i n t o t h e h e m i s p h e r e S+ i s r e g u l a r p r o v i d e d n ~ 6, and i n
g e n e r a l i t s s i n g u l a r s e t has H a u s d o r f f d i m e n s i o n no l a r g e r t h a n n - 7.
References
Introduction.
In m e c h a n i c s of p l a s t i c - e l a s t i c bodies or in the t h e o r y of e l e c t r o -
magnetic field in f e r r o m a g n e t i c m e d i a w e are led to t h e c o n s i d e r a t i o n
of h y s t e r e s i s phenomena. T h e r e are v a r i o u s approaches to the m a t h e m a t i -
cal d e s c r i p t i o n of h y s t e r e s i s (cf. [I]). E x i s t e n c e results for P D E ' s
with hysteresis nonlinearities are d u e to V i s i n t i n (see e.g. [5]). We
g i v e h e r e a s u r v e y of r e s u l t s of [23, [3~, [~, w h e r e w e p r o v e the e x i s -
t e n c e of p e r i o d i c solutions to the p r o b l e m s
as f o l l o w s :
0 , if ]v<0)l ~ h
/ h ( V ) (0) = v(O) - h , v(O) > h
v(O) + h , v(O) < - h .
For v ~ C we define
(ii) L = F -I
(L(v))'V'' <= - ~
0
where ~(r) = inf {(g-1)''(h); 0 < h < r} °
2. Existence results.
L P (0,£), I <= p <= ~: the space of all measurable functions such that
2 I/2
L2(O,1; Llto) = {U 6 Llo(o,1); lu[2,1 = (I(I[U(t,x) l dt) dx) < ~}
0 0
w i t h norm I " 1 2,1
Theorem. (2.1)
(i) Let H & L~(0,~) be given such that Htt ~ L~/2(0,~) and
let (1.4)(i) - (iii) hold. Then there exists at least one
solution U ~ C ([0,~]) , Utt - Uxx E L2(0,~)
u t ~ L3(0,~) to the problem (PI) such that (PI) is satis-
fied almost everywhere.
9
(ii) Let H ~ C -~-([0'17) be given such that H t e L~(0,1) and
let (1.4)(i) - (iii) hold. Then there exists at least one
classical solution u E C (E0,13) , u t, u x, (F(Ux))x
, L2 3
C ([0,13) utt e ( 0 , I ) , Utx ~ L (0,I) , Uxx ~ L~(0,1)
to the p r o b l e m (P2)
where ej(t) = sin 2 ~ t for j > 0 and cos 2~j~ t for j =< 0 .
j = -m,...,m , k = 1,...,m .
3
Multiplying (2.4) by [2~j] u kJ
. , summing over j and k and
using (1.6)(vi) we g e t
Y (llluIII)lUt 123 ~ c o n s t .
m m
Similarly we h a v e [utt U x x I 2 ~ c o m e t . (I + IIIF(u)III) . Classical em-
m m m
bedding theorems and (1.4), ( 1 . 6 ) ( i i i ) y i e l d IIIulll
m
c o n s t . (lutt - Uxxl2 + lutl3) ~ c o n s t . (lllulll I - ~ / 2 + llIulll~ + I), hence
m m m m m
ll]ulll, lutl 3 , lutt - U x x l 2 ~ const.
m m m m
v0=Vn=0,
(j+1)/n
t
IVxtl~ =
< (g-l)' (lllvt - ~l]l)IVtt 122 + const, lvtl 3 "
m m m m
Following (1.4) there exists ~ > 0 such that I/~(r) <
R e f e r e n c e s
v : v on (0,~) x FD , 8n
v = 0 on (0,~) × v• N ' (BC 2)
8f
where rD U FN : 6~ (the boundary of ~ ). Set b11 = 7 ~ ( u , v ) , b12 =
bll > 0, b21 > 0, b12 < 0, b22 < 0, bll + b22 < 0, det B > 0. (B)
Then there exists the greatest bifurcation point dO of (RD), (BC) at
which spatially nonhomogeneous stationary solutions bifurcate from the
branch of trivial solutions { [d,u,v]; d 6 R} ; the solution u , ~ is
stable for any d > dO and unstable for any 0 < d < dO . (All eigen-
values of the corresponding linearized problem have negative real parts
for d > dO and there exists a positive eigenvalue for d < dO .) F o r
the case of Neumann conditions and n = I (i.e. ~ = (0,1) ) see e.g.
[8], for the general case see [2]. Notice that (B) is fulfilled in mo-
dels connected with population dynamics, chemistry, morphogenesis etc.
In these cases u represents a prey or an activator, v represents a
predator or an inhibitor. The existence of stationary spatiall~ nonhomo-
geneous solutions explains the occurence of the so called striking pat-
terns.
228
v = ~ on (0,~) x PD , v > ~ ~v
(1)
(v - 8v
-v)~-~ = 0 on (0,~) x r0 , 8a nv = 0 on (0,~) x (PN~P 0)
I. Abstract formulation.
n
where Vu-v~ = i=}Jluxi~xi . By a solution we can understand a couple
= 0 , v(t,.) 6 K ,
u ~ K ,
r
J [ u t ( ~ - u) + dVu'V(~ - u) - f ( u , v ) (9 - u)] dx > 0
(4")
for all ~ 6_ K , a.a. t > 0 ,
2. Destabilization.
I
EXAMPLE 1. Consider FD = ~ (i.e. V = W2 ) , K = {v C V; v ~ 0
on ~I . Then (2) corresponds to a free-boundary problem
v t = Av + g(u,v) on Q+ ,
8u Ov
Ux. , Vx. are continuous, ~n 3n 0 on (0,~) × ~ ,
1 l
D(d)AU + BU = IU (7)
v ~ ~ , (8)
F0
(9)
f[~v'V~ - (b21u + b 2 2 v - Iv)~] dx + s < B v ~> = 0 for all ~ ~ V .
3. Stabilization.
I.
EXAMPLE 2. Consider the cone K = {u £ V; u ~ 0 on 9} with V = W2
again. Then spatially constant solutions of the linearization of (4)
are solutions of (6) w i t h Kc = {@ = [%,~] C R2; % ~ 0} . If B has
a pair of complex eigenvalues and b12 , b22 < 0 then any solution of
(6) (coinciding with the solution of U t = BU as long as it is in
K° × V ) touches the line { [0,v] ; v ~ 0} after some time to and
then coincides with the solution of the type u(t) = 0 , v(t) =
exp (b22(t - to))" ~ . It follows that the trivial solution of the line-
arization of (4) is s t a b l e with respect to s p a t i a l l y homogeneous per-
turbations even if t h e trivial solution of U t = BU is u n s t a b l e (more
precisely see [7]). Of course, in this way we cannot obtain any infor-
mation about the stability with respect to nonhonogeneous perturbations.
THEOREM 3. Let (B) hold and let E(d 0) A K x V = {0}, meas FD > O.
O'
233
u 6 K ,
U ~ K ,
4. Final remarks.
I ut( ¢ - U) + d v u - V ( ¢ - u) - f ( u , V ) ( 9 - u) dx
+ ¢1 (~) - ~I (u) ~ 0 ,
(13)
IVt( ~ - V) + VV-V (@ - v) - g(u,v) (9 - v) dx
R e f e r e n c e s
O. Introduction
]lul
Ici: (s(i))
sup
x6S(i)
lu x l +
YE
Ir E ( x ) Y E Vu(x) - r E(y) Vu(y) I
sup
x,y 6 G (i) Ix - yI~
where rE(x) is the d i s t a n c e f r o m the p o i n t x to E . If U contains
the v e r t e x Q and supp u C U then
[[Ul
Kg: (G(i))
sup
x 6 G (i)
lu(x)l +
~Q BQ
IPQ(x) ~ _ rE(x)YEvu(x) - pQ(y) R _ r E (x) Y E v u (y) I
sup {E:Q eE} {E:Q E E }
x,y £ G (i) ix - yl e
where pQ(x) = Ix - QI
TE 7E
IrE(x) u(x) - r E(y) u(y) I
+ sup
x,y CUF Ix - yt ~'
BQ YE I
sup ~Q<X) [] rE(x) E -- lu(x) l +
] ]ul I c O ' a ( S ) x e UF {E:Q { E ) {E:Q c-E} rE
8,Y
~Q
IpQ(X) 8Q ~ _ rE(x)YEu(x) - pQ(y) _ rE(y)TEu(y) 1
{E:Q 6 E } {E:Q e E )
sup
x,y~ uF Ix - yl ~
and
u(x) : 0((~ + Ixl) -~)
interior a n d exterior Neumann problems:
I (D e))
Then (i) •
(D (1)) and (D (e)) are ~niqueiy solvable in 1 , aY( G ( i ) )
CB,
and C~'a(G (e)) for all g % clB'a(S) ; (ii) (N (e)) is uniqv~ely ~;ol-
b'Y 1 a 'Y '
vable in C~' (G (e)) fop a~ h c Ct'a(S)~
Y ; (iii) (N (1)) i,~ s o l v a b l e
in CIB:~(G(i~) for all h C CB,y (S) w'tth zero prsnetpal Vector and
principal moment. Its solution is unique up to a r i g i d displacement.
*)
The numbers ~Q can be d e f i n e d by some spectral boundary value
problems in spherical domains (cf. [ 8 2) but we shall not use it
in what follows. For the problems (D (i)) and (D (e)) it was shown
in [ I ~ that eQ > I/2 . The v a l i d i t y of the last i n e q u a l i t y for
(N (i)) , (N (e)) remains an open question.
239
(- I + W*)~ = h . (6)
THEOREM 3. Let {TE} and {~Q} satisfy (I) and (2). Then (i) the ope-
rators W and W* are bounded in C41
B
i$ (S) and
o,~ (S)
CB (ii) if
g ~ CB,yI'a(S) then systems (3) and (4) are uniquely solvable in CI'~(S)B,y
{6Q} hold which are similar to t h e theorems of the same kind for solu-
tions of boundary value problems (cf. E~ ). B e f o r e giving an example
let us introduce some function spaces.
The potential theory for plane boundary value problems can be deve-
loped with the help of the same arguments and even more easily. If b y
S we mean a piecewise smooth contour without cusps and by {Q} we de-
note the set of its angular points then the statements of Theorems I - 5
remain valid up to obvious changes.
I [ cos(x - y, n(y))
(W~) (x) = ~ ] T(y) ds(y) (7)
s ix - y l 2
(W'T) (x) I
27 I cos(x - y, n(x)) z (y) ds (y) (8)
s Ix - yl 2
where x E <j F .
241
I sin ~(I + a - ~)
R : min sin ((~ - % ( z ) ) il ~ - B))
z 6 tiE
Let W and W~ be operators in C Sl+,Ia( S ) and C B£ +/I ' a ( S ) , respecti-
vely, defined by (7) and (8). Then r(W) = r(W*) = R ,
~£+l'a(G) 9 u ÷ (1 - ~) % u ( i ) 8u(e) f £
LI : U5 6n (I + I)--~-- C~'a(S) ,
R e f e r e n c e s
.1,2
u 6 H0 (G) s u c h that gi($iu)6 LI(G],"
" i = I, .... N
(~oU:=U) and
(H.I)
N
(2)
E(~i iu'~i~)+i=iZ ( g i ( ~ i u ) , ~ i ~ ) + ( g O ( u ) , ~) = (f,~)
[ 0
gi e C (R) are n o n - d e c r e a s i n g and
(H.2)
i(t).t ~ O for t ~ R, i = O,1 .... N .
what conditions are the weak solutions unique? Do the weak solutions
have better regularity properties? For s t a r - s h a p e d domains uniqueness
and s t a b i l i t y of weak solutions of (I) was p r o v e d in [4]. This r e s u l t
was considerable generalized to a r b i t r a r y domains with smooth b o u n d a r y
and to v e r y g e n e r a l operators by M. L a n d e s [2].
For i = I ,... ,N we a s s u m e
i) gi' is n o n - d e c r e a s i n g in [0, ~)
gi (-t) i Cg i
(t) for t E R ("nearly odd")
t
iii) Let Gj (t):= o/gi(s)ds. A s s u m e that G i s a t i s f i e s a
(" i s o t r o p i c " )
An e x a m p l e is g i v e n by
T h e n we can p r o v e the f o l l o w i n g
N N
E f (~i~kU) 2+ ~ / gi' (~iu)'(~i[}k u)2 +
i,k:1 G' i,k=1 G'
N
+ k:1E/go'
( $ k U )(u)
2G' < K'(llfll 2(G) 0 (G)
N
+ Z /gi (~iu)'~i u )
i=O G
For this purpose, let ~ ~ Co(G) and for k = I,...,N put ~k@ as a test
function in (2) and integrate at the left hand side by parts, which
leads to
N N
Z (~i~kU,~i@) + ~ (gi' (~iu)~i~kU,~i@)+(go' (U)~kU,@) :
i=I i:I
(4)
: -(f,~k@ )
Let now 6 ~C;(G) such that ~--I in G'. Put @:=~kU.62 in (4) which
gives
N
N
E f (~i$~ u) 2.~2+i=1E/~ u.2~_u3.
{K . ~ i]~~ l +
i=I
N
+ 2 fgi , (~iu).(SiSkU)2 . 2+ N
~ fgi' (;iu) S i ~ k U ~ k U 2 ~ i ~ + (5)
i=I i=I
+ fg O' (u)(~u)2~ 2 : - ( f , ~ k S k U ~ 2 ) - ( f , ~ k U 2 ~ k ~)
The first, third and fifth expression at the left of (5) are that we
have to estimate. E.g. the second admits trivally the e s t i m a t e for
~>O
N
12 E f(~iSkU~).($kU).~i~ I <
i=I
N 22 -I N
2(~i~)2
_< ~- E /(~i~k u) + ~ /(~k u)
i=1 i=I
246
N
12 Z .'<dgi'(3iu).3i[~kU'<) (/gi' ([i u) 3kU~]i~) l
<6)
N
22 ~-I: ,
< 6"Z fgi' (~iu)'(~i~k u) "'~ +e "~gi (~iu)'(3kU)2(~i~)Z
i:1
References
[ 1] AGMON,S., Lectures on ellip tic boundary value problems, Van Nostrand, Princeton 1965.
[2] LANDES,M., Eindeutigkeit und Stabilitdt schwacher Ldsungen streng nichtlinearer ellip tischer
Randwertprobleme, Thesis, Bayreuth 1983.
[3] SIMADER,C.C~, OberschwacheLdsungendesDirichletproblemsf:drstrengnichlineareelliptische
Differentialgleichungen, Math. Z. 150 (1976), 1-26.
[4] SIMADER,C. G., Remarks on uniqueness and stability o f weak sotutions o f strongly nonlinear elliptic
equations, Bayreuther Math. Schriften 11 (1982), 67-79.
SOME REGULARITY RESULTS
FOR QUASILINEAR PARABOLIC SYSTEMS
J. STARA, O. JOHN
Faculty of Mathematics and Physics, Cha'rl~,~s U~ive~r,s'ity
Sokolovskd 8~ , 186 O0 Prague 8, 6~echoslovakia
(i) u t - div(A(z,u)Du) = -f + d i v g.
i. I n t e r i o r r e g u l a r i t y . L e t Q be a d o m a i n in R X R n. S u p p o s e that
the following assertions o n A, f and g are satisfied:
(i) A = A(z,u) is c o n t i n u o u s on Q X R TM.
(ii) (A(z,u)~,~) > 0 for all [z,u] e Q X R TM, ~ # 0.
(iii) f 6 Ls,Ioc(Q) with some s > n/2 +i, g e Lr,loc(Q) with
r>n+l.
Denote by W2,
o,~oc(Q) the set of all functions belonging to the
L2,1oc(Q) together with their spatial derivatives. R e c a l l that the fu-
nction u 6 w O2,,l1 o c (-Q ) is a weak s o l u t i o n of (I) i n Q if for a l l ~6 D(Q)
w t- d i v ( A ( z 0 , w ) D w ) = 0 in all R X R n is constant.
Theorem I. T h e s y s t e m (1) is r e g u l a r iff it has interior Li-
ouville property in Q.
S k e t c h of the proof. To h a v e the r e g u l a r i t y of the w e a k solution
u in Q, it is s u f f i c i e n t to p r o v e t h a t for each z 0 E Q
3. E x a m p l e . L e t m = n = 3, Q = (0, ~) X B (B is t h e u n i t b a l l in
R3). We obtain the example of the system (1) for w h i c h the b o u n d a r y
value problem with Lipschitzian boundary data on F = [ {0] X B] O
[(0, ~) X ~B] has a solution u which develops the singularity for some
t O > 0 in two steps: a) W e c h o o s e the suitable u and b) to t h i s u we
construct the system for w h i c h u is the w e a k solution of the b o u d a r y
value problem.
In the choice of t h e solution we were inspired by M. Struwe [3]
who constructed the e x a m p l e for the system u ti _ Au i = f i ( t , x , u , D u ) '
i = l,...,m, with fi,growing quadratically in IDul. We set
xi
(2) ui(t,x) = Ixf
x.
i if t < i, i = I,.
# "T'xT ..,3 ,
where ~ is f u n d a m e n t a l solution of the equation w t + Aw = 0. It is
easy to see that u is l o c a l l y Lipschitz continuous on R X R n w i t h ex-
c e p t of t h e h a l f - l i n e p = {[t,0] ~ t ~ i], w h e r e it c e a s e s to be
continuous.
To c o n s t r u c t the system, we m o d i f y the p r o c e d u r e due to M. Gia-
quinta a n d J. Sou~ek° At first we seek the system with bounded and me-
asurable coefficients in the form
(3) w t - div(A(z)Dw) = 0,
did ~
~ where d : D U i- b
<s) : LBhj ÷ d id j
where
250
i x.x
d • - ~ 6 (a-2) z ~ (6+a)} if t > i.
References
u = ~ on ~n , (2)
Pogorelev [21,22] and Cheng and Yau [7] proved the existence of a unique convex
solution uE C2(~) ncO'l(~), provided ~ is a uniformly convex C I'I domain in
~n and the functions ~,f ~ CI'I(~) with f positive in ~ Their methods
depended on establishing interior smoothness of the generalized solutions of
Aleksandrov [1]. These results were extended to equations of the more general form
by P-L. Lions [17,18] using a direct PDE approach. Lions' approach led to the
following classical existence theorem of Trudinger and Urbas [26], which we formulate
explicitly for comparison with later results. Here we assume that the function f
in equation (I) belongs to the space CI,1(~×~× ~n) , is positive and non-decreasing
in z , for all (x,z,p) ~ × ~ × ~ n and satisfies the following growth limitations:
1 n
for all (x,p) ~x~. n , where N i s some c o n s t a n t and g ~ L1(~2), h ~ Lto c ( l t ) a r e
positive functions such that
252
fa g < f h
~n
; (5)
< (8)
I~ Wn ,
K = 0 on 3~. (9)
Moreover condition (8) is necessary for a cO'I(~) solution of equation (7) to exist
[9],[26] while if condition (9) is violated there exist arbitrarily smooth boundary
values ~ for which the classical Dirichlet problem (7), (2) is not solvable, [26].
The above developments shed no light on the global regularity of solutions beyond
being uniformly Lipschitz in ~ . This was an open problem, in more than two
dimensions, for many years and was finally settled, for uniformly positive f,
through the contributions of Ivochkina [lO], who proved global bounds for second
derivatives for arbitrary ~ C3"I(~), 3~E C 3'I, Krylov [14],[15] and Caffarelli,
Nirenberg and Spruck [5] who independently discovered the hitherto elusive global
H~ider estimates for second derivatives. As a particular consequence of this work,
we can infer the following existence theorem for globally smooth solutions of the
classical Dirichlet problem.
exists a unique convex solution u (C3,Y(~) for all y<1 of the Dirichlet problem
(1),(2).
More general results are in fact formulated in [5] , [12] but the condition
6 ~ n+l cannot be improved [26]. The situation with regard to oblique boundary value
problems of the form
where B.~ > O on 3~ and v denotes the unit inner normal to 3~ , turned out to
be more satisfactory in that condition (6) is not required for the estimation of
first derivatives. For the case 6 = v, that is for the usual Neumann case,
we proved in collaboration with Lions and Urbas in [20], the following existence
theorem,
Cz (x'z) ~ YO (12)
for all x,z, ( 3~x~ and some positive constant YO Then if f 6 c l ' l ( ~ x ~ x ~ n)
is positive and non-decreasing with respect to z for all (x,z,p) ( ~x~×~ n
and satisfies condition (5), there exists a unique convex solution u ~ CS'Y{~)
for all y < I of the boundaz~ value problem (i),(ii).
Further regularity of the solutions in Theorems 2 and 3 follows by virtue of
the Schauder theory of linear equations [9], when ~ ,¢ and f are appropriately
smooth. In particular when 3~ ( C~ , ¢ (C~(D~x~) and f ~ C (~x~x~) we
deduce u (C~(~). The proofs of Theorems 2 and 3 both depend, through the method
of continuity as described for example in [9], on the establishment of global
C2'G(~) estimates for solutions of related problems. However the techniques
employed by us to obtain these estimates in the Neumann boundary value case differ
considerably from those used for the Dirichlet problem, particularly with respect
to the estimation of first and second derivatives. For the estimation of sup norms
we make use of the following maximum principle which does include that of
8akelman [2,3] for the Dirichlet problem as a special case.
min {N, +
- sup ~ (x,0)/Y0 - (Bl/Y0+d)R0 }< u < sup ~ (x,0)/Y0 (13)
f g = !h
I I<R0
suplDul a c (14)
Theorem 5 Let ~ be a C 3'I unifo~cnly convex domain in ~n and t~~ C4(~) NC3(~)
a convex solution of the boundary value problem (I),(ii) where f~ cl'I(~x~X~R n)
is positive and ~e C2'I(~xIR) satisfies (12). Then we have
suplD2ul £ C (15)
where C depends on n,~,f,~ and lUll;~ A similar estimate holds for solutions
of the Dirichlet problem (1),(2) provided ~ E C3'1(~).
We remark that the restriction (12) can be weakened to ~z ~ 0 and the case when
fl/n is convex with respect to p is simpler. We do not know whether one need only
assume ~ e c2'l(~) in the Dirichlet case. Once the second derivatives of solutions
of the boundary value problems (I), (2), (I0) are bounded, we obtain a control on
the uniform ellipticity of equation (I) , and further estimation hence follows from
255
g .v > 0 (18)
P
for all (x,z,p) <~x~×~n , r = [rij ] < U ; and (ii) concave with respect to r
for all ( x , z , p ) ~ ~ x ~ × ~ n , r { U. Then we h a v e
[D2u]a;~ 8 C (21)
256
where a< I and C are positive constants depending only on n,~,]u]2;~ and
the first and.second derivatives of F and G (excluding Frr)~ (and itI3 in
the Dirichlet case).
We remark here that the solution u in ~ e o r e m 6 need only lie in the space
CI'I(~) and the smoothness of a~, G, F, ~ can be reduced, [25]. For application
to Monge-Ampgre type equations the convex set U becomes the set of positive
symmetric matrices.
Finally we note that the sharpness of condition (8) is strikingly demonstrated
by the following result of Urbas [28] concerning extremal domains for the equation
of prescribed Gauss curvature.
f K
g2
w
n
(22)
Then there exists a convex solution u ~ C2(~2) of equation (7) in ~'~ l;'~rthermore
the f~nation u is ver'tical at 9~ and is unique up to additive constancs. If'
K is positive in ~ , then the solution u is bounded; if K vanishes o~ 9~
then the solution u approaches infinit;{ at ~)Q .
REFERENCES
[6] L. Caffarelli, J.J. Kohn, L. Nirenberg, J. Spruck, The Dirichlet problem for
nonlinear second order elliptic equations II. Complex Monge-Amp~re and
uniformly elliptic equations, Comm. P~re Appl. Math. 38 (1985), 209-252.
[71 S.-Y. Cheng, S.-T. Yau. On the regularity of the solution of the n-dimensional
Minkowski problem, C o ~ . Pure AppZ. ~ t h . 29 (1976), 495-516.
[8] L.C. Evans, Classical solutions of fully nonlinear, convex second order
elliptic equations, Comm. P~re Appl. Math. 35 (1982), 333-363.
[lO] N.M. Ivochkina, Construction of a priori bounds for convex solutions of the
Monge-Amp~re equation by integral methods, Ukrain. Mat. Z. 30 (1978), 45-53,
[Russian].
[ii] N.M. Ivochkina, An apriori estimate of lUi[c2(~) for convex solutions of the
Dirichlet problem for the Monge-Amp~re equations, Zap. Nau~n. Sem. Leningrad.
otdel. Mat. Inst. Steklov. (LOMI) 96 (1980), 69-79, [Russian], English
translation in J. Soviet Math. 2_1 (1983), 689-697.
[12] N.M. Ivochkina, Classical solvability of the Dirichlet problem for the Monge-
AmpSre equation, Zap. Nau$n. Sem. Leningrad. @td~l. Mat. 2nst. Steklov. (LOMI)
131 (1983), 72-79.
[13] N.V. Krylov, Boundedly inhomogeneous elliptic and parabolic equations, izv,
Akad. Nauk. SSSR 46 (1982), 487-523, [Russian]. English t r a n s l a t i o n in Math.
USSR i z v . 200 (1983), 459-492.
I151 N.V. Krylov, On degenerative nonlinear elliptic equations, Mat. Sb. (N.S.)
120 (1983), 311-330, [Russian].
[16] G.M. Lieberman, N.S. Trudinger, Nonlinear oblique boundary value problems for
nonlinear elliptic equations. Aust. Nat. Univ. Centre for Math. Anal.
Research Report R24 (1984).
[19] P.-L. Lions, N.S. Trudinger, Linear oblique derivative problems for the
uniformly elliptic Hamilton-Jacobi-Bellman equation, Math. Zeit. to appear).
[20] P.-L. Lions, N.S. Trudinger, J.I.E. Urbas, The Neumann problem for equations
of Monge-Amp~re type. Aust. Nat. Univ. Centre for Math. Anal. Research Report
Rl6 (1985).
121l A.V. Pogorelov, The Dirichlet problem for tile n-dimensional analogue of the
Monge-Amp~re equation, Dok~. Akad. Na~k. ;;SSR 201 (1971), 790-793, [Russian].
English translation in Soviet Math. Dokl. 12 (1971), 1727-1731.
258
[25] N.S. T r u d i n g e r , R e g u l a r i t y o f s o l u t i o n s o f f u l l y n o n l i n e a r e l l i p t i c e q u a t i o n s .
B o l l . Un. Mat. I t a l . , 3-A ( 1 9 8 4 ) , 4 2 1 - 4 3 0 . II A u s t . Nat. U n i v . C e n t r e f o r Math.
A n a l . R e s e a r c h Report R38 (1984).
[27] N.S. T r u d i n g e r , J . I . E . U r b a s , On s e c o n d d e r i v a t i v e e s t i m a t e s f o r e q u a t i o n s o f
Monge-Amp~re t y p e , BulZ. A u s t r a l . Math. S o e . 3 0 ( 1 9 8 4 ) , 321-334.
1. Introduction.
~v
P [~ +(v'V)v - f] = - V[p(@) ] + ~ 5 v + ( ~ + D / 3 ) V d i v v in ]0,T[x~
~p
+ div(pv) = 0 in ]0,T[x ~ ,
V = 0 on ]0,T[x ~,
(NS) I~
Sp : FI~T > 0 (I~Immeas(~)),
v]t:0 = v° in ~ ,
in ~ ,
Plt:0 : Po
(i) if v a n d Po- ~ are small enough and f = 0, then problem (NS) has
o
a u n i q u e g l o b a l (in time) solution (Matsumura-Nishida [I]);
260
vl~ ~ = 0 on ~,
fd = 0
¢ : (v,~) ~ (w,~) ,
wl~ ~ = 0 on 8~,
~ = 0
large order, in s u c h a way that we can control the behaviour of the non-
(L) satisfies
A (but it is independent o f v) .
has
I/2
{3.3} [lwH1÷ lldivwll 0 S c ( l l F H _ 1 + l [ v l l a lln[10)
The same argument can be used for estimating all the successive de-
I/2
(3.4) II D W II1÷ II D div w II 0 s c~ll F I[o÷ II v II 3 II n II 1)
(c) T h e estimate for the normal derivative D div w is o b t a i n e d by ob-
n
serving that on $~
Aw-n ~ Vdiv w -n ,
2
in t h e sense that their difference does not contain D w.
n
262
(3.71 Ilmdiv~llo
~e(llFII0*n Ilvl13I/2 [Inllll"
By r e p e a t i n g the same argument for the second order derivatives one
gets
vious.
I - Aw + 77 = F/H in 9,
(L') " div w = (~/~ + I/3)-<I (plq/%1 - ~) in
wi~ ~ = 0 on ~,
I
L fq = 0
5. E x i s t e n c e of a s o l u t i o n of (S).
: (v,o) ~ (w,n).
Taking
References.
x (n) + n x(n_i)
[ Pi(t) = f(t) (1)
i=l
n-i
elk x(k)(a i) = Ai, i < i < n (2)
k-0
n-I
x(J)(a i) = ~~ dik x(k)(a i) + ~i' i < i < n (3)
ci k Ai
where dik ffi - ~ ; 0 ~ k < n-l, k = j and a i = - -
cij c13
268
x(n) = - i~2Pi(t)
x(n-i)u + f(t). (4)
Now, for the boundary condition (3) we assume that the solution x(t) of (4)
satisfies (n-l)th order linear differential equation
n-i
x(J)(t) = [ dik (t) x(k)(t) + ~i(t) (5)
n-l
x(J+l)(t) = [ [dik(t)x(k+l)(t) + d~k(t)x(k)(t)] + ai(t). (6)
+ [ i di,n-2(t) + dl,n-l(t)
dil(t) -~lx'(t)
dil(t)
We also desire that this solution x(t) must satisfy the boundary
condition (3). For this, we compare (13) and (5) at the point a i and find
ei(ai) = e i.
In the rest we proceed as for the case J = 0 and obtain the following
systems
(ii) 1 ( J ( n-3
k = n-2, n-3,..., I; k # J, j + 1
ei(a i) = e.
(iii) j - n-2
(14)
~i(ai ) = ~i"
(iv) j = n-I
a±(ai) = ~i"
n-I
x(k)r~
x(J)(an) = ~ dik(a n) ~ n ) + ~i(an). (17)
Finally, from the obtained values of x(J)(an) , 0 < j < n-I we integrate
271
n
[P(t)x(n-l)] ' = - [ P(t)Pi(t)x(n-i) + P(t)f(t) (18)
i=2
Assumption that the solution of (18) should satisfy (n-l)th order linear
differential equation
n-i
dij(t)x(J)(t) = ~ dik(t)x(k)(t) + ~i(t) (19)
with di,n_l(t) = P(t) brings the problem in the realm of the foregoing
analysis.
We use fourth order Runge-Kutta method with step size 0.01 and obtain
dol(t) , e0(t) at t ffi 18.0|. These values are used to calculate x'(18.01) from
(22). The differential equation (20) is integrated backward with the given
x(18.01) = 0 and the obtained value of x'(18.01) using fourth order Runge-
Kutta method with the same step size. The value t = 18.01 has been chosen in
view of restricted Computer capabilities.
The solution thus obtained has been presented in Tables 1-3 for different
choices of m and 8. These tables also contain solutions of the problem
obtained earlier in [10,13,14,15]. For further details of the method and its
applications see [6,7].
References
Table 2. m = i, = ~-i/2
Table 3. m = 2, B = i~
error estimates valid for all times. For the @-method, with @ = i/(24~Tg),0<m<1,6>0),
we prove an error estimate 0(T4/3), T + 0, if v ~ I/3, where T is the m a x i m a l time-
step for an a r b i t r a r y choice of the sequence of timesteps and with no further condition
I. I n t r o d u c t i o n
11vll ~ (v,v) s.
We shall assume that F is a m o n o t o n e operator, i.e.
{1.2 ) iF(t,u) - Fit,v), u-v) L P ( t ) flu-v]12 V u, v c v,
where p : (0, ~) ÷ R +, i.e. P(t) ~ 0, t > 0.
(ut, ~) + (F(t,u),]) = 0 ~ £ V h c V,
where V h is a finite element space depending on a m e s h p a r a m e t e r h.
This semidiscrete method ("longitudal method of lines") results in a system of
discretize the e v o l u t i o n a r y problem (1.3), and more generally (i.I), w.r.t, time. A
convenient time i n t e g r a t i o n method turns out to be the implicit ("one-leg") form of
where pit) ~ P0 > 0. w i t h o u t further assumptions the optimal o r d e r we prove is O(T 4/3)
for v = I/3 a n d 8 equal to the upper bound. With some a d d i t i o n a l assumptions we prove
also the o p t i m a l order, O(T2).(At this p o i n t we r e m a r k that there is a m a r k e d differ-
Let e(t) = u(t) - v(t) be the error function. Classical error estimates, uses the
two-sided Lipschitzconstant,
When F is monotone, i.e. satisfies (i .2) , it will follow that the nonlinear
equation (2.1) has a unique solution v(t+~) in V, if 8 < i.
A s is w e l l k n o w n the implicit form of the @-method can be w r i t t e n as an Euler
backward (implicit) step (t + t = t + (I-8)Y).
(2.2) v(~) + T(l-e)F(t,v(~)) = v(t),
followed by an Euler forward (explicit) step (~ + t+T)
(2.3) v(t+T) + ~ 8 k(t) = v(t),
where k(t) = F(t,v(t)).
(2.2) follows if we m u l t i p l y (2.1) by (I-0) and define v( ) as a linear function
in each interval [t,t+T]. Then v(t) = v(t). (2.3) follows if we s u b t r a c t (2.2)
from (2.1).
(e(t+T) -- e(t), e(t)) + ½TP0 I le(t) + T~(t) I]2 --< ½p--ITI0 181''12 - (e(t+T) - e(t), ~ ) .
By use of the inequality, IIa+bll 2 ! ½11all 2 - llbll 2 and the arithmetic-geometric
inequality once more we get
(2.9) (e(t+T) - e ( t ) , g(t)) + ~<%llg(t) ll 2 i ½ p ~ l l B I I 2
+ ½T~lle(t+T)-e(t)ll2 +--½T2--~(I+p0<I+V)II~II2,
where O < ~ < I. The chosen value of u will be specified later.
An elementary computation (see [I] shows that
(e(t+T) - e(t), e(t)) : ½[I le(t+z) l! 2 + (1-2e)lle(t+T) - e(t) ll 2 - l]e(t) il 2 ]
and
l le(t)[[ 2 = (i-8) IIe(t+T) ll 2 + 8 I le(t) ll 2 - (i-0)6 I le(t+T) - e(t) l[ 2.
Using these identities in (2.9), we find
(2.10) [I + ½~pe(1-8)]IIe(t+T)II 2 + [i-2e - ½1p0(l-e)8 - T~][le(t+T) - e(t) II 2
[i- ½7P0e]lle(t)ll2 + P01Tlleli2 + 2T2-~IIG[12 ,
I+4
where we have assumed t~at T L i is small enough so that po I ~ i.
We shall now choose 8 ~ 80, where 80 is the largest number L i, for which the factor
of the second term of (2.10), 1 - 28 - ½TP0 (i-0)8 - T v ~ 0.
We find then 80 : ½ - IO(TV) l, T ÷ 0.
By recursion, it now follows from (2.10),
lle(t) ll2 qt/Tlle(0) 2 + -i (t/T)-1 (t/T)
Tp 0 g q -J-IEi+½(l-e)TP0]-isup y2(s)
j=1 s>0
where
(2.11) ¥2(s) : ]le(s) 2+2pol-~li~(s) l12 '
and
q = (1 - ½e~p ~ / [1 + ½(1-8)TP0]
Since e < ½, we ha'~ q < 1, and we find
lle(t) ll 2 < q t / T ! l e ( 0 )
ll2 + p0212 + (i-8)Tp 0] sup y2(s), Vt > 0.
S>0
Hence, the 8-met~hod is unconditionally stable (independent of the stiffness and
of "r), if 0 < 80.
We collect the result found in
Theorem 2.1. (Stability.) If (i.I) is strongly monotone~ i.e. p(t) >--P0 > 0 in (1.2),
and if 8 < 80, where 80 is the largest number < i, for which
i--28-½TP0(l-8)8-T ~ >_ 0, 0 _< V < i, then
ile(t) II 2 <_ gt/Tl[e(0) I12 + P0 ~'
2[2 + (I-8)<P0 ] sup T2(s) gt > 0
where y(s) satisfies (2.11). S>0
Here e(t) = v(t) - v(t) is the perturbation error, v(t) is the solution of the
perturbed equations (2.4.a,b), and v(t) is the solution of the unperturbed 8-method (2.
Corollary 2.1. If e(0) = 0, then
(2.12) lle(t) ll <_p01 [2+(l-8)TPo ]½ su~Iy(s) l, Vt > O.
This generalizes the stability part of (1.12) to the implicit class of e-methods.
280
3. Truncation errors
It remains to consider the truncation errors for the @-method. For the solution
u of (I.i) we have
(3.1) u(t) = u(t) + T ae(t),
where, by an elementary computation,
(l-e)s
1
~8(t) = -(I-@)T f0 ds / fl(t-or)d~
-8s
Hence
(3.2) sup II%(t) ll = ½e(~-e)~ D2.
t>0
Similarly,
(3.3) u(t+T) + TF(t,u(t)) = u(t) + rSo(t),
where,
(3.4) ~o(t) = ~-1(u(t+1) - u(t) - ~u(t))
1 S
= T /0 ds fl-O ~](t+oT)do
(3.7) 1 2D 3 +
IYo(t) I = ~-~ Tt½_elD2 + / p-0-/ 2 T(3-V)/28 ( l _ 0 ) D 2 .
With 0 = I/(2+~T V) <_ 00 (i.e. with ~ a large enough positive number) , (3.7) implies
Remark 3.1. It follows readily from (3.4), that Theorem 3.1 remains valid if we
replace the regularity requirement, u t(3) H, with the weaker requirement that u (2)
(2)
is H61dercontinuous with exponent ~. In fact it suffices that u t is H61der-
continuous in the interior of each interval (t,t+Y).
Remark 3.2. Theorem 3.1 remains valid for any choice of timesteps Tk, constant or
variable, for which T k < CT, for some positive constant C.
In some problems we have to adjust the timesteps to get convergence o r fast
enough convergence, because some derivative of u of low order can be discontinuous
at certain points. It may for instance happen that F in (1.1) is discontinuous for
certain values of t.
In such cases we w a n t to adjust the timesteps so that those values of t become
stepping-points. Hence the result in Theorem 3. i, although not of optimal order as
we shall see, is of particular importance for cases where we have to change the time-
steps in an irregular fashion.
We shall now p r e s e n t an optimal order, O(~ 2) , result, but valid only if the
time~teps are essentially constant.
Consider first the equations (2.4.a,b) for variable parameters 8 = 8 k and T = Yk'
k = 0,I . . . . . For the solution of (I.i) we get then truncation errors ~ = R(tk,Tk,@ k)
and S k = S(tk,Tk,0 k) , defined by
(3.8.a) u(t) + Tk(l-Sk)F(t,u(t)) = u(~) - Tk~ ,
where
(3.11) ~8(~) = Sk - ~ k + l ~ + i / T k
Note that (3.13) and (3.12.b) have the same form as (3.1) and (3.3), respectively.
282
To estimate ~8 and ~@, we need to estimate Bk and S k. By (3.8.a) and (3.8.b) we find
li~o(tk) ll =
~k11(%~k)2
-
2 2
(l_Sk+l) Yk+iI ½D 2
+ O(T~)D3
if e~ ~ Tk ~ CT for some p o s i t i v e cohstants c,C.
We have E(0) = u(0) - v(0) = u(0) - u(0) = ~0R0 , i.e. by (3.9) and (3.14),
tl~(o) ll = O(T2)D2.
Similarly, by (3.1),
flu(t) - v(t) l I ~ flu(t) - u(t) l I + ]lu(t) - v(t) l I = O(T2)D2 + llE(t) II.
We collect these results in
8k
Theorem 3.2. If Tk+ I l_Sk+l lk + O(~2)'
@k : i/(2+6kTk)' 6 > ~ > 0, k = 0,1 ..... then the @-method (2.2), (2.3) has a
k 2 (3)
discretization error OCT ), valid at all stepping points tk,if u t ~ L ( H ) and if
(i.i) is strongly monotone.
Remark 3.4. In [2], it is proven an optimal order, O(T 2) estimate, valid for arbitrary
variable time-steps, if in addition to the assumptions in Theorem 3.1, we assume that
= i, that {l~F/~tll is not large and that the Gataux derivative ~F/~u exists and
satisfies: II~F/$u u(2)
iIt is of the same order as D 3 (i.e. not larqeo for smooth
solutions). Note that for a linear problem u t = Au with constant operator A, we have
~F/~u u (2)= A3u = u (3) For a more general parabolic problem, we have typically that
t t "
sup [[ ~F/~u U t(2)1l is of the order o f s u p [lU t(3) I[ when the solution (and its
t>t 0 t~t 0
283
4. C o n c l u s i o n s
o
In [6] was shown b y c o n s i d e r i n g the p r o b l e m u(t) + l(u-g(t)) = g(t) , t > 0
approaches the value -I. For (almost) constant steplength this causes a cancellation
effect a n d the g l o b a l error remains O(T2), but for I and/or 7 variable this is not
Under additional assumptions and with ~ = i we can also get an error 0(~2). Hence
References
3. G. Dahlquist, Error analysis for a class of methods for stiff nonlinear initial
value problems, Numerical Analysis (G.A. Watson, ed.), Dundee 1975, Springer-
Verlag, LNM 506, 1976.
(2) F:= D N ~ ( D +)
where
(8) Fh:=DN@(D~)
(10) l i m g(h)=O
h+O
and s e t
(11) D+g={xlx
h
~ D' Uh(X)>g(h) } "
where
(15) F h , g : = D N B ( hD,+g )
and (14) means
(17) U(Rh)aClR-XhIs
288
(18) U(Rh)~g(h)+E~(h)<29(h)
and (16) follows from (17) and (18).
(20) meas(D+~Dh,g)~C(g(h))
+ I/s
I) Since r~s in (24), the error cannot beat the mesh size.
References
8u
(2) ~--nl = 0, 0 < t < T, F(t) = {(x,y) Ix = ~(y,t),
8~(t)-r(t)
0 < y < B} ,
_ x k- ~(6k,0)
- ' 8k = Yk "
~k I_L~I (~k,0)
U(x,y,0) : U~(x,y) .
K(U,t) : {a(Utt;wj,wk)]~,k:l
U° = U~
W e consider a family ITS} such that h - 0 and the minimum angle condi-
tion is satisfied. We have proved the following main results:
I. Let
b(w,t;v,v) a 0 vv E V(t), t E (OAT>
where
1
b(w,t;u,v) : a(w,t;u,v) - ~ £(t)I$ n u v d r "
(12) oi+l,v) = 0
vv 6 ~zi+l i -- 0 ..,q-i
~h ' '" '
uO = U~~ •
map which maps uniquely this element on the reference one. From (I 2)
the existence and an unconditional stability of the scheme can be
proved. The error estimatinq is b a s e d on the Ritz apDroximation
6 Vh(t ) defined by
d(u,t;u - ~,v) = 0 ~ v ~6 V h ( t )
where d(w,t;u,v) = b(w,t~u,v) - ~r(t)/~nUVdr" U - ~ is e s t i m a t e d using
move, G -- 0 a n d D t -- a__
%t "
R e f e r e n c e s
I . INTRODUCTION.
((u,g),(v,hl~:
~ ~ b-~
I ~(x).~(x) + g(x)h(x) (].5)
L(u,g) = ( - b v g , - v . u ) , (1.7)
l l ( ~ ( - , t ) , H ( . , t ) l ~ = constant; (I.9}
2. DISCRETIZATION.
Let us consider a fixed t r i a n g u l a r i z a t i o n ~h. For each node Pk" l e t Ak be the polygon
formed by the triangles containing Pk and let ~k be the measure of Ak. Zk w i l l denote
the set of indices j such that PjG aAk: in the figure, Z2 = {2,3,4,5}, Z6= {7,8,g,I0,
I I } ; c l e a r l y , k ~ Zk i f and only i f Pk~ a~. For some node Pk, l e t Pj ~ aAk, i . e .
j ~ Zk; l e t P~ 6 aAk be the node preceding Pj with respect to the trigonometric orien-
tation and l e t P~ ~ 8Ak be the node following Pj; we define the vector:
~ j k = P;PB ; (2.1)
in the figure, we have, for example, ~8,6 = PTPs, ~s,2 = PfP2" ~22 = P ~ " Furthermore,
we introduce at Pk e a~ the approximate tangent and normal vectors:
= ]
~k ~ Qkk , Nk = R+Tk• (2.2)
l
1
~k A{k•
v¢o - Z ¢(Pj)
2~k j~Z k (R~jk) '
(2.3)
Uk
b-k Ok(t )=-½ jCZk
~ Hj(t)(R~jk) + ~k
Uk fRUk(t)' Pk ~ a ; (2.5)
l j~Zk
~k Hk(t) = - ~ z ~j(t).(R~jk) , Pk ~ ~ ; (2.7)
here the "dot" represents the time derivative, bk = b(Pk) and in (2.7),
By choosing any fixed order, all the unknown function Ukl(t), Uk2(t), UTk(t) and
Hk(t) can be set in a single vector w(t) of dimension N. Then Problem (2.5)-(2.9) can
be written in the compact form
whereD isadiagonal matrix with diagonal elements of the form Uk or uk/bk. Because of
property (I.8) for L, one could expect that A is an antisymmetric matrix. Due to dif-
f i c u l t i e s at the boundary, which seem inherent to the problems and impossible to over-
come in a natural way, A is only "almost" antisymmetric. By inspection of the figure,
one can show:
298
~o
x~ P~
Lemma 2.1: Let Pk and Pj be two different nodes belonging to a same triangle. We sup-
pose that at most one of them belong to the boundary B~. Then
By using the smoothness of a~ and the angle property of the sequence {~h} , one can
verify:
Lemma 2.2: There exist three constants cz,c2,c3, independent of h such that
proposition 2.1:
a) I f w is solution of (2.13), then IIDZ/2w(t)([2 = IIDllZwoIl2
Remark 2.1: Since the sum is a l l Pk'S is equal to three times the area of ~k, Propo-
s i t i o n 2.1 appears to be, up to a factor 3, the discrete counterpart of Properties
( I ~ 9 ) , ( I . I 0 ) of the exact solution.
We now turn to the time discretisation. Let c > o be the time increment and set
t n = n~. We shall apply to (2.10) and (2.13) the two-step method, sometimes called
"leap-frog" scheme. Method I is then defined by the relations:
T
w z / z = wo + ~ D-IAWo (2,14)
wz = wo + "~D-IAWl/2 (2.15)
Proposition 2.2: There exist a function ~: Co,l) -~ ~R and a constant c, both indepen-
dent of h,~ and n such that i f T < I/liD- z/2 BD-Z/21[, we have:
Remark 2.3: Proposition 2.2a,b prove the s t a b i l i t y of both Method I and I f ; however
Method I I appears to be "more" stable than Method I.
Remark 2.4: wn can be written as a vector of order N with components UknI, Ukn2, UTkn
and Hkn. I f the Coriolis term f = o, then for Methods I and I I , i t is possible to
compute Uknl, Ukn~, UTkn only at even values of n and Hkn at odd values of n which
reduces the computer time and the storage requirements by a factor 2; real Thacker's
scheme, which is somewhat more d i f f i c u l t to analyse, keeps this property even for
f ~ o. In fact, i f f = o, Method I is identical to Thacker's scheme ( l O ) , ( l l ) , ( l l ' )
in [ 2 ] p.683.
Remark 2.5: Thacker [2] has remarked that his scheme can be considered, to some ex-
tend, asalumped version of a Galerkin method. In [4], we b r i e f l y analyse the effect
of "lumping" on s t a b i l i t y .
3. ERRORESTIMATES
We begin with a classical study of consistency by assuming that the components of the
solution of Problem ( l . l ) - ( l . 4 ) belong toC°([o,T]; C3(~)). We f i r s t associate to this
solution a vector u(t) 6 ~N in the following way; l e t w(t) the solution of the semi-
d i s c r i t i z e d problem (2.10); we set: u i ( t ) = U~(Pk,t) i f wi(t) = Uk~, ~ = 1,2;
Clearly, the time discretization which is of order two, w i l l induce errors of size
O(~Z), which, by Remark 2.6, can be written as O(h2). Let us define for T > o:
In the following, we shall say that for a node Pk, Ak is s~mmetric, i f for each
Pj G a~k' there exists P~ ~ aAk which is symmetric to Pj with respect to Pk" Clearly
i f Pk G ~ , Ak cannot be symmetric. The basic difference schemes defined by (2.3),
(2.4) are of order 2, with respect to h, i f Ak is symmetric; otherwise there are only
of order I. We shall say that the sequence of triangularizations ~ h } possesses Pro-
perty G i f there exists a constant c, independent of h such that for a l l Pk ~ Be one
has l#k-~(Pk) I ~ ch2 ; Property G implies a certain regularity in the d i s t r i b u t i o n
of the nodes on the boundary. Elementary but tidious calculations allow to establish:
Lemma 3.1: For any fixed T > o and i = I , I I , we have: a) ~i(T) = O(hZl2); b) ~i(T) =
O(h) i f Property G is satisfied; c) ~i(T) = O(h3/2) i f Ak is symmetric for a l l Pk G
and i f Property G is satisfied.
Remark 3.1: Suppose, that, instead of (2.2), we set ~k = ~(Pk ) (exact tangent vector).
Then: a) We loss the exact mass conservation property for both Methods I and II /see
Remark 2.2); b) Proposition 3.1 remains v a l i d for Method I; Proposition 3.1a remains
valid for Method I f .
+ ~ { JGZk
~ ~ ( P j , t n ) . (R~jk) - 2A~ ~ , ~ ( X , t n ) } . (3.3)
The "time" e r r o r term (3.2) can be e a s i l y estimated by using the f a c t t h a t the opera-
t i o n s o f time d e r i v a t i v e and Cl6ment's approximation commute. The "space" e r r o r term
(3.3) can be handled by remarking the f o l l o w i n g i d e n t i t y which is a d i r e c t consequen-
ce of ( 2 . 4 ) :
J~ZkZ ~ ( P j , t n ).(R~jk) - 2A~ ~- ~(X,tn) : o.
Proposition 3.2: Let T > o and ~ ~ ( o , l ) be fixed numbers. We suppose: a) each compo-
nent of the exact solution belong to C°([o,T]; Hz(~)); b) Property G is satisfied;
c) for each t r i a n g u l a r i z a t i o n , ~ is chosen such that o < z < ~/IID-I/zBD-I/ZII. Then for
both Methods I and I I we have:
Remark 3.3: In order to compute the spectrum of the operator L defined in Section l,
one could think of using the same space discretization as in Method I or I I ; however
this generates spurious eigenvalues. For a proper treatment of this problem, see [5],
[6].
References
[ 1] W.C.THACKER,Irregular Grid Finite-Difference Techniques: Simulations of Oscillations in Shallow
Circular Basins, Journal of Oceanography, VoL 7, 1977, 284-292.
[2] WC THACKER Comparison of Finite-Element and Finite-Differences Sehemes, Part I: One-Dimension-
al Cravity WaveMotion, Part H: Two-Dimensional Gravity WaveMotion, Journal of Oceanography,
vol. 8, 1978, 676-689.
[3 ] G.STRANG, Accurate Partial Difference Methods, Numerische Mathematik, 6, 1964, 37-46.
[4] J.DESCLOUX, R.FERRO, On Thacker's scheme for solving the tinearized shallow water equations.
Report. Departement de Math6matiques. Ecole Polytechnique F6dgrale de Lausanne, 1985.
[51 M.LUSKtN, Convergence of a Finite Element Method for the Approximation of Normal Modes o f the
Oceans, Math. Comp. 33, 1979, 493-519.
[6] J.DESLOUX, M.LUSKIN, J. RAPPAZ, Approximation of the Spectrum of Closed Operators." The
Determination of Normal Modes of a Rotating Basin, Math. Comp. 36, 1981, 137-154.
[7] Ph.CLEMENT, Approximation by Finite Element Functions using Local Regularizations, RAIRO 9,
1975, 77-84.
THE CONVERGENCE OF A NEW METHOD
FOR CALCULATING LOWER B O U N D S
TO EIGENVALUES
F. GOERISCH and J. ALBRECHT
Institut fiir Mathematik, Technische UniversiEit Clausthal
Erzstrafie 1, D 3392 Clausthal-Zellerfeld, West Germany
Assumptions
AI D is a r e a l vector space. M a n d N are symmetric bilinear forms
on D; M(f,f) > 0 for all f • D, f ~ O.
A2 There exist sequences (li) i 6 ~ and (#i) i • ~ such that
li•~, ~ieD, M(~i,%k) = 6ik for i,k•~,
M(f,~i) = l i N ( f , ~ i ) for all f e D, i•~,
Definitions
DI Matrices A
o a n d A I are defined by
304
Ao:=(M(vi,vk))i,k=1,..., n , A1:=(N(vi,vk))i,k=1,..., n •
D2 If A is a s y m m e t r i c matrix of o r d e r n, with the p r o p e r t y that
Ao-2pAI+p2A is p o s i t i v e definite, ~i(A) denotes the i-th s m a l l e s t
eigenvalue of the e i g e n v a l u e problem (Ao-PA1)z = ~ ( A o - 2 p A I + p 2 A ) z.
Theorem 2 ([2])
L e t w i e X be such that b ( T f , w i) = N ( f , v i) for all f e D, i=I ..... n; let
the m a t r i x A2 be d e f i n e d by A 2 : = ( b ( w i , w k ) ) i , k = 1 .... ,n ' a n d let
Lemma I
Let the a s s u m p t i o n s of t h e o r e m I a n d 2 be f u l f i l l e d .
Then p-p(1-~q(A2))-1 ~ p - p ( 1 - ~ q ( A 2 ) ) -1
~[~9[! S i n c e b(Tui,wk) = N(ui,vk) = M(ui,uk) for i,k=1 ..... n, it
follows that b ( w i - T u i , W k - T U k ) = b(wi,wk) - M(ui,uk) ; hence, the matrix
A2-A2 is p o s i t i v e semidefinite. W i t h the use of the c o m p a r i s o n theorem,
one o b t a i n s ~q(A2) ~ ~q(A2). The a s s e r t i o n can n o w be i m m e d i a t e l y
deduced.
Assumptions
A5 W. e X for i = 1 , . . . , n and w* e X for ie3~,
1 1
b ( T f , w i) = N ( f , v i) for all feD, i=I .... ,n,
b(Tf,w[) = 0 for all f e D , iel~.
The matrix (b(w[.,w*)) is r e g u l a r for all meiN.
• k i,k=l , .... m
Definitions
D3 A2 :=(b(wi'wk))i,k=1,...,n ;
Fm : : ( - b ( w i ' w ~ ) ) i : 1 , . . ,n;k:l,.
. . . ,m ' Gm ::(b(wi'wk))i,k:1 ,...,m'
Theorem 3
Let m , q e 3 N with q < n; let the matrix Ao-2pA1+p2A2,m be p o s i t i v e defi-
nite, and let ~q(A2,m) < O.
)-1
If "rm i s defined b y "rm := p - p ( 1 - t X q ( A 2 , m) , the interval [ r m , p)
contains at least q eigenvalues of the e i g e n v a l u e problem 11).
Proof:_ Let F m G mI=- (dik)i=1, .... n;k=1 .... ,m " The a s s e r t i o n follows imme-
for i=1,... ,n. With the use of (2), it can be shown that
m
^ m} _(m) ,.*, T u . - w . - ~. d ! m ) w *) < e
b(Tui-wi-k__laik w 1 1 k= I iK K --
~lim b ( T u i _ ~ i _ k -~ l a~(m)
m÷ , ~ w~ , ~ d ~ )w)*
T u .3- w .3- k=1 = O
M(f,g) := f A f £ g d x d y , N(f,g) :: f ( ~
3g
~
3f
+ ~
~_~)dxdy for f,g e D ,
w. := V. for i=1,...,n,
l l
w;(x,y) :: c o s h ( i x ) c o s ( i y ) + cosh(iy)eos(ix) for i em.
The assumptions AI, A3, A4 a n d A5 are obviously fulfilled, and the
proofs of A2 a n d A6 p r o c e e d in a n a l o g y with the corresponding proofs
in [4], p. 472 a n d [I], respectively.
By means of the C a u c h y - S c h w a r z inequality, it f o l l o w s from the compar-
ison theorem that the eigenvalues of the p r o b l e m
-A~ = %~ in ~, ~ = O on ~,
~(x,y) = ~(y,x) = ~(-x,y) for (x,y) e ~,
are lower bounds to the corresponding eigenvalues of (1); h e n o e 0=IO
is a l o w e r bound for the second eigenvalue of (I).
The first six t e r m s of the sequence (Tm) m E ~ calculated for q=1 with
t h e u s e of theorem 3 are compiled in the first six r o w s of t a b l e 1 for
various values of n. Since at l e a s t one eigenvalue of (I) is c o n t a i n e d
in e a c h of the intervals [Tm,p), the numbers Tm are lower bounds to
the lowest eigenvalue of (q). An u p p e r bound A to t h i s eigenvalue,
which has been determined with the use of the functions v I .... ,v n b y
308
which is n o t an e a s y task.
n = 1 n = IO n = 21
The method based on t h e o r e m 3 has also been applied with great success
to m a n y other eigenvalue problems involving partial differential
equations.
References
[I] C o l a u t t i , M.P.: Su un t e o r e m a di c o m p l e t e z z a c o n n e s s o al m e t o d o di
W e i n s t e i n p e r il c a l c o l o d e g l i a u t o v a l o r i . A t t i A c c a d . Sci. T o r i n o ,
CI. Sci. Fis. Mat. Nat. 97 (1962/63), 171 -191
[2] G o e r i s c h , F. a n d H. H a u n h o r s t : E i g e n w e r t s c h r a n k e n for E i g e n w e r t -
aufgaben mit partiellen Differentialgleichungen. Z. A n g e w . Math.
Mech. 67 (1985), 129 - 135
[3] L e h m a n n , N.J.: O p t i m a l e EigenwerteinschlieBungen. Numer. Math. 5
(1963), 246 - 272
[4] R e k t o r y s , K.: V a r i a t i o n a l m e t h o d s in m a t h e m a t i c s , s c i e n c e a n d
engineering. Dordrecht-Boston: D. R e i d e l P u b l i s h i n g C o m p a n y 1977
BIFURCATION ANALYSIS OF STIMULATED
BRILLOUIN SCATTERING
V. JANOVSKY, I. MAREK, J. NEUBERG
Faculty of Mathematics and Physics, Charles University
Malostranskg ndm. 25, 110 O0 Prague, Czechoslovakia
I. Introduction
-- j+1
TjU = (EL' (-I)3Es' (-I) p) for j = 1,2 .
3. Bifurcation analysis
+
H(Y1 ' Y2' a - aj) = pj(a- aj) Y2 - q j (Yl + Y2 ) Y2
(3.3)
a j ) 2 [ yl ]
+ terms of the 4 th order
sj(a - Y2
2 ~£
where PJ ' qJ ' si are real constants, namely pj = £ + 2 cos ~- ,
£
3.4 OBSERVATION. Group {Ms,T1,T2} leaves the kernel Ker L(aj) in-
variant. The matrix representation of {M6,TI,T2} on Ker L(aj) is
0(2) group of 2 x 2 orthogonal matrices. Following Sattinger [2],
the b i f u r c a t i o n equation is c o v a r i a n t under 0(2) symmetry group.
[a --
ak --
( 2 + y~)3 [Yl] = 0
Yl Y2
4c. Stability
Y2 !
0
Q)
\
>
Figure I
Y2
o C
o
I
> Yl
Figure 2
R e f e r e n c e s
- Au = f in ~ C R2 , (I)
u = 0 on 3~ ,
where ~ is a c o n v e x polygonal domain and u is s u p p o s e d to be s m o o t h
enough.
Let {Th} be a r e g u l a r family of t r i a n g u l a t i o n s of ~ , i.e., ZI~-
mal's condition on the m i n i m a l angle of t r i a n g l e s is f u l f i l l e d . The dis-
crete analogue of (1) w i l l consist in f i n d i n g uh C Vh such that
Cph 2 I l u 1 1 2 , p , a if p ~ E2, ~) ,
- (3)
tlu UhtlO'P'~ ~ < Ch211n h I l l u l l 2 , ~ , f l if p = ~ ,
max
x e Nh
lu(x) - Uh(X) I ~ Ch4ttullc4(~ ) , (s)
2 (6Uo . Ul .- U2 . - U3 . U4 , U5 U6) = h 2 f0 + h 4 A f 0 / 1 6
\ / //!,
Fig. 1 Fig. 2
Remark 2. A c o n v e n i e n t c o m b i n a t i o n of l i n e a r and b i l i n e a r e l e m e n t s m a y
4
give the 0(h )-superconvergence at n o d e s for the p r o b l e m (I) on t r i a n -
gulations consisting of r i g h t - a n g l e d triangles. Let {u i} and {v i} be
the Courant piecewise linear basis functions over the triangulation of
Fig. I and 2, r e s p e c t i v e l y , and let {t i} be the standard basis functi-
ons for b i l i n e a r rectangular elements. Put
h-1 Vi . .
(Vl+Ul)/2 .
ti. (tl+Vl)/2 Wi
4 1.2069 E-2 1.2069 E-2 1.2962 E-2 6.0703 E-4 1.6832 E-4
8 3.1027 E-3 3.1027 E-3 3.1589 E-3 1.3156 E-4 1.0307 E-5
16 7.8126 E-4 7.8126 E-4 7.8478 E-4 3.5250 E-5 6.4092 E-7
32 1.9567 E-4 1.9567 E-4 1.9589 E-4 8.7640 E-6 4.0006 E-8
VUh(X) I
= ~(VUhIT1 + VUhlT2 ) , x ~ Mh ~ ~ , (6)
or even 0(h 2) for the discrete L2-norm [26~ (cf. (4)). For a three-di-
mensional analogue of (6), see [5~.
Note that the sampling at centroids of the bilinear elements leads
to the superconvergence of the gradient [24]. This is not true for the
linear elements. However, a weighted averaging scheme between four ele-
ments, 3 Ch ~0 ~..... ~ /
"-J
VUh(X) I
= ~(3VUhl T + ~ VUhiTi
)~ , x e ,
i=I
yields [26j
h( E I Ivu(xl _ ~VUh(Xl 112)~ ~Ch211ull3,~
x E C h ~ ~0 Fig, 4
I ~ VUhl T , x6 N h ~ ~ , ~ 8 ~
T ~ {x}¢~
VUh(X) = 0 , x 6Y , (7) X
3
~(i~l~Uhl
, _ Ti-~Uhl %1 x~ N h ~ ( ~ ~),
Fig. 5
318
Uh(X) = ~h-2 IU h ( X + y) dy ,
Dh
where Dh = (-h,h) x (-h,h) . If n0 C C ~ and 8~ is a g a i n smooth then
(see [37,38])
fin- ~hIl1,% =< Ch 3/2
IIull3,~
which is, in fact, a superconvergent estimate for the g r a d i e n t .
Another t y p e of an i n t e g r a l smoothing operator which yields a super-
convergent approximation for 7u as w e l l as for u e v e n on i r r e g u l a r
meshes is p r e s e n t e d in [3]. In [I~ a least squares smoothing of Vu h
is p r o p o s e d to o b t a i n a better approximation to 7u . Related papers with
superconvergence of l i n e a r e l e m e n t s further include ~,6,7,12,13,17,18,
25,29,3~, see a l s o the s u r v e y p a p e r s ~O,22,27].
Let us n o w t u r n to s u p e r c o n v e r g e n t approximations to the b o u n d a r y
flux q = ~8u
18~ ( n is the o u t w a r d unit normal to 8~ ). S e t t i n g
q h : n.v~hl 8~ '
where ~u h is g i v e n by (7), we i m m e d i a t e l y get f r o m (8) t h a t
I qh Vh ds = (7Uh,VVh)0, ~ - (f,vh)0, n ~v h e Uh ,
8Q
where
u h = {v h e H 1(n) [ Vhl T e PI(T) ~T e Th} .
This technique suggested by E16], p.398, is b a s e d on some ideas of [14~.
Numerical t e s t s of the p r e s e n t e d superconvergent schemes can be
f o u n d in ~,6,11,19,21,23,24,26,36J .
319
R e f e r e n c e s
I. INTRODUCTION.
Frayes De Venbeke first i n t r o d u c e the mixed finite element. Then P.A. Raviart
and J,M. Thomas does some mathematics on these element in 2D and others do also :
F. Brezzi V. B abuska ...
In 1980 we introduce a family of some mixed finite element in 3D and we use them for
solving Navier Stokes equations.
In 1984 F, Brezzi, J. Douglass and L.D. Marini introduce in 2D a new family of mixed
finite element conforming in H(div). That paper was the starting point for building
new families Of finite element in 3D,
Notations.
K is a tetrahedron
~K its boundary
n the normal
f a face which area is I d
2
f r
a is an edge which lenght is J~ ds
Spaces of polynomials.
Sk = {p E (pk) ; (r.p) ~ 0 }
r =
I
x2
x3
= (Pk_|) 3 ~ Sk
322
dim Sk = k(k + 2)
dim ~k = (k + 3)(k2 + I) k
= (k + 3)(k + 2) k
dim
k
2
I) K is a tetrahedron
2) P = (Pk)3 is a space of polynomials
3) The set of degrees of freedom which are
(3.2) jf (p . q) dx ; V q E ~ k - 1
K
we h a v e the
Theorem.
The above finite element is unisolventand conforming in H(div). The associate in-
terpolation operator H is such that
When k = I, the corresponding element has no interior moments and 12 degrees of free-
dom. Its divergence is constant.
We are not going to prove this theorem. But we can recall that a finite element
is said to be conforming in a functional space if the interpolate of an element of
this space belong to this space.
I (p . n) q dy ; V q E Pk(f)
f
and p.n is also Pk(f).
323
D~finition.
|) K is a tetrahedron
2) P = (Pk)3 is the space of polynomials
3) The degrees of freedom are the following moments
3.3) ~K (p . q) dx ; V q E %_ 2
We have the
Theorem.
ul r = o
- A~ = curl u , in
div ~ = 0 , in
^nit = o
Then the Stokes equation can be written in the (~,~) variables where
to = curl u
We introduce
H(div O) = { v E (L2(~)) 3 ; div v E 0 , v.nlr = 0 }
U h = V h N H(div 0)
o n H~ (g%)
@h = Oh
We have the
Theorem.
This theorem can be use to transfer the above approximate problem in one in (~,c0) and
also to find a local basis in the space U h.
325
BIBLIOGRAPHY
F. BREZZI, J. DOUGLASS & L.D. MARINI, Two families of mixed finite elements
for second order elliptic problems. To appear in Numerische Mathematik.
P.G. CIARLET, The finite el~ment method for elliptic problems. North Holland
Amsterdam (1978).
P.G. CIARLET & P.A. RAVIART, A mixed finite element method for the biharmonic
equation. Mathematical aspects in finite element method (C de Boor ed.) pp. 125 -
145 Academic Press New York (1974).
J.C. NEDELEC, Mixed finite element in ~3. Numerische Mathematik 35 : 315 - 341
(1980).
P.A. RAVIART & J.M. THOMAS, A mixed finite element method for 2nd order elliptic
problems, In Dold A Eckmann B (eds), Mathematical aspects of finite element
methods. Lecture Notes 606 Springer Berlin (1977).
I_~.In accordance to the restrictions formulated in the abstract the problem under consid-
eration is: We ask for the free boundary n = 8(T), l-periodic in T, such that there exists a
solution pair U = (UI,Uz) and P with the properties:
(iI) In the domain ~ = { (T,n) l lni < 5(I~) } the system of differential
equations
(I. I) 6iklk = Fi
holds true.
328
(i.s) 6iktink ~ 0
with t = (tl,tz) and n = (nl,n,~) being the tangential resp. normal
unit vectors.
We will consider fluid motions only "not too far" from LI° : (1,0). Together with pO = 0 and
5 ° = I the trine (U°,P°,5 °} is a solution to the problem stated above with F ° = O. - The
main idea of our analysis is the "straigthening" of the free boundary, quite often used. This
consists in introducing new variables
(I. 7) x = [ , Y = n 1 5([)
Since we are looking for solutions {U,P,5} near to {Uo,P°,5 ° } we replace U, P and 5 - de-
pending on [,q - by (1+ul,u2), p and 1+s depending on x,y. This leads to a nonlinear problem
in the new variables but now in the fixed domain
Because of our setting all functions are assumed to be l-periodic in x. For functions F resp.
in the new variables f symmetric with respect to y = O, i. e. f1(x,-y) = fi(x,y) and f2(x,-y) =
-fz(x,y), the solution also will be symmetric to y = 0. Hence we can restrict ourselves to
the unit square
u2(x,O) = 0 ,
(1.10)
uiLy(x,O) = 0
By linearizing, i.e. by spitting into linar and nonlinear terms, we get from (1.1)the system
ss : (t+ul)-lu2
(1.14)
=: u2 + P
(I. 5) leads to a boundary condition of the type
(1.15) Ullu + u21x = T1 .
The mean curvature H of the free surface depends on the second derivative 8 ~j resp. s ~I
This quantity may be computed from (1.14).In this way (I. 6) leads to the second boundary
condition of the type
(1.16) 2U2Iu - P + KU21x = I"2 .
The Ti = Ti(y,p,s) are at least quadratic in their arguments. Similar to the ~-ikthey depend
only on the functions themselves and their first derivatives. 81nce s is assumed to be
l-periodic we have Ss ~ = 0. Here S w resp. later ,I'j'ware abbreviations defined by
I
(1.17) J'w = j'w(x,1)dx, ,i'J"w = J'j"w(x,y)dxdy
0 Q
In view of the boundary condition (1.10) we get from (1.13) J'SD = -J'uz . Therefore the
quantity
1{ = J'J'o ~P
(1.18)
=: ¥(u,p,s)
will be zero. Hence we may replace in (1.13)the right hand side D by
(1.19) B = D - I{ .
2__,.The idea of proving the existence of a solution of the problem as well as deriving a fi-
nite element m e t h o d in order to approximate this solution is as follows: We consider
the quadruple In = {ul,uz,p,s} as an element of a linear space 111 equipped with an appropri-
ate norm. The geometric boundary condition (1.101)has to be imposed on uz. Obviously Ul as
well as s are defined up to a constant only. Therefore we nomalize ul, s according to J'J'uv =
0, J's = O. The correspondent restriction of the space III will be denoted by "111 . $imilar-
ily we consider the octuple n = {:EI1,~-1z,£zI,~-2,z,D,P,TI,T2} as an element of a linear
space 11, also equipped with a norm. By (1.12), (1.13) etc. the mapping A - III ~ II is de-
fined. The mapping B " 11 ~ "III which associates the solution of the boundary value
problem to the right hand sides is constructed by the natural weak formulation of the
problem: If m E "III is the solution then with any p = {v,q, r} E 'III the variational equa-
tions hold:
a(m,p) =S£[2UII~VII~+(UIIy+UzI~)(VIIy+VZI~)÷2UZlyV21y]-K£U21xY2
(2.3) b(m,p) =S.f q {Ull~ + uzl~l}
c(m,p) = .I" sir t
The standard inf-sup condition is valid for the form b(.,.), because of Korn's second ine-
quality a(.,.) may be extended to a bounded and coercive bilinear form in the 8obolev space
HI(Q)xHKQ). In connection with the normalisation of ul and s uniqueness of the mapping B
is guaranteed.
5._,.Since the mapping A is nonlinear we will work with HGIder-spaces: We equip the spaces
"III and 11 in the following way with norms, in these topologies they are Banach-spaces:
For p = {v,q,r}e "III we define
mpm:: InpI.m
(3.1)
= ~;'IIviIIcI.~(Q
) + IIqIIco.x(Q) + Ilrflc2.~(1)
331
Here II.IIck.~(.
) denote the usual HOlder-norms with A E (0,1], l is the unit interval
IIIIll.= Ill
(3.2)
= 7~-iknCo.~(Q)+ H6HCo.~(1)+ HPIIcI.~(Q) + 7gTiIIco,x(l)
NOW we consider elements p in the ballB6("III) := {II I P E "III ^ Ilpll_~ 5} with 6 < 5o < I
and 6o fixed. Obviously the two estimates are valid:
(3.3)
n.=ii. _< c6fl1¢- =iHm
Here "c" denotes a numerical constant depending only on 6o which may differ at different
places.
It can be shown: The mapping B is bounded, i.e. for m = Bn the estimate
The proofs and the complete bibliographywillappear elsewhere. Here we refer only to
Bemelmans, J. (1981a)
GIeichgewichtsfiguren zSher FI(~ssigkeitenmit Oberflachenspannung
Analysis I,241-282 (1981)
Bemelmans, J. (1981b)
L!quid Drops in a viscous Fluidunder the Influenceof Gravity and 8urface Tension
Manuscripta math. 36, 105-123 (1981)
Nitsche, J. A.
8chauder Estimates for Finite Element Approximations on second Order EllipticBoundary
Value Problems
Proceedings of the Special Year in Numerical Analysis, Lecture Notes #20, Univ. of
Maryland, Babuska, I.,T.,-P.Liu, and J. Osborn eds., 290-343 (1981)
8chulz, F. (1982)
Ober eIIiptische Monge-Amperesche Differentialgleichungen mit einer Bemerkung zum
Weylschen Einbettungsproblem
Nachr. Akad. Wiss. G6ttingen, IIMath.-Phys. KIasse 1981, 93-108 (1982)
ENCLOSING METHODS FOR PERTURBED
BOUNDARY VALUE PROBLEMS
IN NONLINEAR DIFFERENCE EQUATIONS
J. W. SCHMIDT
Technical University QFDresden
Mommsenstr. 13, Dresden, DDR
a = a ± e, e = ( e 0 , . . . , e 7 )T . (2. 3)
with
334
F : D = [Yl,Xl] C R ~ S (3.17
AF(x,y) = ( m a x akFi(z))
y~zSx
4. It is a s s u m e d that for a n v o p e r a t o r
Fa : D = [xl,y I] C R ~ S, a E A (4.1)
U ( x n) + B ( x n , Y n ) ( X n + I- x n) = 0 , (4.7)
V ( y n) + B ( X n , Y n ) ( Y n + I- yn ) = 0, n = 1,2, . . . .
If ~F a is t a k e n a c c o r d i n g to (i) or (ii) o n e g e t s a N e w t o n - t y p e
m e t h o d or a J a c o b i - N e w t o n - t y p e method, respectively°
V ( y I) ~ 0 ~ U ( x 1) . (5.1)
Suppose that the linear operators B(x,y) are invertible and that
B ( x , y ) -I a 0 f o r Yl ~ y ~ x S x I. (5.2)
is v a l i d .
A proof s h a l l he s k a t c h e d . The operator T,
T(z) = z - B(xl,Yl)-iFa(Z), z e R
-1
Xn+ I- z a = x n- z a- B ( X n , Y n) {U(x n) - F a ( Z a ) } ,
a n d U ( X n + 1 ) ~ 0 in c o n s e q u e n c e of
G ~ 0, G B ( X l , Y I) ~ I ,
see [ I] .
ExamDle I: e0; 0.01, el: Q(i%0) Example 2: El= 0.01, el= 0(i#l)
i ni ~i ~i ~i
References
u=O on @i]xl,
u(O) = v i n ~,
U h ( O ) = v h ~ Sh,
the D i r i c h l e t inner product (Vv, vw), satJs£ies, for some r_>2 and some
constant M,
I r
(3) IIPI,~-~II _< MhrllVllHr , for ~,~HoNH ,
which thus requires ~J~#[@~=O for j<r/2. Such requirements are not
solution of (1) will always be smooth for positive time. For the
(5) llUh( t) -u( t) ll _< Cha+°t-a/2llvn. Ha, £or O < a < a + a < r .
- _ _
The above result thus shog~ that for r=2 the error in the
~eaker than the case a=O o£ (5). The reason ~1hy t h e above argument
lack o£ integrahility of the right hand side of (5) for o}2, a=O. In
cannot hold for any o) 2 and to) O~ regardless of the value o£ r. {Note
u(O,t) = u(l,t) = O,
u(x,O) = v(x) ,
Sh, and a l s o t h a t , i n d e p e n d e n t l y of N,
_r+l
IIvNllLc ° ~ Z:1 I~j I = P ,
small~ i n d e p e n d e n t l y o£ N. S i n c e Vh=VN,h=PoVN=O~ by t h e c o n s t r u c t i o n
lie(t) II = I l U N ( t ) l l ~ C/N 2 = C h 2 .
u(O) = v~
o£ the form
UO = v.
Here Ek=r(k~l) where r(k) is a rational function which is such that for
some p_> 1,
and
-1
(13) Iltt (F(k,l~) - f(ft))ll 5" C k ( l l t t t t t l ÷ l) for tt.<'D(tt),
method,
which is o£ this form vnth r(A) = I/(I+)O and F(k,~°)=Ekf(~°) and which
and Thom~_'e [I] (see also [7]) £or the linear homogeneous equation, £~0
Re£erenoes.
818-847.
4. M. C r o u z e i x and V. Thom~e, On t h e d i s c r e t i z a t i o n in t i m e o£
appear.
219-235.
e s t i m a t e s £ o r s e m i d i s c r e t e a p p r o x i m a t i o n s o£ s e m i l i n e a r p a r a b o l i c
1984.
SINGULARITIES IN TWO- AND
THREE-DIMENSIONAL ELLIPTIC
PROBLEMS AND FINITE ELEMENT
METHODS FOR THEIR TREATMENT
J. R. WHITEMAN
Brunel University
Uxb~idg~ England
I. INTRODUCTION
The effective use of finite element methods for treating elliptic
boundary value problems involving singularities is well recognised.
As a result considerable e f f o r t has b e e n e x p e n d e d by m a t h e m a t i c i a n s
and engineers in d e v e l o p i n g special finite element techniques which
can p r o d u c e accurate approximations to the solutions of problems
involving singularities.
The w o r k of m a t h e m a t i c i a n s has b e e n m a i n l y in the c o n t e x t of two-
dimensional Poisson problems. It has e x p l o i t e d and relied on k n o w n
theoretical results concerning the r e g u l a r i t y of solutions of weak
forms of problems of this type, and has p r o d u c e d significant finite
element error e s t i m a t e s for this limited class of problems. Comparable
progress has not been made in the finite element treatment of three-
dimensional problems involving singularities, mainly on a c c o u n t of the
lack of t h e o r e t i c a l results for the t h r e e - d i m e n s i o n a l case. This is
particularly relevant to the case of t h r e e - d i m e n s i o n a l re-entrant
vertices.
In this paper we p r e s e n t a survey of t h e finite element treatment
of singularities. This is first done in the c o n t e x t of a model two-
dimensional Poisson problem and estimates for various norms of the er-
ror are given. Some finite element techniques for s i n g u l a r i t i e s are
then described, taking into account their effects on c o n v e r g e n c e rates
and accuracy. In problems with singularities the a p p r o x i m a t i o n of sec-
ondary quantities by retrieval from a p p r o x i m a t i o n s to the solutions
(primary quantities) is of great importance,and so this is also treated
here. F i n a l l y Poisson problems with singularities in three d i m e n s i o n s
are p r e s e n t e d and the s t a t e - o f - t h e - a r t for this case is c o n t r a s t e d with
that for two dimensions.
where ]IVl]l,~ is the e n e r g y norm ]IVvi]L (~) Since (2.6) h o l d s for all
w h 6 S h, we m a y take the i n t e r p o l a n t 2 Uh sh to u for w h in (2.6)
and, using approximation theory, it f o l l o w s that
Uu - Uh~l, ~ ~ C h ~ U J k + l , ~ , (2.7)
min(p+l,2~/ M)-e
llu - UhllL~(90) < C h (2,13)
348
~/~M-~
~u - UhIIL~(eM) ~ C h (2.14)
u E H5/3-E(~), ItU - Uhl11,a = 0(h 2/3-s), flu - UhllL2 (~) £ 0(h 4/3-e)
R e f e r e n c e s
| I] Ciarlet P.G., The f i ~ e Eleme~ Method for Elliptic Problems. Nort-Holland,
Amsterdam, 1979.
[ 2] Schatz A., An introduction to the analysis of the ~r~or i n the f i n i t e element
method for second order 611iptic boundary value problems, pp. 94-139 of P.R.Tur-
her (ed.) Numerical Analysis Lancaster 1984. Lecture Notes in Mathematics 129,
Springer-Verlag, Berlin, 1985.
[3] Nitsche J.A., [~-convergence of f i ~ e ~ e n t approxima~o~, m ~ e m ~ c a l
~ p e c ~ of finite eleme~/t method. Lecture Notes in Mathematics 606, Springer-
Verlag, Berlin, 1977.
[4] Grisvard P., BehaviouJ% of the solutio~ of an ~ p t i c bound~J%y ual~e problem
in a polygonal or polyhedral domain, pp. 207-274 of B. Hubbard (ed.), Numerical
Solution of Partial Differential Equations III, SYNSPADE 1975. Academic Press,
New York, 1976.
[5] Schaltz A. and Wahlbin L., Maximum no~u~ @~tim~@~ in the f i ~ e element method
on plane po~gonal d o ~ . Parts I and II. Math. Comp. 32, 73-109, 1978, and
Math. Comp. 33, 465-492, 1979.
[6] Oden J.T. and O'Leary J., Some r e m ~ on f i ~ e e l ~ e ~ approximatio~ of
crack problems and an a ~ s i s of hybrid methods, j. struct. Mech. 64, 415-436,
1978.
[7] Fix S., Higher order R~leigh Ritz approxim~onS, j. Math. Mech. 18, 645-657,
1969.
[ 8] Barnhill R.E. and Whiteman J.R., E~or a ~ y s ~ of Gal~r~in metho~ for
Dirichlet problems containing boundary s i n g u l a r i t i ~ . J. Inst. Math. Applies.15,
121-125, 1975.
[9] Stephan E. and Whiteman J.R., S i n g ~ of the Laplacia~ ~ corne~ and
edges of three dimensional domains and their treatment with f i n i t e element
method6. Technical Report BICOM 81/i, Institute of Computational Mathematics,
Brunel Uninersity, 1981.
[ I0] Akin J.E,, Generation of element~ with singulariti~. Int. J. Numer. Method.
Eng. IO, 1249-1259, 1976.
[Ii] Blackburn W.S., C ~ c u ~ o n of stress i n t ~ i ~ y facito~ a/t c2u~ck tips u~ing
special f i ~ e elements, pp. 327-336 of J.R. Whiteman (ed.), The Mathematics of
Finite Elements and Applications. Academic Press, London, 1973.
[ 12] Stern M. and Becker E., A confor~ng crack tip element with q~dratic variation
in the sing~£ar field~. Int. J. Nurser. Meth. Eng. 12, 279-288, 1978.
I 13] O'Leery J.R., An @/t%or ~ s ~ for s i ~ r finite el@ghoul,s. TICOM Report 81-4,
Texas Institute of Computational Mechanics, University of Texas at Austin, 1981. ~
[ ~4] Babuska I. and Osborn J., [ i ~ Z eleme~ methods for the s o l , o n of p ~ b l ~
rough i ~ p ~ ~t~. pp. 1-18 of P.Grisvard, W.Wendland and J.R.Whiteman (eds.),~
Singu~e~ and C o ~ t n ~ i v e Method~ for Thei% Tre~2me~t. Lecture Notes in
Mathematics 1121, Springer Verlag, Berlin, 1985.
[ 15] Babuska I. and Rheinboldt W.C., E~or ~ t i ~ for a~ptive f i ~ e element
eomp~t~tions. SIAM j. Num. Anal. 15, 736-754, 1978.
[ 16] Babuska I. and Rheinboldt W.C., Reli~le ~ o r ~ti~on and mesh ~apt~tion
for the finite eleme~ ~ethod. pp. 67-108 of J.T. Oden (ed.), Computational
Methods in nonlinear Mechanics. North-Holland, Amsterdam, 1979.
352
[ 17] Craig A.W., Zhu J.Z. and Zienkiewicz O~C., A-posteri%oai error estimation,
adaptive mesh r e f i n e m e ~ and m~itigrid m~hods ~ i n g hierarchical f i ~ t e
eleme~%~ bas~s, pp. 587-594 of J~R. Whiteman (ed.), The Mathematics of Finite
Elements and Applications V., MAFELAP 1904. Academic Press, London, 1985.
[ 18] Bank R.E. and Sherman A.H., The u~e of adaptive g~d refineme~ for badly
behaved elliptic par~i~ differe~i~ equation, pp. 18-24 of computers in
simulation xxII. North Holland, Amsterdam, 1980.
[ 19] Rivara M.C., ~yna~6 i m p l e m e ~ o n of the h-version of ~ e fin~e element
method, pp~ 595-602 of J.R. Whiteman (ed.), The Mathem. of Finite Elements and
Applic. V., MAFELAP 1984, Academic Press, London, 1985.
[ 20] Destuynder P, Djaoua M~ and Lescure S., On ~umeric~ metho~ for fracture
mechanics, pp. 69-84 of P~ Grisvard, W.L. Wendland and J.R. Whiteman (ads.),
Singularities and constructive methods for their treatment. Lecture Notes in
Mathematics 1121, Springer Verlag, Berlin, 1985.
[21] Levine N., Supe~eonvergenee recovery of the gradient from piecewise linear
fini~ element approximations. Technical Report 6/83, Dept. of Mat/~ematics,
University of Reading, 1983.
[ 22] Stephan E . , A modified Fix method for the mixed boundary value problem of the
L a p l a ~ n in a po~hedral domain. Preprint Nr. 538. Fachbereich Mathematik,
T.H. Darmstadt, 1980.
[23] Walden H. and Kellogg R.B.,Numerical determi~a~on of the fun~ental ~igen-
value for the Laplace op~ator on a sphercial domain. J . E n g i n e e r i n g
Mathematics 11, 299-318, 1977.
[ 24] Beagles A.E. and Whiteman J.R., Treatmen~ of a re-emtr~t vertex in a three
dimen&ional Poi~son problem, pp. 19-27 of P.Grisvard, W.H. Wendland and
JoR. Whiteman (ads.), Singularities and Constructive Methods for Their
Treatment. Lecture Notes in Mathematics 1121, Springer Verlag, Berlin, 19S5.
[ 25] Beagles A%E. and Whiteman J.R., Finite el@Inent t~ea~ent of b o u ~ u ~
si~ularities by a r g u m e ~ o n with non-exact singular fun~io~. Technical
Report BICOM 85/I, Institute of Computational Mathematics, Brunel University,
1985.
SOME NEW CONVERGENCE RESULTS
IN FINITE EI MENT THEORIES
FOR ELLIPTIC PROBLEMS
A. 2ENiSEK
Computing Center of the Technical University
Obrdnc~, mi~u 21, Brno, Czechoslovakia
is a b o u n d e d domain in E 2 w i t h a boundarv r : F 1 U F 2 (F I N F 2 :
= ~); z @ HI(~), z = u on FI, ~ E L2(FI) is a g i v e n function. In (2)
and in w h a t follows the summation convention over repeated subscripts
is a d o p t e d a n d v, = 8 v / ~ x . The f u n c t i o n s k = k (x) are b o u n d e d
i~ i 13 13
and measurable in ~ D ~ a n d s a t i s f y
ILh(W) - ah(u,w) I
ILl - UhLll,~h < C sup +
<weV h 1,9 h
a) T ~ Tid , b) T i d C T, (i0)
where Tid is the ideal boundary triangle (see [9]) whose approxima-
tion is T.
In o r d e r to e s t i m a t e the first t e r m on the right-hand side of (9)
let us d e f i n e a function ~ C V associated w i t h w C V h in the following
355
b T-Tid
3
Jtwi Z 2
TeT h i=l
356
l~[(~b/~n)(x,~2), ~2(Sb/~n)(x,~2) ~ c2 Vx e ~, ¥~ E E 1 .
lah(Vh,W) - ah(Vh,W) l ~ ~ ] m e s ( T ) b ( P T , g h i T) -
TeT h
- ff b ( X , g h ) d X l . l ( V V h l T . V W i T ) l
T
358
where v h are the functions from (18) and gh = (VVh)2. We used one-
-point integration formula with the centre of gravity PT of T ~ T h.
Using the p r o p e r t i e s of the function b(x,~) we see, according to [2,
Theorem 4.1.5], that the absolute value of the difference on the
right-hand side is b o u n d e d b y Ch mes(T). Thus the r i g h t - h a n d side of
the last inequality is b o u n d e d by chllwll and r e l a t i o n (8) is valid.
i,~ h
The error estimate in the case u ~ H2(~) is d e r i v e d in [5] where
also more general forms a(v,w) are considered.
References
I: Direct problem
A steady irrational isoentropic flow is fully described by the
quasilinear partial differential equation of m i x e d elliptic-hyperbo-
lic type for a v e l o c i t y potential:
(a 2_ ~2)# - 2# ~ ~ + (a 2_ #2)# : 0 , (i)
x xx x y xy y yy
where ¢ is v e l o c i t y potential and a : a(¢ 2 + #2).
x y
We assume the e x i s t e n c e of w e a k shock w a v e s as curves of d i s c o n t i n u i -
ty of the first d e r i v a t i v e s #x,#y. The weak solution is a s s u m e d in a
class K(n), where ~ is a d o m a i n of s o l u t i o n (see [ i]).
The mathematical formulation of transonic cascade flows is some
combination of Dirichlet's, Neuman's and periodic boundary value pro-
blem. On the inlet b o u n d a r y we p r e s c r i b e a Dirichlet's condition
(w : w ~ , on p r o f i l e contour a Neuman's condition of n o n - p e r m e a b i l i t y
(%#\~n : 0) and on the outlet boundary also a Neuman's condition
(w = w2 ), where ~2 is a c o n s t a n t determined uniquely by the value of
362
(I - M 2 ) ~ s s + ~nn = 0 (2)
B=M
c : -(i + 3~I--M 2 + - y3-~
- M 4 )p3-~
~-i '
f p ~-i M M-IdT
G0
IiI: N u m e r i c a l results
Fig. I shows the iso-Mach lines of transonic flows c a l c u l a t i o n
for compressor cascade with u p s t r e a m Mach number M ~ = 0.83. We can
see the typical choked fows with so called closed sonic line (M = i).
It means that first end of the sonic line is situated on lower profi-
le surface and the other end is situated on the upper profile surface.
Fig. 2 shows the iso-Mach lines of transonic flows c a l c u l a t i o n
for turbine cascade with u p s t r e a m Mach number M~= 0.337 and d o w n s t r e a m
Mach number M2= 0.803. Small supersonic region (M > i) is situated near
lower profile surface. This cascade is more cambered and there-
fore the p r o b l e m of numerical solution of transonic flows through
this cascade is very complicated. The comparisons of our numerical
results and e x p e r i m e n t a l data is published in [4].
Fig. 3 shows results of inverse p r o b l e m for given Mach number
along upper (Mh) and lower (M d) profile surface (fig. 3a)~ fig. 3b
showes g e o m e t r y of found cascade c o r r e s p o n d i n g given d i s t r i b u t i o n
of Mach number along profile surface and o t h e r parameters.
References
[i] F o ~ t J . , K o z e l K . , N u m e r i c a l S o l u t i o n of P o t e n t i a l T r a n s o n i c
Flow P a s t Blade C a s c a d e s , Strojnick~ ~as. 35 (1984), 3 (in czech).
. . . . . . . . . . A ~
1 f(-'YJ~ltkl I'/1 /
D4
07
4.2 ~
= 30 * /~ - 4G. ~r °
4~0
M~ = 9.84o M z = O. C~8
0.~¸
I. E i n f H h r u n g und Zielsetzung
Vorgelegt sei eine Operatorgleichung der Form
Tu = r. (1.1)
T sei e i n g e g e b e n e r (evtl. nichtlinearer) Operator, der einen Bereich
D eines halbgeordneten Banachraumes K I in e i n e n halbgeordneten Banach-
raum R 2 abbildet, r 6 R 2 ist g e g e b e n und u6D gesucht. H~ufig ist R I = R 2.
F~r die Praxis ist folgender Ordnungsbegriff n~t~ lich: F~r zwei in
einem Bereich B des n-dimensionalen Punktraumes R n definierte reellwer-
tige Funktionen g,h bedeute
g < h, daS g(x) < h(x) ist fur alle x 6 B. (1.2)
Dabei bezieht sich das Zeichen < auf die klassische Ordnung reeller
Zahlen. Wenn g < h gilt, kann m a n das Intervall I=[g,h] einfUhren als
die Menge p(x) der Funktionen I = {p(x), g < p < h}.
T heist synton (antiton), wenn Tf<Tg aus f<g (f>g) folgt fur alle f,g6D.
-6<w(x,b) - v(x,a) < 6; Tv(x,a) < r(x) < Tw(x,b) ; 6 = Min. (2.3)
Bei Diskresisierung mit den Schrittweiten 1/32, (bzw. /20) in x-, bzw.
t-Richtung erh~it man im Intervall 0<t<0.2 die Fehlerschranken
v:0.1 lw-u[5 v=0.5i
n=; 0.1013 o.--6-g~gI
n=3 0.0450 0.0420 I
n=4 0.0408 0.0377 I
n=5 0.0171 0.0252]
FUr den gr6Beren Wert u=0.5 fallen die Fehlerschranken ungHnstiger aus
als fur ~=.0.I. Ich danke Herrn Dipl.Math. Uwe Grothkopf fur die nume-
rische Durchrechnung auf dem Computer.
M i t Ek = Vk - u l a u t e t die O p t i m i e r u n g s a u f g a b e :
-6 < Ek < ~ in B, ~ = Min.
lot
(2-r). (I)+(7)
[ -4+4r-2r
16s-lOs 2
=2s(8-5s)~0
2
=-2-2 (l-r) 2<0
Widerspruch.
Literatur
BOHL, E. [74] Monotonie, L~sbarkeit und Numerik bei Operatorgleichun-
gen. Springer, 1974, 255 S.
COLLATZ, L. [52] Aufgaben monotoner Art, Arch.Math.Anal.Mech.3 (1952)
366-376.
COLLATZ, L. [68] Funktional Analysis und Numerische Mathematik, Sprin-
ger, 1968, 371 S.
COLLATZ, L. [81] Anwendung yon Monotonies~tzen zur EinschlieBung der
L~sungen von Gleichungen; Jahrbuch Uberblicke der Mathematik 1981,
189-225.
COLLATZ, L. [85] Inclusion of regular and singular solutions of cer-
tains types of integral equations, Intern.Ser.Num.Math. 73 (1985)
93-102.
COLLATZ, L. - W. KRABS [73] Approximationstheorie, Teubner, Stuttgart,
1973, 208 S.
DOBROWOLSKI, M. [85] On quasilinear elliptic equations in domains with
conical boundary points, Bericht Nr. 8506, Juni 1985, Univers. d.
Bundeswehr M~nchen, 16 S.
MEINARDUS, G. [67] Approximation of functions, Theory and numerical
methods, Springer, 1967, 198 p.
SCHRODER, J. [62] Invers-monotone Operatoren, Arch. Rat.Mech.Anal. 10
(1962), 276-295.
SCHRODER, J. [80] Operator inequalities, Acd. Press (1980), 367 p.
TOLKSDORF, P. [85] On the Dirichletproblem for quasilinear equations
in domains with conical boundary points, erscheint in Comm. Diff.
Equ.
WALTER, W. [70] Differential and Integral Inequalities, Springer (1970)
352 p.
WHITEMAN, J.R. [85] Singularities in two- and threedimensional elliptic
problems and finite element methods for their treatment, erscheint
in Proc. Equadiff 6, Brno 1985.
A POSTERIORI ESTIMATIONS
OF APPROXIMATE SOLIYrIONS FOR SOME
TYPES OF BOUNDARY VALUE PROBLEMS
R. KODNAR
Institute of Applied Mathematics, Comenius University
Mlynskd dolina, 842 15 Bratislava, Czechoslovakia
I. Motive
2. Basic no~ions
Z(v,h)= ~ Z I ~ hpldS,
p--1 1~I % ~n pl
1
f~V +, h p l ~ L m ( + Q p ) , n i s a d i r e c t i o n an o u t w a r d n o r m a l t o Q. L e t
Then
~Vn~V: a 2 llUo-Vnll~=((Vn,V n) )+2 <Vn, f>-2Z(Vn,h)+
(9)
+2((Vn,W))+((Vl,Vl)),
holds.
Proof. Immediately follows from (5),(6),(7),(8).
If the informations on regularity of solution of the starting
boundary value problem are avalaible construction of the lower esti-
mation may be simplified. Consider a linear boundary value problem
Au=f in Q, (10)
Biu=O on ~Q,
where A is a differential operator of 2k-th order. Denote
K=[u~C (2k'll(~laC(2k)(Q), AueL2(Q)~,
F1(u)=((u,u))1-2(u,f)se.
Let v£K be such that Av=f. Then
F1(uo)g -((v,v))I.
Proof. ~ U~DA,~V(K: ((v-u,v-u))1~0. Then
((u,u))1-2(u,f)52g -((v,v))1-2(u,f)52+2((u,v))1•
From it follows
~U~DA,~V~K: F1(u)~ -((v,v))l-2(Av-f,u)L2.
((Un-Uo,Un-Uo))----o. [z,O
Proof. Denote the minimizing sequence ~Unl I . Then Dj~zn=Un-U 0. It
holds ~ u ~ V : ((Zn,U))=O. From that
((Un-Uo,Un-Uo))=((Un,Un))-2((Zn,Uo))-((Uo,Uo)) =
=((un,Un))-((Uo,Uo))-
Remark 2. Procedure formulated by Theorem 1,2 is a generalization of
Trefftz method.
Denote
U={v~Hk(Q)I~u~V: ((u,v))=<u,f~+Z(u,h)-((u,w)~.
Lemma 2. The set U is convex and closed.
Proof. By direct verifying.
Lemma 3. The functional J(v) is convex on Hk(Q) and its minimum on U
is attained at u O.
Proof. Convexity follows from differentiability.
Corollary I. Relations
vEU: J(u)~J(v),
Vv~U: J~(u,v-u)~O
are equivalent. The given problem can be solved by means of varia-
tional inequalities. The obtained minimizing sequence converges by
given way to the solution u O.
Thus we get further counter-direction methods to variational
method of the solution of the primary problem.
G(w)=(Bw,w)1-2(g,w) 1 , w~H 1.
Theorem ~. w 0 minimizes G on TDTCH I. If T~v=f, then
1
a(Wo)= - -~-(v,v) I, (14)
where a is a constant from positively definiteness of operator B.
Remark ~. In case A = A & a n d Dirichlet boundary conditions we get from
Theorem 3 the principle of the method of unharmonic residue [I ] .
Corollary 2. UI={V~DT, IT~v=f } is convex and closed set. (v,v) I is a
convex functional on H I. If there is Wo~U I and a~=1 (from (14)), then
W 0 minimizes functional (v,v) I on U I •
5. Slobodyanskii procedure
REFERENCES
The second model describes behaviour of two well mixed reaction cells with linear
diffusion coupling and the '~russelator" reaction kinetic scheme. [he model is used
as a standard model system for the discussion of dissipative structures in nonlinear
chemical systems [23] . It can be written in the form
The continuation routine can proceed until the fixed value of xk "disappears" from
the course of the periodic solution. To avoid this disappearance, the algorithm ex-
changes xk adaptively.
Several solution diagrams obtained by the continuation algorithm are presented
in Figs i - 3 .
The stability of the computed periodic solution can be determined on the basis
of characteristic multipliers, i.e., of eigenvalues ~ of the monodromy matrix
M : @]o'/gx : V(T) (12)
One multiplier is always equal to 1 because (i) is autonomous.~If all remaining multi-
pliers lie inside the unit circle, the periodic solution is stable, if at least one
of them lies outside, then the periodic solution is unstable.
The use of the above described continuation algorithm is limited by the applica-
bility of the shooting method. If the initial value problems are unstable, i.e., there
are multipliers of the order 105 or higher, the integration and thus the simple shoot-
ing method usually fails. In such cases the multiple shooting method can be success-
fully used as, e.g., for the Hedgkin - Huxley model of the conduction of the nervous
impulse, where ~ 4 ~ 1 0 9 [6 ].
Bifurcation of periodic solutions occurs when a multiplier crosses the unit circle
when varying a parameter. It can happen in three qualitatively different ways, i.e.~
when (~: 1 ~ ~ : - i ; I~l : 1 , ~ s / i, s = i, 2, 3, 4. The cases ~3 : 1
and ~4 = 1 are of special interest [e.g., 8] .
$8 ,.- ...............
/
/
/
7.0
i
/
/
/
I 6.5 ., ~-. >. -~
/
I
& ..... .I #-~-L.R ..- .... ~.-.
I I l I I I .
A1 B
3
....... T# ~':%~..... 5.6
l I I
,' I ! 3T
I I I
P I
sJ I I 3T
s I
.I S I 5,4
I i
i i
I s
I i
5.2
l-laRl~" !
0.05 0.06 O 0.04 ' 0105
FIG. 2 : Solution diagram of periodic so- FIG. 4 : Bifurcation diagram of periodic
h t i o n s of (4), A = 2, B = 5.5, solutions of (4), tori bifurcation
= O.l [25]. T - tori bifurca- points. A = 2, @ = O.l.
tion point, H~B.P. - two mutually o - point of higher degeneration.
symmetric Hopf bifurcation points.
Further see legende to Fig. l.
26O
30G
A2 A2
.::% E E - C E =.-- ~
240 % _ - -
s s
, s
220 ...~
I I ~ i ,,- i ~ 26£ t I ~ L
300 320 340 360 460 L4~3 500
FIG. 3 : Solution diagram of periodic solutions of (3), ~ = 4, b : 16 [ 7 ].
A2 - a m p l i t u d e of y? . • - period doubling bifurcation point, o - symmet-
ry breaking bifurcation point, - - s t a b l e , ---- unstable.
shed and are compared in [3]. We shall summarize very briefly two of them.
Let the characteristic polynomial of the monodromy matrix M be
instead of (14) and solve the system (8) (16) again by Newton method (C = 0 automati-
c a l l y f o r the s o l u t i o n ) .
A number of p e r i o d - d o u b l i n g b i f u r c a t i o n p o i n t s has been s u c c e s s f u l l y computed in
t h i s way. Some of them are r e p o r t e d in Figs 1 - 3 .
CASCADE OF PERIOD - DOUBLING BIFURCATIONS. FEIGENBAUMSEQUENCE. High accu-
racy of computed p e r i o d - d o u b l i n g b i f u r c a t i o n p o i n t s enables t o t e s t the v a l i d i t y of
Feigenbaum's r e s u l t s also f o r more complicated and continuous dynamic systems. Several
p e r i o d - d o u b l i n g b i f u r c a t i o n p o i n t s of the Lorenz model (3) are presented i n the Table 1
Results i n the Table correspond t o a cascade of p e r i o d - d o u b l i n g b i f u r c a t i o n s ~ c f .
Fig. 3. The values of the parameter r ( = p l ) a t the i n d i v i d u a l b i f u r c a t i o n p o i n t s
form a Feigenbaum sequence #
, r j t , [ 2 ] . The values
384
x2 x3 Tj rj 6/]
1 20,90946 273,34849 0.30218 356,93391
2 16.85987 246,64055 0.63009 338.06197 4.9740
3 21.19530 259,36006 1.26750 334.26789 4.7313
4 17.29002 244.99724 2.53818 333.46599 4.6824
5 17.24223 244.70901 5.07771 333.29472 4.6707
6 17.25889 244.74356 10.15599 333.25806
are presented in the Table, too. We can observe a very good convergence to a limit,
which is approximately ~*~4.6692 [2]
OIRECTION OF EMANATING BRANCHES. Let us have a period-doubling bifurcation
point (x*,T~,p ~) , determined, e.g., by the algorithms described above. Let us seek
periodic solutions with the period approximately eq,a] to 2T~ in the ne]ghbourhood
of (x*,T*,p ~) . Therefore, we define a nonlinear system
G(x,T,D) = "~['l~F(x,T,p), T, p ] - x : 0 (18)
for the unknowns Xl,... , Xk_l, Xk,... , Xn, T and the parameters p . The system (18)
has a bifurcation (crossection) point at (x~,T~,p ~) . There are two branches which
intersect at this point. One branch is a branch of "composed" periodic solutions
obtained by a composition of two original periodic solutions on a known branch. The
second branch is the bifurcated branch of solutions with a double period. Directions
of the branches can be evaluated by the algorithm described in [17] . Let us note that
we need second derivatives of G (computed,e.g., by finite differences). Directions
of branches resulting for the first period-doubling bifurcation point from the Table 1
are presented in the Table 2 together with starting points used for the continuation
of the bifurcated branch. More detailed description will be presented in [ 1 6 ] .
TABLE 2 : Directions of branches emanating from the first bifurcation point in the
Table i.
dx 2 dx 3 x 2 = 21.0095 (+)
- - = 0.1262 : 2. 9431
dr x 3 = 273.643 (+)
dx 2
dx 3 dT
T = 0.30617 (+)
--= l.OO42 : 0.56E-7
dr
(period = 2T)
dx 2
dT dr
r = 356. 93 (-)
-- = - 0.43[-3 : - 0.17E-3
dr dx 2
sign of the change of individual variables for starting
continuation (direction parameters).
385
p((z~) = (~4 2 OJ~ + 1)(~ n-2 + bld~n-3 + ..- + bm_ 2) + C~4 + D , (20)
+ C ~ 2 + Dd~4 + E (22)
Coefficients bl,... , bn_3, C, D, E can be e v a l u a t e d r e c u r r e n t l y and the Newton
method i s used f o r t h e s o ] u t i o n o f the n + 2 by n + 2 nonlinear system ( 8 ) ( 2 1 ) .
E = 0 automatically at the resulting tori bilurcation point.
Resulting tori bifurcation points for the model (4) are shown in the Table 3,
cf. Fig. 2 for 8 = 5.5. The parameter 0 ( = pl ) has been considered as a bifur-
cation parameter. If we continue tori bifurcation points in dependence on another
parameter of the problem, here, e.g., B ( = p2 ) , we obtain so called bifurcation
diagram [19] . Results of one such continuation are presented in Fig. 4 . The points
where __.r~3 : i or 4 = i are denoted 3T or 4T , respectively. The curve ends
at the point where ~i = (~2 = ~ 3 = 1 .
The algorithm for the continuation of periodic solutions can be used also for
parabolic partial differential equations when these are transformed into a set of or-
dinary differential equations by using a semidiscretization (method of lines) [12] .
An algorithm for evaluation of Hopf bifurcation points in parabolic equations has been
published recently [15] , The algorithms for evaluation of period-doubling and tori
bifurcation points can be easily used for most autonomous dynamic systems of lower or-
der, say n -~ 20 . Of course, the use of the algorithms is limited by the applicabi-
lity of the shooting method (stability). Simple modifications of the algorithms can be
used also for a nonautonomous system with a time-periodic right hand side.
REFERENCES
i. 8ecker K.H., Seydel R. : Lect. Notes in Math. 878, Springer Verlag, Berlin 1981,
p. 99.
2. Feigenbaum M.J. : J. Star. Phys. 6, 669 (1979).
3. Holodniok M., Kub$Sek M. : Computation of period doubling bifurcation points
in O.O.E. Preprint, Tech. Univ. Munchen, M-8486 (1984).
4. Holodniok M., Kubi~ek M. : J. Comput. Phys. 55, 254 (1984).
5. Holodniok M., Kubi~ek M. : Appl. Math. Comput. 15, 261 (1984).
6. Holodniok M., KubiSek M. : Continuation of periodic solutions in ordinary diffe-
rential equations with application to the Hodgkin-Huxley model, Inter. Symp. of
Numerical Analysis~ Madrid, 17. - 19. 9. 1985 .
7. Holodniok M., Kubi~ek M., Marek M. : Stable and unstable periodic solutions in
the Lorenz model. Preprint, Tech. Univ. Munchen, M-9217 (1982).
8. Iooss G., Joseph 0,0. : Elementary stability and bifurcation theory. Springer
Verlag, New York 1981.
9. Jepson A.O., Keller H.8. : in [20] , p. 219.
i0. Keller H.B. : in "Applications of Bifurcation Theory", Ed. by P. Rabinowitz,
Academic Press, New York, 1977, p. 359.
11. Keller H.B. : in "Recent Advances in Numerical Analysis", Ed. by C. de Boor,
G.H. Golub, Academic Press, New York 1978, p. 73.
12. Knedlik P., Holodniok M., Kubi~ek M., Marek M. : Periodic solutions in reaction-
-diffusion problems, 7th CHISA Congress, Prague 1984.
13. Kubi~ek M. : Appl. Math. Comput. I, 341 (1975).
14. Kobi~ek M. : ACM TOMS 2, 98 (1976).
15. Kubi~ek M., Holodniok M. : Chem. Eng. Sci. 39, 593 (1984).
16. Kubi@ek M., Kli~ A., Holodniok M. : in preparation.
17. Kubi~ek M., K l i ~ A. : Appl. Math. Comput. 13, 125 (1983).
18. Kubi~ek M., Marek M. : Appl. Math. Comput. 5, 253 (1979).
]9. Kubidek M., Marek M. : Computational methods i n b i f u r c a t i o n t h e o r y and d i s s i p a -
t i v e structures. Springer Verlag, New York 1983.
20. Kupper I., Mittelmann H.D., Weber H., Eds. : Numerical methods for bifurcation
problems. Birkhauser, Basel 1984.
21. Lorenz E.N. : J. Athmosph. Sci. 20, 130 (1963).
22. Mittelmann !~.O., Weber H., Eds. : Bifurcation problems and their numerical solu-
tion. 8irkhauser, Basel 1980.
23. Nicolis G., Prigogine I. : Self-organization in nonequilibrium systems. J. Wiley,
New York 1977.
24. Rheinboldt W.C., Burkardt J.V. : ACM TOMS 9, 215 (1983).
25. Schreiber I., Holodniok M., Kubi~ek M., Marek M. : J. Stat. Phys., to be published
26. Seydel R. : Numer. Math. 32, 51 (1979).
27. Sparrow C. : The Lorenz Equations : Bifurcations, Chaos and Strange Attractors.
Springer Verlag, Berlin 1982.
THE ROTHE METHOD FOR NONLINEAR
HYPERBOLIC PROBLEMS
E. MARTENSEN
Mathematisches Ins~tut II, Universitdt Karlsruhe
7500 Karlsruhe 1, West Germany
h
u + ~ (u2) ' = u ° x e • (3)
integration that
b b b
w(x) dx = {u(x)- v(x)} dx = - ~ ~[u(x) - [v(x) dx
a a a
: - 7h ~
LU(X ]2 - [ v ( x ) ] 2 h (x)(u(x) + v(x) ) = 0
a
Proof only for the first case. Assume that there exists a contin-
uous solution v(x), x e (a,b), different from u(x), x 8 (a,b), but with
the same limit for x - a. Then the difference w(x):= u(x) - v(x), x ~ (a,b),
forms a continuous function satisfying
w ( x o) } 0 u ( z o) + v ( x o) ~ 0 (8)
XO XO XO
here because of {8), we have the contadiction, that the left hand side
has the sign of w ( x O) + 0 w h i l s t the right hand side either has the oppo-
site sign or vanishes.
From the differential equation (3) together with (I0) it follows that
u' (x) < 0, x @ (0,~)[ so u(x) x @ ~, is monotonously nonincreasing and
because of (10), it has the lower bound I. Theorem 2 as well as the
first case of Theorem 3 say that there is no further continuous solu-
tion, so the next ROTHE step is well-defined. Finally by induction, all
ROTHE solutions are uniquely determined. Because of Theorem I, for every
ROTHE solution the limit 2 for x --~ or ] for x - ~ is obtained, respec-
tively.
References
(l.2b) B2[~sc(X)]
IF:_ = (~-~ + i p(x))~sc(X)]
F _ _ = g(x)_
Neumann (p ~ 0)
of { }_ type.
Impedance (p ~ 0)
In the case of edges E and/or vertices V C F existing the "edge
condition"
(1.3) ~sc(X)_ = 0(i ) and V~sc(X)_ @ Lloc2 (~a)
should hold. Besides this the scattered field should be "outgoing",
i.e. "Sommerfeld's radiation conditions" should hold
as r = Ixl ~
For smooth compact boundaries F this problem has completely been
solved, e.g. by the boundary integral equation method (BEM) (c.f.e.g.
COLTON-KRESS (1983) [2]) or by means of Sobolev space methods (c.f.
e.g. LEIS (1985) [ ii]). Generalizations to piecewise smoothly bounded
domains were carried out by GRISVARD (1980) [6] and COSTABEL (1984)
[4], e.g.
and
respectively.
The theory of such equations, but of the second kind, in LP(R+)
or --~'P(R+)-spaces__ for m e NO, 1 ~ p ~ ~ has been developed by
M.G. KREIN (1958/62) [9], E.Gerlach (1969) [5] and, combined with
other integral operators than 1-convolutions, by G.THELEN (1985) [17].
To solve the equations (2.1) or 42.2) on the h a l f - l i n e , or more
directly the original boundary value problem, one applies a one-di-
mensional Fourier transform to the scattered wave function
and
(2.7) O (1) + ~1 Q+(I) ~ I 2 - k 2 = -k sin 8 [l + k cos 8] -1
respectively, for the Dirichlet and Neumann case with the unknown
F-transforms E_, ~_ being holomorphic for Im ~ < k 2 and I+, Q+ being
holomorphic for Im I >-k 2 cos 8. The equations 42.6) and (2.7) are
equivalent to "non-normal Riemann boundary value problems on a line"
parallel to the real l-axis.
The well-known steps of factorization of y(Z):= ~ l z- k 2 into
395
-i
y+(l).¥_(l), the multiplication of (2.6) and (2.7) by y_ and by y_
-i
respectively, then additive decomposition of y_.[X + k cosS] and
y -1.IX + k cosS] "I in the x-strip gives after rearrangement and
application of Liouville's theorem the explicite solutions to eqs.
(2.6) and (2.7) as
(2.12) L(I) . - ,
with prescribed data Fil, Ghl from the primary field on the common
boundary parts 8~3, n 8nl.
Additionally the edge conditions ~j(x) = ~(x) la ' = 0(I) and V~j~
L~oc(n
j ) _ and the radiation condition for #l(X) ~s Ixl = r - ~ have to
hold.
Again in the case of smoothly bounded domains with compact bounda-
ries 8~j this "transmission or interface problem" has been solved by
the boundary integral method and in the case of two-dimensional polygo-
nal domains by M.Costabel and E.Stephan (1985) [3].
In the special case of two different media (i.e. N = 2) and a
plane interface (i.e. ~ i = 8~2= Rxy or = R I) the problem is elementary
x
and gives, for a plane wave as the primary wave-function, the well-
known relations from Snellius' law and the reflection and transmission
coefficients explicitely. The corresponding "two-dimensional Sommerfeld
half-plane problems with two media" are unsolved up to now - as far as
an explicit representation is concerned - due to the unknown matrix
factors of the 2X2-Wiener-Hopf function matrices involved here having
two different square roots ~ 2- k~ and ~ to be taken into
account [12].
A very important canonical transmission problem is the so-called
" D i e 1 ectrlc
" W edge Problem " , i.e. the case of ~i = R ~2 and ~o= r 2 \ R ~2 in
R or the corresponding "Dielectric Octant Problem" in R~-space: This
has been generalized to the "Four-Quadrant-Transmission-Problem" in R 2
with the four quadrants filled with different media. Applying 2D-
Fouriertransformation the restrictions of the unknown scattered field
mav be represented by the ID - F - transformed Cauchv-data on the semi-
infinite lines, the boundaries of the quadrants. For $i(~i,~2) one
gets e.g.
It has been shown (e.g. by N.Latz (1968) [ I0]) that in the case of
Im k > 0 the auxiliary k may be chosen in such a way that eq. (3.4) is
3
uniquely solvable in FLP(R2), I < p S 2, for any ~pr(~) 6 LP(R2). The
present author has derived quite recently (1984) [13] a 4X4-system of
integral equations for the Fourier-cosine transforms of the normal
derivatives on the bounding semi-axis's of the four quadrants Qj. This
system is uniquely solvable in the case of Im k. > 0 and Ik - k I and
3 3 v
Ipj- small by Banach's fixed point theorem in the spaces (Lq(R+)) 4
for 2 ~ q < ~, but the general case of four different wave numbers k
3
is still unsolved.
References
i. I n t r o d u c t i o n
L e t us c o n s i d e r a compressible, irrotational,steady, adiabatic,
isentropic and inviscid fluid in a b o u n d e d , simply connected domain
C R n, n = 2,3, with LiDschitz boundary. The relation between the
presure D and the density p is
(1.2) rot ~ = 0
T h i s c a n be f o r m u l a t e d , for e x a m p l e , in the f o r m
(1.7) Au S K < ~ ;
vga 0
(i .8) IVul
o n P2"
The transonic flow problem was considered numerically by many
authors. We mention h e r e a b o o k b y R. G l o w i n s k i [I] ; t h e r e are e x c e l e n t
numerical results by m a n y authors: M.O. Bristeau, R.Glowinski,
J. P e r i a u x , P. P e r r i e e r , O. P i r o n n e a u , G.Poirer, M.Feistauer, A.Jameson,
K.Kozel, J.Pol~ek, M.Vav~incov~. They used entropy conditions of the
type (7), u p w i n d i n g iterations and viscosity approximations. We s h a l l
do the same in the next. The e n t r o p y condition (7) is c o m p a c t i f y i n g ,
which follows f r o m some s l i g h t g e n e r a l i s a t i o n of the r e s u l t b y F . M u r a t
[2]. M o r e c o m p l e t e discussion of the r e s u l t is in M . F e i s t a u e r , J.Ne~as
[3], M . F e i s t a u e r , J.Madel, J.Ne~as [4], J . N e ~ a s [5]. A j u s t i f i c a t i o n
o f the f i n i t e e l e m e n t aDD~o×ima+ion is disollssed in P h . G . C i a r l e t ,
J.Mandel, J.Ne~as [6].
2. F o r m u l a t i o n of the p r o b l e m , compactness bv e n t r o p y
W e look for a w e e k solution to the e a u a t i o n (1.5), i.e. for
u e wl'~(n), such t h a t for v 6 V = {v 6 W I , 2 ( n ) ; v : 0 on FI}
0.57
0.,91v2 1211
Figure 1
- / V u V ~ d x ~ K I~dx ~ & u S K, M = ~ ,
6a~
(2) h(s) = sp(s), so < ~ ,
M = ~3 : entropy by v i s c o s i t y ,
2a~ 1
SO < ~ TO' ~0 = [ ~ i n (i - ~0) 1(i - 6T 0) ;
Then
l,q .
1 1
( f IVhl2dx) 2 g ( / I v ( u - u) 12dx) 2
~\ ~2 ~\ a2 n
1 i 1
• (\~21vhlPdx) p I ~ \ a 2 t2 P
2.14 Theorem,
Let Eh= {u;llUlIwi,2(Q ) S C, IVuJ 2 ~ s o ,
3.4. Theorem
The alternating functional attains on E h N V N {u = u 0 on F t} its
minimum in some point u. If %(u) = 0, t h e n u is a h - e n t r o p i c solution
of t h e t r a n s o n i c problem.
Figure 4 Figure 5
~(u) ¢(u)
on m u s t fall
in the ap-
physical
propriete
[ t I / solution energy hole
v v -
~2fu I _ u 3 u 2 uI u3 u2
in q e n e r a l
a nOn-physical solution
404
4. Viscosit~ method
Let us consider a complet system of gas: p - pressure, p-density,
T -temperature, ~ - velocity vector, provided:
2a~
(4.4) ~ e [WI'2(~)] 3 ]v12 <
avi avj
e = {eij(v)}, 2eij(v) = ~ + ax i ,
2a 2
(4.8) ~ : T ° on ~ , nv~°~ <_ c , I~°I _< ....
[WI,2(~)] 3 ,-Z '
-+
Let 8 n > 0, and take ~n = U.Bn, An: lBn, kn= kS n. We let go Bn ~ 0 and
look for an optimal control problem: let the cost functional• where
= e + Vu, be
1
~-i ~ 2)x-i
(4.11) Z(~) = li~12dx + lip - PO ( I - 21vl ]2dx
e ~ 2a 0
and let us look for I(v) - 0, "~ posteriori" entropy condition:
p q WI,I(~),
(4.12) vp.~ ~ -K .
4.13 Remark
fhdS a k :IVTI2 @
~'-'T---T_ dx + I dx .
an
L 2 estimate of p follows.
4.14 Definiton
A sequence {Un}, f U n d X = 0, IVUn 12 < s O is h - entropic, if
~ E D+(e):
where
R ~ 0 in [WI'2(£)] I
n
4.16 Theorem
~n
Let T , p , Pn' v be a sequence to solutions of (4.1) - (4.10)
n
with I(~n) n- 0 and satisfying Vpn ~n ~ -K. Suppose, Without the loss
of generality, that u n - u. Then {Un} is h(s) = p(s)s - entropic,
u n ~ u, and u is a h-entropic solution to the transonic problem,
6a~
PDovided IVUn 12 S s o < ~ .
~n
Idea of the proof: Let ~ E D+(~), multiply 44.7) by v ~ and
integrate by parts. We get
= _ f~Pn n ~n na~
vig~x - /In(div ~n)2~dx - Slndiv v .v _----~x -
%x i ~ Q l~x i
de_f
- K f~dx + (S ,~)
n
where
4.23 T h e o r e m .
Let h(s) = -~(s)in (i - x-! s) (see e x a m p l e s (2.6')) a n d T , Pn'
2a~ n
Pn' ~ n a s e q u e n c e of s o l u t i o n s to ( 4 . 1 ) - ( 4 . 1 0 ) , w i t h J ( v-~n) ~ 0 a n d
407
4.24 Remark
The term /pl-~v i @--~--dx gives "upwinding" in the continuity
z
equation.
(4.25) 6n ~/ i--
T 2 iVTnJ2dx + 8n /IVvnl 2dx < c <
T JVT j2
(4.26) -c / Pn in n v n 0~ dx = + k / ~ n ~dx -
v ~-i i ~--x-~. n
~ Pn l n
VT E (un)
- kn / ~-~ V~dx + f ~ ~dx .
n ~ n
i i
Multiply (4.26) by and add to (4.20).
cv TO
in
P0
We get
k IVTn 12 E (~n)
_ 1 (Hn,~) _ n f ~dx - i f n _ ~ ~dx +
an an Q ~T ~ Q Tn
n
k VT
_~n / n
+ an T ~ n V~dx
References
309-322.
(1.1) o = c.p
(i = 1,2,3).
2. F o r m u l a t i o n of an i n i t i a l - b o u n d a r y value proble ~
I~I 2
Wh(~) = K h exp (- h2_l~l 2 ) for ~ • R 3, I~I < h ,
L e t K h be c h o s e n so t h a t the integral of ~h o v e r R 3 is e q u a l to i.
If f • L l ( ~ h ) , put
(2.2) u i 8~ ~ 0 (i : 1,2,3)
P0 • H I ( Q h ) ' P0 ~ 0, U 0 • ~ 1 ( ~ ) 3 .
U ~ ( U l , U 2 , U 3) • L 2 ( 0 , T ; ~ I ( ~ ) 3 ) ,
(2.5)
p • L(0,T;HI(~h)),~ p ~ 0 ,
T
1
(2.6) f /{PUi~i, t + pujUi~ i j + C ( p ~ ) ~ i , i ~uj,j~i, i -
0 Q
T
(2.7) f f{P¢,t + puj¢,j}dxdt : - f p0(¢]t : 0)dx
0 ~h ~h
for all ¢ E C (~h X (0,T)) such that ¢[t = T ~ 0.
By m e a n s of a s i m i l a r m e t h o d as it is u s e d in [ i] in the c a s e
of the N a v i e r - S t o k e s equations for the incompressible liquid, it c a n
be p r o v e d t h a t if U,p s a t i s f y (2.5), (2.6)~ (2.7) then p.U is a.e.
in (0,T) equal to a c o n t i n u o u s function f r o m (0,T) into H - I ( Q ) 3 .
H e n c e we c a n u n d e r s t a n d under (PUi)[t:0 (i:i,2,3) in ~ . 4 ) limits
as t - 0+ of the c o m p o n e n t s of this function. Similarly, it m a y be
s h o w n that p is a.e. in <0,T) equal to a c o n t i n u o u s function from
(0,T) into H l ( ~ h ) * (the dual of H I ( Q h ) ) . It g i v e s a reasonable sence
to the initial condition (2. 3).
412
for k = 0,1,...,m.
We can further proceed in such a w a v that we successively solve
(3.2)_ (for the unknown p(0)), (3.1) 1 and (3.2) 1 (for the unknowns
(i),~(i)), . (m)
U ..., ( 3.1 )m and (3.2) m (for the unknowns u , p(m)). It
can be done using standart methods of the functional analysis and the
theory of the partial differential equations. The following inequal-
ities may be also derived:
C
~ P0U0iU0i dx + ~ I P0dx (k = l,...,m) ,
Qh
(3.4) g (k)a2. k
P Hl(~h ) + s=0~~ p(S) - p(S-l)~2Hl(~h) _<
1
K 1 exp(4~NU011L2(~ ) 3 + / ~P0u0iu0idx +
Put
413
It follows from (3.3) and (3.4) that the sequence {mp] (resp.
{mu}) is uniformly bounded in L~(O,T; Hl(~h )) (resp. in the spa-
ce L2(0,T; hl(Q) 3)) and that {mpjmul2} is uniformly bounded in
L~(0,T; LI(~)). Usinq the Holder inequality, it can be also easi-
ly shown that {mpmu} is uniformly bounded in L°°(0,T) LI2/7(Q) 3) and
in L2(0,T; W3/2i (~)3). There exist subsequences (denoted by
{mp}, { m u } again) and functions p, U so that mp _ p weakly _ *
in L~(0,T; HI(Qh)), mu ~ U weakly in L2(0,T; HI(~)3), mp mU
p U weakly - * in L~(0,T; LI2/7(Q) 3) and weakly in the sDace
L2(0,T; W 1 (Q)3) Bv means of other estimates of m mU m
3/21 i p and p
in ~ (0.T~ W3/2(~ 3, H-I(~)3) and ~ ( 0 , T ; Hl(~h ), L2(~h )) (see
e.g. [3] or [ i0] for the definition of these spaces), we can Drove
that even mp p stronqlv in L2(0,T; L2(~h )) and m m U
p U stronqlv in L2(0.T~ L2(Q)3).
The functions mp, m U satisfy (2.6), resp. (2,7) with some
errors E., resp. E 2. It is shown in [6] that E 1 : 0(T I/2 ) and E 2 :
: 0(~i/2~ for T -- 0+ (i.e. m ~ +~ ). These relations toqether with
the tYPeS of converqences mentioned above are sufficient to Drove
that ~, U satisfy (2.5)~ (2.6)~ (2.7).
If we use ( 3. 3) and ( 3.4), we can also derive the estimate
c f 4 dx)'JlP0112
+ ~ Qh Hl(~h)
tz )2
+ f f{~(uj + dxdt <
0 ~ '3 Uui'jui'j} -
1 c
<- f ~P0U0iU0i dx + ~ / P0 dx
Qh
References
O= i__ _ i_ (i)
2 2 "
- ~ + OAI~ - @ 2 A 2 ~ _ i ( ~ _ 8) B ( w , w ) = 0 , (2b)
2 ac
c
i = (3)
gC
416
(H2) The operator PcMI restricted to ueH c has only simple eigenvalues.
S = {I,S,-I,-S}
'C
Due to (HI) it is a > 0, c > 0 and we a s s u m e that b > 0, too.
Definition I. (Golubitsky-Schaeffer 1979 [5] ) The b i f u r c a t i o n pro-
blem (6) is n o n - d e g e n e r a t e if b/a ~ I, b/c ~ 1 and b 2 ~ ac.
According to G o l u b i t s k y - S c h a e f f e r [5] , the r a t i o s b/a, b/c r e p r e -
sent the m o d a l p a r a m e t e r s of b i f u r c a t i o n problem (6). The lines of de-
neracy divide the s t u d i e d positive quadrant of b/a, b / c p l a n e into s i x
regions within each of w h i c h the local features of b i f u r c a t i n g solutions
to E q s . ( 6 ) are t o p o l o g i c a l l y equivalent. The n o n d e g e n e r a t e cases of
Eqs.(6) were analysed in [5] by m e a n s of the s i n g u l a r i t y theory. Our
study comprises the d e g e n e r a t e cases while the e m p l o y e d tools are sim-
pler.
Letting Z ~ 0, the r e d u c e d equations g( 8,v,0) = 0 the s c a l e d e q u i v a -
l e n t s of (8-10))can be e a s i l y solved for 8=8o. If b 2 ~ ac, the n o n - t r i -
vial solutions appear at v v a l u e s forming an o p e n subinterval within
the c o n s i d e r e d interval (-~/2, 3~/2) of ~ values, with end points dif-
fering f r o m -~/2, 3~/2. If b 2 = ac, the r e d u c e d s y s t e m is s o l v a b l e only
at a c e r t a i n ~e(-~/2, 3~/2), say v =v 9, h a v i n g then a continuum of so-
418
lutions g i v e n by the e q u a t i o n
o 2 o 2 s X~ s
a ( 81) + b( B2 ) = sin ~ Ic cosu (13)
T(,B°*), ~ = (~ --~&)
8i 2
T(BO*), ~ 0
~2
419
and
lira T(~ °) ~ lira T(Bo).
o o
BI --0 82 ~0
References
i. B.J. Matkowsky, L.J. Putnick and E.L. Reiss,"Secondary states of rectangular pla-
~es," SIAM J.Appl.Math. 38(19801, 38-51.
2. M.q. Berger,"0n von K/rm/n's equations and the buckling of a thin elastic plate,
I, The clanped plate", Cc~n.Pure Appl. Math, 2~i1967~ ~687-719.
3. A. Vanderbauwhede, "Local Bifurcation and Symmetry," Pitman, London, 1982.
4. S.N. Chow and J.K. Hale, "Methods of Bifurcation Theory", Springer-Verlag,
Berlin, 1982.
5. D. Schaeffer and M. Golubitsky, "Boundary conditions and mode jumping in the buck-
ling of a rectangular plate", Ccmm.Math.Phys. 69(1979), 209-230.
6. J.B. McLef~ and D.H. Sattinger,"Loss of stability and bifurcation at a double eigen-
value", J. Funct. Anal. 14 1973 , 62-84.
7. D.H. Sattinger, "Group Theoretic Methods in Bifurcation Theory", Lecture Notes in
Math., 762, Springer-Verlag, Berlin, 1979.
DELAY MAKES PROBLEMS
IN POPULA ON MODELLING
K. SMiTALOVA
Department oJ'Applied Mathematics, Comenius University
M[ynskd dotina, 842 15 Bratislava, Czechoslovakia
1
Theorem 2. L e t C be the set of c o n t i n u o u s l y differentiable functi-
ons f r o m R to R, w i t h the u s u a l cl-netric. L e t H 1 be the set of t h o s e f
f r o m C I, f o r w h i c h there are initial functions ~ # % with 9(0) : %(0),
generating the same solution of (i). T h e n both
and
L . ~< 1 (3)
References