2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Зорич. Дифференциальное исчисление.
Сообщение09.04.2019, 17:56 
Гл. 5 Пар. 3 Лемма 2. По индуктивному предположению мы должны получать, что $\varphi(x) = o((x - x_0)^{k-1})$ при $x\to x_0$, однако в учебнике $\varphi'(x) = o((x - x_0)^{k-1})$.
$x^2 = o(x)$ при $x\to 0$, но $2x \ne o(x)$.
Как собственно обосновать этот шаг?

 
 
 
 Re: Зорич. Дифференциальное исчисление.
Сообщение09.04.2019, 18:03 
ignat.fugasov
Нельзя ли более цельный фрагмент? В каких предположениях на $\varphi$ доказывается утверждение, и что за утверждение вообще? Формула Тейлора с остаточным членом в форме Пеано, надо думать? Нет?

 
 
 
 Re: Зорич. Дифференциальное исчисление.
Сообщение09.04.2019, 18:10 
Lia
Она самая, точнее лемма из которой выводится формула. Доказывается по индукции, что если до порядка $n$ в $x_0$ производные равны 0, то $\varphi(x) = o((x-x_0)^n)$.

 
 
 
 Re: Зорич. Дифференциальное исчисление.
Сообщение09.04.2019, 19:06 
В учебнике вроде все написано.
База. При $n=1$ - определение.
Делаем предположение, что утверждение верно при $n=k-1$ - то есть из того, что $k-1$ производных и значение функции, существуют и равны нулю, следует, что $\varphi(x) = o((x - x_0)^{k-1})$.
Делаем шаг индукции. Пусть $n=k$. Столько производных существует и равно нулю. Значение функции тоже. Обозначаем $\varphi'(x)=g(x)$. Тогда для этой функции выполнены условия предположения. Тогда $g(x)=\varphi '(x) =o((x - x_0)^{k-1})$. Надо думать, что это именно то место, о котором Вы спрашиваете. Дальше теорема Лагранжа.

 
 
 
 Re: Зорич. Дифференциальное исчисление.
Сообщение09.04.2019, 19:18 
Lia
Ой, в предположение же по сути написано, что для любой функции, у которой $k-1$ производных равны $0$ в $x_0$ выполнено утверждение, а я зациклился на начальной $\varphi(x)$, когда можно рассматривать и $\varphi'(x)$ относительно предположения. Чет переклинило. Спасибо за ответ, так бы продолжал ломать голову как без этого замечания доказать шаг.

 
 
 [ Сообщений: 5 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group