4 votos

¿La parte negativa de una función convexa es globalmente continua de Lipschitz?

Supongamos que $f:R^n\to R$ es una función convexa. Definir la parte negativa $f^- (x) = |\min\{0, f(x) \}|$ . Es $f^-(x)$ globalmente continua de Lipschitz en $x$ ?

Creo que sí, ya que si no es así, el epígrafe de $f$ no es un conjunto convexo y tenemos una contradicción.

Edición: Permítanme aclarar mi pensamiento. Creo que $f^-$ es globalmente continua de Lipschitz porque si no lo es, entonces el epígrafe de $f$ no es un conjunto convexo. Pero no sé cómo demostrarlo.

0 votos

El hecho de que el epígrafe no sea convexo no es una contradicción -- la convexidad del mismo no es una condición necesaria para la continuidad de Lipschitz. En realidad, estoy bastante seguro de que $f^-$ es (localmente) Lipschitz, ya que los subniveles de las funciones convexas son regiones convexas, por lo que $f^-$ es igual a $-f$ en un conjunto convexo y $0$ globalmente Lipshitz no es necesariamente cierto ya que no es cierto para funciones globalmente convexas.

0 votos

Dejemos que $n=1$ y $f(x)=-x^2$ .

1 votos

@Andrew: $f(x)=-x^2$ no es convexo en x. ¿No?

1voto

max_zorn Puntos 51

Buena pregunta - aquí hay una respuesta parcial: Es cierto cuando $n=1$ .

Esquema de un caso: Supongamos que $a$ es el cero más pequeño de $f$ y $b$ el más grande. Entonces (si se necesitan versiones unilaterales de) $f'$ en $a$ y $b$ son finitos (ya que $f$ es localmente Lipschitz) y como $f'$ es creciente, el conjunto $f'([a,b])$ está acotado. Entonces $\sup \big|f'([a,b])\big|$ será su constante global de Lipschitz para $f^-$ .

Esbozo de otro caso: Supongamos que $a$ es el único cero de $f$ y decir $f'(a)\leq 0$ . Entonces $f'(x)\leq 0$ para $x\geq a$ pues de lo contrario habría otro cero. Como $f'$ es creciente, observamos que $|f'(a)| = \max_{x\geq a}|f'(a)|$ y por lo tanto $f^-$ es continua de Lipschitz con constante $|f'(a)|$ .

No sé si $n\geq 2$ .

0 votos

Gracias. Sin embargo, $f(x) = -x$ es convexo pero tiene un solo cero. Además, la derivada $f'$ puede no existir, por ejemplo, funciones lineales convexas a trozos.

0 votos

Escribí para simplificar $f'$ Si lo desea, puede trabajar con la derivada direccional izquierda o derecha.

0 votos

Ok. Ya veo. Gracias.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X