$f'(x) < \sqrt{2Mf}$

[Martino]

$f^{''}(x) < M$
integrando
$f^{'}(x) < Mx + C_1$
che si puo' anche scrivere
$f^{'}(x) < M(x + C_1)$.

Ora, siccome li problema e' invariante alle traslazioni su $x$, possiamo effettuare la traslazione
$x \lArr x+C_1$
e scrivere
$f^{'}(x) < Mx$.

Non capisco, per esempio se $f'(x)=2x+5$ allora $f''(x)=2<M=3$ ma non è vero che $f'(x)<Mx$.

Il tuo argomento mostra che $f'(x-C_1)<Mx$, non che $f'(x)<Mx$.

[dan95]

Boh, mi viene da dire che la tua risposta e' ironica.
Anche io non capisco.
Buon proseguimento di serata.

Anche a lei. Gentilmente Martino ha postato un commento che spiega dove sta la falla nel ragionamento.

Non volevo offendere nessuno, perché non era mia intenzione e se l' ho fatto chiedo umilmente scusa e spero che questa sia un occasione per imparare, tutti.

[Mathita]

@dan95. Ci provo con l'hint, anche se avrei preferito trovare un approccio più elementare. Mi ero incaponito nella ricerca di una soluzione che non tirasse in ballo lo strumento che hai suggerito.

Testo nascosto, fai click qui per vederlo

L'idea è piuttosto semplice. Nelle condizioni in cui ci troviamo vale la seguente uguaglianza: per ogni $x\in\mathbb{R},h\in\mathbb{R}\setminus\{0\}$, esiste $\xi$ in $(x,x+h)$, se $h>0$,o in $(x+h, x) $ se $h<0$ tale che $$f(x+h)=f(x)+f'(x)h+\frac{f''(\xi)}{2}h^2,$$ da cui, sfruttando la disuguaglianza $f''(x)\le M$, ricaviamo la seguente $$f(x+h)\le f(x)+f'(x)h+\frac{M h^2}{2}.$$ Dato che per ipotesi $f$ è positiva in $\mathbb{R}$, si ha che $f(x+h)>0$, per ogni $x\in\mathbb{R}$ e per ogni $h\ne 0$, sicché deve valere $$f(x)+f'(x)h+\frac{Mh^2}{2}>0, \quad \forall h\in\mathbb{R}.$$ Trattando il primo membro alla stregua di un polinomio in $h$ e parametrico in $x$ e $M$, esso risulta positivo per ogni $h$ se e solo se $M>0$ (e lo è per ipotesi) e $\Delta<0$, vale a dire $(f'(x))^2-2M f(x)<0$, da cui $|f'(x)|<\sqrt{2M f(x)}$ per ogni $x\in\mathbb{R}$... C'è un valore assoluto di troppo, dovrei dimostrare che $f'(x)$ è non negativa per ogni $x\in\mathbb{R}$, ma nun c'ho voglia .

Edit: ho detto una cavolata. $|f'(x)|<\sqrt{2M f(x)}$ implica $f'(x)<\sqrt{2M f(x)}$ per ogni $f$ che rispetta le ipotesi.

[dan95]

@mathita

Allora... La questione è questa... Anche io lo avevo risolto così ma un utente mi ha fatto notare che


$f(x_0) + f'(x_0)h+\frac{f''(x_0)}{2}h^2$



potrebbe non essere sempre positiva

[Mathita]

Intanto ti ringrazio per aver posto il problema: mi sta piacendo un sacco e ho (ri)scoperto tante disuguaglianze che avevo studiato per analisi numerica . Peccato, sembrava una così bella idea. Tuttavia, non ho colto il bug nella dimostrazione. Se fisso $x\in\mathbb{R}$, per ogni $h>0, f(x)+f'(x)h+Mh^2/2>0$, no? Inoltre, segnalo che il coefficiente di $h^2$ non è $\frac{f''(x_0)}{2}$, bensì $\frac{f''(\xi)}{2}$. L'esistenza di $\xi$ è garantita dal teorema di Taylor (scusami se sono didascalico, lo dico più che altro per esplicitare i miei ragionamenti).

[dan95]

@Mathita

Sorry, non mi ero accorto di $\xi$ al posto di $x_0$ che poi è la parte che mi mancava per togliere la lacuna alla dimostrazione, quindi è ok!

[Mathita]

Ciao Dan, in effetti un bug c'era: io avevo imposto h>0, che di fatto mi impediva di concludere che la positività del trinomio fosse garantita dalla negatività del $\Delta$. Ho modificato il messaggio da cellulare. Spero che sia tutto ok, ora. Ancora grazie per aver posto il problema.

[dan95]

Mi fa piacere che ti sia piaciuto