This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
_
(b) s(.) c~((O, oo );c(x)). (c) For t > O, the range of S(t) is contained in T)(B). (d) For t > O, BS(k)(t) ¯ £(X); BS(~)(.) Cm((0, ec );£(X)). (e) For any fixed 0 (0 ~+~ - ~), there exists an analytic extension of Bt S(k)(.) to the sector [argz I _< 0. (f) sup~>ol[t~(~+")+kBtS(k)(t)l[e(X) (g) For Vo ¯ X, v(t) de__f S(t)Vo, t >_O, one has that v is a strict solution D~vt+Bv=O,
v(O)
=vo,
v,(O)=O,
t¯[O,T],
(21)
for any T > O, iff vo ¯ D(B) and Bvo ¯ D(B). (h) If v is a strict solution of (21), then v,vt,D~vt,Bv ¯ BC([0, oo);X). For the proof of Lemma3, see [3]. For the solutions of (11) we have the following regularity results. LEMMA 4 Let (i) and (ii) of Theorem 2 hold. Let Vo ~¯ D(B) and v(t_) ae=f S(t)vo. Then the following conclusions hold for each T > O: (a) iet 2/ ¯ (0, l+a], I’ ¢ 1. ThenBv(t_) ¯ C’~([O,T];X) iff Bvo ¯ D,( a-~-5, ). Moreover, in this case there is a constant M = M("/,c~, B), but independent of T, such that
[IBv(_t)[Ic. ([O,TI;X) MllBvollv.(,-~ ,oo).
(22)
242
Ch~ment et al. (b) Let 7 e (1 + a, 2). Then Bv(~_) C’~([O, T]; X)iff v(~_) = v( O)(iff .BVo (c) Let 7 e (0, 1]. Then my(t) C([0, T] ; X) O B([ 0, T]; D~(7~)) if f Bv (~) BVo e C([0, T]; X) ~ B([0, T]; DB(7, iff BVo e DB(7, ~). Moreover, in this case there is a constant M = M(7, a, B), but independent v~ T, such that I[Bv(!)ll~(t0,T];~.(~,~)) ~ MllBvo[].~<~,~). (23) (d) Let T ~ (0,1+~),7#1. Then Bv(t)_ ~ h*([O,T];X) iff Bvo ~ V~(~). ~ (e) Let 7 6 [1 + ~, 2). Then Bv(~) h~([0, T] ; X)iff v(~)= Vo (i ff Bvo = (f) Let 7 ~ (0,1). Then Sv(~) C([0, T] ;~s(7)) if f Bv (~) - Bvo ~ C([0, T];~,(7)) iff Zvo e V,(~).
Observe that in all cases of Lemma4, the hypotheses made and Lemma3 give that v(t) is a strict solution of D~vt + Bv = O, v(O) = Vo, vt(O) Except for some technicalities, the proof of Lemma4 parallels that of [1, Lemma12]. For the analysis of (12) and (15) we need the corresponding resolvent. We fory E X, 1 fr e’XtA-l+~(Al+(~I + B)-lydA’ t > 0, S~(t)y = ~ ,,o (24) $1 (0)y = where the integration path is as in (18). One then has the following result. LEMMA 5 Assume that (i) and (ii) of Theorem 2, and (19) hold. Define S~ by (24), and let k be a nonnegative integer. Then properties (a)-(e) of Lemma3 hold with S replaced by S~. Moreover, for I = O, 1,
sup~f(~+~)+a-~ B~S~) (t)lk(x) ~0
The .function w(t) ~f Sl
(t)Wl
i8
a
strict solution of
D~(w~ - u~) + Bw = iff
w(O) =
w~(O) = w~,
(25)
Wl ~
For the proof of Lemma5, see [3]. Concerningthe solutions w(t) of (25), we then have the following regularity state~nents. def
~ LEMMA 6 Let (i) and (ii) of Theorem Z hold, let ~~ ~ B(~) and w(t) S~(t)w~. Then the following statements hold for each T > ~ l ~+~ ~ ~). (a) Let 7 ~ (0,2), ~ ~ 1. Then Bw(t) Moreover, in this case there exists a constant M = M (% a, B), independent of T, such that
IIBwff)llc,([o,rl;x) < Mllmtllv.~,~+, ~,.
(26)
243
Regularityof Solutionsof FractionalEvolutionEquations Let 7 e (0,1]. Then Bw(t_) e C([O,T];X) nB([O,T];Z)B(%oo)) D(B~--~-a) and BrDawl E DB(7, oo). Moreover, in this case there is a stant M = M(3", ~, B), independent of T, such that IIBw(t_)lt~(t0,Tl;Z).(~;~)) <_ MllB~-~.wlllv.(.~,~).
(27)
(c) Let7 ~ (0,2), 7 ¢ 1. ). Then Bw(t_) e hT([O,T];X) ifJwl e DB2(~(--(iT~ if fwl e :D(Br~z) an (d) Let 7 ~ (0,1). Then Bw(t_) C([O,T];gs(7)) B’-~w~ ~ In all cases of Lemma6, the assumptions made and Lemma5 imply that w(t) is a strict solution of (25). For the proof of Lemma6, see [3].
3
METHOD OF SUMS
AND NONHOMOGENEOUS
RESULTS
To analyze
D~z~+ Bz = h, z~(0) = 40) = o,
(28)
with h ~ 0, we use the method of sums of Da Prato and Grisvard [4]. The following Lemma[1, Theorem8] reformulates [4, Theorem 3.11]. LEMMA 7 Assume that f( is a complex Banach space and that ft, ~ are resolvent commutingpositive operators in f( with spectral angles CAand ¢~, respectively, such that ¢,i + ¢~ < ~r. I]? is one of the spaces T)~i(7,p), T),~(3’), Dh(7,p) or Dh(7), where3’ e (0, 1] and p ~ [1, oc], and if y ~ ?, then there is a unique x such that fix + ~x = y. Moreover, fix and ~x e ~ and there exists a constant C
such thatIlfixll~÷II*)xll~
To apply this Lemma,we write 2 d__e¢ Co([O, TI;X) ae=f {u C([0, T] ;X)lu(0) = 0 } and define/) in 2 by
v([~)= Co([O, TI;V(B)),(,?u)(_t) = B~(t),u e Then/) is a positive operator in ~’~" with spectral angle ¢~) = CB. For the interpolation spaces of/) one has, 3’ ~ (0, 1],
Weconsider the fractional
derivative
as an operator ~+~ in 3~ by
Z)(fi~+~) = { u ~ 21u, ~ 2,g~_~ * u, ~ C~([O,T]i X),(DTu,)(O) = 0}, (2~+,u)(t) de___f D~ut(t), u ~ Z)(ft,+,),
a e (0,1).
The equation (28) can then be written fil+az +/)z = h. In addition, define fi~
244
Cli~ment et al.
and ,z]~ for a e (0, 1) 73(~i.a) dej { u efi [gl-~ *u e CI([O,T];X),(D~u)(O) 0},
Concerning the operators ~1+~, a ¯ [0, 1), one has LEMMA 8 (a) ¢il+a is a positive,
densely defined operator with spectral angle
~(1 + a) and~i1+~= (A~)~+~. (b) For ~/¯ (0, 1) and (1 + c~)~/¯ (0, onehas
v~,÷o(~, ~) = { f l Y¯ c(1+~)’([0, T]; X),y(0) For ~),z~i~_ ~ ~1 ¯ (0, 1) and (1 + c~)~/¯ (1, onehas (~, (X)) ~--* { f [ f ¯ C(1+°~)0([0, T]; X); f(O) = if(0) = (c) For ~? ¯ (0, 1) and (1 + c~)r/¯ (0, 1) U (1, onehas [~ hO+~)"([ 0, T]; X). ~)al+o (O) = ~D.z~1+ o (~’ (~)) The corresponding statements for ~, 0 < a < 1, were given in [1, Lemma11]. Proof of Lemma8. (a) By [1, Theorem 10(b) and Lemma11],
~1+c~
= ~v~l
-----
(.~)~ = (.~l)l+a. To see that ¢A1+o-< ~(l+a) one applies [10, Prop. 4]. that ¢~i~+o < {(1 + a). By [13, Proposition 2.3.2], and as .~1+~ = (.41) ~+~, one then has ¢~i~ < {. By this contradiction, CA~+.= {(1 (b) and (c) follow by [1, Theorem 10(c) and Lemma11] and by the Reiteration Theorem. [] A combination of Lemma7 and Lemma8 immediately implies (b) and (d) Of following Lemma and also (a), (c), if 7 ¯ (0, 1 + a), To prove (a), (c), if ~, ¯ [1 + a, 2), apply ~ to (28), with e ¯ (7 - 1 - a, use [1, Theorem10(c)], and thus reduce the problem to a case already known. LEMMA 9 Let (i) and (ii)
of Theorem 2 hold. Then the following is true:
(a) Let h ¯ C’¢([0, T];X) with 7 ¯ (0,2), 7 ~t 1. /f7 ¯ (0, 1), assume h(O) := If 7 ¯ (1,2), assume h(O) = h~(O) = O. Then there exists a unique strict solution z of (28) such that Bz(t_) CT([0, T] ;X). Moreover, in thi s cas e there exists a constant M = M(7, c~, B, T) such that
(b) Let h ¯ .(" ~I3([O,T];i~B(7,~x~)), 3’ ¯ (0, 1]. Then thereexists a unique strict solution z of (28) such that Bz(t) ¯ .~C~/3([0, T]; ~z(3’, co)). Moreover, in this case there is a constant M= M(7, a, B, T) such that IlBz(t)ll~([o,T];v,(.r,~))
Regularityof Solutionsof FractionalEvolutionEquations
245
(c) Let h ¯ hT([O,T];X) with 7 (0,2), 7 ~ 1. /f7 ¯ (0 ,1 assume h(O) = ff-~ ¯ (1, 2), assume h(O) = At(O) = O. Then there exists a unique solution z of (28) such that Bz(t_) ¯ h~r([O,T];X). (d) Let h ¯ Co([0, T];7:)~(7)), with 7 ¯ (0, 1). Then there exists a unique solution z of (28) such that Bz(t) ¯ Co([O,T];I)B(7)).
4
AN INTERPOLATION
LEMMA
For the analysis of necessary conditions for solutions of (1) to exhibit a specific behavior one needs the following version of earlier interpolation results [2, Lemma 3], [9, Prop. 2.2.12]. Below, CI (I, X) denotes Lipschitz-continuous functions defined on I with values in X and C2 1. denotes functions having the first derivative in C LEMMA 10 Let X and Y be Banach spaces that are continuously injected in a Hausdorff locally convex topological vector space. Let I be a closed, bounded interval and let f ¯ Cc~(I,X) N C$(I,Y), where &,~ (0 ,2]. Then f ¯ C(1-°)5+°~(I, (X, Y)o,~) for each (0, 1) and
fl c,,-o)~,+o~(z.(x,Y)o,~) 2(llfllc~(~;x) + 2allIa-asup~e~llf’(t)llx,i/&> l,~
246
Cb~ment et al.
Then, by (a) of Lemma6, Bw E {: 1+o-~. By the relation Bu = Bv + Bwone has Bv E ~; 1+~-~. Thus, by (a) of Lemma4, we arrive at BUoE "DR((I+~_.~)(I+~)
REFERENCES 1. 2.
3.
4. 5.
6. 7. 8. 9. 10. 11. 12. 13. 14.
Ph. Clement, G. Gripenberg and S-O. Londen, Schauder estimates for equations with fractional derivatives, Trans. A.M.S. (to appear). Ph. Clement, G. Gripenberg and S-O. Londen, H6Ider regularity for a linear fractional evolution equation. In Topics in Nonlinear Analysis, The Herbert AmannAnniversary Volume (1998), Birkh~iuser, Basel, 69-82. Ph. Clement, G. Gripenberg and S-O. Londen, Regularity results for some fractional evolution equations, Helsinki University of Technology, Institute of Mathematics, Research Report A 413 (1999). G. Da Prato and P. Grisvard, Sommesd’op~rateurs lindaires et dquations diffdrentielles opdrationnelles, J. Math. Pures Appl. 54 (1975), 305-387. G. Da Prato, M. Iannelli and E. Sinestrari, Regularity of solutions of a class of linear integrodifferential equations in Banachspaces, J. Integral Eqs. 8 (1985), 27-4O. G. Da Prato and E. Sinestrari, Differential operators with non dense domain, Ann. Scuola Norm. Sup. Pisa C1. Sci. (4) 14 (1987), 285-344. P. Grisvard, Commutativit~ de deux foncteurs d’interpolation et applications, J. Math. Pures Appl. 45 (1966), 143-206. P. Grisvard, t~quations diff~rentielles abstraites, Ann. Sci. l~cole Norm.Sup.(4) 2 (1969), 311-395. A. Lunardi, Analytic Semigroups and Optimal Regularity in Parabolic Problems, Birkh~user, Basel, 1995. S. Monniaux and J. Pr/iss, A theorem of the Dore-Venni type for noncommuting operators, Trans. A.M.S. 349 (1997), 4787-4814. J. Priiss, Evolutionary Integral Equations and Applications, Birkh~iuser, Basel, 1993. E. Sinestrari, On the abstract Cauchy problem of parabolic type in spaces of continuous functions, J. Math. Anal. Appl. 107 (1985), 16-66. H. Tanabe, Equations of Evolution, Pitman, London, 1979. H. Triebel, Interpolation Theory, Function Spaces, Differential Operators, North-Holland, Amsterdam, 1978.
Infinite Horizon Riccati in Nonreflexive Spaces
Operators
WOLFGANG DESCH and WILHELMSCHAPPACHERUniversitgt tut fiir Mathematik, Heinrichstrasse 36, A-8010 Graz, Austria
Graz,
Insti-
EVA FA~ANGOV~ and JAROSLAV MILOTA Department of Mathematical Analysis, Charles University, Sokolovska 83, 18675 Praha 8, Czech Republic
ABSTRACT For the least square control problem with an unbounded controller and a bounded observer we prove that the optimal control is of feedback type also for infinite time horizon and a non-reflexive state space. This feedback is given by a Riccati operator which is a unique positive and symmetric solution of the algebraic Riccati equation.
1
INTRODUCTION
We consider the infinite
horizon control problem
Minimize J(u; xo) = []Cx(s)] 2 ~- lu(s)121 ds.
Partially supported by Spezialforschungsbereich F 003 "Optimierung und Kontrolle" Karl-Franzens-Universitgt Graz, grant GAUK 19/1997, and Aktion ~sterreich-Tschechische blik".
247
(1.1) at the Repu-
248
Deschet al.
over all u E L2(0, oc; U), subject ~ = Ax + Bu , z(O) = xo
(1.2)
Here A is the generator of an exponentially stable Co-semigroupin a non-reflexive Banach space X, and B is a bounded linear operator from a Hilbert space U into the extrapolated Favard class F-1. C is a bounded linear operator from the state space X into a Hilbert space Y. Since the range of B is not contained in X, this is a problem of unbounded control. The theory of the least squares regulator with unboundedcontrol in Hilbert spaces is well developed, see e.g. [1], [2] and references therein. It turns out that the formalism of the Riccati equation can be adapted to unbounded control and observation. The value function of the optimal control problem is a quadratic form (Pxo,xo), where P is a bounded, positive definite symmetric linear operator on X. In many cases the optimal feedback is synthesized by a feedback law u*(t) -B*Px(t), but there are intricate situations whenthis expression is not well-defined and the optimal control is not givenby a bounded state feedback. Such problems are likely to occur if the range of the control operator B is relatively large, or if an unbounded input B is combined with an unbounded observation C. Roughly speaking, bounded state feedback is a matter of comparing the range of P with the domain of B*. Our intention is to carry over the Riccati formalism to the case of nonreflexivc Banach spaces with the smoothest kind of unbounded control, namely control taking values in the extrapolated Favard class. This is only a very restricted class of unbounded control (it would be bounded in any reflexive space), but it appears frequently in semigroup settings for delay equations, integrodifferential equations, and age dependent population dynamics ([3]-[7]). Notice that existence and uniquehess of the optimal control is clear by quadratic opti~nizatiou in the Hilbert space L~(0, oo, U). The nonreflexive state space enters the scene only when we consider the relation between the optimal solution x and the optimal feedback. The Riccati equation is originally a Hilbert spaceconcept, but it can be rewritten in terms of the duality between X and X*. In nonreflexive spaces this duality is loaded with technical difficulties since the adjoint semigroupis usually only strongly continuous on a closed subspace of X*, called X~. Nevertheless, in a recent paper [4] we have shownthat the finite horizon control problem 7’
Minimizeg(u; x0, T) =/o [ICx(s)()" + lu(s)12] ds.
(1.3)
admits a Riccati operator P(t) which takes values in Xa), so that B*P(t) is well defined and the optimal control is giveu by bounded state feedback. In this note we derive a similar result for the infinite horizon problem. We~ni~nic an approach well-knownfrom the Hilbert space theory: Given the Riccati operator for the finite horizon problem, we perform a limiting procedure for T ~ oo, which leads to the Riccati operator for infinite horizon and the algebraic Riccati equation. In the next section we give a short overviewover the technical tools required, i.e. the concept of the extrapolated Favard class, and the Riccati equation for the fi~ite horizon control problem. In the subsequent section we state and prove the existence and uniqueness of the Riccati operator for the infinite horizon problem.
Infinite HorizonRiccati Operatorsin NonreflexiveSpaces 2
249
PRELIMINARIES
Let X be a Banach space with norm I I. Let A be the infinitesimal generator of a semigroup S(t) on X and let its growth rate be negative, i.e. S(t) is exponentially stable. Let X-x be the completion of X with respect to the norm Ixl_l :: IA-lx[,x E X. The Banach space X_I is said to be the extrapolated space with respect to the generator A (or the semigroup S(t)), see e.g. [7],[8] and references given there. Evidently, A can be extended from X1 (the domain of with the graph norm) to A_x : D(A_I) = X -~ X_~. Then p(A) = p(A-1) and (A - A_~)-1 is the continuous extension of (A - A)-x. Moreover, the semigroup S(t) has also a continuous extension to the C0-semigroup S_l(t) on X_~ and the generator of S_l(t) is A-1. The growth rate of S_l(t) is the saIne as for S(t), in particular it is negative. Wedefine the Favard class F of the semigroup S(t) by F := {x ~ X;limsupl S(t)x-x I < cx)} t t~o+ (see e.g. [8],[9]) and similarly the Favard class F_~ of S_~. Weintroduce the norm IzlF := supl S(t)x - x t I t>o on F and similarly IXlF_, on F_~. Obviously, A_a maps F isometrically onto F-t. If X is reflexive then E = D(A) ([8],[9]). For a non-reflexive space the adjoint semigroup S*(t) is not strongly continuous in general. As usual, X(v denotes the maximal closed subspace of X* where S*(t) is strongly continuous. By Theorem 3.2.6 in [8], F-1 can be imbedded into X(~*, and F_~ = X~:-)* whenever X is sunreflexive with respect to the semigroup S(t). The following well-known proposition is crucial for our formulation of control problems.See also [3],[41,[7],[8]. PROPOSITION 2.1 map
Let S(t) be a C0-semigroup on a Banach space X. Then the f~S-l*f:=
S_~(t- s)f(s)ds
is continuous from L~(O,T;F_~) into C([O,T];X) for all finite exists a constant c(T) such that
IIS-~*fllc([o,rl;x)
T > 0 and there
_< c(T)
On the basis of this proposition we define the mild solution of the equation (1.2) for B ~ £(U,F_I) and xo ~ X as follows t
x(t)
= S(t)xo
j~0
+ S-a(t
- s)Bu(s)ds
(2.1)
]l)eschet al.
250
Nowwe state the main result of [4] on the existence and properties of the differential Riccati operators. THEOREM 2.2 For each 0 < t < T < c~ there exists a unique operator P(T, t) £(X, °) satisfying t he f ollowing properties : (1) P(T, t) is symmetric in the sense that (P(T, t)x, z) = (P(T, t)z, for all x, zEX. (2) P(T, t) is positive in the sense that (P(T,t)x,x I >_ 0 for all x ~ X. (3) For each x ~ X, P(T, t)x depends continuously on t. (4) P(T, .) satisfies the following version of the Riccati equation: For each x, z ~ X, T
(P(T, t)z,
x) = ~ (CS(s - t)z,
CS(s
T
- f (B*P(T, s)S(s - t)z,
B*P(T, s)S(s -
Moreover, if P(T, t) is given as above, then the optimal control is determined by the feedback law ~t(t) = - B*P(T,t)2(t) and the value function of the optimal control problem is determined by P(T, .): (P(T,t)xo,x0)
= minJ(u;xo,
T-t),
where the minimumis taken over all u ~ L2(0,T - t; U).
3
ALGEBRAIC
RICCATI
EQUATION
The main result is the following theore~n. THEOREM 3.1 Let the following hypotheses be satisfied (HI) A is a generator of an exponentially stable Co-semigroup S(t) on a Banach space X; (H2) B E £(U,F_I) , U is a Hilbert space; (H3) C E £(X, Y), Y is a Hilbert space. Then there exists a unique P ~ £(X, @) satisfying t he f ollowing p roperties : (i) (Px, x)x.×.x" >_ 0 for all x e X ; (ii) (Px, y) = (Py, for allx , yGX; (iii) The following weak version o.f the algebraic Riccati equation holds for any x, y ~ F for which there are u, v ~ U such that A_ ~ x + Bu ~ X, A_ ~ y + Bv ~ X: (A_lx, PY)xe. ×xo + (A_iy, Px)xo. ×xo (Cx, Cy)~. - (B*Pz, B*Py)u
(13.1)
Infinite HorizonRiccati Operatorsin NonreflexiveSpaces
251
Moreover, the optimal control fi for ti~e problem (1.1),(1.2) is given by the feedback law ~t(t) = -B*P~(t) , (3.2) where ~ is the mild solution of ~=Ax-BB*Px
,
x(O)
=
(3.3)
For the value function the equality min J(u;
Xo)
=
(Pxo, Xo)
uEL2(R+;U)
holds for any z0 ¯ X. Proof: The proof is given in three steps. 1) Construction of P, Since the differential Riccati operator P(T, t) is symmetric and non-negative, the Cauchy type inequality [(P(T,t)x,y)l
2 <_ (P(T,t)x,x).(P(T,t)y,y)
holds for any x,y ¯ X. Because of the assumption (H1) we have T-t
(P(T,t)x,x)
= (P(T - t,O)x,x)
~, ICS(s)xl2ds<_cllxl j~O
where c~ is independent on t,T. Moreover, if T1 > T2 and u ¯ L2(O, Tr;U), then J(u; x, T2) ~_ g(u; x, TI). Consequently, (P(T2, O)x, x) <_ (P(TI, O)x, Therefore there exists lira (P(T, t)x, =: T--~oo
for all x ¯ X independently on t ¯ I~+. By symmetry we have 4(P(T, t)x, y) = (P(T, t)(x + y), x + y) - (P(T, y), ( x - y) so that we infer the existence of lira
(P(T,t)x,y)
=: a(x,y)
for any x, y ¯ X. The bilinear form a(x, y) is symmetric, non-negative and bounded. This means that there exists P ¯ £(X,X*) such that (Px,y) = a(x,y). We have shown that P(T,O) -~ in the weakopera tor topol ogy. By sy mmetry and monotonicity we get again a Cauchy inequality ](y,Px-
P(T,O)x)] ~ <_ (y, Py- P(T,O)y).(x, Px- P(T,O)x) 2. _< Cllyl (x, Px- P(T,O)x).
From this we deduce that P(T, O)x converges to Px in the strong topology, and as a consequence Px ¯ X~. Evidently the operator P satisfies (i),(ii).
252
Deschet al.
2) P solves (3.1). In (4, ibrmula (3.8)] we proved the following formula
(P(T, t)4, 4) = [ICx(s)l2 ÷ lu(s)l 2 -[~4,~) ÷ B*P(T, s)x(s)l’2]ds,
(13.4)
where x(.) is the mild solution of the problem &(s) = Ax(s) + Bu(s) , x(t) on the interval It,T]. Choose u E L~(I~+;U). Then the corresponding mild solution x E L2 Iq C(]~+;X), and P(T,s)x(s) -+ Px(s) pointwise in the norm of X® for T -+ oe. As B ~ £(U, F_~) and F_~ is continuously imbedded into °*, B*P(T, s)x(s) -~ B*Px(s). Because of the uniform boundedness of B*P(T, s), the dominated convergence theorem yields [ICx(s)l 2 + lu(s)l 2 -lu(s) + U*Px(s)12]ds
(Px(t), x(t))
(3.5)
Suppose now that Xo e X is such that there is Uo E U for which A_~xo + Buo ~. X. If u ~ W~’~(ll~+, U),u(O) = Uo, then the corresponding mild solution x is a classical one (Proposition 4.3 in [4]). Therefore, we have (using the symmetry of P (3.5))
~
(Px(t),x(t))
= 2(Px(t),A_~x(t) -= -ICx(t)l ~ - lu(t)l ~ + lu(t) + B*Px(t)]~ ¯
Especially, for t = O, 2(Pxo, A-~xo + Buo) = -ICxo] ~ - luol 2 + ]uo + B*Pxo]2 .
(3.6)
Evaluating (3.6) for x + y instead of x0 and subtracting (3.6) for x and y, we
(Px, A_~y + By) + (Py, A_~x + Bu) -(Cx, Cy) + (B*Px, v) (B*Py, u) (B*Px, B*Py) for any x,y ~ F,u,v ~ U such that A_~x + Bu ~ X,A_~y+ Bv ~ X. Further, (Px, A_~y + Bv)xex.~: = (A_~y, Px).,~.x.~
+ (Bv, Px).~.xX~
and (By, Px)xe. x.~e = (B*Px, v)u and (iii) follows. 3) Uniqueness. The equation (3.3) has a mild solution as the linear operator F : C([v, v + T]; C([T, "r + T]; X) defined by Fx(t)=
S_~(t-s)BB*Px(s)ds,
te[r,r+T],
(~.7)
253
Infinite HorizonRiccati Operatorsin NonreflexiveSpaces
has the norm [IFII < 1 for sufficiently small T independently on 7 E ll~ +. From (3.5) we infer immediatelythat IPxo, xo) is the value function of the infinite horizon problem, and that the optimal control is obtained by the feedback ~t(t) = -B* P~(t). Nowlet Q ¯ £(X, (~) s atisfy ( i)-(iii). I f x is a c lassical sol ution to (1. 2) for u E W1’2, then we obtain after a simple computation
: 2(Qx(t),A_x(t) + Bu(t)) : -tCx(t)l- lu(t)l + lu(t) + B*Qx(t)l Taking into account the exponential stability of S_1, we get limt-~c~ (Qx(t), x(t)) 0, and by integration,
+ B*Qx(t)12]dt
(3.8)
The validity of (3.8) can be easily extended to any x0 ¯ X and u E L2(I~+;U). This shows again that (Qx, ~:) is the value function, so that (Qx, x) = (Px, for all x E X. Since P and Q are symmetric, we obtain Q = P. COROLLARY 3.2 Let P be as in Theorem 3.1.
Then
(i) there exists a continuous extension P_~ of P, P-1 : F_I ~ X* (ii) P maps:D(A) into :D(A*) (iii) for x ~ T)(A) the algebraic Riccati equation PAx + A*Px + C*Cx - P_~BB*Px = 0
(3.9)
is satisfied. Proof : (i) Since F_~ is continuously is a linear continuous form on X and that (x, Py}xe.×x~ = {P-~x,y}x.×x £(F-1, X*) and (P-~Bu,y)x. xx (ii) and (iii)
imbedded into °*, t he map y~ (Py, x) therefore there exists P_~x ~ X* such for y ¯ X,x ~ F_~. Moreover, P_~ ~ = (u,B*Py}[~
x,y ¯ ~) (A),u = v = 0.From(3.7)and
(3.10)
(a.10)we have
(Px, Ay) = (P_IBB*Px, y) - (C*Cx, y) - (PAx,y) i.e. Px e 7?(A*) and (3.9) follows. ACKNOWLEDGMENT The authors thank to L.Maniar for pointing in the previous version of this contribution.
out the error
REFERENCES 1.
B.van Keulen. H~-Control for Distributed Systems : A State Approach, Systems & Control : Foundations & Applications, Birkh/iuser, 1993.
254 2.
3.
4. 5. 6. 7.
8. 9.
Deschet al. I.Lasiecka, R.Triggiani. Differential and Algebraic Riccati Equations with Applications to Boundary/Point Control Problems: Continuous Theory and Approximation Theory, Lecture Notes in Control and Information Sciences 164, Springer Verlag, 1991. W.Desch, W.Schappacher. Somegeneration results for perturbed semigroups. In: P.Clement, S.Invernizzi, E.Mitidieri, I.Vrabie, eds. SemigroupTheory and Applications. Lecture Notes in Pure and Applied Mathematics 116, M.Dekker, 1989, pp. 125-152. W.Desch, J.Milota, W.Schappacher. Least square control problems in nonreflexive spaces, to appear in Semigroup Forum. O.Diekmann, S.A.van Gils, S.M. Verduyn Lunel, H.-O. Walther. Delay Equations. Functional-, Complex-, and Nonlinear Analysis. Springer Verlag, 1995. G.Greiner. Perturbing the boundary conditions of a generator. Houston J. Math. 15: 527-552, 1987. R.Nagel, E.Sinestrari. InhomogenousVolterra integrodifferential equations for Hille-Yosida operators. In:Lecture Notes in Pure and Applied Mathematics 150, M.Dekker, 1994, pp. 51-70. J.van Neerven. The Adjoint of a Semigroup of Linear Operators. Lecture Notes in Mathematics 1529, Springer Verlag, 1992. P.L.Butzer, H.Berens. Semi-Groups of Operators and Approximation. Springer Verlag, 1967.
A Hyperbolic Variant Simon’s Convergence
of Theorem
Alain HarauxCNRS Laboratoire d’Analyse Num6rique,Universit6 P. et M. Curie, Paris, France
The main object of this report is convergence to an equilibrium of weak global energy-bounded solutions of the wave equation utt + cut - Au + f(x,u) where ~2 is a bounded smooth domain of ~v, c > 0 and
is a function analytic in s satisfying some relevant growth conditions. Such a result has been obtained recently in a joint work with M.Jendoubi [8] as a culminating point of our attempts to understand in depth the fundamental theorem of L. Simon [17] on convergence of bounded trajectories of semilinear parabolic systems with analytic nonlinearities. The convergence problem for gradient or gradient-like systems has already a rather long history starting around 1960 with some investigations of S. Lojasiewicz on the steepest descent problem in differential geo~netry. Even in finite dimensions the question is more complicated that it maylook at first sight. S. Lojasiewicz [12, 13] was led to the idea that analyticity of the potential is the key to convergence and, under this condition, established a topological property of stationary points which allows to derive convergence via a simple differential inequality. Muchlater, in 1982, J. Palls and W. de Melo [15] somehowconfirmed the necessity 6f the Lojasiewicz condition which may fail even for C~ gradient systems. Very soon after, in 1983, L. Simon achieved his remarkable work on parabolic problems. In tile mean time, Tile convergence property had been established for various gradient and quasi-gradient flows by B.Aulbach [1], H. Matuno[14] and T.J. Zelenyak [18]. The dimension condition used in the proofs of Aulbach and Matano has been later exploited in a quite general context by Hale-Raugel [3] and allows convergence proofs under standard regularity assumptions, in particular analyticity is not needed. However, apart from the case of thin domains, in higher space dimensions 255
256
Haraux
this hypothesis is not very natural. Also the counterexalnple of [15] suggests that we have to be careful even when dealing with the heat equation. And maybe there is something really deep hidden behind this strange-looking Lojasiewicz Lemma. The hyperbolic case studied below as well as a recent result of E. Feireisl and F. Simondon [2] for degenerate parabolic equations seem to confirm once more the interest of this simple intuitive idea: analyticity of the potential has a tendancy to kill small oscillations, even if the solution itself is not analytic!
1
FINITE
DIMENSIONAL
GRADIENT
SYSTEMS
In this section we consider the finite dimensional Euclidian space X = l~ N with usual norm denoted as I.I and a potential field F : tt: N ~ l~. For simplicity we assume F N) E C201~ and we denote by VFthe gradient of F. Weconsider the first governed by the equation u’+VF(u)=0,
order gradient system
tk0
(1.1)
First we recall a simple well-knownfact on bounded solutions of (1.1) PROPOSITION 1.1 If u is any 91obal bounded solution
of (1.1),
we have
lim dist(u(t),g) with £={aeX,
VF(a)=0}
PROOF First we notice that F is a Liapunov function of (1.1). Moreprecisely for any solution u of (1.1) we have
-lu’(t)l~ <_ ~F(u(t)) =
0
(1.2)
Since u, and therefore F(u) is bounded, (1.2) implies (1.3)
u’ E. L~(O, +e~; X) Then by differentiating
the equation u" = -V~F(u)u ’ ~ L~(O, +oo; X)
(1.4)
and therefore
- lu’(t)l
(1.5)
e
By (1.5) the function p(t) I¢(t)l ~ te nds to a l imit as nonnegative and p ~ L~ (0, +oc; X), we conclude that lim (u’(t))
t--~+~x)
t
Since p is
HyperbolicVariant of Simon’sConvergenceTheorem
257
This last property implies the result sihce then by the equation, any limiting point of u(t) as t -~ +e~ belongs to g = (a E X, ~7F(a) 0}. REMARK 1.2. It is natural
to wander whether in fact we have
lim u(t) = a £ The situation is as follows 1) If N > 1, the answer is negative in general. More precisely, if N = 2 the omega-limit set of a bounded trajectory can be a full circle even for F ~ C°°, of. Palls-De Melo [15 ]. 2) If N = 1 we have convergence since any non constant trajectory is monotone. If N > 1 we have convergence assuming that F is (real) analytic. THEOREM 1.3 (Losjasiewicz) Let F : l~ N -~ ]~ be real analytic and let u be any boundedglobal solution o[ (1. I). There exists a ~ ~ such that lim lu(t) - aI = 0
(1.6)
The proof of theorem 1.3 relies on the following deep lemmadue to Lojasiewicz [12, 13 1. LEMMA 1.4 (Losjasiewicz) Let F : NN _.+ ~ be real analytic and let a ~ g. There are two real numbers (depending on a in general)
oe(o,1/2); such that
Vue X,lu - al _
(1.7)
The proof of Lemma1.4 is quite involved and is based on the theory of real analytic manifolds. On the other hand, it is very easy to understand why (1.7) not satisfied in Palls-De Melo’s counterexample, and the proof of Theorem1.3 is a simple consequence of Lemma1.4. Part of the depth of Lemma1.4 is contained in the quite non-trivial and essentially global information that any critical point of F close enough to a has to be at the same energy level as a. Indeed when VF(u) = and lu - a t _< r], (1.7) gives F(u) = F(a). On the other hand there is apparently no way of globalizing (1.7) completely. It would be very useful, especially in view infinite dimensional generalizations, to find either a non-constructive elementary proof by contradiction or (even if it is very complicated) a constructive method allowing to determine 0 in terms of F and a. PROOFof Theorem 1.4 (admitting Lemma1.3) Let a be any limiting point u(t) as t -~ +oo. As a consequence of Proposition 1.1, we have a ~ £. Introducing v = u - a and C(v) = F(u + a) -
258
Haraux
we may assume that in fact a=0 After this reduction,
F(0)=0
(VF)(0)=0
since F(u(t)) is nonincreasing and a = lim U(tn) for some
sequence tn tending to infinity,
we have Vt > 0, F(u(0) >_
(L8)
Also by (1.2) we have also , since ~ =-VF(u)
= -I-’(t)llVF(-(t))l In addition, either F(u(T)) for someT fin it e, in wh ichcase F(u(t) ) = 0 for all t k T and as a consequence of (1.2) we conclude that u(t) ~ a. Or F(u(t)) > 0 for all t > 0. In this last case ~(-[F(u(t) °) : -O[F(u(t) )] °-’ ~ F(u(t) ) 0 IVF(u(t ) ~-° )llu’ [F(u(t))] and by (1.7) this implies
°) >Olu’(t)l ~(-[F(u(t))]
(1.9)
on any interval of (0, +oc) on ~vhich the condition
lu(t)l_< is fulfilled. Inequality (1.9), implying an ~ bound on u ~, i s q uite s uggestive o f convergence. To complete the proof we select s > 0 such that
1 sup[F(s)l° < ~
and
~ Isl<~
~
(1.10)
Then let tl > 0 be such that lu(h)l <_
(1.11)
aud T := sup{t~ > t,,
[u(t)l
~, Vt E ( t, ,t~)}
By using (1.8) for t = te we find, integrating (1.9)
’¢t.~z (t,,T),
t~ 9~t
1 r/ lu’(t)ldt < ~[F(t,)]° < ~
If we assume combining(1.10), (1.11) and (1.12) , we obtain by letting t2
N(T)I
(1.12)
259
HyperbolicVariant of Simon’sConvergenceTheorem a contradiction
with the definition
of T. Hence T = +~ and lu’(t)ldt <
In particular a(t u’ ~, E +~) L and ’a(t) is convergent as t
2
A RESULT
OF L.SIMON
L. Simon[17] cousidered in particular the semilinear heat equation ut-Au+f(x,u)--O u=0 where ~ is a bounded smooth domain of
inR+ onl~ + ×Ogt l~ N,
C
×~
(2.1)
> 0 and
f : f~ x IR ---+ I~ is analytic in u, uniformly with respect to x ~ f~ He obtained THEOREM 2.1 (L. Simon) Let u be any bounded global solution on [0, +co) × ~. There exists ~ ~ g such that lim Ilu(t)
- vlI~ = 0
of (2.1) bounded
(2.2)
with
$ = e C( )n HI(a)/ - zs f( x,o) ina} The proof of Theorem2.1 is quite subtle and we shall not indicate its details. It relies essentially on the Lojasiewicz Lemmaand most of the difficulty consists in extending this Lemmaon an infinite dimensional setting. Although Lemma1.4 has an essentially global character since it involves the nonlinear energy functional, Simon has used the linearized equation around an equilibrium ~o ~ g. Fredholm’s alternative for the linearized stationary operator allowed him to apply Lemma1.4 to an auxiliary finite-dimensional nonlinear potential. Then he was able to come back to the concrete energy functional modulo a translation procedure replacing ~ by 0. The end of proof is parallel to the proof of Theorem 1.3, replacing the potential F(u) by the energy functional
= 1/~lVul2 with
dx + /~F(x,u)dx
(2.3)
It
j~0
F(x, u) := f(z,
s)ds
(2.4)
260
Haraux
Here note that even if f does not depend on x in the original equation (2.1), fact it does after the translation procedure since f(u) is replaced by g(x,u) f(u ÷ ~(x)) - f(u) REMARK 2.2 1) The original proof of Theorem 2.1 [17] seemed to use quite strong regularity properties of the solutions. Someprecise remarks on the natural functional setting will be given in Section 4. 2) The same result is no longer true if f is Ck with respect to u, cf. P. Polacik and K.P. Rybakowski[16] for a counterexample with f depending on x and k arbitrarily large. However their technique depends essentially on the x-dependence and they cannot handle the C~ case.
3
SECOND ORDER GRADIENT-LIKE
SYSTEMS
In this section we consider the second order differential system governed by the equation u" + c~’u’ + ~F(u) 0, t _ > 0 (3 .1) For simplicity we assume N) F e Cz(I~ and we denote by VF the gradient of F. First we have a simple general result whoseproof is essentially identical to the proof of Propositon 3.1 PROPOSITION 3.1 If u is any global bounded solution
of (1.1),
we have
lim dist(u(t),£) with ~ = {a ~ X, VF(a) = 0} PROOF First we notice by the equation, boundedness of implies that u’ and u" are also bounded. In addition for any solution u of (1.1) we have d~{ lu’(t)] 2 + F(u(t))} = -lu’(t)l 2 < 0
(3.2)
Since u, and therefore F(u) is bounded, (3.2) implies u’ ~ L~(0, +~c;X) Then by differentiating
the equation
u’" + au" = -V~F(u)u ’ e L~(0, +~c; X) Multipying by u" and integrating on [0, t) we deduce that u"e L~(0, +~x);
(3.3)
HyperbolicVariant of Simon’s ConvergenceTheorem
261
Therefore ~-~]ud’(t)l s = 2(u’, u") E t (0, +ec; X) The rest of the proof is identical to that of Proposition 1.1. REMARK 3.2. It is natural
to wander whether in fact we have lim u(t) = a E
If N = 1 we have convergence (cf. e.g. [4, 5]). If N > 1, the answer is probably negative in general. In [7] the following result w~ obtained THEOREM 3.3 Le¢ F : ~N ~ ~ be real analytic solution of (1.1). There exists a ~ ~ such that
and let u be any bounded global
lim ~u(~) - a~ =
To prove this result,
(3.4)
we had to consider the modified Liapunov function
H(t) = ~lu’(t)l ~ + F(u(t)) + e(VF(u(t)), For e > 0 small enough, using Lemma1.4, it can be shown that for t large ~t {(H(t)) °} _< -O-~(lu’(t)l + IVF(u(t))l)
(3.5)
Then the proof parallels the first order case.
4
THE MAIN RESULT
Wenow consider the second order evolution problem utt+cut-Au+f(x,u) u=0
=0 inlR + x~ on~ + )
(4.1)
where Ft is a bounded smooth domain of ll~ ~v, c > 0 and f:Ft
x~--~
In Ill] M.A. Jendoubi adapted to equation (4.1) the method of L. Simon [17] for infinite dimensional systems of parabolic type (cf. also [10] for an abstract reformulation of Simon’s results under natural regularity conditions). He proved the following result.
262
Haraux
THEOREM 4.1 Assume that f is analytic in s, uniformly with respect to x Of (x,s) and 02f ~ and f(x,s), ~s2 (X,S) are bounded in ~ × (-/~,/~) Vfl > O. Let a solution of (1.1) and assume that there exists p >_ 2 such that t3 {u(t, .),ut(t, t_>l
.)} is precompact in W2’P(Ft) W"P(~)
(4.2)
with p >N-~ if N<_6, and p > N if N>6. Then setting $ = {V E H’~(~) there exists ~ E S such that lim {l[utllw,.,(~) Il u(t, .) ~(. )l lw~.,(n)} = 0. This result is interesting because no growth condition on f is required, on the other hand it is only applicable to strong solutions and the condition of boundedness in W~,~(~) × WLP(~)is restrictive and not always easy to check in practice. hypothesis was motivated by the necessity of using an infinite dimensional extension of the classical Lojasiewicz inequality. In fact when trying to extend the method of 3, in a first approach it is natural to .consider, after replacement of u by u - ~, the functional
=dx ¯ (t)=~ I~1
+ E(~)+~ f~ [-/~u+ f(x, ~)].~
with E(u) = l ~¢ lVulU dx + L F(x, u)dx as a possible Liapunov functional. ¯ ’(t)
~( -c~+~f’(x,u))[ut[~-dx+~
= ~(-~+~]’(x,u)),ut,~dx-~
Howeverthe computation gives jf ~[-Au + f( x,u)]uttdx+~/~ ,V
ut,~dx
,-Au+f(x,u),2dx-a~[-Au+f(x,u)]utdx
The three firs~ terms fi~ just OK,bu~ the las~ one is of higher order wi~h ~he bad sign.In order to overcome~his di~culty, Jendoubi considered ~he modified functional H(t) = ~(t) + 6 ~ IVutl2 dx + ~ ~1- Au + f(x,u),:
dx + ~ ~ f’(x,u),ut,
By using (4.2), he proved that for ~ small enough and t > H’(t)
~ -¢
f (iw,,i +1-+ f(x,u)l2} dx
~ dx.
263
HyperbolicVariant of Simon’s ConvergenceTheorem To conclude the proof of Theorem4.1, Jendoubi used the following result
LEMMA 4.2 Under the hypotheses of Theorem 4.1, let ~ E S, then there exist 9 ~ (0, ½) and a > 0 such that Vu ~ W2’P(12) n H~(~), []u- ~l]2,p < a implies
II - ~xu+ f(x,u)lb:(m> 1-a 6lE(u)- E(~o)l
(4.3)
for some ~ > O. Actually (4.3) does not look too natural since when f = 0, the energy is comparable to the square of the norm of -Au in H-l(f~) rather than L2(f2). As a matter of fact, in [8] we established LEMMA 4.3 Assume that f is analytic in s, uniformly with respect to x ~ 12 and either N = i and f(x,s), and ~-~/(x,s) are bounded in ~ × (-~,~3) for all l~ > or N >_ 2, f(x,O) ~ L~(~t)
I-~(~,s)l < c(1 + Isl~) a.~.on~ × (-~,~)
(4.4)
for some C >_ 0 and c~ >_ 0, (N - 2)~ < 2. Given ¢: ~ S, then there exist ~ e (0, ½) and a > 0 such that Vue H~(f~), Ilu - ~llH~(a) < a implies
II- ~Xu+f(x,u)llH-,(~) 61E (u) (~ -~-° E
(4.5)
for some ~ > O. From Lemma4.3, following the strategy of the previous proofs, we obtained the following final result THEOREM 4.4 Assume that f is analytic in s, uniformly with respect to x ~ f~ and either N = 1 and f(x, s), and °o~s(x, s) are boundedin 12 x (-l?, 17) for all/? O, or N >_ 2, f(x,O) ~ L~(~) ]-~(x,s)l
_< C(1 + Isl ~) a.e.on f~ x (-oe,c~)
(4.4)
/or some C >_ 0 and a >_ O, (N - 2)a < 2. Let u be a solution of (1.1) such that ~ {u(t, .),ut(t, t>_o
.)} is boundedin go~ (~t) x L2(12).
Then there is a solution qo of
such that lim {[[Ut[IL:(~)flu(t, .) -- qO(.)[[So~(~)} = O
(4.6)
264
Haraux
REFERENCES 1. 2. 3. 4. 5. 6.
7.
8. 9.
10. 11.
12. 13.
14. 15. 16. 17. 18.
B. Aulba.ch, Approach to hyperbolic manifolds of stationary solutions, Springer-Verlag Lecture Notes in Math. 1017 (1983), 56-66. E. Feireisl ~z F. Simondon, Convergence for semilinear degenerate parabolic equations in several space dimensions, to appear (1999). J. Hale & G. Raugel, Convergence in gradient-like systems with applications to PDE, Z. Angew. Math. Phys. 43 (1992) 63-124. A. Haraux, Syst~.mes DynamiquesDissipatifs et Applications, R.M.A. vol 17 (Masson, Paris, 1991). A. Haraux, Asymptotics for some nonlinear O.D.E. of the second order, Nonlinear Anal. TMA10 (1986) 1347-1355. A. Haraux, "Semilinear hyperbolic problems in bounded domains", Mathematical Reports, vol.3, Part.1 (Edited by J.DIEUDONN15,).Harwood Academic Publishers, NewYork (1987). A. Haraux & M.A. Jendoubi, Convergence of solutions of second-order gradient-like systems with analytic nonlinearities. Journal Diff. Eq 144 (1998), 313-320. A. Haraux & M.A. Jendoubi, Convergence of solutions of the wave equation with analytic nonlinearities. Calculus of variations and PDE,to appear (1999) A. Haraux & P. Polacik, Convergence to a positive equilibrium for some nonlinear evolution equations in a ball, Acta Math. Univ. Comeniane, 2 (1992) 129-141. M.A. Jendoubi, A simple unified approcb to some convergence theorems of L. Simon. Journal Funct. Anal. 153 (1998), 187-202. M.A. Jendoubi, Convergence of global and bounded solutions of the wave equation with linear dissipation and analytic nonlinearity, Journal Diff. Eq. 144 (1998), 302-312. S. Lojasiewicz, "Ensembles semi-analytiques", I.H.E.S. notes (1965). S. Lojasiewicz, Une propri~t6 topologique des sous ensembles analytiques r6els. Colloques internationaux du C.NIR.S #117. Les dquations aux d6riv6es partielles (1963). H.Matano, Convergence of solutions of one-dimensional semilinear heat equation, J. Math. Kyoto Univ. 18 (1978) 221-227. J. Palis, W. de Melo, Geometric theory of dynamical systems: An introduction Springer-Verlag, New-York(1982). P. Polacik, K.P. Rybakowski, Nonconvergent bounded trajectories in semilinear heat equations, J. Diff. Equa. 124 (1996), 472-494. L. Simon, Asymptotics for a class of non-linear evolution equations,with applications to geometric problems, Ann. of Math., 118 (1983), 525-571. T.J. Zelenyak, Stabilization of solutions of boundaryvalue problems for a second order parabolic equation with one space variable, Differentsial’nye Uravneniya 4 (1968) 17-22.
Solution of a Quasilinear Parabolic-Elliptic Boundary Value Problem V. PLUSCHKEDepartment of Mathematics Luther-University, Halle, Germany
1
and Computer Science,
Martin-
INTRODUCTION
In this paper we consider the following parabolic-elliptic interface problem: Let f~ E ll~ N, 1, N _> 2, be a simply connected, bounded domain with boundary 0~ E C and I = [0,T]. For given nonnegative g = g(x,t,u) : ~ × I × R -~ II~ we define f~e = fl \ suppzee g(x, t, u) ,
f~p = fl \ f~e ,
F = Of~e n Of~v
and assume that £te, tip are independent of t and u. Then we look for a weak solution of
in Q/,:= f~ × I, on rT:= r × I, on BT:: 0~ × I, x e f~p,
g(x, t, u) u, + A(t)u = f(x,
u(x,t) = u(z,O)= Vo(~)
(1) (2) (3) (4)
N where up =u[~,u~ utah, and A(t)u =-~,~__, = (~(x,~)~) +~0(~,~)~. Since g = 0 for x ~ ft~ the problem is elliptic on ~t¢ × I and parabolic on tip × I. Parabolic-elliptic interface problemsdescribe eddy currents in applications to electromagnetic field theory (cf. MacCamy and Suri [5]). The linear parabolic-elliptic problem of type (1)-(4) is investigated by a number of authors (cf. l, [21, [3 ]) who derived existence and uniqueness under rather general assumptions for g. A parabolic-elliptic interface problem with special nonlinear monotoneoperator A is solved by Zlmal [10]. Wenow investigate the problem with nonlinear dependence of f and g on u. Unlike in [10] even on f~p × I the coefficient g must not be bounded below by a positive constant. Since supp.~e~ g(x, t, u) maycontain sets of zero measure where g = 0 the parabolic problem on f’tp × I may degenerate. The decrease to 265
266
Pluschke
zero ofg is restricted by a condition on 1/g belonging to L~(flp) for all t E I,u E I~. Moreover, our technique is not restricted to Hilbert spaces. Hence we can prove stronger regularity results, e.g. almost everywhere boundedness with respect to t of ut on fp × I and even continuity of the solution u in QT for nonsmooth data. To construct the solution we use se~nidiscretization in time (Rothe’s method) that approximates the quasilinear degenerate problem by a set of linear nondegenerate uniformly elliptic problems. This method was also used by Ka~ur [3, Chapter 6.2] to solve the linear problem in somewhatlarger spaces. For f¢ = q} our problem also includes degenerate parabolic equations. However, in that case we refer to [6] for stronger results. In the present paper we do not suppose most general assumptions on the data in the parabolic region. Finally, note that our degeneration in equation (1) differs essentially from the degeneration b(u), considered by manyauthors (cf. e.g. [1]). Although for smooth b we can write b(u)~ = b’(u)u,, the set where b’ vanishes depends on u, whereas in our case the set of degeneration is supposed to be fixed for all u.
2
PRELIMINARIES
In the following [l’ lip := I[’ [Ip,~ denotes the normin Lp(f) and (., .) the duality between Lp(gt) and Lp, (~), lip + liP ~ = 1. L~,o(f) is the weighted Lebesgue space with weight 0 = O(x) and finite norm [[ullp, ~ = (f~ o(x)[?t(x)[ p dx)1/p. By [[. [[o and [[. [[o,~ we denote the norm in C(~) and HSlder space C~(~), respectively. wpl(f), l)dp~ (f) are the usual Sobolevspaces where l)dp~ (fl)is normedIlull,, :- IIVul] p. For functions restricted to tip we write l)dp~(flp) if the trace vanishes on 0fl~ ~ Off. For fixed t ~ I the operator A(t) generates a bilinear form I/~(fl) x ~,(~) denoted by A(~)(.,.). Moreover, we use the standard evolution spaces C(I,V), C°’~(I,V), and L,(I, 1/’). By c we denote a generic nonnegative constant being independent of the subdivision. Next we formulate the assumptions which are supposed to hold throughout the paper. Note that for every N there are p and r fulfilling the following restrictions. ASSUMPTIONS Suppose tip being simply connected with boundary °’~ Oi~p ~ C and meas~c_~(0~p Cl Of) > 0. Let g and f be Carath~odory functions defined ~×(I×IR). Let further be r > N, a > 1,p >_ max{2, Nr/(N+r)},p > N(a+l)/2a, and 2r(p- 2)/(r - 2) Np/(N- 2) Then we suppose for arbitrary t, t ~ ~ I and u, u~ ~ C(~) (i) U0e b~/~(llv); (ii) g(., t,u) :I x C(~) -~ Loo(~)is uniformly bounded in Loo(~) and fulfils Lipschitz condition IIg(., ~,~) - g(., ~’, u’)ll~ _<e, (1~ - ~’l ~ - u’ll ~). Furthermore, g(x, t, u) >_ for al l (x , t, u) ~ f × I × I~an 1/g(.,t,u) :I × C(fi---~) -> L~(fip) is boundedin L~(fp). (iii) a~ ~ C°’~(I,C(~)), ao ~ C°’~(I,L~(~)) ellipticity condition
with ao >_ 0, and it,
holds the
QuasilinearParabolic-Elliptic Boundary ValueProblem ~i,k aik (x, t) ~k >_ a
267
f6r all (x, t) E Q--~ and ~ E ~v, a >
: I x C(~) ~ Lp(~) is bounded in L,(~) and fulfils (iv) f(.,t,u) condition Ilf(’, ~,u) f(.,t’ ~’~" (v) Compatibility condition: ¢ ~ L.,~(.,o,~o)(~) such
the Lipschitz
There exist an extension ~0 ~ ~ (~) of Uo and
(g(., 0, Uo)¢, v) + A(0)(~o,v) = (f(.,
(C)
for all v ~ W~,(~) ~ L~(~p) holds. Welook for a weak solution in the following sense: DEFINITION Wecall u a weak solution of problem (1)-(4) u e L~(I , I}V~ (~)) has a derivative ut ~ L~(I, Lp,g(~)) and fulfils the relation ~(g(.,t,u)
ut,v)dt
+ ~ A(o(u,v) dt= f1(f(’,t,u),v)dt
(R)
for all v ~ LI(I,I~V 1 (t)¢~ L~(~p)) and initial condition (4). Wecall u a local weak solution if there is a time ~, 0 < ~ _< T such that u is a a weak solution in ~ := [0, ~]. Due to assumption (ii) a weak solution has a time derivative with ~ = pa/(a + 1) since the estimate
I1 11., <1/g .
~/(~+l)~
in L~(I, L~(~,))
=cllull,
(5)
holds. Moreover,the boundarycondition (3) and the first condition of (2) is fulfilled by the choosen function space for u, while the second condition in (2) is included the relation (R) in the sense that any smooth weak solution by the Gauss formula fulfils the equation (1) as well as transmission condition (2). Wediscuss the compatibility assumption (v). For v e I)V),(~) we see Oo must fulfil the elliptic equation A(0)/)o = f(., 0, ~ro) on f~g. Moreover, ~ro E I)dr ~ (ft), the boundary values of the extension on O~care given by the traces of Uo on F and ~0 = 0 on 0~ \ F. Hence, the extension of Uo into tic is fixed by an elliptic Dirichlet problem on tic. However, relation (C) also includes a transmission condition 0.~ Do,~ = 0~, Uo,v on F in weak sense. There is no freedom to fulfil it. Thus condition (v) is overdetermined: One cannot prescribe an arbitrary even very smooth initial function (4), but it is possible to ’bend’ it somewhatin neighbourhoodof F in order to fulfil (v). This compatibility condition is not supposed e.g. in [2], [3], [7], [10]. But these authors do not prove L~-boundedness with respect to time of the derivatives of u. In our case condition (v) is necessary: LEMMA 1 Let u be a weak solution of problem (1)-(~) with data fulfilling tions (i)-(iv). Thencompatibility condition (v) is satisfied.
assump-
268
Pluschke
PROOF Weprove the assertion for the more general case that ut ¯ Leo(I, L1 (fiTs)), p > 1, and no assumption is madeon 1/g. Of course, this is fulfilled by (i)-(iv) to the estimate (5). Owingto the choosen function spaces there is a sequence {t.n}, t,~ -~ 0, and a constant C such that II.a(.,tn)Nl,r <_.C, Nut(.,tn)Np,~(.,t.,,4.,t.)) < c and (g(.,t,~,u(.,t,d)ut(.,t,
d, v) + A(to)(u(.,t,d,
v) = (f(’,t,.,U(’,tn)),
(6)
for every v ¯ I~, (fl) r-i Loo(fly) holds. Thenthere is a subsequence{t,~. } such u(.,t,~.)~w
inl~l(fl),
w~,:=g(.,t,~,u)~/’ut(.,t,~)~w
inLp(flv).
By our assumptions we have u ¯ C°’l(I, Ll(flp)), hence winv = Uo and thus ’W -~’~ 00. The compact embedding 1~ (fl) C C(fi) even yields uniform convergence lz(’,tn~) --+ ~o as t,~ -~ 0. Moreover, let g~ := g(.,t,~,u(.,t,~)), := g(. ,O, Uo) we have g~ut(.,t.~)
gllp’ 11: w~ ~ _lip’ = ~ w~(^lip’ = y~, lolP’ -g ) w~ +go Yo ~ .
in L~(~tp)
since gk ~ go in Lc~(flT~). Wenowdefine ¢ := g~l/Pw in lip, ¢ = 0 in fl\ flT~, then ¢ ¯ Lpmo(fl) and g~ut(.,tn~) -~ g0¢ in Lp(flT~). Finally, a limit process t.,~ -~ 0 in (6) yields the compatibility conditon (C). In order to solve the problem (1)-(4) by semidiscretization in tilne (Rothe’s method) we subdivide the time interval I by points tj = jh (h > 0,j = 0,... ,n) and look for a solution uj ¯ 1~:,! (fl) of the discretized problem (gjSui,v)
+ Ay(uj,v) = (fj,v)
Yv¯ l~l,(fl)
(Ri)
uo = 0o,
(40)
j = 1,... ,n, where 5uj := (uj - uj_~)/h, gy := g(x, tj,uj_~), ]~ := f(x,t~,u~_~), and Ay(., .) := A(t~)(., .). This is a set of linear non-degenerated elliptic boundary value problems to determine the approximation uj if uj_~ is already known. Since fj, g~uj_~ ~ Lp(~) C (W~, (~)) holds for p ~ Nr/( N + r) and g j ~ 0, ao~ 0 the existence and uniqueness of a solution follows from [8, Theorems7.3 and 5.4]. Observe that the assumption r > N implies uj ~ C(~). Weconclude this section with some inequalities which we need for the a prioriestimates. Anessential tool in our investigations is the interpolation inequality (see [4, pp. 62-681)
Ilwll _
where g < ~ and ~,i~+i/N
< 0 ~ 1 , (7)
which is applied to power type functions w := iui(P-~U~’u defined on ~. Since w = 0 on a part of 09~ (cf. assumptions) IIwlN,~,a~ is an equivalent norm in ~)~ (~). Using Youngs inequality and ~he estimate (5) we obtain ~
c,
u n,
Vue W~(av)nL~(a~),
(8)
with p/2 < s < Np/(N - 2) where ~ = 1 for a = 1 and fl = 3(a,0) > 1 ~v-~(N-~) 1 < a < 1 + s(~s-v) . The last condition on a arises from the fact that we need
269
QuasilinearParabolic-Elliptic Boundary ValueProblem
a0 < 1 in order to derive (8) from (7). If 0 = 1 we obtain from (7) the Friedrichs inequality Vu e 1)¢~1(a) c~ L~(a),
(9)
where kF = kF(s, f~).
3
A PRIORI
ESTIMATES
FOR THE APPROXIMATIONS
In this section we derive estimates for the derivatives of uj with respect to x and for the discrete time derivative. The first estimate follows from the second one since uj can be regarded as a weak solution of the elliptic Dirichlet problem Ajuj = fj-gjSuj in [2, u~lon = O. Then from [8, Theorem6.3] and the positivity of Aj follows
Ilujlll,~
(10)
for all j = 1,... , n and all subdivisions since fj and gj are uniformly bounded in L~(ft) and Lc~(f~), respectively. Hencethe following estimate of (fuj is the crucial result of this section. However, due to the dependence of g on u we only obtain a local estimate. LEMMA 2 For small Lipschitz constant l~ fulfilling interval/~ = [0, ~], :~ < T, and ho > 0 such that
115uyllp,~_< M~Vtj
condition (12) there is a time < ~ 7
holds independent of the subdivision if h < ho. PROOFWetake the difference (Rj) - (Rj-1), j --- 2,... ,n, and test it v = ISujlP-’~6ui. By the use of the notation wj := I(~ujl(P-e)/:5uj and assumption (iii) we estimate (gjSuj, lSujl~-25uj } - (gj_~5uj_~, lSujl~-:Suj ) + klh [lwjll~,~ + kneh llSujllp~n ~
~ h ~(~, ~-~ )~ + l(&_~ - &)(~, where k~ = 4(p-1)/p ~ > 0 and ka e := infnextao(x,t) ~ 0. Note that Vv (p- 1)I~uj[p--2VUj = 2(p- 1)/plSujl (~-~)/~ Vwj. Then we continue by replacing the weight gj-1 by gj on the left side and estimating the right side by means of HSlders inequality, Youngsinequality, and Lipschitz conditions (iv) and (v), I}Sujll~,g~ - (gj~uj-1, ~ l:h
I~ujIp-2~Uj}
+
k~h Ilwill~,~ + ~ kn~hIlSuj[l~,n
1lSujll;-1 + lph 1tSuj-~llp,n~ 115u~ll~,~ + leh IlSuj-xllp,n, 1lSuyll~,~l~
-2)/~-a + ~hII~u~ll~ IIw~ll~,~ II~u~ll~ +~hIlu~ll~ll~u~ll~ p-~dx + /_ IgJ-~- gJl ISuj-xlI~u~l
270
Pluschke
where sz = 2r(p - 2)/(r
- 2) Np/(N - 2). Fu rthermore we hav 1
1
and
These estimates and inequality
(10) then imply
1
+hh[J~p I~uj-llelduylV-~dx+llh f~ Iduy_llP+’dx.
(11)
Observe that the total powerof ~u, in the last two integrals is p + 1 while on the left-hand side we have only the power p. This comes from the dependence of g on u. Wewill manage it below by application of a nonlinear Gronwall lemma, however we have to ensure that no item [l~ujll ~p with ~ > 1 appears on the right-hand side. Otherwise one cannot expect to obtain boundedness of [16ujl[ from the above inequality since it will be fulfilled for every fixed h’just if ~l~uj[I will be sufficiently large. This is not happen if ~lJuj_ll[ ap appears instead of [16uj[[ ~. In order to handle it by means of formula (8) however we have to take care that a > 1 and s > p do not exceed the given bounds. This can only be realized by using (5). Thus we apply HSlders inequality Z, : ( I~u~-ll"
’dx I~j-~l" I~1’-’ dx a~d z~ : [ I~u~-,l" I~u~-,I
with Pl = ~ = ~P/(a + 1), P2 = s2, P3 = 82/(2 -- 1) and p~ = ,~, pe = s3/p, respectively. In both cases we have se = s~ = ap~/(ap - a - 1) < Np/(N - 2) by our assumptions on p. Then we obtain with (5) and Youngs inequMity
where ~ > 1 is sufficiently close to 1 and B = ~(p, ~) >i 1. Applyingnow (8) to norms acting on ~p and Friedrichs inequality (9) to II~u~ll~and II~uyllLwe obtain fi’om (11)
- II~uy_l IIp~,g~_, + k,phIIw~ll?,~ + k~ph Ilau~ll~,., II~uyll~,g~ <
Quasilinear Parabolic-Elliptic
BoundaryValue Problem
Summingup these inequalities
for j = 2,...
271
, ~ yields
i
i
j=2
j=2 i j=2
i-1
i j=2
for every i = 2,... ,n. The critical item is the last If le ~ kas it can be canceled by the corresponding Otherwise we apply Friedrichs HSujH~. If the condition (le is fulfilled
inequality
sum on the right-hand sum on the left-hand
side. side.
(9) to the rest of the sum over ]~Suj]l~,ne
- inf ao) kF(p,~) ~e xI
(12)
< 4(p- 1~ p2
there is an e > 0 such that max{0, le - kae }pkv + e
I1~1~,~, + ~0h~ llwjll~,~ j=2 i
i-1
for every i = 2,... ,n. It remains to estimate II~u~ II~,g, +chIIw~ ~1~,2, We use the compatibility condition (v) and test the difference (R~)-(C) with I~UllP-a~u~. This yield s simil ar to our manipulations at the beginning of the proof
ll~u~lI~,~ + k~hHWlH~,~ + ~ h ll~utll~,~ + (Ao - A1)(Uo,
lSu~lP-~Sul)
~ [~¢[[~,~o [[5u1[[~,~ + -1 lachl[SUl[[~ + ch [[OoH~[[w~ [[~,2 []Su~ [[~v-:)/: + ch [[Oo[[v[[Su~[[~-1 where owing to f~ = f(., t~, ~o), fo = f(’, 0, ~o) no Lipschitz condition with respect to u is used. By the same reason we have
Applying again Youngs inequality,
(8),
and (9) we obtain
We fix now e < min{1/2, k~} and choose then h~ > 0 with h~C~ < 1/2. obtain uniform boundedness of ~l~u~H~ + ch Ilw~ll~,~for all h ~ h~.
Then we
272
Pluschke
The result of these comprehensivemanipulations is the discrete Gronwall inequality i
i
j=l
j=l
II ullp,g , (14) j=l
i = 1,... , n, obtained from (13) and the last calculations. It is essential that the second sum on the right side only runs up to i - 1 since fl > 1 while the first sum also mayrun up to i - 1 if h _< h2 is small enough such that the coefficient c2h is less than 1. Wewrite ck again instead of c~/(1 -c~h~), k = 1,2,3. Omitting the sum on the left-hand side a nonlinear discrete Gronwall lemmaderived by Willett and Wong[9, Theorem 4] yields the bound e~ [[~u,’[~, _ < [c: (~-’)-
- 1)c~ ~ he~(~-’)J (~
fori= 1 ....
j=l
where ei = (1 + c~h)-~ and ~ ~ n is choosen sm~ll enough such that the expression in the brackets remains positive. Since ih = t~ we have e~ ~ e -c~ih = e-c~. This implies
Then there is a ~ ~ T independent of the subdivision such that the expression in brackets is positive and bounded for all ti e [0,~]. This proves the lemmawith h0 = min{h~,h~}. From (10), (14); and the embedding inequalities
(5), (9) we immediatly
COROLLARY 1 Let the assumptions of Lemma 2 be fulfilled. i
Ilull ,r ~ M2,
-< Ma,
Then
p
h
M4
j=l with ~ = ap/(a + 1) and s = Np/(N - 2) hold independent of the subdivision
if
At the end of this section we add an example that illustrates the behaviour of 115ujllp,a if the compatibility condition (C) is violated. Since (C) is imposedto for t = 0 the first difference quotient is of special interest. EXAMPLE 1 For 12 = (0, 2) G I~ we consider the equation .q(x)
u~-uz.~
=0 in (0,2)
×I with
g(x)=
01 for x ~ (1,2) (0,1) forx~
(15)
and conditions (2)_--(4). If we prescribe Uo(x) = 2 - x on f~ = (1, 2) we mayex~end this function by Uo(x) = into f~ e = (0, 1) as a s ol ution of equation (15 ) ful filling
273
QuasilinearParabolic-Elliptic Boundary ValueProblem
~’o,e(1- 0) = [~o,v(1 + 0). However,compatibility condition (C) is not fulfilled O~,e(1- 0) #/)’~,~,(1 + It is an easy exercise to compute ux as a solution of the discretized problem X(1,2) Ul(X) - hut’(x ) = X0,2) (2 - x), u~(0) = u~(2) = 0. Thenwe -e (2-z)/v~ -( + 2-’*)/v~ e
2
2 e(l_z)/v~)
as h ~ 0. This shows: although 5ul converges pointwise for every fixed x E flp we see that 116ulll~,9 = ll6ulll~,n~, = (9(1 e-1/f-~)lh (p-~)/2) is unbounded forp > 1. It is interesting to see that [[Suiiip,9 remains boundedif p = 1. This is no contradiction to Lemma 1 since the reflexivity of Lp(l’l?p) for p > 1 is an essential tool in the proof of Lemma1. Indeed, if p = 1 it would be possible to prove Lemma2 under suitable assumptions on the data without compatiblity condition (C) since in this case there is used an regularized characteristic function as a test function in order to obtain the estimates.
4
RESULT
In this section we prove convergence of the Rothe approximations to a weak solution of problem (1)-(4). Therefore we introduce the Rothe approximations obtained from uj by piecewise constant and piecewise linear interpolation w.r.t, time t, respectively, ~t,~(x,t ) = ~uj(x) ift E (tj_,,tj] [~o(~)if < o
’
(tn(x,t)
= ~uj_,(x)
ift
~ (tj-l,tj]
[~o(z) i~, <_
’
and (tn(x, t) - tj h ui_~(x)
t - tj-1 + ----h---ui(x),
t ~ [tj_~,tj]. ., If wewrite f’~ = f(., ~n, g,~), g,~ = g(., ~,~, fi,~), and .) = A([~)(., .) wi th ~n = if t~_~ < t ~ ty, piecewise constant interpolation of (Ry) over ~ yields ~( ~g u~ , v) dt + ~ A’~(~ ’~, v)dt = ~(f~,
v) dt
~) (R
~ L~(~v)). The results of Lemma2 and Corollary 1 for all v ~ L~(], W~,(~) ~~ the following a priori estimates for the Rothe approximations, II t (’,t)ll,,a"
~ M1,
II t (’,t)ll~,".
II~%,t)-~(.,t’)ll~,.~Mzlt-t’l,
< M~,
II t (’,t)ll~dt
II~(.,t)-~"(.,t)ll~,~
~
(16)
5Mzh~, (17)
It ~ - ~"IIL.(Z,L~(.)) ~ MAh~/O,II~ - ~ IL,(ZL.(.)) ~ MA h~/~, II~(’,t)ll~,~ ~ M~,IW~(.,t)ll~,~ ~ Mu,II~(.,t)lla,~
(18) (19)
274
Pluschke
for all t, t’ E ~f, where the estimates (17) and (18) are an easy consequence of construction of fi’~, fin, and ~in, respectively. These estimates are the basis for convergence assertions for the Rothe approximates which yield our existence result by passing to the limit n -~ cc in relation (Rn). In order to obtain more regularity of the weak solution we need another interpolation inequality. For our r > N and 0 < A ~ 1 - N/r we have the continuous embedding ~/](~) C CX(fi) and it holds for allue~)(flp) (l~r)
Ilullo,- < Ilull , II ll -° with 1/,- 1/p1/r+
A/N + 1IN ~ 0 ~ 1.
(20)
Especially we obtain by means of (17) and (19)
~[~"(.,t).- ~"(.,t’)l[o,~~ clt (1-°) - t’[
Vt, t’ e i
for some0 6 (0, 1), hence there is a ~ > 0 such that
Nowwe are ready to prove the final result. THEOREM 1 Let assumptions (i)-(v) and condition (12) be fulfilled. Then there a local weak solution u of problem(1)-(4) with additional regularity u ~ C~(f~v for some c~ > 0 and ut ~ Lp(~,Ls(f~)), s = Np/(N 2) A subsequence of the Rothe approximations converges to the solution u in the following sense,
as nk -~ ~ where q ~ [1,~),
A < 1 - N/r, u = ap/(a + 1).
PROOFThe compact embedding CZ(f~, × ]) C C~’(~, x/~) for 0 < a and the weak compactness of a bounded sequence in L~(~,~V~(f~)) imply from (21) and (19) the existence of a subsequence {~’~} (we write {fi’~} again choose subsubsequences below) with convergence properties (22~) and (23). standard arguments we see that the limits coincide. Convergenceproperty (23) for the sequence {~n~} follows from (19) with same limit u due to (18~). To prove the second part of convergence assertion (22) observe that {fi’~} bounded in W.~(Q$) due to (163) and (19~). By the.Rellich theorem there subsequence with fi~
--~ u in L~(Q~)
as n~ ~ ~. Let now be A < 1 - N/r. Then there is a 0x such that (20) holds with /~ = 2 for ~1 < 0 < 1. For fixed q > 2/(1 - 01) we then obtain ’![ II~,"~ (., t)- u(.,t)l[oq, a dt <_cshpess []~n~- uH~°,~f/lift ’’~- u[[~’-°)q d~,
275
QuasilinearParabolic-Elliptic Boundary ValueProblem
which yields convergence (22) if 0 is chbosen such that (1 O)q = 2. Theremaining convergence properties (24) and (25) follow from (16) under consideration of In order to prove that u is a weak solution we have to investigate the behaviour of g’~ and fro. as nk ~ c~. From (22) and (18) we obtain ~n~ -4 u in Lv(~, Ls(ft)) as nk -~ ~. Since s > p assumption (iv) yields fn~ ~ f(.,
",u)
in L~(Q~).
(26)
By application of the interpolation inequality (20) we obtain frown (172) and (193)
II~(.,t) - ~(’,t)ll0,~,~. ch,, ,
1-0
hence we have convergence of {~n~} to u in L~(], C(~)). Thus assmnption yields g.n~ ._+ g(., , u) in L~(Q~)which owing to (24) implies g’~ft~ ~ --~ g(., .,u)u,
in L~(],L~(~t))
(27)
Moreover, by an analogue argument like in the proof of Lemma1 we see from (16~) that u e Loo(i, Lp,~(.,t,,,)(~)). Finally, passing to the limit n = nk --~ c~ in relation (Rn) we obtain relation (R) due to convergence properties (23), (26), and (27), assuming first a more regular test function v. Initial condition (4) is fulfilled by construction and the uniform convergence on ~p × ~f. The usual density argument for the test functions concludes the proof. [] REMARK 1 Friedman and Schuss [2] prove uniqueness of a weak solution belonging to L~(QT) for the linear parabolic-elliptic problem. For our nonlinear problem (1)-(4) fulfilling assumption (i)-(v) we can prove uniqueness, too. Assume were two solutions u and u~, we define z := u- u~ and obtain from (R) with v = [z[P-~z for every fixed to ~ ~ (g(.,t,u)ut-g(’,t,u’)u’t,
IzlP-~z}dt
A(t)(z, Iz l’-~’z)dt
Then we consider
and insert (28) into the lastitem. The resulting inequality we estimate similarly as in the proof of Lemma2. Note that the nonlinear Gronwall inequMity used in that proof is no suitable tool to prove uniqueness since c~ > 0 in (14) is essential for its application. However,for given solutions ~ and u’ we mayreplace Ilu~ll and
276
Pluschke
[1~ g(’,t,u(’,t))ll.,m,
by constants, hence differently from Lemma2 now we have the total power p of z on the right-hand side and may use the well-known linear Gronwall lemma. Since the weak solution is unique the convergence assertions for the Rothe approximations in Theorem1 hold for the whole sequence. REMARK 2 The global assumptions (ii) for g w.r.t, u may be replaced by local assumptions supposed for all u E C(12p) with Ilu - U011o,n. _< R for some R :> 0. Then a truncation method yields a weak solution which is a solution of the original problem for small t since u is continuous on f~p x [0, 7~]. This generalization is not possible for f on f~e since we have no information whether Ilu(., t) -/)ollo,as witl small for small t. Weonly knowfi’om (23) that Ilu(., t)llo,n e is uniformly bounded, however the bound depends on the choosen R and may be much bigger than R even if the time intervall is small.
REFERENCES 1.
H.W. Alt and S. Luckhaus, Quasilinear Elliptic-Parabolic Differential Equations, Math. Z., 183:311-341 (1983). 2. A. Frie&nan and Z. Schuss, Degenerate evolution equations in Hilbert space, Transact. of the AMS, 161:401-427 (1971). 3. J. Ka~ur, Method of Rothe in Evolution Equations, B.G. Tcubner, Leipzig (1985). 4. O.A. Lady~enskaja, V. A. Solonnikov, and N. N. Ural’ceva, Linear and Quasilinear Equations o] Parabolic Type, AMS,Transl. Math. Monographs, Providence, R. I. (1968). 5. R. MacCamyand M. Suri, A time-dependent interface problem for twodimensional eddy currents, Quart. Appl. Math., ~: 675-690 (1987). 6. V. Pluschke, Rothe’s method for degenerate quasilinear parabolic equations, In: Z. Dogla, J. Kuben, and J. Vosmansk); (eds.), Equadiff 9 CD-ROM,pp. 247-254, Masaryk Univ., Brno (1998). 7. R.E. Showalter, Degenerate E~:olution Equations and Applications, Ind. Univ. Math. J., 23:655-677 (1974). 8. C. G. Simader, On Dirichlet’s Boundary Value Problem, Lecture Notes in Math. 268, Springer, Berlin--Heidelberg-New York (1972). 9. D. Willett and J. Wong,On the discrete analogues of some generalizations of Gronwall’s inequality. Monatsh. fiir Math., 69:362-367 (1965). 10. M. Zlfimal, Finite element solution of quasistationary nonlinear magnetic field, R.A.LR.O. Anal. Num., 16:161-191 (1982).
Singular Cluster Interactions in Few-Body Problems S. ALBEVERIO Institut fiir Angewandte Mathematik, Universit’~t Bonn, D-53115 Bonn; SFB 256; SFB 237; BiBoS; CERFIM(Locarno); Ace.Arch., USI (Mendrisio); Fakult/it fiir Mathematik, Ruhr-UniversitS~t Bochum,D-44780 Bochu~n. P. KURASOV Dept. of Math., Stockholm University, 10691 Stockholm, Sweden; Dept. of Math., Lule£ University, S-97187 Lule£, Sweden;St. Petersburg University, 198904 St. Petersburg, Russia.
1
INTRODUCTION
The present paper is devoted to the study of the few-body quantum mechanical problem with singular finite rank cluster interactions. The corresponding Hamiltonians play" an important role in mathematical physics, since few--body Hamiltonians with more regular interactions present considerable difficulties which make impossible a detailed analytic study [13]. Also a numerical study of such Hamiltonians using Faddeev equations present very hard problems, since the interaction between the particles does not vanish at large distances. On the other hand few-body problems with singular cluster interaction are useful and intensively studied in statistical physics, since the corresponding Hamiltonians can be analyzed in detail even if the number of particles is very large. Models describing one dimensional particles are of particular interest, since the eigenfunctions of the manybody Hamiltonians can often be calculated using Bethe Ansatz [14]. In fact the well-known YangBaxter equation was first written in connection with the study of system of several one-dimensional particles with pairwise delta interactions. Similar methods were used in atomic physics to study collisions of several part!cles [12] (in three dimensions). Few-body systems in applications are usually investigated by combining the classical description of the dynamics of heavy atoms with the quantum description of the dynamics of electrons and other light particles. The first attempt ~ to construct a three body Hamiltonian describing three quantum particles in R interacting through pairwise delta fnnctional potentials is due to G.V.Skorniakov and K.A.Ter-Martirosian [29]. R.A.Minlos and L.D.Faddcev proved that the corresponding Hamiltonian is not bounded from below and therefore cannot be used in ~7
278
Albever|o and Kurasov
the originally intended physical applications [24, 25]. The operator was defined using the method of self-adjoint perturbations used by F.A.Berezin and L.D.Faddeev for investigating Schbdinger operators with delta potential in R3 [10]. Almost three decades later semibounded three-body operators in dimension three with ge:aeralized two-body interactions were constructed by extending the standard Hilbert space of square integrable functions in R9 [17, 18, 19, 27,.30]. The most interesting model considered used the theory of generalized extensions suggested by B.Pavlov [7, 26]. Different aspects of these models were analyzed recently [8, 23, 20]. A general approach to these operators is described in [7, 22]. Let us mention that a realization of a many-bodylower bounded Hamiltonian with point interactions for particles in R3 has been obtained in the original Hilbert space by using the theory of Dirichlet forms [2]. The few-body systems of two dimensional particles with twobody interactions was studied in [11], where it was proven that the corresponding Hamiltonian is semibounded. It is stressed particularly in [7] that few-bodyHamiltonianswith delta interactions can be efficiently studied by using the theory of finite rank perturbations. Hamiltonians describing point interactions created at manycenters, e.g. of importance in solid state physics, have been discussed in [1]. Rank one for~n bounded interactions were analyzed in detail in an abstract setting by B.Simon and F.Gesztesy [15, 28]. Perturbations in terms of quadratic form were studied in [3]. In [16] rank one form unbounded interactions are defined following the paper by F.A.Berezin and L.D.Faddeev [10] and introducing a renormalization of the coupling constant. See also [4, 5], where these interactions are defined without renormalization of the coupling constant using a certain regularization procedure. It is not hard to extend this technique to obtain few-body operators with form bounded cluster interactions (see e.g. [7]), but operators with more singular interactions need a more detailed investigation. The present paper is devoted to the study of the few-body operator with one singular cluster interaction having finite rank. It is proven that this interaction in general is described by unbounded boundary operators. This operator can serve as an elementary brick in the construction of the few-body Hamiltonian with several singular cluster interactions. The paper is organized as follows. In Section 2 the few-body operator witb finite rank cluster interaction is heuristically defined. A precise definition of this operator is given in Section 3 by separating the center of mass motion and using the extension theory of operators with finite deficiency indices. To describe the analytic properties of these operators a study of rational transformations of Stieltjes functions is given in Section 4. The resolvent of the few-body operator is calculated in Section 5. The few-bodyoperator is described in Section 6 without separation of the center of mass motion. Then the extension theory for symmetric operators with infinite deficiency indices is used. The extension is described by certain bom.~daryconditions involving unbounded operators.
2
FEW-BODY OPERATOR WITH FINITE CLUSTER INTERACTION
RANK
The Schr6dinger operator describing several quantum mechanical particles is characterized by the following property: the original Hilbert space 7-/and the operator
279
Singular Cluster Interactions in Few-Body Problems possess several tensor decompositions n = l,2,...,N
7/ = K,~ ® Hn,
(1) A
= Bn ® IH,, + IK,, ® An;
where B,, and .4,, are positive self-adjoint operators acting in the Hilbert spaces Kn and H,~ respectively. The index n parameterizes the cluster decompositions and the number N of such decompositions is in general different from the number of particles. The operator An describes the motion of the particles forlning the corresponding cluster in the coordinate system associated with the center of mass of the cluster. The operator Bn describes the motion of all other particles in the same coordinate system. Each pair of operators (An, B~) appearing in the tensor decomposition determines the unperturbed operator ,4 uniquely, since it is essentially self-adjoint on the algebraic tensor product of the domains of the operators An and B,~. The few-body operator with singular finite rank interactions can heuristically be defined by N
.4°
:
d.
.4 n=l
+
(2)
j=l
where ~,~j are singular vectors defining the cluster interactions. In what follows we suppose that these vectors belong to the Hilbert spaces 7~-2(An) associated with the corresponding operators A,~ ~2~j E 7/-2(A,~), j = 1,2,...,dr,
n = 1,2,...,N.
The numbers dn E N determine the rank of the cluster interaction. The coupling constants anak form dn x dn Hermitian matrices. Then the perturbation term is formally symmetric. If the vectors ~2,,j do not belong to the spaces 7/-1(A,,) then the perturbation term is not form bounded with respect to the unperturbed operator. To determine the few-body operator in this case it is necessary to carry out a special analysis i.ncluding the extension theory for symmetric operators. The aim of the current paper is to describe few-body Hamiltonians with one cluster interaction. This is the first step towards the definition of general few-body Hamiltonian with finite rank cluster interactions. Let us consider the Hilbert space 7/ and the operator ,4 possessing the tensor decomposition 7/ = K ® H,
(3)
‘4 = B ® IH + IK ® A where B and A are positive self-adjoint operators in the Hilbert spaces K and H respectively. Consider d singular vectors from the Hilbert space 7/-2(A). The the few-body operator with single cluster interaction is heuristically described by d
‘4°=
(4) j,k=l
280
Albeverio and Kurasov
where the coupling constants ajk form an Hennitian matrix. If the vectors ~j are from the Hilbert space H, then the perturbation term is a bounded operator. The perturbed operator in this case has the same domain as the original operator A. The problem of defining the operator with cluster interactions is trivial in this case. Therefore we are going to concentrate our attention on the case of so-called H-independent vectors. d C DEFINITION2.1 The set of vectors (~J }j=l if and only if any nontrivial linear combination d
d
j=l
j=l
~-{-2
(,4)
is called H-independent
does not belong to the Hilbert space H. In what follows without loss of generality we suppose that the vectors form an orthonormal sct in 7-/_2(A), i.e.
=
(5)
H
Any set of independent vectors can be orthonormalized and the new set is independent also. In particular
e The Hermitian coupling matrix can be diagonalized using a certain orthogonal transformation. Therefore it is enough to consider only diagonal coupling matrices. Thus the following heuristic operator will be studied in this paper d
(6) j=l
where the vectors ~?j form an orthonormal subset of H_.~ and tim real coupling constants are different from zero,
(7)
% ~R, %¢0, j=l,2,...,d.
3
CLUSTER INTERACTION OF MASS MOTION
VIA
SEPARATION
OF THE CENTER
The operator ~l~ can be defined using the following formed decomposition d
B ® I~ + IK ® A + E ay((pj,
.)E~j
j----1
(8) =
B ® IH + IK ® A -1-
O~j((~Oj,
.)H(~j
Singular Cluster Interactions in Few-Body Problems
281
The operator d
As = ,4 + E aj(~j,
’}n~j
(9)
is a finite rank perturbation of the operator ,4 and it can easily be defined following [6]. To define the operator As we restrict first the operator A to the domain Dom(g °) = {¢ E Dom(A): (¢pj,¢)H = 0,j = 1,2,...,d}.
(10)
The restricted operator A° is symmetric and densely defined. The deficiency elements at point i are given by 1 A - i ~j’j = 1, 2,...
,d,
and form an orthonormal subset of the Hilbert space H. The intersection the deficiency subspace and the domainof the original operator is trivial
between
Ker (A°* :E i) ~ Dom(A) = {0}. Therefore the restricted operator is densely defined and has deficiency indices (d, d). The vectors W:-7~J form a basis in the deficiency subspace Ker (,4 0* - i) denoted by M, i.e. M= Ker (A°* - i). All self-adjoint extensions of the operator A° can be described using von Neumann formulas. But we prefer to define the extension using Krein’s resolvent formula. Essentially all extensions of the operator A° can be parameterized by an Hermitian operators ~/ acting in M in such a way that the resolvent of the corresponding self-adjoint operator A"~ is given by ~ 1 A+i 1 A-i - 1 .__, A’~ - z A - z A - z "~ + q(z) P~4 A where "Krein’s Q-operator" q can be chosen as follows q(z) = PM’-’~-~_ l+zA z M. q is a d x d ~natrix Nevanlinnafunction, i.e. its imaginary part is positive in the upper half plane "~z > 0. Our choice of q is determined by the normalization condition q(i) = JIM.
(12)
If all vectors ~,~- are from the space 7/_~ (A) then the relation betweenthe coupling parameters al, a~, ¯ ¯ ¯, ad and the Hermitian operator ~, is given by ")’
:
O~(-1)
+
PMAIM,
(13)
~The self-adjoint extensions that would not be described by this formula would have the following property: the operator A° is not the largest common symmetric restriction of the perturbed and unperturbed operators. But this implies that at least one of the coupling constants is equal to zero, which is impossible due to our assumption (7).
282
Albeverio and Kurasov
where a is the following coupling operator defined in M d j=l
The second term in (11) is well defined. In fact using the orthonormat basis in $4 we have APM
(14) H
II
since the deficiency subspace/14 is a subset of 7-/-1 (A). (Weremark that the scalar pr°ducts/ l,,Tf~-i~j, A,-4~-i~kl)H =---(~J’A--~°kl Hare welldefined.) In the case where some of the ~oj are not from 74_1(A) the operator 3‘ cannot be calculated from the coupling parameters without using additional assumptions. Only some partial information concerning the operator 3’ can be recovered. The formal expression (9) does not define a unique operator in this case, but a certain family of self-adjoint operators described by several parameters. The number of free real parameters can be different from d~ (the number of real parameters in yon Neumannformulas), since the operator 3‘ should satisfy some admissibility conditions if the vectors ~oj are not 74_l-independent. Supposethat a certain linear combination of the vectors ~oj belongs to the space 7/-1
¢
d
=
e
then the scalar product ¢, ~-V-~¢
aj
~C
is well defined. Therefore the operator H
necessarily satisfies the admissibility condition
aj~j, A~ + 1 j=l
’ k:l
H j,k=l
where 3‘i~¢ are the coefficients of the operator 3’ in the chosen orthonormal basis
The operators satisfying all admissibility conditions are called admissible. The family of admissible operators 3‘ was described in [6]. Ii~ in addition the operator A and all vectors ~j are homogeneouswith respect to a certain group of unitary transformations, then the operator "), could be determined uniquely by requiring additional natural homogeneity properties of the perturbed operator. This approach has been developed in [4, 5] for perturbations of rank one. In what follows we suppose that the extension of the operator A° is determined by a certain admissible Hermitian operator % which is compatible with the heuristic expression (9). This extension will be denoted by ~. In what f ollows t he operator
283
SingularCluster Interactions in Few-Body Problems
A~ will be substituted for the operator A~. The corresponding few-body operator with single cluster interaction is defined by A"~ ~. = B®IH +I~ ®A
(15)
The last formula determines the operator A~ uniquely, since ~ B ® Itl + IK ® A is essentially self-adjoint on the algebraic tensor product of the domains of the operators B and A~. Hence Dom(,4 7) : Dom(B) x Dom(A~).
(16)
In order to simplify our presentation let us restrict ourselves to the case of perturbations of rank one (d = 1). Weare going to drop the lower index of the coupling constant and singular vector
To calculate the resolvent of the operator A~ we need to study the properties of the Nevanlinna functions describing the interaction.
4
RATIONAL
TRANSFORMATIONS
OF STIELTJES
FUNCTIONS
Let us prove first some facts concerning Nevanlinna functions F which belong to the Stieltjes class, i.e. possess the representation F(z) =/; 1A_ + ZAdP(A)’
(17)
where the real measure p is finite f~ dp(A) LEMMA 4.1 Let F be a Stieltjes function. Then for any real y and any positive e > 0 there exists a certain b = b(y, e) > 0 such that the following estimate holds If(z ÷ iy)l < ~lxl
b
(18)
for all x < A. PROOFConsider the real and imaginary parts of the function F(x + iy) = /; l +~-Z-x--_-~y (z + iY))~ apta). .... The imaginary part ~F(x + iy) = y ; (A - A~+I x) 2 + y2 d0(A) is uniformly boundedfor all x < A. The real part is given by the sum of two integrals as follows: ~¢ f~ ~(1 - y~) -, i~)
L
284 The first follows
Albeverio and Kurasov integral
is uniformly bounded. The second integral
can be estimated as
( )2 for all x < A - 1. To estitnate J’~ dp(A) < e/2 and we get
the latter
f? %x-I_lap(a)
integral
f?ap(a)+l=l
<_ \-~:-~_x A~dp(A) C For all x function therefore lemma is
we choose C > ,4 such that
+
’x’.
_< Xo = C(1 - 71 f~ dp(A)) the last expression is estimated e[xI. The F(x + iy) is continuous on the bounded interval z0 < x < A and is uniformly bounded on this interval (which is empty if x0 > A). The proven. []
The following lemmadescribes rational transformations of Stieltjes LEMMA 4.2 Let F be a Stieltjes
functions.
function. Let a, b, c, d be real numbers such that ad - bc = 1.
(19)
Then there exists a real numberAt, such that for any real y and any positive e > 0 there exists b~ = b~(y, e.) such that the function G(z) aF(z) + b cF(z) +
(20)
possesses the representation a(z)=~z+g(z),
~
(21)
where
Ig(x+iY)I
(22)
for all x < A~. PROOFCondition (19) guarantees that the function G is a Nevanlinna fl~nction and possesses the representation ~ l+Az G(z) = (~ + ,Sz + ~ -A----~ dp~(A),
f_
where f-~o~ dpt(A) < ~, ~,/3 ~ R, /3 > 0. The support of the measure p~ coincides with the set of real points z where the boundary values G(z + iO) are not real or do not exist. The function G is real on the interval (-c~, A) outside the points where cF(z) + d = 0. The derivative ~ ~ + 1 dF(z) ~zz - (~---)~ 2 dp’ (A)
Singular Cluster Interactions in Few-Body Problems
285
is positive for all z < A. It follows that there exists at most one point where F(z) = - ~. Therefore the support of the measure p~ is bounded from below. Lemma 4.1 implies then estimate (22). The lemmais proven. Weremark that the constant/~ appearing in (22) is different fi’om zero only if the function F has a finite limit F(~) at infinity and F(oc)
5
KREIN’S
RESOLVENT
FORMULA
To calculate the resolvent of the operator A~ we will need the following corollary of the two previous Lemmas. LEMMA5.1 /unction
Let y be an arbitrary positive real number. Consider the Nevanlinna
=
1
1
-
I/~ E ~t-1 (A), then the/unction satisfies
~]H A-.~
A +1
¯
the estimate
IG(x + iy)[ <_ Cl(y)(1 + Izl)
(23)
/or all negative x < 0 and a certain C~(y) > O. I] ~ e 7t_~(A) \ ~t_~(A), then /unction can be estimated by
IG(x+i )l < .for all negative x < 0 and a certain positive C2(y) > PROOFThe function q is a Stieltjes function, since the operator A is positive. Lemma4.1 implies that the estimate (23) holds for all ~ ~ 7-/_:(A). Consider the case ~ ~ 7-/_~(A) \ 7/_~ (A). Weare going to prove that the real of q(x + iy) tends to minus infinity when x -~ -~c. In fact the function q can be presented by the following integral
where the measure p is finite, i.e. f~¢ alp(#) < oc, but the integral ~ diverges. The real part of q(x + iy) is given by ~q(x + iy) =~ (#--~:~,2x) - #Y
fo~ x#(p__-_ x_)_ d ,p ).
The first integral in the last formula is boundedfor negative values of x : c~ # -- X ~0o~ py2
~0
(25)
286
Albeverio and Kurasov
The second integral in (25) is negative and can be estimated x 2 /o ~ ,x,# dp(#) ~ ¯~o(~ x#(p_ x)2 +x)y’2 dp(#) >_ x 2 + y~ # - x _ > x ~ + y~ 2 ao #dp(#). The last integral tends to infinity when x -~ -~. It follows that lim G(x+iy)
1
li m
,~-~-~
.~-~-~~ - q(~+ i~)
-0.
Therefore the continuous function G(x + iy) is uniformly bounded on the interval x < 0, i.e. the estimate (24) holds. The lemmais proven. Weremark that if y = 0 then the esti~nates (23) and (24) hold for x ~ (-co, where .4~ is a certain real constant. THEOREM 5.1 The resolvent of the operator A~ = B ® IH + I~ ® A~ at a cert~ain point A, ~A ~ O, is given by the formula 1 _ 1 (A-A A~-A where
q(A-
1 A-
~ A +q(A
B) =(~,I+(A-B)@A A-A
The function
1 "l’--q(xTiy)
(26)
1 l~)h" A:+
COMMENT Let us discuss formula (26) first. f ~ 74 the following inclusion holds 1 (’-’~’~v,f)h
_ B)
Let ~ ~
74-1(a).
Then for any
1 V/~+ 1~ = ( ~V, -’~. -~ Jib 741(B).
satisfies the estimate (23) and it follows that the operator 1
-~ _ q(~ maps 741 (B) onto 74_~ (B). This implies
3’ - q(A - B)
¢P’f
®~ ~ 74_2(A).
(27)
This means that formula (26) defines a bounded operator in the Hilbert space
for ~ Consider now the case ~ ~ 74-2(A) \ 74_~(A). For any f ~ 74 the vector 1 1 The function (’-~L~,f)h (" A-TTtp,(A + i) ~_xf)H belongs to the spac e K. 1 "~-q(.~+iu)l is bounded fornegative x(see(24)) andtheoperator "r-q(a-B) is bounded in K. This implies that condition (27) holds. Therefore formula (26) defines boundedoperator acting in the Hilbert space for any q9 fi 74_~(A).
Singular Cluster Interactions in Few-Body Problems
287
PROOFof Theorem 5.1 Let us denote by YB the operator of spectrM transformation for B - the linear operator which maps the operator B into the operator of multiplication by the independent real variable x. Then the resolvent on a dense set can easily be calculated as follows 1
£
~ f = (W-~)¢ ~ (.TBf)(x)
=~¢
-
1 A--~
f
= (x "r - A)(~ ’stb)(x)
1(~ A-A \[7+q()~-B)
"
Wehave supposed that ¢ E £~, where £~ is an algebraic tensor product of Dora (B) and Dora (a~). The operator ~ i s e ssentially s elf-adjoint o n t his d omain and t his completes the proof of the theore~n. []
6
CLUSTER INTERACTION WITHOUT SEPARATION OF THE CENTER OF MASS MOTION
The resolvent of the operator .4 ~ has been calculated using the tensor decomposition. The operator A~ is a self-adjoint extension of the symmetric operator A° = B®I~ +I~:
°®A
with infinite deficiency indices. Consider the annulating set (I’~eg of regular functionals for the operator A° defined as follows: ¯
if
~ E
qr~_I(A) then
v~ = {~: ¯ = ~(~) ®v, ~(~) e ~_~(B)}, ¯
if ~ ~ ?/_~(A) \7/_~(A)
Let us consider the corresponding subspace of regular elements from the domain °~. of the adjoint operator .4
288
Albeverio and Kurasov
* if ~a E 7/_~(,4) then °*) = {’~b: $ ---’~ + A.A--~+~p(~b)®W,~ e Don,(A), p(~b) ~ ~h!_, Domreg(A
The boundary form of the adjoint operator calculated on the regular elements is given by 0.) =~ U, V ~ Domreg(A
(u, A°*v)- (‘4°*u,v) : (p(U)®~, 9) - (0, p(v)
(28)
A symmetric extension of the operator .40 can be defined in ter~ns of any symmetric operator F by restricting the operator .40, to the domain of flmctions from °*) satisfying the boundary condition Domreg(A
-(¢, ~2): rp(U).
(29)
In order to obtain the perturbed operator possessing the tensor decomposition (8) let us consider the symmetric operator .4r determined by the following boundary operator F=3,-B
%(.42+1)(A
~+1)~o
.
(30)
H
The operator (~o,(.A~+I)(A~+I)AA-1 V-’! ~u is a boundedself-adjoint operator in K commuting with the operator B. The norm of this operator is less than or equal to 1. Therefore the operator F is essentially self-adjoint on the domain Dom(B) the operator B. Weare going to keep the same notation F for the corresponding self-adjoint operator. Let us find an expression for the resolvent of the operator .4r. Consider an arbil trary f ~ 7/and suppose that .~b = ~ + ~f+a P0P) ® ~ = ~-v-~f. Then the fimction ’(,, satisfies the fbllowingequation + ~.4 (.4 - ~)V5 ~ A~ + ~ (P(~) ® ~) and the boundary conditions (29). Applying the resolvent of the original operator ‘4 to the previous equation we get ~_
I+AA 1 ‘4-A .42+1
p(¢)
1 ®~°- A-A f
I+AA 1 ~)~ p(¢) f)’" =-(~’)--251 ~ r+(~, 3i--~ ‘4~:~ )
(31)
This equation can be solved and tile function p(¢) can be calculated if the operator F+ (~o, ~ A 1---~+~ ~o)y is invertible. The operator can be simplified as follows taking
SingularCluster Interactions in Few-Body Problems
289
into account equality (30) hI+AA 1 19~)
r + (~, ~1:~ A" =’r-B
~,(A~+I)(A2+I)~
-
~,~--~A2-+~
h
=’r+
~,
t+(~-B)®A
(32) H
1 A2+l ~° H’
A-A
which holds on functions from DomB. Since ~ E ~_~(A) and the operators and B are positive the following inclusion holds (~,A~--~_~f)H ~ K. The comment after Theorem5.1 shows that the operator F + (~o, L+-~1--A--,~\,, is invertible A-A A2+I K. Therefore there exists p(’¢’) Dom (r) C K which sa tisfies eq uation (3 The component ~ of the function ¢ can be calculated using the formula 1
I+AA
A- >, A2 + i p(¢) ® Thus the function ¢ is given by
The resolvent of the operator operator A"r. This implies that been first defined only on the Thus the following theorem
Ar coincides with the resolvent of the self-adjoint the operator Mr is in fact self-adjoint even if it has regular elements. has been proven.
THEOREM 6.1 The operator .A r which is the restriction the set of regular elements
of the operator A°* to
A~ + 1 (P(¢) ® °*) ~o) ~ Dom~eg(A
(33)
satisfying the boundary condition
(~, ~)H= rp(¢)
(34)
is self-adjoint and its resolvent is given by
(35) for any A; 9A ~ O. COMMENT In the course of the proof of the previous theorem we have shown that the density p(¢) is an element from the domain of the operator F. It is possible prove that the restriction of the operator Ar to the domain of functions possessing
290
Albeverio and Kurasov
the representation (33), boundary conditions (34) and having p(¢) E Dom essentially self-adjoint. Suppose that ~o E 7/-1 (,4). Then the boundary conditions (34) can be simplified as follows. Consider the scalar product (~, C/H, where ¢ is any function fi’om the domain of the operator Ar. Then the following equalities hold
= -~/p(~b)+
=
+
~o,\(A~-i-~.~-SUF1
) +A2+---- ~ p®~o ~,
(36)
p(¢) h
=
+ c) p(¢),
where we have used the fact that the function ¢ satisfies boundary condition (34). Taking into account (13) the latter condition can be written
= p(¢). One can define the operator .Ar using this boundary condition, but this condition cannot be generalized to the case of 7-/-2 interactions, since the scalar product ~ does not necessarily define function from K in this case. (fl’ A’--~A+~ P ®(ill REFERENCES 1.
2. 3.
4. 5. 6. 7.
S.Albeverio, F.Gesztesy, R.Hoegh-Krohn, and H.Holden, Solvable pwblems in quantum mechanics, Springer, Berlin, 1988 (Russian edition, Mir, Moscow, 1990). S.Albeverio, R.Hoegh-Krohn: and L.Streit, Energy forms, Hamiltonians, and distorted Brownian paths, J. Math. Phys., 18:907-917, (1977). S.Albeverio and V.Koshmanenko,Singular rank one perturbations of selfadjoint operators and Krein theory of selfadjoint extensions, to appear in Potential Analysis. S.Albeverio and P.Kurasov, Rank one perturbations, approximations, and selfadjoint extensions, J.Funct.Anal., 148:152-169 (1997). S.Albeverio and P.Kurasov, Rank one perturbations of not semibonnded operators, Int. Eq. Oper. Theory, 27:379-400 (1997). S.Albeverio and P.Kurasov, Finite rank perturbations and distribution theory, Proc. Amer. Math. Soc., 127:1151-1161 (1999). S.Albeverio and P.Kurasov, ;~ingular perturbations of differential operators and exactly solvable SchrSdinger type operators, CambridgeUniv. Press, to appear in 1999.
Singular Cluster Interactions in Few-Body Problems 8. 9. 10. 11.
12. 13. 14. 15. 16. 17.
18.
19.
20. 21.
22. 23.
24. 25. 26. 27.
291
S.Albeverio and K.Makarov, Attractors in a model related to the three body quantum problem, C.R.Acad. Sci. Paris Set. I Math., 323:693-698 (1996). S.Albeverio and K.Makarov, Nontrivia| attractors in a model related to the three-body quantum problem, Acta Appl. Math., 48:113--184 (1997). F.A.Berezin and L.D.Faddeev, Remark on the SchrSdinger equation with sin~ular potential, Dokl. Akad. NAUKSSSR, 137:1011-1014 (1961). G.F. Dell’Antonio, R.Figari and A.Teta, Hamiltonians for systems of N particles interacting through point interactions, Ann. Inst. H.Poincard, Phys. Theor., 60:253-290 (1994). Yu.N.Demkovand V.N.Ostrovsky, Zero-range Potentials and their Applications in Atomic Physics, Plenum, NewYork, 1988. L.D.Faddeev and S.P.Merkuriev, QuantumScattering theory for Several Particle Systems, Kluwer, Dordrecht, 1993. M.Gaudin, La Fonction d’onde de Bethe, Masson, 1983. F.Gesztesy and B.Simon, Rankone perturbations at infinite coupling, J.Funct. Anal., 128:245-252 (1995). A.Kiselev and B.Simon, Rank one perturbations with infinitesimal coupling, J. Funct. Anal., 130:345-356 (1995). Yu.A.Kuperin, K.A.Makarov, S.P.Merkuriev, A.K.Motovilov, and BoS.Pavlov, The quantumproblem of several particles with internal structure. I. The two-body problem, Theor. Mat. Fiz., 75:431-444, 1988. Yu.A.Kuperin, K.A.Makarov, S.P.Merkuriev, A.K.Motovilov, and B.S.Pavlov, The quantum problem of several particles with internal structure. II. The three-body problem, Theor. Mat. Fiz., 76:242-260, 1988. Yu.A.Kuperin, K.A.Makarov, S.P.Merkuriev, A.K.Motovilov, and B.S.Pavlov, Extended Hilbert space approach to few-body problems, J. Math. Phys., 31:1681-1690, 1990. P.Kurasov, Energy dependent boundary conditions and the few-body scattering problem, Rev. Math. Phys., 9:853-906 (1997). P.Kurasov and J.Boman, Finite rank singular perturbations and distributions with discontinuous test functions, Proc. Amer. Math. Soc., 126:1673-1683 (1998). P.Kurasov and B.Pavlov, Few-body Krein’s formula, to be published in Proc. of Krein’s conference, Birkhauser. K.Makarov, Semiboundedness of the energy operator of a system of three particles with paired interactions of (~-function type, Algebra i Analiz, 4:155171 (1992). R.A.Minlos and L.D.Faddeev, Commenton the problem of three particles with point interactions, Soviet Physics JEPT, 14:1315-1316 (1962). R.A.Minlos and L.D.Faddeev, On the point interaction for a three-particle system in quantum mechanics, Soviet Physics DokL, 6:1072-1074 (1962). B.S.Pavlov, The theory of extensions and explicitly solvable models, Uspekhi Mat. Nauk, 136:99-131 (1987). B.S.Pavlov, Boundary conditions on thin manifolds and the semiboundedness of the three-body SchrSdinger operator with point interactions, Mat. Sb. (N.S.), 136:163--177 (1988).
292 28.
29.
30.
Aibeverio and Kurasov B.Simon, Spectral analysis of rank one perturbations and applic.~tions, in Mathematical Quantum Theory. H. SchrSdinger Operators (Vancouver, BC, 1993), volume 8 of CRMProc. Lecture Notes, Pages 109-149, Amer. Math. Soc., Providence, RI, 1995. G.V.Skorniakov and K.A.Ter-Martirosian, Three body problem for short range forces. I. Scattering of low energy neutrons by deutrons, Soviet Phys. JEPT, 4:648-661 (1957). L.E.Thomas, Multiparticle Schr6dinger Hamiltonians with point interactions, Phys. Rev. D, 30:1233-1237 (1984).
Feynman and Wiener Path Integrals Representations of the Liouville Evolution I. ANTONIOU International Solvay Institutes for Physics and Chemistry, Brussels, Belgium / Department of Mathematics and Mechanics, MoscowState University, Moscow,Russia O. G. SMOLYANOV International Solvay Institutes for Physics and Chemistry, Brussels, Belgium / Department of Mathematics and Mechanics, MoscowState University, Moscow,Russia
Weshow that the Liouville equation for any Hamiltonian system can be identified with the SchrSdinger equation obtained by the SchrSdinger-Dirac quantization of some "extended" Hamiltonian system whose phase space is the product of two copies of the initial phase space and hence whose configuration space coincides with the initial phase space. This identification allows us to represent somesolutions of the Cauchy problem for the Liouville equation by Feynmanpath integrals [1] over trajectories in the phase space of the extended Hamiltonian systems. In turn such a representation gives a frame to investigate some models which allow us -- under suitable assumptions -- to develop the Fokker-Planck equation (= forward Kolmogorov’s equation) and the backward Kolmogorov equation and hence the Langevin’s equation (= stochastic Ito’s equation) describing physical Brownian motion as the Ornstein-Uhlenbeck process (see [2-5]). The Feynmanmeasure over a space of trajectories in the phase space (it is called also Hatniltonian, or symplectic, Feynmanmeasure) is defined to be a distribution having a given Fourier transform; the Feynmanintegral of a function is defined to be the value of the distribution on the function, assumed belonging to the domain of the distribution. In the paper the Feynmanintegrals are calculated as limits of suitable sequences of finite dimensional integrals. Besides we represent the Feynman integrals by integrals over the usual Wiener measure on the same space of trajectories. This new representation is used to obtain the representation of Feynman integrals by limits of sequences of finite dimensional integrals. Besides the representation by Wiener measure allows us to justify some limiting procedures which 293
294
Anton|ou and Smolyanov
arise in the process of investigation of some models of nonequilibrium statistical mechanics. Any vector space is assumed to be a space over the field of real numbers, and any topological spaces are assumed to be Hausdorff ones. The terminology and notations of the theory of topological vector spaces are used without cornments. For any locally convex space (LCS) E the symbol E x denotes the space of all continuous linear functionals on E equipped with the topology for which (Ex) x coincides with E as a vector space. A map ~ ofa LCS Et into a LCS E2 is called smooth if it is continuous and Ghteau differentiable infinitely manytimes and if for any n ~ N and for any compact K C E~ the mapping (x, h~,..., hn) ~ f(n}(x)h~ ... K x E~ x .’. x E~ -~ E2 is continuous.
1
FEYNMAN INTEGRALS
OVER TRAJECTORIES
After some definitions which are used in a rigorous approach to the Feynmanmeasure, we will present a quite new result: a representation of a Feynmanintegral over trajectories in the phase space byan integral over Wiener measure. The assumptions, under which this result is obtained, are rather restrictive; nevertheless, they are satisfied just in the case of the integrals whicharise in the representation of the solutions of the Liouville equations. Let E be a LCSand, for x e E, g ~ E×, ~o~(x) = ig(’~’), If ~ -~ i s a LCS of some complex valued functions on E containing the functions {~ : g ~ Ex} ghen the Fourier transform of ’0 ~ ()c/~)x (the elements of ($c~)x will be (:ailed distributions on E) is defined by (~’~)(g) = r/(~oa). If the span of ~o~ x is dense in 3c~ then any Y/~-distribution can be reconstructed by its Fourier transform. Belowwe need not explicit definition of ~rE; so we usually will not rnention ~’E. If b is a quadratic functional on Ex, a ~ E and a ~ C, a ~ 0 then the Feynman a-measure on E with the correlation functional b and with the mean value a (or, shortly, with parameters (b,a,~)) is the distribution ~,~,~ on E, whose Fourier transform is defined by (reb,,~,o)(9) = exp((a/2)b(g) \ / REMARK 1 If a = -1 and b is positively definite then the Feynman measure gSb,a,a can be identified with the Gaussian (cylindrical) measure. REMARK 2 Let E = C[0,1]; then E× is the space of all Borel measures on [0,1]. Let further a = 0, a = i and b : E× --> 1R~ be defined by: b(~z) f rain(s, t)t/(ds)u(dt). Then Cb,~,~ is the "classical" Feymnanmeasure. Let
nowQbeaLCS,
P=Q× andE=QxP.
DEFINITION 1 [6) Hamiltonian Feynman measure on E, with the mean value a ~ Q, is the Feynmanmeasure on E with parameters (b, (a, 0), i), where b is defined by b((q, p)) = 2p(q). Nowwe start to define the most important for the paper example of the Feynman measure -- a sequential Feynmanmeasure. Let S be a finite-dimensional Euclidean space. A (Bochner) locally integrable function g on S taking values in a Banach
295
PathIntegrals Representations of Liouville Evolution space, is called integrable (over S) if for any ~o E 79(s) there exists f g( s)~o(ss)ds, s s -~ 0; then the limit depends only on ~(0) and, by the definition, f g(s)ds s lira f g(s)~(-cs)ds, where c2 E D(S), ~(0) = 1. If T is a Banachspace then for .---~0 S
t ~ (0, oc) the symbolCp([0, t], T) denotes the vector space of all right continuous functions on [0, t], taking values in T, whose distributional derivatives are Radon vector measures. We will define the sequential Feynman measure on the space 8~ = C~([0, t