8
Proceedlngr ol25th Confemnce on Declalon and Control Athens, O m * December 1986 TA= 8:OO EXACT CONTROLLABILITY OF DISTRIBUTED SYSTEMS AN INTRODUCTION Jacques-Louis LIONS COLLEGE DE FRANCE and C.N.E.S. (CENTRE NATIONAL D'ETUDES SPATIALES) 1. - INTRODUCTION. FORMAL EXPOSITION OF THE METHOD HUM. The bowduty conditions are We consider a ne.#^ system of evokhtion in a domain fi of Rn (n=l,2,3 in the applications). (3) B.y J = v j , I 5 j 5 m , on r x ]O,T C . One can act on the system on the boundary of or at some given subregions of R , by the so-called COW?W~ &nCtion4 or contrioL u h b h . The boundary operators B are such that the pro- j blem (1)(2)(3) is well set - in suitable function The problem of exact controllability is the follo- spaces. wing : is it pobbible to 6-ind control variables that drive the system to U given AMe in a given (finite) time T ? And how to cofi5&~~& such controls, in case We refer to J.L. Lions and E. Magenes [I] , vol. 1 and 2, for sufficient (or necessary and sufficient) conditions on the B.'s such that (1)(2)(3) is indeed J they do exist ? well set Since the system is supposed to be fieah, it is In (3) the v.'s are functions to be chosen : the contrrol vcvhbla. Given T , we want to find - id J eauivalent to ask whether it is possible to drive the system to rest. pobdibh - control variables v such that, ify(v) denotes the solution of (1)(2)(3) (the state of the pro- blem) , then j The importance of this type question is obvious. It is closely related (in a sense, it is equivalent) to the problem of the b,tab&zatian of systems : is it possible to find feedbacks (i.e. formulaes relating the (4) y(T ; v) = y'(T ; v) = 0. control variables to the state of the system) such that the system is ARabLe - more precisely such that the sys- tem goes to zero exponentiaeey daSt as the time t +. OD. Remark 1. The operator A can be a byhtm of partial diffe- More precisely, let us assume that the state y rential operators, 0 of the system is given by the solution of the evolution equation Remark 2. (1) y" + Ay = 0 in R x l0,TC A typical example is the following. We suppose that 2 where y" = , and where A is an elliptic operator of order 2m at which is supposed to be bYnunettLiC. The (5) A 5 - A , A = Laplacien, state is given by the solution of (I) , subject to so that (1) becomes the Wve eyllation .inLtid con&ons and to boundatry conditionb. The initial data are given : (6) y" - Ay = 0 , (2) Y(0) = yo , Y'(0) = y 1 subject to (2). If we take B = Identity, then j where yo and yl are functions in R (in appropria- ") = " On x 'o*T' * te function spaces) and which span all the spaces. 731 CH2344-0/86/0000-0731 $1.00 @ 1986 IEEE

[IEEE 1986 25th IEEE Conference on Decision and Control - Athens, Greece (1986.12.10-1986.12.12)] 1986 25th IEEE Conference on Decision and Control - Exact controllability of distributed

Embed Size (px)

Citation preview

Page 1: [IEEE 1986 25th IEEE Conference on Decision and Control - Athens, Greece (1986.12.10-1986.12.12)] 1986 25th IEEE Conference on Decision and Control - Exact controllability of distributed

Proceedlngr ol25th Confemnce on Declalon and Control Athens, O m * December 1986 TA= 8:OO

EXACT CONTROLLABILITY OF DISTRIBUTED SYSTEMS AN INTRODUCTION

Jacques-Louis LIONS

