46 Euler-Mac Laurins summationsformel och Bernoulliska polynom Lars Hörmander Lunds Universitet Datorer gör det möjligt att genomföra räkningar som tidigare varit otänkbara, exempelvis att beräkna summan av en oändlig serie genom att helt enkelt addera ett stort antal termer. I praktiken är detta dock inte särskilt effektivt. Ett syfte med följande uppgift är att visa att matematiska metoder för att reducera räknearbetet inte blivit överflödiga trots de nya tekniska hjälpmedlen. Uppgiften består av två delar. I den första införs Bernoullital och Bernoullipolynom som hjälpmedel för att jämföra en summa med en integral. I den andra diskuteras Fourierserier med utgångspunkt från Bernoullipolynomen. Detta ger speciellt flera möjligheter att beräkna π. Om man vill beräkna summan av en serie som S = n 2 n= med hög precision, exempelvis 8 siffrors noggrannhet, så verkar det först som om man skulle behöva räkna ut en delsumma N S N = n 2 n= med ett orimligt stort antal termer. Vi har nämligen n n + = n(n + ) < n 2 < n(n ) = n n,
Euler-Mac Laurins summationsformel 47 vilket medför att för godtyckliga heltal N < M N + M + < M N+ n 2 < N M. Summan R N = S S N av termerna efter den N:te ligger alltså mellan /(N + ) och /N så man skulle behöva summera 8 termer för att få tillräckligt liten rest. Närmare eftertanke visar emellertid att eftersom < S S N N + < N N + = N(N + ) så räcker det att ta N = 4, beräkna s N och addera /N till resultatet. Ändå krävs termer.. Använd att n 2 ( 2 n ) = n + n 2 (n 2 ) för att sänka antalet termer under 5! Kan Du hitta ytterligare förbättringar? Om Du känner till något om numerisk integration så ser Du att man kan uppfatta exemplet ovan så, att N /n2 approximerats med N dx/x2 = /N, först med rektangeluppskattning, sedan med trapetsuppskattning av felet. Vi skall nu ge en allmän metod som inte kräver att man i varje särskilt fall hittar på ett knep. För att förenkla börjar vi med att undersöka f(x) dx för en funktion f som antas ha många kontinuerliga derivator. Om dessa blir allt mindre, som fallet är för f(x) = /(x + n) 2 då n är stort, så lönar det sig att integrera partiellt: f(x) dx = [(x c)f(x)] (x c)f (x) dx = ( c)f() + cf() (x c)f (x) dx.
48 Lars Hörmander Vi får en symmetrisk formel genom att välja c = 2, () f(x) dx = 2 (f() + f()) (x 2 )f (x) dx, där den första termen i högerledet kallas trapetsapproximationen till integralen; den är integralen av den lineära funktion som är lika med f i och. Man kallar (2) B (x) = x 2 för det första Bernoullipolynomet och bestämmer successivt Bernoullipolynomen B 2 (x), B 3 (x),... så att (3) B n (x) = nb n (x), B n () = B n (), n >. Det andra villkoret kräver att (4) B n (x) dx =, n >, vilket gäller enligt (2) då n = 2. Av (3) får vi B 2 (x) = x 2 x + c, och (4) kräver att vi väljer konstanten c så att 3 2 + c =, alltså c = /6. Det är klart att man på ett och endast ett sätt kan fortsätta att beräkna polynomen B n (x) genom integration av det föregående polynomet enligt (3) och bestämning av integrationskonstanten enligt (4). 2. Beräkna koefficienterna i polynomen B 3, B 4, B 5, B 6. 3. Visa att B n ( x) = ( ) n B n (x), n. 4. Visa att det finns en talföljd b, b,... (de Bernoulliska talen) sådana att n ( ) ( ) n n B n (x) = b l x n l n!, n ; = l l l!(n l)! ; l=
Euler-Mac Laurins summationsformel 49 och att dessa kan beräknas genom rekursionsformeln n l= ( ) n b l =, n 2. l Vi har alltså b =, b = 2, b 2 = 6. Beräkna b 3,..., b 6, och visa att b k = om k är udda >. 5. Visa att i intervallet [, ] är B 2k+ för k > noll i punkterna,, och inga andra. 2 6. Visa att och beräkna B n ( 2 ). 7. Visa att för k gäller B n (2x) = 2 n (B n (x) + B n (x + 2 )), B 2k (x) b 2k, B 2k+ (x) (2k + ) b 2k /4, då x. 8. Visa att B n (x + ) B n (x) = nx n och använd det för att beräkna summan N då n och N är positiva heltal. j= j n Genom upprepad partialintegration i () får vi nu (5) [ n f(x) dx = (f() + f())/2 ( ) k B k (x)f (k ) (x)/k! k=2 + ( ) n B n (x)f (n) (x)/n! dx. ]
5 Lars Hörmander Eftersom B k () = B k () = b k då k 2 och b k = då k är udda, så får vi om vi väljer n = 2p + udda (5) f(x) dx = 2 (f() + f()) [ p k= ] b 2k f (2k ) (x)/(2k)! B 2p+ (x)f (2p+) (x)/(2p + )! dx. Om f är en 2p + gånger kontinuerligt deriverbar funktion i intervallet N x M där N, M är heltal, så kan vi tillämpa detta på funktionerna x f(x + n) för N n < M och addera resultaten. De utintegrerade termerna i N +,..., M tar då ut varandra tack vare att vi i (5) har samma koefficienter i och i. Det har vi på grund av det andra villkoret (3) som ställdes precis för att uppnå detta. Beteckna med B ν (x) den funktion med perioden som är lika med B ν i intervallet [, ]; den är ν 2 gånger kontinuerligt deriverbar enligt andra delen av (3). Vi har då bevisat Euler-Mac Laurins summationsformel (6) M N f(x) dx = (f(n) + f(m)) + 2 [ p k= M 9. Använd formeln för att beräkna och n 2 N N<n<M ] M b 2k f (2k ) (x)/(2k)! N f(n) B 2p+ (x)f (2p+) (x)/(2p + )! dx. med 8 siffrors noggrannhet utan att summera ett stort antal termer. (Beräkna summan av de N första termerna och hälften av den n 4
Euler-Mac Laurins summationsformel 5 N:te exakt, samt använd (6) för att approximera resten! Experimentera med olika ganska små val av N och p för att se hur stor integralen i högerledet av (6) blir! Hur långt ner kan Du minska antalet termer som måste beräknas?). Använd formeln för att skriva ett program som beräknar Riemanns ζ funktion ζ(s) = n s med 8 siffrors noggrannhet då < s 6. Vi skall nu diskutera Fourierserien för den periodiska funktionen B n. De enklaste funktionerna som är periodiska med perioden är de trigonometriska funktionerna sin (2πkx) och cos (2πkx), eller e 2πikx = cos (2πkx) + i sin (2πkx), Eulers formler. Man säger att en funktion f med perioden har utvecklats i Fourierserie om den framställts som en summa (7) f(x) = c k (f)e 2πikx, vilket också kan skrivas i den mindre lätthanterliga formen f(x) = a k (f) cos (2πkx) + b k (f) sin (2πkx); a = c, a k = c k + c k, b k = i(c k c k ). I fortsättningen använder vi (7). Om (7) gäller i den starka meningen att N max f(x) c k (f)e 2πikx då N, N så kan man multiplicera med e 2πiνx och integrera varje term för sig. Eftersom {, om µ e 2πiµx dx =, om µ =,
52 Lars Hörmander så får man genast (8) c ν (f) = f(x)e 2πiνx dx. Man kallar talen som ges av (8) för Fourierkoefficienterna till f. Problemet är om (7) gäller med dessa koefficienter. Enligt (4) har vi c (B n ) =, om n, och då ν får vi med hjälp av (3) c ν (B n ) = = n 2πiν = B n (x)e 2πiνx dx = 2πiν n! (2πiν) n Det gäller nu att visa att B n (x)e 2πiνx dx =... B n (x) = ν B (x)e 2πiνx dx = n! (2πiν) n e2πiνx B n (x)e 2πiνx dx n! (2πiν) n. om n 2. Då konvergerar i varje fall serien eftersom ν ν n < 2 + 2 t n dt <. Låt alltså n 2, y, och betrakta funktionen f(x) = (B n (x) B n (y))/( e 2πi(x y) ), x. Med lämplig definition då x = y eller x = y ± så är f kontinuerligt deriverbar för x, så vi har c ν (f) = f(x)e 2πiνx dx = [f(x)e 2πiνx /( 2πiν)] + f (x)e 2πiνx /(2πiν) dx,
Euler-Mac Laurins summationsformel 53 då ν. Eftersom B n (x) = B n (y) + f(x) f(x)e 2πi(x y), x, så ger en enkel räkning { cν (f) e 2πiy c ν (f), om ν, c ν (B n ) = B n (y) + c ν (f) e 2πiy c ν (f), om ν =. Alltså är N N c ν (B n )e 2πiνy = B n (y) + (c ν (f)e 2πiνy c ν (f)e 2πi(ν )y ) N N = B n (y) + c N (f)e 2πiNy c N (f)e 2πi(ν )y B n (y), N, vilket bevisar att för n 2 gäller (9) B n (x) = n! ν (2πiν) n e 2πiνx. Speciellt får vi då x = () b n = n! ν (2πiν) n.. Använd () och övning 9 för att beräkna π. 2. Visa att om f är en två gånger kontinuerligt deriverbar funktion med perioden så gäller att 2 f (x y)b 2 (y) dy = c (f) f(x). Visa med hjälp av det att (7) följer av (9) med n = 2.
54 Lars Hörmander Eftersom ν / ν 2 dt/t = så är frågan om konvergensen av Fourierserien för B mera komplicerad. Delsummorna är s N (x) = e 2πiνx /(2πiν). < ν N Observera att s N (x) = s N ( x) = s N ( x), vilket speciellt ger s N () = s N ( 2 ) =. Vi kan summera derivatan som en geometrisk serie, s N (x) = < ν N e 2πiνx = N N e 2πiνx = e2πi(n+ 2 )x e 2πi(N+ 2 )x e πix e πix Eftersom s N () = får vi för x 2, s N (x) = x x sin (2π(N + 2 )t) sin (πt) = sin (2π(N + 2 )x). sin (πx) Nu är f(t) = / sin (πt) /(πt) en kontinuerligt deriverbar funktion i [, 2 ] (visa det som övning) och vi får därför med upprepning av ett bevis ovan att om e N (x) = x så är e N (x) C/(N + 2 ). Vidare är s N (x) + e N (x) = x där x () G(T ) = dt. sin (2π(N + 2 )t)f(t) dt sin (2π(N + 2 )t) πt T sin t πt dt. dt = x G(2πx(N + 2 ))
Euler-Mac Laurins summationsformel 55 Sätter vi x = 2 så ser vi eftersom s N( 2 ) = att Om πn T π(n + ) så är G(π(N + 2 )) 2 då N. G(T ) G(π(N + 2 )) πn π 2 sin t dt = πn, så vi kan dra slutsatsen att G(T ) då T på godtyckligt 2 sätt. Detta medför att s N (x) x 2 då N och < x 2, alltså för alla icke heltaliga x. 3. Visa att G(y) G(π) och beräkna G(π) numeriskt (eventuellt med hjälp av Euler-Mac Laurins formel eller Simpsons formel)! Värdet är,58949.... Minimum av s N ligger alltså nära G(π) då N är stort, fastän B 2. Denna översvängning kallas Gibbs fenomen. Rita gärna upp några delsummor på bildskärmen för att se detta, om Du har tillgång till dator med god grafik! Grafen för y = G(x) och y = 2, då x 4π.