Clase 16 de diciembre
t) = flt.ylt)), ast sb,
{ ula) =a
Definicién. Se dice que una funcién f(t,y) satisface una condicién de Lipschitz con respecto a la variable y
‘Teoria elemental de P.V.1.
en una regién DC R?, si existe una constante L > 0 tal que
\f(t.un) — f(t,y2)] < Lin — wal
para cualquier (t,y1) y (t.y2) en D. L es Uamada constante de Lipschitz para f en D.
_Biemplo| Demostrar que las siguientes funciones satisfacen una condicién de Lipschitz en la variable y en las respectivas
regiones
[4,3] xR xx g(t.y) =tan71(3t)|seny|, Dz = [-2,2] xR
* f(t-y) =48 tan (2), Dy =
Solucién: + Para verificar si f satisface una condicién de Lipschitz en la variable y en la regién Dy, sean (t,41). (t.u2) € Dy
estoes te [4.3] ym, w ER
i#9| | tan~*(2y1) — tan" (2y2)]
[f(tan) — F(t, yo) = [At tan (2y1) — 449 tan? (2y2)] =
44, Ahora, para acotar | tan~1(2y1)—tan~"(2ye)| empleamos
dado que 4#° es una funcién creciente en todo R,_max, 45
WISEs
funcién tan~!(2z) en [y1. ya) (suponiendo que y; < yg), esto es, como la funcién tangente
cl teorema del valor medi
inversa petfonece a C¥{y1, yo] existe 8 € (yi, y2) tal que
L9)-f y= f Qb-a3
ce!
¥ dado que el valor MSP He la funcién qptgy se aleanza cuando 3 = 0, coneluimos
2
oan - 202)
(yn) — tan" (2ya) =
[f(t.m) — F(t.y2)| < 1024} = yal
Jo cual implica que f satisfacea condicién de Lipschitz en la variable y en la regién Dy con constante de Lipschitz
= we. [pee.4,) -fl4, ) | £44 W-tel
+* Para verificar si g satisface una condicién de Lipschitz en la variable y en la regién Dp, sean (t,41), (t;y2) € Da, esto
este (22) ym. mw eR
Jo(t, yx) — g(t. y2)| = | tan (34) | sen ys| — tan~"(3¢) | sen yo|| = | tan~(3t)||| sen ya] — | sen yal |nevamente la funcién tan“1(3t) es creciente en todo R, unis, |tan™(3)| = tan"(6). Ahora, para acotar el término
| [sen y1|=Isen yl | no podemos emplear el teorema del valor medio puesto que la funcién valor absoluto noes dferenciable
[= loll < few,
asi que primero empleamos la propiedad del valor absoluto: desigualdad triangular inversa, esta es,
asi
lo(t.a1) — g(t. ya)| < tan7"(6)| | sen y1| — | sen yal | < tan~"(6)| | sen yx — sen yo|
oniendo que y1 < y2), esto es, como la funcidn seno
aplicando el teorema del valor medio a In funeién sen = en (yi, ] (
uy = €08 (1 — ya) y dado que |cos 3] < 1, concluimos
pertenece a C![y1, yo] existe 3 € (yi, ya) tal que sen y: — se
la(t.mn) — a(t. y2)| < tan*(6) Jan — vol
implica que g satisface ln condicién de Lipschitz en la variable y en la regién Dz con constante de Lipschitz
loc
L=tan™(6).
Definicién. Una regién D C R? es una regién conveza si para secuonne —
todo par de puntos (th, y1) u (ta, ya) en D la recta que los conecta|
esta totalmente contenida en D, esto es, para todo par de puntos
(tin). (tasun) € D se cumple
(= A)t + Ma, (1 = A) + Ava) € D, VA [0.1].
Teorema. Supongamos que f(t.) estd definida en una regién convera DC R2. Si existe una constante L > 0
tal que
Fe wl 2 < Y. VQ
b
eCH,3) Maxime mds 423 ¥
yer
Paro J woe pruche puss nro arse fat
TEi@maplal Demostrar aue f(t.u) = \/F Fay ~ t satisface una condicién de Lipschitz en la variable v en la resién| Gas He A~ I
[ora J wo prashe puss nro ge wee eT
TERRE Peis ae 0) = VET —1
[2,3] x [-$,00).
face una condicién de Lipschitz en Ia variable y en la regién
no acotad: ida en D ya que t?+4y > 0
Notemos que D es una rei
en Dy f es dif
rectangul
y convexa, f &
iciable con respecto a Ja variable y, asi que podemos aplicar el teorema
[fult.9)|
coneluimos que f satisface una condicién de Lipschitz en la variable y en ta regién D con constante de Lipschitz. L = 3
Teorema. Supongamos que D = {(t,y) €R? : a