ijuhIuuuuhIuInLID 5309647694* UHWERSIDAO COMPLUTENSE Universidad Complutensede Madrid Facultadde Matemáticas Departamentode MatemáticaAplicada Algunos problemas ecuaciones derivadas parciales relacionados con la teoría de Control. - - Memoriapara-optaral título-d&doctor—en-C¡dllcmsMateniáticas Presentadapor Angel Manuel Ramosdel Olmo 21.132 Dirigida por JesúsIldefonso Díaz Díaz en en Miadrid, Junio rofesor .Jesí.isIldefonso 1) faz Díaz or su ci ovnie y desinteresadaayu ría> díi rante los ai~os rofesoí ] u q lies IIenry. del lnti tut Natioííal de Recherclieen Informati q tío et en A iitoni elí Paris, tant 1>1 (3M po~ sí.i grata acogida <1 esde lí ace yá ciii co anos, sí.í i:ermanentcdisponibí ¡ dad consejos y a¡)orta>cioríes en ir ateríay si.is de ‘‘ciencia’’. Lii especial a .Jose Maiíucl VegasMont;aííer. por sil constante apoyo. Es poco el tiempo bre la> con)ntrt>l abiii <:Ia(:l aproxí iii atí a y fa Ii ííeali zaci¿u y TeorematIc 1> í.í n tt> Fijo l abi Ii <1 as:l aproxítuatía cilan lii) eal.í> caso superiinca] . . . 35 4 Resíí J tatlos posit i vos y i) egatívos para i.in piol)lema seini Ii iíeal de tirtleu Si i~C~i0 37 4. 1 Cont rol abi í i dad aprox1 in atíacli aíí sl.il)erliiieal 48 II Factorización de un problema elíptico. 53 1 Mut i vacion Un pro1) leí)] acli) ti ct Cl) un tloníi ni o rectaíígil 1 ¡ir bíropi etíadesdc 1’ 6 1 :3.2 U 1))~~ ¿~ Ii it a en una van abíe 64 :3:3 Ecuací¿n y eciía<:itii 1<1)11)1ciii a tIe cO i 1; rol o1:,ti inal asociatí () a la e(:118<.:j (iii <11e fil ccati tIe Q y í 1 cciiae101) de un 90 .5 Relaci¿¡ientre factoíizaci¿n en el u:aso conti ííío y factorizaciéncii cl <:aso 4 5.2 El inetodo de factorizaci&i apI!ca2 6.2 Foi iiiiil icí¿íi tiel probleiiía >4 6:3 ( ah i ib foíiiíal 106 7 (Ienerabzu ion dcl - rabólicos tic segnntío orden en los qtic aparecelin ten IUO tío liii cal o lii en en la ecliací01) parabólicao bien eíi la condición frontera. En estecasoprobamosque,si 2i C 2, entoncesel conjunto {y( , y J. r generadopor los valorestic las solucionesen es III] stíbconjunto tlonst) rres¡>01] ropiel no lineal se abortia como un a perturbaciónroblemnasparabólicossemilineales(veanselos problemas(Prg) y (‘PN) de la Secci¿n¡ ). La controlal >1 litíatí ntrolal~>ilidatl etí el e5pa(:io13(t2). En estaniei)]oria prol)ai))t)s la coiitrolabili&la5 p101)1Cnias parateríni nos no Ii nea]es merainente <:outIi] uos y no tiecrecíetites,cuaíi íd—Z í íazíía [28] [‘291. Esta scc:i 01) ~:ot)ti ene rl i versasniejoras dc los resni tados de Henry [35]. En pan i cuíay, forír ni atoos totios los resí)1 tados deesta secciónl)ajo tilia inI sma contiícíón sobre cl (:oit) portainicoto a en el i utí o itt> iW. a Exteííticínos,de estamanera,los resuitadtsqííesobreestosproblemasfueron I:rol)~ítlos en FI en¡y [:35],donde se reqí íerfa queci dato iii i cial fticse nulo (en estameinoríase i nt rotíucen datos iniciales ci] L2 (Q)) y qi me la función 1 fuese acotada,en el primer prol)lei))a y ti ue fuese1 ipschitzianay mouotoííacrecícíite, en el scgtíns l)le— mas,tlesptíescíe su discretizaciénpor (le j:art i técnica cíe la i u :lmís i ¿mí iii van amite Sol:>me el a sístcma liii cal resultante:oii du :ea la factorizacióu L U por 1)1<)qtiesiiti CijMhl Ol)j Uti\TO dic <‘st~t 5CC(’iólí es presentaralvinos resultadosrelativosa la ctni tic>— labílídamí aproximadacii 1)> dcl pi oblema de [)irichlet sem))i[ii)eal 1 yt — Ay + 1(y) = u, (7%) y = 1) y(O) = Yo en Q = x (0, sp) en E = 012 x (071), en 12, y cl ¡> rol>l ci]) a cíe Ncii niarín 1)0 Ii ti cal (PN){ en 9, en E, cii 12, tío ti comii ti tito acotatio 110 tal qmíe 012 es ui~a variedaddi fi í cmi ( i ctl >1 C (i — 1 chmnensionaly 12 estalocalmenteaun latio de ¿312,T > 0, 9 = 12 x (0, 7 ) 1 es u tía fun ciól] real coimt i níí a, yo c IÁ~ (12). u es el vectornori])al unitario exterioren 012 y u ambosca.sts o representa.cl (:d>iItrol En el P ít0:í1 cina (Pn) ir ostrarciríos íína prol) i etíatí más fmi erte <~ii( 1 á mis u ti tic comí— rt 1 abII i clatí aproximnatía: Paracicrtasíj í> clasede estados31) + f(y) = y(o) = y 1 2 ChipiÉu M 1 Algo tíos ¡es) y (gv) teíítlrá el miíismo progí meral p ti ni ero p mo b¡ii-en)os el íesmil t¿vIo r ¿ira mm caso lineal asocia(llo y a :< mit iii ii pmimsiste ci] mnoclibcar el coiitrol asociadoal caso Ii i)eal m))cllliammtc umia :u=rtíírba(:íon qtíe (:ai]cela la p~ft~ íío lineal <¡iit djciÁ cte ecliacIom) o en la condición dc la frotitera. 1.1 Controles internos rio negativos. A lo l=tigocíe la extensalitcí mier de relieve t¡iíe, cii coiitrastecoii cl :ast, sin restriccionessobre l<:ís troles ( x’easce.g. FI enr [:3.5]y 1) faz— Fu¡si hoy [25]), la cxi steíícia. Ii> i J <:om)ttoies imitroduce iii r~~t~~estliií(:miltalcs u> a:tiian sobretotlo el clomi itio 9 (30 mncii zarcos cOlis íderau a 0 p.c.t. ptii]to 01 Ii micalítíatí podeniosasumír <¡nc Y0 1) y Ii 0. Si pommgaiíiiís J eXiste y~v) = AY(T,u) E E y ptír tanto (1.1) Y(T; v)qd:r =0 < o < ¡ yagdx paratodt> E U. Ahora, sea q E C ([0, CE] U’ (9)) la soinción dci prol) 1 enia retrógratlo aimxi liar{ —q~—Aq+aq=0 en9 (1.2) q=0 en>? q(T) = y en SL Ni md ti phcando en (1.2) por Y (~~), con u C U arbitrario. obtciicutos 0=f =í(x)Y(T,u:; v)dz = f qvdxdt V y E U. l>oí la <1cmi si ci adí el ti en LI$ (9) necesari antevite, (7 < 0 en 9 y y < ti en U, it> ~:tial cotitradice(1.1). u Abora cstam iíos í ~‘i aratios paraabordav el prob1cma no lineal (Vn). Ponsi ~ p1 i <:í = 0, It = ~—.1(Y; 0)) y a 0, iniplica queexistew, E 14(9) tal qtíe II Y(CE; zv~) — lid IILP(n) < e, i:om7 yj e y(T; 0) + L~ (12). Además,(le ííííevo por el prin<:i p~ 0, seañ la solu(:ión del problemaauxiliar — zN~ + f(ñ + Y(w~)) = f(Y(w~)) + 6 en 9 t/=0 en>? YO) = 0 cí 9. lti)touices. si 5 y = y+ Y(w~) , ptmiirt>l:>ai <¡ue y es la soluciotí <:i (~ (Th~ ) con Oc = w~ + f(Y(w~)) — .f(y(; 0)) + 6 E L~(9). 4 Capítulo 1. Aigm¡nos ¡así;¡Ladosde conL roiabilhlad paraprobien>as parabo~uos J A cleiiias u~ > 0, pííesto q mmc / es tic> decmcc.íeímte y Y( w~ ) =Y ( . Li)) f/ ( ; 0). Usando ¡ a de¡;sid¿mdcíe U y la depcvidencnícouitíluía. sobreles (l¿tt05 míos E U l~l or tatito II fi(1; u) — fid ¡fi ~<íi>< (4 J Observacion 3 En cl tetírema anterior también es posible a]~ortlai el castí en ci <¡míe 1 Jes iii graf<í ¡ilaxí mi]al íntmnótt>nt, /3 . j Esta Li Potesi s o cii rre Cvi 11111cli os casos: i) El caso de 1) (/3) = It? (conio. por e¡eniPlí cimamitlo /3 es lina fííiicióím covitiiiima iio 10 Jy <0{ (—oc, 2- >/3(u) = 0] r=z0 observación 4 Es fkil vcí <~iie el r¡v.. 1 <:omm la desct>i)iposi(:iommY = 14 — YI rol> lení a (Piv) Apli caí-eni <~s la tccnic:a es densoen L~(Í?) E Demostración: Paracatíay~ E L~(9) y e > O fijos, iisamnt,s la decomposicióí y = ~ + Y comí Y la st,l íj :ío mm 0v i])edio O sea fi la stA m ic:ioi) 0 es siífi cientei))Ci) te ictití, existe O > O tal qí)e 1 NT) IIumCm=(Y. Por fi ít i mii o. usa1]do la UesigualtI ad t vi angtilay, obtei]Ci)] os el resí mIt adodeseado. u 2 Controlabilidad aproximada vía linealizaci6 nyTeo- rema de Punto Fijo de Kakutani: caso de troles sobre el flujo en la frontera. Est; a se:cion trata algunos resultados?) denotamospo, y(v) a la con- apI i caí- ííí argíimnento (Ile ¡9111]to fij O para miii operatlor iii mil t ivo:O (~l TeoreiíiIi (le P in tt fi (4ipIÉ u lo ¡ - AIgmvii os ¡-esmil ¿míosde conÉro¡abIJAlatí pal-a pro61cm¿ísp¿m¡-abóli¿:c,s- Fi ~t) cíe lKakíitani ). (i3oiísitiei-arcii]os Itís tíos PmOblei))¿15de :ontitl sigiiieimtes. J y~ — Ay + 1(y) + du:,1)/tv) 3 fi en 9 (Vi) — Oxe) cii q(u:, 0) = yo(u:) en 9, y — áy + a(u:, t)/$í) 9 It Ji + ~ = (V2) ~3~6 =7) ¿Chi :tí(u:, 0) = lio(u:) cmi 9 en ~ií < m.,im ? y u’ es -Cm) ¿)S1. La <:oímti-ol abil ajt) 1 pama (V2) ( 8c -eió vi ‘2.2). Nuestrcí n)eto (:(1)mi)binai-a algimimas itl(ML$ íntrt,tliiu:ítlas cii 1—lení- [:35].Li oí í s [42] an<1 Fabre—Pimel— Zuazmm a [28]. Seflalavi]ost¡ue ld)s resmiltatlos de E = ¿2 x (0. ~f) Seaa E L~(9), y coimsícleremmíos 1> E 13(9), ve C ¡2(9) 1 )í-ihnimiios X’(9) = sc E /412(9) 2=i=dv A<¡ mmi y en 1o ciije 5 gue ii5iti(M)] <15 la vi ot actoii flrs(9) = 12(0,71; HS(9)) ~ [/r(() T; 12(9)) p=U¿i 1. .5 E lIs?. 1 mmspim-a, sc(-,O) )L2 (O) Vsc E Xí(Q). J j J J J J J J J J J J J J J J J 2. <.$ui trolab:Julad api-oxuiiiadavía el Teo¡-ezna de PonLo FVjo de Kakmu tan 7. 7 Teorenta 7 SeaJ una función ical satisfaciendolas dos condicionessiquientes (1.5) j(.) es continua y existeI’(so) para alqun ~oE IR, (1) { ExisteNI > 0, q > 0, y 02 > O tal que j(s)¡ < ti + c2¡.sI, sí H > NI- A -s míw ¡ mas tantb¿en <¡ O tal que para cada k E L 2(>?), It E 12(9) y w0 E 13(9), la solución w de — zNw + aQ, u:)w = It crí 9 (1.7) 0w—=1. en>? [w(0) = en U satisface (1.8) fi W ¡¡¡1/2 I(Q)= t. (fi W fiL2(Q) + fi It lL’(9) + fi k ¡L2(E)) . ¡ A deiita.s. sí { a,, C L~ (9) con sup~ 6~1 fi a,, L~(9) < oc, entoncespodemoseleq~r (7a,I = (3 independientede a - La í vii eha la ha(:on)os cmi dos pasos- Lenta 9 La conclusión de la P¡-oposición8 es verdads s O y k 0. Demostracióndel Lema 9. Por tíemísidatí podemoselegir umía siicesicii a” E C~(Q) tal ? ¿3v w’(0) = O en U resii It atIos I:> i Ci] :onoci<1os (vease,~,or ejem))pío, la Se:ci017 6.1 ([leí (~3al> it ii lo 4 de Li ons— Magemies[46]), w” E H 1’2(9) y ¡¡ W IIHí2(9)< <~ (~ It IL2(Q) + fi W HLI(9)) 8 CapuLu lo ¡ - A¡go u os restul fadosde cotí t io/¿i Liudad patapu-o6/emas ¡uíua¡‘6/li os J coi~ O imitlepei]dievite r J’ y usalmdl t) la ? dv w(0) = O cii 9 J y s=m.tistace <~itim (‘“ i m l(lC¡)Cim(l ictite dc 1). • J Demostración de la Proposición 8. Seaw = it + z, tlt)iIdle it satisface. — It ei~ 9 BuI 2722 j y z es s<>lmición tic ~ (/7 = —(171 Ci) 9 J (1.9) =0 cvi>? eii 9. Entol] ces tencmos la cstini acmon ¡[7¡ ¡f/I/2>I(9)< ci (r ~ ¡12(2) + H wo ¡Li (O) + ir It 1112(9)) vease.¡~n:ím- ejemplo, la Sección ¡ ¿7.1 cíe! (3apítmlo 4 tl/4.i/2(>?) entoncesw E U 2((3, CE) x ~)para todo 0 < <5 < ‘1>. J J 2. ConÉ¡-olabilidad aproxizna?, a C I7”(9){ —sc< — ~sc+ a(u:, t)sc = o hsc~ 011 ‘it) vsc ret rógratía, satisface en 9 en>?, con sc(T) c [3(9) y sc=0 en (9 (1.10) ydsc ? (=111 9. entoncessc O en 9. n CapiÉii/o ¡ - A ¡go nos resííltados de conLí-olabiJidad par-a prob/emasparabóJieos. Demostración: Seat~ = sup{t < CE E u: E <99 tal <¡tic (u:, t) E (9 } . Entt)i7 :es, 7)oi ii ii tcorcma tI e (:ontit7ijaciót) úiíí:a (veaseNl izobata [49] y Saíjt—Schemjrer[5:3])y la ii 17 ci< Fi 17 alt)7et7te,por resultacítiscíe ii i7 í ci completo9. u Observación13 En la deunt,straci¿vi tic la Proposición12 pocl ciiíos apI u:ar el ¿ngminientt roposi Ci ói7 ¡ 0). Las dts prt>posiciotíes siguientesson resultadassin~i laresa lts prescítadtjs en Fabre— Pucí—Zuazna[29](en las Proposiciones2.2 y 2.3 O, ~p E ¡<2(9) y u e ¡<<(9), ci funcional i(; O, fil) ¡<2(9) ½ IR es estrictamenteconvexo y satísfaee Uní mf 1(sc0; a, 7/1 ) Además.1 ( - ; a, :t/ri) alcanza su mznimo en un unzeo p7tnto sc~ E ¡<2(9) ~ (1.11) (1.12) —iiisc = ‘~- fil ¡2 =6. E U einostración: Si .1 tío satisfate(1.11), cíltoí7ces existíra una sucesión{ sc~} c L2(9) tal <¡ííe Isc~j2 ½+c’D íjn~ ~ ‘(sc~; a, ~ < ~ IscRh 1)e este i7 modt, si sc~ es la solti ciói~ de (1. lO) coí~ <1att> i íti c:ial sc~, tenemtsque [bu inI í scn(u:. t)¡ ”(= líni inI y%scJ2(J itni2¡ + 6 — >¡ ¡«i2 sc~2/ +6 =+oc. EJ EJ EJ 2. (JonÉroJabiJidad a¡)roxiIi] ada vía el Teorema E ¡<2(ti). Entoní:cs, p<~~ la F’ ropOsí(:ión , pv convergedéiS¡inientecii8/ - - 1:3) y la propíetíatí ~¡scI2— ¡7/d¡2¡LP¡2 > ¡sc¡2(~ — ¡fid¡2) > o Vmp0 e ¡<2(9), Ití c:ual i1))l)li(:a> <¡ile sc7 O. o l{ccipi-ocamentc,si siiponemiiosque mp = O y ¿ < ¡lid 2, tomanios ¡Yd¡2 — ‘7= 9 y entcniu:cs. com)]t) 17/ah = sup ¼“h 2i I ~ dx, - 1>É si <~<> E ¡<2(9) COtí y 0¡ = 1 y ¡Ya¡-2 — fi-¿ yd~ra todo -I (~¿<~i[i) ,í2 (f 2W 0 2 ~(t, x)¡d>?) + It — j -ti1) + p(¿ — 17/412 + -Y + ji(—2’y + —) 2 < O, si ji es suficientemente~ Pci-o ~V= o unpl ¡ca <¡miel (p$ ) > .1 (~ti) = O. lo cual es mm ua cotít ratí i cciód e> ¡!/4¡2. — J ~ ¡ P~U 2 6 ji:> O <¡iiC (1a¡4t ¡mIo 1 - A/go n(>s ¡-es milLados 0(9) ~ es un s7íbconj7¿ntoeoinpa~(9), el conjunto NI (1< x 13) es- un subcon-ju¡íto acotadode ¡<2 ( 2). Li Deiii ostración: (3cm cl objeto < ¡3 c ¡<>0(9) tal que = ¡A’I(47, <¡2 ½oc. A Lícmía, <:oi))o ¡3 es acotado,existe ti C ¡<>0(9) tal c¡ííe utia. siibsum:esíoim (2 >4 (1 Ci) la t 01)01cigia (idi) 1— * cíe ¡<>0(9) y. (:017)0 1=es coimípacto,existe f/q E ¡<2(S 2) tal <¡nc tina substicesiomí it fl-t~±c< fbi 7/4 ci) la tt))}t) ¡ ogía. fi m ~rtc tIe ¡<2(9)- V’eamm í (:75 t¡ 1(2 (1.15) Si mio Iii em-a x’erdatí existirla. Iii) a. sim :esió mí (mp~),, (le ¡<2 ( ) tal <¡ nc ¡ mp~¡2 —> oc y J(sctge cii la 1:0 pologia. <1db 1 ¡de E’ minLo Fijo de KakmmLan¡. —0y, coi)]o coi] vergeen la. topologíadc ¡<2(1?) a> O, teííeniosque [ini infi,, =e, U~4 +oc lo címal ctititratlice (1.16) y por tanto prueba(1.1-5). Fin al i)Iente, senalauros <¡tic .1 (,3~; a~, 7fJ) = uíía contradiccióncon (1.14) y (1.1-5). De esteulotio simp { ¡<,j2 “EN u E LV} < +oc. E Definición 16 Ii)ada V A’ ½II? U {+oc > -unafunción propia y convexasobre el espacio de Bu-ii ach A’, se dice que un elementoPo de V’ perteneceal conjunto OV(¿co) (subdife— renejal de V en u:0 E A’) si 1~ (u:o) — y (u:) < (1>0, u:0 — u:) V u: e A’. Observacion 17 Bajo las comidicionestic la Dcli mli ciól] 16, u:<1 so!míe lvi smi bco¡mj muto conveXo tic A )si ~‘ solo si lninin]iza 1’ sol>re Y (e> O E OV(xo). Proposición 18 Bajo las antetiores condiciones-,si V es-unafunción semicontznuain— feí-iormente.entoncesPo e ¿9 V(u:o) -sí y solo si (pu .u:) < hm V(u:o + li-u:) — V(xo) (-<+oo) Para- m na (:Ieinost racichi vease,por ejCi)) ¡) lo, la 1>ropos1ciói) (págíría 187) y el Teorema 1 (i (página> 198) cíe Aiíb u— Ekelancl [3]. Observacion 19 Si V es dífeí-enciable(Jateawn.stí difemencial coincide con, íeím<:íal. slj 51iljfljlifc— De nmí evo, el siguiemíte len)aes ¡1) resultatIo siiii i lar aí prcseíit atio en Fab re— F-> tíel— Z iiazti a [29] (en la l~> m-oposiciones2.4 1) tIrá la cl emostra(:ioI) 501<) pama.COllí 0<11<~l atí <101 1 e<:tor. Lema 20 Seansc 0 e ¡<2(9), sc0 # O, sc la soi7Leion de (1.10) con sc(CE) = sc0- Entonces ji lo cii al es V u: E A’. Ir a, 7/a) = {~ e ¡<2(9) B ti e sgn(sc)xc,satisfaciendo 14 +6 le2 ¡sc12 donde 0 es- l<-¡ so/ación ?) 2 + 6¡9<~¡2 — .127/90(/2;= Ji (y 0) + -12(sc) + -[«sctm>)- Sea.1> : = { (1. u:) E (9 tal <¡nc mp(i, u:) = O , y ~ c ¿111 (mpO)- Corno Ji sa-tisfacelas hipótesis tie la Pro¡j) 05i ?) HO IdE) 2 1< Oíd>?) — (f,¡scídz)21 (~/j ¡sc + /¿OIdE)1 >2 sgn(mp)IíO)dE) san(sc)íí0)d>?) (jííío¡á~)] = lii)] —7- [í¿ (j +2/< le>—r’ = <~Isc¡d>?< = le¡scdd>?f j~ s~u(00d>?)2 )OdE] + ¡ mp¡d>? . 1~’ ¡0¡dYi 5=í~dsc)0dE+ le y¡d>? j ¡0 dE y¡d>? ¡ ¡0¡d>?.sqn(sc)OdE+ le E ÓJm(sc0) ~ V00 E ¡<2(9) sqn(sc(t,x))0(t, x)d>? + J ¡0(t,x)¡d>?) - (3 = {0 E J~((3): 0 es soltícith7 ?) >/ y<,(u:)00(u: ) d:í: VO< E J J J = O (E1- 4< J Isc+ J 3 2] 3 3 Entcui<:es. (1.17) 3 (I¿-1~ 3 3 3 2. CoriLro/ahilidad aJJI-oxifllada vía el Teoreníade F’uí u Lo Pijo ? + J Ptr (1.18), l~ es continuasobre ¡< ((9) y ciltoIlces V E ¡<>0 ((9) y (1. 1 9) O(t,u:) íd>?) - ¡le, V(t. u:)E)(t, u:)d(9 — ¡sIL’ ~ / s=in-Q-pY,u:))6(t, u:)d>?¡ = VO E ¡. tenemos<¡nc V = ¡so ibm(o) ~ casi para.totio pmi mito ti e (9 — Ir>. A <:oti ti i]tiaciói] . si toinaniosO E [1 (1>) tei]em)]<)s que /~, 17(1., u:)E)(t,u:)dSs¡=¡SIL’ (o)f ¡0(1, u:) ¡dE. y Ci] t<>ii <:es ¡ V(t, u:)I =1117 ¡ILflI’)= ¡sc¡Lm(o) ca-si paratotIlo (u:, t ) E 1’. Esto prueba<¡íie existeu E s¡íuQp)xota>l qiíe 17 = Isc¡Lm(oyo. Recíprocainente, sí 17 E ¡ sc ¡ L~ (o))~=m(sc)xo,entonces 00 —> le V(t,x)0(t,x)d>? es tul a. fui)ci ón Ii lleal <:c>m)ti viii a sobre ¡<2(9) y )? (9) tal <¡ile V ()~~ e ¡<2(9). ()bvialiente~ satisface(1.17) y por ta.ííto ~ E ¿LI(y0). (JOvii ti segundo pasti, (:ot)si deranios 12( sc0) = ¿ ¡sc’> (.r) ¡2 ¡ - A Ig mm u os u-asmmltasios dc ccii mtí-ola 1)711<1ad ¡)a¡-a pi-ciNea m ¿m-s p; u-; L’6/h: s - F’tir la (1)l~)serya.(:i ón 19 — ~ sctmtm() ¡2 ci:i:) — 6¡sc01>im j Fi t)alm]ieimte, P<~i liiit¼LlitIatl. (<912 (mp0) 00) —12 (u:) 00 ( u:)du:. El A lío va. estamos írepamadospam - a ii mt>l~íaí iii m a vei-smotm liii eal e y ~ es la solución / + a(t. :r)y = It en 9 ¡ (O)7’XC) en{ /í (O) yo en 9 ->0 = f/j — 9 ’ /7 pOr tanto ¡(7’) y~¡-~ = 6. El Observación22 Si 7/o e O y lí e O. el caso¡yjI < 6 se mesmielvetm-iyialii]cmmte comí cl coimbrol oe(L Demostracióndel Teorema21. Usantlo la. l’rtposiciómí ¡5 y pci- Ii ríea.lida<:l , pou:lcmmios suponer<¡míe ~ e O y h e O Alitíra.. gt-aciasa la. siibtlifertmcia.bilitlatl cíe -1( (:¡:>íu: — f/,i(jt)0 0(2)dt. Ptui- otro lacítí. (Rii)iti 0 (45 la. stil ilción tIc (1.1<)) y y (=5íiíi¿t fimmm:ió¡i test atli)1i5il~iic \ (9) ptír la observación11 tei)ei)]t5 <(ilC (CE), 0<) = ¡ ¡ 1>0 (o)) (f u(u:, t)0(x, t)du:dt) - 16 J 2 ~ () 00(u:)dx sc ( :i: ) Vii (u: ) d:í: J satí.sja< e J J J j j J J (1.22) J J j 2. («niL¡-oIa.b¡Jiday’~y vCA(x) es selnícontin7fa superiormenteen u:0 - Diremos que la. función m7tltiílaluada es hemícon— tinua superiormentesobre un subeonjunto1< de A’ si satisfaceestapropiedaden todoslos Jiuntosde A’. Teorema24 (Teoremade Punto Fijo de Kakutani) . SeanA’ c A’ ujsubconijunto compactoy convexoy A 1< ½1< una función m7fltivaluada hemicontinuasuperiormente con valores convexos,cerrados y no vacíos. Entoncesexiste un punto J jo :¡:m~ : de A. La clenjtstra.citmnseptíetle ver, por ejemplo,en Aubin [2], página. 126. Demostracióndel Teorema7. Seanyd e ¡<2(9) y ¿ > O fijos. Definimos q(s) = { f(s)—f(so) ~ 5 = Eiítonces, por las hipotesishechassobre f, se cumple<íiie y E ¡<>0(IR) Ii C( ~ .áhora, usan<1<> cí Teorema.‘21, íara catia z e ¡<2(9), b e /3(z) y ¿ > O se j)tie(lE~17 encontrar1/ — u~, en dv y(O) = yo en 9, (clontle u = ¡ sc (z,¼L’ (O) o (z,~<)satisface (1.24) ¡y(CE) — f14¡L2(&m) < 6. 18 Ca.píÉu/o 1. A ¡gvnos resu/Ladosde conÉrolabili 8 teticinos qnc (1.2-9) {I sc(z, ¼IL’(eY) 73(z,b), z E ¡<2(9) b E ¡3(z) 1 es acotatIo en ¡<>0((2)- Sea (1.26) Al = sup ¡ y(z, b) ILm(efl< oc. zcJ3(Q) bELS(s) (1.27) Obvia.vi)eimte~ =¡¡ sc(z, b) L’ (<9) u(z,¼satisface ¡ ti ILflE)< NI. De este í í íotío, si íí imto Fij o cíe ¡<2 ((2)- Peíoestoes fácil oím Lro/abi/idad aproximadavía el Thorenía de PonLo Fijo de Kakmítatú. ‘9 (1.29) Ademas.A(s) es obviamentecom)vcxt) ptie>s ¡3(yj, e), /9(z) y { u E ¡<>0 (>?) ti satisface 1 .27) som ctnj tíntts <:c>nvex<~s- Por tanto, t)os qíie(la por ver ct>!]j tu] t<) (:omripa(:to 2(9) a. y E U. rllci,(Jml~(»s qiiC 7)iOl)a.~ <~ne y e A(s). Sabemos<¡nc existenb” e /9(z) y u” e ¡<~ (>?) satisfacientl<,(1 27) tules <¡tic f /ij — ~ + q(s)y” = [(so) + q(z)so— ab” + It en 9 ¿Lp = u”-s coimt roles u>” s fi unuforníemente actitatios, ?) y 2(9) respectivamiíente.Atíemás, -ti satisface (1.27) y, puesto<¡be cvialt¡ ii gí-afo í i)a.Xi nial nionótont> es fijertemente—tlébiImeulteceíratlc (veasela Pí-oposi:íóíi 35 r ejemplo, ¡<>2(9)), tletiiicí niOS 2(9). Seaw” = y — “ la soluciómí u”)xe, ¡ ¡ 1,2(2) en la top<>1 ogia (Idi) 1 2 ( >?) y la solución ~“ de 1 AD>” + g(s)D>” = A(b — 1>”) ___ -Y” ¿Chi — D’}O) = O —, eíitonce-s-y ½0 en 9 en>? en 9 satisfaceD»” E LV >2(9) (vease Licius—Magenes[46]). i)c este i))0 — 19’ )w” ¡ 2 (~?) y. mí sando cíe m~ uevo resmil tatí05 <:1 e meglí1 ar iti ad veasecíe nievo IJions—Mageríes[46]) teneirios t~ me J W W ¡ ¡¡3/4-3/2 (c~j = ‘~ Ii o>’’ — (u — a )xe’ ¡¡12 2(9) c C([0, CE]; ¡<2(9)) es una inyeccíóti conl;intía (ií]clíiso iimvecc:lo il (:c> nipacta; veasecl leorel))a ~3de Si 1)]on 1-9-9]), oi)tem)cmos q tic II u’’(CE) — w’’(CE) ¡¡L2(m-fl½ O :imanclo u ½oc. Pci- tamitcí w’’(CE) ½fi cii ¡<>2(9, It> qtme inipli(:a chíe y(§I’) — pal? < 6. Esto pruebaque y E A(z) y couicliive la primeba cíe (ji). (iii) Tci ci)] os 2(9), J Iitti supojA(z,,), lo-) =a(A(zmm) , lo). V lo E J 1-lemnos vistc cm7(ii) cine A(z) <=stui conjunto <-on)pa(:to, lo :ua.l ii))plica i ( i) (y’’),’ C l} <¡mmc es iii) u:oii¡ tímítc coumipacto. F>cui- tai]to existe 4/ E 12(9) tal q u( (2 (9) PíobareLI) 05 t¡ iíC f/ E A (zo)- JSal)(~vi7<>5 ” E /3 (z,,) y u” E ¡<~(>?) sati sfacicii do (127) tal (j¡ míe t/” + q(z,jy” = —[(-so) + tí(z,~) — ab” + lo cm] 9 J (1:30) J “ye’ cii E 1 ah =E. cii Sí j [)e a<¡íi 1 cle0(Z) satisfaciendo(1.27) t;¿il <¡míe u’’ ½71 cmi la toj)ología clé>l)i l—* l:íilim-mmle (:ermadoy <¡míe laecimaciónitieneini efectou-cgtíla.rizante(coí]ío cii la l)rIicl>a 0(E) sati sfacieu do (1.27) y algumí b e /J(zií), lo cual implica quey C A(zo). Entonces,paracada lo E ¡<>2(9), j ojA(z,~), lo) = ¡ loe, x)y”(t, x)dxdi ½¡ lo(t. u:)y(L, u:ftíxdt = < stip ¡ 1$,x)yi(i, :r)du:dt = a(A(zo), lo), SEA(zc) 9 J J 2. (ioíí Lrolabilidad apr<)xifliada vía el Teoremna de Fmi Lo Fijo iii] compactotIc ¡<2(9), satislace las 1] ipotesis 0 (E) q ile satisface(1.27) tal <¡tic I — áy + f(y) + a(u:, t)/$y) 3 lo en 9 7>ji (l.:31) ) = en>? y(O) = 7/o en 9 ¡y(CE) — 7/dl? =6. r tamito, y N -si íd ve el pr blcnia. (le contitA abi í i : II?”, 9 = x (0, CE), E, mlvi smml»couijuii)tt) cíe E = <99 >< (O, CE) tal <¡tic E? = >?\>?~ tiene iiiterior tít> vacio, (t(-, -) E ¡<>0(9), f íííi a fi inciómí real, lo E ¡<2(9), yo E ¡<2(9) y /3 un grafo maxínial m<ítíótono a:otacío (le ¡KA tal tí nc D(~) = IR. Lvi esta sec<:í01] esLi títliarenicís la cont rol abi í i ? NI, para a/quna.sconstantespositivas cm, e2 y Al, entoncesel Problema (JP) tiene la propiedad de la controlabítidad aproximada con espacio de contíole.s U = ¡<2(>?2) y observación fi(U)IE e ¡<$>?~ )- El Demostración: Seany<¡ C ¡<>2(>?~) y ¿ > O fijos. TomarnosO < o- < 1/2 y 1< = 4z E J-jt/>2—a/2)—cv(9) ¡j z¡2, — ya ¡¡1,2(20= 4. 22 Ca¡>ÍL ti/o J - .4/gtí¡m os resmm/tactosde ‘:oím trola biJídad para /)i<) Líen>¿is ~ntraLoiti: os- A t¡tu senala.nitís <¡ile, [1mIesto <¡nc el operadtír tic traza de jjl/2 — cv/2,) — ~((2) a ¡<>2 ( >? ) es mt í viii o (ve-ase. por ejeni pIt>, la 5 e:cíómí 2.2 Ii cacíói í iii mil t í’voca ½V(K) J ¿E(z)= 70 b E fl(z), II ¡¡t2 (Y: 2)= H, II !ti’)lY: 7/4 IL~ )< 6 ~. 2(Z) ( 1~> cir (1.32)), se. tiene quey~(77) E LI 712’’ (9) para catia. z C U i/2—c*/’2,i —“(9) b E /3(z) y 7; E ¡<2(>?2). Atíemás, (I.:34) ¡ f/§(7)) ÑP2(Q)= (~(¡+ ¡[It ¡[12(Q) + ¡ ¡ L2(Y:,) + 1 ~ii L2(O)) J vease 1 a. 1> í-(í pos i :i oii 8). Pa.i-a. p mcii:i a.í- el r14,<,reina 2-9 misareni os (~l e mutevtí el tico remii 4 dc J ~ Fi cí cíe Nakimtaími - Dc este miiotío, prol)a.retmiosa <:oumtivitíatiomí las lii ¡íotesis y u- se tIchen cmi i])plit para ¡)ti(jlel aj)Ii(:ai- esetetim-eiiía. Oracias a. ([.34) sabei))05 <¡míe existe miii sub(:ti íí; tnittí acotado y cíe 1< ->i jj m/?, i (9) J 1;al <¡ nc para cacía z G 1<. F( z) c y - Em>tara \‘ei (¡i)e E(z) es miii ctimijiintcí couiipa<:to ¡íúi 2 (E?) satisfaciemído ¡ ¡ u” ¡¡ í2(Y: 2)=It., tal (¡ míe J — A>í” + a(u:. t)b” = lo cii (2 ____ + j(z!21 ) = O en >?~ J 1% (¡.35) _____ = mí” cii E? J ti’’ (O) = yo cvi 9 ¡¡ f/” — 114 1L2(Y:fl=6. J 2. (bu L¡-o/aLilidad aproximadavía el Teoí-c¡na~lePonLo Fijo 2(>?2) y tic ¡<2(9) resííectivam)]ei]te. Tambidí] -u satisface¡¡ II L 2 (22> < R y puesto ¡3 arl)im [5]) sobre cli al<¡iii er espacio le Batí ac:b con dual mínj fo mmcmente :oíí vexo (c<í i)7O, )2(9)) tevi cmtis ci tic ti E /3(z). De esten~o<1<1, 5~ ¡)a.5amos al 111))i te en (1.:39) (tenicutlo en ctienta<¡ile [(y”) ½1(y) cvi ¡<>2(Z)), ohtcnem4>2 dv fi(O) = fío (117 9. Además, ¡ fj” — y ¡¡1,2(Ei)?m (LV)- — -o en Y(u:, O) = yo(u:) en 9 - pertenecena con]untos- a2(Z)) respectivamente.donde E 7/ (Y upe; e ¡<2 (>?2 ) es el control óptimo de esteproblema respectodel funcional .1(v) = j ¡Y(o) — IId (upe; sabeniosque existe por los resultados- de compacidadcitados anteriormn><:nte,I, en— (oncespara cada 6 > O podemostoma>, 1? saJ¿eíentementecon el que se cumpla que ¡ Y( E, U, ¿‘no;) — 7/411,2(2,) =e para todo E E ¡3 y (3 E E. El Demostración: Por Ii i]ea.l itíatí I)otlenios smtponerque ‘/cm 0. Tomam<ís-y > O silficicí]— temnentepeqnefltí. Entonces,si E E JI—(i/4~h>~—2O/4+-O(Q)y (1 E I1~—>2’(>? 1 ), t)l)tcneinos vease,por ejcmii ji lo, Li 2Y(Zí) ½¡<2(>?i ) la aplica.cióíí clehmmíd¿ipor PJ«E x (i.’) = Y(E,C,>op,e,-)¡zm. La. u:<,ií ?2) , ¡ 1) LI _ Ii?>. Lm~ttiiji (:es, Sitj)) a.ii~>Fm Cm —(Y(E1, ~ > 0fl cm) — jj1 (Y(F [17(1%,(;~ , 1’~m$i ) — Y(E2,(‘2, i>172,ijQ] 1-”(O, O, 0flC< — 012 2C2 )d>? =O. A Lora.. c<>ti)ti Y(J”1, ~, 0g0c,) — Y(172, (‘>2, l’F2,C,) 17(1% — ‘~2, (>“~ — (íd, O) + Y(O,O, t3~í,Cm — t’~,citj), misan(~lo (116) 5 tIetI ii (~C <~¡ míe ¡¡ Y(fl, (1i, u 2, e; ) — Y>(E2, E;2,tt/7j ¡ 1L2(V,) [Y(E, (;~ , vn ci,) — Y(F~, (>.%. t’F2.C2)] Y(Fi — 1%, Ui — 6k, O)d>?. ¡‘cii la.5 clesigiia.ltla.tles2(’/4+Y)(Q) + ¡¡ Oj — 02 tlom7cle la covista.m7te O es indepeuctientecíe 1’?. De e~stc mríc»~lti, 1’u es eclíiictiímti muía y, por cl Lot-cina. <1(4 As’:oli , (P~)¡¡>0 <:oumvem-gc mmnifoimementestil)m-e los (:tiimj umitos comíj ¡)a.ctoscíe —(1 /-1+&),—2( i /-1+y) (9) >< U~ (>4 m ) - Dc estenicítítí, ccííncí ¡<2(9) x ¡<2< ) c j/—(i/4+YX—2(u/4±-Y)(Q)x ÍSYC?%(Zi) ct>i] mi]cliision (:(:>m]) I)~L:t¿t, (:oncltiimosel testiltadousamídoel ¡mechoilid-~mfl~ (CV) iiiil)lica ini Pi4 E z (Y) = ff1 (=17 la topologia ‘le ¡>2 (>4 i ) - J • J J 2 2 2 2 (1.36) 2, (Y2, 022 c 2) — f/d)Y(O.O, 0J>7Wi2 — i’i->-~ ,(~i )dZ =O 1~ 2 2 2 ~11 2 2 2 2 2 2 2 2. CoímLro/aLi/idad aprox¡nía. Finalmci] te,paraaplicar el Teom-erna de Puí]te, Fijo dc 1eimmtms que paracatía it E 1V existe f/’, E 7( z,,) tal qtic u(7(z,,), lo) =< lo, y,, > A Ii 2 -1—a(9) tal ejmíe (tlespties cíe ext raer i)i7 a Sil 1)511(:es¡ dim) ,, ½ y ci] la topo]ogia 2—úv/2 ,1 — a (9)~ Vi cmstraren)05 2 (>42) sa.t i sfacicutIo (¡.37) ¡¡o 1L2(2 2)= Ji, tal q mm e 7~ ql — Ay” + a(u:,t)10 = It en 9 07/” + f(z~,) = O en >4~ ¡ ¿9í1 ’ = >0 <9v en >4>2 - y”(u:, O) = yc(u:) en 12 ¡¡ 7/ — y4 IlL~(Y: )< 6. Dc estemntícítí existeu e ¡<>2 (>42) satisfaciendo (1.37) tal t¡iie u” —Y u en la top42). A tieniás. ti santlo <¡nc /3 es íjn grafo a:otatlo fuerten]eiite—ciébilmei]tecerratlo V ~¡ii e la cciiacíchi <:1el calor tiene miii efccttm regí¡1 arizaí]te, tíetí ti(:i nios ( counti atí tes) tí tic fi satmsfa:e (1 :3:3) y II — 1IL2(E,)=6, í:on z = zí, para algun 7; E ¡<>2(Z 2) satisfacienlo (1.37) y algun b E / 3(zo), lo :imai imimplica que ji E 7(z 0). Enton(:es. para.(:adalo- ~ ( jp/2—o/2,m—“(9))’ tenemos<¡míe u(7(z~,),lo) = < lo, y” > —* < lo, y > = sup < k,ij > = a(7(zo),lo), ~Y(zo) lo (¡ile pniel)a qíí ( 7 es 1~cmmm (:ti 1]ti ini a> smi peri orincí] te. Finalmcvi te, la r ~stríeciól] (le 7 ~ 1< = ~ (V) (emívtmltiu-a ctmnvexacíe V) , lm< os 3 7 tiCi7e iii] pitnt42) sati sfa<:¡42 ¡ O) 1/mi(o) en U lic u~ste iim<>u>1i,, r’ u:iíi)il)l( las 0, (9 un stíbe:oimj tíntt abierttm u!e O - = 3U x (0, ‘1). 1 [mía>fmínción m-ea.l c<,mitinmia, A(:r. 1) c ¡<‘-“(9) y /3(-) miii grafo ma.xiiiial nionót<ítio acotatlocíe ffl2 tal oLi <:o{ ¼— ~y + 1(y) + A(u:, t)/3(y) 3 iQCe) e-ii (2 3(V) y(u:. 1) = O en >4 ¿99 x (O. CE) y(u:, O) = yo(u:) cmi 9. LI Y’ roblema (V) síu-ge cii la inoclelizacióii 1 a a:uaí:¡¿u O cmi 9, cl Pí-oblemna.(V) incluye la laí-ga clasey imitiu:idatl y algmmmias pí-opietíadescitali tatívas \‘e~msC e.g. Díivaut Liovis [26], Brézis [¡2], Benilan [9] y [Maz [16], [17]). El castí A < O cii (¿ lía 3sitící estímu It tu lo m-e(:iet)tenieimtecmi el ctmntcxto cíe alguntís j)i-tml)leIi)a5 u:lc coml)nstiómi (ve-ase (tau mii II milslmnf [323) y taitil)ieli en i:limatologia. (veanseDíaz [22], [243.[2:3]). En u sta s( u cíomí esi:mm dia> r~=imi05 1 a <:0171:1(111a.liii <1 ad a>¡m m(:mx i mi acía ci í i :o scrniunu al (V) En mí mía. pm-uncí-a paitese fl]tmestla. u=stapropiedad ha>>ms muía iii pótesis crí iii cales. J 3. Ras ti/tasios /)osiLivosy ti egaLivos pat-a uim p¡-oLJeuna semnilirí eaJ de orden dos. 27 3.1 Controlabilidad aproximada cuando la no linealidad es de tipo sublineal. (Jonsií lerenicis. paraaclarar las itícas,el casoen el tímie j es la función clefin itia por (1.38) 1(s) >¡S< 5. El u:aso r = 1 (:0 rresí~oniietle tibtener p<’~ ti iferente.snietotlos: usainlo el lVoi-ema u le Habn—Banau4m(Lions [40]), metí i aií te algmmnos iii etodtms ctmnstrticti vos (Li omms [42]) o por í tu ai-gi u]] (=1]tti u le ucí—Zííazua [28], [29] parael u:a.sci ¡3 0 (9 — w x (O, CE) cciii w c U y 1. ven II cantle~ (1.:39) es ííí a. Tunu:i ón gíti balmente L ipselíi tz y (1.4<)) [1(s) < a + b[ -s¡ si s > NI, partí ciertas ctmnstai,tesposi1: i vas a, b y Al. mme-streí resiii tasIt> (=8cl sigijiente Teorema27 Sea f(s) tal que (1.41) fE C(IR) (1.42) { NI > O, Cii > O. y e2 > O tal que existe < q + 02¡s¡. .4 ¡sj > NI (1.4:3) existe la detivada f’(so) en alqun sí E 11½>. Entoncesel Í»roblema(V) tiene la piopiedadde la contí-olabilidadapí-oximadaen el espacio de es-ladosA’ = L’(12), 1 < p < ce con el cts-patio de: controles-¿1 = ¡<>0(9). El Observación 28 El anteri un p it u Lití (vease (:(:m vi concli cciói] de acotacm01]. 28 CapíLtilo 1. A/goríos rcsií/Ladosde cori tr-t>/ab¡liuIad pat-al)icil)Jenm~s JNLI-aLO¡ J Observación 29 La í:ondíu:<:ión (143) es cierta. si, ¡idir eIen7l)lo / es Lipse:tliiz (17 iii terva-l m (a, b) ~ IR. Bu rea>l u:latl scaímii iii mesmil ta.~ jilobahaente ¡<ípsehítz, 4 íD .1- es localmente¡<;pschítz y satisface(1.42<), ¿~~) j(s) = ÁLs¡r—i s y O < e < 1. u 4 A mutesm)]0(9) ~sc 4 satisJaee en 9{ —mpi->--zSsc±a(x,t)s== en>?, 4 mp(CE) E ¡0(9))- A et) tcii ti ciii osLi m-au:ióu <:1el resii ítatío vi u~m liii cal- ¡40i~ ant m~m u-es ti l~m ti el resnitadoparaci <:asdi O = w >< (O, CE) p~tm la prtiel)a paí-acl (:as(m uie tín ¿ml)icrtei gcm 4 O í l~ 9 se <>1>ti ene ni ctlí ante setíc:i lías motlifi (:a>u:ioues- Ol)t i cii cvi cl resii ít acítí viii 17 ni ízamícío el futiu:icmnal 4 = 4 (f ¡y(:t, it) ¡dxdt) + ¡1 9’] ¡Ir~-’(tí) —1? fidmp0dx 4 Se dice (¡míe mr es <¡e ii¡eí ‘‘cíuasi ¡jiang—baimg’’ si existe mmii¿m u,c,nstamiic C y imima fuí7chSmm ~(>) tal ¡mmc 4 3. RestulLaelos posiLivos ~ u egativospara tui J)robJehflasen]¡Un ea! de ordeíí dos. 29 501)1-e ¡? sct ? y(O) = O en 9 sa.tisfa.u:c¡¡ y(CE) — y,, ¡¡LP(m>fl< 5. Proposicion 33 (Fabre-Pucl-Zuazua[28J, [29J). SeaNI la aplicación ¡ NI 12(9) x ¡<>0(9) ½ ¡jQ) (yd, a) —> eg0- Entonces,si 1< es-unsubeorujuntocompactode ¡<~ (9) y ¡3 es-unsubeonjutitoacotado de ¡<~“((2) el con-junto Al(K x ¡3) es- un subcon-,untoacotado de ¡<~‘(Í2) - El Proposícton34 Seaa a(t, u:) E ¡<>0(9). Entoncesexiste una constanteO > O tal que paro> cada lo E ¡

