Verso fuori.

Categoria: Matematica Pagina 1 di 3

Inversione delle serie di potenze

Oggi torno, dopo un lungo periodo, a discutere di un argomento puramente teorico. Recentemente, un problema posto dal mio amico L mi ha portato a considerare la possibilità di invertire una serie di potenze. In altre parole, data una funzione espressa come serie di potenze in x, si vorrebbe un metodo per trovare la serie di potenze che definisce la sua inversa:

f(x)=\sum_{n=1}^{+\infty}f_n x^n\qquad\qquad g(x)=\sum_{n=1}^{+\infty}g_n x^n

g\circ f(x) = g(f(x)) = \sum_{i=1}^{+\infty}g_i \bigg({\sum_{j=1}^{+\infty}f_j x^j}\bigg)^i = x

Il problema è di una certa rilevanza poiché spesso le inverse non sono facilmente esprimibili in termini di funzioni “semplici” come quelle di partenza. Ad esempio, se si considera:

y = f(x) = x + \sin(x)

Si noterà subito che non esiste un numero finito di passaggi per trovare x in funzione di y. In effetti, tale relazione è un’equazione trascendente ed è il fulcro del problema posto dal mio amico: a lui serviva un’espressione approssimata per l’inversa, in modo da non dover ricorrere ogni volta ad un procedimento numerico per trovare una soluzione.

Ci sono molti modi per venirne a capo. Nutrendo ancora (nonostante i cinque anni di sofferenza) una passione segreta per la matematica, ho probabilmente seguito quello più teorico e avulso dalla realtà, l’unico vantaggio del quale è la sicurezza che esso tende, con l’aumentare della precisione, alla vera inversa. Naturalmente non è nulla di nuovo, cercando ben bene qualcosa in internet l’avevo pure trovato, ma scritto in modo tanto formale da risultare incomprensibile (e per queste parole mi perdoni C, un altro mio amico).

L’idea è di scrivere la funzione come serie di potenze e di determinare dai suoi coefficienti quelli dell’inversa. Dopo una giornata di conti, sono riuscito a trovare le relazioni che definiscono i coefficienti dell’inversa fino al settimo grado; per andare oltre, ho dovuto scrivere una piccola libreria in Python e metterla a punto per due giorni. Le prime relazioni sono:

{g_1} = \frac{1}{f_1}
g_2 = -\frac{f_2}{f_1^3}
g_3 = \frac{2f_2^2}{f_1^5} - \frac{f_3}{f_1^4}

Oltre alla prima, piuttosto ovvia, per ottenerle bisogna pareggiare i termini di grado uguale nello sviluppo della doppia sommatoria di cui sopra. Ciò conduce al problema delle partizioni degli interi (dove l’intero da partizionare è l’esponente del grado considerato) e alla loro rappresentazione tramite i diagrammi di Young o di Ferres. È chiaro dalle relazioni che esse valgono solo se la funzione “diretta” ha derivata diversa da zero sul punto dove è sviluppata, altrimenti l’inversa ha derivata divergente sullo stesso punto e lo sviluppo in serie di potenze intere cessa di essere possibile.

Ho scritto un breve documento dove delineo il procedimento teorico per ottenere le relazioni e risolvo il problema di x+sin(x). Potete accedervi da qui: Inversione di Serie di Potenze. Mi raccomando, non passate tutto il giorno a invertire serie di potenze, può far molto male. Non dite che non vi avevo avvertiti!

A presto!

Quanto è distante l’orizzonte?

Vi è mai capitato di seguire con lo sguardo un aeroplano, per qualche minuto? Se l’avete fatto, vi sarete certamente accorti che sembra andare fortissimo quando è proprio sopra la testa, per rallentare poi man mano che si allontana, abbassandosi verso l’orizzonte.

Ma una volta giunto all’orizzonte che accadrà? Di sicuro non si abbatterà al suolo, come l’occhio sembrerebbe suggerire: se l’aereo non è partito da poco, la sua quota sarà più o meno fissa, sui 10 km. Ma se sta ancora volando, sopra a cosa starà volando? Quanto distante sarà?

E se invece di guardare aerei salissimo noi, per quanto possibile, verso il cielo? Se dalla cima di una montagna con una buona visuale, da un picco isolato, da una svettante torre guardassimo lontano, fino a dove si spingerebbe il nostro sguardo? In altre parole, quando è lontano l’orizzonte?

https://twitter.com/AstroSamantha/status/557249075717103616
La Terra dallo Spazio – Samantha Cristoforetti

