Bourbaki

Bài tập 3, § 4

Hàm số một biến thực, V

Chứng minh rằng, đối với mọi chuỗi hội tụ (un)(u_n) có các số hạng >0> 0, tồn tại một chuỗi (vn)(v_n) có tổng vô hạn, và các số hạng >0> 0, sao cho lim inf⁡n→∞vn/un=0\liminf_{n \to \infty} v_n / u_n = 0.

Cho (un)(u_n) là một dãy giảm các số >0> 0; nếu tồn tại một số nguyên k sao cho ukn≥unu_{kn} \geq u_n với mọi n kể từ một điểm nào đó trở đi, thì chuỗi có số hạng tổng quát unu_n có một tổng hữu hạn.

Cho (un)(u_n) là một chuỗi có các số hạng >0> 0 kể từ một điểm nào đó trở đi. Chứng minh rằng nếu

lim sup⁡n→∞(un+1un)n<1e \limsup_{n \to \infty} \left( \frac{u_{n+1}}{u_n} \right)^n < \frac{1}{e}
thì chuỗi hội tụ, và nếu lim inf⁡n→∞(un+1un)n≥1e\liminf_{n \to \infty} \left( \frac{u_{n+1}}{u_n} \right)^n \geq \frac{1}{e} thì chuỗi có một tổng vô hạn.

Cho (un)(u_n) là một chuỗi các số thực ≠0\neq 0 sao cho lim⁡n→∞un=0\lim_{n \to \infty} u_n = 0. Chứng minh rằng nếu tồn tại một r>rr > r sao cho 0<r<10 < r < 1 và nếu kể từ một điểm nào đó trở đi ta có −1≤un+1/un≤r-1 \leq u_{n+1}/u_n \leq r, thì chuỗi (u_n) hội tụ.

Cho (un)(u_n) là một chuỗi hội tụ có các số hạng >0> 0. Chứng minh rằng

lim⁡n→∞u1+2u2+⋯+nunn=0. \lim_{n \to \infty} \frac{u_1 + 2u_2 + \cdots + nu_n}{n} = 0.
Chứng minh rằng
∑n=1∞u1+2u2+⋯+nunn(n+1)=∑n=1∞un \sum_{n=1}^{\infty} \frac{u_1 + 2u_2 + \cdots + nu_n}{n(n+1)} = \sum_{n=1}^{\infty} u_n
1n(n+1)=1n−1n+1 \frac{1}{n(n+1)} = \frac{1}{n} - \frac{1}{n+1}
Suy ra từ a) và b) rằng
lim⁡n→∞n(u1u2…un)1/n=0 \lim_{n \to \infty} n(u_1 u_2 \ldots u_n)^{1/n} = 0
rằng
∑n=1∞(n!u1u2…un)1/nn+1<∑n=1∞un \sum_{n=1}^{\infty} \frac{(n! u_1 u_2 \ldots u_n)^{1/n}}{n+1} < \sum_{n=1}^{\infty} u_n
bất đẳng thức (8) của III, p. 93).

) Cho (z_n) là một dãy các số phức. Chứng minh rằng nếu các chuỗi có số hạng tổng quát zn,zn2,…,znq−1,∣zn∣qz_n, z_n^2, \ldots, z_n^{q-1}, |z_n|^q hội tụ, thì tích vô hạn có nhân tử tổng quát 1+zn1 + z_n hội tụ.

znz_n là thực và nếu chuỗi có số hạng tổng quát znz_n hội tụ, thì tích vô hạn nhân tử tổng quát 1+zn1 + z_n hội tụ nếu chuỗi có số hạng tổng quát zn2z_n^2 hội tụ, và

∏n=1∞(1+zn)=0 neˆˊu ∑n=1∞zn2=+∞. \prod_{n=1}^{\infty} (1 + z_n) = 0 \quad \text{ nếu } \quad \sum_{n=1}^{\infty} z_n^2 = +\infty.
với mọi số nguyên p≥2p \geq 2 đặt
kp=[log⁡log⁡p],hp=∑j=1p−1kj,ωp=2πkp. k_p = [\log \log p], \quad h_p = \sum_{j=1}^{p-1} k_j, \quad \omega_p = \frac{2\pi}{k_p}.

Định nghĩa dãy (zn)(z_n) các số phức theo cách sau: với n=hp+mn = h_p + m, 0≤m≤kp−10 \leq m \leq k_p - 1, đặt zn=emiωp/log⁡pz_n = e^{m i \omega_p} / \log p. Chứng minh rằng với mọi số nguyên q>0q > 0 chuỗi có số hạng tổng quát znqz_n^q hội tụ, nhưng tích có nhân tử tổng quát 1+zn1 + z_n không hội tụ.

9) a) Chứng minh, với sự trợ giúp của công thức Stirling, rằng cực đại của hàm fn(x)=∣e2x−e−x∑k=0n(−1)kxkk!∣f_n(x) = \left| e^{2x} - e^{-x} \sum_{k=0}^n (-1)^k \frac{x^k}{k!} \right| trên khoảng [0,+∞[[0, +\infty[ tiến tới 0 theo 1/n1/n.

b) Suy ra, bằng quy nạp trên số nguyên pp, rằng với mọi ε>0\varepsilon > 0 tồn tại một đa thức g(x)g(x) sao cho ∣epx−e−xg(x)∣≤ε\left| e^{px} - e^{-x} g(x) \right| \leq \varepsilon với mọi x≥0x \geq 0 (thay xx bởi px/2px/2 trong a), và áp dụng giả thiết quy nạp cho e(p−1)x/2e^{(p-1)x/2}.

10) Với mọi số α>0\alpha > 0 suy ra công thức

1αn+2αn+⋯+nαn∼nαn1−e−α 1^{\alpha n} + 2^{\alpha n} + \cdots + n^{\alpha n} \sim \frac{n^{\alpha n}}{1 - e^{-\alpha}}
khi n tiến tới +∞+\infty.

11) Với mọi số α>0\alpha > 0 suy ra công thức

(1!)−α/n+(2!)−α/n+⋯+(n!)−α/n∼1αnlog⁡n (1!)^{-\alpha/n} + (2!)^{-\alpha/n} + \cdots + (n!)^{-\alpha/n} \sim \frac{1}{\alpha} \frac{n}{\log n}
khi nn tiến tới +∞+\infty (so sánh mỗi số hạng (p!)−α/n(p!)^{-\alpha/n} với n−αp/nn^{-\alpha p/n}).

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.