Uno Sfizioso Teorema del Valor Medio

Messaggioda gugo82 » 23/05/2017, 16:24

Problema:

Sia $f:[a,b] -> RR$ una funzione continua e derivabile in $[a,b]$1.

1. Provare che se \(f^\prime (a) = f^\prime(b)\), allora esiste un punto $\xi in ]a,b[$ tale che:
\[
f^\prime (\xi) = \frac{f(\xi) - f(a)}{\xi - a}\; .
\]

2. Fornire un'interpretazione geometrica del punto 1.

Note

  1. La derivabilità negli estremi è definita come derivabilità da destra in $a$ e derivabilità da sinistra in $b$.
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Cannot live without
Cannot live without
 
Messaggio: 17920 di 44916
Iscritto il: 12/10/2007, 23:58
Località: Napoli

Re: Uno Sfizioso Teorema del Valor Medio

Messaggioda Rigel » 24/05/2017, 18:37

Testo nascosto, fai click qui per vederlo
Non mi sembra la soluzione ottimale, comunque la scrivo lo stesso :)
Consideriamo la funzione
\[
h(x) := \begin{cases}
\frac{f(x) - f(a)}{x-a}, &\text{se}\ x\in (a, b],\\
f'(a), & \text{se}\ x = a.
\end{cases}
\]
Tale funzione è continua in $[a,b]$ e derivabile in $(a,b]$.
Osserviamo inoltre che la sua derivata è
\[
h'(x) = \frac{f'(x)(x-a) - (f(x) - f(a))}{(x-a)^2},
\qquad \forall x\in (a,b].
\]
Supponiamo, per assurdo, che la tesi non sia vera.
Questo implica, in particolare, che \(h'(x) \neq 0\) per ogni $x\in (a,b]$.
Per il teorema di Darboux avremo necessariamente che $h'$ ha segno costante in $(a, b]$, dunque che $h$ è una funzione strettamente monotona in $[a,b]$.

Supponiamo, per fissare le idee, che \(h'(x) > 0\) per ogni $x\in (a,b]$, cioè che
\[
f'(x) > \frac{f(x) - f(a)}{x-a} = h(x) \qquad \forall x\in (a, b].
\]
In particolare, avremo che $f'(b) > h(b) > h(a) = f'(a)$, assurdo.
Rigel
Cannot live without
Cannot live without
 
Messaggio: 4250 di 7818
Iscritto il: 13/01/2010, 08:31

Re: Uno Sfizioso Teorema del Valor Medio

Messaggioda dan95 » 24/05/2017, 18:58

Io pensavo di applicare Rolle ad una particolare funzione che non riesco a trovare
"Chi è padrone del proprio respiro, è padrone della propria vita."~ Antico proverbio

"La capacità di scegliere è un dono che la natura fa all'uomo. Scegliere è un dono che l'uomo fa a se stesso." D.B.

"Il genio è semplicemente un uomo con la mente da donna." D. B.
dan95
Cannot live without
Cannot live without
 
Messaggio: 1652 di 5268
Iscritto il: 10/06/2013, 16:37
Località: Roma Caput Mundi

Re: Uno Sfizioso Teorema del Valor Medio

Messaggioda gugo82 » 24/05/2017, 20:27

La particolare funzione è quella usata da Righello, modulo una traslazione.
Inoltre, si applicano sia il Teorema di Rolle sia quello di Bolzano. :wink:
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Cannot live without
Cannot live without
 
Messaggio: 17925 di 44916
Iscritto il: 12/10/2007, 23:58
Località: Napoli

Re: Uno Sfizioso Teorema del Valor Medio

Messaggioda razorbak90 » 26/05/2017, 03:23

Testo nascosto, fai click qui per vederlo
Definiamo la funzione

$v(x):=f(x)-xf'(a),$

così che $v'(a)=v'(b)=0$. Se $\exists\delta$ tale che $v(x)$ è costante in $[a,a+\delta]$, allora $v'(x)=\frac{v(x)-v(a)}{x-a}$ per ogni $x\in[a,\delta]$. Se invece $\forall\delta>0$, $v(x)$ non è costante in $[a,a+\delta]$, dato che $v'(a)=0$, per regolarità $v(x)$ e $v'(x)$ devono essere strettamente monotone in $[a,a+\sigma]$, per $\sigma$ abbastanza piccolo. Consideriamo $v(x)$ strettamente crescente, l'altro caso è del tutto analogo.
Definendo
$g(x):=v'(x)(a-x)+v(x)-v(a),$

dal teorema di Lagrange risulta

$g(a+h)=-v'(a+h)h+v(a+h)-v(a)$

$=-v'(a+h)h+v'(c)h$

Con $c\in(a,a+h)$. Dato che $v'(x)$ è strettamente crescente in $[a,a+\sigma]$, risulta $g(a+h)<0$. Inoltre $v(x)$, per il teorema di Weierstrass, ammette massimo e minimo in $[a,b]$, ed in particolare il massimo non coincide con $v(a)$ dato che $v(x)$ è crescente in $[a,a+\sigma]$. Sia $c\in[a,b]$ il punto dove $v(x)$ assume il suo massimo, se $c$ non è sulla frontiera allora è un punto stazionario e quindi $v'(c)=0$, se altrimenti $c=b$, allora $v'(c)=0$ per ipotesi, in ogni caso $g(c)=v(c)-v(a)>0$, per il teorema degli zeri quindi $\exists\xi\in(a,b)$ tale che $g(\xi)=0$, ovvero

$f'(\xi)-f'(a)=\frac{f(\xi)-\xif'(a)-f(a)+af'(a)}{\xi-a}$

$f'(\xi)=\frac{f(\xi)-f(a)}{\xi-a}$
razorbak90
New Member
New Member
 
Messaggio: 40 di 86
Iscritto il: 29/04/2011, 00:47

Re: Uno Sfizioso Teorema del Valor Medio

Messaggioda Rigel » 26/05/2017, 09:47

@razorbak90:
Testo nascosto, fai click qui per vederlo
razorbak90 ha scritto:Se invece $\forall\delta>0$, $v(x)$ non è costante in $[a,a+\delta]$, dato che $v'(a)=0$, per regolarità $v(x)$ e $v'(x)$ devono essere strettamente monotone in $[a,a+\sigma]$, per $\sigma$ abbastanza piccolo.

Non sono molto d'accordo.
La funzione
\[
v(x) := \begin{cases}
x^2 \sin (1/x), &\text{se}\ x\neq 0,\\
0, & \text{se}\ x = 0,
\end{cases}
\]
è derivabile nell'origine con \(v'(0) = 0\), ma si guarda bene (insieme alla sua derivata) dall'essere strettamente monotona in un intorno destro dell'origine.
Rigel
Cannot live without
Cannot live without
 
Messaggio: 4251 di 7818
Iscritto il: 13/01/2010, 08:31

Re: Uno Sfizioso Teorema del Valor Medio

Messaggioda razorbak90 » 26/05/2017, 15:05

@Rigel
Testo nascosto, fai click qui per vederlo
Hai ragione, anche se $x^2sin(1/x)$ non mi sembra derivabile in $0$, però si può considerare ad esempio $x^3sin(1/x)$. Inoltre il mio ragionamento era inutilmente intricato, così però dovrebbe funzionare:

Definiamo la funzione

$v(x):=f(x)-xf'(a),$

così che $v'(a)=v'(b)=0$. Se $v(x)$ è costante in $[a,b]$, allora $v'(x)=\frac{v(x)-v(a)}{x-a}$ per ogni $x\in(a,b]$. Altrimenti definiamo
$g(x):=v'(x)(a-x)+v(x)-v(a),$


nel caso di $v(x)$ monotona, supponiamo crescente, dato che $v(x)$ non è costante, allora $v'(x)$ ammette un massimo assoluto in $(a,b)$. Supponiamo il massimo in $x=a+h$, dal teorema di Lagrange esiste $c\in(a,b)$ tale che

$g(a+h)=-v'(a+h)h+v(a+h)-v(a)$

$=-v'(a+h)h+v'(c)h$

e quindi $g(a+h)<0$, inoltre $g(b)=v(b)-v(a)>0$; analogamente nel caso di $v(x)$ decrescente. Se invece $v(x)$ non è monotona allora $v'(x)$ ammette massimo e minimo in $(a,b)$, rispettivamente in $x_1=a+h_1$, $x_2=a+h_2$, e applicando il ragionamento precedente $g(a+h_1)<0$, $g(a+h_2)>0$. In ogni caso, per il teorema degli zeri, $\exists\xi\in(a,b)$ tale che $g(\xi)=0$, e quindi:

$f'(\xi)-f'(a)=\frac{f(\xi)-\xif'(a)-f(a)+af'(a)}{\xi-a}$

$f'(\xi)=\frac{f(\xi)-f(a)}{\xi-a}$
razorbak90
New Member
New Member
 
Messaggio: 41 di 86
Iscritto il: 29/04/2011, 00:47

Re: Uno Sfizioso Teorema del Valor Medio

Messaggioda dan95 » 27/05/2017, 12:28

@Razor
Se applichi il teorema di Rolle a $v'(x)=\frac{v(x)-v(a)}{x-a}$ dovresti aver finito, perché $v'(a)=v'(b)=0$ quindi $\exists \xi \in (a,b)$ tale che $$v''(\xi)=\frac{v'(\xi)(\xi-a)-(v(\xi)-v(a))}{(\xi-a)^2}=\frac{\frac{f(\xi)-\xi f'(a)-f(a)+af'(a)}{\xi-a}(\xi-a)-(f'(\xi)-f'(a))(\xi-a)}{(\xi-a)^2}=0$$
da cui la tesi
Ultima modifica di dan95 il 27/05/2017, 12:50, modificato 1 volta in totale.
"Chi è padrone del proprio respiro, è padrone della propria vita."~ Antico proverbio

