请输入您要查询的字词:

 

单词 ProofOfEquivalenceOfFormulasForExp
释义

proof of equivalence of formulas for exp


We present an elementary proof that:

k=0zkk!=limn(1+zn)n.

There are of course other proofs, but this one has the advantage that it carries verbatim for the matrix exponentialMathworldPlanetmath and the operator exponentialPlanetmathPlanetmath.

At the outset, we observe thatk=0zk/k! converges by the ratio testMathworldPlanetmath.For definiteness, the notation ez below will refer to exactly this series.

Proof.

We expand the right-hand in the straightforward manner:

(1+zn)n=k=0n(nk)(zn)k
=k=0nn(n-1)(n-k+1)nkzkk!=k=0nπ(k,n)zkk!,

where π(k,n) denotes the coefficient

1(1-1n)(1-2n)(1-k-1n).

Let |z|M.Given ϵ>0, there is a N such that whenever nN, thenk=n+1Mk/k!<ϵ/2,since the sum is the tail of the convergent seriesMathworldPlanetmath eM.

Since limnπ(k,n)=1 for k, there is also a N, with NN, so that whenever nN and 0kN, then|π(k,n)-1|<ϵ/(2eM).(Note that k is chosen only from a finite set.)

Now, when nN, we have

|k=0nπ(k,n)zkk!-k=0zkk!|=|k=0n(π(k,n)-1)zkk!-k=n+1zkk!|
k=0n|π(k,n)-1|Mkk!+k=n+1Mkk!
=k=0N|π(k,n)-1|Mkk!+k=N+1n|π(k,n)-1|Mkk!+k=n+1Mkk!
<ϵ2eMk=0NMkk!+k=N+1nMkk!+k=n+1Mkk!
(In the middle sum, we use the bound |π(k,n)-1|=1-π(k,n)1 for all k and n.)
<ϵ2eMeM+ϵ2=ϵ.

In fact, we have proved uniform convergenceMathworldPlanetmath of limn(1+zn)nover |z|M.Exploiting this fact we can also show:

(1+zn+o(1n))n=(1+z+o(1)n)nk=0zkk!(pointwise, as n)
Proof.

|z|<M.Given ϵ>0, for large enough n, we have

|(1+wn)n-ew|<ϵ/2uniformly for all |w|M.

Since o(1)0, for large enough n we can set w=z+o(1) above.Since the exponential is continuousMathworldPlanetmath11follows from uniform convergence on bounded subsets of either expression for ez, for large enough n we also have |ez+o(1)-ez|<ϵ/2. Thus

|(1+z+o(1)n)n-ez||(1+z+o(1)n)n-ez+o(1)|+|ez+o(1)-ez|<ϵ.
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 20:30:43