La distanza dall’orizzonte non è un concetto metafisico e sebbene possieda una certa forza evocativa è una quantità fisica precisa. Già gli antichi sapevano che oltre una certa distanza non si vede più niente e che ciò ha poco a vedere con la presenza di nebbie e foschie. Il motivo per cui esiste la linea dell’orizzonte è un altro: la Terra è rotonda.

Sappiamo tutti che le persone che vivono nell’emisfero australe sono capovolte, rispetto a come siamo noi. Naturalmente non hanno la testa in basso: il loro basso è il nostro alto, ecco tutto. Mi viene in mente una striscia di Mafalda, nella quale la bambina argentina appende il suo mappamondo al contrario perché sennò “le cadono le idee dalla testa”…

Anche quando un oggetto, allontanandosi da noi, si sposta sulla superficie terrestre il suo basso cambia rispetto a quello del punto dov’era partito: in altre parole la sua verticale e la nostra iniziano a essere diverse, a formare tra loro un piccolo angolo. Ma così come non possiamo vedere i nostri ribaltati amici neozelandesi, ad un certo punto il nostro sguardo non potrà più scorgere l’oggetto: sarà la Terra stessa, con la sua forma più o meno sferica, a nascondercelo.

Orizzonte - schema angoliMa quanto è lontano questo punto, oltre il quale la Terra si nasconde da sola? Il senso comune dice che dipenderà da quanto alti si è: non lo sanno forse tutti che per vedere lontano bisogna salire in alto? La matematica necessaria per trovare la formula corretta è piuttosto semplice, basta solo un po’ di trigonometria. O filosofi e poeti che avete letto sin’ora e che siete assaliti da un cupo timore, se non da un corrucciato fastidio, abbiate la tempra di proseguire! La conoscenza non distrugge il sentimento!

L’angolo che nel disegno è chiamato \textstyle o è l’angolo massimo oltre il quale uno che guarda dalla cima dell’altezza \textstyle h non vedrà più niente. Le linee che congiungono la cima di \textstyle h agli ultimi due punti visibili sulla superficie sono segmenti di rette tangenti alla circonferenza; non è difficile rendersene conto: una retta può intersecare un cerchio in un punto, in due, oppure in nessuno. Se la retta che passa per \textstyle h interseca due punti, il più vicino è visibile ma ci nasconde il secondo, che quindi è invisibile: guardando per terra vediamo il suolo, ma non l’Oceano Pacifico che ci sta sotto. Se non ne interseca nessuno allora stiamo guardando per aria. L’ultima direzione alla quale corrisponde un punto visibile si ha allora quando la retta interseca la circonferenza in un solo punto, e una tal retta è una tangente.

Le tangenti alla circonferenza sono sempre perpendicolari al raggio, nel punto in cui la toccano. Quindi il triangolo formato dal raggio della Terra fino al punto di tangenza, dal segmento \textstyle R+h e dal segmento che congiunge l’estremo di h al punto di tangenza è rettangolo.

Ma allora si può usare un po’ di sana trigonometria per determinare l’angolo \textstyle o, la cui misura in radianti, moltiplicata per il raggio terrestre R, darà la lunghezza dell’arco di circonferenza tra \textstyle h e il punto di tangenza, ovvero la distanza dell’orizzonte. Se non avete chiuso i vostri libri di matematica in un polveroso scatolone da almeno due secoli, dovrebbe risultarvi chiaro che:

\displaystyle \cos o\,=\,\frac{R}{R+h}

\displaystyle o\,=\,{\rm arccos} \left( \frac{R}{R+h} \right)

\displaystyle d_{or.}\,=\,R\cdot {\rm arccos} \left( \frac{R}{R+h} \right)

Bene, ecco trovata la formula che stavamo cercando. Ma serve veramente a qualcosa? Conosco un paio di persone che sanno a memoria valori sparsi della funzione trascendente arcocoseno, ma calcolarla a mente richiede un po’ di conti noiosi. Meglio fare un’approssimazione e accontentarci di una formula inesatta, che compie qualche errore, ma è più semplice da maneggiare. Del resto, a chi importa se una nave invece di essere distante 10 km, è distante 10 km e 2 cm??

Devo confessarvi che non ricordo mai lo sviluppo in serie di potenze della funzione arcocoseno. Potrei sempre ricavarlo, ma lasciatemi seguire una strada meno irta di derivate: tanto sono certo che un giorno pagherò cara anche questa. Ripartiamo dalla prima equazione, quella in cui è presente il coseno di \textstyle o. Del coseno mi ricordo lo sviluppo!

\displaystyle \cos x\,=\,1-\frac{x^2}{2}+O(x^4)

Del resto anche il membro di destra può essere rimaneggiato, in modo da essere scritto:

\displaystyle \frac{R}{R+h}\,=\,\frac{1}{1+\frac{h}{R}}

Ma posso sviluppare anche questo:

\displaystyle \frac{1}{1+x}\,=\,1-x+O(x^2)

Siccome il raggio della Terra è 6373 km, ogni altezza terrestre (e anche qualche altezza spaziale) è piccola rispetto ad esso. Mi arresto, dunque, al primo termine non costante degli sviluppi, e riscrivo l’equazione in forma approssimata:

\displaystyle 1-2o^2\,=\,1-\frac{h}{R}

\displaystyle o^2\,=\,\frac{2h}{R}

\displaystyle o\,=\,\sqrt{\frac{2h}{R}}

Ma la distanza sulla superficie, cioè la lunghezza dell’arco di circonferenza, è \textstyle R volte l’angolo \textstyle o

\displaystyle d_{or.}\,=\,R\cdot o\,=\,R\sqrt{\frac{2h}{R}}\,=\,\sqrt{2Rh}\,=\,\sqrt{Dh}

\displaystyle d_{or.}\,=\,\sqrt{Dh}

Ecco fatto: la distanza dell’orizzonte è, in prima approssimazione, la radice del prodotto tra il diametro terrestre \textstyle D\,\simeq\,12746\,{\rm km} e l’altezza da cui si guarda, ovvero, se qualcuno si ricorda ancora cos’è, la loro media geometrica. Una radice quadrata è più semplice da calcolare di un arcocoseno, ed ecco la più immediata utilità della formula approssimata.

Del resto, che approssimata lo sia appare chiaro se si considera il suo limite superiore: se uno andasse a una distanza grandissima dalla Terra, per la formula dovrebbe vederne una parte sempre più grande man mano che si sposta. Invece non è così: per quanto uno possa allontanarsi, non vedrà mai più di un emisfero contemporaneamente e il “retro” resterà sempre nascosto, proprio come della Luna non potremo mai vedere l’altra faccia, a meno di non girarle attorno.

Ma qual è l’errore che si fa quando si usa la formula? Ecco una tabellina con dei valori di altezze e di distanze degli orizzonti, per fare qualche confronto:

Chi/Cosa h d (radice) d (arccos)
Naufrago in mezzo all’oceano 2 cm 509 m 509 m
Formica in cima a un filo d’erba 10 cm 1,13 km 1,13 km
Giovanni nella prateria 1,7 m 4,65 km 4,65 km
In cima all’albero di un veliero 20 m 15,97 km 15,97 km
Campanile di San Marco 100 m 35,7 km 35,7 km
Monte Priaforà 1659 m 145,41 km 145,40 km
Monte Everest 8848 m 335,82 km 335,63 km
Aereo di linea 10 km 357,0 km 356,8 km
Stazione spaziale 400 km 2258 km 2201 km
Luna 384400 km 70000 km 9907 km

L’errore massimo (per uno che guarda dalla stazione spaziale) è circa del 2,5%! La formula approssimata è molto conveniente. Amenoché non si tenti di usarla per sapere come vede la Terra la quieta Luna. In questo caso la “quota” dalla superficie non è più piccola rispetto al raggio terrestre e l’approssimazione cade: la formula semplice fornisce un risultato assurdo, maggiore della circonferenza del pianeta, mentre quella con l’intera funzione arcocoseno dà un valore corretto, che si avvicina a \textstyle \frac{\pi}{2}\cdot D\,\simeq\,\frac{\pi}{2}\cdot 12746\,~{\rm km}=\,10010~{\rm km}, un quarto di circonferenza terrestre.

Da Capri, verso Sud

E voi, cosa aspettare a salire in alto per guardare lontano?

Solstizio d’Estate 21.06.2013

Sole al tramonto del 21.06.13Anche stavolta è arrivato e passato il solstizio d’estate: ogni anno prendo nota dell’ora alla quale il sole sorge e tramonta (qui sopra un fotogramma del tramonto, terminato alle h.20 20′ 56”), ma quest’anno ho fatto anche delle misure della sua altezza sull’orizzonte al mezzogiorno reale: ne ho realizzato un bel documento pdf, che alego qui: Alteza del sole. Se avete qualche minuto per leggerlo, ne sarei contento, mi sembra sia riuscito bene. Da due giorni a questa parte la declinazione del sole sta nuovamente calando, fino a quando non avrà raggiunto nuovamente un punto stazionario, il solstizio d’inverno, quando tornerà a crescere. Così va da miliardi di anni, con qualche piccola oscilllazione, e continuerà ancora per un tempo sterminato.

A presto!

Pagina 1 di 3

Powered by WordPress & Tema di Anders Norén