Исследуйте сходимость и предел последовательности x_{n+1} = cos(x_n) для произвольного начального x_0 в R. Обоснуйте использование теоремы о сжимающем отображении
Рассмотрим отображение f(x)=cosxf(x)=\cos xf(x)=cosx и последовательность xn+1=f(xn)x_{n+1}=f(x_n)xn+1=f(xn). 1) Образ и область. Для любого x∈Rx\in\mathbb Rx∈R имеем x1=cosx∈[cos1,1]⊂[−1,1]x_1=\cos x\in[\cos1,1]\subset[-1,1]x1=cosx∈[cos1,1]⊂[−1,1]. Следовательно начиная с шага 111 все члены лежат в замкнутом отрезке [−1,1][-1,1][−1,1]. 2) Сжимаемость на [−1,1][-1,1][−1,1]. По теореме о среднем значении для любых x,y∈[−1,1]x,y\in[-1,1]x,y∈[−1,1] существует ξ\xiξ между ними с ∣cosx−cosy∣=∣sinξ∣ ∣x−y∣≤maxt∈[−1,1]∣sint∣ ∣x−y∣=sin1 ∣x−y∣.
|\cos x-\cos y|=|\sin\xi|\,|x-y|\le\max_{t\in[-1,1]}|\sin t|\,|x-y|=\sin1\;|x-y|. ∣cosx−cosy∣=∣sinξ∣∣x−y∣≤t∈[−1,1]max∣sint∣∣x−y∣=sin1∣x−y∣.
Так как sin1<1\sin1<1sin1<1 (численно sin1≈0.84147\sin1\approx0.84147sin1≈0.84147), то fff является сжимающим отображением на [−1,1][-1,1][−1,1] с коэффициентом L=sin1L=\sin1L=sin1. 3) Применение теоремы о сжимающем отображении. Отрезок [−1,1][-1,1][−1,1] полон по обычной метрике, f([−1,1])⊂[−1,1]f([-1,1])\subset[-1,1]f([−1,1])⊂[−1,1] и fff является сокращением, значит по теореме Банаха существует единственная неподвижная точка α∈[−1,1]\alpha\in[-1,1]α∈[−1,1] такая, что α=cosα.
\alpha=\cos\alpha. α=cosα.
Кроме того итерационная последовательность для любого начального значения в [−1,1][-1,1][−1,1] сходится к этой неподвижной точке с геометрической скоростью: ∣xn+1−α∣≤L ∣xn−α∣⇒∣xn−α∣≤L n−1∣x1−α∣(n≥1).
|x_{n+1}-\alpha|\le L\,|x_n-\alpha|\quad\Rightarrow\quad |x_n-\alpha|\le L^{\,n-1}|x_1-\alpha|\quad(n\ge1). ∣xn+1−α∣≤L∣xn−α∣⇒∣xn−α∣≤Ln−1∣x1−α∣(n≥1).
Поскольку любой x0∈Rx_0\in\mathbb Rx0∈R даёт x1∈[−1,1]x_1\in[-1,1]x1∈[−1,1], заявленное сходится для любого x0∈Rx_0\in\mathbb Rx0∈R. 4) Численное значение предела. Уравнение α=cosα\alpha=\cos\alphaα=cosα имеет единственное решение α≈0.7390851332151607\alpha\approx0.7390851332151607α≈0.7390851332151607 (в кавычках: α≈0.739085\alpha\approx0.739085α≈0.739085). Итого: для любого x0∈Rx_0\in\mathbb Rx0∈R последовательность xn+1=cosxnx_{n+1}=\cos x_nxn+1=cosxn сходится к единственному пределу α\alphaα, решению α=cosα\alpha=\cos\alphaα=cosα; сходимость геометрическая с коэффициентом L=sin1 (<1)L=\sin1\ (<1)L=sin1(<1).
1) Образ и область. Для любого x∈Rx\in\mathbb Rx∈R имеем x1=cosx∈[cos1,1]⊂[−1,1]x_1=\cos x\in[\cos1,1]\subset[-1,1]x1 =cosx∈[cos1,1]⊂[−1,1]. Следовательно начиная с шага 111 все члены лежат в замкнутом отрезке [−1,1][-1,1][−1,1].
2) Сжимаемость на [−1,1][-1,1][−1,1]. По теореме о среднем значении для любых x,y∈[−1,1]x,y\in[-1,1]x,y∈[−1,1] существует ξ\xiξ между ними с
∣cosx−cosy∣=∣sinξ∣ ∣x−y∣≤maxt∈[−1,1]∣sint∣ ∣x−y∣=sin1 ∣x−y∣. |\cos x-\cos y|=|\sin\xi|\,|x-y|\le\max_{t\in[-1,1]}|\sin t|\,|x-y|=\sin1\;|x-y|.
∣cosx−cosy∣=∣sinξ∣∣x−y∣≤t∈[−1,1]max ∣sint∣∣x−y∣=sin1∣x−y∣. Так как sin1<1\sin1<1sin1<1 (численно sin1≈0.84147\sin1\approx0.84147sin1≈0.84147), то fff является сжимающим отображением на [−1,1][-1,1][−1,1] с коэффициентом L=sin1L=\sin1L=sin1.
3) Применение теоремы о сжимающем отображении. Отрезок [−1,1][-1,1][−1,1] полон по обычной метрике, f([−1,1])⊂[−1,1]f([-1,1])\subset[-1,1]f([−1,1])⊂[−1,1] и fff является сокращением, значит по теореме Банаха существует единственная неподвижная точка α∈[−1,1]\alpha\in[-1,1]α∈[−1,1] такая, что
α=cosα. \alpha=\cos\alpha.
α=cosα. Кроме того итерационная последовательность для любого начального значения в [−1,1][-1,1][−1,1] сходится к этой неподвижной точке с геометрической скоростью:
∣xn+1−α∣≤L ∣xn−α∣⇒∣xn−α∣≤L n−1∣x1−α∣(n≥1). |x_{n+1}-\alpha|\le L\,|x_n-\alpha|\quad\Rightarrow\quad |x_n-\alpha|\le L^{\,n-1}|x_1-\alpha|\quad(n\ge1).
∣xn+1 −α∣≤L∣xn −α∣⇒∣xn −α∣≤Ln−1∣x1 −α∣(n≥1). Поскольку любой x0∈Rx_0\in\mathbb Rx0 ∈R даёт x1∈[−1,1]x_1\in[-1,1]x1 ∈[−1,1], заявленное сходится для любого x0∈Rx_0\in\mathbb Rx0 ∈R.
4) Численное значение предела. Уравнение α=cosα\alpha=\cos\alphaα=cosα имеет единственное решение α≈0.7390851332151607\alpha\approx0.7390851332151607α≈0.7390851332151607 (в кавычках: α≈0.739085\alpha\approx0.739085α≈0.739085).
Итого: для любого x0∈Rx_0\in\mathbb Rx0 ∈R последовательность xn+1=cosxnx_{n+1}=\cos x_nxn+1 =cosxn сходится к единственному пределу α\alphaα, решению α=cosα\alpha=\cos\alphaα=cosα; сходимость геометрическая с коэффициентом L=sin1 (<1)L=\sin1\ (<1)L=sin1 (<1).