You are on page 1of 4
iom® sonra warpuantea, rx. aH6, (On wives ime for the controllabiy of time-dependng linene contol ystems 5. ROLEWICE (amare) vars, Givens fey conn aes spins: Os EvF, Ot $2 (x,2'aanch pao wih Ok Op rt ad rah at ar we yo ‘Sie ptr ofr wih y= 9 Rae eee teh at GE ‘Dik melt ned to the jot He cae oe tiv ie or cently sf nome tated ina equnen t's bane space! jdt = 425 De, nhc A dot not dain ne €or ors w ‘Jove + stare sonar’ the tale a entoabge {et 1 contol system be doseribod by & itoentiat equation fa Banach epnce a a Be anerain, ost< t=, ‘where «belongs toa Banach soe, belongs tom Banach pace A(t {alae (aot necesantilysontinon) operator acting Sn H,B() a con ‘as lise operator mapping F soto: "The problem of the exitence of solution of equation (2) with a, nisi onaiion| @) 20) = ‘and the form of the sattion f dzcussed in detail in (1 ‘The standard tool for sepeseting th slation is th socalled era ‘Ye tall make the standad assamptlons warranting the existence of te toalled evolution eperstarr of equation (1) (efor example (1 ‘bape 1. ‘esa ot real all the properties of evolution operators. For our ‘ousdereton it wil only be lmportast that evluton operators ‘family of contnaows near operators Us) mapping Y into itll, fepeniing on two Fea parsuawar fond such tint 1 (0 =, 2 Digs) = Olt 10 (s A) for Oca ret, 23° the so-called generalized solution of equation (1) with th iniin onion @ 00 bo writen in the frm a) =a, (9 = Ui ner+ [ Oe) Biawlehde (eon for example (1, Chapter 1. ‘We say tht ystems (I) x conta foreach pair of lenis sya, af B thee tne ty and & cotrl (+) such thet the genealied ‘elation coreepnding tothe control (+) aad the inital eondtion (2) tien the conden (4) ~ 9 ‘In the cae whee ied and equal to sero we peak of zero cou- ssotabiy, ‘We ay that thae lea ualvertal te for contrllsblty i ors rtiteary pay, there canta) aah that ee generalize elton ff equation (1) eoresponding to ital eonditon (2) andthe contol ‘aniston the emndion 2(4) "n sims wag ne ea detenine the existance ofa wasvera tine for serocontrlihity in [5] Zabeayk has proved the existence of a univertl tine when -P ace bert races andthe costiientopesters 4, do et depend on tine Tn this pope thereat of Zabeeyk i extended onto aebirary Banal poe 8,2. Moreover i shown that there i univenal tine for sco. outzolabibty for noatonstnt operator A(?) sad 20) ‘The meshod atthe soltion of the problem ie sed on an abstract spproach developed in papers [2], (81,16) ‘By a timedepnaing Kina ental apeton we shall understand spstern of two Banach races ever veale X, F ands family of linear oontonons operators C, depending on a veal 'yarameter 055 <0, called tine, © ‘We say that syst (6) i onal or all ye thar pa (4) et that @ ry). a, =y. ‘We shal say that time tb anerua forthe comtalaiiy of syne ()#0,x~¥. * toni Sabi of edgar cv! tae ais at X be the Cartesian product of two Banach spaces X= X53. ‘We aay tha a system m is sorocontotable if for ench aye, thro is o£ and a weiX; euch that o Ois0m) =. write j= foe there ie 4 we, soek that Ge, a) = 0) ‘Tones. Suppo that eh, ante o a0) for teh Af eyeo (1) $4 sr-contrallabe tho taeda wisart Kime ack Hat or eory2y¢Xy thar 8 0 Syed suc tat ay Oassue) = 0. Proof The set W)={@, eX Ty 6(9, 0) 0) is doves in the spoce Xyx%, as an ives image of a contingen operator. Lat Ppa a projetion operstor mapping 4% Ty oat0 Ty, Ple, a) = ‘Obseer shat 2X; ~ PW; Hono, by the Baaach Uearea a open maps, titer Xj ~-X, oF 8 of the Hee caegory. "ay (00) and the aero-conteoliblsy of epsom (7) 2) once there is an ny such that y — yy which by the deiston of “X, imple the harem et XH, As ¥, wohalltakea mace [2((0, =): Fy 1< p< +20, (C(0, 0); ¥) at tations (bounded eantinuous enctins) with values in U rach that 03) petal = (fungal < tm, Lea < to, as I= gga ily for w= aud for 0((, =) ‘he norm in X i defied by formulae (18) and (18 fn tho way as toe Te F be the tend Banach space. Tet Aaya) = Tat {OU omaKIEe ‘Under conditions waranting the existence of erahtion operators fad condion whieh warrant the Toca integrability of (for bat JexX, opaaior (14) ape > 2X, ino T= Ty. ‘Observe wow tht inthis ease henson (10) elds Tn fale ‘Seppe tat ayeZ, Tht ans thet thar isa contol ye, uch tha an Ui Oba f Dla, Buaede =. “Lat ay) = ssi, fu Boose of the special character of the mace Ha, we ao bare (hed, By the defation of 4), as Bit, Oinet [Us Bieter = Dit Obst [Ui MBM ‘and by yroparty 2” of evalution operators the right-hand side of eqoallty (26) is equal to + a Deron f UH Btn] = Henee oye, whlch Unples (20). Fially we gets Conotzany 3. 1f sytem (1 6 sect, thom there is an eral time sch that for ear eye the fe a eontal w(-}oX such ta ‘he corarponding vlna) af equation (1) wth the nit condition (3) aii the fina condition a) = 0 Tn general, sero-conteolibiity des uot imply coteallabity. How- ‘ever if'wo astme Gat U(ts) are iver, the nro-conteolibty {W equvatnt to cotrllakilty and the existance of «universal te for rer-controlobiity ia equivalent 40 the exitence ot @ universal tine {or control. 4 fllows fom the fact that under the sannpion that Ut 4) Invertible the existence of contol from toy ithe tine fateral [yh is equivalent to the existance of cane fromm —(0 8))* T4100 ‘Paontant Suppose thatthe xyrtem deere by aierntial equation (2) i controlabe ‘Doct turer time for the eonzolibilty of the xyes exit without the hypothesis that (fs) i vertilet ‘As 8 consequence of Theorem X we get Tamonane 2. Tf myst (6) i cota ond 8) = OAR) for tet, ‘hn tee exit omits tie forte otroailty of sytem (5). Cray of edgy tr ert ne us Proot Putting y=), = ¥,Y =F and Giy8) 9-018, wee ne ae 2 Tot YH, ~ B and Xy =X be as blore Let B bo Unc con tinnows open mapping # lato 2. Let 0, 0<4-< hoo, be dened Dy fhe formala as) (ue) = fsit—nsatepae, “yhece 8 Se srouglyenntinnoas semigroup of lncar operons of the he "Ris sxey to vsily that shies condition (18), Therefore by ‘meoram 2 enter that Ifthe system described above ix ontcoliabe, then there exist a univenal tne forthe controllably of the eye ‘Observe Wat (2) = Ou()) can be tnterpreted au a generalired totaton of a non-homogendns diferent! equation in a Banach space ‘ph coutantsoeients oo # - axoeoun vith the intial eonition ay a0) =0, A denotes hor tho itiniteinal generator of the semigroep 8(0. ‘Teele we obtain CConoazany 2. 1f for all ye¥ there ia contro (1X ouah hat de corrspondng statin f equation (20) wi he nla ond (23) eaten quality yy) = y Sor eai depending om Yy thon re a anisrat ne uc at for ery ye thr tra conta u(-)eX fut fhat for the forvengondlg sion of equation (20) wi the Enal ontion (21) ee face (4) = He CononsaR 3. If for all, Ye, tere fe conrad w(s}eX ouch ‘hat ihe coreronding tution of putin (20) wih he én sonion a 210) =, stsfiee equality yt) = $y for ota ¢ depending om ay Yu hen thee it Stisrsal Hime & 0h iat forall, yee hee de 9 oir w(")eX, {uch hat the corepondng rton of uation (20) with the iil condition (ay stein the quality 96) = 9 Proof. By Corollary 2 there isa univenal time s, euch tha, for ‘very 2% there a contol rch that the olution of equation (20) with ‘he ita conltion (23) sormeeponding to the eoutwol (+) sais (23) stat Putting 2 = 9, Stou) we aban the roqir conte, (Of cours the existence of iver nef, ryan (9) pis tat cn bor =¥: £6, tas only coustable aumber of values and (5) is controlabe, ‘then (25) holds. An sumption of type (18) (or abouts countable number ‘of alae of Gj) annot be placed by eoatnuly, as flown fom the ‘eo examples glron below, even in nite dimenaianal spaces xine 1 Tat X—T—C be g eomplex pane considera os ‘two-dimensional rel Banseh apace Fea, where Ree denotes the nl pat of, Tt is Tet 02 = ‘ery to vey that 2 roUor ad that for every 4 <-b0e (2) rayon, oat (On the other hat Cs cotinuous in the norm topology. ‘The next exemple shows that we can replace (28) hy » stronger an FQ Uo, ‘ad sil inequality (28) bold runes 2. Let X,Y be as detor, Lat Gye ~ cE pas, {eis eay ta vanity tha Ce norm-continn. OF cone, ais: (27) and (20 1D) §. 6. Kevin, Liner sifoetiteqin 6 Benet ae, Meow 1007 (a Senay 12) Soolewies, Anata atsntan ora aeons, PAN, Ware 18k {3} =m gol ary fry eager Aes fea 4) = Sato ue te Banat Spin pen) 8 teh Se er Ra ate 6 pe Hathomnte sn pts pe Saturation for Pavardoperatre in weighted fonction spaces Dida Jor Ford ote sin of he eth, ‘cna of hit Sato Pony 8 ae M. DECKER, Pt. BUTERR, and &.. 3HSERL chs’ Avra Ts ste sone the ivan S (Ef) o> onan ‘rr vif ng han Pea toe be appoe os {he triis nal ae 8 od eof pea ata ih seal te Sesion eal evr pu he utan pedi for Font Baa spe Zoy= eC) We s)-Yla) mee hem} Oe nigga opentor Thor the fay hms ried ware dy ot commas opts Barag ‘tin theme he Gaur ears abr Prt popes sare ‘sat ce derive hid nad or weno ype Gn Tee throm” Ban aac he ugh fonone (0 ay the fn socio, a sel, 1, Intvoetion. Ia thi ante we would like to etaly the Pararad erent 5 ay Pyle) we Dille (-2¢ -4) vith 70, me¥, the sot of pastve integers. These operators were in- ‘todoced by Povard (8) pp. 229, 239,50 194 for y las datete analogs of the familar Welerizie operators, a wo YVE froer(—2m-er}ee

You might also like