"La capacità di scegliere è un dono che la natura fa all'uomo. Scegliere è un dono che l'uomo fa a se stesso." D.B.

"Il genio è semplicemente un uomo con la mente da donna." D. B.
dan95
Cannot live without
Cannot live without
 
Messaggio: 1656 di 5268
Iscritto il: 10/06/2013, 16:37
Località: Roma Caput Mundi

Re: Uno Sfizioso Teorema del Valor Medio

Messaggioda Rigel » 27/05/2017, 12:50

@Razor
1) Ribadisco: se una funzione non è costante su alcun intervallo $[0,\delta]$, questo non implica che esista $\delta >0$ tale che essa sia monotona su $[0,\delta]$.
2) La funzione $v$ da me definita ($v(x) =x^2\sin(1/x)$ per \(x\neq 0\), $v(x)=0$ per $x=0$) è derivabile nell'origine, con derivata nulla; basta fare il limite del rapporto incrementale. Come già detto, funge da controesempio per il punto 1).
Rigel
Cannot live without
Cannot live without
 
Messaggio: 4252 di 7818
Iscritto il: 13/01/2010, 08:31

Re: Uno Sfizioso Teorema del Valor Medio

Messaggioda vict85 » 27/05/2017, 15:36

Vorrei far notare che la funzione \(\displaystyle v = f - xf' \) non è necessariamente continua; io non vedo nella ipotesi che \(\displaystyle f\in C^1([a,b]) \) ma sono che la derivata esista in ogni punto. Inoltre non c'è alcuna ragione per supporre che la funzione sia derivabile due volte.
vict85
Moderatore
Moderatore
 
Messaggio: 9083 di 19253
Iscritto il: 16/01/2008, 00:13
Località: Berlin

Prossimo

Torna a Pensare un po' di più

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite