Řady

Exponenciální (Eulerovy) řady

Zajímavou skupinu tvoří řady defiované vztahem:

E({a_k}) = ∑ a_k * x^k/k!

Periodu posloupnosti {a_k} označme m.

Základní posloupnosti

m = 1

Pro nulovou posloupnost {a_k} platí E{0} = 0. A pro E{1} nebo E{-1} užijeme Eulerův vztah: E(x) = e^x = x^0/0! + x^1/1! + x^2/2! + x^3/3! ...

    E(-1) = -e       E{1}  = e 

m = 2

Ze vztahů:

    E{0,1} = (e - 1/e)/2 = 1.175201194      E{1, 0} =  (e + 1/e)/2 = 1.543080635

dostaneme:

  E(p,q) = p*(e + 1/e)/2 + q*(e - 1/e)/2 = 1/2*[(p+q)*e + (p-q)/e]  

m = 3

    E{1,0,0} = 1.168058313
    E{0,1,0} = 1.041865365
    E{0,0,1} = 0.508358157(=1.016716314 / 2)

m = 4

    E{1,0,0,0} = 1.04169147 (=a)
    E{0,1,0,0} = 1.00833609 (=b)
    E{0,0,1,0} = 0.50138916 (=1.00277832 / 2 =c)
    E{0,0,0,1} = 0.16686511 (=1.00119066 / 4 =d)

A známé řady pro sinus a kosinus:

    E{0,1,0,-1} = sin 1 [rad] = (ei-1/ei)/2i = 0.841470985 (=b-d)
    E{1,0,-1,0} = cos 1 [rad] = (ei+1/ei)/2 = 0.540302306 (=a-c)

Přitom (zděděním z m = 2) máme:

    E{0,1,0,1} = E{0, 1} = (e - 1/e)/2 = 1.175201194 (=b+d) = sinh 1 (hyperbolický sinus)    
    E{1,0,1,0} = E{1, 0} = (e + 1/e)/2 = 1.543080635 (=a+c) = cosh 1 (hyperbolický kosinus)

Ze součtu výrazů E{1,0,-1,0} + E{1,0,1,0} = 2*E{1,0,0,0} (=2*a) dostaneme (eⁱ+1/eⁱ)/2 + (e + 1/e)/2.
A obdobně z E{0,1,0,-1} + E{0,1,0,1} = 2*E{0,1,0,0} (=2*b) dostaneme (eⁱ/i-1/eⁱ/i)/2 + (e - 1/e)/2 tj:

  E(1,0,0,0) = (e¹+ eⁱ+ e^-1+ e^-i)/4       E(0,1,0,0) = (e¹+ eⁱ/i- e^-1- e^-i/i)/4  

Dále E{1,0,1,0} - E{1,0,-1,0} = 2*E{0,0,1,0} (=2*c) a E{0,1,0,1} - E{0,1,0,-1} = 2*E{0,0,0,1} (=2*d) tj:

  E(0,0,1,0) = (e¹- eⁱ+ e^-1- e^-i)/4       E(0,0,0,1) = (e¹- eⁱ- e^-1+ e^-i)/4  

• (a=) E(1,0,0,0) = cos 1 + cosh 1, (b=) E(0,1,0,0) = sin 1 + sinh 1.
• Euler dokázal rozložit číslo (e^x-1/e^x)/2 v součin čísla x a činitelů tvaru (1+(x/nπ)²) a podobně i číslo (e^ix-1/e^ix)/2i v součin čísla x a činitelů tvaru (1-(x/nπ)²).

Součty přes mocninné posloupnosti

Výsledkem součtů pro jednoduché mocninné posloupnosti jsou výrazy, jejichž koeficienty jsou Stirlingova čísla druhého druhu:

            E(n) = x*ex 
            E(n2) = (x2+x)*ex 
            E(n3) = (x3+3*x2+x)*ex 
            E(n4) = (x4+6*x3+7*x2+x)*ex 
            E(n5) = (x5+10*x4+25*x3+15*x2+x)*ex 
        

Součty přes speciální posloupnosti

Známý je výsledek součtu pro posloupnost Bernouliových čísel B_n:

E(B_n) = x / e^x-1

Pro čísla E_n/2ⁿ z Eulerových polynomů E_n(x):

E(E_n/2ⁿ) = 2e^x/2/(e^x+1)