Pagina 1 di 2
$ |f'(x)|\leq M|f(x)|$
Inviato: 01 feb 2011, 20:17
da ndp15
Spero non sia troppo conosciuto e probabilmente può essere generalizzato in qualche modo, anyway:
Sia $\displaystyle f \in \mathit C^1 ([a,b]), f(a)=0$ e si supponga esista una costante $ M>0$ tale che $ |f'(x)|\leq M|f(x)|$ in $ [a,b]$. Provare che $ f$ è identicamente nulla in $[a,b]$.
Re: $ |f'(x)|\leq M|f(x)|$
Inviato: 01 feb 2011, 21:38
da dario2994
Alur... vorrei capire come si dimostra formalmente una roba del genere... a me viene da considerare $c=\inf\{x\in [a,b]\ :\ |f(x)|>0\}$ e mostrare che $f(c)=0$ e che se $c\not= b$ allora $f'(c)\not=0$ da questo deriverebbe la tesi, perchè in $c$ non valgono le ipotesi.
Ora... $f(c)=0$ è vero per la continuità di $f$, perchè prendendo il limite dal basso avrei un assurdo se non valesse 0.
Invece non sono certo che $f'(c)\not =0$ e non saprei neppure come mostrarlo...
Re: $ |f'(x)|\leq M|f(x)|$
Inviato: 01 feb 2011, 21:48
da edriv
Ma c non era tale che $|f(c)| > 0$? Perchè vuoi dimostrare adesso che $f(c)=0$?
Re: $ |f'(x)|\leq M|f(x)|$
Inviato: 01 feb 2011, 21:56
da dario2994
Uhm... ma il minimo di un insieme potrebbe non farne parte...
Dato che lo scrivi tu, qualcosa non mi quadra
... forse ho sbagliato a scrivere min? la notazione è un'altra?
Insomma $min\{x\in R:\ x>0\}$ è proprio 0...
EDIT: OPSSSSSSSSSSSSSSSSSSSSSSSSS quel min sarebbe un inf... ecco il problema
Re: $ |f'(x)|\leq M|f(x)|$
Inviato: 01 feb 2011, 22:35
da edriv
Ok, per quanto riguarda $f'(c)=0$, consiglio di considerare $x^2$.
Re: $ |f'(x)|\leq M|f(x)|$
Inviato: 01 feb 2011, 22:37
da dario2994
edriv ha scritto:Ok, per quanto riguarda $f'(c)=0$, consiglio di considerare $x^2$.
Yep, c'avevo pensato nel frattempo... peccato, tentativo banale fallito
Re: $ |f'(x)|\leq M|f(x)|$
Inviato: 02 feb 2011, 00:02
da amatrix92
Bo, nella speranza di non scrivere assurdità ci provo:
Considero l'intorno destro di $ a $, $ \displaystyle \lim_{x\to a^+} f(x) = 0 $
Faccio ora 2 casi:
Caso 1) $ f_+^' (a) \neq 0 $
In questo caso non varrebbe mai $ |f'(x)|\leq M|f(x)| $. quindi deve essere per forza il caso 2.
Caso 2) $ f_+^' (a) = 0 $, faccio ora lo stesso discorso per il punto successiva e così via per tutti i punti fino a $ b $. ma a questo punto se la funzione è continua e derivabile e se $ f'(x) = 0 \ \ \forall x $ appartenenti a $ [a,b] $ allora $ f(x) = k $ (la dimostrazione di questo fatto è facile e ovvia) ma essendo $ f(a)=0 $ allora $ f(x)= 0\ \ \forall x $
Re: $ |f'(x)|\leq M|f(x)|$
Inviato: 02 feb 2011, 11:48
da EvaristeG
@amatrix:
nel caso 1. perché non varrebbe MAI? mi vien da dire che non vale in x=a
nel caso 2. cos'è il "punto successivo"?
Re: $ |f'(x)|\leq M|f(x)|$
Inviato: 02 feb 2011, 13:51
da dario2994
Bueno, aggiustato la dimostrazione...
Sia $c=\inf\{x\in[a,b]:\ f(x)\not=0\}$, se tale c non esiste allora vale la tesi.
Per la continuità di f $f(c)=0$.
Esiste $d>c$ tale che $\forall x\in (d,c):\ f(x)\not=0$ (altrimenti $c$ non sarebbe inf). In particolare esiste un tale $d<\frac{1}{M}$... lo chiamo e.
Per la continuità di f nell'aperto $(c,e)$ la funzione è limitata, quindi anche il suo modulo lo è. Considero il massimo del suo modulo, che ad esempio è in $y\in (c,e)$ allora esiste un $x\in (c,y)$ tale che $|f'(x)|\ge |\frac{f(y)-f(c)}{y-c}|$ ora trasformo l'RHS e applico l'ipotesi su LHS ottenendo: $M|f(x)|\ge |\frac{f(y)}{y-c}|> |M\cdot f(y)|$ da cui $|f(x)|>|f(y)|$ che è assurdo perchè y era il massimo...
Re: $ |f'(x)|\leq M|f(x)|$
Inviato: 02 feb 2011, 16:21
da ma_go
dario2994 ha scritto:Esiste $d>c$ tale che $\forall x\in (d,c):\ f(x)\not=0$ (altrimenti $c$ non sarebbe inf).
beep. così come è scritto, questo è falso.
Re: $ |f'(x)|\leq M|f(x)|$
Inviato: 02 feb 2011, 16:47
da dario2994
Uff... ciò fa fallire tutto
Re: $ |f'(x)|\leq M|f(x)|$
Inviato: 02 feb 2011, 16:53
da dario2994
Ma in effetti non usavo quella roba da nessuna parte... forse questo aggiusta...
dario2994 ha scritto:
Sia $c=\inf\{x\in[a,b]:\ f(x)\not=0\}$, se tale c non esiste allora vale la tesi. Inoltre per la continuità di f $f(c)=0$
Pongo $d=c+\frac12\min\{b-c,\frac{1}{M}\}$
Per la continuità di f nell'aperto $(c,d)$ la funzione è limitata, quindi anche il suo modulo lo è. Considero il massimo del suo modulo, che ad esempio è in $y\in (c,d)$ allora esiste un $x\in (c,y)$ tale che $|f'(x)|\ge |\frac{f(y)-f(c)}{y-c}|$ ora trasformo l'RHS e applico l'ipotesi su LHS ottenendo: $M|f(x)|\ge |\frac{f(y)}{y-c}|> |M\cdot f(y)|$ da cui $|f(x)|>|f(y)|$ che è assurdo perchè y era il massimo...
Re: $ |f'(x)|\leq M|f(x)|$
Inviato: 02 feb 2011, 17:12
da amatrix92
EvaristeG ha scritto:@amatrix:
nel caso 1. perché non varrebbe MAI? mi vien da dire che non vale in x=a
Sì certo mi sono espresso male, intendevo che in x=a non viene mai.
nel caso 2. cos'è il "punto successivo"?
Lo stesso discorso che ho fatto in x=a, dimostrando che $ f_+^' (a) \neq 0 $ posso farlo, visto che la funzione è continua, in tutti gli altri punti dell'intervallo, cioè in tutti gli $ x=a+h $ con $ h $ punto generico tale che assuma tutti i valori $ 0<h \leq (b-a) $
Re: $ |f'(x)|\leq M|f(x)|$
Inviato: 02 feb 2011, 18:34
da SkZ
dario2994 ha scritto:Bueno, aggiustato la dimostrazione...
Sia $c=\inf\{x\in[a,b]:\ f(x)\not=0\}$, se tale c non esiste allora vale la tesi.
Per la continuità di f $f(c)=0$.
Esiste $d>c$ tale che $\forall x\in (d,c):\ f(x)\not=0$ (altrimenti $c$ non sarebbe inf). In particolare esiste un tale $d<\frac{1}{M}$... lo chiamo e.
Toglimi un dubbio:
abbiamo $a\leq c$ per costruzione e $c<d<\frac1M$ per ipotesi, ergo $a\leq c<d<\frac1M$ ergo $a<\frac1M$ che non mi torna
intendevi $d-c<\frac1M$?
Re: $ |f'(x)|\leq M|f(x)|$
Inviato: 02 feb 2011, 18:38
da dario2994
SkZ ha scritto:dario2994 ha scritto:Bueno, aggiustato la dimostrazione...
Sia $c=\inf\{x\in[a,b]:\ f(x)\not=0\}$, se tale c non esiste allora vale la tesi.
Per la continuità di f $f(c)=0$.
Esiste $d>c$ tale che $\forall x\in (d,c):\ f(x)\not=0$ (altrimenti $c$ non sarebbe inf). In particolare esiste un tale $d<\frac{1}{M}$... lo chiamo e.
Toglimi un dubbio:
abbiamo $a\leq c$ per costruzione e $c<d<\frac1M$ per ipotesi, ergo $a\leq c<d<\frac1M$ ergo $a<\frac1M$ che non mi torna
intendevi $d-c<\frac1M$?
Leggi la nuova, quella che ho piazzato qualche messaggio fa in citazione (senza motivo logico poi...) li ho corretto