Una trasformazione

[carlo232]

Nel post "potenze di potenze di 2" mi sono ricordato di questa trasformazione che ero riuscito a dimostrare.

$sum_(n=1)^infty (x^n)/(1-x^n) = sum_(n=1)^infty x^(n^2)((1+x^n)/(1-x^n))$ con $|x|<1$

Qualcuno riesce a dimostrarla?

Ciao!

[carlo232]

"carlo23":
Qualcuno riesce a dimostrarla?
Ciao!

Suggerimento ha a che fare con il numero di divisori di $n$...

Davvero non ci riesce nessuno?

[Mistral2]

"carlo23":Nel post "potenze di potenze di 2" mi sono ricordato di questa trasformazione che ero riuscito a dimostrare.

$sum_(n=1)^infty (x^n)/(1-x^n) = sum_(n=1)^infty x^(n^2)((1+x^n)/(1-x^n))$ con $|x|<1$

Qualcuno riesce a dimostrarla?

Ciao!

L'hai derivata dalla identità

$sum_{n=1}^{infty}tau(n)x^n=sum_(n=1)^infty (x^n)/(1-x^n) $

$tau(n)=sum_{d|n}1$

Non mi sembra che sia banale l'identità sopra ... quindi proporre un quesito del genere forse è un po' esagerato.



Saluti

Mistral

PS hai la mail [e-mail]?

[stellacometa]

Carlo ha email [e-mail]

[carlo232]

"Mistral":Non mi sembra che sia banale l'identità sopra ... quindi proporre un quesito del genere forse è un po' esagerato.

Quella che dici credo abbia a vedere con le serie di Laurent...
Ma, a mio parere tu hai proposto quesiti più difficili, ad esempio il problema di Natale era davvero complicato.

Io l'ho dimostrata così:

Sappiamo che per $|x|<1$ si ha

$(x^n)/(1-x^n)=x^n+x^(2n)+x^(3n)+...$

quindi

$sum_(n=1)^infty (x^n)/(1-x^n)=sum_(n=1)^infty d(n)x^n$

dove $d(n)$ è il numero di divisori di $n$. Adesso consideriamo

$x^(n^2) (x^n)/(1-x^n)= x^(n^2+n)+x^(n^2+2n)+x^(n^2+3n)+...$

da cui l'esponente $m$ appare solo se è nella forma $n^2+kn$ quindi ha due divisori distinti $m=(n+k)n$ dato che
$k>=1$. Quindi se noi diamo peso 2 a quest'ultima somma e aggiungiamo 1 abbiamo

$sum_(n=1)^infty x^(n^2) (1+(2x^n)/(1-x^n))=sum_(n=1)^infty d(n)x^n$

Infatti ogni esponente viene contato tante volte quante sono i suoi ivisori con l'accortezza che se è nella forma $n^2$ viene pesato una volta sola perchè ha solo il divisore $n$. Spero di essermi spiegato bene, a volte uno ha le idee chiare e fa fatica a esprimerle...

Ciao Mistral!

[carlo232]

"Mistral":

L'hai derivata dalla identità

$sum_{n=1}^{infty}tau(n)x^n=sum_(n=1)^infty (x^n)/(1-x^n) $

$tau(n)=sum_{d|n}1$

Per curiosità, Mistral tu ti intendi di serie come quella lì? Cioè serie che involvono funzioni aritmetiche, io ne sto studiando un pò le proprietà mi interessano molto...

[Mistral2]

"carlo23":
Quella che dici credo abbia a vedere con le serie di Laurent...

Per inciso la mia $tau(n)$ coincide con la tua $d(n)$ basta vedere la sua definizione. Il modo che conosco di ricavare l'identità delle sommantorie non ha a che fare con le serie di Laurent o almeno io non l'ho incontrata così. Anche se oggettivamente è più complicato del tuo. Mailami in privato via matematicamente e vedo di farti avere del materiale in inglese sulle formule del tipo che chiedi.

"carlo23":

Ma, a mio parere tu hai proposto quesiti più difficili, ad esempio il problema di Natale era davvero complicato.

Poi posto la soluzione sintetica (non mia) del mio quesito ti stupirai, almeno quanto mi stupisce la tua soluzione del tuo che non conoscevo. Comunque in entrambi i casi i quesiti sono facili solo dopo che li hai risolti o ne hai vista la soluzione . Però come tutte le cose di matematica se si affrontano con l'approccio giusto stupiscono per velocità con cui si risolvono. Vedi ad esempio la formula della somma dei numeri da $1$ ad $n$. Il quesito sulle cifre $1$ e $2$ e divisibilità per $2^n$ e più "semplice" mi stupisco che nessuno abbia ancora tentato.

"carlo23":

$(x^n)/(1-x^n)=x^n+x^(2n)+x^(3n)+...$

quindi

$sum_(n=1)^infty (x^n)/(1-x^n)=sum_(n=1)^infty d(n)x^n$

dove $d(n)$ è il numero di divisori di $n$.

La formula è giusta. Volendo fare delle osservazioni sulla dimostrazione

Forse avrei spiegato meglio come mai appare $d(n)$ inoltre andrebbe spiegato perchè puoi cambiare l'ordine degli addendi e la somma della serie non cambia.

Nel primo caso dovresti far capire che l'addendo $x^n$ compare generato dalla serie di $x^m/{1-x^m}$ ogni qual volta $x^{mk}=x^n$, cioè $m|n$.

Sel secondo caso, per quanto riguarda la convergenza puoi permutare l'ordine degli addendi perchè la serie se converge allora converge assolutamente.


Saluti

Mistral