tt Contenido 1 Aplicaciones diferenciables 1.1 Definicién de aplicacién diferenciable 1.2. Genevalizacién Ejemplos Clases de diferenciabilidad 3.1. Derivadas de orden 2 3.2 Derivadas de orden superior 3.3 Ejemplos 3.4 Ohsorvacién sobre caminos seecionalmente diferenciables 4 La rogla de la cadena La desigualdad del valor medio Integrales 6.1 Integracién de caminos 6.2 Relaciones entre derivadlas e integrales 6.3 Integrales repeticlas, 64 In les mniltiples Derivadas parciales 8 El Teorema de Schwarz9. La formula de Taylor 9.1 Los teoremas de Taylor 9.2 Maximos y minimos 10 Funciones implicitas 10.1 El Teorema de la Puncién Inversa 10.2 La for 10.3 La forma local de Ins inmersiones 1a local de las submersiones 10.4 Bl teorema del rango 11 Cambio de variables en integrales maltiples 69 69 74 79 85 39 o1 99 Capitulo 1 Aplicaciones diferenciables 1.1 Def n diferenciable de aplicaci Sea U CR” un conjunto abierto. Diremos que una aplicacién J: U +R" es diferenciable en un punto x € U, cuando existe en la vecindad det, una ‘buena aproximacién lineal” para f Esto significa que debe existir una transformacién lineal T tal que Heth)=fle)+T-h+r(h), donde fing 4 En la expresién anterior, & debe ser tomado suficientemente pequeiio para que z+h € U de modo que f(x +h) tenga sentido. Como U « abierto, existe m > 0 tal que {h| < n implica 2 +h € U. La igualdad f(e-+h) = f(e)+7-h-+r(h) es simplemente la definicién dol “resto” r(h) €R". La diferenciabilidad de f en el punto x nos dice que este resto es un “infinitésimo de orden superior ah”, esto es, lim “4 = 0, Esto significa que, dado € > 0, existe § > 0 tal que 0 < [hl = ¢ implica Pr(A}l < elf A veces es conveniente escribir In condicién para la diferenciabilidad de 1APLICACIONES DIFERENCIABLES. [- U —+ RY en EL del siguiente modo: F(@+ N= fla) TA plh)-[Al, donde firm a(t Para-cllo, basta tomar p(h) = r(h)/[h]. Esto deja p(h) sin sentido cuando 0. Pero, cuando f es diferenciable en el punto 2, es natural definir (0) = 0. Entonces p(t) sera una funcién continua de h en el punto h = 0. Sif: U — Rr es diferenciable en el punto x € U, entonces para cada hy _ Slat th) = fa), (th A) LF = S18) Ay ora toca 90 real t t Teh] ? Fs tiniea, por lo tanto, la transformacién lineal 7; R™ —+ R" da una buena "roximacién para f cerca de x. Ella es llamada derivada de f en el punto "yes denotada por f"(x) 0 D(x) Abundonemos ahora Ix notacién provisional T. La condicién para la tlifereneiabilidad de una aplicacién f: 0 — RU C R™ abierto) en un punto € U, se eseribe: Hor+h)= $2) + f"@)-h+r(h), con jim r(4y/1h| =o Ps claro que, si f es diferenciable en el punto x, entonees f es continua en este punto, Generalizacién law definiciones anteriores (como todo lo denis en este libro) se aplicarin, ‘con raras excepciones, al caso general de tna aplicacién f:U — F donde UC E es un conjunto abierto y £,F son espacios vectoriales normados. (Las principales excepeiones son las observaciones que haremos sobre ina. ‘iees jacobianas y otras maneras de usar la base candnica del espacio R’™) En las paginas siguientes, esta situacién general serd considerada sin Mayores comentarios, especialmente cuando se trata de subespacios E, P, te, de copacios euclidianus R”. Tales subespacios son espacios vectoriates normados, pero no son, estrictamente hablando, espacios cuclidianos Be" GENERALIZACION 3 Una otra situacién que escapa al contexto de los espacios euclidianos es Ia consideracién de los espacios E = £(R",R") de transformaciones lineales centre espacios euclidianos. Siw € £(R™,R") es una transtormacién lineal de R” on R”, su norma |x se define naturalmente por ful = sup {u(x 2 R™, Jal = 1} Recordemos que esta norma induce una topologia en £(R™,R") que lo hace linealmente honeomorfo a R*"". El homeomorfismo asocia a cada transformacién lineal u: R” — RM una n.m-upla formada por los elementos de la matriz de w relativa a las bases canénicas de R”™ y R". (Vea el apéndice.) Generalmente, si i,...,E, y F son espacios vectoriales normados, el espacio £(5},..., Epi F) de las transformaciones p-lineales continuas u: By xox By + F tienen una norma natural, definida por lel = supf{lu(ar, rw)li te © Bay |e] = 1}. Frecuentemente se tiene Ey = Ey se eseribe £,(B,F) para indicar el espacio vectorial de las transformaciones p-lineales continuas uw Exe x BoP. La diferenciabilidad de una aplicacién f: U + F (UC EB, abierto) depende de la topologia de los espacios E y F, pero no depende de las normas particulares usadas en esos espacios, pues podemos substituir esas normas por otras que les son equivalentes, sin alterar la validez de las afir- maciones h — 0 y r(h)/|A] + 0. Al probar por lo tanto, la diferenciabilidad de una aplicacién, podemos de acuerdo con nuestra conveniencia, substi- tuir las normas de los espacios en discusién por otras equivalentes. (Vea el apéndice.) Bjercicios 2, Usando la frm f2)-h = fing L#M =I y admitende la exisencia de las derivadas en discusién, ealcule: A) /2)-h, donde f: R2 — R? es definida por fay) — (2?-+y, 2-49) 2= (4-1) yh= (1,2)b) g(x) -v, donde 2, € R™ son vectores arbitrarias yp: R™ — R definida por g(x) = f(z) g(2), siendo f,g: R™ ~+ R funcionales lineales. ©) £'(2)-h, donde h € R™ es un vector arbitrario y g: U = Res definida en el abierto U CR" del modo signiente: dados f,g: U — RP diferenciables y €(x) = (f(z),a(2)), para todo x € U, es el producto interno de los veetores f(x) ¥ a(.) Bl ejercicio anterior muestra que, siexistieran las derivadas J"(2), oe) y €((2), ellas deben tener las formas alli obtenidas. Pruebe ahora que Jas 3 derivadas existen. ‘ca U CRM abierto, Dado f:U + RY dilerenciable en el punto xo € U, considere una bola abierta B(x; 6), de centro xx y radio 5: contenida en J, Pruebe que la aplicacién r: B(0;5) — RB", definida por r(h) = flo +h) — f(r0) — {"(e0) -h, es diferenciable en el punto h=0. Sean V CU abierto en R™ y 5 > 0 un nimero tal que x € V, |hl <5 implican «+h € U. Indique con B la bola abierta en BR" con centro Dy tadio 6. Si f: U — R” es diferenciatle en todos los puntos de Ui, entonces, fijado 29 € V, In aplicacién r: V x BR", definida por r(x, h) = fle +h) — f(0) ~ f'(x0) cs dife able en todos los puntos de V x B. Sea E el espacio de las matrices n x n. (Si es conveniente, identifique on R"’,) Defina f: E > B como f.X) = X® para cada matriz X. Muestre qne f es diferenciable en toilos los puntos de £, (Use el método del Bjercicio 1 para determinar c' candidato a f"(X).) Dofina diferenciabitidad en espacios vectoriales notmados cualesquiera Dados UC E abierto y f:U — F diferenciable on el punto x € U, muestee que la continuidad de f en el punto z es equivalente a ta continuidad de ta aplicacién lineal #"(x): B > F. Usaneo coordenadas polares, defina la funcién real f: R? — R, como He-o¥) = (x/y)2, 2 20,0 0 tal que |B(A,&) < efh] - [h| para todo A € R™ y para todo k € R” Basta tomar ¢ = sup(|B(A.4)|; |h| =, |&| = 1). (Vea Apéndice.) Ahora, Ble +h, y+k) = Ble, y) + Ble k) + Bh,y) + Bh), Nuestra afirmacién quedaré probada cuando mostremas que Bak) lim (neyo [hk =0.8 E1EMPLos Usando en R™ x RY la norma [(, )| = sup{|bh [&[}, tendremos: [BCAA __1BCH, BY Te, AL Supt) le donde se tiene ol resultado. Casos especiales de transformaciones bilineales son el producto interno RY" x R™ — R, dado por (x,y) = ox'y', y la composicién de transforma- VALI! =e inf (Als) ciones Jineales: ye C(R".BP) x C(R™,B") — C(R™,R”) onde p(S,7) = ST. Bn particular, la multiplicacién de atimeros reales bilineal T én es bilineal la aplicacién donde B(T,r) = T+. B: C(R™.R") x R™ 1) Innersién de matrices. El conjunto GL(R") C C(R"), de las trans- formaciones lineales inversibles T: R" — R" es abierto. En efecto, T € GL(R") si, y solamente si, det(T) # 0, y det: C(R") — RB es una Iuncién continua. Considere la aplicacién inversion f: GL(R") — £(R"), definida por J(X) = X-}. La expresién clisiea de X~! eu técmminos de determinantes muestra que f es continua, Afirmamos que f es diferenciable en cada X € GL(R") y que su derivada f’(X): C(R") = C(R") es la transformacién “1HX-}, En efecto, si escribimos lineal H+ —) (X 4 HY hs XX (BY ¥y multiplicamos a la derecha ambos miembros de esta igualdad por X +H tances obtenemos después de una facil simplificacién la expresion, r(H) = (X71)? (X + B=}. Por lo tanto ID) < XO PLNPIX + AI! ar Jim, eC /LH| = 0. En particular, para n = 1, £(R!) se identifica con R y GL(R!) © RY = R— (0}. Se ticne que la funcién J: R* — R, dada por f(z) = 1/z es diferenciable en cada z € BY y su derivada es la transformacién lineal F(a): Ro B tal que f(z) h = —h/x?, En otras palabras. f(x) es identifcada con el mimero —1/2%. (Ver el ejemplo 8 mas adelante.) cienrtos 9 5) Las coordenadas de una aplicacién diferenciable. Dado un conjunto abierto U CR". una aplicacién f: U = R* queda determinada por rn funciones veales f',...,f":U — R. llamadas coordenadas de J y definidas por la velacion f(x) = ('(a}.--- f*(2)),2 €U Una aplicacién f ex diferenciable en el punta x € U si, y solamente si, cada funcién coordenada f' es diferenciable en el punto x. Ademés, fix): BY — BY send dada por f'(x)-h = (Df'2)-hy..., DEM) - donde preferimos In notacién Df" para evitar escribir f", lo cual quedaria poco elegante Para probar este, observe que In ignalad f(r-+h) = f(x)-+T -h-4r(h) es equivalente an igualdades f'(r +h) = f'(e) + T* h+r(h), donde Teh = (LT! -hy..L" +h), Ademés, r(h)/Ih] — 0 si, y solamente si, H(n)/lh| = 0. pi aim. Un resultado a se verifien para aplicaciones f: U — Ey x By UCR abierto, Ey, Ex espacios vectoriales normados, f dada por f(x) = (ite), A) 6) La smatriz jacobiana, Sean f:U — R" diferenciable en x € U y ey eb j-ésimo vector de la base candnica de R". Entonces + te) — fla) eR" mie anterior es usualmente Ilamavlo de j-ésima derivada parcial ce f en el punio 2, y es indieado por f(s) -€; = Ph () Por el ejemplo anterior, si f',...,J": U — R son las coordenadas de Fentonees. Esto nos leva a una expresién chisica para Ia matriz de la transfor- imacidin lineal (2): IR" —> RY telativa a Tas bases candnicas de BR” v RB’ B} elemento (7.5) ~~10 exentptos 1) Aivertenci. essen dela dead paris (8) 2) por Ia difrecabcad de an el punis'ss (Pederson dase ates oe dado j: U ~+R° (U'C R abit) y 2 Uke Wallies ar @ eRe Sho) = tiny AO ew th) t (cuando existe) es conocido como la derivada direcional de f en la ireceién h. Observamas en el Ca ten el punto x, entonces existen todas las’ derivadas diteccionales y (Of/0h)(x) = f"(z) +h. La reciproca es falsa, el ejemplo clasica que ilustra esto es f: R? — R definida por itulo I, que ei J os diferenciable fle) => Fa CM #GO), (0,0) =o. Bs fell ver que, si h = (a,b) entonees (Of/9h)(0,0) = a2b/(a? + 62). Vor lo tanto f no puede ser diferenciable en el origen, pues (2 /2h)(0,0) tio depend linealmente de f Como veremos después, la difleultad esta en que la derivada direceional (OF }0e:)(a,y), donde ey = (1,0), es una faneién discontinua de (7,y) en el origen. 4) Cuminos diferenciables. Una aplicacién definida en um intervalo, tomando valores en un cierto espacic, es Hamada de camino en ese espacio. Dado un camino f: J # € J es definido por Su vector velocidad en un punto interior desde que este Iimite exista, Eseribiremos v = (df /dt)() para indicar e vector velocidad del camino f en el punto 2 El vector velocidad (df/dt)(x) existe si, y solamente si, el camino f: J — R" es diferenciable en el punto x. Ademis, este vector veloci- dud se identifien naturalmente con Ia derivada J’(x). (Compare con el ejemplo anterior. donde el dominio de f tiene dimensién > 1.) Vamos a demostrar esto, eIMpLos 11 Primero recordemos el isomorfismo natural £(R,R") = R", que asocia a cada transformacién A € £(R,R") el vector a= A-1, imagen de 1 € R por A. Como A-t= A. (tl) =t-(A-1) =t-a, identificaremos £(R,R") con R", de este modo, la operacién A-t de la transformacién A sobre 1 € R serd interpretada como el producto t-« det escalar t por el vector a. Dada f: J +R", y dado x € J, escribir (x41) = f(2)+f"(0)-t+4(0) es lo mismo que escribir f(x +t) = f(a) +t-v+r(t). dande v= f(r) 1 Por lo tanto fey 4 r() {e] Se viene ave tng #2 = Os, y solamente, f tone un vector velocidad en wy en este cas, este vector ves idontiicndo co (x) En pasticular, dados JC Ry f+ J'— R (sna foncion real de variable real), vemos que fe diferenciale en un punto interior + € Jy solamente Si f tine derivada en el sentido cisco Ser t a= lim Bn este caso, a es un niimero que identificamos con la transform lineal ++ at de R en R. Esta transformacién lineal es la derivada f“(r) en el sentido de nuestra definicidn, Si las funciones coordenadas de un camino f2 JR" son J... /" ol vector velocidad £(x) es dado por Hoa = (Ge Fw) La uocién de vector velocidad nos da una interpretacién geométrica para la devivada f"(x): R” — R" de una aplicacién f: U = RY (UC R™ abierto, x € U) Dado & € R™, sea J un intervalo abierto conteniendo 0 tal que x + th €U para cada t € J. La aplicacién f transforma el camino db: J — R™, Ot) = x4 th, en el camino t+ flr + th) ER", y s(x) -hes ol veetor velocidad de este diltimo en t= 0. Veremos mais adelante, que no es necesario usar el camino lineal ®. Cualquier camino # tal que (0) = 2 y db /dt(0) = h servira. 0) Punciones Reales. Miontrae que la dorivada de wn camino f J+ RY e un vector, Ja derivada de una funeidn diferenciable f: UR, UC R™12 wEMPLOS , difo®) Dt) = e+ th fay-h= ™)* = espacio eu un punto # € U, es un clemento de £(R™,R) = i chual de R". Osea, f"(2) es un fericional lineal. En ese caso. Ia notacin, tradicional es uf) en vez de f'(z), ¥ dfx) es llamada la diferencial dle fen el punto x. La mateiz jacobiana de f"(x) = df(r) tiene una fila of ae" ) () son las coordenadas de la funcional lineal f(x) ys, espacio dual de R™. Recordemos base canénica de ( fe!,...,e™} de (R®)* es caracter wmyeR relativas a ada por la propiedad quo esta. base : darlo cualquier vector v = (a! Podemos, por lo tanto, escribir Frecuientemente Jos funcionales e* son eseritos como de", ya que los ¢ Ins funciones coordenadas 24; R" — RB. pueden ser interpretados com 2") hacen corresponcer su i-ésima coorsienad cada r ER" ie acada x = (x que s Como estas faucignes son Tineales, se tiene dar) — a! pan brempuos 13 Bntonces, escribiremos ate) = FE tweet La expresién anterior es tuna igualdar entre funcionales lineales en R™: Esto es, para cada vector v = (a',...,a™) € R™, vale: Tenn 10) Punciones Holomorfas. Vamos identificar el cuerpo C de Jos mimeros complejos con el plano B? por la correspondencia x + iy (zy). Sea U CE abierto. Una fancidn compleja f: U + C se dice holomorfa cuando, para cada 2 € U/, existe el limite = a ante) -v= BE (a) fast Ato)= im, soit J +H) = F(z) + A(z) h+r(h), donde fim r(A)/h = 0. Por lo tanto, f es holomorfa si y solamente si 19) La aplicacién f: U — R? es diferenciable. 29) Su derivada./’(2): R? — R? cs en cada = € UJ, una transformacion Tineal de la forma h + A(2)-h. (Multiplicacion por el nimero complejo A(z).) Ahora, las transformaciones lineales en el plano que consisten en la niul- tiplicacién por un niimero complejo A son: la transformacién cero (mule tiplicacién por el mimero complejo 0) y las semejanzas positinas (trans- formaciones de la forma pT’, donde p > 0 y T una rotacién en el sentido positive.) Para ver esta, hasta escribir A = pe™, En resumen: una funcién compleja de variable compleja f: U + © es holomorfa si, y solamente si, vista como una aplicacién fs U7 — RY, es diferenciable y, en cada punto 2 € U, su derivadla f"(2), 0 €8 cero, 0 es una cianza positiva“4 Bjercicios 1 Sea f: R¥ — Rt dada por f(x,y, 2) = (2? —y*.xy.22, 29), a) Prucbe que f es diferenciable en todos los puntos de R? y ealeule su matriz jacobiana b) Muestre que la derivada f’(x,y,2): R® ~ R¢ es una transformacién lineal inyectiva, excepto en el eje de los 2 (esto es, para x = y = 0). ©) Determine la imagen de f/(0,0,<). RY — Re Sea f: R? — R? definida por f(z.y) = (e cosy, e* seny). Considere la transformacién lineal T = °(3, 7/6): R? — R2, y los vectores h = (1,0), & = (1,1). Cua es el Angulo formado por los vectores T!°. h y pio Kp Sea J: U — R" diferenciable en todos los puntos del abierto U CR". Defina g: U > U x R" y F: Ux R" — R" siendo g(z) = (x, f(2)) y F(x,y) = f(a) ~y, Muestre que y y F son diferenciables, exprese sus derivadas, y concluya que g(r): R°" — R™ x R" es inyectiva para todo x € U y que el nicleo de F*(x,y): R” x R" + R® coincide con la Imagen de g(x) [Nota. La imagen g(U) CU xR" es llamada el gréfico de f y el espacio veetorial o'(x)-R” es llamado el esyacio tangente a (U) en el punto (fF) Sea f: R? — B® definida por f(z.y) = (x?,y?,(2 + y)%). Muestre que f'(2,y): R? ~ RS tiene rango 2, excepto en el origen. [Esto es J'(2,y)-e1 yf"(e,y)-€2 son linealmente independientes excepto cuando r= y=0) Sea f: IR R8 dada por wert ey + 29). Fleu.2) = (et y+ 2, Muestre que la transformacién lineal J’(x.y, 2): R® —+ R° es inversible, excepto si dos de las coordenadus 2, y,2 son iguales. Muestre que Ia derivada de la aplieacién f FR, dada por f(z.y) = (e* + e¥,e* ~ #) es una transformacién lineal inversible a0) J. conside ~ IR? para todos loe puntos 2 — (ry) € R%. Diga si ida como una funcién compleja, es holomorfa 7 10. EIEMPLOS 15, Sea £ = R"” el espacio vectorial formado por las matrices nx 1. In- dicando con X* la transpuesta de una matriz X, considere la apli- cacién f: E > B definida por f(X) = XX*, Describa la derivada i"(X): E+ B. Muestre que {"(X) « Hf es simétrica, para cada H € E, y que si X es ortogonal (esto es, X* = X~!) entonees, para tocla matriz simétriea $, existe por lo menos una miatriz H tal que s'(X)-H = neralizando el Ejemplo 3 (Capitulo 2), determine Ia devivada de aplieaeisn palinenl f+ Rs “Re a) b) Sea E el espacio vectorial formaclo por las matrices n xn. Considere la funcidn real f: E ~ R definida por f(X) = det(X). Dados X, H € caleule f"(X) £(B", 2") sea contin Al comprobar la diferenciabilidad de una splicacion f: U —» Ie los puntos x € U, es conveniente escribir la condicion ee difercn on forma mis explicit, dejando claro que el resto r no sélo depenule como también del punto » en cuestidn. Por lo tanto, f es U precisamente cuando, para cada x € U, existe una t £2) € £(H",B) tal que formvi litwd Sle h) = Fle) + fe) hk r(esh) donde =0. tiny TOM) ho [hl wv CCC TTT ECETIUIAAA18 cLases pe oirenewcrasiinan Esto signifies, es claro, que dado € > 0, exist b= 5 implica, In(,4)] < ela]. Serd probado despuas (Capitulo 5) que si f € C? entoncss podremos para cada x € U, un €) > 0, dependiendo de e y de x, tal que 0 < |hl <6 ger J independiente de en cada subconjunto vampacto de Cuando = RY es de clase C!, podemos preguntar jou + C".R") tiene una derivada? Esta preguota tiene sentido porque £{H™,R") es wo espacio vectorial normiado, Si queremos, le CCR”, R") puetlen ser pensados como mateives 1 x sn, v derada como la aphicacién huss elements f hiataiz jacobiana Jf(x) Fen el punto x. Bntonces f € C! implica que " talria J(x) depend continnamente de x € U, esto es, eada una de sua Componentes 5° (2) es una funciGn continua de. (Seré mostradto después lw la reeiproea también es verdadera srolario del ‘Teorema 7.1 Capitulo 7) Ademis, f dl punto = si, y solamente si of . «ls clomento 52 de la matriz jacebiana fuera diferenciable en el punto ¥ ENts se sigué-del Bjemplo 5, Capitulo 2, Sif U + £(R™R) ¢ derivada en et punto x LU, diremos que Fos dos veces diferenciable en el punto x y escribiremos J*(2): R™ ~ Re) para indicar la derivadn ce f* en el punto 2:, esto es, la segunda wla de f ena. Asi, f(x) © £(R™, £(R™, sees dilerenciable en todos los puates 2 € U, rliceanos que f' es dos voces ‘ferenciable en U. Ademés, sila aplicacién J": U — £(R", £(R™,R)) jamente diferenciable en n que f es de elase C ")). Cuando f fuera dos UF y esovibitemos f € C que f 0% dos weces com lemos deriv tannbi Psiste un isomonfismo natwval £(@", £(R™, B%) nacién lineal 7: RO — ("RB") la transtormacién 4.1) = (TP «)-v. Esto nos permite ina transformaciéa vwuciit A cada trans nen vonsidevar la desivada se Fr) Re" RO Veamos de caren el « especial de wna funcién des veces dilerenciable FU — BR, UCR. Su derivada es uma aplicacién J": 0 — c(B"R) lacla por Hunde (as*,...dx™} es Ja notation t-adlicional para la base candnica de SECCIGN 3.2. OFRIVADAS DE ORDEW SUPER £{R™,R) = (IR")*. Las funciones coordenadas de f": U — (R™)* son por af 7 jo tanto 57+» Gm Se sgwe del Kjomplo 6, Capitulo 2, que Ie matia jacobiana de f/ en el punto w tiene elementos <2 Como transformacién lineal, Ia aplicacién {"(z) vt 1 Bebo omento, hacer wna distineién entre f¥(x) y hi transfor macion bilineal d®(f) € £o(R"",) que le es asociada por el isormorfismo (me, ( ".R). Por definicion, o?/(2)(u,9) = (f"(e) 10) 0 La expresién anterior de J"(z) - 6,1 2 F(x) -(e, ahora que el espacio £a(B”, IR) natural formas bilineales da" - da: R R, definidas (a'...,a") ya (4.0) = de*(u) de%(u) = aif? si (3 6). Cualguier forma biline: Unico b= Layda'ded, donde a; = b(e:,¢,) por da d ) se escribe del modo Por lo tanto nica de £2(R™, IR) ) en térrninos de la base De ahora en adelante, no distinguiremos a2 3.2. Derivadas de orden superior Jas de orden superior son definidas incuctivamnente. Supongamus Las deriv que f: U RY sea. ces diferenciable, Entances su (kt = L)pésima dlerivada es una aplicacion fA): U — Cy_,(R™,R") dle U en el espacio de las aplicaciones (ié--1)-lineales de R™ en B™. $i f'—"" fuera diferenciable en un punto x € U, diremos, que f es & weces diferenciable en este punto y, us isomorfinine £p-1(R".R")) & Ce(R,R"), alent os f(r), a derivada de f-) ea se, ean uma aplicacidn &e-lineal ce20. cLases be DIFERENCIABILIDAD RM en RY, que liamatemos de k-ésima devivada de f en el punto x. Cuando f(x) existe on cada punto « € U, decimos que f es k veces diferencia- ble en U. Queda entonces definida Ia aplicacién f": U + £.(R™, BR). Divemos que f es una aplicacién de clase C*, 0 & veces continnamente diferenciable, y excribivemos { € C*, cuando / fuera continua. Por conveniencia, C® indicara el conjunto de las oplicactones condinuas. Definimios la importante clase C= de las aplicaciones safinitamente diferenciables como si fuera Ja interseccién de todas las clases C* : C° = Cnc nen. Asi f € C™ si, y solamente si, posee derivaclas de todas las ordenes en cada punto de U. Es claro que C.-C CAC CH colo. Frocuentemente os necesavio usar una notacién mas clara y entonces on vez de C*, se escribe C#(U,IR") para indicar el conjunte de todas las aplicaciones f: U — R que son k veces continuamente diferenciables Las roglas elementales de diferenciacién (vee mids adelante) muestran que cacla O*(U,R") es un espacio vectorial real (de dimension infinita) y que la derivacién f — Df = J" es una transfounacién bneal D: C*(U,R) — c"(, C(R™,R")). Entre todas las clases, C* es Ja tiniea que es invatiante por derivacién f € C® implica f’ € C%*. Esto la hace especialmente interesante. Una clase también importante, mas restringida que C™, es la de las aplicaciones, analiticas. No vamas a trabajar mucho con aplicaciones analiticas aqui pero algunas palabras sobre ellas serdn dichas en el Capitulo 11. 3.3 Bjemplos 1) Sea J U RM daca por F(x) = (F(a)... (@)) Entonces f € GM si, y solamente si, cada coordenada ft: U R es de clase C# Si este es el caso, fO(2) = DOF(e) = (DM F(x)... DD I%(a)), donde xe Ve p= 1... 2) Toda transformacién lineal f: &" -+ RY es de clase C™, pues 71: R™ — £(B™,B") os constante (es conocido que, f"(e) = f para todos los x € R™), por lo tanto fl") =0 para k > 1. Andlogamente, toda transformacién bilinesl g: R" xR — BP es de clase CO porque g's RR" — £(R™ xR", RP) es una transformacién lineal (ef. Ejem- plo 3, Capitule 2) EIEMPLOS 2 8) Sea f: RY — R una foncién polinomial, esto es, para = = (e!,..,,2") 4) 5) aed Al) = Ey, (1)... (4°)im. Dato h = (ht AME « Podemos, con un desarrollo elemental, eolocar: f(z -+ i Fa) + P(x) --h+r(x,h), donde P(x)- hes la suma de todos Jos térming eal 1(54+) de primer grado tsltivamente a hy Nleghy cores ae tn polinomio en A, tiene todes los téinnas de grado > 1 PUSh ne fo) (cuyos Senenios son polinomios en z) actuando en el vector A. fe Sigue que f es diferenciable y f'(x) = P(x), tues of" ° 0 s¢ f © C. "Esio murstta mie toda foros pagennte £ EO.2 8 Pero ends coordenada de Je también use lusode pallet Soe lo a fe Ch estoes, f EC? ¥ asi sucesivamente. Entonces J € C* para cada k > 0, luego f € C°. Definimos una aplicacién Polinomil f:™ —~ RY come aquls coves coord pei Polinomiales. Transformaciones Polinomiales son por lo tanto de cl: = ©%. Definiende el grado de une funeién polsenel pa pe a usual, vemos que si el grado de f es BP entonces f() = 0 para > p+. Observe en particular que ls eohecenee stratcat aplicaciones polinomiales de grado p. " Ninguna de Jas inclusiones C+ UR") c CXU,R igulded Por gompo, sen U ~*~ RY Sesion ian fe: BR definidas como se sigue: — tt, sex>0 10 la fancisn fo es discontinuay Ff, 6s continun, pero no os di en el punto'0, luego f, € C3 — Cl Ba general, como i; eee tenemos fe € O! pato fy ¢ OF . — ie Un ejemplo ards sofsticado es el de las funciones ge(8) = ¢ em S140, o4(0)=0, b= 01,3, Emons 9 6° 9 pn E> 0, gases € C! pero deja de pertenecer 2 OF! porque'ss (Kt I), ima devivada no existe en el punto 0. Por otra lado, gress tivss ure (& + 1)-ésima derivada en todos los puntos pero no periences a runt orque su derivada no es continua en 0 Si 7 C Res un intervalo abierto yf: J —+ Rm = RY es un cainino de Ch entoness, para cada j = 1,...,h, la jdsimna derivada (4), on 7S Jee iin un vector eu of R™. En etecto, J's J RY on22, CLASES De OIPERENCIABILIDAD un camino, asi f’,J”, ete. también son carninos. (Vea el cjem- plo 8, Capitulo 2.) Si f(t) = (F*(¢),...,£(8)) entonces DUI J(t) (DO ["(e),..., DELJ*(t)). Bl vector D?/ (i) es llamado aceleracién del camino fen el instante &. 3.4 Observacién sobre caminos seccionalmente difer- enciables Viado un camino f: (a, 0] +B, decimnes que f es diferenciable a la derecka var um punto ¢ € (a8) cuando el limite lateral (ct) = tim EAM = Lo) S(et)= a existe Mammunos #(e*) de detivada de f a ta derecha en Histo, es claro, hace sentido solamente para ¢ # & Una afirinacién equivalents os MeN = H+ HCY barb), donde jin, =o Ansilogaaente se define Ta derivada a la inquierda [/(e~), en el punto He fall Vor cemplo, el camino f; [-1, +1] + B dado por f(z) = |x), tiene is laterales ((0*) = 1 f'(0-) = -1 en el punto z = 0. BI vawiny J: [1,41] = R, definido por fle) = xsent/z, (J(0) = 0) no swiw dorivadas laterales en 2 = 0 Un camino J: fa,8] + BM es Namado secctonatmente diferenciable ‘aiuto es continue y diferenciable a menos de un ntimero fnito de pun 16: F4y.-.ytr € [0,6], en los cuales exister las derivadas laterales f"(a) v J"(e, }. Esto es equivalente a decir que f es continuo y existen a'= fur) So p41 ¥ prom. Coneluya Sea f:R3 — R definida por f(x,y,2) = 32? + 2y? + 2x2 427, Para ton punto arbitrario p = (x,y, 2) € R¥, determine J"(p) - (h,k), donde heR? ykER®. Muestre que f"(p)-(h,h) > Osih #0. Sea f: R? — R definida por f{2,y) = e*(cos? y — sen®y). Considere Ja forma bilineal A: R? x R? +B, donde A= f"(0,0). Determine dos vectores 1 = (wu?) y v = (u,v) tales que A(u,u) > 0 y Alu.) < 0. Sea f: RS +R definida por f(x,y, = wyz, Caleule 2: R3 £(R?;R) sR £o(R*R), JSR £y(RR) a) Sea fs £(R™) + £(R™) definida por f(X) = X®. Dados arbitraria- mente X, H, It, L, M,N en £(R™), determine f'(X)-H, f"(0)-(H, K), LX) (HD), FX) (HKLM) y FOX) HL, M,N) bb) Consicere, ahora, f(X) = X* y pruebe que kt [POX s ey24. CLASES DF DIFERENCIABH.IDAD | fr U + R® k veces diferenciable y T: RY — BP Sean UC R™ abierto, =TojM 1k, 0 tiene (To ft R” 4 B® plineal. Defina f: B™ = O/ml) Ate, = ). Caleule as derivadas sucesivas f(z) Capitulo 4 La regla de la cadena E Je Ia segla de la cas siguiente teorema es la versién intrinsec: an U CR™ yV CR” conjuntos abiertos, f: 1 > Bt nto EU, con (U) CV, yg: V fiz) € V2 Butuness Teorema 4.1 una aplicacién diferenciable en RP una aplicacién diferenctabl la aplicactén compu aye F(x) 5 diferenciable en el pumlo it y 90 A)" n otras palabras: La derivada de la aplicacién compuesta ex In com puesta de las dlerivadas. DEMOSTRACION 1. Podeies escribir LEHR) = fla) + F(2)- N+ ell) [A], coo. Him ath) = 0 ay +) = o(v) +al(y)-k+o() |, com fim o Entonces (90 fll +h) = oC Fle) + F(x) A+ off) - Al) Sea shor + (ht) «hl. Lucgo: (G0 fle+h) = aly +k) = aly) +9) FG) + 9'(y) alt) [ib] + ob) - ft] Df w(t = (92 Ale) | [olyTet tte 26 La RECLA DE La CADENA donde 118) = 910) (8) +0(8) [PF + lt Sih — 0 entonces k — 0 y f"(2)- (a/|hl) es limitada. Por to tanto im 7(h) = 0, probando el teorema, Corolario 1. Sif: U — RY, 9: V RF son ambas de clase C y F(U) V, entonces go f: U — BP es también de clase C* En efecto, la expresin (9 0 f)'(2) = g'(f(2)) 0 f"(x) muestra qe (go f= wed U — C(R™,RP) donde p: £(R",RP) x LIRR") £{R™, RP) es la multiplicacién (composicién) de transformaciones linea- es y Az US £(R™,RP) x £(R,R") esti dada por sus coordenadas A= (g'of, {"). Sabemos (Ejerplo 2, Capitulo 3) que € C%. Supongamos une el coralario esté probado para la clase C—, (Es abvio para k = 0.) Entoness, dadas f,g € C*, tenemos g'o f, f € CA! luego A € CF (Vea Bjemplo 1, Capieulo 3.) Por fo tanto (90 f)' = noAE CF, lo que inuifica ge € C* APLICACION: Usernos el corolario anterior para mostrar que la inversién «le teansformaciones Tineales es una aperaciin C™, Sea f: CL(RM) — (R™) Ja inversign: F(X) = X-! Para facilitar, escribamos £ Z(L(R™), C(R™)) y consideremos la aplicacién lineal g: £(R™) x £(R™) 1, que asocia a cada par (YZ) de elementos en £(R™) el elemen- lo 92) € B tal que g(¥,2)-H =Y-H-Z. Sabemos (Bjemplo 4, capitulo anterior) que f es diferenciable y que su detivada es f” = #0(F, f): GL(R™) — , donde (f, (Xi = (F(X), $00) = (X71, X7), us lara que J € C®. Supongamos por induecién que / € C*1," Como 4 G®, le igualdad J" = —g 0 (f,f), junto con el corolario, muestran que f © OF, luego f € C*, Esto prueba que f € C* para todo k, por lo unto, Ie inversign fs X — X-1 es de clase C™, Corolario 2. Sea f: U — RY diferencichle en xo € U. Dado v € R™, sear: t+ a(t) un camino en U, diferenciable en t = 0, con z(0) = 20 y (0) =v. Bntonces f"(o)-v es el wector velocidad del earnina t+ f(x(t)) ents LA REGLA DE LA CADENA 27 En efecto, el vector velocidad del camino t+ f(x(t)) en Os la derivada (fe2)'(0) = f'(x0) -2'(0) = #'(z0) -v Nora: Este corolario generaliza el modo geomeétrico de ealeular f'(c)-v Vea al final del Ejemplo 8, Capitulo 2. Alli, el earnino +(e) tiene la forma tray tty, Corolario 3. Sea f: U +R" diferenciable en x € UCR y suponga que J admite una inversa q =f: V+ R™, V CRY, (esto es, FU) = V, WV) =U, fog =idy y.90f = idy) la cual es diferenciable en el punto v= f(z). Butonces f'(x): R™ — R" es un isomorfisme cuya inversa es a'(y): RY +R. Bh particular, m =n. En efecto, como (idy)’ = idan y (idv)" = ide las relaciones fog = idly y 9° f = idy implican, por el Teorema 4.1, que f(x) 04(y) = iden y 9'(y) © F"(x) = idem, luego f"(z) y o/(y) son isomorfismes, siendo uno el inverso del otro. Corolario 4. (La antigua rogla de Ia cadena.) Bn el Teorema 4.1, suponga gue f= (PP) 99 = (9-0). Entonces, para cada t= py 31,3, tenemos AEG" OD) 9 8 (yay OF aa = Lalas Esto es una consecuencia inmediata del Teorema 4.1 y, que la mattia de la compuesta de dos transiormaciones lineales es el producto de las matrices de las transformaciones, DSU. CRM y J; U oR es cifcenciable en punto = € J, entones su Aerivada 2): RR eum endomorfsmo (estos una teasoreaien lineal de on espacio ons! msino)ytene sentido haat Gesu determinant, des(a). Bl es lamade deterninentejenbino de f 29 pu se colevlodoweando la mati acobiana J/(2) = [824(2)} Se ene de oro lio anterior, qu el determinant jacoblano dela apiaiéncompuesta x stpwodueto ele determinantsjcnblanos dels epzaciones qu caace28 LA REGLA DE LA CADENA fa notacién elisiea del Célculo Diferencial ~ un poco menos exacta que ln nuestra, pero sugestiva y de acuerdo con a préetiea (entonces universal) de onfatizar cantidades (“y es una fuscién de") en vex de aplicaciones (*/ lleva 2 en y") - seria la siguiente, para c! Corolerio 4: Los puntos Gel primer espacio, , serfan estritos como “c", y los puntos del segundo espacio, R, como “yas funciones f*soxfanescrtas camo y"(= y"(z)). Lo. dorivada 2°20 seria Ia “derivada parcial ce g con respecto a la variable 2", indicada por 3%, La formulacién equivalente del Teorema 4.1 sevia Esta es, sin duda, wna fSrmula atrayente, cuyo precio, todavia. , es el de esconder el simple significado “de transitividad” (o funtorial) del Tearema 4 3) Con referencia al Corolaria 3, tenemos el ejemplo elasico de la funcion FR — B, dada por f(t} =. Bs un homsomorfismo de clase C*, cuyo s + s!/ no puede ser diferenciable en el punto 0 = (0) porque 0 no es un isomorfismo. 4) También con referencia al Corolario 3, concluimos que si Uc R”, V CRY son abiervos y f: U + V es una tiyeccién diferenciable cuye in- versa f?: V = 0 también es diferenciable, entonces m =n, Un resultado Famoso, debido a L.Ed, Brouwer, afirma quesi f: J — V es un homeomor- fismo entre abiertos U CR™ y VCR", entonces m =n. La demostracién es ms dificil Corolario 5. (Reglas elementales de dlferenciacidn.) Sean f.g: U = R* diferenciables en el punto x € UC R™ yA un mtimero real. Entonces J-+9:U — RY y Af: U — B® son diferenciables en el punto x, con Uf + aV(2) = f(a) + '(e) vy AN) = AF). Cuando n= 1 y F(x) #0 para todo x € U, entonces 1/f:U — Res diferencinble en el punto x y O/C) = -(/f@)?)-F'(@). Finalmente, si B: RY xR” — RP es bikineal entonces B(f,q): U > R?, dada por y — Bif(y).ly)), ¢s diferenciable en el punto x y BUF, 9)"(2) b= BU (x) h,ola)) + BUC), 9'(2) A) En particular, cuando n= Ly B: Rx R~ Res la multiplicacién de atimetos reales, BC f,9) = F-9, entonees (f-9)() = ax)-f'(x)+F(2)-9'(@) LA RECLA DE La CADENA» 29 Esto resulta del Teorema 41, si notamos que f +9 = a0 (f,9), Mf = Mo f/f =iof y BU,9) = Bo Cf,9) donde (fg): U — RB es dada por (Lae) = (f(z), 9(2)}, a: RY x BY: RY es dada por a(wu) = ut v, eR" BM es dada por \*(u) = du y i: R- {0} + Res dada por i(f) = 1/t Las aplicaciones a y * son linesles, luego a’(u,v) = a y (°)'(u) = X* para cada u,v © R™ La aplicacion i es la inversin de matrices no singulares 1 x 1. Usanda las Bjemplos 3 y 4 del Capitulo 2, el Corolatio queda probade. Observacién: Una aplicacién bitinenl B: R™ x R" —+ RY puede ser, con ventaja, enftentada como un “producto”. Hajo este punto de vista, es- cribiremos simplemente x-y € RP, en vez de B(z,y). La parte final del Corolario § asumira entonces la forma de la detivadla de un producto y puede ser escrita asf (fF: 9V'{e) = FC) 92) + Fz) 92). La interpretacién de esta férmmulla os la siguiente: dado un vector axbitrario AER™, se tiene (f -9)'(x) Ah = (f"(x) A) - ox) + f(a) -(9'(x)- A). Bjemplo 4.1 Diferenciebilidad de productos internas y normas. Un caso especial del Corolario 5 que merece destayue es la funcién (f, 9): U — R, definida por (f, 9)(x) = (f(2),9(2)). Como el praducto interno (, ): R" x R — Res bilineal, la diferenciabilidad de f y g en el punto x implica «que {f,9) es diferenciable en el punto x, y (f,9j"(n) +h = (f(x) - hy g(e)) + {F(2),9'(z) -h) para todo hE R™ Si tomamos f = 9, vemos que, dada f: U —+ RY difecenciable en x, la funcion [/]?: y+ [F(9)I? = (f(y), fly) #8 diferenciable en el punto x y st derivada es el funcional lineal b+ 2(/"(x) -, f(2)) ‘Atin por fa regla de la cadena, como la funcién ¢ ++ £1/? es diferoncia- ble en los reales positives, se tiene que la norma ful = (u,n)*/2, qnve proviene del producto interno cle R”, es una funcin diferenciable | |: i" — {0} +R. (Observe que el origen debe ser excluido.) La derivada de jul = (u,x)!/ en un punto w 0 ea R” es el funcional lineal hm (hu) /(u,u))/2 Andlogamente, si f: U — R” os diferenciable en el puntos € Uy f(x) 0, tances If: = UCI (70) Stu)” dieenciable en al punto x y AS) ASME, hER™ Bs decir que las funciones w+ |ul? = (usu) yw 1)? sou30 La RECLA DE La CADENA Hle clase °° en R y R* — (0}, respectivamente. Debemos amar Ia atencién a la siguiente observacin: si una norma a R* no proviene del producto interno, entonces ella no es necesariamente ‘inn funeién diferenciable en R— {0}, ni ful? tiene que ser diferenciable en ie Vamos ilustrar este prnto con la norma p(u) = max(lzl,|y[}s » = (sy) € RP. Bote norma deja de ser diferenciable en todos los pun- law de las diagonales 2 = y y 2 = Por ejemplo, en el punto = (1,1) se tiene 9p/8(e*) = 1, 8p/A(es) = 0. Bl grafira de I fancidn n(04) = max(Ir],|yl} puede ser fécilmante visualizado en Bt.” Bs una biniuide de cuatro cavas, infinita, invertita, | Sea UC BR” abierto, Dadas las aplicaciones diferenciables f: U + RM, aU — RP y T:U — £(R".RP), defina Ia funcién real p: U = Ry ‘lefinientlo para cada x € U, o(-) = (P(x) - f(x), o(#)), donde (, } es «l prelucto interno usual de RP. Caleule la derivada g(x): B™ sR. (Pst es, come A € RM arbitrariamente y desctiba y'(z) -h.) Mina UC R™, VC RM abiertes yf: — V, 9: V = RP aplicaciones tins voces dileveneiables. Dado x € U, sea y = f(t) € V. Interprete y slonmestve Ja siguiente igualded (99 FY") = 9") $2) H(z) + 9'(u) - Fla), Wei 1 R™ abjerto. Dada fi U — BR dilerenciable, el gradiente de f ‘wel punto i € U es ol vector u € R™ caracterizad por le propiedad “le «ues producto interne por un vector arbitvario he I oe eval a Ile) Ih O sea, (sh) = $4(0). Una supers de nivel de le funsisn Frown imagen inversa f-¥(5) de un mimero ee R. Procbe ®) Ni lox valores de un camino difetentiable A: J —+ RM estén todos ‘onevidos en la misma superficie de nivel de f entonces cada vector wrlocitat A") es perpendicular al gradiente de J en el punto X(¢) 1) Pijato @ U, entze todos tos vectores h € BR” con (hh) = 1, la slevivd diveccional 3£(2) aleanza su valor méximo cuandin hes've inltiplo pesitivo del gtadiente de f. ,Cudl ee exe valor maxima? LA REGLA DE LA CADENA 31 Sea J: Re — RY dlerenciable, Suponiendo ave f(ts) = ef) para todo + €R™ y todo ¢ € R, pruebe que f es una transformacién lineal Suponga ahora que J es dos veces diferenciable y que f(tz) = 12,(x) para todos €R™ yt eR. Muestre que f es una aplicacién cuadrética, esto 05, que existe B: R" xR" — R" bilineal tal que f(z) = B(x, x) para todo 2 € BR”. Ceneralice inf: RP — R, definida por f(x,y) = Vy, Ef (2,4) pera no es cuadrética. {Por qué? Observacién: La fon satisface In f(tx.ty) Sea UC R™ abierto. Dada j: U — R* dos veces diferenciable, y dado A € B®, la aplicacién y: U — R", definida por (2) = f"(z)-k, es diferenciable y w/(e) = (f"(z)-h) -f. Sea U una bola abierta de centro 0 en R'™. Dada A: U — £(™ 1k") diferenciable, tome x € U y w: (0,1) — C(R™,R") poniendo y(t) Altz). {Cus de Ins dos interpretaciones para la formula y(t) = 'C ses verdadera: il) A= (Al(ex)-2)-h 0 p(k = (Aleta) Whe? Demuéstrela, Gonsidere J: R™ —+ R® de clase C*, tal que f(t2) = t*(x) cualquiera que sean t € R, 2 R™. Decimos entonces que f es k-homogénea. Muestre que cada una de sus derivacas f°) es (K ~ ¢)-homogénea (0 < i =3414 DESICUALDAD DEL VALOR MaDIo Para aplicaciones f: U — R®, con n > 1, no existe una igualdad del valor medio, como muestra el siguiente ejemplo. Hjemplo 5.1 Sea f: R — IR? el camino de clase °° definido por f(t) = © (cost, sent). Su vector velocidad, /'(t) = 1- eM = (—sent, cost), ws distinto de cero para todo ¢ € R Zn efecto, |f'(t)] = 1 para todo 1. Por otro lado, f(2x) ~ f(0} = 0, luego ninguna igualdad de la forms J(2t) ~ (0) = F"(to) 2m podd ser verdadera, Sin embargo, una forma mas débil de teovema del valor medio, formu lula como una desigualdad, es satisfecha para aplicaciones diferenciables JU > Re on general, Este teoveina es tan til como cl resultada clasico, tees cu las aplicaciones raramente ve necesita de la igualdad, debido a que hatha se sabe sobre el niirnero intermediatio tg, ‘Trorema 5.1, (Desigualdad del valor medio.) Sea f: U —~ R* continua rm #f conunto abierto UC R™. $i el sepnento de recta cerrado [a,a + 5] ‘ld contenido en U y f es diferenciable en todos los puntos del seqmento nalierto (a, a+ h), entonces [a+ h) ~ Fa)l < [al ot, Ii'(a + th) DEMOSTRACION. Supongamos, iniciakmente, que f también sea difer- winble en el punto a. Sea #: (0,11 + R" el camino definido por !) = J(a+ th), Entonces ® es continio en (0,1) y diferenciable en 10.1), Come (0) = f(a), H(1) = fa+h) y Ot) = Pat th) - hyo uliiente probar que [®(1) ~ 4(0)| 5 Af, donde M = sup [d(s}|. Bote ri abtenide euando mostremos que (62) ~ &(0}] <°Ht € para todo 1+. Consideremes el eonjunto N= (€€ (0,1); [B(s) — B(0)| < (A + )s para todo s € [0,¢]} {Hs claro que 2X es un intervalo cerrado de Ie forma (0,a]. Debemos apenas tsrar que a = 1, Supongamos, por absurco, que a < 1. Entonces 34> 0 tl que bb <1 y tal que 0 < h< 6 implica b{a +h) = 8(a)-+'(a)-fp ii), donde jr(A)] < &- A. Se tiene que [O(a +h) ~ (a)] < (Af e)h, 0 fh 6. Como a € X, tenemos también {(a) ~ $(0}] < (Mf +e)o. Por wtenty, 0 A < J implica |®(a +h) ~ (| < (AY +e)(a-4 h). Tenienda tw enenta que a € X, esto muestra que todo ath, con 0 h < 5, también nece aX. Contvadiccisa 1A DESICUALDAD DEL VALOR MEDIO 35 De la misma manera demostrariamas el caso en que f es diferenciable en un segmento del tipo (a, 4). Luego, observamos que si ia desigualdad del valor medio vale para (a, 8} y [6,¢), entonces vale para (a,c) Observacién: Cuando f es diferenciable en el segmento cerrado [8], poclemos tomar el sup para 0 0 tal que [Al < 6 implica que el segmenta {2.2 + A] esta contenida en U. (Bs suficiente tomar como 6 el radio de una bola centrada en x y contenida en U.) Entonces, por el teorems, y ya que f/ =0, vemos que Jl < 5 implica [f(e +h) — J(a)| = 0, esto es, IG +h) = (2), donde © +h € X. Por lo tanto X es ablerto y cerrado en U, y no vacio, Como U es conexo, se tiene gue X = U, probando el corolati. Bl siguiente vesultado representa una forma reBinada del ‘Teorema 5.1 Corolario 2. Sea f: U + RY continua en un conjunto abierto UC R™, Si el segmento de recta cerrado (a,a-+ h] estd contenido en U y es diferenciable en todos los puntos del segmento de recta abierto (a,a-+ A), entonces, pora cada transformacién lineal T: R™ + R", es vdlida la siguiente desigualdad: Ifla+h) - f(a) - Tals ome, [f(a+ th) ~ TI -|hy. Para obtener esto, aplicamos Ia desigualdad del valor medio a la apli- cacién g: UB, definida por g(z) = f(x) —T- x Bl caso especial del Covolaio 2 en que f(a) existe y T= J"(a) nos de. una estimacién para el resto r(a,h) = flat A) - fa) f"(a) “A, Vamos & usar esto para mostrar que funciones de clase C} son uniformemente diferenciables en conjuntos compactos. Una aplicacion cliferenciable f: U ~ B* se dice uniformemente diferen- ciable en wn subconjunto X CU evando, para ilu e 2 0, existe un > 0 tal que [r(s,A)| = [f(a-+h) — f(z) — f'(2)-h] < efh} eualesquiera que sean