Funzioni convesse, derivate

SteezyMenchi
Sia $f$ convessa in un intervallo $I$.
1. Dimostrare che se ha due punti di minimo in $I$ allora esiste un intervallo dove $f$ è costante.
2. Dimostrare che se ha massimo in $I$ allora è assunto agli estremi del dominio.
Parto dal punto due per favore ditemi se la dimostrazione è corretta:
dato che la funzione è convessa in $I$, allora la $f'$ è sicuramente debolmente crescente in $I$. Supponendo che $x_0$ sia di massimo per $f$ e che si trovi nell'interno di I, $f'(x_0) = 0$ e siccome f è convessa allora $f'(x_0-\delta) <= f(x_0+\delta), \delta \in R$). Ma se $x_0$ è di max ed è interno ad $I$, f' negli intorni sinistro e destro di $x_0$ dovrebbe essere rispettivamente $>0 e <0$. Ma ciò è assurdo perciò il punto di max deve essere assunto necessariamente agli estremi di $I$.

Il punto 1 non sono riuscito a provarlo formalmente mi servirebbe un aiuto.
Grazie mille a chi mi aiuterà
(Ho la vaga impressione che la mia dimostrazione del punto 2, qualora fosse corretta, sia un po' lunga e sono sicuro ci sia una soluzione più elegante e veloce, se ne avete una fatemelo pure presente).
Grazie mille a chi risponderà :heart:

Risposte
ghira1
"SteezyMenchi":

dato che la funzione è convessa in $I$, allora la $f'$ è sicuramente debolmente crescente in $I$.

$f'$ potrebbe non esistere in alcuni punti. Con un po' di impegno, potrebbe non esistere in MOLTI punti.

gugo82
Beh, ma non usare Fermat... Una funzione convessa/concava è sì derivabile, ma solo quasi ovunque nel suo intervallo di definizione.
Prova ad usare la definizione di funzione convessa, i.e.:

$AA x_0 <= x_1 in I,\ t in [0,1] => f((1-t)x_0 + t x_1) <= (1-t) f(x_0) + t f(x_1)$

ossia:

$AA x_0 <= x <= x_1 in I,\ f(x) <= (x_1 - x)/(x_1 - x_0) f(x_0) + (x - x_0)/(x_1 - x_0) f(x_1)$,

e prova a ricavare che se $f(x_0) = min_I f = f(x_1)$ allora $f(x) = min_I f$.

SteezyMenchi
puoi spiegarmi cosa hai fatto per ottenere la disuguaglianza dopo l'ossia. Il mio professore non ha usato la tua stessa dimostrazione. Per il resto dovrebbe venire $f(x) <= \min f ((x_1-x_0)/(x_1-x_0))$ e quindi, per def. di minimo $f(x) = \min f$

gugo82
"SteezyMenchi":
puoi spiegarmi cosa hai fatto per ottenere la disuguaglianza dopo l'ossia.

Qual è l'unico valore di $t$ tale che $x=(1-t) x_0 + t x_1$?
E, trovato questo $t$, come si riscrive la disuguaglianza di convessità con $x$ al posto di $(1-t) x_0 + t x_1$ al primo membro ed il valore appropriato di $t$ al secondo?

"SteezyMenchi":
Il mio professore non ha usato la tua stessa dimostrazione.

E cosa importa?

"SteezyMenchi":
Per il resto dovrebbe venire $f(x) <= \min f ((x_1-x_0)/(x_1-x_0))$ e quindi, per def. di minimo $f(x) = \min f$

Non si capisce cosa hai scritto.
Ad ogni buon conto, entrambe le versioni della disuguaglianza di convessità implicano che se $f(x_0) = alpha = f(x_1)$ allora per ogni $x_0 <= x <= x_1$ hai $f(x) <= alpha$; se $alpha = min_(x in I) f(x)$ allora hai anche $alpha <= f(x)$ e concludi per confronto.

Se serve una mano sulle funzioni convesse, puoi vedere qui.

SteezyMenchi
Il libro è davvero ben fatto grazie mille per avermelo consigliato Gugo

Fioravante Patrone1
"SteezyMenchi":
Il libro è davvero ben fatto grazie mille per avermelo consigliato Gugo

Eh, gugo82 conosce un sacco di libri!

Io non lo conoscevo, bello. Un piccolo Rockafellar

gugo82
"SteezyMenchi":
Il libro è davvero ben fatto grazie mille per avermelo consigliato Gugo

Libro? :shock:
Trenta paginette di appunti scritti da me? Andiamo bene... :?

Grazie per il complimento, comunque. :wink:


@FP: Il Rockafellar c'è consigliato, insieme al Webster (che pure è carino), in bibliografia a fine note.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.