Dubbio su serie di taylor

[Massimo Gobbino]

volendo si può dare una dimostrazione dello sviluppo in serie di taylor con resto di lagrange facendo uso solamente del teorema di lagrange, cioè iterando quest'ultimo?

Uhm, la vedo dura ... è un po' come dimostrare l'Hopital a partire da Lagrange ... temo che il passaggio da Cauchy sia quasi inevitabile. Poi mai dire mai, ovviamente.

[francicko]

Eppure in qualche testo di analisi credo di aver letto una dimostrazione dello sviluppo in serie di Taylor, che fa uso solo del teorema di Rolle, appena la trovo la posto , cosi si puo discutere sulla sua validità o meno.
In effetti se uno osserva come evolve lo sviluppo in serie di una generica funzione indefinitivamente derivabile, nell'intervallo con , potrebbe vedere benissimo la serie come estensione del teorema di lagrange, l'ultimo termine si dovrebbe poter scindere se non erro in ,, pertanto sembrerebbe un iterazione del teorema di lagrange, in verità però se si cerca di dimostrare tale formula iterando lagrange non si riesce.

[francicko]

Scusate ma non riesco a scrivere correttamente f^(n+1), qual'è il codice?
Io nella tastiera del computer non ho le parentesi graffe.

[Massimo Gobbino]

Scusate ma non riesco a scrivere correttamente f^(n+1), qual'è il codice?

Codice: Seleziona tutto

f^{(n+1)}

Io nella tastiera del computer non ho le parentesi graffe.

Ce le hai, ce le hai ... saranno sotto quelle tonde o quadre, basta trovare la combinazione giusta di alt, shift, e cose del genere da premere insieme ... (ad esempio su quella che sto usando ora è alt+shift+quadra).

[francicko]

Ok, trovato, grazie!
Riporto una dimostrazione tratta da un libro di analisi, che fa uso solamente del teorema di Rolle, nella dimostrazione della formula di Taylor con resto di lagrange.
Sia f(x) definita in un intervallo I=]a,b[ e sia x_0 appartenente ad I. Supponiamo che per ogni x appartenente ad I esista la derivata di ordine n di f(x) continua e che in tutti i punti di I-{x_0} esista la derivata di ordine (n+1) di f(x). Se per ogni h tale che x__0+h appartenente ad I poniamo:
......,
allora esiste almeno un punto c appartenente ad ]x-0,x_0+h[ se h>0( oppure c appartenente ad ]x_0+h,x_0[ se h<0) tale che :
.
Supponiamo dapprima h>0.
Posto sostituendo otteniamo:
.......
Consideriamo la funzione .........
Dalle ipotesi discende che f(x) ammatte derivate continue fino all'ordine n in ]a,b[; pertanto la funzione è continua nell'intervallo [x_0, x_o+h].
Inoltre essa si annulla negli estremi di tale intervallo, come si vede facilmente da una verifica immediata. Essa inoltre è derivabile, per le ipotesi fatte su f(x), in ogni punto x dell'intervallo [x_0,x_0+h]. Derivando la funzione si deduce :

E' pertanto possibile applicare alla funzione il teorema di Rolle;
Si conclude che esiste almeno un punto c dell'intervallo ]x_0,x_0+h[ in cui risulta e da qui si ricava
ed infine .
Spero di averla trascritta correttamente, e resto in attesa di una risposta.
Saluti!

[francicko]

Se la dimostrazione spra riportata risultasse vera, potrei dedurre il teorema di De l'Hopital dallo sviluppo in serie di taylor , senza così facendo ricorrere necessariamente al teorema di Cauchy?