Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
SOME THOUGHTS ON DIVERGENT AND ASYMPTOTIC                  SERIES                                           Jacob BarnettI...
∞                                                             π (e t )prime counting function evaluated at epx(-t) ln ζ ( ...
∞                ∞                               πwe get ∫    dx  ∑ (−1) n a( n) x n  x n −1 =           a (− s ) , i ...
∞                                          ∞Sum of a divergent series                   ∑n                                ...
∞                                                                                                           ∫x            ...
∞                                                                                        ∫ drG(r )r ( a + r )             ...
ζ   1      1  ζ  1   1π ∑ δ ( E − γ 2 ) = reg        +i E    +  −i E     +   γ                      ζ   2     2 ...
Of course , i will need to define a half-derivative , this can be made in the formof a limit, for example the q-th order d...
Upcoming SlideShare
Loading in …5
×

some thoughts on divergent series

383 views

Published on

i give some indeas on how to use asymptotic series and expansion to prove Riemann Hypothesis, solve integral equations and even define a regularized integral of powers

Published in: Education
  • Be the first to comment

  • Be the first to like this

some thoughts on divergent series

  1. 1. SOME THOUGHTS ON DIVERGENT AND ASYMPTOTIC SERIES Jacob BarnettIt is my intention of writting this paper, to be able to give a convenient method inorder to apply asymptotic and divergent series to solve integral equations like ∞this g ( s ) = s ∫ dtf (t ) K ( st ) or in order to extend the prime number theorem to be 0able to evaluate asymptotic sums in the form ∑p p≤ x k , also i would like to give a ∞ ∫x mfinite meaning to divergent integrals of the form dx for integer m. aIn order to do that, first i would need to define a generalized Borel transform of adivergent series in the form ∞ ∞ ∞  ∞ a ∑ an = ∫ dx  ∑ n x n  f ( x) with ∫ dx f ( x) x n = Ψn (1)n =0 0  n=0 Ψ n  0In case f(x) is just the exp(-x) one recovers the normal Borel transform, my nextsteep then is to consider the following asumptions. 1) the Borel generalized transform of a convergent series will be equal to the sum of this series 2) i will use a function g(s) that admits an expansion of the form ∞ an g ( s ) = ∑ n , this is very convenient for our purposes n =0 s ∞then for our integral equation of the form g ( s ) = s ∫ dtf (t ) K ( st ) , using our 0assumptions 1) and 2) we have the result ∞ ∞ an ∞  ∞ a g (s) = ∑ = ∫ dt  ∑ n n t n K (t ) and ˆ K ( n) = ∫ dtK (t )t n (2) n =0 s n ˆ  n = 0 s K ( n)  0 0Then from the definition (2) , we may consider that the solution to the integral ∞ ∞ aequation g ( s ) = s ∫ duf (u ) K ( su ) will be given by ∑ n t n = f (t ) (after a ˆ ( n) n =0 K 0 tchange of variable = u ) . As an example, let be the integral equation for the s
  2. 2. ∞ π (e t )prime counting function evaluated at epx(-t) ln ζ ( s) = s ∫ dt , the left side 0 e st − 1is just the natural logarithm of the Riemann Zeta function, in this case ∞ˆK (n) = Γ(n + 1)ζ (n + 1) = ∫ dt (et − 1) −1 t n , following this idea the solution to the 0 ∞ ln k ( x)prime number counting function should be of the form π ( x) ≈ ∑ , k =1 k !ζ ( k + 1) k 1from the prime number theorem for big n we have that an ≈ , if one sets nt = e x inside the solution one gets the Taylor series for the exponential integral(except a constant) . Of course the inverse can also be made, given any powerseries, we can obtain the integral equation it fullfills, for example ∞ (− x) n ζ (2n) ∞  1   f ( x) = −∑ , using the definition = − ∫ dtfrac   t n −1 , Here n =1 ( n − 1)!ζ (2n) 2n 0  t  the fractional part of a number is given by the x − [ x ] , then using the fact thatfor a convergent power series its Borel transform must be equal than its sumdefined in the normal sense we find ∞ (− x) n ∞ dt  ∞ (−t ) n   xe − 1 = −∑ −x = ∫ ∑  frac   t   (3) n =1 n! 0 t  n =1 ζ (2n)(n − 1)!   To end this section , i would like to show an strange property of sums and Mellintransforms, for example in order to solve the integral equation ∞g ( s ) = s ∫ dtf (t ) K ( st ) , we can turn this into an Algebraic equation by using the 0 ∞ ˆ ∫x s −1Mellin transform of a function defined by, dxf ( x) = F ( s ) for the case of our 0 ∞integral equation g ( s ) = s ∫ dtf (t ) K ( st ) , this is equivalent to the Algebraic 0 ˆ ˆ ˆequation G ( s ) = K ( s) F (1 − s) , if we have a function that can be expanded as an ∞alternating power series g ( x) = ∑ (−1) a( n) x , using the example (2) n n n=0 ∞ ∞ ∞ dt  ∞ g ( x) = ∑ (−1) a( n) x = ∫  ∑ (−1) n t n x n K (t ) n n with a (n) = ∫ dtK (t )t n −1 (4) n=0 0 t  n =0  0 1The series inside the first equation in (4) is just equal to and its Mellin 1 + xt ∞ t s −1 πtransform is just ∫ dt 0 = 1 + t sin(π s) , so aplying the Mellin transform inside (4)
  3. 3. ∞  ∞  πwe get ∫ dx  ∑ (−1) n a( n) x n  x n −1 = a (− s ) , i think this can be very 0  n=0  sin(π s )interesting to evaluate integrals from the Taylor series of the intengrand.Prime number theorem and beyond:For me, one of the most interesting parts of mathematics are primes, it iswonderful how although we can not give the number of primes less than a givenquantity x in a computable way, we still can know their asymptotic behaviour in x dtthe form π ( x) ≈ ∫ = Li ( x ) , from this equation we can get the probability of 2 ln t π ( x) 1that a randomly chosen integer will be a prime ≈ , in this sectio i will x ln xtry generalizing the Prime number theorem to include approximates value forthe sums ∑ p with k a real and positive number, first of all i need the k p≤xidentities x m dx ∞ (m + 1) k ln k x dx∫ ln x = ln ln( x ) + ∑ ∫ x ln x = ln ln( x) (5) k =1 k !.kThen , in order to obtain an asymptotics of the sums ∑p p≤ x k , considering that x m dxpowers of x are smooth , i shall replace the sum by an integral ∫ ≈ ∑ pm , ln x p ≤ xhere the idea is to weight the sum by means of an integral involving the π ( x) 1probability that a number is prime, which is just ≈ i this sense for x ln xpositive m and for the product of all primes less than x we find Li ( x m +1 )  d  Li ( x m +1 )  x m dx ≈ ∑ pm ≈∫ ln x p≤ x m +1 ∏ p ≈ exp  dm  m + 1     (6) p≤ x    m = 0The last sum in (6) is just to take the formal derivative with respect to m at m=0to get ∑ p → ∑ ln p , and then exponentitate, for m=-1 using the expression m p≤x p≤ x(5) ∑p p≤x −1 ≈ ln ln x , the sum is still divergent , but it diverges even slower than ∞ 1the Harmonic sum ∑n n =1 . For a function that can be expanded into Taylorseries near x=0 the following asymptotic formula holds . ∞ Li ( x n +1 ) d n f (0)∑xp≤ f ( p) ≈ ∑ n = 0 ( n + 1).n ! dx n , if the sum over all primes is convergent , it can becalculated by resummation of Taylor series taking a big big x.
  4. 4. ∞ ∞Sum of a divergent series ∑n n =1 k and a divergent integral ∫ x dx k : aI know that , perhaps many of the readers will think i am a lunatic if i say that ihave managed to sum divergent series like (for k >0) the following − Bn +11 + 2k + 3k + ................ = = ζ ( −n) for integer n (7) n +1However there is a method to obtain (7) with no much difficulty, first we needthe following two identities involving the exponential of the derivative operator ∞  d  1  d exp  a  f ( x) = f ( x + a) = ∑ ∞ d n f ( x) a n ∑ exp  n dx  =   d  (8)  dx  n =0 dx n n ! n =0 1 − exp    dx  ∞ x BTogether with the expansion for the Bernoulli numbers = ∑ n xn , exp( x) − 1 n =0 n !with all this we can obtai the ‘sum’ ( i will call it the sum even the series may bedivergent) of any function in the following form d ∞ ∞  d  1∑ f ( x + n) = ∑ exp  n  f ( x ) =  dx  d  dx d  f ( x) (9)   1 − exp  n =0 n =0  dx   dx Setting f ( x ) = x m , and evaluating the sum at n=0 we obtain − Bn +11 + 2k + 3k + ................ = valid for every integer n , for n=-1 , for the n +1Harmonic series i can use the definition of Euler constant ∞ 1∑ n − ln ∞ = γ = 0.5772... then in order to obtain a finite number for the divergentn =1 ∞ 1series i throw away the logarithm and keep only the finite part so ∑ = 0.5772... n =1 n ∞ ∫x mThis method can be extended to divergent integrals in the form dx , if we ainsert f ( x) = x m inside the Euler-Maclaurin summation formula∞ ∞ m − s m −1− s a∫x dx + ζ ( s − m) − ∑ i m − s + a m − s 2 ∫ m−s dx = xa a i =1 ∞ a Natural number (10) ∞ B2 r Γ( m − s + 1)−∑ (m − 2r + 1 − s ) ∫ x m − 2 r − s dx r =1 (2r )!Γ ( m − 2r + 2 − s ) a
  5. 5. ∞ ∫x mThis expression (10) is a recurrence formula for the divergent integrals dx , ahere s is a regulator so for big s all the integrals are convergent , is we take the ∞ −Blimit as s approaches to 0 and use the definition obtained before ∑ i . = n +1 n i =1 n +1valid for n=0 or positive we can manage to regularize any divergent integral of ∞ ∫x mthe form dx for every m except m=-1. aFor m=-1 if we use the Stirling series for Gamma function  1 1 ∞ B2 r x1− 2 nlog Γ( x) =  x −  log x − x + log ( 2π ) + ∑ (11)  2 2 r =1 2r ( 2r − 1)Taking the derivative with respect to x and inserting it inside the EulerMaclaurin ∞ dxsummation formula , we find for the case m=-1 ∫ = − ln a , in fact if we take 0 x+athis strange formula for granted we recover the following result for the Harmonic ∞ 1 Γ (a )series (usng the EulerMaclaurin summation formula again) ∑ =− , n =0 n + a Γ(a ) ∞ 1for a=1 i get ∑ = 0.5772... as i got previously for the Harmonic series. n =1 nFor more complicate functions, let us suppose we can expand kf (u ) = ∑c m =−∞ m (u + a ) m by means of a Laurent convergent series , then the ∞ ∫ duf (u) ( u + a ) −sexpression for positive a can be regularized using formulae 0 k ∞(10) and (11) , with the change of variable u + a = x , it becomes ∑ m =−∞ cm ∫ x m dx , afor m smaller than -1 there is no problem in defining the integrals , for m biggerthan -1 or equal to m=-1 i use formulae (10) and (11) to obtain finite results.For the case of multiple integrals in several variables −s∞ ∞ ∞  n ∫ 0 dx1 ∫ dx2 ..........∫ dxnG ( x1 , x2 ,......, xn )  a +  ∑  xi2  a positive integer (12)0 0  i =1 The idea is to define a big s, so the integral will be convergent and by the rulesof Calculus we can make a change of variables to n-dimensional hypersphericalcoordinates G (r , θ1 ,......, θ n −1 )r n −1 ( a + r ) if we are lucky and the integral is −s
  6. 6. ∞ ∫ drG(r )r ( a + r ) n −1 −sinvariant under rotation , then (12) becomes , this is just a 01-dimensional integral that can be again regularized by formulae (10) and (11),unfortunately in many cases the integrand will not be invariant under rotation, sowe will have to approximate the integral over the angles by a sum dΩ ≈ ∑ Ωi in iorder to get an integral that will depend only on the modulus of the position ∞ ∑ ∫ drG (r )r n −1 ( a + r ) −svector ii ,i2 ,......,in−1 , the problem with this approach is that i1 ,i2 ,......,in−1 0we replace a multiple integral on R n by a sum of 1-dimensional integral, for big sthe inetgral will be convergent, the idea here is to analytically continue to thecase s=0 in order to regularize and give a finite meaning to divergent integrals(in one or several variables) , the change of variable to hypersphericalcoordinates is allowed by the rules of calculus, i have not made any illegitimatemanipulations of the integral so i am very confident that my method will workand that i have respected all the mathematical rigour of analytic continuationand calculus of one and several variables.Riemann Hypothesis and Quantum mechanics:I have always found interesting the connection between math and physics,perhaps the most amazing one is the fact that the Riemann Hypothesis, can besolved by finding a dynamical system whose quantization yields the Riemannzeros (the imaginary part), i will give a brief sketch of my simple idea.The idea to prove the Riemann Hypothesis by means of Quantum mechanics, is d2just to find a Hamiltonian in one dimension H = − 2 + f ( x ) whose eigenvalues dx 1 are the roots of the equation ξ  + i E  = 0 , this fact is motivated by the 2 expansion in a form of an infinite product of the Riemann Xi-function 1  1 ∞  E ξ  + i E  = ξ   ∏ 1 −  everytime that E = En this product is 0 , also if 2   2  n =0  En we take the logarithmic derivative of this product, and use the representation of 1  1 the dirac delta function − ℑm   = δ ( x) , we find for the Xi-function π  x + iε  1 ξ  1  ∞ s ( s − 1)  s − ℑm   + i E + iε   = ∑ δ ( E − En ) ξ ( s ) = Γ   ζ ( s)π − s / 2 (13) π  ξ 2   n =0 2 2Formula (13) is the density of states of an hypothetical Quantum Hamiltonian inonde dimension whose energies are the square of the imaginary part of theRiemann zeros En = γ n , if i insert the last result (13) into the Riemann-Weyl 2formula that relates primes and zeros of the Riemann zeta function i find
  7. 7. ζ 1  1 ζ  1  1π ∑ δ ( E − γ 2 ) = reg  +i E  +  −i E  + γ ζ 2 2 E ζ 2 2 E (14)Γ 1 E 1 Γ 1 E 1 log π  +i  +  −i  − = g (E)Γ 4  2 4 s Γ 4   2 4 s 2 s So in this case, if we could find a system whose energies were En = γ n , then the 2Riemann Hypothesis would follow form the fact that the Hamiltonian operator isHermitian (only have real eigenvalues ) and from the expression 1  1 ∞  E ξ  + i E  = ξ   ∏ 1 −  , so the Riemann Xi-function evaluated on the 2   2  n =0  En  1critical line s = + i z has only Real zeros . In order to get the function f ( x) 2 d2inside the Hamiltonian H = − 2 + f ( x ) , we will use the semiclassical Wilson- dx  1Sommerfeld quantization conditions namely ∫ pdq =  n +  2π n = n( E ) , since C  2 hwe are working in reduced units where h = = 2m = 1 for simplicity , in the 2πcase of the one dimensional Hamiltonian the Wilson-Sommerfeld quantizationcondition yields to a integral equation not for the function f but for its inverse df −1 d −3/ 2  df −1 ( x )  E  1  12π  n +  = ∫ pdq =  n +  2π = 2∫ E − x = π −3/ 2   (15)  2 C  2 0 dx dx  dx From (15) and using the group property (assuming it is always valid)D a +b = D a .D b ,we can give the inverse of the function (potential) in the form d 1/ 2  1  2 d   1/ 2 1f −1 ( x) = 2 π  + N ( x)  + 1/ 2  arg ζ  + i x + ε  (16) dx1/ 2  2  π dx  2 ε → 0 , the first part is the smooth part of the potential , and it is equal to 1 1 i  arg Γ  + x + ε  − x ln π , (16) can be then defined (in a more compact π 4 2  2 d 1/ 2  1  1form) as f −1 ( x) = 1/ 2  arg ξ  + i x  +  as the argument of the Riemann π dx  2  2Xi-function evaluated on the critical line Re(s)=1/2 , but the first expression iseasier for computational purposes , from the Stirling’s formula the smooth partof the inverse function is given by the asymptotic equality x  x x 1 1  1   1 +e  N ( x) ≈ ln  − − + + O  3/ 2  = O  x 2  e>0 (17) 2π  2π  2π 8 48π x   x   
  8. 8. Of course , i will need to define a half-derivative , this can be made in the formof a limit, for example the q-th order derivative can be thought as ( e − 1) f ( x) = lim 1  ∞ (−1)n  q  f ( x + (q − n)ε )  ε d / dx q ∆ q f ( x)lim = lim ∑ n  (18)ε →∞ εq ε →∞ εq ε →∞ ε q  n =0    n  q  q −n ∞I have simply used the binomial expansion ( x − 1) = ∑ (−1)   x q with n =0 n  d   d  x = exp  ε  and the property exp  a  f ( x) = f ( x + a) to get (18) without  dx   dx any problem, this formula (18) allows us to compute the half derivativenumerically simply by setting q = 0.5 . For x ≤ 0 N(E)=0 , hence f −1 ( x) = 0 for x ≤ 0 , the inverse of this funciton is just the barrier x=0 since x = f (0) = 0 , thenfrom our method the inverse of the potential inside the Hamiltonian d2 H = − 2 + f ( x ) is given by the formula dx  2 d 1/ 2  1  1 −1  1/ 2  arg ξ  + i x  +  x>0f ( x) =  π dx  2  2 (19)  0 x≤0 I want to thank all the people that have helped me with my ideas, i have triedsubmitting it to a math journal, however i have only received negative critics, infact a referee told me that the appropiate place for my ideas was the trash andeven insulted me as a retarded and abnormal, it is a pity that sometimes theideas are good or bad simply depending on the person who tells them , anywayi would also like to thank all my future readers and the teachers who gave methe opportunity to express myself on internet.

×