本文探讨了Toeplitz定理的推广，将和为1的条件替换为和的极限为1，并证明了这个推广定理。进一步，文章展示了这个推广定理在多个极限求和问题中的应用，包括不同类型的数列极限和乘积极限问题。
Toeplitz定理推广和应用
Toeplitz定理
设 n,k∈Nn,k \in \mathbb{N}n,k∈N，tnk≥0t_{nk}\ge0tnk≥0 且 ∑k=1ntnk=1\sum_{k=1}^{n}t_{nk}=1∑k=1ntnk=1，limn→+∞tnk=0\lim_{n\rightarrow +\infty}t_{nk}=0limn→+∞tnk=0。如果 limn→+∞an=a\lim_{n \rightarrow + \infty}a_n=alimn→+∞an=a，则
limn→+∞∑k=1ntnk⋅ak=a \lim_{n \rightarrow +\infty} \sum_{k=1}^{n}t_{nk} \cdot a_k=a n→+∞limk=1∑ntnk⋅ak=a
证略
推广 把和为1改为和的极限为1
设 n,k∈Nn,k \in \mathbb{N}n,k∈N，tnk≥0t_{nk}\ge0tnk≥0 且 limn→+∞∑k=1ntnk=1\lim_{n → +\infty}\sum_{k=1}^{n}t_{nk}=1limn→+∞∑k=1ntnk=1，limn→+∞tnk=0\lim_{n\rightarrow +\infty}t_{nk}=0limn→+∞tnk=0。如果 limn→+∞an=a\lim_{n \rightarrow + \infty}a_n=alimn→+∞an=a，则
limn→+∞∑k=1ntnk⋅ak=a \lim_{n \rightarrow +\infty} \sum_{k=1}^{n}t_{nk} \cdot a_k=a n→+∞limk=1∑ntnk⋅ak=a
证明:
设Sn=∑k=1ntnkS_n=\sum_{k=1}^{n}{t_{nk}}Sn=∑k=1ntnk
因为 limn→+∞tnk=1>0\lim_{n→ +\infty}t_{nk}=1 \gt 0limn→+∞tnk=1>0,因此 ∃N1∈N\exist N_1∈ \mathbb{N}∃N1∈N,当 n>N1n \gt N_1n>N1时，Sn>0S_n \gt 0Sn>0
当 n>N1n \gt N_1n>N1时，令bnk=tnk/Snb_{nk}=t_{nk}/S_nbnk=tnk/Sn，则
bnk≥0b_{nk} \ge 0bnk≥0并且
∑k=1nbnk=1\sum_{k=1}^n{b_{nk}=1}∑k=1nbnk=1，limn→+∞bnk=0\lim_{n→ +\infty}b_{nk}=0limn→+∞bnk=0
根据Toeplitz定理
limn→+∞∑k=1nbnk⋅ak=a \lim_{n \rightarrow +\infty} \sum_{k=1}^{n}b_{nk} \cdot a_k=a n→+∞limk=1∑nbnk⋅ak=a
所以
limn→+∞∑k=1ntnk⋅ak=limn→+∞Sn⋅∑k=1nbnk⋅ak=a \lim_{n \rightarrow +\infty} \sum_{k=1}^{n}t_{nk} \cdot a_k= \lim_{n \rightarrow +\infty} S_n ⋅ \sum_{k=1}^{n}b_{nk} \cdot a_k = a n→+∞limk=1∑ntnk⋅ak=n→+∞limSn⋅k=1∑nbnk⋅ak=a
定理的应用
1. 设 limn→+∞an=a\lim_{n\rightarrow+\infty} a_n=alimn→+∞an=a，证明
limn→+∞a1+2a2+⋯+nann2=a2 \lim_{n\rightarrow+\infty} \frac{a_1+2a_2+\cdots+na_n}{n^2}=\frac{a}{2} n→+∞limn2a1+2a2+⋯+nan=2a
证明：
设 tnk=2kn2t_{nk}=\frac{2k}{n^2}tnk=n22k，易知 tnk≥0t_{nk} \ge 0tnk≥0， limn→+∞∑k=1ntnk=1\lim_{n\rightarrow+\infty}\sum_{k=1}^{n}t_{nk}=1limn→+∞∑k=1ntnk=1，limn→+∞tnk=0\lim_{n\rightarrow+\infty}t_{nk}=0limn→+∞tnk=0
故由Toeplitz定理的推广知，
limn→+∞tnk⋅ak=a \lim_{n\rightarrow+\infty} t_{nk} ⋅ a_k=a n→+∞limtnk⋅ak=a
即
limn→+∞2⋅a1+2a2+⋯+nann2=a
\lim_{n\rightarrow+\infty} 2⋅ \frac{a_1+2a_2+\cdots+na_n}{n^2}=a
n→+∞lim2⋅n2a1+2a2+⋯+nan=a
左边乘以12\frac{1}{2}21,即得
limn→+∞a1+2a2+⋯+nann2=a2 \lim_{n\rightarrow+\infty} \frac{a_1+2a_2+\cdots+na_n}{n^2}=\frac{a}{2} n→+∞limn2a1+2a2+⋯+nan=2a
2. 设 limn→+∞an=a\lim_{n\rightarrow+\infty} a_n=alimn→+∞an=a， 0<q<10<q<10<q<1 证明
limn→+∞(an+an−1⋅q+⋯+a1⋅qn−1)=a1−q \lim_{n\rightarrow+\infty} \left( a_n + a_{n-1} ⋅ q+ \cdots + a_1 ⋅ q^{n-1} \right) = \frac{a}{1-q} n→+∞lim(an+an−1⋅q+⋯+a1⋅qn−1)=1−qa
证明：
设 tnk=(1−q)⋅qn−kt_{nk}=(1-q)⋅ q^{n-k}tnk=(1−q)⋅qn−k，易知 tnk≥0t_{nk} \ge 0tnk≥0， limn→+∞∑k=1ntnk=1\lim_{n\rightarrow+\infty}\sum_{k=1}^{n}t_{nk}=1limn→+∞∑k=1ntnk=1，limn→+∞tnk=0\lim_{n\rightarrow+\infty}t_{nk}=0limn→+∞tnk=0
故由Toeplitz定理的推广知，
limn→+∞tnk⋅ak=a \lim_{n\rightarrow+\infty} t_{nk} ⋅ a_k=a n→+∞limtnk⋅ak=a
即
limn→+∞(1−q)(a1⋅qn−1+⋯+an−1⋅q+an)=a\lim_{n\rightarrow+\infty} \left(1-q\right) \left(
a_1⋅ q^{n-1} + \cdots + a_{n-1} ⋅ q + a_n
\right)=an→+∞lim(1−q)(a1⋅qn−1+⋯+an−1⋅q+an)=a
左边除以1−q1-q1−q,即得
limn→+∞(an+an−1⋅q+⋯+a1⋅qn−1)=a1−q
\lim_{n\rightarrow+\infty} \left(
a_n + a_{n-1} ⋅ q+ \cdots + a_1 ⋅ q^{n-1}
\right) = \frac{a}{1-q}
n→+∞lim(an+an−1⋅q+⋯+a1⋅qn−1)=1−qa
3. 设 limn→+∞an=a\lim_{n\rightarrow+\infty} a_n=alimn→+∞an=a，limn→+∞bn=b>0\lim_{n\rightarrow+\infty} b_n=b > 0limn→+∞bn=b>0，且bn>0,∀n∈Nb_n \gt 0, ∀ n ∈ \mathbb{N}bn>0,∀n∈N,证明
limn→+∞a1bn+a2bn−1+⋯+anb1n=ab \lim_{n\rightarrow+\infty} \frac{a_1b_n+a_2b_{n-1} + \cdots + a_nb_1}{n}=ab n→+∞limna1bn+a2bn−1+⋯+anb1=ab
证明：
设 tnk=bn−k+1n⋅bt_{nk}=\frac{b_{n-k+1}}{n ⋅ b}tnk=n⋅bbn−k+1，易知 tnk≥0t_{nk} \ge 0tnk≥0，limn→+∞tnk=0\lim_{n\rightarrow+\infty}t_{nk}=0limn→+∞tnk=0
而limn→+∞∑k=1ntnk=limn→+∞1b⋅b1+b2+⋯+bnn=1b⋅limn→+∞bn=1\lim_{n\rightarrow+\infty}\sum_{k=1}^{n}t_{nk}=\lim_{n\rightarrow+\infty} \frac{1}{b}⋅ \frac{b_1+b_2+\cdots+b_n}{n}=\frac{1}{b}⋅ \lim_{n\rightarrow+\infty}b_n=1limn→+∞∑k=1ntnk=limn→+∞b1⋅nb1+b2+⋯+bn=b1⋅limn→+∞bn=1
故由Toeplitz定理的推广知，
limn→+∞tnk⋅ak=a \lim_{n\rightarrow+\infty} t_{nk} ⋅ a_k=a n→+∞limtnk⋅ak=a
即
limn→+∞bnn⋅b⋅a1+bn−1n⋅b⋅a2+b1n⋅b⋅an=limn→+∞a1⋅bn+a2⋅bn−1⋯+an⋅b1n⋅b=a
\lim_{n\rightarrow+\infty} \frac{b_n}{n⋅ b}⋅ a_1 + \frac{b_{n-1}}{n⋅ b}⋅ a_2 + \frac{b_1}{n⋅ b}⋅ a_n=\lim_{n\rightarrow+\infty} \frac{a_1⋅ b_n + a_2⋅ b_{n-1} \cdots + a_n⋅ b_1}{n⋅ b}=a
n→+∞limn⋅bbn⋅a1+n⋅bbn−1⋅a2+n⋅bb1⋅an=n→+∞limn⋅ba1⋅bn+a2⋅bn−1⋯+an⋅b1=a
两边同时乘以 bbb，即得
limn→+∞a1bn+a2bn−1+⋯+anb1n=ab
\lim_{n\rightarrow+\infty} \frac{a_1b_n+a_2b_{n-1} + \cdots + a_nb_1}{n}=ab
n→+∞limna1bn+a2bn−1+⋯+anb1=ab
4. 设 limn→+∞an=a\lim_{n\rightarrow+\infty}a_n=alimn→+∞an=a，bn≥0(n∈N)b_n \ge 0 (n∈ \mathbb{N})bn≥0(n∈N)，limn→+∞(b1+b2+⋯+bn)=S\lim_{n\rightarrow+\infty} \left( b_1 +b_2 + \cdots + b_n\right)=Slimn→+∞(b1+b2+⋯+bn)=S，证明:
limn→+∞(a1⋅bn+a2⋅bn−1+⋯+an⋅b1)=a⋅S \lim_{n\rightarrow+\infty} \left( a_1⋅ b_n + a_2⋅ b_{n-1} + \cdots + a_n⋅ b_1 \right)=a⋅ S n→+∞lim(a1⋅bn+a2⋅bn−1+⋯+an⋅b1)=a⋅S
证明：
情况1. S=0S=0S=0,则 bn=0b_n=0bn=0,题目得证
情况2. S>0S\gt 0S>0，令 Sn=b1+b2+⋯+bnS_n=b_1+b_2+\cdots+b_nSn=b1+b2+⋯+bn，bn=Sn−Sn−1b_n=S_n-S_{n-1}bn=Sn−Sn−1,则limn→+∞bn=limn→+∞(Sn−Sn−1)=S−S=0\lim_{n\rightarrow+\infty}b_n=\lim_{n\rightarrow+\infty}\left( S_n - S_{n-1}\right)=S-S=0limn→+∞bn=limn→+∞(Sn−Sn−1)=S−S=0
令 tnk=bn−k+1St_{nk}=\frac{b_{n-k+1}}{S}tnk=Sbn−k+1 易知 tnk≥0t_{nk} \ge 0tnk≥0， limn→+∞∑k=1ntnk=1\lim_{n\rightarrow+\infty}\sum_{k=1}^{n}t_{nk}=1limn→+∞∑k=1ntnk=1，limn→+∞tnk=0\lim_{n\rightarrow+\infty}t_{nk}=0limn→+∞tnk=0
故由Toeplitz定理的推广知，
limn→+∞tnk⋅ak=a \lim_{n\rightarrow+\infty} t_{nk} ⋅ a_k=a n→+∞limtnk⋅ak=a
即
limn→+∞a1⋅bn+a2⋅bn−1+⋯+an⋅b1S=a
\lim_{n\rightarrow+\infty} \frac{a_1⋅ b_n + a_2⋅ b_{n-1} + \cdots + a_n⋅ b_1}{S}=a
n→+∞limSa1⋅bn+a2⋅bn−1+⋯+an⋅b1=a
两边同乘以 SSS,即得
limn→+∞(a1⋅bn+a2⋅bn−1+⋯+an⋅b1)=a⋅S \lim_{n\rightarrow+\infty} \left( a_1⋅ b_n + a_2⋅ b_{n-1} + \cdots + a_n⋅ b_1 \right)=a⋅ S n→+∞lim(a1⋅bn+a2⋅bn−1+⋯+an⋅b1)=a⋅S
扫一扫
781
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
