Erasmus
05-12-08, 23:19
Mettiamo i numeri dispari negli angoli di una "greca" come segue:
3_______5 11_______ 13 19______ 21
| | | | | | (ecc. ecc.)
| |_______| |_______| |___
1 7 9 15 17 23
Adesso immaginiamo che i dispari in alto (3, 5, 11, 13, 19, 21, 27 ...) siano numeratori, e quelli in basso (1, 7, 9. 15, 17, 23, 25 ...) denominatori.
Vien fuori un prodotto di frazioni lungo a piacere. Numerando i tratti verticali della greca da 1 in su, le corrispondenti frazioni di posto n dispari sono del tipo (2n+1)/(2n-1) > 1 quelle di posto pari sono del tipo (2n-1)/(2n+1) < 1.
Possiamo scrivere il prodotto continuo illimitato nel modo seguente:
A) [(3*5)/(1*7)] * [(11*13)/(9*15)] * [(19*21)/(17*23)] * ..... =
= {[(41)(4+1)]/[(43)*(4+3)]}*{[(121)(12+1)]/[(123)*(12+3)]}* {[(201)(20+1)]/[(203)*(20+3)]} * .... =
= [(16 1)/(169)] * [(144 1)/(1449)] * [(400 1)/(4009)] * ...
Se poniamo:
An = ซProdotto, per k da 1 a n, di {[4*(2k-1)]^2 1}/ {[4*(2k-1)]^2 9}ป
quel prodotto continuo illimitato ci appare la successione {An} definita ricorrentemente come segue:
A1 = 15/7 [NB: 2 < A1 < 3]
Per ogni n intero positivo An+1 = An * {[4(2n+1)]^2 1}/ {[4(2n+1)]^2 9} (*)
1. An+1 > An
Si tratta di una successione monotona crescente in senso stretto di valor iniziale 2+1/7.
Possiamo, per๒, scrivere il prodotto continuo anche in quest'altro modo:
B) 3* [(5*11)/(7*9)] * [(13*19)/(15*17)] * [(21*27)/(23*25)] *... =
= 3*{[(83)(8+3)]/[(81)*(8+1)]}*{[(163)(16+3)]/[(161)*(16+1)]}*{[(243)(24+3)]/[(241)*(24+1)]} * .... =
= 3*[(64 9)/(641)] * [(256 9)/(2561)] * [(576 9)/(5761)] *...
Se poniamo:
Bn = 3 *ซProdotto, per k da 1 a n, di [(8*k )^2 9]/ (8*k)^2 1}ป
quel prodotto continuo illimitatoci appare la successione {Bn} definita ricorrentemente come segue:
B1 = 3*(55/63) [NB: 2 < B1 < 3]
Per ogni n intero positivo Bn+1 = Bn * {[8(n+1)]^2 3}/ {[8(n+1)]^2 1} (**)
2. Bn+1 < Bn
Si tratta di una successione monotona decrescente in senso stretto di valor iniziale 2+13/21.
E' immediato vedere che:
Per ogni n intero positivo
3. Bn = [(8n+3)/(8n+1)] * An > An;
4 . Bn An = An * 2/(8n+1).
Le formule 1., 2., 3, e 4. mostrano chiaramente che le due successioni {An} e {Bn} costituiscono una coppia di classi contigue separate dal reale x limite di entrambe le successioni al tendere di n all'infinito; e limite dello stesso prodotto continuo prolungato indefinitamente.
Il Quiz
Dimostrare che, detto x il limite comune di An e Bn per n > oo, risulta:
[x 1/x]/2= 1.
------------------------
Magari Mizarino, (anzi il suo fido computer), in un battibaleno trova:
2,4142135 < x < 2,4142136
per cui x = (circa) 2,42421355 = x'; e che con questo numero si ha:
x' 1/x' = 1,9999999... = (circa) 2.
Dopo di che decide che non c'่ nulla di interessante da dimostrare. :fis:
Caro Miza: il limite x preciso mi ่ saltato fuori come sottoprodotto dallo sviluppo in serie di Fourier di una funzione periodica di periodo 1 a sua volta somma di infinite funzioni del tipo h(xn) per n da oo a +oo.
La funzione h(x) ่ cos์ definita:
Se ่ x < 0 allora h(x) = 0, altrimenti
se ่ x = 0 allora h(x) non ่ definita, altrimenti (ossia: se ่ x > 0)
h(x) = [sin(PI*x)]/(PI*x).
[Per disegnare con la mia calcolatrice grafica la funzione h(x) ho usato il trucco di scomporla nelle sue parti pari e dispari. Eccolo il trucco:
h(x) = [(1+|x|/x)/2] * [sin(PI*x)]/(PI*x).]
=> Figura allegata (http://www.trekportal.it/coelestis/attachment.php?attachmentid=3003&stc=1&d=1228523084)
Ovviamente ่ piuttosto lungo (e tedioso) usare quello sviluppo in serie per dimostrare quel limite.
Da anni, ogni tanto mi "allambicco" per vedere se esiste una dimistrazione diretta pi๙ semplice. Niente: non la trovo.
Magari qua qualcuno conosce giเ quel prodotto continuo e sa come calcolarne il limite (deduttivamente, mica sperimentalmente!)
:hello:
3_______5 11_______ 13 19______ 21
| | | | | | (ecc. ecc.)
| |_______| |_______| |___
1 7 9 15 17 23
Adesso immaginiamo che i dispari in alto (3, 5, 11, 13, 19, 21, 27 ...) siano numeratori, e quelli in basso (1, 7, 9. 15, 17, 23, 25 ...) denominatori.
Vien fuori un prodotto di frazioni lungo a piacere. Numerando i tratti verticali della greca da 1 in su, le corrispondenti frazioni di posto n dispari sono del tipo (2n+1)/(2n-1) > 1 quelle di posto pari sono del tipo (2n-1)/(2n+1) < 1.
Possiamo scrivere il prodotto continuo illimitato nel modo seguente:
A) [(3*5)/(1*7)] * [(11*13)/(9*15)] * [(19*21)/(17*23)] * ..... =
= {[(41)(4+1)]/[(43)*(4+3)]}*{[(121)(12+1)]/[(123)*(12+3)]}* {[(201)(20+1)]/[(203)*(20+3)]} * .... =
= [(16 1)/(169)] * [(144 1)/(1449)] * [(400 1)/(4009)] * ...
Se poniamo:
An = ซProdotto, per k da 1 a n, di {[4*(2k-1)]^2 1}/ {[4*(2k-1)]^2 9}ป
quel prodotto continuo illimitato ci appare la successione {An} definita ricorrentemente come segue:
A1 = 15/7 [NB: 2 < A1 < 3]
Per ogni n intero positivo An+1 = An * {[4(2n+1)]^2 1}/ {[4(2n+1)]^2 9} (*)
1. An+1 > An
Si tratta di una successione monotona crescente in senso stretto di valor iniziale 2+1/7.
Possiamo, per๒, scrivere il prodotto continuo anche in quest'altro modo:
B) 3* [(5*11)/(7*9)] * [(13*19)/(15*17)] * [(21*27)/(23*25)] *... =
= 3*{[(83)(8+3)]/[(81)*(8+1)]}*{[(163)(16+3)]/[(161)*(16+1)]}*{[(243)(24+3)]/[(241)*(24+1)]} * .... =
= 3*[(64 9)/(641)] * [(256 9)/(2561)] * [(576 9)/(5761)] *...
Se poniamo:
Bn = 3 *ซProdotto, per k da 1 a n, di [(8*k )^2 9]/ (8*k)^2 1}ป
quel prodotto continuo illimitatoci appare la successione {Bn} definita ricorrentemente come segue:
B1 = 3*(55/63) [NB: 2 < B1 < 3]
Per ogni n intero positivo Bn+1 = Bn * {[8(n+1)]^2 3}/ {[8(n+1)]^2 1} (**)
2. Bn+1 < Bn
Si tratta di una successione monotona decrescente in senso stretto di valor iniziale 2+13/21.
E' immediato vedere che:
Per ogni n intero positivo
3. Bn = [(8n+3)/(8n+1)] * An > An;
4 . Bn An = An * 2/(8n+1).
Le formule 1., 2., 3, e 4. mostrano chiaramente che le due successioni {An} e {Bn} costituiscono una coppia di classi contigue separate dal reale x limite di entrambe le successioni al tendere di n all'infinito; e limite dello stesso prodotto continuo prolungato indefinitamente.
Il Quiz
Dimostrare che, detto x il limite comune di An e Bn per n > oo, risulta:
[x 1/x]/2= 1.
------------------------
Magari Mizarino, (anzi il suo fido computer), in un battibaleno trova:
2,4142135 < x < 2,4142136
per cui x = (circa) 2,42421355 = x'; e che con questo numero si ha:
x' 1/x' = 1,9999999... = (circa) 2.
Dopo di che decide che non c'่ nulla di interessante da dimostrare. :fis:
Caro Miza: il limite x preciso mi ่ saltato fuori come sottoprodotto dallo sviluppo in serie di Fourier di una funzione periodica di periodo 1 a sua volta somma di infinite funzioni del tipo h(xn) per n da oo a +oo.
La funzione h(x) ่ cos์ definita:
Se ่ x < 0 allora h(x) = 0, altrimenti
se ่ x = 0 allora h(x) non ่ definita, altrimenti (ossia: se ่ x > 0)
h(x) = [sin(PI*x)]/(PI*x).
[Per disegnare con la mia calcolatrice grafica la funzione h(x) ho usato il trucco di scomporla nelle sue parti pari e dispari. Eccolo il trucco:
h(x) = [(1+|x|/x)/2] * [sin(PI*x)]/(PI*x).]
=> Figura allegata (http://www.trekportal.it/coelestis/attachment.php?attachmentid=3003&stc=1&d=1228523084)
Ovviamente ่ piuttosto lungo (e tedioso) usare quello sviluppo in serie per dimostrare quel limite.
Da anni, ogni tanto mi "allambicco" per vedere se esiste una dimistrazione diretta pi๙ semplice. Niente: non la trovo.
Magari qua qualcuno conosce giเ quel prodotto continuo e sa come calcolarne il limite (deduttivamente, mica sperimentalmente!)
:hello: