vectorial normado (ev) X, cousideremos un problema de minimizacién del tipo inf fa(v) =inf{ lz) + EC) (20.1) donde fy : X — IR es la funcidn objetivo a minimizar y © CX es tm conjunto de restriceiones. Con la topologia apropinda, H es un intervalo compacto. En particular, todo subconjunto A CT admite un énfimo inf A (y 1m supremo sup A). Asi, tomando A= (folz) + 2 €C} tenemos que inf{ fo(z) : 2 € C} esta bien definido en TR. En este contexto resulta my titil introdueir la funci6u indicatriz del conjunto C, We: X — R, definida por Vo(2) oO si EC, 4oo sireC. Con la convencién a+ (+00) =(+00) Fa = +00 Yae R, es posible definir la funcién fo + Yc mediante (Jo +Vo)(2) = fo(x) + Vo(2), y es directo verifcar que inf fol2) = inf Ufo + Wo) De esta forma, el problema de minimizacién (2.0.1) puede formnlarse de manera equi- valente como ial Fe), donde f : X — RU {+o} esté defnida por restriceiones de manera implicita en Ta defn ‘este tipo de problemas. fo + Vo. Esto permite considerar las nde fy dar asi un tratamiento unificado Si X es un espacio vectorial normado de Banach (completo) entonces todo conjunto acotado y cerrado (para la topologia inducida por la norma ||-|],) en X* es compaeto para Ja topologia +-débil. Un espacio de Banach se dice reflexivo si X’ puede ser identificado con X**. En este caso se tiene que los conjuntos acotados y cerrados (para la topologia de la norma) en X son compactos para la topologfa débil. Por tiltimo, recordamos que Jos evn de Hilbert (dotados de producto interno, norma definida por el producto interno y completo para la topologia inducida) pueden ser identifieados con su espacio dual, en ‘al situacién, el producto de dualidad entre el espacio y su dual es el producto interno que le da el carticter de Hilbert al espacio. Como los espacios de Hilbert son reflexivos se ‘tendré también que todo conjunto acotado y cerrado (para la topologia de la norma) es compacto para Ta topologia débil.Sea © ¢ IR" un conjunto abierto y acotado. Consideraremos los signientes espacios: 1) = 2m | [Poids <0} lo LOY = fw = (wy, tt) 2 — RY | wy, € L(0)} 7 { > ou . s HQ) = fue L (a) | Oe existe (sentido débil) y esté en L7(Q), u=0 en on} . Observe que si u € H}(M) entonces el gradiente débil Vu 10) Las normas a utilizar son: (fo) Woe = (eller = (Sttis») Ielige = (fatale) "= (Wulm donde || |g ¢8 la norma Buelidiana en R. Dado que el evn (£%(2), ||-[z240)) es un espacio de Hilbert, identificamos su dual con el mismno. Lo mismo para cl evn (L7(0)", ||-||z2(0)»)- El espacio dual del evn (213(2), ||llazj.a) se denota por H-"(0). Resolver un problema de optimizacién consiste en encontrar el valor que deben tomar las variables para hacer éptima la funcién objetivo satisfaciendo el conjunto de vestricciones. Pte feclonanlento eel proceso Toner presente que #22 (AT + Apa. *En realidad para asegtrar quo u"( indice do performance (18) (-¥ que no Jo maxlmee) debe verlflearse que la segunda derlvada de J soa ‘positiva’(deflnlda positive). Bfectvamente EEAE = R+ BT PB os dofinida positiva ya quo R es dofinida positiva y Py cs definida o semidofinida postiva, optimlzacién esti basado en el prinelplo de Bellman,Los productos de dualidad entre los diferentes espacios y sus duales los notaremos ()i2@y.2ay, (ydeacay nay ¥ (sda donde (u,u"}eay240) = I u(z)u(2)dr uw, uw € L°(2) (w,0"}2@-20% = f rn (6.0 angiar—@y I u(r)w(a)dr we HE(Q), we HO), Fade = Serswf)raeyc4m) we, w" € LO)" Recordemos que dados dos espacios vectoriales normados (evn) X’ Y yun operador lineal continuo A: X — ¥,, su operador adjunto (que resulta ser lineal continuo) Av LY" — NX" esté definido por (eA xx = (Any )yys ¥re X, y €¥*. De esta forma, dado un operador continuo A = (Ai,...,Ay) + Hj(@) — £2(2)" se define su operador adjunto AY: £2(0)" — H-"(9) mediante Ia relacion (ut? Aw") arya) 24a) = (Au w")ra¢ay,40)" = D> [ Agu’ (a)w"(x)de at para todo w* € (9), a" € HAO). Para el estudio de nuestro problema, supongamos A: Hi(Q) —> 12(0)" dado por Au = Vu (operador lineal y continuo). Bl operador adjumto A* : 1°(2)" — HK) estar dado por Awe se vey = ACW eaepeceiay = D2 | FE au" wide para todo w* € L(9)", u* € HA(Q). Integrando por partes, y recordando que si u* € H}(®) entonces u* = 0 en 30, se obtiene y [, on (x)w"(a}dx = — > I (a)u'(2)de = —(u', iv wage) 1-10. 1 ‘ il ‘ donde el funcional div : £2(9)" — H-1(Q) esta definido por "owe div ws Se) vue Oy. Por todo lo anterior se tendra que A* = — div .aa [ F(t, 2(0),#(8))dt, tq. x(to) =z0, 2(t1) =z, donde F es una funci6n diferenciable de tres variables y to, 1,.t9,-71 80m valores reales pre- fijados. Geométricamente, el problema es equivalente a encontrar una curva diferenciable que una los puntos (lo,.r0) y (ti,st1) y que haga que la integral sea lo mas grande posible. En oste aso, hemos considerado ol problema en que el objetivo era maximizar Ia integral mencionada, Pero no es complicado observar que si en lugar de maximizarla bus- ‘amos minimizarla.cl problema es um caso particular del ya introducide considerando ahora —F(t.2(#),#(£)) como funcién cuya integral queremos maximizar (por darse que 2(t) es un maximo de fi" F(t,x(t),#(t))dt + x(t) es un minimo de — f{* F(t, x(t), a(¢))dt = UG —F (4, 2(0),2()))dl). Por tanto, las condiciones que deduzcamos para el primer caso se extienden al segundo con pequelias modificaciones que iremos mencionando a lo largo del ennitnlo. . Llamaremos fimcién admisible a toda fncién x(t) que sea de clase C? y ‘que satisfaga las condiciones frontera (iniciales y finales) impuestas en cada problema, ‘Teorema 1, Sen F : R° —+ R una fimcidn C? de tres variables y definamos J(x) de Ja siguiente manera: f F(t,x,a)dt, donde to € B, ty € Rr: R —+ Res una funcién C? y # = 42. Entonces, para que x = r'(t) haga méximo a J(z) de entre todas la funciones admisibles con condiciones frontera (to) = x0, (+1) = #1, con xy € Ry 2 € R dados por el problema, se ha de cumplir que 2*(¢) sca solucién de la. signiente ecuneién diferencial: OF (t d (OF (t,x,i) Oe dt (7a ) =o. Se puede demostrar que si la dimensién de X es finita, la topologfa débil coincide con la fuerte. Sin embargo, si la dimensién es infinita, la topo- logia débil es estrictamente més gruesa que la fuerte. En otras palabras, todo conjunto que sea abierto para la topologfa fuerte es también abierto para la topologfa déhil, pero existen conjuntos que son abicrtos para la. topologfa fuerte, y que no lo son para la topologfa débil. Un ejemplo es la bola unitaria B(0,1). Por supuesto, lo mismo vale para los conjuntos cerrados. En la Proposicién 3.7 veremos que para los conjuntos convexos, en cambio, no hay distincién entre ser cerrados para la topologia fuerte © la débil. Comenzaremos por enunciar el siguiente resultado clisico de Andlisis Funcional:Anélogamente se definen los méximos (globales, locales) y se dice que una funeién tiene un extremo (global, local) si tiene un minimo 0 un maximo (global, local). En este tema abordaremos el estudio de minimos globales o absolutos. Obviamente todo minimo global o absoluto es un minimo local o relativo. La conticicn de semicontinuidad inferior se facilita mds cuanto mds restrictive sea la topologta enU, i.e. cuanto més fina sea la topologfa (cuanto mds abiertos tenga) ya que una funcién f €8 continea en un punto 29 sf la tmagen inverse de tun entorna de f(éo) es un entomo de def punto. Sin embargo elegir una topologia fuerte estd en contradiccién con la compacidad ya que en tma topolagia fuerte hay “pocos” compactos. Por tanto debemos elegir una topologia que haga tun balance entre estas condiciones. Teorema 2.3.1 (Teorena de Weierstrass) Supongamos que U es un espacio métrica, compacto yno acto y que f:U +R sea st. enU, entonces f tiene wn ménimo global en U. Demostracién: Sea je = infzeu f(a). Por definicién de fnfimo, existe une sucesion (2n} CU ninimizante, es decir, tal que lim fen) = Como Uf es compacto, existen entonces una subsucesién (2, } de {24} y un clemonto # €U/ tales que py converge a 8 enU/. Por ser f s.ci., se tended EG) € lin f(y) = oa fle) = Y por tanto f(2) = je. o A la hora de aplicar el Teorema anterior surge sin embargo la dificultad ya mencionada en el tema anterior de que los conjuntos cerrados y avotavdos de e:n,infinitesdimensicnales no son en general compactos. Para salvar esta diffeultad se puede tratar de usar la topologia débil en hugar de la fuerte. Intraducimos por tanto la siguiente definicion2.2. LA CONTINUIDAD Y SEMICONTINUIDAD Como se ha visto, Ia continuidad es la linea de razonamiento que dirige el trabajo de Baire en torno a la caracterizacién de la nocién de semicontinuidad’, y es por ell ol apelativo de funciones semicontinuas no es mera coincidencia. Notese que si una fancién 1g & seuiicontinua superiormente en 9 entonces: gle) g(vo)—= siempre que |x 0)

0 B>O talque | f(x)—f(ao)|<2 siempre que |x —xo| <6, ¥z0€ Dy es decir: (ro) £< f(x) < flv) + siempre que |x| <6 Si f(e) > flo) — ©, se concluye que la fancién f es semicontinua inferior, y si F(a) < f(zo) +e, se concluye que f es semicontinua superior. En términos generales, si una funcién es continua entonces es semicontinua superior e inferior. Lo anteriormente ‘expnesto se condensa en el siguiente teorema,