? w(O)=w0 en U -sat i.sface (144) ¡¡ W ¡¡1,00 (O,T;LP(Q))< O (It W ¡ILP(m + ¡¡ lo ¡¡LP(Q)) - Adentós, 5~ O ij a(-, -) O, entoncesw E A’~(O, CE) y existe una constante(Y > O tal que (145) ¡¡ w I¡x~(o,T;L”(f¿>) - El 30 CIap/Li milo í >4Jgtirí os res u lLados (le cotí t ro/a.L¡/¡dad paia ¡ uí-oL/enía.s pataI,cilíc:cs. Demostración: 1’ ¿ti-a (1.44) veaseel Tetíu-e mvi a 9. 1 ¡ LflQ) exp( ¡ a [LÓ-o(Q))) - Demostracióndel Teorema27. Scan y,¿ E ¡ O fijos. [)ef~viuunos = { 1(s) — f( sim ) 5 — smi ¡‘(-so) 5 (50 # O). -s = -~cm (4cmno /. satisfau:e(1.41), (1.42) y (1.43) ei]ttmnces ~ E m¿ix { Al, ¡ 5o + ¡ } , enttmt,<:es u:omncm y E C(IR), nuax{¡efts)¡ .s E [—Al, Al] ~ < oc. Acleniás, ricír (1.42), ¡< ct(IR) ri ((IR) pues, si ( ¡/(q)¡ ________:1 - - +s SiJ¡ ¡.5 — síí¡) si: (ci + C2 ¡si ) SI + ¡i(so)l < c’i ~)tiu5tdi <¡ nc ¡ -s — su ¡ > 1 y Ci + Iii)] ______________ __ ¡4—í~ ¡5 — so¡ — A litíra, pam cada z E ¡<~ (9) y par¿icaula b E /3(z) í>it~tlemtis 17 au:er f/ = ¡<< (z) + 14(z), cltmím ? cmi y mís;ííícltm la Projimisición :32. ¡)ara (:ada¿ > Li) se i)uecl~=mmencontrarulos fímucitmimes sc(z, b) E ¡M ¡=i(.s)¡= 5 iif) sl>M SI SI SI SI (1.47) { SI SI SI SI 3. Resti/Las/osposiLivos .~ negaLivospara ti rí problemaseníiJ¡neal = ¡[ mp(z,b) ¡ L’ (O) y (z, b) satisfaga (1.48) [¡Y(CE) — (~m — ¡<(CE)) [¡LP62)= 6. Ahtira, tisantlo I¿í Ql servaci4, (0,CE) G C( [O,CE]; ¡<“(9)) (:ot) i nu:l imsión :cin¡)acta. (ve-aseel Leí) ma 4 (págimía 77) y el rEcomen]a 3 (página80) n [55]) Licuemosque (150) {yd — ¡<(CE) z E ¡4 y(O) = yo cmi 9 y satisface (152) ¡1 y(T) — 7/4 ¡¡ tifO < 6, con u = ¡ ¡ mp(z,b) fiL’ (<3) -o(z, b) - Como q( -) es una fmi mición actitaela, peir (1.50) y las [‘reíptmsicit)i]C5 :3:3 y :34 tmbtcnenmtms<¡míe (1.5:3) 4 ¡1 mp(z, b) ¡¡12(e)) -v (z, b) , z E U (9), b E /3(z) estáacotatiocii ¡<>0(9) y pm:mr ta.nt(:i (1.94) NI = sup ¡¡ sc(z,b) t¡Lm(O)< cci. zGLP(Q> bGni(z> obviamente-u =~¡ mp(z,b) ¡¡ti (O) v(z,b) satisface (155) ¡ u ¡ LflQ)= NI. De este i))OdlO, si V(U(Q)) ¡)tir A ( z) = { f/ satisf¿íce(1.91), (1.52) (: apa. Po1:mat q ii e sc <:íí mii pl ei~ 1 as sigii i etites pr<:i 1imetía(:les Existe tui subctmí]j ti ntc coni pa.ctti U ít:oJo J - Algmí ti o>s ¡csut¡Lacios e/e t:on Lro/aLilidad í>ar¿m /mro L¡e¡íí 415 /)¿mr¿tLohcus- i) Ii¿ir¿i catl¿i z E ¡ :1<~ ¡2r <¡míe p es un slill<-tmi]jiintci i-cl-,itivatnetite u:c>nii)a.cttmcíe ¡0(9) satisfacientlo(1.55) tal <¡ime fi = u~ + u2 + 1’. tiouitie Y est¿í dado por ( l’17) y u - u vienen ¡)tmi J 1 2 - b Ci) 9{ ~st¿’— — it lts iíl)d() Siil)coíi¡ u tuLio{ :P(O)=O u z E ““(9)1 ti vio ac:ot ((2)- Bí tomíC~5, 1)0V la () 1 servaciovi 35, 1 a seíIi tci 2Oíl U permnamiece cii a(:emtado ti XP (O. CE) :it ¿tucío vari aiii os z cii ¡<~(9). Pera<:Liti ‘~í cíe 17(9) - Pci- cLima i)arte¾por la Observación:35. 17(v), jfl=tIti=tumtCCcii miii suil)<:cimij imito ¿n:citaclcí de X~(O. CE), y 17(7;) G A2, comí ‘~-2 5 iil)CtiIlj nito ‘:om]) pactcí cíe ¡ m-clativa.m]iemIt:eu:d>uí) ¡ia.(:tdi cíe ¡0(9) - sat i f¿mu:icmi títí I55)~ sc)um u:oímjíiimtos (:otLvexos. Ptir tatíto, tenemntisLiui Su>i q’’),, u itia J si)<:u=sioimde eíeimieiítos 0((2) satisfaciemído(1 í) Li mL <¡míe J ~ ~»‘— Ay” + q(z)ff’ = — .1(50) + q(z)5 — A1>’’ + ~‘‘‘Xe’ cmi 9 (156) j fi” = O cii >4 = yo ciii U ¡¡ ¿í”(CE) — y, LP(S2)< 6. J .3. Resultadospositivosy riegati vos pai-a un proLleunascrnhlin caJ de orden dos. :3:3 Ahora., mmsa.mmdti r iii e!] 1 ci ite acotados. <[ej Li ic¡milos <¡míe u” ½u y b~ —> b en la ttm ;~ítíl emgía (:l1 ciiytms tinales topológíctms son uni f4 y(O) = tm/mi cii S>2. Atícínas. pci- el efecttm reguilarízautecíe ía. ccula(:ion 0(9) satisfaciendtm(155) tales (¡míe fiV — ~ii” + q(z,,)f/” = f(so) + y(z,,) — Ab” + <í”xo (Ii 9 ¡ y” = O e-mí>?(1.57) - [ f/’~(O) fuui ¡tP@o<6. Entcmíícescxi ste -u E ¡<>0(9) sati sfaciencío (1.55) tal qíí e u~, ½u en la toptmlogía 0(9) - Bou- titro lado, mísantlo<¡tic /9 (=8iii grafo ae:otatlo, fmiu=m-t<=imwuit<=—dcliilmnemite<:ei-raulo y el efecttm regmí¡ ari zai]te de la cciiación ata¿LI gil vi u E ¡<>0(9) satisfaciendo(1.55) y algtííí b E /3(z3), lo cual implica <¡míe y E A ( e0)- Entdim] u:es, paracatía lo E ¡ J lo(t. u:)y(t, u:ftl%Jt = CapíLtilo J - AJgtíríos r-esmilLados de conL¡-o/aLiJielad J)¿ira /)roLleii) ¿is paraLo)u:os. < sup lo(it. u:)y/(t. u:)du:dit = u(A(zo),lo). V~A(zo) Q 1cm címal l)imittl:)a> <¡míe A es liei]7 i<:cititiiitia stipei-ioI-inci)tc (:tii]climye la> ‘:1 ei]icistrau:ioum miu= (iii) - Fi tía.liimci¡tc, su i-esti-iimgimnos A a 1== conv(U) (envolvente <:onvexa. cíe U). qíme es mítí :titmj títíttm ctmi)i¡)a.(:to miíitcí Fij0(9) sati sfacicí ? q(Lil) = 7/mí (=ii U ¡ CE L’-(ú) <6. l~)e est-~ mm i(:l<:lo. y íesmíelve el ¡)m-ciblenia.de cont1-01al)i li 2 tales que c~ + c-2¡r¡ V b E /3(t-). el cotijtí ti 1-o de pu ti tos {u:; :1 E ¡¡tía - - - < u:>2 < X4 < u:0 < :É~ < ~ < - - - sí ji es la ruedhla dr: ¡3 ~ (jU(:c3) < oc iEZ< y, /iri alítí erute, /3 es di/erencíable crí alqutí punto e0. Fritou ces, ci pi-o bíerrí í en 9 crí E { 7/u Ay + / 3(y) e ~No y(u:, /) = O y(:r, O) = f/o(u:) crí 9, Lene la p7-(ipíed<íd de la corítrolabilidad aproximada cuí el espacío de es/arios (1 -c p oc) con ci espacíode cotí/rolesU = ¡<>0 ((2)- E Demostración del Corolario 36. Si /3(-) es el grafo maximal mtmiiotcítmo tal 70r:o). /5(-) es ctmmista.m7te s = /3 ltmímcícimi real imocleu:meu:ieumtec¡tie s¿ítisfau:clas hí pótesis2(0, CE; JI— (9))) y cl estatití asocíatioy(it, - : u) no se puedeencoiítrar, en geimeral , en el eS1)~cio natural ¡<>2(0. CE; I-l¿ (U)). it] resultacítímuy especialtIc c 1, (9 = w x (O. CE) (:oi] w ni] stIb(:dmnju tito abierto reguilar dc 9 y A ( - , - ) O, cnttmnces veweinos<¡mmc t<>tl as las solucionest icí] en cotasstípei-itmm- e mvi lcr i 1, y o E U ¡<2(11 CE), <:d,i) si4 fI(O) = O cvi U. Eií Licmnces, si = (e, 1) (0 -< e 1), se tiene qmme ¡ y (CE, u:) ¡ >2d:r < C~ (inelepentíicutemente(le -u) - El Bu [) faz [18] 5(= 1. Sea-u E U = ¡<>2(w x (O, CE)) arbitrario y seay(u:, 1- : u) la eor;-espond¿entesolución del Problema(V) con 1(s) = ¡ ¡ ~— s y A( - -) O - Entonces ¡y(u:. it:u)¡ =C(í-, u) (1j + 4) en casi todo (u:, 1) E (~\t x QL CE) COtí = , y d(i:) disit(u:, ¿9w). El q— 1 Demostración: Bastademostrarqtíe /1 ¡ y(u:, it u) =(V(r, u) tl(u:)~ it2 u (9,CE),___ + el] casi totlo (u:,it) E (U\w) x :36 (lapíL milo 1. AJgmíríos ¡-esmíJLa(Ios (le c:o¡í t¡-olalnJulad pa-ra proLJeum¿ms prmraLoln:os- la tít ra. :iu~ E U\w, Lo E (O, CE) y lo — 4(xo) <:onsitlera.i7)osla fui rí :ícímmlo IJ(t, e) = __________ (lot ,.2)-r ( (7(loit — (u: — :rumfl’j. 501)~(> (:~ <:cím mj mciji tO = {(tsc) E (2\(’ x (O,CE)) u: — u:mjm¡>2 < lot, O < 1- < 14. SI (:tmn / = ¡:í: — u:~ ¡ (9’ <¡nc eligit-Oi))cs uu¿ts ¿itielamite. Siguietítlo, ¡)or ejemplo,el I:ral~majo lKamium—Pelctiei-—Váztímiez[:37] mtisti-ai-emiiosc¡ nc si (7 es smcfií:icnte¡iietítegraimu:l , (1 > it en 5 ~\<¡ mii sen¿U¿Lii) os (:r¿— :rtui)i] 4- (7Q~/,—=’I — —loC-73[4-yC’(-y + ¡ )t/>~(>Y±2)(>r -c )2] — t=1 + (7 “ib ~ — A-CC-—, —r ¡-~,.2<¡,—(t±2) .,>.j—t>N4-fl De esteu] di<:1<>. si elegi11)05 (7 tal q mm e {LC(hi > 4-y(-y + 1)72 (1.59) 3( =2n—y4’ 2cm i:í tel) cmii tís <¡nc ¡< (U) > O. A hora, 2 (u:m) = lot0, (1-59) se s¿íti sfacesi (7 = c(p,u) [d(u:o)Y + lo ~‘ d( :¡:o) im] - Eíít:t,ncu=s,a¡)li<:andlO cl priiiu:i pio del m))axin7oau y U en 5. obtemienios ¡míe ¿¿(tui,:co) =U (/-mju ,u: ¡ , el Problema (1-’) cotí 1(s) = ¡5¡q 1s-q A(-, -) O no tiene la p-opícdadde la controlabilidad aproximada. El Observación40 Como ya sc innes muíni nial y mu ¿cxivi) al ele tmbstr mmCCiót) cnteí vi ces se sigiíe (:11 mpIi etído la. prtmpíetíad cíe u:dii) treí— la]:> Ii u:latl a.l)rox i mu a.(~l a.. No es <~l i fíci 1 mostmar (jj ii e un a 1 iguta a.1l:ítener íítí íesmí it a.el(:i siuní ar cl] el tu¿irco 1))ásgeneral (:1 cl ‘1 etiremna. 27 -( ab(~iia. para el <:a.so smi¡)e-rl i neal) - 4 Resultados positivos y negativos para un prob- lema semilineal de orden superior. Sea U muí ¿tbh-,rto acotado y regular du=IR””, CE > O, w un siíbconjnntci abiertcí y i]ei v¿ícitm 0(Q) y /J(-) mmn grafei m))a.ximal tiidiiióttmi]o actitado4 Dvi y(O) = yo en 9 eltí míde -j~ mpresentael <:ti ntrtml exterí 01. Nw es la fmi!] cíoím u:aractcristi(:a en w, u es el vetor nomii)al exterioren ¿>9,/u E ¡<>2(9) e y 0 E ¡<>2(9). Debidoal factor Xw los <:ontroles“actuian” stí1) re el u:cmnju nt(m (9 = w x (O, CE) - 1>reíl)a.remos resuitaslos posit i vos 5e<:ción 42). cuancl ti la mítí linealitt atí es oxb, en (2, sitiVO tal que2k < urS u] embargo, la extensión2(9) y :orí el espacíode c:ont,oles¡<>2 ((9). El Observación42 l&í existenciacíe semíti~:i <í Fíes la. 1 SIle-tmi-eii]a 1, tnetliantecl tíso del ‘T’eom-erna cíe Punto Fijcm (le l\a.l(m)t:atii- L¿c viii ici5 - mi si al ji rcícl tict() cíe cl mí ah ti ¿ití ci] ti-e 1-! ~“‘ (U) y 1-1 “‘(9) Y’ ío r ( - , - ) al p2 dx dt, SI (¡.6:3) JD’q¡>2 -—--— >3 (lY’<í)>2 ~1½ SI lasi)imla. cleniostración di-iI Leííía. 4~l ) - SI SI 4. Resultadosposít¡vos y u egat¡vospara ¡ti j>robleunaseuni/i¡ieal de ore/en supenor. :39 Lema 43 Dl espacio 4y E V y~ E V’> está incluido en C([O, CE]; ¡<>2(9)) es continua. Además,si y, z E 1” e fp, =~E 1/’ etítonces ‘1’ ‘1’ -~ di — J —z1+ (—¡S)”’z, y > dt(1.65) = (y(CE),z(CE)) — (y(O), z(O)) y Ji’(1.66) < 1/1 + (—¿S)”’y,y> ±j~f y(T, u:)>2 dx j y(O,u:)>2 dx. Lema 44 Dl espacio-{y E 1/ : y> E 1”> estáhiel-nido en ¡<2(9) y la inclusión escompacta. El Ami tes ele t m-ata.m- cl pr(il) 1 cii) a i] (i lineal abordareunos el sigui i en (167) ji1 + (—¡S)”’:v + <«it, u:)y = h j = 0,1,---, itt — 1{ ¿Ji>!>, — u f/(O) = yo ííroluleiíía. lineal: cii 9 etí >4 en U. Asminmirnos6 E ¡<>2(9), yo E ¡<2(9) y (1.68) La. siguiente Ial t’~(Q) =Al.u E ¡<>0((2) ccii) pt-tmí)tisi(:mciti recogealgíiíitms resiíltatitís l)á5iCO5 sobreel Probieuná(1.67)- (7([O, CE]; ¡<2(9)) conProposición 45 Frs/e una , E V fl solución del Piobíema(¡<67). Adenuás,~jsatisfacela estímacron (1. <39) ¡¡fI<¡v —1— I7id¡ ~ —cg (7 (¡¡¡¿hL2(q) + ¡Ifio¡¡L2 (O)) dotuie la constante(7 acotada> (al varía¡- NI) sí NI estáacotada. l’or ultimo, itt solucióny tamb ¿u satisface que (l.7Li)) y E ¡<2(3, CE; I-I>2”’(9)) e y~ E ¡<2<}3 CE) < 9) paní todo3 E (O, CE)j Demostración: [)e1~ni i)]dms y”+ i , para catía. it E kV, (:omo la solución del ííroblcma{ 0+1 + ( ¡S)’u~~>,it+1 — It — <41, u: (7P,,) ¿j)Jq”±i3d ‘ j> = 0,1,- - - , itt- — 1 = yo y> la inclusión ¡í)”’y¡>2du:dt El E V’ que es El en 9 4 en O, 40 (Ia~ít ti/e> ¡ - A/guiu 05 ¡-esmil r>¿mdos de cori trolabílul¿íti para. pr-ob/em¿rs par-a1>6/icos. cítítídey/it) O pat-aLiocítí it E [0, ‘1’]. L¿i exísteuiu:i-acíe uíím¿u scíiuíu:ióíí y’’ C VflC([O, CE]; ¡<>2(0)) se puietie Ver, pom ejeim))¡ilc, cii el lecit-eti]¿t 4.1 (:lel (Jap y’’1~1 — y’’ es la solm)cióii cíe (1.71) ~1— y”) ¿JI» (f 1?~+i fJ~)(0) = O en 9 =0 cii E eií Us’ í»~ tanto (vu=ase.ptíí ejel)] ¡ib. el l>e6. 1 2(0) (~ ¡<>2(0, CE; H>2”’(9)) y — ji” ¡¡fIt>2?~~(Q)= cm ¡ <¿(it,u:)(y” — ji”< ) ¡t2(Q) - />1 i27?}(2) C C([¡), CE]; es i)ií¿t lid i)sit;ui ciii u muía (vea.su~, ¡)t)i> ejem))pío, Itís l(=Oiui~i7)a.5LI y 913 dcl Ca.íÁtuilcí 1 de Lioi]s—Magcuíes [49]) 1 etmei]icis (¡míe ¡ ~ 1~i j¡L’([mm,’J];1J¿”<ú)) =e2 ¡ a(t, :r)(y” — •~>,ni ) ¡t’(Q) - A clemimas, e2 es uiide¡iemidiemitetleT (esttm se puictie prtmbam fáu:iImiiei)te si mtiltipllcamos en (1.7 ¡ ) i)tmi> (>‘p+i mí’’) lo :mmal ii))¡iIica. 2NI) 2 5’ pO~ t¿í17Lití, Si p¿cm-a. ttm 7 m/? ((7 (=5 la (tii 15Li ante cíe [>oiucare tlctuií (it ta.tit(i, pamatciui,“+i — f>/”)(t) ¡¡fl¿J2(~fl=(I<>2A;I>2)í2 — Ji ¡¡C([iiJ’I;J4¿’(Si)) 2CE)”1 fi y>2 —(u — 1)! >2 — fi ¡j(~([<]fl;JJrn(fl)) i ¡¡e(rOT];Hrn(&-O) 1 ci <:ii¿i>i ni 1)1 ca. ,” ¡¡C([ú,’r];Hg’(~>2)) ½0 Entonu:csexistefi E Vn C([O, rjfl; J~>2(9)) tal que fi’~ —Y f] (zilí V fi C([Li), 71] ¡<$9)) ctia.n, es solmmu:ío ti tic (167) oi)serva>i]ios <¡míe ¡S?IL~j~~ ½¡S”’y cii Y” cuandou ½oc, y ½fp en V’ cmi ami ti uni cicl¿ttí cl e scííu ícióti - Finaln)ente u:dmmii di mí (6) e ‘>1?’ (9), si ttitnan)tis fi (6) cdmui]tm O , y~ E ¡<>2(9), <¿ E ¡<>0(9) y u:dinSitleram])os el fmi.n u:io vi¿ti 1 = .J(-; a, y4) ¡<>2(9) —> IR definitlo judit (J~ ¡sc(t-u:)Idu:dit) + ¿Isc¡L2e-2) <1017dc sc(it, u:) es la solti ción ?x (ItT) en U Al i gui al ymu-op ietí¿mtl líoS 1~esiiItaelos de :ou 1-r-cílatmilidad para. íurolulení¿ts pítiatiolti:os - Lema 46 Seaw 7(1! s7Lbcon-J7ítito ab icito tío vací(i de 9. Asitntí>itos que sc e 17(0, ‘1’; [¡¿“(U)) fl (7([O. CE]; ¡<>2(9)) es som½ícuní(le íu> ecuación & (1.74) crí T”(9) y q tir sc O en (9 = w >< (O, CE). EWtourujs sc O en (2- El Demostración: (Ira<:iasa> la. Proptisición4-9 (a¡ml cadacotí cl tienipei cii fcuí-íímarctrogra<:Ia) tl<=tluci iii tís 2(0, CE — 6; 1-1 2,u~ (9)) ¡ua.ra ttitlo 6 e (O. CE) - IB mí Lití 1] ces. el Leuuí¿í 46 su detlmu:c ele! rIY,<írcitia :3.2 cíe Sauit—Su:hetirer[9:33- u Los sigumie¡mI:es~ somí , 2(9) y -satisface (1.75) (£1u tía7(0 fi u>, fía) ~ i]f k’lí—m-’r~ sc0¡= Adeni á.s, .1 ( - ; u, lía) alcanza smi ¡ni u inno en 2(9) y (1.76) —misc = O Proposición 48 SeaAl la aplicaenoní U NI ¡<>0((2) x ¡<>2(Q) (a(t, u:), fin) SI —* Ii>2(Q) —ti —> sc- lEntoncc-s, sí ¡3 es-tin subconjiíu1-o acotadodq ¡<>0((2) y A es un s7íbco ¿¡tirito co nnpacío de ¡<2(9), el coííj71nto NI (E >< IV) <:s un subeoní-juntoacotadode ¡<>2(9) - El Lerna 49 I>’a,-a cada sc~ E ¡<2(9), < ~ Osi sc es la sohíción de (1.74) se tiene que ¿>-J(sc0; a, yá) = 4 ~ E ¡<>2(9), B i ¡ sc0 ¡>2 — yí( £)00(u: )du: Ve0 e ¡<>2(94, donde O es la .soícuióni de (¡.74) satisfaciendo02 > 6 y ~ es la solución de (174) verificando ~~(CE)= 0 entonces existe -u~ E ¡<>0(9) tal que la solución de tít + (—¡S)”’y + a(u:,it)y = It + <‘~No en 9 ¿91~í - =0 (j=O---(n¿—- 1)) en>?(1.77) dv-’{ ii(O) = yo CII U veríjica y(T) = y~ —6 y pon 1-arito fi(CE) — yd ¡>2 c- El Observación51 Si y0 e O, y it e O, cl caso ¡ y4 ¡ =e se resuelvetri x’ial iíiei]te ctmn el (:tmnt íd ~ a O - Demostracióndel Teorema50. [morlinealitiatí pocíenitisasumiryo O yh~eO, puesto <¡mie emí otmdi <:asci ¡uo dan) os t(í muí ar la. stmíti ciómí y (CE O) 2(9) íuara cl ¡uremblenia comí vii e O y It e O. A hora, tisai]d(i la smibdiferetíciabilidací 0(9), y ¡ u,, ¡¡LOO(Q>= ¡ Y ¡LI(O) si lo = O. Lnttmmíu:cs, sí niuilti¡ulicarnos por O en (1.77) obtcnemííos(pci (114) míe (1.80) (y(CE),00)L2(gn)XL2(&-í) = ¡y¡Lm (O) (34 XL2(vi) = (fía E 0t>)L2(~í)~L2(s-í) V E ¡<>2(U)¡<¡>2 0 y pen tamittm y(CE) = yd — ~ ¡<¡>2 - u SI 44 (JapítvIo 1. A Jguríos restilLados de cori trolab¡lidael para ¡írouílernas /)ara/io/1(o-~ SI parael problema no lineal. SI Fama el ~:astmi]ti Ii nu=aJtmsa.i-eiiios (al igumal tjmie cii Itís (:asos analcigaa. lo hci:lmu e-mí las tlenueístraciómí 7 x’ ptmr tanLicí, cíevii ostrareii~tís cl ‘:asti ci] el (jui! - SI.4 (u: ,it) e O (es decir, tío apa>t-e:emí ingí Li] tei-niimíít ti]imltiv2(9), 6 > O y 0(111) r~ C ( n~ - SI A Itt> ra, ¡)tir el Tecimema 50, par¿t(:atla. z E ¡<>2 ((2) ¡<1 ((2) <‘k< E sqr(sc(z))xo tal U se Ii ne; = 1 n— 1 /11 3jiJ O, -, 1. fi(O) = fui cmi 9. SI 2((2) } estáacotatiocmi ¡<>0(9) iii estcm <¡ume, sígui ici] í(’i tít) ~(x’easela Prtmiosición 48) y 1íoteiiu ial q( ). iii = fía II , (:cn ‘ — -d i ~>>-> -- -~ > > ulcuiuie SI(1 0) rí~(CE O) la soluciótí tIc (1.81) cii tiemnp2(9) y ymor ta.mmtci (visa.ndcí las [ii>tiposiCiommes48 y 45), cbtemm iiios (1.83) SI l>¿tt i»»l< 1 sutgtiii- (:oi] la clcmtisti-au:ion iuitrodtícimuíos el sígmuienteresmilt2(9)Y~ do t ide ~ízsoti las fmi cío ties dc¡ítr idas eti la demosIra eion (leí 1/Yore imía 41, es reía!ira iii, ¡mí, SI conipaetoeu ¡<2(9) - U SI SI 4. llesmí/Ladospositivosy ríegafl vospara un ~irob/ernasemi/iííealde orden superior-. 45 Denjiostración del Lema 52. lBscribitííos las solucionesyZ(. O) ? y(o) = yo en U í:otuic 1 ( - 0) + le u es la> soluciótí dc i tt! + ( — ¡S)”’-u = It — f(so) cmi 9 ¿Pu O , :1 = 0, 1, - - - mt — 1 en >4 u(O) = yo en U Y es la. SOlui( 0 1 ?% + (—¡S ___ ¿¡=0,1,--- mu— 1 cvi>? )“‘v + y(z)(u+ y) = q(z)s0 cii 9 ( )=O en U. l~ntomi<:es,aplicandola Proposición4-9y los resultadtmsde Lions—Magenes[46] (págitía 78), oi)tei]enítís tj míe existe 1< > O iii tíepetí<1 íentetic z tal que ¡I-~’ ¡¡H’-~”’(Q)= J=’(i+ ¡¡ yo ¡~m + ¡¡It ¡¡L2(Q)). Fi vial miiente, comeí ¡Ji,2ti. (9) está it] (:ltiido cmi C( [O,CE]; ¡<>2(9)) ctmn ¡ ud tísiótí comía.cta,se (ti íiicl mm ye el i-u-:sutltaclti. u Fin de la demostración del Teorema 41. Pcír tatituí, sal)eui) CO!] stantep(isiti va ‘~2 intie— 1»=iidieiit<=.tic z tal qtíe (1.85) ¡¡u ¡L2(Q)= 1<2 pa.ra ttmtltm cotít rol -u = >tiq(z). De este moeltí, si <1 cfi mii mtms el eipera.dor A ¡<>2(9) —* 71(12(9)) A(s) = {y satisfau:ientití(1.81), (L82) paraalgún u satisfaciendo(1185) Y, liemosviste> 2(9), A(s) # «¡. Paraíiotler aíilicar el ‘Teoremadel Piímíto Fíj cm ti e 12(9) tal que, ¡)arau:a.tla z E ¡<>2(9), A(z) c U - Fi ama :acl¿t z E ¡<>2 ((2), A ( z) es miii subu:omlj unttm ¡<>2(9)- (iii) A es li u:a.tia z E ¡<>2(9), su, tietiu: A(z) ti <:ci mii p¡mu:Li i, ¡i ro i:matetimos <¡mí ~=cl <:0 m mj mmto smib :otij miii t<:í a(:ota(:io U ule 4 y E 1’ -~i’, E c ti. Ahemia, liai-a ver 2 ((2)- ¡icítí esl:tm es f¿icii ¿ídti c¡íic ¡:í ¿u a> u:acla z e 2 ((2) A (z) es miii 5 ii 1) u: onj ii ii Li o mi ti yacÍ(>i ti e ¡<>2 ((2) . A(~ieiíias, A (z) es obvia.memitecotivexo, pues ¡3(ya.¿) y {u E ¡<>2 ((2) satisfacieii cítí (1.85) Y somí <:onj mm ml:tís u:címí vextis. Por tantti, teneintist~ín:~ pttbar c¡ue A (z) es un suibctinjmimittí commiii acúcí 2(9) ¡t fi E U - F~ ro ií¿tremí í 05 <¡ ile- fi E A ( z) - 5 abcmii cís <¡míe existe u” E ¡<>2(9), sat¡ sfau:i cmi cío (1.85), tal qnc Q + ( ¡S)”’y” + ~4z)y” = It — I(so) + =í(z)su ______ () -i~ = Li), l,~ ,nt— 1 dv>’ tí”(O) yo ¡m;/ (7) — nak =6. + UNO cii 9 e-mm>? tití Alitima, mmam tío y me los <:2(9) y u sa.ti sfau:e(1.8-9)- EnLic’ mi :es, si pasamvios ¡ti Uníí te ci] (1.87) obtcmmeuuicmsque y veritic¿i y1 + (—¡S)”’y + =i(z)y= lo — i(so) + tí(z)so+ <‘No iPy ___ - j=0.i.--- .m—1 dv>’ > - - - - - ii(O) y0 en (2 cii>? cii U. SI SI SI SI SI SI SI SI SI SI SI SI SI (187) 1 SI SI { SI J SI SI SI 4. Reso hados positivos.v negativospara viii problemase¡míilinea/ de orden si¡perbor. 47 A4 = O en 9 y satisface-u” E ~ i 2”’ (~2) (x’ease[46]). Dc estemodo, ti’> es soluiciómí en el sentido “fuerte” y, si ni mil ti ¡u icamiitis íior í~” e integramos, obtenemosguie u” (CE) ¡ ¡ f2 (~~)=lo ¡ (u — u” )NOv~du:dit ½ 0 cuantíoit ½oc. Por Li ami ttm fi” (II’) cdiii veigea :‘i ([Ii) en la t2(9) ¡ y(CE) — y,, 2 =6. Esttm ¡)ruicl)¿t ti e fi E A ( z) y :ommciiiye la ¡í rucl:ma tic la hipótesis ( i i) - (iii) rI~<] ciii tís <¡ue ¡mrobai 2 ((2) se cii iii ~lC <¡11 ( - lii smíp a(A(z,,), lo) =a(A(zo),lo), V lo E ¡<>2(9). 9(Q) ~,, —4 20 En (i j ) liei]ios vistcí queA (z) es miii suibconjunto coiuípactti 2(9), ci tp oc - i iii pl (:a> 9 tic, p~~xacasiait E DV. exist(=ji” e A (z,,) tal díuc a(A(z,~),lo) = ¡ ¡<-(u:, t)y”(u:. t)du:dt. A hora, por (i) (y”),, c U (stíbcouijtinto compacto)- Eu]toncesexistey E ¡<>2(9) tal , cii ¡<>2(9). P r~ ibascii)05 tj míe y e A (zo) - Sabemost¡ tic existe u” E ¡<>2(9) satisfaciendo(1.85) tal que I I!;’ + (—A)”’;q” + g(z,,)y” = lo — 1<-so) + q(z,,)so+ u”,yo <=!i9 ¿gil ” (1 ss) O, j=O,I,---,m—1 e-vi>? ,í’(O) = yo (=17 ¡y”(CE) — fía¡~ =6. E’ x te 71 E ¡<>2(9) satisfaciencítí(1.85) tal guíe u” —Y it cii la toptiltigfrt débil 2 (~. Por tít idi 1 adci, ii san cciia.ciómí paral:iol ca liii caí (dt= mii ¿ti] eraatí a]diga a. 1cm hecí]o cii la prticba 0 ( IR) nC (IR), 2(9) satisfach-~rído(185), leí cual unpl ica <¡ mmc mi E A (zo)- Eímttmnces.paracatía lo E ¡<>2(9), a(A(z,,), lo) = f ¡<(u:, it)=픡¿u:.it)du:dit —* ¡ ¡<(u:, t)y(x, t)du:dt 48 Chipitulo 1 - A/go ríos ¡esnl tados <¡e cori trolahilidad para prolileni ¿i.s paraIiohcos- SIlo(u:. t)71(u:, it)<&íit = a(A(zím). lo), 176 A(zo) 1i2 lo cual pí-míeba.qmme A es Iíemiiictmntitíuasnliei-ieii-mentcy (:oncimiyc la. ¡}imit.ixt (:it~ (iii). Fi miali]iciitc. sí i-csti-ii]ginltis A a 1< = con-u(U) (etivoltuira (:oi]vt-x a (:tdi 2(9), se satisfacenlas hipótesis 2 ((2) sa.ti sfa.ci entío (1.85) tal qu fu <~A)1~>’y+f(y) mit &:i, f>, mesii elve ~1 ím it) li leti a. cie ctíuí ti-olalíiii cl a:i aproxini au:la p 1 ¿mi eacíti - u 4.2 Resultadosnegativos para un caso superlineal. Di estase’:cid,Im probat-cíuíosmiii t-esiílta.tl< ele tío ctínti-olabilíclacl apí-oxí natia. umia. el (:asci lo = O y & c U. Teorema 53 51 p > 1, yñ E ¡<2(9) y w es mírt subcouí-j>unto abierto dc 9 tal queW G 9, el problema y, + (— LS )flty + ¡Ji ¡~‘~ y »»~ tiNw ~ 9 en{ti (1)) =m,0 coti controles it E ¡<>2 ((2) (o ¡¡tós generalmentecon u E ¡<‘‘((2) donde ¡ = p + ¡ > 2 ~ por- tanto r-’ E (1.2)) y en(111,71íei cot diciort de contorí¡o -‘-obre ch?, vio ¿W 1W/IdI, e ir q eit e ¡al. 10 propiedad de controlabilidad 0. a > O y q > 1, entomi<:c.s AB <¿A’ 1 + K(aq)B<’ 1 = ~ A>~Uí:, q) Notacióu - [)ad a- mm mm a. cditi stante 1? > O podemostlefi iii r cii IR1”’ las [mmmic-i2)/I? si ¡u:¡ < U. c~u(u:) = O si ¡u:¡ > U SI SI SI SI SI SI SI SI SI SI SI SI (190) SI SI SI SI SI SI SI 4. Resultados positivosy negativospara un problemasernilinea) de orden super-ror. 4-9 Y’ 1 a5 litmttiiicias ~7ju le las fi u] ciones ~, donde .s > 1 es un í] i mero real - Podemostambiémí (:lefinir (191) dR(u:) = U — ¡u:¡ si ¡u:¡ < II>, 4(x) = O si ¡u:j > 1? y ei]teiIices se tiene la. signiei]te relacióíí, p~~a> totio u: E ll?A’ - (¡.92) 4(x) =&du:) < 2dR(u:). El sigmm i cii te resmml t aticí fi té- p robaeltí ei~ Berni s [11]. Proposición 54 Seas =2w y U. > O. Entonces,para cada¿ > O existe una constante (7, quedependedolo de N. nr., -s y ¿ (-ti por tanto zndcpendtentede fi), tal que se ue-ijica íasíquientedesiqualdadpar-a todo y E ((—LS)”’y, %)n< “‘(EN)xflgí(BN) =(1 —e) f~N ~<¡D”’y¡>2Lr:— O fIN $47”’ 2w, se tienetjuc $4 E l 4/2~~~>0(ff?N). Emitcnces$4 E C~”(IR~) (veasee.g. cl Corolario IX. 13 (le [13]) y $4-jt E W~~(IRN) (veaseeg. la. Nota 4 deI Capítulo IX uíc [1:3]). Corolario 56 Sca s > ‘2w y U > O tal que B~ c U. Entonces,para cada ¿ > 0, existe 2dx — &‘f ~7>2~’y>2dz.El Demostración: Tciniamos ~ G fJímm (IR”) tal t¡ue y = ti en U (la existencia tic y se ¡ imiede veí, ¡mor ejcmnplo, cii el TecreniaIX 1, r = p + 1, yo E ¡<>2(9) JI u E Ir’(Q) - Entonces, cualquier soi7tcíatr y E ¡<‘ft2) fl ¡<>2(0, CE; II”’(9)) de f tí< + (—zX7’y + y¡Píy — u en ‘D’(9)(L93) y(O) = yo en 9, con cualquier cotidición sobre la frontera 69, satisfaí-ela estimaciónlocal 02du: + JB x(uir)(ID JI + iyIr)dxdt =1<(í + 1~R~ x(o,>T) ~¡‘du:dt + <~ si Bj<, c 9 y O < ¡it __ U 4 - Ademas,la constante1< dependesolo de A<, tu, p, U., U1 y CE. El SI 50 (Japr’t tilo 1. Algmiuíosresultadosde con tr-olabiliclad pat-apí-obh=¡¡maspara¡itilu ‘>s SI Observación 58 El u:onj u mii tcí tic seducmcmii es del ¡íroblen]a c¡ ume ap¿íreo:ecii eVil ~ 57 SI iití es el ecuijumiito yacio pites, wum ejemuipití, (:eiti (:tiiidi(:itmmies 2(0,7; ¡-177(9). Entonces SI la ignaltíací cii la ecuación 2(0, §1’; U —‘“(9)). Aliní a, 7 ,;; ‘2~y ::¿j111i11,:uiiíIt ~ (:ar cii - p<~ ~ ~ ~ ~ te ed p “i~ luí etc ~e duma¡ <1 SI xX, 2 ¡ $4~i03, CE)>2du: + ((—á)”’Jí, $4y)L2(o’r;n—mpi))xL=(oT;n¿c,(~)+ (¡J~~iq $4!i)L-’(Q)XL’ (LI) SI = { ‘B>’.$4yuí(t)>2dx + (ir, $4y)L~’QXL~Q- SI A litira, peir el Coí-oI¿tt-io -96, teímeíííos2 + ¡fi¡r)hí:elt SI ([.94) 2 it $4y(u:, T)>2du: + ¡ x(0.’T) SI~ y>2d:r:dit + ~~I>$4ií fid;r ti!<(7 -~Q ~ (u: )>2du: + ‘inri X(miT) BRX (uf>’) -- Por (191) .~ (1i2) sabeiiios<¡‘me p’ mí Lies q ¡-/2 y q’ = r/ r- — 2, 2d:r:dt =6j x (miT) (U. —> ‘Bu x(0,T) 1< rit<> ‘BRX (U. — ¡u:) ‘~‘dxdt SI¡)S ¡Ji lr(l:i:dt + (¿, (tíA) jo mi ___ SI211¿r - >~1= > - — 2 A lmciu-a, si temníaiiíc,s .s > y — ¡ , la mtltiiiia iíítegí-al es finita e igual a (VJ?tIV —~ Pemí> cl ma SI parte.ii2du: + ‘BR x(«í’) (fi — xÑ”(Ií)”’fi 2 + jyi¡’)du:dt SI SI 4. I&ts tiItaa seníilirm cal de ordeíí sti/)erIor. 51 — ¡u:¡)~yo(u:)>2du:+ fis+N—Y + ‘B 11 — ¡ u: ¡ < fi~ si ¡ u: ¡ < U, eledíicimos el restultatlo (:oii 1< = níax { Demostración del Teorema 53. u La concímísion tislactorící. u SI SI SI Capítulo II Factorización de un problema elíptico. 1 Motivación. U u a Forin a mis iial mostrar<¡míe esta facttmí-i zaciomí ~ ~ extei]der al caso i viii ni tu diii ci~siOi] al - Mas etimícretamiíemite. iii temítaicí])dm5 Fa.ctori zar ti u p ¡-ob1cm a elfpt ico ele tírelen eltís, iccí mmciemitíol o a viii sis tenia u:le e(:mi ¿mcidiii US di fe-u-enciales ti esactiplatías de líriníer or(:leii - Para li a(:er (=5toseglímmciii 05 tectím u:as tic iii cl uísióíí i tivariaíite (veanselas Observacieuiics67 y 69). Veános algtínos e;cmii ji 1os cmi el caso mini 2(0,1), e 11cm, yí E II-?> Denotamos fi cii~ ~ía 1 a> sclii u: ióii tI (=1pcdi1)1etua <:1 e cdiutorno{ <1>2 fi —I u:E]O,t[ = yo y(1) = fu- dy - Es lii Cii (~0iitici 2(0,1) c 0 (0,1) y si de mí r ¡íroh¡címí¿t e/ipncc, SI comí ío s (¡iIC cii el SIamml:em-ior. p, q E IR y p ~ O, cleíítmta.nícíspor y a l¿t scmluíu:iómí ele 2 + ¡<É rj(—j-— — 0(x)). Cotí ti- y ¡1 a cletermí] mí ¿mi. [)e: este mi]o2 ((0. 1)) tetm<-umíos <¡mit: SI A(sc) = d½ <1½— 1(o-y) +/3t eífiy)Pdx>2 + qy = (Jr>2 dx __ = d2sc + ¡ík — 0)~ + i( + ú-B)y. SI ~d:r>2 dx dx dic cldiri(:Ie se de-cita: <¡mmc: iiecesaí-íaumícmmte SI { 7«>2= SI ÁAlitmi¿i>, Si t:legimiios ji(O) = O ulelimíimtíos cilitenenios = + ¡ti - SIu=mittimiu:t:s<~(O) —úímí y dji sígi~ieiítesisteííí¿ttlesa.cúpl¿tclcítít ¡mr cune-mí SI d:c + 0>2 = ~ ji(o) = O3) ~- SI + = — «O) = —yo ti — /#q = —~ y(i) = yí- SI pí-otílemna> elíptico en un dominio rectarigt¡lar bidinneuísicirial. 55 2 Un problema elíptico en un dominio rectangular bidimensional. 2.1 Formulación del problema. Sean X = ¡<>2(0, a; [¡¿(O, b)) n 111(0,a; ¡<>2(0,b)), .1 e ¡<>2((0. a) x (O, b)), yí E Ji—iI>2(O b) e fi<~ miii a fmmnción suficientementeregmilar en (O, b) - Denotamospor y E X a la> scmltíciómm O y para cada conjunto abierto 9 c IR”, denotamospor ¡-1 s(9) al espaciode los elementosu E 11~(9), tales que it E [¡S (¡fi”) (-u = extensión por cero de u en el exterior de 9). La sigtiiente obscrv¿tu:ióvi relimie algunas1)ropiedadies I)ásicas soilire los espacios lJ~ (U) (veaseel Lema 1 - :3.2.6 (le risvar(1 [34]). Observación60 P¿tr-a tcmdo s > O, J43(9) es miii es¡iacitm(le Bat acb íiaía la nornía ¡¡ ti I¡J4S(Q)¡¡ ¡¡Rif-?”) - t\ cio=iií ¡1 ti ¡JJm(5j>’)=¡¡ ti ¡¡H~fl(9) sí .3 = in es mívi ci~l;cío - micii tras <¡ míe ¡¡ 71 ~n-t»’fl { ¡Y ¡¡1J’(5t) ~ >3 34 ¡L)~’u(x)¡>2p«(x )dx } 1/2 =¡¡ u ¡HItA) Si 5 II + 0 1] di t=sii mi cii tei-ei , <1(iii cíe p6(x) = Ir u: —21,,+2a - (P)- 56 C~ípítu/o 2. Iactoriz¿icioti de u ti pro Iílerrí a e//ji tic:o. Si 9 esta acotadoy tiemie iiíía fm-tmnteí-a. Li j)s(:iiitz, existen cicís :cmnsta.ntesci \‘ 02. -- - e1 -~-> e2. t-ctles <¡ile eíd(x; p)—>2O =P~(u:) =d(x; F)>2~ <¡cuírto acotadode ¡fi>2 - Sedice que ti frontera E esirrí políqoiro curvilineo de clase C’>’ - -en ente-ro=1 (respectícaroente ~ . lo entero > 1, O < o =1) sí par-a cadx E 1’ existe an e ¿torno 1/ de u: eti ¡fi>2 y 71ir campo 7/) de U crí JJ9»2 t<íí q71 e (a) 4’ e-s ítryectivo, (Ii) 7» -¡tinto cori 9< (ííefirm ido <~ J~(U)) perterreccír a la claseC”’ (íespe<:tíva¡ueííte (Vk1v) - (c) 9 fl U es o bien {y E ~2- ‘k->’Cui) < 01-, o bien ti E 9 .~m¡’i (Ji) < O y ¿»2(y) < 0, o bien {ui E U 7»í (fi) < O o 7/)2(y) < O rioírd. i/)~ (y) 2 cuyafrontera es 7111 políqoiro c71t-vílíneo de clase (fil - Entonces, par-a cada co títpoti enr- : E~ de la J:ríi nrter -a, el campo U —1- dv1 dcliii ido nr 71() (1’, es el 7>cetaí- no -mal extr: miou e ti E1), tiene un<í ilírica eu:tcris íáí r cori — titrtia conto operadoí de 1W (9) fl { ir e U (9) ¡Nr, e ¡<>2(9)> en [I~/>2( F~ )‘ (espacíodual de J’1l/>2(Fjj. [‘o>’-otra par-te, para ca<ía 71> E {v e J¡ (9) 01r = O, cori lo = :1 + 1 y lo j — ¡ se tíeníe qn r~ 7/ ~e Ñ~/>2(r) y el campo u ½ es liii cal q COmit ¡ti ita dc 4v E /] (9) mr 1 — O,lo = j + l,lo = cii U’!>2(F~). El Dernostración: Veanse los rpeo •~ LS-3.1Oy 1 .5 - 2.3 y el (Vcim-cñarici 1.4.4.It) cíe (>~r i sva.rci [34]. u SI SI SI mm’ SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI 2. Un pi-ob/ema> 2 Bu:2 ¡4 i/2 (O,b)*x j¡ 1/2 (0,b) ¿>i)>2>tr a2>ír 6:rf ¿):ii~ Vy c Xo = X fl ½ E X: dondeir E X n {í, E X Av E ¡<>2((O, a) x (O, b))} es tal qtie = O y > 11r, = C fi = fi + u (Notese que -u existe por la teoría de tíazas). Li E 0 £2 IT 1’ 5 $ ~>~,, :í: (1 1>’~ Fi gura 1: Dcimmí litio cM jrolíleuuia. Corotario 64 En el Pm-oblema(Pa) se puedesuponeryo E H’ 1>2(O, b)* - Observación65 Se tic-míe <¡nc y* E Y = 0 {ir E 2’ scíiu íci2 ¿fiy = 1 +2 <)2¿, ¿)>2tr 0u:f + Av E ¡<>2((O, a) >< (O, b))}(i ) es la. cii (O, a) x (O, Li) y~r, = O — i ¿Li: dv — fío + = O. II)e este moticí, cii la 5e(:ci<)ii .3 5 íí~ciíí(lrem]ios 9 tiC y<. = O - )cp(lu: 1 d:t:>2 sci 1,. = 01-, El ‘Es decir, Y E {v 6 1! ((0 un) ~ (0, Ir)) tj,. = 1% = O y Av e t2((0, a) x (0 b))}. 58 (iapít ti/o 2. Yactorizac:ion de urm pro¡ilerri a <3/1/> r;i!:o. Notación. Pama cadas E (O, a) cieÑíi mutis = 4v E Hi((.s a) x (0,1>)) = >¿‘¡~, = O Av E ¡<>2((.s, a) x (O.b)) ]. Definición 66 ¡‘a ea cada s E [Li),o) y It SI E >91/2(0. y de/lírintos [‘(5) It = domide -y E K es la solución dc ¿lY ¿9~y =~ ¿9:4¿ix~ SI en 9~ = (s. a) x (O, />) (11.1) -/i!-, = -yj,>~ = O <‘9-y—¡e =/r. r¡~ biéím dejiríímos-r( ) Pjr. dotíde ji E It es la solución ( a) O >‘i r (a) = O - ¿92/3 ¿9>2ji ______ en 9, = (s, a) ~ (O, b) Observación67 Para. cada. s E [O,a], 1>’ (s) >9m />2(o, b) * —+ [ji /2 (Li), b) es mío opeiaí(xí)>$—fí m>-,, )(x2) + (¡(u:i))(x2). ¿Li: l>ai-a pi-!~il~>ai- esttí basta.tíbscíva.í que, si tleuítmtaniosjitím P(s, ~,) a la familia cíe pmtml)I<~~ui~tS ______ cii 9, = (-s , a) x (O.li) (11.2) ¿92 ~ — .1- ¿9:4 y,-, O; ~ = ox r, emmttmiiccs mímíestící ;mmcibleiiia iu]icia.l (Pa) u sta iuicluiitlo en est¿m familia (le tmjiei-aclcii-es (cilw serve-sc q te Pum = 2(0, —fitm)) y la scuuI( i~im fi Jrí f)r0b/eruía elíptico crí u rm dorníiíí ¡o í-eetarígular- bie/irni ermsíormal. 59 Cálculo formal. At1mií obteiidrenios algtítia.secua.cítmn3spor medio tic cal(:u,i los ftmrmalcs <¡míe másatíelatite i vitevitareínosj istulicar. Usal]do (11.2) y den vavido ftirmal ii]em]te se dii)— tiene que ¿>krí 2y ¿9?- — +2 2~ ¿ix u dxu <‘9~ ¿9x~ a~ (113) dF’ Uy ¿92 Uy ~,.+ — [í(p ___ ___ + ___dx~ ¿ii dx~ dxí y) — ¿)u:i — ___ ,/\ ¿ti ¿ir 0>2í _ -- +2 1’ — ¡ Bu:1 ¿9x~ — 2— — Ef = O.¿>4 De este míítmelti, comii<~ y es arbi trarití (l]ecbo qmie tiebe ser 32—J j: j~ 2í Pi >22 ¿92 + ¿>2~ . ¿>4 I)ai-cnítms tíiía j tustiiicae:ión de estesistemadesa.copladtmcmi la Sección:3 - 2.2 Una formulación equivalente. Coi]ícnzamosde iíuevo con el problemaoriginal ¿9>2y ó>2v Un? 21 Jiir O a clip t¡(:o. Definición 68 [iara cada s c (O, a] y A E >91/2(0, b) deflurírítos (¿(s)It = es lbS sotticiotí de ¿9-y ¿9u:, ii/u:] ¿Li:~ — en (O.s) 5< (Li), ti) O; ¿)y = — j bu: ~/ir. = CEaíabi¿n deflhriíítos (2(O)/¿ O y 70(5) = 9/3¿Pr: donde /3 es la sol2/3 ¿9x] = O; = O. — 1- ¿3/3 <9u: ¡ = en (O, s) x (O, b) Observación69 Parac:ada .s C [O,<í], 9(s) Hi/>2(O, ti) —* ííí/$o, b)* es miii (~>j)ema>!~iom liii cal y ¡e(s) E ¡qí/>2 (<1 b)* - A cleníás, si fi t~5 la soluu:ióm m de (Pum) cuto ti u:cs Bu:, (:ri, £2) = (Q(u:ihí¡i-~ )(x2) + (t2). Paraji rtml)ar estcm i)asta observar<¡ míe, si cienotamosu or P (.s , fis) a. la faní iii a. u~l e ii <>1)1 u=iii as ¿3>21 ¿9a:f ¿ti P(s. y5) ~ = O — = yj~. = (P~u) re-sumclve recuirsi v¿mmi i emite ttí2 = d(2 y~9 dx1 + ¿ 9u:m 60 SI SI SI doirde -y SI SI SI SI .4 SI SI .4 SI SI SI SI SI SI SI a 8. Un a> ¡ostiflcaeióíí crí la Ib tui u/ación de la ecu ación de E’ y la ec: uacíorm e/e i. (31 De> estemotio dQ +92+ — ( dx1 +Qw+fch: u y, j)uicsttm <¡míe y es arbiLirarití, dibteiiemi]os la foríuítílación equivalente <19 dxí + ~>2+ w + 9w = —f — ¿9>mí + Qy = —u’ ¿3x¡ 9(0) = O -w (O) = — y(a) = 3 Una justificación en la formulación de la ecuación de Riccati de P y la ecuación de r. 3.1 Propiedades de P. Las sigmí 1 etí tu-,s ji itíptís i ciones reu:dmgeui algíu 1] as prtmpi etíatíes l)á>sicas 111/2(0,b) es continuopara todo s E [O,a] - El Dernostración: Seas C [O,a) (el caso 5 = a es trivial) .~ 1 E ~i/>2(o,b)* Emitomices,sí es la> soluu:iomi 2dx¡ Hm/2(o,q* xflí/ 2(u),b) - [)e, adj mmi obtetícmos el resmii tatio ap11 cantlo la (s) H i/2(<), 6) ½ ff~/>2(o. 6), 2(s) H—1/>2(o,b) ½>91/2(0,6), 2(s) ¡<>2(0,6) ½ j~¡i/2(o 6), Í>’(s) ¡<>2(0,6) —>1-1 m /2(0, 6) 2(s) ¡<>2(0,6) ½ ¡<>2(0,6). et soti continuospara todo -s E [O,a] - El Proposición 72 Existe una constante(7 > O tal que con (7 ín<íepeírdiermte des- [‘(s)lt ¡¡L2(o b)< (7 ~¡It ¡L2(ii,b) para todo lo E ¡<>2(0,6) El Demostración: 1-1 aceniciscl caivibití ele varialile. u: i = -s + z 1(a — -s) (zm E [0, 1]) y u le-fi mii iiics >ya(zi ) = -y(s+ zí(a — .s)). De esteimiocítí, ¿3-y (a — s) (s + z1 (a — .s). u:2); ¿9>2ó9~ _____ _______ z~. ¡:2) = (a— ¿9>2-y (zm2) = (.s + zm(a — .s), ¡:2). [‘cii- látiittm, 9>~ es la> stmlíwíóii ¿9>2-ya (a ¿3z? — -s)>2 ¿3x~ =0 cii (s, a) x (O. Ii) = = O $iy = (a — s)lí. - “u) = {01- 5< (0,6), E 1 = UY x (0,6) -‘y = ((0, 1) 5< {01-) u ((0, 1) x <4) - Lii tomí ces. segtiím la toría tie trazas ( vease.por ejcmii ¡u ti, cl rl(=tmremíí a 2. ¡ dcl Capit: mml o 4 ’2 (Ob)) (32 SI SI SI SI SI SI SI ¿39 > ¿)zí SI SI ¿9-y (s+ z 1(a — s), £2) SI (11.4) SI SI ti Oti <10 SI SI SI SI SI SI SI SI .7?. luía justificación crí la forníu/ación (le la ecuador] de 1> y la ecuacidíi cíe y - 6:3 (11-5) \‘ a traves cíe la desigualdad2~~ + (a— .s)JI b ¿9ya >2dZ 1d£-2 —(a — s) jb 1 0 ( £~ lt>y,¡~dt:2. l~)e estenititio, pdír (lis) y la desigtíaldatlde H6ltler, se tiene qtic fi F(s)lí ¡¡L2(O b)< e3 ¡It I¡L2(0,b)H [i(s)/t ¡¡í}(om~) -- u:dívi cm ye el restiltatlo al)Ii u:a.íitío la> desigíial la( 1 de Yoi mng.y se’ u Proposición 73 El operadoi P(s) 111/2(0,b)~ —> ffl/>2(o, b) es autoadjuhto3 dejitrido ireqatíno e ínyeetívo pat-a todos E [O,a-). El Demostración: Scas E [O,a] y f, y E >91/2(0,b)*. Tomamosla stiiiicióii (~ de- (11.1) coí Ii = / y la solnutiomí u» de (II. 1) cotí lo = y. I)e este modo,segmiíi la Dcliii i cióii 63 (~ 7sc - S77»)d:í:íd:r 2 — < .1-, P(.s)eí >Hm/2(O,b)*xHm/2(O,b) — fJ1/2(uib)*xum/2(Ob) ití enal i iii pl i Ca. 91/>2(0,b)* y sc solución tIc (11.1) cotí It = f. Entom]ces por la 211 —cí ¡¡ ¡¡I-I’((a,’Ox(O,b)) - A hora., colidí = O, por la Prtmposicióí]62 Se obtetíemos(¡líe- ¿19=’ ¡ <—e2 —r< .1, P(s)f >Hh/2((u,b)*XH’/ 2(uit— ¡¡ ¿9x~ ¡¡Huí (uí,b)* = —<:2 ¡1 >1 ¡lHh/?(o,b)* leí cu¿il prtwba. iiiem]dei uIt (:1<1¿i<>i 7 B O y it = y1- ¡ = - u (:apftmilo 2. F’ac torizac:iorí de un pro6/cuía clip ticet 3.2 Dimensión finita en una variable. Sea {uhi , ..,bv,,, ~ unía Fiase- ciu=Hili)e-rt cíe >9¿ (O, 6) cii (=1siguuicmmteseumtidti: (a) V it E 1V, ¡[ tQ, ¡ JI¿(0,bt¡¡ tI’ Hwíw= 1 (6) (¿o,,,w,,,)pp (Ob) = 34b (£2) ¿)ZV~, (u:2) ). ti iiit¿t Este ti jití cíe basesexisteliata tocití espaciode 1—Iilljici-t st~~mat-able(ve-ase, ¡i(it cje-mi) ib. el /k Iitír¿t, si V’’’ = spa¿í{tvi - iv,,, 1-~ deliííimtis = {sc E I1’(O, a; scw. =01-. Proposición 74 X”’ C C( [0, a]; Y””) es uín2 ((0. a) 5< (0,6))). El Demostración: L¿t i iiycccit’, ti ctmííti una> X’>’ G C ([O, a]; Y’”’) se ji tmcci~=prtm b¿tr la.ci¡ iii emite si tei]e-nios u~im ctieii ta. tj míe 1/1(0, a) c C ([0, a]) (ve-ase,ííe-~r ejem))íilo, el Te-creíu a \¡ 111.2. de E3rezis[1:3]). Para.ji rtm bar (=1resmí It adode tící í siciad pone-mi)os tic reí i oveq u me C~ ([Li), a]; H¿ (0, 6)) es iii siibcommjuíuito clenstí de IV (0,a; ¡<>2(0,6))fl ¡<>2(0,a; J1¿(0, 6)) (ve-ase,por ejcii)jilti, el rl~eti,tií)a 2. 1 tle-l CapfLuí lo 1 9¿(O,1>)) = O} y 6 > O. IT>> mci 1>a! eiii (liS <¡u e-> u~ x i s 1119 1~— f~ ¡K~< e. AiiiiO 1 E Ccc([O, a]; >9¿(0,6)), j)ara tocítí 5 > O existí=tiria stícesióíi {a~ 1-4~ - comí t:ai <[míe-, para t{itlu, xí E [<¿~,ai+i ] Se- ti<=mie<¡lic ¿3 1 - - (u:í, -) —¡¡ f(u:~. -) — f(a¿, -) ¡!u~3, ~ f(a1 + lo, u:2) — .f(a~, u:2 ) dx, (~1, £2) = h—*0 lo Enttiii CeScxi 5t( 7& (:1:2) > O Ial u¡ ¿9f ¡—(a1, £2) ():Ci f(a1 + lo, ~½)— [(a1, :n2) < 6 It ¿9.1par~í tou~i ci Ii- E (O, T1(u:2)] - De esteni títítí, :onio E C((O, a) x (0,6)). existe.miiia suCesi dimí {65 >~~2, :eí mm O=b1=b. tal ci tic, íí¿tra> t(itiO (u: i , £2) E [a1,(tj+i] 5< [65,bs+í ~.1 (11.6) — ¿i3f( £2)! <5 (a<¡ ni es peísibie vcml Vei)]Os a m-eei]umíierar la sticesiói])- Eiíton:es.si tornamos 11>1 = nuin { mm {1t1(b1)}, e¿i+i <>1, } ¡iara. ttmcltm :1:2 E (O, 6) y para totlo It < lo1 se ti erie que ¿3f £2) — [6>11 + Ir, x~) II>______(<‘1, — f(a1, :r2) < ¡Áj’ (a,. :1:2) ¿3f — —(a¿, + ¡ <‘3>1 (a- 6) — 2~ 3 [(a1 + lo, b~) — f(a¿,b~ ) -Ii> Í6>’~ + It, 65) —[(a1, b~) j(a1 + lo, £2) — f(a1, :n2 ) It lo ¿9 <25+ sup 1 ~ 6-) ¿~ EI”wn-n-il Ox1 ¿9xí _ (por (11.6)), (:(ImiI J E {i ,.,s 6>) y tal que :n2 E [bu,bs+m]. De estetiititío, obtemiemos<¡míe (a1,-) — f(a1 + It,-) — J(a1, -) ¡¡t2(oh)< 456i/2 lt Enteíííces,sí a1~1 — aj = sc ci ecl ii ce ti míe ¿31 ¿9x1 Vh12, cii ese. — (ti ¡ 1L2(0,b>< 456í/>2 SI ($6 (Áa¡uítmiJo 2. Smct<>nzac¿n de uu protí/e¡mía e/iptr u> .4 Lii u:asti :cmtitmaiío jicicleunos iiit;ioclim<:mt el puirito a~ + It1 cii ía>siiu:esiomm~a1 y re-e-viii iiueram SI míe nmievtm las uícesióií. Si seglil mutis estcis ws-<>~ cuí catía iiite-tva>lo t¿tíít¿tsve<:e5 m:omuio tiutu:u=— .4siteumicis, ti iiálmiiemite tiimtcii y pa.ra> todo u:1 E [a1,aí+ m ] se tietie qtm ¿3/ ¿9/ .4 - (u:i. -) — - (a1, -) ¡L2(iit)< <%(11.7) ¡ [(un, -) — f(a1, -) ¡!w(ob)=¡¡ ¿3:1:2 - (ILS) ¡¡ ¿91 -) — 4 -) !¡L2(ob)< ~_____ (u:í, . (a1, d£i y ¿9/~ í6>íi+i - -) — .f(aj - ¡¡¿2(mm?) < 4Sb~~. .4(líO) ¡¡ (a1, -) — ~ - II mía. vez <¡u me 1 memímtís lijado la. sticesioii {a4jí~j , pc»lemimtis ttiinar ( por tlcmmsiu~lad) ni E 1V y .4 7(a1) e lE, ~mar¿ttocící í E (O. . , í-(5)1- y para tocltí :¡ E 41> , ¡¡4 tal <¡míe ‘1’ ¿3/ ¿3m- ~ ~ - 2 + ((1 ~ (o1) ( - ) II L 2 (Ob)fi /(aÁ , - ) — >3~ (a,¡’ ( ) 1 L 0mb) II -) a~Ji lelmE (5)— 1 } — -‘ml .4(II. 10) ~í < ~ iiír ¿3£2 j=i - ¿):r 2 Adciii ás, p¿íratcid o :¡ E 41, - - - , ~ 1- dcli mminios ía fui vi u:i óíí /7 E 111(0,l(i :1:1 E [a1.a¿+m ‘ la fuiin:ióii /lrí e xm jidmí> = >5 fj»(:vi )w5(x2) .4 j=i p amatemtici x~ E [a1,(1>1+1] .Aheíra. jitír la. (le-siguald au~l ele Btu vi :ai-e. existe : > O tal <¡‘mu .4 fU ¿3/ ¿3f’~~ ¿3f~<~ - __________ ¡¡>2 ¡un’ímmu> fi .1- — 1 ¡Lx0=cj ¿ 3u:m ¿9:r: E’ (Ob) dnm —1— u: J ~> — ¿3:1:2 .4 5 ¡ >5 ,~um (1144 —

  • ’ ulacíon de la ecuaciónde E y la ecuacionde r. 67 = 15 = r(S)—i 2—0 Of¡¡ (xí, df¡¡ t3u:2 ¿91~ ‘‘1 0-2 -) ¡¡L2(0,b) d:ri ¿9x2 e = r(S)—i f at+i ¡¡2 21~) J?1í(al±l) — f t (al) (:rm — a 1)¿9UJ5 al+i — (L¿ A tu tira, Ií =cS 2a (por (11.8)); I~ =1 6c5>2bui (rítír (11.9)); ~-(S)— fi [(a~+i, -) -2 J=i r(5)—i +c ~jj j”4~’ < 2c5>2a (íior (11.10)); /4 < cS>2a (íior (117)); /s < cS>2a (por (11.10)e 1 ¡12 3=1(a 1+í — a1)>2 ±e2 ¿9w- d£2 (a1+i — «1)2 1! ZfR(aO(u:i j=i ¿3ra5 _____ (-)— a1) =3e5>2a (por (11.10) y (117)). II)e este. niotio ¡Ij- — j~ m ¡tO < ScS>2a+ 16c6>2ba= S>2(Sco+ ¡ 6eba). Píiia.lviiciitc, si touiíaviios~< (s~+6lccba) i/2 oliteneuros<~ ue ¡ ¡ j — /‘~ ¡ ¡ ~. < 6, lo cmial m:oli cli ive la <1enicist racíon - ¡Xli (ira. se~t y’fl E X ‘~ la. semíii ciói] cíe + 0Ji <>Y (II - II) j-y-b )di: i (lx>2 = =17(2< jJfscdx jd:,: 2+ < yo, siro >J4L/2(ím>b)*xJqm/2(Ob) ui2 1-- ji L 2(O,b) <-ii [7$(a)zv() ¡L2(o,b, dxm ‘U ¡¡ [(al, -) — 2 17(a1)ws(-) ¡1L2 5=1 (Ob) r (8)— Ii~=<2 ,=ui Jt+1 m(&)—i 1—ti - ¡ ¡L2(ui,b) íl:r 1 -) — ¿3j~ d:r:í É3x-~ ~ -) l¡L2(0,b) ¿3~f ¿9x>2 (<¿1, —al) 2 r.. u ¡4— (Ob) x H¿ (Ob) V sc E ~Y’~ SI (a¡íít u/o 2. bactorizaci¿n de ni probleríma e/fmtiecí.68 Proposición 75 ~íir>¿casaía cadaYo c ¡-1 1Q1 b) y para cada 1 E ¡<>2(0, a: >9 — (OHm)) eu:ísteur~a El Deniostración: Sean Ip. ‘U 7/) titiS fmi mi (:iomies cíe Y111 - ‘It Entu~im i ~ sc Lsd(u: í ) tu 1 ( u: ) , 7/) = 1= 2)1 Lib (u:)w,(x2) .y sc ¡Ql = 2 ¡¡ IPí ¡%‘(o,) (cmi unaexjiresioi] similar para>45). Dc este 1= 1=i iii di (~i ¿9<3 a(sc,-mf)= jj-b(¿)sc ¿Li: es mí i]¿i> f O t¿mí <¡ mie <«sc, f)¡ >< c7~ l¡ sc l¡x”dI 7/~ l¡x’’ - A cíenás a ( -, -) es y iría Fot-ruia ctiet-c;itiva. cii A’’~ , liii(=sttm — ¿1 ay ’ 3x 1 (ve(:tcmr) entomices,1~ítmm cl Leuiia 76, exisl:e <‘ > O tal <¡nc «(sc, sc) = J> (439<: )7 = A 7U ( <9scj (x~ ~) 1du: 4111 ¿ 3sc~ ¿3:,:, 2i + ¡¡ sc ¡IL2(uia;V’n) ______ í¡L’(ttma)¿9u:~ y, pmi¡ la tlesign¿tltia. O tal <¡tic III «(sc~sc) =‘11Ú 2 l¡ ‘Pl ¡1% (tít) 1= SI + fsc ¿9i/) )d:rmd:v 2 0:r2 om cmtrtí lacIo < f¡r~, sc¡r~, >H—m(ob)xH¿(ob) dxm+ < yo, sir0 >n—í(o,¿jxn¿(o,b) es uííía. fcm rrna liii caí y ctííí ti miii a en XmU pimesLo que, corno A’ “~ mmiycccmcmii cotíti viii a existee4 > O tal títie c C([O,a];V’~) es una ¡<(sc)¡ =11.1 ¡IL2(O,a;fl—’(0b)) fi ~P¡¡L’(0,a;fl¿(0,b)) + ¡1-fío ¡¡p—i (0,b) ¡¡ 5¡i’o ¡IH¿(O,b) =fi1 ¡¡ L2(0,a;Jl—i(0.b))¡¡ (P ¡¡L2(0,a;V’fl) + ¡¡fíO ¡¡1-1 —‘ (Ob) ¡¡ sc ¡C(l0aBV”’) =¡¡f ¡¡L2(o,a;fl—m(O,bfl¡l sc ¡Ini(o,U;vrn) +c4 ¡¡-fío ¡¡ÍI—’(o,b)¡¡ sc Fi iia.l ii]eim te, cl Teoremade Lax—M i lgram (vease,por ejeniplo, cl Corolarití Vr [13]) C mm) cli iyc la tI cmiiostración- 8. (le- Brezis u Lerna 76 ¡os%t~ua. es dejinida El Demostración: Sea lo el vector ical It it 2 lo= - - li>,tt C(mi] It1 E IR para teitlO E 41, - - - , ‘U Bu Ltiiices, si eleh¡mi mnos h(x u , £2) = 2 h~ w,(u:2) (constamíte en la variableu: ) , teireiii(is <¡tic 1=1 1 E ¡<>2(0,a; y”’) y ít”’ A”lo = ~j¡-b h>2dxid:n2 lo ¡¡¿2(o,i;v.)=0. A u leííi lis, 6R A”’ 1> = O si y 5(~)l(i si ¡ A- ¡¡ L’ (oaV’” ) = 0, es decir, si y solo si lo =0. [)e estemeitící, (:tiandltm <:iis(:i-etizaundmsen la variable-u:í ~ stipotie-r fío E yf E ¡<>2(0. a; 11I(O,6)). Ahora, es fácil pmobar <¡ye, si y”’(xí ..r2) = 2s¡<(:ri y 11t , ciítcímv:esel vecttmr (=í1(u: í ) ) es stííticiótí e-ti IR”’ del probícma 1= ()_lYxi)t + (q1(xi))1 = (< .[¡ u’1 >H—m(Ob)xHi(ob))1, :ri É (0,a), ¿9q - j (O)» = (< Yo, >~i >11—1 (o,b)xIJ¿ (O,b))i ¡<(sc) == 69 (II 12){ u U~i (0,6) )m1(u:2) E = (O)~. 70 Cap/tuilo 2. Fau: tori2~aeie,rl de u ri probleríía e/ipraí:o. Por tantti, pcím- resmíltatitís11—~ (Ob) xH¿(2(0, a) c C (0, a), y’ míes ma.r¿t catí¿m 4 ¡ - - - . nt 1- q~(:r: ) es scihmicióui del pi-tibIe-ría elíptico ~~iv>2(u:m) = <:7’IY” (qjí: i ))~ + c~ L)”’(< jiFa>> i3:r: is (O) =< Jio, e-Ji >jj—m (o,b)xH¿(&ib) cl -w»m(2(Li), 43este tum(mcldi, (u:) u: 2)(II - 13) tU Cdi!] Y’ E ¡1 (0, uí) C C (O. a)A boma, comoen el (:aso ge-micral, (1114) U fi’~(u:i ,x2) = (/ji7lt( d:r~ >~>‘ ) + (iflt(~ ))(:r2), ti ii ti cíe [>‘‘~ (-s ) y tít(s) estántlefumiidems cíe l¿t síguííeiíteuuiaiiu>m¿c: 1’ ¿ira u:am~I a> -s E [O,a) y paracatía. lo E 11—1(0 6) tIetiiíi miios Y” t = {sc E ¡ji (-s, a; 1/”’) 5ir,~ =~} y ~icrí tmtam mí tís jíoí y”~ E ¿í la scíluci¿mii cíe II &Á + ¿j)~flL ¿~ )du:idu: 2 = — -< lo, sc(0, -) >u—m(ob)x¡¡i (Ob) .4 .4 1 .4 <1) E >t4L¿ >H—’(0,b) x U¿ (uib) :1: E (0, a) .4 .4 .4 .4 .4 .4 .4 .4 .4 .4 .4 .4 .4 .4 V p E )Q. .4 .4 .4 3. (Irma jtst¡fl<:acion en la forrn ujacion de la e’:uaciórm de E’ .~ la ecuaci¿n de í- - 71 Entomices, deliiiimnos Pm(s)It = y P)U(a) O. Al ííii sino tiení íio, para catía 1 E ~(J, 1 (0, 0)) tiCfi u i tu CíS 0 (>11) = ti y 7 ~5) = 131r jiara>s E ~141(O,t)xH¿(o,b) dxí jV sc E X7. AIí tira>, coiii o 7’~ , fl”~ E xm G C( [O,a] ; Y’”>), etitoncesr’< (.s) E V~ y E’~ (.s)lo E Y’”’ para catia. it E ¡~f — 1(0, 6). A iadlj tu iit(i íi~tr¿t Lo se ITitiede pr(itmar tic tina fewnía similar a lo hecho en la IT’ reulíosición 73). Proposición 77 ¿92 ¿3>2>,,>,, 1- 7ftta tase de ÍJilbert (le U— (0,1>), ui/z¡~ (a) V ir- E EX’, ~¡ —~ ¡¡ ¿3£2 H— tm(0,b) = 1, (6) ¿3-a,¿ti (e) 2 ,tzn¿la ¿3-u>,,, ~>~2 )¡¡—m (o,b) = O Vm, u tal que un- u y -7<3> >0) A 5 >2, ~ E IR sari densascrí 1~Ií(0, 6).¿3:4 do irde, fiar-a cada p, / E H>’(0,l>), consideramos<1 p<-od-ucto escala,- ¿32 ~(sc,<)~,—i~ =< —( ¿9u:>2 > IP’ ¿9>2 cotí = (jy,.2 ) — sc definida 7>07’ { ¿9>2‘í __ =5¿9x~ 7» >JJ¿(o,b)xH—m(iib), en (0,6) y>i(0) = ¿46) = O u la trorma ¡ ¡ sc ¡ u—u (ob)= (sc~ ~);;2, (ob) inducida por el producto escala>,. Demostración: (a) y (b) ITiara tocicí u, ni E PV, ¿3:4 ¿9:4 1i’ (ob) = i3>2m,,, —< ~ ¿32 )->-1 ¿3:4 ¿3:4 > ng (ob) x ¡¡—u (0,1’) f »>2±(~~>’) (u:2)dx2 = 3n,,u, - (9£2 ¿)u:2 el;> 1 El > ¡1¿ (Ob) x JJ—~ (o,b) = SI Ciap/tu/cm 2. F’actor-¡zac¡¿n ele un pro/ile-rna elíptiecr.72 :) Sea ~ un clemcuto tic II —~(0,6). ltiitoiiu:es (vurase. ptíí- cj(=tuiililci, la l’i-tijicísíu:icmíi VIII. ¡3. tIc Brezis [1i3]) existescu E ¡<>2(0,6) tal 2-tv , Li]t(iticcs. paratotící elcnieiitu ~ A,- 3>2 temíem(is (¡nc >2 112 ¿9>2~> - (~ASJ 15=) ‘U ¿3>2w - —sc,2-~, a 3=~ SI — sc)n—m(mmj) >‘> ¿9>2-nr - [2k ¿3:4 -scLZ ¡=1 A,- Oír> , ¿9:4 — ~ >H¿(mji,b)xJl-<(ii,b) — ¿32 [y] — (~k A,m, A,- ¿ 9:í: ~ — ~=‘>Ji~(tm,h)Xfl—1(o,b) - De esteuiic,ci O (iiicíejieticlietite u~le nr) tal que A,: <~»2>w~ ___ — sc ¡i 2 , 2 rl 1 >2 - ¡ ‘‘o Estci :oti clii ye la <~>2 - - tv,1, . - 1- esun a. baseQ (Li>, 6). u Lema 78 ¡ropo.sic órí >77 es eqti ¡valenr> te a la no> nr a us-tial - ¡ — de >9 — (0. 6) corno dual de H¿ (O, 6). es de-h- la ríoruta ¡sc!ii—’ (Ob) = smtji < Ip, It > JI—’ (Ob) rU ((ib) ~/tjj,4t (It>) = Dernostración: ¿32 ¿9>2 ¡ sc JJ—m(Ob)=< ()—i [~]~ >Hg(o,t)XH—m(Ob)=¡( 4 £2 SI [5] ¡hg (uit) ¡5¡l1’ (mit)- A htm ma ( vease,ji or ejcmii Ni - e1 rlYtirenii a. 9. 1 ’ ¡5¡jj—m (t,b)- Resji e-u:ti vanicii te- suíp < sc, lo ~ (OqhIg(uit) SI SI ¿9>2w - SI ¿32 <~(i 2) SI SI SI fi2 SI SI SI SI El SI SI SI SI SI SI SI 3. Una jmístiticacir5¡i en la ftir-rrr u/ación (le la ecuaciónde E’ .~ Ja> ect¡aciórm (le> r - 1-3 , come> amites, existeSm c ¡<>2(0,6) tal totíces scW—’(O~) = A hora, para cauia C(ivistante02 ~— 0, ~9sc(jui<=sc = (en sentitití aVI 11.2. dc Brezis [13]) qmíe- (ob) = e 2(lo(b) — lo(O)) = 0. (0,1’) = ~í>’P ¿9u:~ bit (si + (:2, ) E’ (0,1’) =¡ ¡ si + (:2 IlE’ (0,1’) [95m] ¿9u:2 09=’i> O£2 ¿3 ¿92 Hg (o,1’)xIl—’(mi,b)= ~¿3£2~¿9:4)> V e 2 É IIj»< í ~dIPm] S=’i I b ¿3 ¿92 ¿):v2 ¿):í>2 pb¿9 ¿9:v2 ¿i)x2 Jo~Bx2 lo cual ii]iplica (vease,íior ejemplo,cl Lerna VIII. 1. dc Bíezis [1:3]) <¡tic existe02 E IR tal (~jííe ¿3 ¿9>2___ ( yijIPi] — sc>’ + e~- Ou:>2 d£2 O£2 lsíittimí ces ui2 ¿3 ¿32 5 Mu—’ (mm,b) (3~~2 ¿9:,:>2 [~?~3j,Sí +c2)L2 (ii,b) = (Si +0>2, Si +c2)L2 ¿3x2 e í~l 01] u: iii ye ti ii e ¡S¡n—m(o,b) =11 sc ¡IJ1—m(0,b) V5E 11i(ob) Observacióii 79 Sca V’~ cl espaciode dimensiónHuita. gene-ratiopoí- el ctimíjuuiiteí ¿3>2 -u,> ’ ¿3>2 ~>‘ - - - , ‘U» <>2 l’oncmcis ele relieveqti(=paí-¿t cada lo E 1-! — 1(0 b) y paracada-s E [O,a) ‘U ¿92í (~:2, ~> ¿3:1:2 l:>(=ro (0,1’) ¡ Si +½ ¡ L’ (0,b)~ u [>‘~ (-s)/í — [>1)1(q) lo COl] lo~U = 2 — -c lo, w¿ > 11—m (0,1’) HJ (0,1’) ‘=1 é I(i Mt?)!)a t?~í/iiticre Y’ —“) - IT’cíd riaí u tís ttmíííar £2 B:íj U’ IU1 32)0,,, - - - 73771 coriio fiase cíe- 1/—II p(=iO, ccumncí la ní¿ítíiz A’’’ es ííc sbigiilar (se-guivi el Le-iría 76), >9 _______ l~t —Za, 01 ¿3r>2 1- 1=1 - >2 es — “‘ , Y’ ‘~ ) y pOcIe-iritis cíe-fi mmi r T”’ (-5) u:omii ii la ni ¿mtríz asou:iada al ti pe-ratior lineal Jflfl (.s) ¡ y—m iv —1’) »>4 1¡m u:cmíí t>cslie(:tti a las basesPh>” crí lC>” y >9 = -{ ~i - - u’,,, 1- cxi ni Entc,míc:cs, para tcítio ele-vii evito Ir = ~ lo, E Y’ ~‘“ ,~ ¿9u:~ mía le set rciircseiitatlo cii i>t4au:íón ti)atri(:ia.l y ve<:toi>ia.l Couiio ~; ¡i¿í>t-a tcícicí -s E [0, a) ~ (-s )lm — II> >73>70 () ¡yU jimitisto <¡míe ¿92~,, -, ¿94 ¿32>’,,> = ii(s>~I( ~2 )T(—A>”)D~’(—Inqt] ‘‘‘‘ ¿3:4>’ It Ir,,, — fil) mÓ)[( 2025 ¿927,,>= fi?U(s)[( j )[(It¿)A ‘U B>2>’v - ________ 71k>! E>”’ (s)y = ~ (s) (t--c 2=>’ Y’’0 G JI—u(01>) y -s E [0,o) q, m 1 >11—1(0,1’) :< ng (Ob) 02;:; ) ti1>1)2(s) ¡ t=i j=i /01 / Itt = filO(S) ~ (>—~ <92 ,~, (1k, ¿3,2 JI - >2-,! 7’1 -SI SI SI SI SI SI SI SI SI SI SI SI SI 7)2 Atleiíias, pxtrxí todo elenietitoq = Li’> 1V1 E 1=) SI SI SI SI SI SI SI 3. Un a josÉiticaciórm e>’> la lbrrrí ml/ación de la ecuat:ió¡í e/e 1’ y la et: u a:iórm de r - 75 I’emr ta.ntci. J>~~ (.s)=~se íiuetle represemítarcrí i]otacióvi matrícial y vectorial coñie> -ql 9112 (ci liservesela reíación ¿92 e-miti-e cl cm íii em-ado t3x~ sobreV~ y la matriz [»U ) - [)e estem(idl(i, la femí-ni ti la (II - 14) se ji imetie re-jire-se-titar(:tmm,,, 1m ama tO17n1 E j¡í~2 - Entonces(11.15) se ¡itiede escribir comdm tU y (s) = J)”’(s)r>~>¡i~ + r’ mm(s) Bxj sí covisíq’» (s). éitj ¡ y. y r”> (.s) conio veu:torcs,o í:omo ‘U ¿9y»1 Ji (s) = F»~(s) ¡r. + r’~(.s)Bx~ si cciii si cheman cis fítU (.s), V9— ¡ r~ y r~U (.s) cointí e-he-nie-ii tosdc 1/ía 3.3 Ecuación de Riccati de P”’ y ecuaciónde -y’> 1. Al ’> lar a lo hechoen (11:3), pam-¿t catia sc E ¡<>2(0, a; Y’IU) t(7iiemiidis cítie ¡- a 1-b (5 t2 35(.s, :02)2yl>2 ¿ 9u:2 )(u: 2)sc(.s,x2)dsdx2+ 7)2 () 1)72 1-ja ) (:r:2 Ji —»‘ (u De est;e incide>, isa¡mclci (II ~¡2). 5(=tiene- <¡mie 21fl(;, 2:2)5(5. u:2)dscIx2 = clon ‘mili <>)ri (-s y2) sc(-~, ~ )d.sd:í:2 = SI .4 .4y~ ) (u:2 )sc(-s, y2)d:n:2 (:v2 ) sc(-s :r: 2)uís4r2 SI .4 [“[1’ ((IP ¿)fíít .4 _______ r ) (£2 )sc(s, :r2 ) dsdu:->’lmjmJijm (l£i (.s) oxi I t7 1’ +jjf’ (73>”>(s) J> (s) - ¡ e ) (:r2)sc (s, J:>2)d2:>2 + ¿9:rí (731)2 (.s) /9>727>72 ) (:r2 ) sc (s, :r2)dsdí:r2 + [)c ¿ic¡mmi, u:cíiuutí íp E ¡<>2(0,a; Y’’ t>) es arliit ía.ri a.. teticmos ti tic — 1) + ¡j,IU (s) O”> -4- i (-s) 1,> (-s) .1 ¡ r. , Wi >11—1(0,1’) x ng (m~u .1’) — P”’ (-3) D>’~ >~ .I¡i, tú 772 :‘-~~—, (cmb> x ng (ib> 7)2 Estaigum¿íicl¿mtl l:ieiie 1 mig¿íí- cii ¡<>2(0, a)>>> y paracada y>’}x í , :r2) = >Z=I(:ri )7v}:r2) solun:iómm 1=) cíe (11.11) (o (11.12)) c<íi i>,->’>( ‘ , r 2) = 2 rj:r:i)w1(x2). 2=1 76 + SI .4 )sc(s,:í:2)dsd:r:2 + /¡(j’ (s) 72 = 2 [< 1 i u W~ >¡4 —m (ob) ng (tít)] zv~ E ¡<2(0. a; Y’>’>). 2= — Lib SI J 271’ ¿97.1U J~> ( ¿9-~ (s)) (:r2 )sc (-s, :í:2)dsdr:2 - .4 ~~~l’2( ti:,: i (3) + p-) m~)Dl)2p (.s) ¿i>qi (3)Dxj Oqm (~) Dx, + SI .4 .4 ls;’ (-s) SI = O. .4 SI SI .4 .4 3. Una jtístificaciórí crí la forníu/ación de la ecuaciónele j:’ y la ecuaciónde r. 77 A hitira, si ciegiintís el c¿tscí O e yo E 117 arbítrar-¡tm, tíbtcncuiitms (11.17) { (IP clx (s) + T”\s) ¡ymmyP)2 (s) — 1 = O (a) = 0. bu] tenices,segmin la teciría tic eCriacioriesdiferemíciales orclínarias, sc tieuie (ve-ase,por ejem— ji 1cm, el Te-circuía. Fuu ci amíietít al cíe Existe-u]cia y Uiii ci”> en (a — 6, a), pant miii 5 suilcieiiú=uiicvite14 qí un o A) (o C’ de (a, a — 6) —* £(V —‘72, Y’”2)) - L» ac¡ui se decítíce (ve-ase,peir ejeviijilei, el rretireu>’ia 2 dc 1=ateí[38]), parael ca-so ele fuiní momíes gel]eraics.1, <¡míe >‘.112 es sol tlciói] de (11.18) { i~”2 (s) + 73fl2( ) [)?U7)72(q) = 73?)2(~) D”’f” 2 ¡r. ¿9:ri ri)2((t) = O cuí (u—5, ti) y E 1-1 1(0, a; IR”>) (o y112 E kJ~(0,~i; Y’”>)) - Además,p y (:(:imi s E (a —5, a), se- satisface(1116) (o (11.15)). amaestássoiticiones Lema 80 E.z-r?9te una constantee> O tal que fi P~ (.s) ¡ ¡ cq¡—m (ui,1’),V”’) =~, ~¡p11> (s) ¡ ¿~V—”’,V”’) =O y ¡ ¡ 77U(.s) ¡ ¡ ¡nr.x j .y 4:0ti .s E el t:a.iiiiii(i ele varialile :r: u = -s + zí (a — .s) , zm E [0, 1] y defininios [O,it), hace-iritis -y7(zm,x>2) = yU( 5 + zm(CL — s),x2). (seguíi u-e-unoscl ni éteitití roptisi ción 72). IT) eestemiro~lo jjb~jyU ¡>2dzídu:2 + = — -~ (a — s)h, (a — j-~>¡B~ >2(Izi(L02 »I)2¡~ >H—1(o,t)xHg(o,b) - ¡¡ [>112 (.s)h ¡ WU = ¡ ¡ -y~” ¡p 1k<¡1 ¡¡ ~• ,, < 02 y u cír (II ~19) cíe-timíu:i nios <¡mmc I>2dzudx2¡11’ Bzu (II - lo) ¡\hiora. ¡¡ ~“>(s)ít ¡¡v,~< (7 ¡¡ lo ¡I4—’(O,b> SI 78 Capit u lo 2. tautorízaciórm de u rm ¡>rob/eríu a> e//plño SI u:cííí (1-’ iticlepetmclieumtetic .s E (0, a] (cl casc -s = O es trivial) y itt E IN. Así. olitetienios SI ’’> (s) ¡ ¿~n—’ (tm,b),V)a) está uriiftii-nicuneuml:e ¿icotatítí. Acleríiás. ctiimíti Y’’’’ G H (0, 1>) SI es iii>’ a mii ye-ccmoui cciuí Li mmiii a. te-ticiii (is que ¡¡ P”>(s)It ¡Ivr< ¡It> ¡¡vn~ SI comí (1 inthepen imnifortiiemrieumtcr aí:eita.elati, et¡uivaie-iite-muie-mmte-,¡¡ 1-’ (s) ¡fn’ ~ira estáuuiiifot-inementeaí:ot¿itla. • SI ltnttitíces,por el Lemuia. 8<), cíe-titíciíííos (aíilicammdicm, poí- ejemplo,el Com-cilai-ic, 2 cíe Ftmer l[~> ~] ~ /( Y’’’> Y’’’’) lic este un(idio, apI iu:aííclcm E H~ (0 a Y’’’’). SI Rccííirocarner>te,si TIU (.s) E O ([O. a]; C( Y’—”’, Y’”>)) yr’~ (s) E 1>11(1) a; Y’”>) 5(ivi so>mi mi— 111 emomíes gitíbales = 2/it~~ 1 satisfai:e SI O:r~ r. + \ E [0, 1 <3; 2 ¿9í7”> ;k> 5) ~ ‘1 > 11~u (o,b)xng(o,rq 14)1, <~lecluiC.iinos (sigmiie-iitltm los mismospasos líe-Ni cmi sentitio inveiso) <¡míe. y’’> es s~iImición ‘le SI ?)2 ~2-:~ ¡ (di (II - 12)) y ji or Lamí te, Jj‘~ = y - [)c este unocío, hemos ji rcm i~matíci el sigti ietite SIta>cl(i: Teoren~ia81 1> E C~ ([O Cl]; £( U>”” 1/112)) f] >~>‘‘~ E ¡Ji (0,a; Y’”>) son solacioríes glo bales SIde (¡1.17) fi de (Ji. 18,9 respectivamente.Ademásse verifica (1¡. /6,). El A Ii tmu l>~ í a catía. u E PV y para> :ati a> sc E 1-14(0, a: ir>”>) te-ii e-m]í os c1iie SI 1’ Bif 1’ 7>y> ____ al By” ’ Jmj/oO,ik£ m :í>2 )sc(u: íu)~¡<~i¿tu:2 = <¡2>1:í: í (1:1:2 ¡a,1’ fl.’~> ¿3 ¡tyb ¿3r’’’ SI — a>>~ (ni :n-~) [(fi”> (:r )sc ¡ r ) (£2)] CI:r: (1:1:2 + (:í: u , £2)sc( e í,:n 2)Cí:rí di2 ¿3:,: -mu-mm Br~ i JoJo (¡líe, ¡mor el rl~ecmiemii¿c81, sabemtisque ttmtlos Icís t(ruiiiiios <1ure apamecemíe-ti la ultí iría igmmalciacl estáui l~íiu=um cludjiujtl‘‘‘(:í:í )s¡ír, )(:í:>2) E A’’’>, aj~ulvi:amudo (11.11) ti l~, te-u i (rumí05 (~uie SI ¡-a,¡-b¿3yt’24 = ¡‘~1’ Ñm )(:c2)sc(:í:í JoJo¿)u:ik:1:1 , :l:2)scyI: i , V>2)ClV u (12:2 JcJmm du: i O£u >> .:l:2)CI:cu úí:t-2 SI + ¡‘¡1’ ~ (u: í ,:í:~) 9<1 [(1»,’’(:í: u )sc¡ Fr> ) (u:~)] ¿tu: u mii) e :1:2 SI SI 3. Un a- justith:ación crí /a ¡orn>’ ulachin de la ecmacic5rí dci P y /a ecuaciónde r. - 79 — fU < f¡my , P”2(x i )sc¡rvu > 11í (o,b)xHg(o,b)dx>’ + ¡J +i1(xi , x2)sc(xí,u:2)du:idx2 y, m isancití (II - ¡4), se sigue <¡tic —(£i,x>2)sc(xm,x2)dxmCl:í:2= ¿9:ou +fjf1’ pa 0b dF”> ¿3>mj’’> <¡2 ¿9 (:02)] —Á—-— [(P”>(:o í)sc¡ Fxm ) (:í:~ )] <1:t 1 pap1’ ¿9r~’> ¿3 + 10./O ¿ht2 (3:1, :r:2) > [(P”’(u:~ )SIi½m)(:>½)]d£í(¡<1:2 Bx>2 ab ¿9>-”> ¡—1 -< 1¡ra>~ £>“>(Á:u )S~F>u >¡4< (o,1’)xHg(o,1’) (1:0>’ + jjf j0>’(:Éí :r>2)sc(:0u :ov)d:í:mCi:0>2. [)e mm mievo- (:dim>’] o sc E [14(0, a; Y’?U), y<~ E H—m(0,b) y f E ¡<>2(0,a; jJ—i(O, 6)) sum Imínciones arbitrarias,musanu~i(i ~uc E” 2 es uín 2 — [>“2(xi)t):r~ ¡Fxm ¿ix = O en C([O,a]; Y’ tm) en L>2 (t), Ci; Y’”’,) ¿>32 (:0u) — P”>(x~) ¿9:4 7~?U (:i:>’) Fi”> (:ri ) f ¡114 ) = O para cada fío E 14~ (o 6) y f E ¡<>2(0, a; 11 (0. 6)). IT)c esteii]otl(i ¿3>2 Fifl>(:í:m)2.~jP?U(xi) — I]ws)Qo2) = O crí ¡<2(Q, a; Y’’’>) Vy E {l £2 (1L20) Br”’ ¿92 — [i”>(:o) ¿32 ~“‘ (3:1) — E”> (u: í ).f ¡ ~1 ) (u:2) = O cii ¡<>2(0, a’; Y’” 2) ¿92 (¿í<¡ mmi ~iit re- el oííerador S(ili me t3x~ - [)2U ~~i~>’]> aramí’e-5 cemu las ecum aciviii es (II - 1 7) y (II - 1 8)). Y”” y la. m’iíatriz 34 Paso al límite. Teorema82 Para cada -s E [0, a] y ¡íara cada lo E Hí/>2(O, lí)* se tiene que —* P(s)h en la topologíade W’>2(O, 6). El Demostración: Siguictitio con la u otacion 5 E [O,a) (el caso = a es trivial) y para :a la Ir. E ffí /2(0, b)*, tetiemosque 1-”” (.s ) lo = , dondej’”> C X<> es í¿m> stmiiiciomí cíe jjj¡-t ¿3f2 a lib (/:01 (xi) [(11 (:01) — flh/2(o,b)*xflh/2(O,b) u ¿33:í ¿3:0>2 ¿9:02 V cp E X7 - 80 Capítmr/o 2. F’aetorizac:ión de tít prolí/eína e//ptico. Ermtcnn:cs, tomííamicl’ ¿mm- 5 = y ¿tplica>imclci la> Pí-cíptisiciómí 62 5e deduce [aci 1 miiei>’te <¡me fi 7>2 ¡¡HI((a —> z en la tcipología ele-ti1 cíe ¡Ji ((s a) x (0,6)) A Ii cima., si t címíí am os sc E X’’, ti btcmiemíuosdítie (11.21) 1’ ¿9-y” ’ 1! ¿9:í: m ¿95d~ <1:0>2 +-a-ti ¿3:z: I ~ ¿99”2 _____ o ¿3:02 ¿9tp cixjI: í: 2 = — < lo, sc(-s, -) »Hm12(O,b)*xJIm/2(mm.t)si ¿3x~ ½‘si 9asaa]’>’>’ te, temí i e-ti cío en cvi ent¿r la ITí rciposi cióti 74 obtenci>’] cís c¡ u>’e b ¿jz ¿)y ¡ajo ¿9-r: d i<í:r>2 +- i ¿3:0>’ J Uf 1’ Bz <1IP 1 ~ dxm aJO ¿93:2 ¿9:0>2 — < It, sc(.s, -) >ñ1/2(uu,tvxñl/2(uu,bí Imara. u:acla sc E Xa,m>u {-v E fi>’ ((s, a) x (0,6)) :vj~ - = ¡,, O } ttímím¿ííí —>- sc ci> la tojioltigia u:le estcm se ji um ccl u1~ pitíl , ¿ti e-stcm imícíticí, z es i¿r seilirciémí del jurtmbleuíía <:3>2z ¿3>2z ¿3:o~ ¿9:4 — O zlr = O ¿3z = lo,B:rí Hr. 0 y ¡mor tant(i, ¡‘(>3) ir = zj~. - A Li ora pode-mí>’os tiedmí:i r <¡tic 1 a u:cí mí ve-rgcmicma e-mí (11.21) es cmi i¿t tojicíltigia “fi>’emte” , pi>’estti <¡míe ¡¡ “> — z ¿9(9)” — z) — z) (1:0)41:02 + — < lo, y?U(s, -) >IIm/2(u>’,bpx142/2(O,b) — (jj.f1’ ¡tyb ¿3(9)’> — z) ¿9(-yI~2 — z ) JaL ¿9:n~ ¿9:1:2 d:r 1d:i:2 ¿3-y”’ Oz — z ) (/:r>2~Jjfb C):fl2 SI SI SI SI SI SI SI SI SI SI SI SI =0/Lb SI SI SI <1:1:2) SI SI SI SI 3. ¿lima jtistiflt:aci¿rm en Pr tcn-r>’>’ urlación de Ja ecuación de P .~ /a ecuación de i. 81 —y O ctí aí>tic> ra- ti e-ti z- Fi vial mííei>’te se cciii clu mye la de-tntistra.cióii íatísatíd(i el resmiltadti cíe trazasjiti5 i (:i ¿mi] 62. u El resttm tic estascccióuí lo deelh:arcmtmsal pastíal líuíi i te tic 7”’. Teorema 83 Para cada .s E [0, a] se tiene que r”’ (s) —> en la topología de TÍu/2(Ob) El ID emostración: Es la ii>’isuna demiitmstraciónque e-ii cl ‘Tetircí>’>’ a> 82 yíerei caníbíai>’cltm 9)” p’a(:i(ii] qule- satisface/j?m2 - u ¿3>2 Leina 84 r”’ , (1>”’ (:o ~)¿i:o~n”’ (u: u))(:0>2) y (Pm (:o í)f ¡ mx,) (£2) sonfíníciotres acotadas etí ¡<>2(0, a; 114(0,b)). El Demostración: Para- totio £i E [O,a] se tieneque ¡ ¿9>2 ) ¡11’ b11 [i’’>Q0Vt~7”U(:0i¿3:02 o (tu,) ¿32 ¿9 < cm ¡¡ 2r’’>(:oí) ¡H—u(o,b)= C:í fi —4—--—r”’(xi) ¡L2(tm,1’)= e>’ 0:0>2 ¿3:0>2 7tntforrt?elneir te ¡¡ r-”’(xm ) ¡Lug ¿ti~> - (ac¡mmi hicuuitms m>’sa.clcm cl Le-ni a80). i)e estemíícmdo, tetiemos<¡m>’e- ¡1 P”’Oom ) ]~2r”’(u:m ) ¡lL2(O,a;Hg(O,b)< ei ¡1 ~“> I¡L>2(U,a;Vm) - Ah u~íra, ITí cír el Leí>’ ma 80, íiara totití :o í E [O,a], ¿ix>’ )Qr~) ¡v”~ + ¡¡fi ¡ FI, ¡ ¿3:01 IuHh/2(ti,b)*~uu lux1 iVPU 4 mi ~ jF>, LHg(mi,b) - [)e a<¡ mii, mítil i zai>tio el (:aso iíarticmíl ar yu = O, dedmiciinos qume (11.22) Ji ~ ¡iL2(O.U;VPP7)= (:2 fi Ii”> ¡¡nu(O,,,VPI.)< e-1 U 1 ¡¡L~dOU)x(O,1’)) - A cicmvi ás, tic míncveí ¡itíí el Le-mi>’ a 80, j~ara casi t(i dci :0 u E (0,a) se ti eu>’c q ile ¡¡ (P”’(:ri )f¡r2m )(:r~) ¡¡n’g (o,1’)¡¡ (P”’OOr)f¡r,,, )(:t-~) ¡Iv’n < <4 I¡ 1 I~2, ¡¡H—m (0,1’) - Bu ttm Ii u:cs, comi>’o J E ¡<>2(0, a; H— (O, 1>)), se ~~2 (£i )./iF»m )(:o>2) ¡ L 2(O,a;jIm(0bfl>< (:4 ¡¡ .1 ¡¡ L’(O,a;H—’(Ob)) - u 82 Ca¡nlu/o 2. Faetor-izaciórí O independienteCíe ¡ tal que ¡ 1 ¡741 (tm,r>;Ug(t,b))< e fi / fi¡ >2(O.a;II—u(tu,1’) - Ade¡¡n-i.s ~.112 —s r e,í la toí>oloy/a 2(0, cí; Hm/>2(O 6)). El ID eniostración: IT)e (11.20) y cl Le- iría 84 se ptietle t) - Emitoi> ces. coníci 111(0,a; 114(0,6)) c C([O, a]; 114(0.6)) es muía imive-ccioiu contít mmma. dccl mmci u u cís el restul t atio a.pIi caí)cl ti el leore-miia 83 y el Te-cmi-eu mía cíe Le-be-sgmm e- u Corolario 86 7”’ —*7 en l(L topoloy/a débil de ¡<>2(0, CL; ¡¡4 (0, 6)). El Demostración: Fior cl Le-una 84 saiiemi]os <1mie existe--v E ¡<>2(0. o; 1>14(0. 6)) tal qmíe. 7 “~ —4 -v e-u i la tcip(ilogía 2(0,a; 1-14(0,1>)). Aclemiuás,pci- el Coitilatio 85, sabe-unosque- o’’’ —* o ci>’ TV((0,a) x (0,1>)). l?umtcimiu:tts. Iiom la tníiciciacl del línuitc, -u = Corolario 87 a 7~”2 —* e en la topoloqía débil de ¡ji (O. a: ¡14(0.6)). El II) en>’ostracióu: fití r el Como1 ari(i 85 sabcí>’ícís <¡tic e-xist - u c ¡<>2(0, cí; [14(0. Ii)) tal <¡ mi e ‘2 ______ —* u e-ti la tcmpologí¿m 2(0,’i; 114(0,1>)). =\tieuii-¡ms, ptmí- el Ccírcilatití 85, cieeíu>’ciun’ ¿ 9:o Li>t<> mm uI=s7t = ¿ir _____ en V’((O, (1) >< (t), 6)). u SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI 3. liria justiticm:iórí crí la for-rn ulación de la e:íraeiónde E’ ~y la et:t¡ación de r - 8:3 3.5 Ecuación de Riccati de P y ecuaciónde -u. Emí esta> seccióm] imítemítare-mostiar 5Cu]tido a la de y - Observacion88 í<~F eh Corolario 87 salicm(is que r E 111(0,a; [14(0,1>)). cíe-funi cióvi, i- s(il o tic ¡idi ele dc .1 (es ’tm cíe la ti ere-dia ci> la 1> rcmblenia (‘P0) ) e- f~> - Pcír taí>’ttm, p<~cíe-mu tís ym ciii er r = rj cuí el cascm y,, = 0. Ademas.~ e-cuia.(:ióum ’) ¡¡H’((O,a)X(0b))=¡¡5 ¡¡Y - El ID emostración: Parae-iuipczarscnalamos <¡tic 5 C5 sculucióum del ji r(il)lcuna ¿3>2sc ¿34 ¿94 ¿325 Bx~ en (0,a) x (0,6) iO i)c 1>’i] ¿í mí>’aí>e-ra sini i lar a lo líe-che> auiteuitiu-uiiei>’te-, sc(:rí,u:2) = (F(:om) ¿9~ ‘itu )(x 2) + 7fl’p (:o 1, :02) y pdir tai>to, ¿35 [i(:n )— ¡r~ )(:É2) = sc(xí,02) Ox>’ — 7A~(:0>’ ,:02) E XL y. misai>’ dci el Cortíl aridi 85. tíctí tuci n>’cms (j¡ tid ¿95¡¡ (E(s) ¡r 5)(u:~) ¡¡Hm((o,U)x(o,bfl=¡¡sc ¡¡y ¿9xi Corolario 90 (P(£í)sc¡F,, )(u:2) E Xo par-a todo ~ E Y’, donde ¿3>’f’Y’ = L>2(O,a; /14(0,6))fl {¿¡ : ¿9>2V ’ + E L7(0,a) x (0,b))} ¿32 y ij-9~>2y ¿3:4 (~) i’i~~~ = o — ¿>/ ¡r o a Ji ¡1 (P(xu)sc¡r14 )(:~) ¡¡nm ((o,U)X(ok))= C ¡¡ 5 ~¡y El Ga.pír-miJo 2. F’aetcíriz¿mciórm cíe un pr-obIci>’>’ ¿m cliptice- Dernostración: Seatí sc C Y’ y ir>?,, (:o í ,:r2) — j 2 ~ :02)d-s- EFitotices sc( u em-a. si u> u i lar a 1cm Ii ta:imci cuí ha cte-n>’ostra.:iómm ’a 89, (11.2:3) <½E Y> y, tic muía— mt~,,(xm.£2) = (f’(u:~ )sc¡r,,, )(u:>2) —1— 7sv~C01, :0>2). Eiii aluíí críte, cmlite-ti evii os el mesuilt atití apii caím dci el Lcíii a89. Lema 91 ¡,,( P(u:í) u ¿3wB:oi (:ri u:2)d:r: i d:o2 con >‘,. u, C CM((1), a) x (O, 6)) o [1~ : = q% = 0>, define, p<>í- cot¿títíutdaCi, arta aplí— cactoti bilir>’eaí fi continua de Y x Y —y II? El Demostración: Seami 72, 7V E C> 0 ((Li), - Entonces- ¿3>21) ¿Im y) (:c2) (xm :0>2)(1:r:m d3:2¡ = f U/dI ¿9>27, ¿9w II (u:m , u:2)(Í’(:oi ) u>’,,, )(:o2)dxi (1:1:2 ¡ = JoJtu 0:4 ¿9:o ¿91) ¿3d, — ir u (ti) > ¡ e,) (£0 > ~i /2 (0,b)* x 112/2 (Ob)— ¡ (0, :oJ (1> ¡ab ¿9>’, ____ (u:,,+ ¡ ¿ 3£í :1:2) > ( P(xí ¿3W )(:o2)d:omdu: 2 ¡ ¿Ltu ¿9£>’ ¡Fi,,, e ¡¡ ti ¡¡y ¡¡ dr ¡¡y atl tu heuuu tís aji Ii cacío la i~ rcíposi ciótí 62 y el Le-tu a> 89)- IT) e aquí se ti Ii ti e-iie el mesmmii: acío l:eií i cuícití e-ti c:uícii ta <¡iíe C~ ((O, a) x (0, 6)) 0 { u y = ~ = O> es cíe-ii stm ci>’ Y (ve-asecl Le-mu ¿t 1 .5.3.9 orí u I>(:oi ) ¿lx sc~ 7/) E C~’$O, a) >< (ti, 6)) o {-v : cacton bilineal y co>attnua de j/ y Y’ —* IR. SI (::i)-eb (:r:í , :r:2)Ctm: mCi:!:2, SI — ~>‘, = O } , dejine, por- co ni tír i7Lidad, 7ttl a> a¡í it— El Demostración: (Rímelaíio 90). 13 así:a aplicar cl Leí>’> a 9 1 cciii y = n~ y >1V = 70< (cdii> la. vi eítaciomm <~iel u 84 SI SI SI SI SI SI 10/1’ SI .4 SI SI SI SI SI SI SI SI SI SI 3. lIria justificación en la torrn ula<:ión de E’ .~ Ja ecuación de ,- - 85 Lema 93 La aplocacion P(:om)—<-—~Hm ¿3:0>2 ¿9w (:r2)— (3:1 , :02)d:01 dx>2, ¿9xu E C’0 ((O, a) >< (Li), 6)) 11 {-v : -v’~,m = = O fl define, ¡~O7 conitin7tidaCl, CCI(LO?í bilme-al y continua de Y x Y —* IR. una a¡>li— El ID emostración: De tina íl>’au]cra simi lar a It> líe-elio cu~ la chcmtmstraciótí del Le-vii a91, seat) 7), ni E C~ ((0, a) x (ti, 6)) fl { 7) :-vy = -ej 2 = O> - Eíítemmuces ¿9>2-ii ([‘(u:í) >2¡FXu ¿9w (u:->’) (xm,:o2)dxmdu:->’¡ = ¿33:1 — >¿j/-b 4—f4(:oí :0>2)(F’(:oi) ¿3>t,i ___ If’xm 2 ¿)xi ¡-cmj’b¿3ii, = ¡ Ji0 ¿9x-Á£í ¿3 ¿3w ___ (P(xr)3:2) ¿9:02 ¿3m, (atímd he-unosajil ica(l(i el Le-unaSS)). Lema 94 La a¡>licaciánr (sc, m/í) —* jyb dP(xm coní 5, V’ E C>”((O, a) x (O, 6)) fl {7) aplicacioní bilinreal y conítitíua dc Y’ x V —* IR.. = uij~. = O>, dejine, por conít-ní7¿idad, í¿ría El ID ernostración: Ve-renítis tj nc la aííl caciotí (sc«½)—~ 1111’ ~hT([‘(xm)sc¡r>, )(u:>2)7k(:ou , :n)dxi <1:0>2 — ~(x) 5 c9:¡: ¡ e,,1 ) (£2)ík (:r: :tiu] ~p, 4’ E C~’>7 ((0, a) x (0, 6)) fl {v 01r = >~~ht~a = 0>, detií>’e, p~ í:omit¡títumtia< Y’ —y IR. Apl i caí>’dci el Ccírtulai-ití 9<) y <¡uie 1’ es tui cipem-¿íeloí- ami toa(Iij mí ti t(i se (u)t iei>e que [‘(3:1)5 ¡ rxu ) (:0>2)4(3:1, :02)d:o <1:0>2 — PUÉ 1’ “‘OJO [‘(xi) ¿> Fxm (:n 2)mk( u: u ,> :02) ’, :0>2)( (-v,-ív) —* Jy-b ) (u:2)dxíd:r:2¡ e ¡J y ¡¡y ¡J ini )(x>2)dxmd:o~¡ u ‘Lic £>2)C/3¾CI£>2, —< cmb sc ¡¡vb 7k hv t )d:r:ud:r:>2I.I 8<> Gapít:irlo 2. Enctorizaciónde u ¡u ¡í¡-otm/=r>’ja el/ji tic(>. Fi mia>lIuieuit(=,íidmu la Pucmpcísim:it’mmí 62 y el Coi-cilai-io ti. 1’ <:9sc¡ jj/ (xu - :r 2)(f (:01 )>1kJFxm )(:v2)d:ouCLO2J = ¡ tu ¿):í:m I tL/b ¿9 - sc(x :02)—cf—— < P(~01 fU1/2(o1’YXHt/2(uí1’) ¡ < c~ ¡[ sc hv¡¡ 7k ¡y - • .4 Teorema 95 El opeí-adoí-1> es sotaciárí de la cc7tacíorm de ti¡io Ric,-ati { d:ou ¡‘(a) = o ¿9>2 E> 2—1=0 ¿9u:~ en ei.s>iq7Lícnt<¡ setíti’ = 17-1’ d(t ~ ra,- 1’ ¿9 ( P(xí )sc¡m-.-,mi>-m ¿3 (:r>2) it: 2 )V’lm-,,, )(:rt>’)c1:riui:r2 \/ sc,1k E Y’. E 1)eníostración: í:íara> cacía Lp, 4’ E Y’ te-míe-umíos (m>’s¿tmmtio 11.23) tí i te ~‘2-¿7 sc 1’ ¿9 lujo ¿ 9:rí (F(:om)s¡r~, )>‘kdu:i CtE 2 + j/ y~is~,i/)d£uCl:0~ = — 0/JO 1’ <~u u ~ ¡ r-,, ikCi£ u d¡ 2 + JI] [‘(u: i ) ¡ r,,,2 + 0/] >~ rA,,~. ibdu: <1:4:2 (la mdtímii¿t igtua.lclacl la líe-uncíscmbteuu <1cm umsammcl(i el Le-u>’ia 94 y el Ctmrcilai-iti 92). Al mmua por cl Le-miu¿t 9:3 sc ¡ r> 21 ~k<~:~1<1:0>2 sc~k~:í u <í:t2 = + ¡¿¡1’ J’(:rí )(áí:j ir,,2 7kd:C d32 + < 9>27ks u) >2 ~t? t§’: u <1:02 } + SI SI SI (u:2)d:o1<1:1:2 SI J SI 1> (t») ti. SI SI SI SI SI SI SI SI SI ¡y1’ SI SI SI SI 3. ¡Ini a jtstificacióíí cuí la fon-rat¡Jacióní cíe la ect¡acuonde F> y la ecuaciónde o. 87 +{j>j/1’ ¿3 f ~pb ¿9 ¿9 ¿33:1 rá11>, íkdu:uCLE->’ + JoJ0 ¿9:0>2 (102 (t>(:0>’ )V’ ¡Ru ) d:o~ ílx>2 - — fJ P(:om )(—iS-u,~) ¡Ru ViCto1 <1:02 } = O. EsteíCdii] cl tmye la demnostraciomím m5a.i] iltí qtieel segmil]títí t~ru>’] bici eí>tre :orchctcses i í>variai>te- p~tia todci 51 tal timíe ¿35 ¿9>25 t)>2~~ ¿>3:Oí ¿)u:< u t ro se-u>ti ’ es solución de la eeuacóíí tipo Riceati { Cl P f>(a) = O ¿»2 — 1 = O -‘>2 crí el siq7tíerrte.sentido: (Uf 1’ 1 — V~l:o CI:02 = Jimio ¿9:1: u ~>~1’2 ¿9 )d:oí CI:02 Bu:2 V rp E Y, V-1k ¡y 1’ iiJmu¿/u:iB:oi <13:2 Jíu-I mm da: í ¿9:o ) (l:0m2 ¿3:oí ¿3:o Ru )d:ou<1:0>2 V 5, -1k E Y. F>(a) ~ El IDemostración: Es siunílar a la dcl rp 95 (veasela> tícunostracióndel Teorema97). u Teorema 97 [i2((O, a) x (0, 6)), la funciótí r = r~ definida arriba verifica la cc7ta>czoIí u ¿97- — 1>— = r>1{ Joí 7(41) = O + 111’ ¿9 ¡ -. ¿35 Li) — ¡u’> Í»(a) ti. y también EV. +0/7 ¿3 ¿3:0>2 ¿>3 ¿3:0>2 CaptÉmilo 2. Pactorizaeiori (le t a pro1>/enía elíptico. ¿97-j i ‘1 (1’ (u: m ) 7k ¡ Frm ) <1:0 i¿3:1:2 ¿3:0>2 [‘(u:i )J~¡Fum 1k2 = Li) V-~b E Y’ IU¡b ehj $ji( - cu.imi ¿3:4:2 ¿9:02 a 1’ ¿97-j ¿3½ ~>. + .IIo ¿):rm ¿):om -ILE r(Cr) = O. Demostración: [‘amacatía1 E ¡<>2((O, a) x (0. 6)) existeSí E V y 5>2 E Y tal qmie ¿9scí ¿9>25 _ +2=! 0>252 ¿>252 = _______ + ¿9:4 Eíítouíces, sí segmi mutis los mii ismnosíi¿tstís<¡míe e-mí laclemuiostr¿tcióui’rt 95 tmliteneí>’icís l¿t cleui>’<ístu¿teíóui’ (1:4:2 .4 Alicima, Si fi C Y es ha te-5 It It ¿t’ = O) y 4 = ______ ¿)u:m .4 teiieii>’tise->l 5 i~>u u íeui te ¿ 9>’íTeorema 98 4 ¿3u:i es solucior, (leí íi7~ible>4tCl ¿94 { en cisiqu¿ente serm tído ¡-“¡1’ 4 ¿9y d:4:m dx->’ + Jo-lo ¿9£ u ¿9>2 ¿3:4 — .1 4(0) = —yo Existe Ji E Y tal que 4 = ¿Li: 0sc d¡r(¡.Ú = ¿9:0-)¿9u:2 88 eir eisíq-uíeti te sentido: .4 0/lib ‘-O’-) = O. .4 y también .4 .4 .4 I:i(¡. ~ 0½d:om Ci:0~ = O VV’ E Y ¿Li: El y .4 .4 .4 .4 .4 .4 .4 .4 y -se c74>trtple que .4 0/3; .4 .4 .4 .3. U;> a> justífi<:ación en Ja Ibrrri u ¡ación> ele la ecuaeu5n ele 1’ Y /a cetuacior? Hm12(Ob)*xHm/2(ob) Demostración: Es cdmí>sccuíenciade la. elcflnicióu] de soluciót> cíe ([‘o) y los restiltaticístic las secciomíes previas, ti satític> ej tic y ¡e,,, P(:o í)4 ¡ ix, + ½- u nicm cotíciusíoui , p(idI e-unosexptií>e-r el sigu i e-tite restí1 tado: Teorema 99 La solucion del Problema (‘P0) (en el caso y71 0) está mtnniocairtentede— terminada pOr las soLuciones (en el sentido de los Teoremas=3(1, .07 y OS) del sistema Cíesa.copIado (¡1.24) dI Cjl:fl ) ¿->7- B:í:u — J 2 —1 = O ¿33: ~ ¿9>2r—Fi =¡~>j ¿9>4-2>2 ¿92~. P4=—f— 4(0) = —yo = [i(o)4¡r +7’JIF~rm El Observación 100 ITíotíeu>ícms dt=relieve que e-ii el Tetire-íiia 99 t>’o deciuntis tiatía soL re- la mio-mci , r~ y 4, sí m]o sobrela unicidadde la fmmí>ci<5n y ¡ F>, = > P(:í: m 41rcu + ¡ r>,,~ p¿ira te>, rj , 4) solucion to, lior tun cidad cítai>’] cís ¡ior 1 a> 1 a cxpresiomi + ¿2) CL0~ ’(:ou)4¡r,, ~oxí ¿-3 + (P(xu)4¡r,, V sc E X0. El F(a)=O 7(0.) = O ¿94 ¿3:o u C9>2 r¡í>edía>; í te la e3:pre-sión f ‘ro— ¿9>’-~ ¿sc ¿):o>’ ¿9:oi ¿35 ¿93:2 + c>r1 Ctp”\ d:ojd:o~ ¿)x2Ox2) Cap/tmí/o 2. Factorízac¡or¡ (le ti ni pr-o/fieraa cliptic:cí. ¿94 ¿9~ ¿9r~ ¿95 j ¡ +9 ¿):ou ¿9:í:u Fsm ¿9 + ¿9:o~ (P(u:i)4¡r> ¿3~ ¿)7j ¿95) i + ¡ ci:rudu:->’. ¿9:0>2 6:0>2 ¿33:2/ A<¡mií pdii]e-uiIOS che- i-e-lícve- ’e todos leis tei-imíii>’os che-íítm<í rm ¿3m:>’ ¿95 ¿9rj ¿3p + ¿):ru Ox +jsc < f/uí, 5 ¡Fc >9’ /2(01’) * 9~ /2 (lib) —~ ¿3y “~ <1:01<1:02 ¿9:r:í) 5’ ~i<,r 1 cís ‘T oretui ¿is 96 y 97, ¿3 ¿90 C9 ) ( ¿3:1:2 P(:ri) Fxu ) ¿34 05 + P(x>’)—i-—-——¡r ¿9:m: u + Íi( :4: m ) u i>xm ¿95 ¿9í~ ¿3 ( J>’(:u: ¿3xi — ¿):o¿ ¿102 ¿92: ¡ KL,) + sc — < Jio, Lp ¡ 1>-o >91/2(0,6) * x lo i /2(01’)) Ci:t m tía: 2 - Ahí tira, m:tíulíe’ ( [‘(:0 u ) ~- mx,) (:0>2) E Xv (ve-ase- eh Le- i>’>’ a SP), pem’ ti 1 izar la. fui mí cíomm 1» (:oí ) j~, ¡ ~,)(:02) como ftincióii te-st e-mi el le e-tu 98. Atie-mí] ás m íti Ii zai>’]tms t~ mmc 1> es mmi] ope-ra.(~lor ami ttmacljmít>’to - De esteniodo,( ¿9( 4¿3:ou~ 1 ~ u¿3£ u -c ytm, P(O)—>--——¡r, > ñ~ /2(uíty fl~ /2(01’) + ~ ó >9p(ím,1’)á x 9’ /2 (tmb)) du: í <1:1:2 - E~ríalnucri te. su ti saínos la fótímínla de (líe-crí, obte-newos que jjíb ([sc— < 3/o, sc¡r 0 >lo¡2(oÁÓ*xlou/2ym,o) (¡ru <1:02, ití :mi¿tl i miípl i ca. (ve-asela. Defi>’] n:iótí 63 teiíiemutlo en citetita <¡tic Y» es utíí suibctmmijmí tito ’ cíe (Pum) y cciii cl u u ye la. ti emtmst raci<; í> tic] le-tiremí] ¿ 4 Problema de control optimal asociado a la ecuación u de Riccati de £2 y a la ecuación de w. Eíu esta se<::ióti miícisl:m-aí-emiieís <¡mie la. aliau-íu:ió>’m cíe u mmí¿t ecu>’au:ióíi tiptí Itic(:¿ítí ( las u:uia.ies smiu-gen, misualm>’>’emml:e, u:oriicm las ecuiaciouiesasociadase-mi Itis ymrciblcmasdic cotitiol optí mii¿mj 90 SI ¿35 dx SI SI SI SI 1 = pt1’ ( SI SI SI SI SI ¿94 Fr’ SI SI SI SI SI SI SI SI SI 4. F>re~bJerua (le control optnnal asocníc/o. 91 ve-ase-cg. la Secciói> 4 <íd Capítulei III tic Lioí>s [40]) no es jior (:asmíahída1. [‘ara elící i]l cistra>remi>’tms la> relaciom>’ e-i>’tre i>nestrcí íiroblerí>’a y ni>’ pu-tibien) a. tic (:oi]trtil tijitirnal - Comncí l>e-t>’]os he-che>la j tmstiHca.cioum (le las ccmiacioí>e-s’>’tms el cm¡i cratior Q y la fuiií ci cmi -w dcfi iii cítís e-i> la Scccióu] 2.2 y cdiii f/ 0 O (¡or simíílicitlatl). Recdi r(:l cii>’ tis el p Idi 1?)1 e-viia.: ¿9~>2y ¿3>2y — ¿3x~ = e-u> (O, a) >< (0, 6) (Pa) - yj,>- = = O, f/ir~ = y,.- - ¿9xu Fi¿u>m.a> tcítlcí y E U = ¡<>2 ((0,a) x (0,b)) (espaciodc (:cmu]troles) cle-mítmtaí>’>’cms i p~ vh) E 1-1 (0, CL; ¡<>2(0,1>)) a la. solmiciól] ele { — = 7>’ Ci] (O,a) x (0,6) y(a)y Taviibidi cheí>’tmtamtis 1I~á = {v E U y(o) E X,fi, } al e-spacíe) 2(0,a; 1-14 (0,6)) 0 H’(0,a; ¡<>2(0,6)): h¡F,, = yj. El estaelcí2 zd (~j— 1f E ¡<>2(O,a; 11>2(0,6) fl 11¿(0,b))c ¡<>2(O,a; 1-14(0,14). ¿9:4 13 mm 5c¿i>t]]os-a E U,,,, t al <~ míe -1(u) = mf .1(v), VCUúd cícítí cíe, para ttn ití ti E l4’,~,, .1(v) = ¡ ¡ Ji(V) — Zd ¡¡ L> (O,cgH¿(0,1’)) + ¡ ¡ ¡ ¡ L2 ((Oc.)x (Ob)) — ¡U ¡¡ ¿)f/(li) ¿3za I¡L2(Obí (bOu + ¡f v>2du: 1 <1:02. - ¿3:02 ¿9x>2 ‘‘‘ 1040 Em este ji miii ttm iu os ci] cou trau>’ os cotí el prtmii 1cunati eqne U71>, í>’tm es ni>’ su>’ bctmí>’j um u to cerradci che- ¡<>2 ((0, CL) x (O, 6)) y por tamíto viti ¡íocle-mnos uísar di rectanie-mitelas te-cuicasclasicas’]¿u>l (vease-,pemí- eje-mu ib, el Caíiítimltm 1 dc Liomís [40]) ¡mama u-e-solvei este-hiu(iiiiem>’ia. ¿3 Ir Si ti eumili ¿trgo, Ctiuíí o U,, ¿={.3 :f/EX~,}, TJ(I>.) =¡í lo — z>, 11s2(i>m,<¡;H¿(o,b)) + fi [~2 ¿96 Oz,, = Jo ¿9:o~ — ¿9:02 ¡¡L2(O,1’> Cí:0>’ + ¿314 ¡¡2 ¡ ¡>2du:id:o-2. SI SIAhora, X>’5, es u iu 1 cOiij mmm It(i COmí ve-No y cerrati(í e-mi el e-síía:icí ele- Liii h~e-rt ¡<>2(0, a; 114 (tI. Ii)) Vi JI (0, CL~ ¡<2(0,6)) s’ J(It) 1/2 es u>’ uía ííom-u>’ía equmi valemite a. la tísmíal cíe ¡<>2(0, a; 1/4 (0,¿í) ) Vi 11 1(t). a; ¡<>2(0, 6)). Er>’tori ces (ve-ase.ptir ejem>iplo, el Tetireimia 13 dcl Capítuilo 1 ’ cití J(y) = itíf 7(h). SI c~u me está mí ma i\’o(:ai]iei] te (~icte-ru>í i í>acicí jior 17’(y)(lo — y) = O V lo E X~<,, SI SI 1 o :mi al es et¡u i val e-mi tea (11.25) J’(y)(lo) = O V 6 E X 0(>2) [)e- eSte mii tícítí. o=zjJ ¿9:0>2 ¿9z, ¿)/t ____ + SI Jo~IO ¿9a: m B:u:í = ¡~ ¿)>2y ~ 1~ >11—1(0 1’)xJfi(0 1’) ~1 + j ~ ffr:ido~ V It E x’o. SI ¿9:4 - 1’tír t:a.ntci, si t(iui] afliOS 1>- E T>( (O, a) x (O. 6)), cietimíci m tíos cii >L~ ‘((0 a) x (ti it)) x -n( (O,a) x (mi 1’) ) O Vlt E V((O. a) x (ti, tu)) 5’ ¡iii r tanto, — ¿3>2:mí ¿9ti __ __ =1¿3:r1 ¿3:r~ e-u] seu]l:itio í~le thístuíbucitimme-s. SI 2 Ite-corciamímos (vease¡a I9e¡im>iciómi 63) que2(0, o; J~u~ (0, b)) fl ti (0. <4; L>2(0, ti) : = 0}. SI SI SI SI SI J (u) = mf .1(v) = ini vet4,, SI SI SI SI ¿/>2,>’ ¿Yy ¿9:rj? ¿9:r.3 SI SI 4. Pre>’lílerna de controJ opt-irnal asociado. 93 jiCi(i. ctiii]ti J E ¡<>2((O,a) x (O, b)), tie-diucii]íos qmie y E Y(1) A lií:ura iii troduieii>’ios el estadoaeljuíiíto p ciado por { ¿-3p ji(0) = O. ¿92 y —¿3xí ¿3:4 en (O,a) x (0,6) Bu tcí muces, coníti — ~ — .1- c ¡<>2(0,a; /1—1(0,6)), sabeí>’>’os (ve-asecl F 1 .2 ’ás, como y E: Y>’, tamlibiei] cíe-elmí ci i>’i os ¿37> <¡míe —r--—- E ¡<>2(0,6; 11—m (O CL)) y por tamito, y E ¡<>2((0, a) x (0,6)). A Ii tira, ¡nra cacía> It E Xm> sc tic tic ¡ míe .fU — ~ — [lo > u dr — 1 ~- , H— (O,it)xH¿(0,b) --u 6- >H—m(O,b)xII¿(o,b) ¿9xu - 0/g b 7> dx>’ adí mii Ii ei>’>’tms um s¿itlo la ~iop(is i ciói> 62). De estemííei tít>, lidír la ccím u chciúii de ti ¡it i ui] ah ) d:r:>’dx2 = O¿ 9:ou ¿3:o>’ V lo E Xo. ltiitomices (ve-ase,por ejempítí, ch Capíttulcí IX dc Brezis [1:3]) —y + ~ E ¡<(0 a; ¡<2(0,6)) ¿3x~ ¿3-11 — —p ¿9 G C([O, a]; ¡<>2(0,6)) ¿9 Uy ¿>xm (—u> + dx) O- De est;e iste -(:0>2) E ¡<>2(0,6) tal tílie- (—y + itt) IL = c(:o 2) parau]iOtlO. ex ~. e ¿):oí A cícííías,~i~ií (11.26),demlui(:immí(is <¡míe Ji t(itla. .~ E [O,a] - y it E X1> y iior ta.mittm C:(x2) = 0. Por tar>’to liemos (ibtetuid(i el sistei>’>’a cíe opt ii>’aiiclad ¿9>2 u — >2—f fi((L) = Ji,, y(O) = O, <¡míe ti e-mme ei sis te-mu a ’ e-cuíaciórí ’] a. de ecuaciou>e-s tic Q y it de la 5ecciotí 2.2. S Ú(:02)lt¡1. (:o2)d:r2 O >‘ Rccomclaíumos (veasela Obscrvacim5ií65) que Y = { mí E Xo : Av E L>2 ((O. m) x (O, ti)) } - 94 Ca¡iít u/o 2. Factor-¡z¿íciónde u rm prob/erría el/ji tico. 5 Relación entre factorización en el caso continuo y factorización en el caso discreto. Lii est’>’it’ios qui e- cl mí métotícm cíe- Í=tct(iFi Z au:í ó í>’ (cciii la ectia.:íóvi tipo ITt ccati de 9v la ecuia.cmoumd~ uy) ajihícaí~ltm al sisteííí¿ílineal resíult:auíteccimmclmice a nuia factom-izacióui LII ~mum bltiquc. (14 <1 tutu iciotí y í>’>’ás ’iat:i-ízes, se ¡muí uN mm ver. í~ cii e-J( mííímlcí, en Ciai-let [¡4]) m ~t(lom (le L¿m>í~lace soli re uní (Li ciii iii> icí u-ectatígui 1am- ( ~:tiii5 tu mti íemmi tís esta mii al: í í z mí 1 Se-cci ómi 5 1 pci (i tít ros cletalles sc pmiecíe- ti cmi cciii t rar cii 1 ¿~s 5cccioíl es ~3.1 y 3.2 cíe ( íaí íd [¡4]). 5.1 Discretización en diferencias finitas del Problema ($1). Smihi(ii mciii os 1, Jíi e -Jia5ií Itcie-mi te-mu e-ti te regmul¿miesíiara ~ y C e:>’ ((O, CL) x (0,1>)) 5’ pti’] tiS oiil:euie-i- <:oumvct-gci](:ia. cíe la diis(:rcl:iza<;ioii lia.(:ia la> solmicion- Dacítí ui II ente-idi N > O (:tmuisidle-m-a.t>iciscl síguiemitemallacití: rl?oi>’iauí>eís iii uííisíuícm jiaso It = ____ A’ + >2 iaí¿t las cicis (:oomdietiada>s u: í ~>2 y (dci ti tu: ji está ’ uo cl ni ¿¡ximo e-umtci-o j> > O tal titie (p — 1) It 6). Acíemuí ás, :omii o ¡u ar¿t I:o dei :1 c { 0, - . - , y los ¡i uí>ttms aol estái m fmn~.ra del U ciii>’ i ¡mit> (O, a) x (0,6), ¿nia.( Ii i>i05 Icis uítmclos = (0,/lo){ (0, 6) sí-; E {O,..,p— i~ si-j=p ( ve-ase 1 a. Pigtí r¿t 2). Alior¿t, sí rE -{l, .-. ,iV— l} y -/ e { 1, > — 1 f- por la. fóumíítíla cíe Ta.y¡(ir, y(ai,j+t) = ií(a¿ú)+ lt _____ 14>2 ¿9>2y _____ (al,;;) + 2 ¿9:4 fi(<~i,h. 1) = f/ (as;) — lí (2 Acleíiiás,si ,E {2,..,N— ½yjE {l..,p— i} 111,1 E [a;,g,a¿g+ 1>>’ C3>’7,’ + (1 C)f>’ Ii (>>i~ lo-4 2~— (a~ ) + ¡2 ~>2~>i ,j/} f/k<>’mu} + ¿3i:>’ ~ 2 ¿3:r>2 (CI;;) 14->’ ¿937 / + — - (<í 1,1) 6 ¿9x? í~.; E [a;,;, <4i+i,í], SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI 5. UcIac¡on e-ru ti-e factor4zaciór, e-ni el caso cori Uní tío y e-ru el casodiscre-te>. 95 i=2 t=3 í = 1/2 Figura 2: Mallado 2 ¿iYy Y¿9x>f(al,g) t>3 ¿9:3~ _____ (C1~,>v) ysi í= 1 y(a 22) = JiÓLu,j) + it ~ (<¿u,i) ¿3:o u lo>2 ¿3>2y 6:3 ¿9:3>~~ + fl¿9x?Yli>) ir>yíu(au1-~,5) = —lo (au¡~j) = —it-1’---- (aij)+—L— —t(au,s) ¿3x1 (£m 2 ¿3x~ ir ¿0~ 8 >~y~j(cuá) [)e-este mnotio. si i E {2 A T — l~y-; E {i,~.,p—1}, = ~ (4fí(a~ú) — ri(a~~u,s) — fi(, /‘>- — >—-,,~(,,.,-\ - = 1 1— (3y(ai !/~ —-fi(<12,i) — 1>JUk~m/Z,3/ Se-ii alairícis t¡ míe- ¡íar¿t cl castí i = iV y j E { 1, - - - , — 1 } tetienios qtie, liama el (:astm i E -(1, - - - , p — 11 y :¡ E -(0, p ~, y (a1,g) = 0. II sa-reinosla. sigmíieií te not:a~:ioi>’ y(a1) = Ji(<¿II) y(a¿,0m) E IRPi, Ji(CL) = y (Ch) y( 0.N— ejíme y(a~;)j= y~(aN, 3) y E IR(Nm)(rfm) :0>2 6j=p :1=1--- -L —O i=1 :i:í .4 (apítu/ti 2. Ñí: tcír-izaciórm cíe u rm jír-obleruía clipFic:o.1)6 —I 0 —l 2 2 E .A4(p~mfr(p~u)(/R) E JV(p~i)x(r’~u)(IR). Fmi t(iii(:cs - M ll¿m¡íí ¿otitis Rí = 1 — 11>2 y BI = 2! — lo>2Vk ¡mara i = 2. - A’ — ¡ , teimeimucis míe A,,y( es la mii atmiz trichí¿u-goui¿tl j)tii lilOqiie-5 ut/=~ > lo>2 ( —I —J i3~ —1 O —1 ti —I BNí )1 E,, es el vector = Fi — u + -[->2 —i >~ o,(a » (>2 Cdiii IGt1,1) EIRPm VíE{l,..N—l}, fi \7>2 ir>2 2 —l —j 2 ti .4 .4 .4 Y fi 1 0 01 (ji (ji 1= .4 (ji ti SI .4 ti 1) SI .4 SI SI E it4(N~m)(p~¡W(N—m)(v—i)( ~-) SI SI c SI .4 ~[/= SI u ) .4 SI SI .4 5. Uelacióuí en ti-e Iacton-¡zacíonen el casoconUn izo en el caso discreto. 97 Jío Vi /2,1) ~ío(aí¡2)= Jia(<¡Nm ) E ff?~~í e y,,(aAr) = E ff>’>P-m -fi71 (aN,~— u) O liservese <¡míe, sí y E C 4 ((0, a) x (O, b)) y m>’saunos este hiechi(i al aíí í i caí- la fóriii tila cíe- Tay1 cs (jj míe Aay(a) = E 1, + o(lo>2) (estose puietIe ver, jicír ejempítí,en la Sección:3.2 ) del PF(ibieu>’ía (P~ ctmiisiste e-u] íj~u>m ccimi 1; m ¿mí E hJ?(N—u)(P—u) A¡.yr, = P12. La cci ti vem-geti cia. de f/¡, hacía y (por ejemplo, si y C C 4 ((ti, a) 41, ..., N — 1 [ y j E -(1, -~p— 1> se- tieí>e que ¡¡ y,~(a~, 1)— y(a¿¿) x (0,6)), pára tOti(i E ¡~= o(lt>2)) ¿e- jjruetle- ver, cír ejciii 1~rlci, en Col1 a.tz [15], Forsydi e—Wasow [:30], Nl i k 1>’ lii>— 5moIi tsky [48], Ui arle-t[14], 5.2 El método de factorización aplicado al sistema lineal (P,4). mii mutis el vecttii- y1 41+1/2 = fMi E 11C>’ í= ¡ y cl vcctcír 4~ /2 = —Jio(aJ12- L)e uníamanerasií>í i lar a la se-guitía e-nla Sección2.2, para tocící i~ E 41, - - - , N — ¡ — 1) itír lío — lo y,> = y1 YN-¡ t ti>l ) Vj’10 E 98 (>aiíttilo 2. Eaetoz-izac:iórm e/e un ¡irolile- ti> a e/y>Lico. ~0 1~ fi Y 9%-u -‘fijo ~2 ( u’- ti Yip + /22 2 fi vi —I —i B2 O Y —1 o - —1 —i ‘lo-—i —1 O 1) 1 ~Y1o- >7~~ + 1 —u 1 ti ‘~ o 2 sí ‘u> E 42 PV — 1 } y eqtiiva.iente-a 9? = 5í ‘-cm 1. ‘I%mmíjuii~~mm clí:Iiuiimiitis, pat-atodicí ío E 41, ¡\‘ — 1 } , el vector ~ /2 E II?/>>m meir “‘io+i/>2 — ihí cítiunle Ik+ u es Lt :iimmi jicuime-míte (ímu + 1) del vectcmi 11= 1 si -j 1k — O K 0i 0+i ) SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI SI 5. Relación entre factorizaci&u crí el casocontirí uoven el caso discreto. 99 El vector 7) leí E 4 2, - - - , N — 1 }, c¡ ute es equmi valei>te- a. it>2 (Bu N—L —IB2—! O 1 O —1 B~0~ Y O —J —I -u 1> u’- y ccíuíícm 1 a sdilti(:ióui 2 B~O = fu + YímYLi/>2 ) 1~~ lo>2 íi¿u-m-a el m:aso r.0 = 1, 1cm cual imíí p 1 i ca —lo>2 fmi Se-iialam>iosmíe el vcct(ir = fi >7m + Pu >71~—í + Pi 0m Y “í1,+i + P~0+u —u 2 E ff?(I0+I)(Pm) es scíl miciótí ele ) >7u + Pi >71,—i + 0i 0—u fi J~ + J2 Pi0 — O ) fm-o—m + /22Y fj~ fi “u vo(’•m¡2 ) .1-2 -‘-lo 1~10— lb + 1 Y fi B1 —I —f Li) lo>2 N fi (j) J~m + 2 —1 =1 —I ‘Rl, Yip+’ +í 3i,+ , ¡>2 ¡u” >7io ) ) 100 ()a¡iít u lo 2. Pattorización de mini ¡írouílerna el!;’ ti :0. [)e este iticítlo, te-tie-iuios que- ~1+u/2 = (21fi1 + w/+í¡>2 ikhicii-¿t, (:c>tuici fíím es sOlmiciói] tIc (Ph), te-ncuiicis <¡ute Vi c -(1, y — ¡ fi1—i + 2fi~ — ií>2Vf 2y~ — fMi = it>2]; SI VEQ2 lo <¡míe i imijil ita. (fin:: 41+i/>2 — 4i—i/2 It — fil—m ) + 1 — rl i1i/2).+ Aclemumas yi — fil—u = loQ 1 u fil— m + itrv; u />2 ‘4 (1 + it91i)(fíi — tu—) = lo91»1y1 + lo7L’i~i/>2. Fít,u ta.i m tcm (11.28) —V) 2tú-—h = ÁQ~ — Q~—u)y~ + QI—u(I + irQ>í) (Q—uy¿ — >1131i/2) para> E (2, — IJ coíí y~ ~arbi trario” - l~iíttmi>’ces. por (is terti>’imicis ititicpeuitlie-mmt:es, obtemieiiitms ej tic { >tL)1÷i/2 — t— i /2 = Q1—u(1 + loQi.í )—i cv1»>’12 — j~j J/o(’/2 ) = — i~> Fm lo(/~ + Ii (¡uu(~ se pite-cíe íe-e-sí:míi~uír couiio ¡u/>2 — < 01-i-u/2 = itt- Vi c {2. .. A’ — 11 si cíefimiimiitis ~ = (1 loQ,( 1 + 69 )—i) AtIe-imiás, pc’r icís térn>’iíicis cíe yp cmi (11.28) cílite-mmemíuos~juue (1129) { 91— Qi—í = Q-—í(’ + lo(<í)—uQ 1, + % >2 1, Víc{2....,N—i[ (11.27) SI SI SI SI 1>2 fi - SI SI SI SI SI SI + ¿y1» u /2) SI SI SI SI SI SI SI SI SI 5. l?el¿u:¡ón en ti-e Iactorizacion en el casocontinuo .v en el caso liscreto. [)e este í mícitití, 51 (3<41iii iritis Qo O y >~~>‘ /2 = — yo(Ct~ /2) obteime-mtis la> ectiacicimí u) { 701+> /2 W1~i /2 It ZUm/2 = —yo(ai¿r) (:hiscreta>ele = —Q~>’(1 + lLQ1~)~uV)1~Í2— fi Vi E {1, ..., AT — I} y la ecuacíói] de [ti cat ti discreta tic Q __________ = Qi—í(I + loQ1»’fíQ1>’ + \-/k,>2 (113(i) { ir- Vi E -(1, - QoE~O. A (1127) í icide-mosanatlir tui i]uuevcm stubínti = Q~y~ + Z171+i/>2 Vi E {0, ., AT — 1>. ALi tira, la e(:mia(:iói] (11.27) es ctjtiivalente a y1-+i — yi = Qt~í~ + 101+1/2 it{ qN = !i,.YLN), tjií e se ji míe-(~l e- te-esci- iii i í ccií>’mcm y~+m — (Jíy~ = hzv1~1p2 Vi E {1, , N — 1 ~ si tletuuuimuíos 14 = ¡ + líQ1. Entoí>ces,si escribi inos estase-cmiaci(it>e-s cíe- y;, y -w ci> forma iii abricial oh te-ii em(is 1 (11:31) >h 7 Teorema101 —1 ¡ = 14112. y’ 1 —UÑm 3 u~ + ¡<1—u = 1 + loQ,+ ¡ — 6>4?1—mCI + 6Q)~~ SI ¡02 Capítulo 2. Factohzaciórmde u a prolileruua e//pI me c> SI 1cm ctual es ec¡tu i valer>’te a SI (¿ + ¡<¿ i = 21 — lo>2V~i ~+ itQ~4 SI —hr>QI(J + liQ~~< (1 + ItQÑ) SI — 21—11>2Vb=B1. Fi mía] mii e-tite, ji cír (11.29),paracl casoí = 1 te-ti e-ut>’tís címíe SI (Ji =I+IiQu=/+(Bm—IÁ~Bv • SI 6 Generalización del dominio (1). Coordenadas con- SI formes. tIc 1:;;:1n:osg - mm eralizar los resu>’ It atitís cíbteiii tíos cmi cl i-ectáuigut lo (((1, a) x (0, 6)) ¿u ‘mt í os SI ifementes. SI 6.1 Definiciones y resultados previos. Definición 102 Sea arr subconj7írito abierto (1(21 plano cotínpíe-/o 07 <‘ dice qn e un Ci SI frrtrción •/- 12 —+ (7’ (25 ltoloJtl>orjCt sí existe SI f’(z) = Iimn 1(z) — 1(a ) pata todo z ~ 12. z — CL SI Definición 103 (Apiicación conforme) Sra Q~ nín¿ subeonyumrl>oabierto de JJf>2 4mode— SI ritos tdcnítijicCtí ffí.>2 con el plano coí;q>le-o) y se~r itria> Jirrící+rí de U crí el píCtnto conupIe-jo - Se dice qite 1 es-aria CtplícCteíolí e:oírjorrn: Sí / (25 unCí furiciáir holoinérfica f/ 1’ (z) # SI patCI todo z E U (aquíz ti + ¿:r~ repi-escrita 7Iti punto del plano eoíitple-p-i ~íf’ re¡>re:s uuta la derivada coro-pAja de f) - SI Definición 104 U u fi ~2 son confoi-rntenterrte eq¡tívaíetlte.Ñ si e:í:ísI-e 71110. Cípticacioti cotr— for’rnc biyect>iva de U~ sobie (2>2 - SI Observaci ón 105 Si ¡ es la apI i cacitít>’ u:o tifo r inc lii veí:tiva u>’í encioti atIa e-ti la 15eViii i (u ti SI1(14, eumtoiíces(ve-ase,por eje-t>ujiltí, eí le-nt-e-muía lOfl (le Rtudii>’ [52]) /—~ es lucmltmiiiórfiea e-mm U- 2 y pti F t atíte es mimía- apii cació ti u:omiftír ni e ~leU2 sc>bre 1fl - SI SI 6. (enera/izaciórí del dominio (1,). Coorelenadasconforniues. 10:3 Definición 106 Se dice que dos reqionesUí y (22 son fuerte7neííte coriformemeiit-e equi— valeuitessi existeuna apticacion conformebipectiva1 deQí sobre Q-~ tal que f(Uu ) = dondeU~ y U2 sonsubeonjuntosabiertos de &2 tales que ~ G U1 y fl>2 C U2. tema 107 S’aponqaíríos-que .f(xí + íx2) = y(xu, x2) + i#(xi, x-2) es unafunción compleja enU ecií cp fí 7/) funciones -eales difez-eneiablc.scrí U. Entoncesf es holoniórjíca en U -si y solo sí se satísfacetílas ecuacioo-es de ()aucloy—Ijiemarín = 2,1%,{ 2: = V’xm para cada z = :oí + ix-2 c U (los subíndices:ou y :o denotan la derivada parcial con respecto:0 y :0>2) - Además,si 1 es holomorjica, entotíee-sp y ~ son armorííeas(es decir. ásc=Am/)=0). El Demostración: Veaí>selos Teoreumías11.2 y 11 A de Rtu) híserve-seejmíe las ecmiaci<íííesde Camíchiy—Riemiia.tíí> i m>i~iiican d~ne sc y ¼Son ttíinaremosU ftiertemeiitecciiiforincíneiíte e-<¡mi vaiei>te al m-ectáimgul(i ((O, a) x (0, 6)) Se-a~(x í ,:o>2) + ji’ (:o mu :02) la corres1i buíi]eal confciríime eí>tíe- umíí coi]j mimíto abierto ~>‘ D 9 y otrcí coi>’jiii>ttm abicuto i ((Li). a) x (0,6)) y sean A. B, 0, 1) Itís pu>’íítos dc U daticís lior { (sc(A),í/4A)) = (0,0) (sc(B).t/4B))= (0,6) (sc(O), 7/3(0)) = (a,6) (sc(D) ít(D)) = (a, 0) Enttinces, la apIi cacíót> es couno ci>’ la Figí>’ra ~3e cieí>’t iii cauimtís cmmal<¡uier ji mí í>’ttm E tie-vas coortle-imatlas (cp(E) ,7/J(P))- Vcaiiios m>’íí ejen>’íilo cíe elemí»i nio tIc este-ti jio. >2Ejemplo 109 ¡odcrnos tOhitCl>t como <¿bfrr7tú 12 C:ualq-aic-r parte del plano con (0, 0) 4 U definida por >2 — :4 E (k~ , k2) 2:0u3;2 E (¿u,12). Entonces,st sc(:ou:o>2) >2 ,2J , = :O~ ~ 1 V>’(oi, oz) = 2:ou:02 —Ii Gaplt; milo 2. Lic: tor-izachiru de u ¡u proLíen>a eU¡jm tito. B 5 A U (5,7») (0, 6) IT) (eti te eq tu vale-míte a (0, a) x (O, ti) - (vease la /íq7Lia 4»). { (#xi, 3:i),>ib(xi, :o-=)): (:ru, :r-~) E 9} = (0~ “2> it1) x (0,12 — u) 6.2 Formulación del problema. [)e niia un¿mimet¿m síuímilai- a. lo hie(:hio cotí el recta>iígtilo, fiemo ahora cuí mii> cicíí>’íí muití del ti fue> clcscrítcm e-ti cst;t se(:(:ucimm quicI-e-utios fat;tom-izau el sigil ieuite- jiroiilemíu¿c: (T’o) B>2>’~ — x>2 =f ¿9:02 cuí = O = fío, U = y71 tlcím í cíe al>’tmra y re-lime-se-mita ci vector nori>’] al ext<>,míor e-ti la fmtíui te-ra, >í’, es 5u>’tu cíentcuii e-títe i-egmíla.m- (y ¡mcii- ta.iitcm lo li(itlFct>ios t:tmmlsidleuMi>r (:(iuim(i :ei- E ftu/>2( F~u>)~- litír otra parte-, para. E -{ 1, 2 teuie-iimos q tic ¿9y ¿3y ¿95 Buí ¿9>’/) ¿9:01 — ¿95¿9:i:¿ Bu» ¿92:1 j04 SI SI SI SI SI SI (0,0) obtene/nos- C/7L(2 SI SI SI 3 SI SI SI SI SI SI SI SI SI SI 6. úeríera¡izac¡&u (leí dominio (~. Coordenadasconfon-mes. 105 2 — x~ = lo- 1 — x~ = lo-2 ~>iu:O2= 1>2 =11 Pigtíra4: U geríem-adopor la fu míción Imolomorlica> f(z) = z 2 cmi el planocotííplejo. y B>2y ¿9:o-~(1132) ¿3>2~í ¿9~ ~ ¿9% ¿3< ¿9>’ » —-t( )+2 ¿9< ¿ix- Bsc¿9i’ ¿9x 1 ¿3:o-f~ ~>2< + ~»2~ ¿9’» 2 ¿3y__ __ 1± — C)Lp t9x? Bí/f ¿9x1 ¿9>’» ¿9>2V’ átleu>’ias. sí A = +./( ~sc V’ ¿9:o ¿9:4:2 (elegiunos eí sigi>’tm + o — paraobte-iier el seutitící exterior del ve(:tor AVsc) ¿9 íiL¡m~0(:oí , 3:2) = Aí (:01, x2)VyQr>’, :0>2) - s(:oí, :1:2) = A(:r:u ,:0>2) ¿3-’í z(0,7/>’(xi, :0-2)). ~ Dc este-- íi>otio sí escrii~imos Ql ¿3-y »»~¡F (:o>’, :0>2) = —4—(s,>m/,(:oi>¡:>2) ¿3< ¿9< Vs E [O,a), es e-tI tíj valemite a ¡ F~,bUF«u = O, = >iy0 éiit&iii ces ¿3>2f7 <9:4 ¿9< =1 e-nU = y,, .4 ¡ 06 (Zípítu/o 2. Pat:toriza(:ioru de u ni ¡noble-ru a e/í¡ .4 A ulct>’>’as, ccmuíío existe 5~ > <~2 > O tal tute ~u > ¡Á(:ou , :v-~) ¡ > ti-~ para tocící (xm ,:o-~) E 1 tietluim:iuuios (vcase-(Irisvai-ci[34], págimía 21) <¡míe las a>jili<:a(:ioiie-s7> —+ Ar y 7> >4 ,\— 7> .4 scíí>’>’círti síu]cís coím1; mmm ucís ele- 77i ¡>2(0, 6) - Definición 110 [‘ana cada s E [0, a) y lo E 11i /2(0 b)* dejí ti-mas- I~i(s)lo = jr~. , dotidt .4 >7 es la soí7Lc>¡Cin dc ¿3>2>7 ¿9>2>7 — ¿9:r>f ¿9~:~O en ¡IFÚ~>UF<~O = O, >7¡r.,_ = 0 .4 ¿9>7 = lo, .4 ~j 95 es el subeoríjunto de U <-lado po~- sc c (~, a) y 7/) E (0, 6). Tarnbié$í CielprIzntC>.s->r( s) = p ¡ r___ donde/3 es la soinciónu de .4 ¿9>2/3 ¿32/3 j crí u. ¿9:í:f ¿9~2 .4->2 UP,p0 0~ P¡r9__ = O ¿9/3 F~. =0. .4 Títralntente dejin irnos E’ (et) O y (a) = 0. Observación 111 Paracatía.s E [0, o], ci ojíeratícir [‘(s) : Hu/>2(r~5)* ~ W/>2( r~ .4 u m caí y t- s) E H ¡>2 ( F~. ) - A cle-u>’ías, la> stmltuciOti Ji cíe (P~í) estácau-acte-ri zatIa pcir ¿9 u’, (113:3) y¡r4~, = [‘(s)je- + t(s). ¿9< .4liii re¿tlicia4 jji/>2QJ 6) y o(s) E flm/>2(í) 6) si mitilizamuitís la ccmcim-dcí 1 ‘/3. .4 6.3 Cálculo formal. ¿ti-a 1>um sc:am- las et: mu ¿mx:i titíes ’aí:e-uím (jis los si guu í etite-sc:¿iIeuulos ~í re u II saiitio (11.33) de-ch u:iune,s <¡míe Ql = <¡<~‘ ~ + E’(s) ¿9% + ¡ F9~ F, —(s)——¡r F .4 .4 6. (hineralizacióii del (lolfl¡niio (1) - Ccíordenadasconfo¡-rn es. 107 ¡\l>’ciua sí ;r>= ínsaimtic> a las u]uevas coordenadascii la e(:míacióí>lemaobtenemos(ve-ase(II .32)) ¿IP-tj ¿9»2y ¿94 J-í:~ __ +±2 Bx1 ¿3~ ¿3m» ¿9:02 ¿9x-2) B>2y ¿3scB-V’ (¿9>2sc + IT)e este-unocio, misantítí el Lema.107, se tietie que- >2 ¿35>2 2tiPy __ —It yIP4=6u~=0 = 0, ylF~=~ = O = AlíO. ¿95 ci> (O,a) x (0,6) dI:~ ¿)li - ¡ 1’ ( s) Ir J?i(s)(P)>2 —i-(-s) A1 Br + y, ceím>icí y es arbitrario, obtemíeniosla ectmacioi>’ de tipo Riccati para 1> y la. ecu>’ai:í mí para 1 1 1 2 ~ — ¡ = O ¿3h42 ¡ja) = O ¿3?- ft¿21. A ¿9>f>2 — [‘({)>2f = o r(a)=O. Adciii ás,si Ji es la solucióíí tic (Pum) (ccii>’ Jía = O), euítotR:es4 = ‘ti U ¿3>2+( )>2 > P4= A ¿3i’>2 en (ti, a) x (Li), 6) 4(0) = —A~ 1yo. (¿9V ’ ¿3:0>2 — ~~0y 2¿9>2y u— ¿3sc ¿911,2 B>2~ ¿)y ( ¿9>2V ’ ¿3>2-u» ¿3:íl) C)y ¿9-mf Euitouices Ay li’9 ¿95 ¿94 1 1 (Y] —A es scmI Ii ciótí de (f%2 ¿3>2 > Br SI 108 ~le u ni pI(iblerfl a clip Ñw Cciumící :cíuí<:l misión ¡icicleutios exp) está deterrain<-¡da po¡ el sístentadesacoplado J — p(%>2 ~>2 1’— í = o A ¿11:>2 P(a) = O SI Br- — ~ /3(1)21 t-(Ct) = o SI A A - ¿9~ > ¿9V’>2 — ___ ___ + (/1)2 ~ /34 ~(i)>2J- (/1)2 ~>~2 ~(0) — —A—1 SI arí le = P(s)4¡ + ~-(s). El SI 7 Generalización del dominio (II). Coordenadas or- SI togonales. El la Secciómí6 hícm>ícísgetie-malízacioel t;iptí cíe tlcmííiimíicí a ti-aves tic íímm¿ts ccucmm-cleiia.tI;i>s i>’imiv SI e-stri ct i vas (ve-aselas coi>chici címíes ’ ctu iii;> 1 ir e-tu el Le-tu a ¡ 07). SIBu est:a secciómí ií>’tí-cmcl ui(:ire-miuos ujuias coordenadasiiienos restríctivas, 1cm :miaí es iuiejcii tíescle el ptuíítcí tic vista del tlcíuííimcm líeto gem>’e-rara mii>as eu:tia(:udimicvs ¡iat-a 1’ ~‘ 7 li u nias cciii>’ ph (;a.(~la.5- j 7.1 Hipótesis sobre el dominio. SI Usame-imícisctioi-2 tleíímmitlass<íbi-e uuíí ccníjuuuittmaj~miertti Q C /fl>2 ~ cotí (:(iu]j u>’ mitos dc mmi vel orttmgoiiales, es mm mttís (:erei. m eV:t: i ¿isí:2 ¿9:n2 SI gradictites thist de E ccmui sitít~í-are-ni(>5 clomii jaicís Q ele-fm uí i tíos a 1 rayes cíe los comj cutos i vel cíe- 5 y cíe u» t¿cíes cimíe>U c - Es ) (si se cmiinplc que U C Q). Veauiios aíguimí cís ejemii plos: SI Ejemplo 113 1) CoordenadasEsféricas. ‘1’ las- coordetradaseiíííídri etas <-ladas :Oí 7 etos SI :02 = e-se-tíO SI SI 7. Gerien-a>Iiza>cióri del dominio (II). Coordenat/asortogonales. ¡09 y U la parte del plano cotí (12 —1>’ < 2<. Enítouíces, coordenadasesfíricas i E (ku, kv) (k~ > O) y { sc(xu,x2) = r(:ou ,:o2) — = 0(3:1, x2) —Ii (veasela iííq>’iiyi 5,). Figura 5: CoordenadasEsféricas. 2,) CoordenadasElípticas. Dada una cotístatíte~ > O arbitraría, toma7t7-o~4 las coorde- nadas elípticas dadas por :oí = eccíslí acos/1 = esimílí as-en/3. Cori estas coon-<-íe,í<-zdasse cumpíe que 2 >2+ x- =1 e>2 coslí a e 2 sinlu>2 a /101 lo que a = au> se correspondecori una e1ípse comí seniie;ese (:osli au> au>. La distancia etítre los focos es 2e. Por otro lado, se cumple que >2 >2 — =1 e2 tos>2 /3 e>2se-n>2/3 por lo que ¡1 = Po se correspondecon dos loípéYbolasconfocos en :r = +c. De este modo las curvas a = consto-rite y fi = co rístaníteson elipsese ILip ir—bolas corifocales. A loora, touutmos el con-pinto U comí coordenadaselípticas a E (A:u , kv) f¡ fi E (lu,t 2) (12 — II < 2w) - Entonces. sc(:oí,32) ev@Ou 00-2) — = / 9(:m:i , :0>2) — 11 O E (lí,l~2) y esinlí { .4 Cap/tirIo 2. Fhctonizaci¿n(le un prci6/caía ¿:~/!ptice. ji al í2 ji .4 .4 a Figmí ra 6: Cotí -¡criadaseIí1íticas- ji .4 a a 7.2 Cálculo Formal. Ahora, bajo es¡:ashiptitesís. el ctiiite-iii(710 cíe la. Secciótí6.2 sigmie sicuicicí valicití \‘ ciliteumemííos de ti u u ~vo (1133). A ci e-uííás, si 5 = Asc s’ ~í= A i’ cl p roble-nia e-mí las uí meyasctmorcle-ti ¿mdas — >7< , 3>2 — 6— ¿3y >‘1— = 1 ~3½ en (O, a) x (0,6) Ji i>bur~>Ó O - y ir __ = Li) —- = A~u yu>. df> ¿3y =-T--~-~~ ¿<=‘ ¿3>2 — A B½>2 — I»( )( ~ ¿97’ ¿>37’ ¿95 ¿9>2 — A Bd’>2 — [i(s)(~)>2 fIr9=. + A 1 ¡0 (veasela Píquu¿Ql. (j~5 (PJ) Eí>teímí :es 4 i9=5 ji .4 ji .4 .4 7. eralízací¿ndel dornín¡o (II,). (>oordermadasortogonales. 111 y, com>io y es arbitrario. obtenemnosla ecuíacíóíítipo Riccati para 1> { 5’ la <,cuma><:ioíl ji ta n d Fi ji(l¿)>2Óf> — A ¿9-V’>2 /3(a) = O I ¿95 da) = O P(L)>22i A ¿9½>2 ~l) 4 ’ — 1~A>2 ¿9~ Acleimiás, si y es soltuciómí cíe (Pu>) (con ya = O), Cm>’ttiu]ces 4 = Bt>i es soluicuon + (~-)>2 ¿9>2¿>-11’>2 A>2 ¿9½/34 + (+)~ = — (IL)2d? A ¿99) (,tuui] o cciimcl mis i0cm expoim en]cís el sigtííei>’te re-mil tacho: Teorema 114 ¡) estádetez-miríadapo-u-elsistema<-1esacoplado LE — j~ ¿92 A ¿9-u»>2 — = O ¿3v A ¿9~/»2 — P(1)>2f A 7(a) = O ¿3>2 + (~t>2 ¿9>’/>2P4+ ~1 ¿3 (~)~P~,c +A>2 ¿99’ 4(0) = ~Aiyo ¡¡tediar te 1/ ¿9 — 1 = O Í (})>2f = O 1 cíe- 4(0) = >tmJi — /3(71) <9 ji~ 1 = O >2 ¿9-u» eS (~j)4 — (L)>2f A ita? A ¿li»>2 (it) 4’ A2Uu» 7’ r 4,__ = P(s)4¡i>. + i(s). El (híp/tu/o 2. Lic torízacioim c/e ¡ti p¡otilení¿u e/ip ti(:u>J. 7.3 Una formulación alternativa. Reesci-íIi iííí (liS el fi t-emhíl ) cou>’>’ur~. = 0, y¡r9—, = O i)q = A—>’yu> (ve-ase, ¡icír ejeuíip (cm, Nl alverí>’ f4~1,págitía654) y el Prouílemna.(Pu>) ccímiío ~>2y ¿)>2y — en U Bxf ¿3i:~ - Ji¡rC=bur~=, = O A i9y —u —(—)—‘- r9> = It Jiuí, ít ¿)y Ctmutic> existeti SI SI:tilmx,=,, = -fi”. > ~>2 > O tah~.s <¡tic 5, > p(:í:j, :1:2) > t para tcitlo (:c , £2) E ~ cíe-tI mí :i uíios (ve-ase nsvartí [34], págiii a. 2 1) cjm>’e- has apIi caciones -v >4 Ini; y 7) >4 /t~77 5(iti scmtuíonfi sincís cciiiti mmtícís (le ¡fi/ 2 (E ) * - Definición 115 Para cada s E [0,ú) y lo c Jim/2(IT~ ~ dej¿ríincosJii( 7 >71r9< donde es la sO/Itciorí <-le ¿9>2>7 ¿3>2 en =0 2 0, >71r9=. =it. A ¿9>7 (——) ¡ r9. ~sc SI SI SI SI y es el subcon~utíto<-¿bicí-to <-le 1? da<-lo pon- sc E (s, ur~0 = 0, Pir92~ = A Bfi 112 SI SI SI SI SI SI SI u SI ¿92/3 ¿3>2/3 ¿3:4 = cii SI SI SI SI SI 7. Úerícr-alizaci¿n dc/ dominio (¡1). Coordenadasortogonales. 113 Pí,talntíctíte dejinimnosi’(a) O y r(a) = 0. Observación116 Paracadas E [O,a], /3(s) J»Ju/>2(Ij3y >4 7Ji/>2~ím~~) es miii oíieraehcmr imeal y -r-(s) E jji ¡>2 (F~5) - Ademnás, la s~ilmicioi> y cíe (P) estácaracterizadap2(0, 6) ~ jji /2(0, b) y r(s) E H 1 /2(0, 6) si utilizamosla cotmreie-na’e-mnos <¡mie di> A ¿3y ¡ + It ¿9 A /3(s)y fi- [í()<->((íL) ¿>fí ¡ ,~ ¿911’ A ¿9-mf d/3 A By d 5 It ¿35 — ¿>7/> A Bu» — /3(1 ¿97/) A ¿3-11’ Ap ¿9n- i¡r95)+1r9. ¿95 y, ceimo J/ es arbitrario, ol> tei>euím(is la ecmiacióí> tipo [ti ccati para /3 y la ccii ¿mci(it] fu aya y { d/3 A ———4—)’u — d(ít) ~>íi(1)J — 1 = O ¿37/’ A Bu» It [‘(a) = O /3 ¿3 (¡¡1) ¿9v ¿911’ A ¿9>’!> — ~+)~= O A dlci>iá5, si y es soluciotí cíe (P<~) (cotí -fí« = O), eí>t7/ dI» A Dg — (s)(~)~:~¡r dy It Bu temnces, Ql ¿95 ¿37- + —Irv=, ¿35 Chi ¿97. - ir9=5 A ¿9q jt B~ ) ¿9?- ¿951 ?(tt) = O. cíe Gciiimcm ccii>’ cl uisi ómí Ji oc] cunose-X~ 2. Raett>rizacion e/e u;u pr-oiderna elíptieei. SI‘J’eorerna 117 ¡noble,o-a (Pu,) esta<-1 eterrniridcr por el sistemadesacoplado ¡ — ~I’\~Tit Bu» A<-3< A — ¡ = O It n-(a) = O = ¿) A —((—Ñ) + ¿9~ u ¿((/1)11 ¿3m» A ¿97/’ A [>(—) 4) IL = ¿9 ((It) ¿9v) ¿37/) A ¿3íf 4(0) = ~AíqÚ SI filr,,. = [‘(s)(A ti r +r(s). El 8 Generalización del dominio (III). Coordenadas no E mí las secciomies amitet- icí íes Ii aí> i ¿iii>’ (i5 1: m atacíci solci 1 cís casciscíe dci tui mii os (:0u] ‘‘es<¡ut iii as- - dii— I:cígonales. Emí estasecciotíexteuicler-e-uíícmseste-tipo cíe > umo ortogtiímales. 8.1 Hipótesis sobre el dominio. ¡sai cumíes ( tiordeimadassc ~y7/) dc laseC>2 delimiichas sobre m>’íí ccmíijtintcí abierto U c ¡ft>2 tal qí it—: ¿3:,: (:r:m,r>2) E U. ¿95 (:01. :02)) y ¿3:02 - <-9V ’ (1 ( :í:2). (u:i ,:o2)) soí> ciisf:iiitcis cíe (0, 0) ~ia>ra.t:c,cicí ¿3£2 Ii) N o existe ni ui gmm ti ptumito (:r i ,:0>2) E U tal que el ¿9-u » jíarale-lo al vectcii- ( i (::í ,:z:~), i (:í: m ¿Jxi ¿9:02 veu:I:or ( i (:n:u Bu ci me-sto cíe- esta seccicití :oiisitleíai-eu>’ios cbouíiimiios 1? ge-nem-achtmspOl icís ctinjmímítos cíe vel cíe p y 2) cv(:í: i ,x2) = 3:1 :r~ y fi(:u-: i , e2) = :r — fi- Tomamostantbieíí el cotu-j-ítnto S>? del plano tal qíte a E (k~ , It2) y /1 E (lu í2) - Bí mt oti ces 114 cii’ A d5 It i9i ¿9 y ¿9n ¿31,19 ¿hf A ¿3V’ [~(a) = O ntediante SI SI ortogonales. SI SI SI SI SI SI SI:1:2), i (:rm e2)) es ¿3:02 SI SI -SI SI -SI 8. Generalizaci¿ndel dominio (III). (iboor-denadasno ortogonales. 115 podemostomar como coordenadas { sc(xu,x2) = ev(xi,x>2) — lo>’ 7/4:Oi,:02) = fi(xi , x2) — Ii Figuira 7: Dou>’inio generadopor coordenadasno ortogonales. 8.2 Cálculo formal. AI>’ora, bajo estashiipótcsis,el cot>’tetiiclo cíe la sección6.2 sigue-sieí>’clo válido cíe tiuevo (11.33). Además,si ~ = A5, r¡ = ci> las nuievascoordei>’adases A>2 ¿3>2y ¿3>2y —JL 2¿99< fi —p ¿9V’¿9sc + ¿9~ ¿9 < ¿9x2Bx2 ci> (O, eL) x A’» y p = Bsc ¿9’ » 2(¿9 ¿3xí ¿9-’» t Obte-i>’e-I>’>’(isy el prc>ble-ina (0, 6) y¡r~bure-. = 0, y¡r9, = O ¿ 3>ti yIr~. (vease la Figura 7,). = lo->’ :0 — 7] = ¡‘->2 12 li C~5) = A~1yuí. Capítulo 2. F’acto-izaciónm de uní pnv/ile-rna elíptico. = dF Ql ~,=> P(~)(L)>2 ~ p2 ¡9>2 r(s) A ¿9<>2 A dmP>2 /) ¿9 ¿)y — P(s)( ~ ¿9y ___ By ___ — J’(s)( 7/) ¿9 [i(s)j___ ~>5 A>2 ¿~» ¿95 ~ SI — Ji(s)( 7/) Dr A>2 Bíl’ SI SI fi(s)( 1)2f¡ + 4’ r 9. y, ccít>’io Ji es arbitrario. oh~tene-uiitisla ecuiaciói>’ cíe fijio Ru(:ca.t i para /3 { <1 <-1 (j=Ofi P(L)>2 ¿92 A Bi¡$>2 ) ¿9 —fi( P ___ — A>2 6’» a — [i(’/) ¡3 ~ ¡ =Bu» y ha e(:uia.(:iouí para o ¿9r __ P(t%>2 ¿9>2r ¿95 A ¿3<’>2 7(a) = 0. [i( ~1) ¿3n- __ /3(1 ) 2j• = A>2¿9 5 A A che-nias si >‘i es la solu>’ c;ióui che (Pu>) (cciii ~ía (1), lticíon ¿>sc ¿94 ___ + (L)>2 ~»2{ ¿3sc A ÑA 4(0) = —A ~ /34 + p ¿94 >t~ ¿9 __ + (x2tv~4 (~oí>’icm (:eii>’cluisioum pc>chen>’tmsctxlciumer eh sigí>’ieííte tesuiltaclo: 116 Eiitoíi ce-s SI ¿3 9 SI SI SI SI SI SI { SI SI SI SI <1 SIcíe 1 fi— (Ir)2 B>2- ¿977)2 ‘1-It ¿bu» SI SI SI SI SI 8. ÚerueraIizac¡eiií ele/ dorííiruio (III,) - Coon-denn,adasno ortogonales. ¡17 Teorema119 ¡) estádeterminadapor el sistemadesacoplado di:> el5 A ¿37/) /3(1) B- A>2O-V’ ~1 ¿3 — ~~x~~w,—1>— 1 = O F(a)=O (97 __ /3(L)>2 ¿3>2n- A B>’¡§>2 F’( ‘1) ¿>n — A>2 ¿9~ 1(12) = O <-34 ~ 2 ____ 7/ ¿3 A>2 ¿3’» 4(0) = ~Aíyu> no-eelio-títe = P(})>2f ji = — ¡t¿9>2r’ A A ¿39< 9>/ ¿3v í Ir 9— = P(s)4¡~~, + r(s). El a al Bilbilografía [1] Aris,R.: Tite MathematiealTloeory of L)iffusion and Reactionin Permeable(?ataly- sis. Clarei>’dcíni Press,Oxford, 1975. [2] Aubin,J.P.: ¡< ‘aríalyse non lineaire et se.s 7notivatiotts economiques.Másscin, 1984. [3]Aubin,J.P—Ekeland,I.: Applied rionlinear Aríalys s. Wiley—lr>’terscie-nce publica.— tiotí , 1984 - [4] Balakrishnan,AV.—Lions,J.L.: State Estiinatioui for Infinite IT)irnciísiciíial Sys— tenis. Journaí of ComputerandSystemSeicríces.Vol. 1, Pp -391-403. 1967. [5] Barbn,V.: Nonlírtear serniyroupsand differential equationsitt Banach,spaces.No- ordl>’tmff, 1 976. [6] Bellman,R.: DynannicProqrammínq.ITírií>’cetcmíí Uu]ivcrsity Press,1957.~ [7] Bellrnan,R.—Dreyfus,S.: Applied L)yríamic proqramrn> ng. Princeton Uuiversity Prcss,1962. [8] Belhnan,R.—Kalaba,R.—NVing,G.M.: lnvariazít hííbcelding ancí Matlícínatica.I PI>5’sics. 1: ParticleITíroeesses.1. Math. Ploys. Vol. 1, pp. 280—308. 1960. [9] Benilan,Ph.: Operateursaccretifset sc>’ni—grotipe-sclaris les eslíacesL~ 0 =í =oc). Punetional Analysis and Numerical Analysis. H. Fiíjita, e-ch. Japan So¿iety for tl>e- li~ rcíuncít itit> cif 8cicii ce. pp. 15—53- 1978. [10] Bensoussan,A: Su>’- l’ider>’tilicatiti>’> e-t le filtrage- cíe systénicsgtmtíx’eujnés par cies écjuía.tionsdiffcrentielle-sopérationnefles.Caloiers IRÍA - Vol. 1,196~). [11] Bernis,F.: Elliptic aí>’d ParabouicScí>iilinea.r ITírcmbleuns witlíotít Coí>’diticins at Iii— finity. Archive for J?ational Mechaniesand Analysis, Voluí>’>’e 106, NuÁnbcr 3, ~íp. 217-241. 1989. 119 .4 ¡20 8/ iiliog¡ 91 9 .4 [12] Brézis,H. : Operateu~sMaximau:o Monotoneset serní—qroupesde contractionís dans les espacesde Hilbert. Ntmrtli—IIolla.nci. 1973. .4 [1:3] Brézis,H.: Analy-se Fonetionríelle: Tlodorie et appíicatíons.Massoi>’ 1987. [14] Ciarlet,P.G.: Introductiorí <-1 1 ‘atíalyse> n7t7rte;i-ique >rrtatricielle et a í ‘optz>to-isa .4 Massouu- 1988. [15] Collatz ,L - : Tite Numecícal Tr-eatment of [)ifferentíal Equatíons. 8to-~ i>’ger— \¡e Be-rl i í>’, 1960. .4 [¡61 Díaz41.1.: A r>’uilacióí>’ tic soluici(iiics pa>~a> tipera>cloi-esacrctivcís e-ii e-spacidísde -Bau ¡9ev. Re-al Acad. Ciencias, Madrid, LXXIV, pp. 86-5—880. 1980. .4 ¡ 7] Dfaz41.1- : Prcm fuiedades:mia] it a.ti vascl e ciert(is}íí-cí [ile-utías iíarabóli ccís í>’cm ti nealcs: II ti a clasifi(-a(-ioui liara> los uneicieltís ele el ifuísióuí del calor.Me>mo>r-ía de la RealA cadení .4 Ciencias,Madrid, Tonio XIV. 1980. 1 8] Dfaz,J .1.: 5oi~re la ctintrcml aiiiiitia.ti a¡i roxi un¿ití a. cíe -proble-ni¿is ti ci Ii tie-ales ’. Uuiívcrsidaci cíe Malaga,pp. 41—48. ¡990. .4 [19] Díaz,3 ~1.: 8inietrización cíe prolilcínas parabólicosr>’o lií>’eahes: A iilica.ci~>ti a e- (;i(muíes ’ iVleno-ori<-í de 1<->’ Real Acadeinia de Ciencias de Mad d .4 Tonící XXVIII. 1991. [20] Dfaz,.J ~1.:Sur i ¿e cotítr¿l¿tbi lité appreí :líée cies i néc~tua.tiemti s vara.tí ciii neiles et ci au .4 íiroiihéiiics p¿eraiicmli c~uícs íícmí>’ 11néa.ires- U [1.. Ac <-1. Sci. Paris, :312, serie1, Pp. 5 h 9—522. 1991 [21] Dfaz ,J .1.: Aííííroxiu>’a.te- couítrcíl1 ¿tiIi ty for scm>’tíe -tíot>’lií>’earjiarahitil i e ííroble-umis - .4 eeediníqso] tíLe 16k’ IFIP—TC7eorzfrterree on “System Modellittq aná Optiro-ízat (tuiipiegiie (Fraí>’ce)- Le:ttt>’-e Ntites in Control ¿cutí I>’iftiruiia.t ion Scieí>’:es- 8’ ymri g Verlag, 1993. .4 [22] Dfaz,.JJ.: Ma.tlieuii¿eticalaiialysis cíf scmuííeciiffuusive ericti-g5’ balanceniocheis luí (~l atolcigy. Eí>’ JVIatlte7o-atics Cliinate and Environntent.Ecis: .J ~1.E) faz y .J - L. Li ouus 28—56, Ma.ssoi>, 1993. .4 [2:3] Dfaz,J~1.: CoíitroHa.íjmility aul el Obstruc:ticmn for sorne- r>’or>’linear parabcílic ~írouileins mí>’ (iliina.tology. Bu Modelado de Sistemascrí ()ceanoqraJYa, limatoloy/a y (fien cias- a .4 Jiibliograt¡a. 121 Medíannbierítales:aspectosmatemáticos--y numéricos”. Eds. AValle- y (3. [‘ares, liii. 43-57. Málaga, 1994. [24] Dfaz,J ~1.: (1)í] dic ceutitro[lalii 1 ity cíf scmuííe simple cli tíiate niciclels - Etí Erívironmc,tt, hjconomíc.sarid tloeir Mathematical Models. Ecis: JI. [haz ancí JI. Liocis. Massciii pp. 29-44. 1994. [25] Díaz,YL—Fursikov,A.V¿ A simple- 1irotmf cíf the comitrollaliility frcíu>’> the intericír for nonlinear paralíolic furOtleiliS. Applied Math. Letters.7. No 5, ¡íp. 85—87, 1994. [26] Duvaut,G.—Lions,JL: Le itrequatiotísen Méeaítiqueet en [íloysique. Omínod, ¡972. [27] Erzberger,H—Kim,M.: Optimal Bouuitlary (Joi>trol of [)istribtíted IT’araii]eter Sys— tenis- Inforniatio ti aríd Control, Vol - 9,íip - 265—278. 1966. [28] Fabre,C—Puel,JP.—Zuazua,E: Coiitr¿miabilité- a.íiprochiée ’trou1al~ility of tbe seimuilinearbeat ec¡uatioí>. Proceedinqsof tite BoyalSoeiet-yof Ediríb-un—qit, 125A, pp. 31—61,1995. [30] Forsythe,G.E.-Wasow,W.R.: Firiite—í)Lfference Methodsfor Partial Differerítíal Equatiorís. Wiley, New-York. 1960. [31] Friedman, A.: Partial difreteritial equatioris of parabolie typc. IT>reííti ce—¡lalí, Iii c, 1964. [32] Gianni,R.—Hulshof,J.:Tlíe seu>’>ilii>e-ar l>eat ecítíationwith>’ a> lleavisielesource-ten, /3uropean Jourrtal of A pplied Mathematics,3, PP. 367—379. 1992. [33] Glowinski,R.—Lions,J.L.: Bxact ai]d aíííiroximmíate contrcíllaliihity [~j~; VI. 1978. [36] Henry,J.—Yvon,J.P.: Oíí the use tíT space invariauít ií>ibetltliu>g to solve optímmíal ecintrcil puciblenis [or se-cciuicl ortíer elbpticequiaticímís- Ei>’ Systenn-modellíizqand Optí— ntizatíoii. Actas TC7 (:o1>ferci>ce-on Systemií i>’ioelehli ííg auícl O1ítin>’izathmn- IT’ rag¿m>, 1 995. Ecl : (13Ii ¿cpnmaum au~ <1 Hall, ~ í - 1 95—202, 1996. SI 122 t3iiiliei~>i a/ía. [37] Karnin,S.—Peletier,LA.—Vázquez,J.L.: (hlassiticatitií>’ of si míguilar scmlmmticmíís of tícímí ¡ i mícar l>cat etj míatioi>’ - D7íke Matheio-atícal loiti-u al, Vol - 58, ií~ 3. pp - 601—615. SI 1989. [:38] Kato,’I%: Qmia.si—liuicareqtía.tiotíscíf evoluitiouí. xv it hí ¿mppl i att ioíí s tcí iía.rti ¿ti cli Ifere1] tia 1 SI cqu>’atícíí s . Spect-7-altiteory aud bu-fererítíal Eqitatiotes.L hs: A - lI)ol h atn1 13. Bcktn¿mti mí - S~iri uígei-—\1erlag,Lecttire Notes 448, liii - 25—70. 1975. SI [:39]Ladyzei~skaja,OA.—SoIonnikov,V.A—UraI’ceva,NN: ¡t~onis et7i>u: <¡cvi unu -s partíelles. Ducid. ¡968 SI [4¡ ] Lions,J - L - : (Quel<-íntes metloo<-les de Í-e=soí7ttíou-ídes ¡moble%rns au:r: limites noii línea Dmíí]cídl, 1969. j [42] Li ons,.J.L - : Remmi ¿mm-timies smi r la cenitidi 1 ¿ibi hité a.pji mocli e-e. A t:t; ¿ms cíe las “Jo ru- u- ada SIHispano— Eranc—esa.sso6 re (lo ti tn-’s- Sc,uiíe t reti cis ¿miu cl som míe- SI jircbleuims- Applie<-l amíd Lnd-ustíí<-tí Mathemo-atics.pp. 59—84. 1 99 1 - SI [44] Lions ,J - L. Hier-’>’ u— luímíícmí e-mu lmouicir a L. Naclíbiuí. SI [45] Lions,.LL—Magenes,E.:¡-hoblemesarz 11nnit es u-inri loomoqeuieset applneatíonis,Vemí - 1. Paris, Dmíuíoch, 1968. SI [46] Lions ,J - L .—Magenes,E - : Pr<-iblemesarz limites noii homoqenes ct applícatíons.Vol - 2. itma.ris, l)íííícid, 1968. SI [47] Malvern ,L. E.: /u-rh-od-rtetiorí to the Aiccítaríícs of a Contítínro-us A’Jedimt u-u - 1~ me-mit Hall 1969 [48] Mikhlin,S - G-.—Siiiolitsky,iI{L.: ApproxímnateMetloodsfor Soío-tio;r of DiLfenmíu-crí SI atíd ltiteqr-aí Bquatíons.A uu]erica.ii Elsex’ icr. New—York- ¡967. [49] Mizohata,S.: Uiiicité cití pi-oltmtugcuiiemit (les scmlu tícitís pomir quiciquies ciperatemírs ciifféreui tiel s parabtili qtues- Ment. (>~oll. Sí. Univ. Kyoto, Ser. A :~t (3), j:i~i. 219—2-19 ¡958. —SI u u I3ibliogr&ía>. 123 u [50] Pazy,A.: Senn--iq-oupsof linear operatonsaríd applicatiorís to partíal driferential cq ita>—u tions.Spriimgeu-—Verlag.1983. [51] Perko,L: Difjerentiaí Fquations aríd DyííannicaíSystems.S~irii]ger—Verlag, 1991. u [52] Ruidin,W.: Real auíd ComplexA nalysis. McGraw—Hill [ííte-rumatioíía.lEditicímís. ¡986. u [53] Saut41-C .—Scheurer,B- : Unic¡uíecomiti uiuua>ticíií fcmr scií>’íe evolmito-it> e-c¡mtaticmt>s..Ioit7tialL)rffercrítial Eq-uatíons 66, liii. 1 h8— ¡39. 1987. [54] Seidman,T.L: A well—1iosedprolilem>i for th>e h>eat equmatiomí. Bulí. Amet. MathSoe.u 80, pp. 901—902. 1974. u [55] Simon,J.: Ccmí>’ípact Sets it> tlíe Sjiace ¡<~(O, T; 8). Au-ru-íali di Matemáticapura cd applícata. Serie ‘1, 146, pp. 65—96. 1987. u [56] Streeter,V.L: 1-laríd Book of Fluid Dyzíannies.McGraw—Hill Book (icimpaiiy, 1961. u [57] Tzafestas,S.G.—Nightingale,J.M¿Optií»al Filteriímg, Sm>ioothing anch Pre-chictiomíSystems.Proc. LE.E.E.Vol. 115, pp. 1207-h2h2. 1968.u [58] Wang,P.K.C.: Control of IT)istribmitecl ParauííeterSysl:e-uiís. Advances in Control $í/ste7ns.Ecl - : U.T. Leonties, Acacleiímir [>iress,Vol - 1 - pp - 75— 1 72. 1964. u u u u u u u u u Algunos problemas en ecuaciones en derivadas parciales relacionados con la teoría de Control Agradecimientos Índice Introducción I Algunos resultadas de controlabilidad aproximada para problemas parabólicos semilineales 1 El método de cancelación 2 Controlabilidad aproximada vía linealización y Teorema de Punto Fijo de Kakutani: caso de controles sobre el flujo en la... 3 Resultados positivos y negativos para un problema semilineal de orden dos 4 Resultados positivos y negativos para un problema semilineal de orden superior II Factorización de un problema elíptico 1 Motivación 2 Un problema elíptico en un dominio rectangular bidimensional 3 Una justificación en la formulación de la ecuación de Riccati de P y la ecuación de r 4 Problema de control optimal asociado a la ecuación de Riccati de Q y a la ecuación de w 5 Relación entre factorización en el caso continuo y factorización en el caso discreto 6 Generalización del dominio (I). Coordenadas conformes 7 Generalización del dominio (II). Coordenadas no octogonales 8 Generalización del dominio (III). Coordenadas no octogonales Bibliografía D: d: 1: