Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tarea 1
Tarea 1
Tarea 1
25 de noviembre de 2010
P1. [40 %] Sea X un espacio de Banach y sea C([0, 1]; X) el espacio de Banach de las funciones continuas x : [0, 1] → X
dotado con la norma del supremo kxk∞ . Para a, b ∈ X definimos el conjunto de pasos desde a a b por
Sea S ⊂ X cerrado, diremos que S separa dos puntos a y b en X si ∃U,V abiertos disjuntos de X tales que
X \ S = U ∪V , a ∈ U y b ∈ V.
Teorema 1. Sean a, b ∈ X y f : X → R una función continua y Gâteaux diferenciable tal que su diferencial de Gâteaux
f 0 : (X, k · k) → (X ∗ , σ(X ∗ , X)) es continuo (fuerte- ∗ débil). Defina
Suponga que S es un subconjunto cerrado de X tal que S ⊂ {x ∈ X : f (x) ≥ c} y S separa puntos. Entonces existe una
sucesión (xn ) en X tal que
i) d(S, xn ) → 0 cuando n → ∞,
ii) f (xn ) → c cuando n → ∞,
iii) k f 0 (xn )k∗ → 0 cuando n → ∞.
El objetivo del problema es probar este resultado, para ello proceda como sigue:
4
Sea δ = 21 mı́n{1; d(S, a); d(S, b)} y ε ∈ (0, δ), tome x̄ ∈ Γ(a, b) tal que máx{ f (x̄(t)) : t ∈ [0, 1]} < c + ε4 . Defina
ϕ(x) := máx{ f (x(t)) + h(x(t)) : t ∈ [0, 1]} con h(x) = ε máx{0, ε − d(S, x)}.
2
a) Muestre que ı́nf ϕ ≥ c + ε2 y que ∃z ∈ Γ(x̄(α), x̄(β)) tal que ϕ(z) ≤ c + ε4 + ε2 .
Γ(x̄(α),x̄(β))
ε
b) Muestre que ∃y ∈ Γ(x̄(α), x̄(β)) tal que ϕ(y) ≤ ϕ(z), ky − zk∞ ≤ 2 y que
ε
ϕ(y) ≤ ϕ(x) + kx − yk∞ , ∀x ∈ Γ(x̄(α), x̄(β)).
2
1
d) Sea M(x) = {t ∈ [0, 1] : x(t) = m(x)}, pruebe que m es una función convexa continua sobre C([0, 1]; X) cuyo
subdiferencial viene dado por
∂m(x) = {µ ∈ M ([0, 1]; X) : µ medida de probabilidad tal que sop µ = M(x)}}.
Con esto, muestre que
Z
3ε 0
− ≤ ı́nf máx h f (y), ηidµ : µ ∈ ∂m(k), kηk∞ ≤ 1, η(0) = η(1) = 0 .
2 η µ
e) Pruebe que
3ε
− ≤ mı́n{k f 0 (y(t))k∗ : t ∈ M(k)},
2
concluya que ∃t¯ ∈ M(k) tal que
3ε
k f 0 (y(t¯))k∗ ≤.
2
Indicación: justifique el intercambio de orden entre ı́nf − máx y muestre que M(k) ∩ {0, 1} = 0.
/
5 2 3
f ) Defina xε = y(t¯) y muestre que c < f (xε ) < c + 4 e y que d(S, xε ) < 2 ε. Concluya.
P2. [20 %] Sea X un espacio de Banach, S un subconjunto de X y f : X → R una función Gâteaux diferenciable. Diremos
que f satisface la condición de Palais-Smale cerca de S al nivel c si cada sucesión (xn ) en X que verifica que i), ii) y iii)
de P1 tiene una subsucesión convergente. Explique qué otras consecuencias se obtienen en el teorema 1 si agregamos la
hipótesis que f cumple la condición de Palais-Smale cerca de S al nivel c.
P3. [40 %] Consideremos un conjunto poliedral en Rn dado por PA,b := {x ∈ Rn : Ax ≤ b}, donde b = (b1 , ..., bm ) ∈ Rm y
A ∈ Mm×n cuyas filas se denotaran por aT1 , . . . , aTm con ai ∈ Rn para cada i = 1, ..., m.
Usando esto, muestre que λmı́n (A) es la mayor constante τ > 0 que satisface
τd2 (x, PA,b ) ≤ kAx − bk2 ∀x ∈ Rn .