Scribd Logo
Carica

Benvenuto in Scribd!

  • 268 visualizzazioni

    La Costante Di Eulero-Mascheroni

    Caricato da

    Michelangelo Palmisano
    Il documento introduce la costante di Eulero-Mascheroni γ e dimostra che la somma della serie armonica è uguale a ln(n) + γ + o(1). Viene fornita un'espressione integrale per γ e alcune proprietà della funzione Gamma di Eulero.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Scarica in formato PDF, TXT o leggi online su Scribd

    La Costante Di Eulero-Mascheroni

    Caricato da

    Michelangelo Palmisano
    268 visualizzazioni3 pagine
    Il documento introduce la costante di Eulero-Mascheroni γ e dimostra che la somma della serie armonica è uguale a ln(n) + γ + o(1). Viene fornita un'espressione integrale per γ e alcune proprietà della funzione Gamma di Eulero.

    Descrizione originale:

    Introduzione ad un'importante costante della matematica.

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Formati disponibili

    PDF, TXT o leggi online da Scribd

    Hai trovato utile questo documento?

    Questo contenuto è inappropriato?

    Il documento introduce la costante di Eulero-Mascheroni γ e dimostra che la somma della serie armonica è uguale a ln(n) + γ + o(1). Viene fornita un'espressione integrale per γ e alcune proprietà della funzione Gamma di Eulero.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Scarica in formato PDF, TXT o leggi online su Scribd
    Scarica in formato pdf o txt
    268 visualizzazioni3 pagine

    La Costante Di Eulero-Mascheroni

    Caricato da

    Michelangelo Palmisano
    Il documento introduce la costante di Eulero-Mascheroni γ e dimostra che la somma della serie armonica è uguale a ln(n) + γ + o(1). Viene fornita un'espressione integrale per γ e alcune proprietà della funzione Gamma di Eulero.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Scarica in formato PDF, TXT o leggi online su Scribd
    Scarica in formato pdf o txt
    di 3

    La costante di Eulero-Mascheroni

    La ridotta n -esima della serie armonica (1) 1 n n=1

    ` e dellordine di grandezza di ln n . Dimostriamo pi` u precisamente che


    n

    (2)
    k=1

    1 = ln n + + o(1) k

    per n

    per un certo numero reale , detto costante di Eulero-Mascheroni . A tale scopo riscriviamo ln n nella forma n1 n1 1 ln n = (ln(k + 1) ln k ) = ln 1 + k
    k=1 k=1

    per cui siamo indotti a considerare la serie

    (3)
    n=1

    1 1 ln 1 + n n

    Supponiamo per un momento di avere dimostrato che la (3) converge e denotiamo con la sua somma e con n la sua ridotta n -esima. Allora
    n

    (4)
    k=1

    1 ln n = k

    k=1

    1 k

    n1

    ln 1 +
    k=1

    1 k

    = n + ln 1 +

    1 = n + o(1) = + o(1) n

    e dunque vale la (2). Per studiare la serie (3) consideriamo la funzione x ln(1 + x) , x (0, 1] , e scriviamone la formula di Taylor del primordine di centro 0 con il resto di Lagrange. Abbiamo ln(1 + x) = x x2 2(1 + )2 cio` e x ln(1 + x) = x2 2(1 + )2

    per un opportuno punto (0, x) . Concludiamo che 0 < x ln(1 + x) < e deduciamo che 0< x2 2 per ogni x (0, 1]

    1 1 1 ln 1 + < 2 n n 2n

    per ogni n 1 .

    Dunque la serie (3) converge per il Criterio del confronto per serie a termini positivi.

    La costante di Eulero-Mascheroni

    Osservazione. La dimostrazione appena fatta fornisce, se ranata, una conclusione pi` u precisa. Da un lato abbiamo infatti (5) Daltra parte, vale la catena

    1 1 0<< . 2 n=1 n2
    m

    0 n =
    k=n+1 m k k1

    1 1 ln 1 + k k dx = lim m 2x2
    m n

    k=n+1

    1 = lim m 2k 2

    k=n+1

    1 2k 2

    lim

    k=n+1

    dx = lim m 2x2

    1 1 2n 2m

    1 2n

    da cui n = + O(1/n) . Siccome si ha anche ln(1 + (1/n)) = O(1/n) , vediamo che la (4) in realt` a fornisce n 1 = ln n + + O(1/n) per n . k
    k=1

    Osservazione. Lo sviluppo decimale di ` e dato da = 0.57721 . . . , ma la stima (5) ` e a questo proposito troppo grossolana. Infatti ` e noto (ad esempio grazie alla teoria delle serie di Fourier) che la somma della serie che compare in (5) vale 2 /6 , per cui la (5) stessa fornisce solo < 2 /12 . Segnaliamo inoltre un fatto decisamente sorprendente: la costante pu` o anche essere espressa nella forma integrale
    r

    = (1) =
    0

    ln t et dt = lim

    0 r +

    ln t et dt

    ove : (0, +) IR ` e la cosiddetta funzione Gamma di Eulero data dalla formula


    r

    (x) =
    0

    tx1 et dt =

    0 r +

    lim+

    tx1 et dt

    per x > 0 .

    Osservazione. Cogliamo loccasione per dare qualche informazione su questa importante funzione. Integrando per parti, si vede subito che vale la formula ricorrente (6) (x + 1) = x(x) per ogni x > 0

    da cui, essendo 0! = 1 = (0) , segue immediatamente che (7) n! = (n + 1) per ogni intero n 0 .

    Notiamo che la (6) pu` o essere usata per estendere la denizione di (x) al caso x < 0 non intero. Ad esempio, se x (1, 0) , si ha x+1 > 0 per cui ha senso porre (x) = x/(x+1) . Il cambiamento di variabile t = s2 nella denizione di (1/2) fornisce poi

    (8)

    (1/2) = 2
    0

    es ds =

    es ds

    La costante di Eulero-Mascheroni

    e lultimo membro ` e il cosiddetto integrale di Poisson, che vale . La funzione Gamma interviene spesso nellanalisi matematica classica avanzata e qui ci limitiamo a due applicazioni. Vale la formula (9)
    n misn Br =

    2 n/2 n r n (n/2)

    n ove Br ` e la palla di IRn di raggio r (e di centro 0 ) e misn denota lordinaria misura n -dimensionale. La (9) ` e ovvia per 1 n 3 e per controllare la sua validit` a per ogni n n+2 n si pu` o dimostrare che, da un lato, vale la formula ricorrente misn+2 Br / misn Br = 2 2r /(n + 2) (applicando opportunamente il Teorema di cambiamento di variabile negli integrali multipli) e che, dallaltro, la stessa formula ricorrente ` e soddisfatta dal secondo membro della (9) (tenendo conto delle (6)(8)). Vale la formula 1 0 1

    t1 (1 t) 1 dt = lim+
    0

    t1 (1 t) 1 dt =

    ()( ) ( + )

    per ogni , > 0

    il primo membro della quale si denota con il simbolo B (, ) . Segnaliamo che la funzione B : (0, +)2 IR che in tal modo risulta denita si chiama funzione Beta di Eulero . Concludiamo con la cosiddetta formula di Stirling (x) = xx ex 2x 1 + o(1) per x +

    dalla quale si deduce immediatamente il comportamento asintotico di n! .

    Potrebbero piacerti anche