Dubbio su serie di taylor

Serie numeriche, serie di potenze, serie di Taylor
Messaggio
Autore
francicko
Presenza fissa
Presenza fissa
Messaggi: 106
Iscritto il: lunedì 10 settembre 2012, 12:25
Località: Trieste-Trapani

Dubbio su serie di taylor

#1 Messaggioda francicko » venerdì 16 novembre 2012, 21:41

Sto leggendo sul libro "che cos'è la matematica" di Courant, l'argomento riguardante la serie di taylor, e da quel poco che sono riuscito a capire, si ha che se f(x) é una funzione derivabile, di modo che esista una successione di infinite derivate di f(x),f^1(x),.. f^3(x),...f^n(x),... , in queste condizioni posso determinare i coefficienti, e quindi costruire la sua serie di taylor.
Adesso mi chiedevo, è possibile che una funzione possa non essere uguale alla sua serie di taylor?
Qualcuno può darmi cortesemente qualche delucidazione riguardo all'argomento, che si sta rivelando per me particolarmente ostico?
Grazie!

Avatar utente
CoTareg
Affezionato frequentatore
Affezionato frequentatore
Messaggi: 74
Iscritto il: domenica 14 novembre 2010, 18:21

Re: Dubbio su serie di taylor

#2 Messaggioda CoTareg » sabato 17 novembre 2012, 16:04

Penso che tutto stia nel fatto di essere continua e derivabile. Prendi ad esempio |x| : in x = 0 è continua ma non derivabile. Non puoi, quindi, scriverla (per piccoli spostamenti intorno a x = 0) come una retta.

Avatar utente
Massimo Gobbino
Amministratore del Sito
Amministratore del Sito
Messaggi: 1958
Età: 50
Iscritto il: lunedì 29 novembre 2004, 20:00
Località: Pisa
Contatta:

Re: Dubbio su serie di taylor

#3 Messaggioda Massimo Gobbino » sabato 17 novembre 2012, 20:32

francicko ha scritto:Adesso mi chiedevo, è possibile che una funzione possa non essere uguale alla sua serie di taylor?


Assolutamente sì, è possibile. Le funzioni che sono uguali alla propria serie di Taylor, ovviamente nella zona in cui la serie stessa converge, hanno un nome: si chiamano analitiche. Ora c'è un teorema che dice che tutte le funzioni ottenute a partire dalle funzioni elementari mediante composizioni e/o operazioni algebriche sono analitiche nella zona in cui non ci sono problemi tipo denominatori che si annullano e simili.

E' chiaro quindi che le funzioni che non sono uguali alla somma della propria serie di Taylor sono comunque roba strana. L'esempio più classico è la funzione definita ponendo f(0)=0 e poi f(x)=e^{-1/x^2} per x\neq 0. Si può dimostrare (esercizio non troppo difficile ma nemmeno banale) che la funzione f(x) ha le derivate di ogni ordine, e tutte queste derivare sono uguali a 0 per x=0.

Pertanto la serie di Taylor di questa funzione è la serie con tutti i coefficienti nulli, la quale ovviamente converge a 0 per ogni x reale. Tuttavia f(x) non è nulla per x\neq 0. Come si suol dire: ha tutte le derivate nulle per x=0 ... eppur si muove!

francicko
Presenza fissa
Presenza fissa
Messaggi: 106
Iscritto il: lunedì 10 settembre 2012, 12:25
Località: Trieste-Trapani

Re: Dubbio su serie di taylor

#4 Messaggioda francicko » domenica 18 novembre 2012, 0:46

Grazie per la risposta, molto esaudiente!
Nel libro che sto leggendo, si dice che Newton trovò lo sviluppo del binomio (1+x)^1^/^2= 1 +(1/2)x -(1/8)x^2 + (1/2^4)x^3 - ............., convergente per -1<x<1, però non ne diede una dimostrazione. Adesso so che questo sviluppo è la serie di taylor della funzione (1+x)^1^/^2, con quale criterio si può stabilire che sicuramente converge ? inoltre questo sviluppo é unico, o potrebbe benissimo esistere un 'altra serie diversa da quella di taylor anch'essa chiaramente convergente per -1<x<1e che uguagli ad sempre la funzione (1+x)^1^/^2?
Da quel poco che ho appreso é mi sono reso conto che poter trasformare una funzione qualsiasi in una espressione polinomiale porta degli indiscutibili vantaggi, sopratutto per il calcolo di alcuni limiti, e mi chiedevo è stato questo il motivo che ha ispirato taylor nella sua scoperta?

Avatar utente
Massimo Gobbino
Amministratore del Sito
Amministratore del Sito
Messaggi: 1958
Età: 50
Iscritto il: lunedì 29 novembre 2004, 20:00
Località: Pisa
Contatta:

Re: Dubbio su serie di taylor

#5 Messaggioda Massimo Gobbino » mercoledì 21 novembre 2012, 15:19

Rispondo alle nuove domande.

Unicità. Si può dimostrare che due serie di potenze che assumono lo stesso valore per tutti gli x in un intorno dell'origine hanno in realtà gli stessi coefficienti. Quindi non possono esistere due serie diverse che convergono alla stessa funzione. In realtà si può dimostrare di più: basta che le due serie assumano lo stesso valore su una successione di valori di x tendenti a 0 ed automaticamente hanno gli stessi coefficienti. La dimostrazione è un esercizio, non banalissimo, ma nemmeno difficile.

Dimostrazione della convergenza. Per dimostrare che la serie di Taylor di una funzione converge alla funzione stessa (all'interno del raggio di convergenza più eventuali estremi), cioè che la funzione è analitica, lo strumento più comodo è la formula di Taylor con resto di Lagrange. C'è proprio un esempio di questo tipo nella lezione di quest'anno su Taylor-Lagrange.

Perché trasformare funzioni in polinomi? Non ho competenze storiche per conoscere nei dettagli le motivazioni di Taylor e contemporanei. Vale però la pena osservare che oggi se pensiamo alla funzione seno o esponenziale abbiamo in mente una macchinetta che ne fornisce i valori su richiesta (una qualunque calcolatrice). Tempo fa non era così, e anche calcolare 2^\sqrt{3} era un problemone. Sostituire le funzioni con polinomi permetteva di risolvere questo problema. Anche qui consiglio la lezione di quest'anno su Taylor-Lagrange per ulteriori esempi. Piccola osservazione: l'esistenza delle calcolatrici non risolve magicamente il problema, ma semplicemente lo sposta: cosa fa la calcolatrice al suo interno quando gli si chiede 2^\sqrt{3} ?

francicko
Presenza fissa
Presenza fissa
Messaggi: 106
Iscritto il: lunedì 10 settembre 2012, 12:25
Località: Trieste-Trapani

Re: Dubbio su serie di taylor

#6 Messaggioda francicko » mercoledì 16 gennaio 2013, 21:21

Grazie per le risposte!
Mi chiedevo se ad esempio prendo la funzione elementare sinx, essendo che posso ricavare facilmente il valore
di tale funzione e delle sue successive derivate nel puntox=0 posso agevolmente costruire la relativa serie di taylor x-x^3/3!+x^5/5!-x^7/7!+....., una volta averne stabilito la convergenza per ogni valore di x
come faccio a verificare che tale serie così ottenuta coincide effettivamente con la funzione sinx
per ogni valore di x?
Mi scuso per la banalità della domanda, ma sono alle prime armi con l'argomento , e mi risulta ostico, pertanto non riesco a recepirlo in maniera chiara.
Nell'approfondire l'argomento, mi ero proposto di trovare una serie f(x) tale che f(x)=f^2(x), con f(o)=0 ed f^1(0)=1, se non ho commesso errori , ho ottenuto la serie x+x^3/3!+x^5/5!+x^7/7!+..., ed ho notato che si tratta di una serie estrapolata dalla serie e^x=1+x+x^2/2!+x^3/3!+x^4/4!+....., che si sa essere convergente per ogni x,pertanto se non mi sbaglio dovrebbe anch'essa convergere, volevo sapere
se eventualmente coincide con qualche funzione elementare.

Meringolo
Utente in crescita
Utente in crescita
Messaggi: 5
Iscritto il: mercoledì 2 gennaio 2013, 18:56

Re: Dubbio su serie di taylor

#7 Messaggioda Meringolo » sabato 19 gennaio 2013, 10:18

francicko ha scritto:... ho ottenuto la serie x+x^3/3!+x^5/5!+x^7/7!+..., ed ho notato che si tratta di una serie estrapolata dalla serie e^x=1+x+x^2/2!+x^3/3!+x^4/4!+....., che si sa essere convergente per ogni x,pertanto se non mi sbaglio dovrebbe anch'essa convergere, volevo sapere
se eventualmente coincide con qualche funzione elementare.




x+x^3/3!+x^5/5!+x^7/7!+... = {\displaystyle \sum_{n=1}^\infty\frac{x^{2n-1}}{(2n-1)!}} =\sinh x= \displaystyle\frac{e^x-e^{-x}}{2}

:wink:

Avatar utente
Massimo Gobbino
Amministratore del Sito
Amministratore del Sito
Messaggi: 1958
Età: 50
Iscritto il: lunedì 29 novembre 2004, 20:00
Località: Pisa
Contatta:

Re: Dubbio su serie di taylor

#8 Messaggioda Massimo Gobbino » sabato 19 gennaio 2013, 10:46

francicko ha scritto: come faccio a verificare che tale serie così ottenuta coincide effettivamente con la funzione sin x per ogni valore di x?


Taylor-Lagrange, è fatto nella lezione 53 di quest'anno :wink:

francicko
Presenza fissa
Presenza fissa
Messaggi: 106
Iscritto il: lunedì 10 settembre 2012, 12:25
Località: Trieste-Trapani

Re: Dubbio su serie di taylor

#9 Messaggioda francicko » sabato 26 gennaio 2013, 19:11

Professore,grazie per le risposte!
Ho consultato come da lei indicato la videolezione n.53, veramente interessante , anche per un profano in materia come me!

francicko
Presenza fissa
Presenza fissa
Messaggi: 106
Iscritto il: lunedì 10 settembre 2012, 12:25
Località: Trieste-Trapani

Re: Dubbio su serie di taylor

#10 Messaggioda francicko » lunedì 28 gennaio 2013, 20:38

Volevo porre la seguente domanda:
per caso, é possibile dare una interpretazione geometrica alla formula di taylor?

Avatar utente
Massimo Gobbino
Amministratore del Sito
Amministratore del Sito
Messaggi: 1958
Età: 50
Iscritto il: lunedì 29 novembre 2004, 20:00
Località: Pisa
Contatta:

Re: Dubbio su serie di taylor

#11 Messaggioda Massimo Gobbino » sabato 9 febbraio 2013, 20:02

Ops, mi era sfuggito il post. In realtà l'approssimazione del grafico mediante polinomi mi sembra più che sufficiente come motivazione ...

francicko
Presenza fissa
Presenza fissa
Messaggi: 106
Iscritto il: lunedì 10 settembre 2012, 12:25
Località: Trieste-Trapani

Re: Dubbio su serie di taylor

#12 Messaggioda francicko » lunedì 18 marzo 2013, 21:15

Non riesco ancora ad avere del tutto chiaro la formula di taylor.
Stamani però sviluppando mediante taylor la funzione e^x, ed ottenendo la ben nota espressione e^x=1+x+x/2+x/3!+.....x^n/n!+..., facevo le seguenti considerazioni, indicando con R il resto, cioé la somma dei termini mancanti successivi ad x^n/n!, affinchè tale espressione risulti convergente ed covenientemente prolungata rappresenti il valore di e^x con l'approssimazione desiderata dovrà aversi la seguente condizione, necessaria e sufficiente, cioè limite di R per n tendente ad infinito , deve essere uguale a zero. O mi sbaglio?
Per x=1 nel caso specifico avremo e=1+1+1/2+1/3!+......+1/n!+...., se mi arresto al termine 1/n! commetterò un errore R= 1/(n+1)!+1/(n+2)!+.....=1/n!(n+1)+1/n!(n+1)(n+2)+.....= (1/n!)(1/(n+1)+1/(n+1)(n+2)+......).
La serie fra parentesi 1/(n+1)+1/(n+1)(n+2)+..... risulta ovviamente minore della serie 1/n+1/n^2+1/n^3+... i cui termini sono in una progressione geometrica di ragione 1/n, la cui somma è perciò (1/n)(1/(1-1/n)) = 1/(n-1) che tende a zero per n tendente ad infinito, inoltre questa somma essendo minore di 1/n, la quantità R risulterà minore di 1/n!n, avremo quindi le seguenti disuguaglianze :
e > 1+1+1/2!+1/3!+...+1/n! ed

e < 1+1+1/2!+...+!/n+1/n!n,

pertanto scelto un opportuno k compreso tra 0 ed 1 potrò scrivere e=1+1+1/2+1/3!+.....+1/n!+k/n!n.

Non so se ciò che ho riportato sia del tutto esatto, in generale ci si può ricondurre sempre ad una situazione di questo tipo?

Avatar utente
Massimo Gobbino
Amministratore del Sito
Amministratore del Sito
Messaggi: 1958
Età: 50
Iscritto il: lunedì 29 novembre 2004, 20:00
Località: Pisa
Contatta:

Re: Dubbio su serie di taylor

#13 Messaggioda Massimo Gobbino » giovedì 21 marzo 2013, 11:29

Corretto, corretto :D :D. Volendo quello che hai scritto è una specie di Taylor-Lagrange nel caso particolare.

francicko
Presenza fissa
Presenza fissa
Messaggi: 106
Iscritto il: lunedì 10 settembre 2012, 12:25
Località: Trieste-Trapani

Re: Dubbio su serie di taylor

#14 Messaggioda francicko » giovedì 21 marzo 2013, 21:40

Grazie per la risposta!
Il fatto che le poche considerazioni che ho sopra riportato siano corrette alimenta sempre più il mio interesse verso l'argomento.
Nel caso ad esempio della funzione sinx che ha mediante taylor lo sviluppo x-x^3/3!+x^5/5!-x^7/7!..... posso riproporre un ragionamento analogo?

francicko
Presenza fissa
Presenza fissa
Messaggi: 106
Iscritto il: lunedì 10 settembre 2012, 12:25
Località: Trieste-Trapani

Re: Dubbio su serie di taylor

#15 Messaggioda francicko » lunedì 9 giugno 2014, 21:43

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?


Torna a “Serie”

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite