74
правки
Изменения
м
Нет описания правки
Для доказательства существования предела применим критерий Коши, т. е. будем доказывать, что рассматриваемая последовательность фундаментальна<ref>[https://ru.wikipedia.org/wiki/%D0%A4%D1%83%D0%BD%D0%B4%D0%B0%D0%BC%D0%B5%D0%BD%D1%82%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D0%BF%D0%BE%D1%81%D0%BB%D0%B5%D0%B4%D0%BE%D0%B2%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D0%BE%D1%81%D1%82%D1%8C Фундаментальная последовательность]</ref>. Фундаментальность последовательности означает, что для любого <tex>ε > 0</tex> существует такой номер <tex>N</tex>, что для всех <tex>n > N</tex> и всех положительных <tex>m</tex>
<tex>|\ln {a_{n+m}} - \ln {a_n} - (n+m)\ln A + n\ln A - (\alpha_1 - \beta_1)\ln(n+m)+(\alpha_1-\beta_1)\ln n| < ε</tex>,
или
<tex>|\ln {a_{n+m}} - \ln {a_n} - m\ln A - (\alpha_1 - \beta_1)\ln(n+m)+(\alpha_1-\beta_1)\ln n| < ε(*)</tex>.
Перепишем отношение <tex>\frac{a_{n+1}}{a_n}</tex> в виде
<tex>\ln f(x)=(\alpha_1-\beta_1)x+\tilde{\gamma}x^2+...</tex>
Поэтому для некоторой постоянной <tex>C</tex> при достаточно маленьком <tex>x</tex> имеем <tex>|\ln f(x) = (\alpha_1 - \beta_1)x|<Cx^2</tex>. В частности, если <tex>N </tex> достаточно велико, то <tex>∀ n>N</tex>
<tex>|\ln a_{n+1} - \ln a_n - \ln A - (\alpha_1 - \beta_1) \frac{1}{n}|<C \frac{1}{n^2}</tex>,
<tex>|\ln a_{n+2} - \ln a_{n+1} - \ln A - (\alpha_1 - \beta_1) \frac{1}{n+1}|<C \frac{1}{(n+1)^2}</tex>,
<tex>........\cdots</tex>
<tex>|\ln a_{n+m} - \ln a_{n+m-1} - \ln A - (\alpha_1 - \beta_1) \frac{1}{n+m}|<C \frac{1}{(n+m)^2}</tex>.
Теперь интересующее нас выражение в левой части неравенства (4.6*) можно оценить с помощью системы (4.10) и неравенства треугольника<ref>[https://ru.wikipedia.org/wiki/%D0%9D%D0%B5%D1%80%D0%B0%D0%B2%D0%B5%D0%BD%D1%81%D1%82%D0%B2%D0%BE_%D1%82%D1%80%D0%B5%D1%83%D0%B3%D0%BE%D0%BB%D1%8C%D0%BD%D0%B8%D0%BA%D0%B0 Неравенство треугольника]</ref>:
<tex>| \ln a_{n+m} - \ln a_n - m \ln A - (\alpha_1 - \beta_1)( \ln {n+m} - \ln n)| =</tex>
