|
|
|
Ngoài một số quy định đã được nêu trong phần Quy định của Ghi Danh , mọi người tranh thủ bỏ ra 5 phút để đọc thêm một số Quy định sau để khỏi bị treo nick ở MathScope nhé ! * Quy định về việc viết bài trong diễn đàn MathScope * Nếu bạn muốn gia nhập đội ngũ BQT thì vui lòng tham gia tại đây |
| Ðiều Chỉnh | Xếp Bài |
17-01-2018, 10:43 AM | #1 |
+Thành Viên+ Tham gia ngày: Jan 2018 Bài gởi: 5 Thanks: 2 Thanked 3 Times in 1 Post | Xấp xỉ dãy với logariths Cho dãy số $\left\{x_n\right\}_{n\in\mathbb Z^+}$ thoả mãn $x_1=1$ và $${x_{n + 1}} = x_n+e^{-x_n}\quad\forall\,n\in\mathbb Z^+.$$ Chứng minh dãy $\left\{y_n\right\}_{n\in\mathbb Z^+}$ với $y_n=x_n-\ln n$ là dãy giảm và $\lim y_n=0$. |
24-01-2018, 12:15 AM | #2 | |
+Thành Viên+ Tham gia ngày: Jan 2018 Bài gởi: 1 Thanks: 0 Thanked 0 Times in 0 Posts | Trích:
\[{y_{n + 1}} - {y_n} = {e^{ - {x_n}}} - \ln \left( {1 - \frac{1}{{n + 1}}} \right) < {e^{ - {x_n}}} + \frac{1}{{n + 1}};\;(*).\] Ta để ý $x_1=1>\ln 2$ và hàm $f(x)=x+e^{-x}$ tăng trên $\mathbb R^+$ đồng thời \[{x_{n + 1}} - \ln \left( {n + 2} \right) = f\left( {{x_n}} \right) - f\left( {\ln \left( {n + 1} \right)} \right).\] Cho nên nếu cứ có $x_n>\ln (n+1)$ sẽ kéo theo $x_{n+1}>\ln (n+2)$. Tức là ${x_n} > \ln \left( {n + 1} \right)\quad\forall\,n\in\mathbb Z^+$, điều này kết hợp với $(*)$ cho ta $y_n$ giảm. Đồng thời $y_n>\ln (n+1)-\ln n>0$ nên $y_n$ hội tụ đến $L$, lại từ $(*)$ có \[\left( {n + 1} \right)\left( {{y_{n + 1}} - {y_n}} \right) = {e^{ - {x_n}}} - \ln \left( {1 - \frac{1}{{n + 1}}} \right) = \frac{{n + 1}}{n}{e^{ - {y_n}}} + \left( {n + 1} \right)\ln \left( {1 - \frac{1}{{n + 1}}} \right).\] Lấy giới hạn hai vế ta có được \[\lim \left( {\left( {n + 1} \right)\left( {{y_{n + 1}} - {y_n}} \right)} \right) = {e^{ - L}} - 1.\] Có $\lim \left( {\dfrac{{{y_n}}}{{\sum\limits_{k = 1}^n {\dfrac{1}{k}} }}} \right) =0$ do $\lim y_n=L$ và $\lim {\sum\limits_{k = 1}^n {\dfrac{1}{k}} }=+\infty$, nên theo Stolz-Césaro thì \[0=\lim \left( {\frac{{{y_n}}}{{\sum\limits_{k = 1}^n {\frac{1}{k}} }}} \right) = {e^{ - L}} - 1.\] Từ đây có $\lim y_n=0.$ | |
Bookmarks |
Ðiều Chỉnh | |
Xếp Bài | |
|
|