COLLEGE DE FRANCE and C.N.E.S. (CENTRE NATIONAL D'ETUDES SPATIALES)

1. - INTRODUCTION. FORMAL EXPOSITION OF THE METHOD HUM. The b o w d u t y conditions are

We consider a ne.#^ system of evokhtion in a domain fi of Rn (n=l,2,3 in the applications). (3) B.y J = v j , I 5 j 5 m , on r x ]O,T C .

One can act on the system on the boundary of or at some given subregions of R , by the so-called COW?W~ &nCtion4 or contrioL u h b h .

The boundary operators B are such that the pro- j

blem ( 1 ) ( 2 ) ( 3 ) is well set - in suitable function

The problem of exact controllability is the follo- spaces.

wing : is it p o b b i b l e to 6-ind control variables that drive the system t o U g i v e n A M e in a given (finite) time T ? And how to cofi5&~~& such controls, in case

We refer to J.L. Lions and E. Magenes [I] , vol. 1

and 2 , for sufficient (or necessary and sufficient) conditions on the B.'s such that ( 1 ) ( 2 ) ( 3 ) is indeed

J

they do exist ? well set

Since the system is supposed to be fieah, it is In (3) the v.'s are functions to be chosen :

t he contrrol v c v h b l a . Given T , we want to find - id J

eauivalent to ask whether it is possible to drive the system to rest. p o b d i b h - control variables v such that, if y(v)

denotes the solution of (1)(2)(3) (the state of the pro- blem) , then

j The importance of this type question is obvious.

It is closely related (in a sense, it is equivalent) to the problem of the b,tab&zatian of systems : is it possible to find feedbacks (i.e. formulaes relating the ( 4 ) y(T ; v) = y'(T ; v) = 0.

control variables to the state of the system) such that the system is ARabLe - more precisely such that the sys-

tem goes to zero e x p o n e n t i a e e y daSt as the time t +. OD. Remark 1.

The operator A can be a b y h t m of partial diffe- More precisely, let us assume that the state y rential operators, 0

of the system is given by the solution of the evolution equation Remark 2 .

( 1 ) y" + Ay = 0 in R x l0,TC A typical example is the following. We suppose that 2

where y" = , and where A is an elliptic operator of

order 2m at which is supposed to be b Y n u n e t t L i C . The (5) A 5 - A , A = Laplacien,

state is given by the solution of ( I ) , subject to s o that ( 1 ) becomes the W v e eyllation .inLtid con&ons and to boundatry conditionb.

The initial data are given : (6) y" - Ay = 0 ,

( 2 ) Y(0) = yo , Y'(0) = y 1 subject to ( 2 ) . If we take B = Identity, then

j

where yo and yl are functions in R (in appropria- ") = " On x 'o*T' *

te function spaces) and which span all the spaces.

731 CH2344-0/86/0000-0731 $1.00 @ 1986 IEEE

Page 2: [IEEE 1986 25th IEEE Conference on Decision and Control - Athens, Greece (1986.12.10-1986.12.12)] 1986 25th IEEE Conference on Decision and Control - Exact controllability of distributed

Is it possible to find v such that the system is driven to rest at time T ?

Clearly this question has to be made more precise by specifying the QunCtion dpace6 where yo , y are given and where v has to be found. But one conditionis obvious : due to finite speed of wave propagation, T has to be given h g e enough. 0

1

Remark 3.

The example given is the above Remark 2 is an hy- petrbofic system. But the problem - and the general method we are going to present - is n o t confined to hyperbolic systems.

As a typical example, we can consider

(8) y" + A y = 0 2

subject to (2) and to 2 Boundary conditions involving the control variables. U

Remark 4 .

In fact one can add conbZ4dnL5 on the v ' s . F O h

h t a n c e one can take in (7 ) v = 0 on r* X lO,TC, r, c r. In other words :

j

v on To Xl0,TC

( 9 ) y =

o on ( r \ rJ x l0,~C.

Given T is it possible for every yo, y 1 to find v such that the system is driven to rest at time T ? The problem depends now on T and on Y o . Remark 5 .

Another type of constraints is : dome of the v 's j

are zero. An example of such a situation will be presented

in Section 2 below, for

of (8) subject to

lY'0 on

the system given by the solution

r X lO,TC,

ro XJO,TC T w o ) x IO,TC.

In (IO) one has only a control on one boundary condition and one can act only on p& of the boundary.

0

Let us present now .&I a do& Uny the gWnehae method for solving the above questions.

Let us introduce the boundary operators C

Bj , in 1 S j 5 m , which are comp&mentahy of the following sense : if rp and $ are smooth functions in 51 , then

(11) IQ((Arp)$ - rpA$)dx = (c.9 B $-B.9C.$)dT.

i '

' 1 ~ 1 j J J

Let us start from the equation

9'' + A@= O ,

(12) p(0) = rpo , V'(0) = 9 , 1

B.P = 0 , 1 S j 5 m on r x 3 0 , T C , J

Given 9' , ' P I - in Space6 t o be chosen meh on (12) admits a unique solution,

We consider then the backward problem - which is also well set - :

$" + A$ = 0 , ( I 3 ) $(T) = $'(T) = D ,

Bj$ = - Cj p on r x l O , T [ .

Given {vO , 9 1 , (13) admits a uni'quc soluti.on, and 1

we define an operator A acting on {@' , rg } by 1

( 1 4 ) A{VO ,'D 1 I$'(o) , -$(o)} . 1

Of course this operator A depends on T. kdwne now that we can dind @ m t i o n bpaCe6 whehe

Then, given yo,yl , there exists { V 0 , q } such A i~ inveht ibLe.

I

that

(15) A { q o , r p } = {y', -yo}. 1

Then 2f we d e 6 . h

v j = - cj9 9

(16) rp = solution of (12) with @0,91 given by (15)

then y(v) = $ and therefore ( 4 ) holds true and we have found - & a cOt16LU~otive manneh - controls v 's which drive the system to rest.

j

732

Page 3: [IEEE 1986 25th IEEE Conference on Decision and Control - Athens, Greece (1986.12.10-1986.12.12)] 1986 25th IEEE Conference on Decision and Control - Exact controllability of distributed

Let us now observe the following property : (i) when does (20) define a norm ?

(17) <A{P0,rppl} , {V0,p1}> = f (Cjq) 2 dT dt. (ii) what kind of information can we have on the J=' rxro,TJ function space F ? D

Remark 7 . [To obtain (l7), multiply (13) by rp and use Green's formula. In the left hand side of (17), the scalar pro- If

We arrive now to the main point ; let us assume A m de&i.nined a nom (for To and r suitable), then the same method applies. It gives exact controllability by acting on@ on To and by using only dume boundary conditions (corresponding to j E J ) . 0

that we have the following UniquMc4A ThLOam :

'e" + A . p = 0 in R x lO,T[ ,

(18) B . V = 0 on T X IO,T[: , 1 5 j S m , J Remark 8 .

c . p = 0 on r x lO,T[ , I 5 j S m 3 The method indicated above consists in defining

implies a Hilbert space F corresponding to a uniqueness theo- rem. We shall call this the method of the HiLbetLt Apace

' p = o

Then

abdO&ed wLth UniQUenedA, in short Hilbert-Uniqueness Method (HUM ... ) . 0

Remark 9.

Let us give an example of a different nature. Let b be given in R. Let the state be given by

d e d h t ~ a nom on the couples IFo , d l . Let 1 1 / I F be this norm, and Let F be t h e completion 06 Amooth & ~ ~ c t i o r z d (subject to appropriate Boundary conditions) ; subject to F .d a H a b a t Apace.

(25) y" - Ay = v 6(x-b) , v = v(t) = control variable,

(26) y = 0 on Txl0,Ti:

Then, one can verify that and to (2).

(21) A E%F ; F ' ) , A*= A

and by (20) one has

(22) A .d an .damohpkidm &om F onto F ' .

Again for every yo , yl , in suitable spaces, is it possible to find v such that (4) holds true ?

Applying HUM, we are led to the following question Let 'f be the solution of

Therefore if yo , yl are given such that I ! # I ' - = 0 ,

then the above program is in order and the exact control- lability problem is solved. 0 Let us consider the expression

Remark 6.

The key questions are now :

733

Page 4: [IEEE 1986 25th IEEE Conference on Decision and Control - Athens, Greece (1986.12.10-1986.12.12)] 1986 25th IEEE Conference on Decision and Control - Exact controllability of distributed

If b is chosen in a suitable manner, assuming all eigenvalues of -A for Dirichlet boundary condit- ion to be d h t p h , then, for T large enough, ( 2 7 ) does define a norm. Hence a (new) Hilbert space F and an exact controllability result. 0

It is quite clear that this method can be applied in a very large number of situations. A short announce- ment has been given in J.L. Lions [ l ] . Our goal here is simply to give some details on the method in a speci- fic example. A more comprehensive presentation is given in the J. Von Neumann lecture given by the Author in July 1986, J.L. Lions r 2 1 . A (hopefully) comprehensive presentation will be given in two volumes in preparation J.L. Lions C31 .

Of course the above method is not the only one at hand for attacking problems of exact controllability.

A direct method, based (essentially) on the proper- ties of the solutions of the Cauchy problem ( R = Rn) , has been introduced by D. Russel [ I1 and used by several authors. We mention in particular the recent work of W. Littman Cll .

D. Russel [ I1 observed that one could use the experimental decrease of solutions of stabilized pro - blems to solve the exact controllability question. This leads to the question : can we d.ind d e e d b a d g iv ing exponential decheue 06 t h e A O L U ~ ~ O ~ S ? Several interes- ting contributions to this question have been given,in particular by G. Chen [ I ] , J. Lagnese [ I ] , I. Lasiecka and R. Triggiani [ I 1 .

A d y d t e m a t i c method is the following. One consi-

ders the state y(v) given by the solutions of (1 ) (2 )

(3) and one introduces the cod2 d u c t i o n (v={v,, . . . ,vm})

where 1 1 I ( is appropriately chosen. If the system is exactly controllable, thereexiss

v's such that J(v) <a. Indeed we can find v's such that the v.'s and y(v) are with compact support in T.

J One considers then the problem of optimal control

( 2 9 ) inf J(v) . V

Let u be the solution of ( 2 9 ) . One can write the optimality system (0.S) giving u , y(u) =y. One can show that y is exponentiaUy decheabhg. One can next show that there is a d e c o u m g of the O.S., leading to a feedback formula. Therefore :

I thehe A a Feedback 6 0 h m d . a g i v i n g exponwt la t ( 3 0 ) n.tabdXzation any Lime thehe A a Uniquenudb t k o -

(and one can apply HUM). 0

Of course (30) does not solve everything .,, It remains to obtain "explicit formula" - which can be technically extremely complicated, This part of the "general program" will be presented in J.L. Lions C31, Volume 2. D

Remark 10.

There is another part to the general program how does HUM method behave under p m b m % n A ?

We can consider three types of perturbations

(i) A b l g U & L t pentwrbatioa ;

for instance,

let y, be the state of the system

(31) yg + EA y, - AyE = 0 , 2

y, subject to (2) and (IO).

One can then show (cf . J.L. Lions c 4 3 ) that this

system is wzidohmey exactly controllable, i.e, there exists To &depmdent o d E such that, for any T >To, the system (31) (2) (10) is exactly controllatile.

Let uE be t h e control driving the system to rest using HUM. Then, as E+O,

( 3 2 ) - 6 uE -+ uo in L (X), C = YX (0,T)

where u is the HUM control driving

2

y" - Ay = 0

to rest, by acting on C , i.e.

y = uo on C.

[We start with yo E L (n), y E H - l ( n ) , All this can be 2 1

done by acting only on a (suitable) pWd of r . Cf. J.L. Lions C41 for technical details], 0

734

Page 5: [IEEE 1986 25th IEEE Conference on Decision and Control - Athens, Greece (1986.12.10-1986.12.12)] 1986 25th IEEE Conference on Decision and Control - Exact controllability of distributed

(ii) Homogenization theohy

One can consider the problems of Exact Control- lability for systems governed by

( 3 3 ) y", + AEyE = o

where the AE's correspond to operators with Rapid& vcVujing coe66icients. How does exact controllability behave when replacing AE by its "homogenized wehsion"?

(iii) Similar question for special domains R such as pehdollated domains, or vehy tkin domains, or pluri- dimensional domains (domains which have several compo- nents of different dimensions).

E

These questions will be studied in subsequent

papers. 0

Remark 11.

The method HUM is conbhct iwe . One solves (15) by conjugate gradient techniques, and one solves next (12) and one obtains

v = - C.Y. j J

We refer to R. Glowinski and C.L. Li [ I1 and to the presentation made in J.L. Lions C51, based on the above work. 0

Remark 12.

In a sense HUM method gives "the best" way to drive the given system to rest. Among all v's driving the system to rest at time T , the one given by HUM minimizes 1 vi drdt. 0

%(O,T)

Remark 13 .

One of the two basic questions which remains is (cf. Remark 6 , (ii)) : what information do we have on F ?

If one considers the wave equation

p'-&=o, ' f (o )=Yo , p'(o)='p , ' f=O on rx(0,T) 1

is, doh T enough, a norm e q u i v d e n t to the norm of H:(R) XL (Q) ( ' ) . More precisely, one has (for ewehy T > O )

2

where c does not depend on T (cf. J.L. Lions C61 ) ;

and there is a To> 0 such that for T > To one has

This last inequality is due to L.F. Ho [ I 3 ( 2 ) . In other words, in that case, for T>To, one

has, up to an equivalence of noms

MORE ON H U M IN A SPECIAL EXAMPLE.

We now consider the system (8)(10) of Section 1 :

p " + A y = O 2

y = 0 on Tx(0,T) ,

Let us now give precisions on ro cr. Let xo be chosen arbitrarily in Rn ; we set

and we define

where in ( 4 ) V(X) = unit normal vector to T , direc- ted towards the exterior of R.

( * ) H;(W ={Y/ y , a axl ,..., h c L 2 ( ~ ) , axn LP= o on r}.

('1 L.F. Ho [ I ] shows an inequality of type ( 3 6 ) using only pcvLt of T (cf. also Section 2)

then

735

Page 6: [IEEE 1986 25th IEEE Conference on Decision and Control - Athens, Greece (1986.12.10-1986.12.12)] 1986 25th IEEE Conference on Decision and Control - Exact controllability of distributed

We shall take in (2) Remark 2.

We consider the initial states

where yo is given in L2(n) and y1 is given in H-2(n) ( ').

T h a e e d 1 2 To m g e enough (depending on xo1 duch that 60h

( 7 ) T > To

and for every y0<L2(Q), Y'EH-~(R) , t h a t e x A ~ 2 v E L2(r(x0) X (0,T)) duch that id y(v) d e n o t a t h e doLlLtion 0 6 ( 1 ) (2) ( 6 ) , then

In other words the system is exactly control- lable by acting on one boundary condition, on paht of r.

A few remarks are now in order.

Remark I.

The best possible To in ( 7 ) is not known. One can show (cf. J.L. Lions C21, [31, Vo1.l) that

where T(xo) is given by

(IO) T(xo) = + ln-2/ . 0 2po

Here R(xo) is the smallest number such that 0 is contained in the ball centered at xo and with radius R(xo) ; X and po are the best constants such that

0

We use HUM in the following way, Let cp be the solution of

The second inequality in (13) is valid with

r(xo) replaced by 7 and for T arbitrary (of course c will depend on T). Cf. J .L . Lions C6l. The first ine- quality is obtained by multiplying by % &!! and after integration by parts. Cf. J.L. Lions C2Ic31 . It is an extension of the method of L . F . Ho [ I 1 .

a x ,

With the general terminology of Section 1, we define

and we obtain

(15) F = Ho(n) XL (a) . 2 2

The operator A E ~ F ; F ' ) is constructed as follows :

we solve (12) ; then J, is the unique solution of

(') H-2(R) denotes the dual space of H:(Q) =

={(PI Day EL (n) , Y la1 SZ, y=O and *= 0 on TI. 2 av

736

Page 7: [IEEE 1986 25th IEEE Conference on Decision and Control - Athens, Greece (1986.12.10-1986.12.12)] 1986 25th IEEE Conference on Decision and Control - Exact controllability of distributed

(16)

and

$ " + A + = O , 2

$(T) = $'(T) = 0

= 0 on Tx(O,T) ,

so that A is an isomorphism of F onto F'. One

solves then

and one takes

among all controls in L (r(xo)x(O,T)) which drive the system to rest at time T. 0

2

Remark 3 .

Actually inequality (13) gives a (new) &4UeflUA theo4em : if y satisfies

yt l + A C P = o , (P<L~(O,T ; ~ ~ ( 0 ) ) , 2 2

9 = *= 0 on TX(O,T) ,

AV= 0 on r(x0)x(O,T) av

and if T > T(x0)

then LQ= 0

Remark 4 .

In the above example, we have been able t o

chahactehize F. In other cases one can get pcvLtiae information on F,

but sufficient to conclude that "reasonable" initial

data can be driven to 0 . We refer to results with

I. Lasiecka and R. Triggiani, and to J.L. Lions C2l C3l C41. cl

Remark 5 .

For controllability and stabilization problems for other models of plates equations, cf. J. Lagnese and J.L. Lions r11. 3

BIBLIOGRAPHY

Chen, G. [ I ] Energy decay estimates and exact boundary value controllability for the wave equation in a bounded domain. J.M.P.A. ( 9 ) 58 (1979) ,p . 249-274.

Glowinski, R. and Li, C.L. To appear.

Ho, L.F. C11 C.R.A.S., Paris, 1986.

Lagnese, J. Decay of solutions of wave equations in a bounded region with boundary dissipation. J. Diff. Equations. 50 ( 2 ) , ( 1 9 8 1 ) , p. 163-182.

Lagnese, J. and Lions, J,L. . To appear. Lasiecka, I. and Triggiani, R. c 1 9 Various papers to

appear. See in particular : Uniform exponential energy decay in a bounded region with L (O,~;L~(~))- feedback control in the Dirichlet boundary conditions. J. Diff. Equations. To appear.

2

Lions, J.L. c11 ContrElabilitE exacte des systsmes dis- tribuss. C.R.A.S. 3 0 2 , Paris, ( 1 9 8 6 ) , p. 471-475.

c21 Exact controllability, Stabilization and Perturbations. J. Von Neumann Lecture, SIAM, July 1986. S U N Review, to appear.

C41 Exact controllability and Singular Per- turbations. An Example. Dedicated to P . LAX. Berkeley, 1986. To appear.

737

Page 8: [IEEE 1986 25th IEEE Conference on Decision and Control - Athens, Greece (1986.12.10-1986.12.12)] 1986 25th IEEE Conference on Decision and Control - Exact controllability of distributed

Lions, J.L. I51 Numerical Approach to Exact Controlla- bility. Moscow Conference on "Modern Problems in Numerical Analysis", Sept. 1986, to appear.

C6l ContrGle optimal des syst6mes distri- bu6s singuliers. Dunod, Paris, 1983.

Lions, J.L. and Magenes, E. r l l Probllmes aux limites non homoglnes et applications. Dunod, Paris, 1968, vol. 1 and 2.

Littman, W. [11 24th C.D.C. Conference, Fort Landerdale, 1985.

Russel, D.L.CI1 Controllability and Stabilizability Theory for Linear Partial Differential Equations. Recent Progress and Open Questions. S U M Review 20 (1978), p. 639-739.

738