大学学部レベル質問スレ 11単位目

**１３２人目の素数さん** · 2018/04/20(金) 05:50:10.46

大学で習う数学に関する質問を扱うスレ

・質問する前に教科書や参考書を読むなりググるなりして
・ただの計算は
http://wolframalpha.com
・数式の表記法は
http://mathmathmath.dote ra.net
・質問のマルチポストは非推奨
・煽り、荒らしはスルー

関連スレ
分からない問題はここに書いてね478
http://rio2016.5ch.net/test/read.cgi/math/1511604229/

※前スレ
大学学部レベル質問スレ 10単位目
http://rio2016.5ch.net/test/read.cgi/math/1519715377/

**１３２人目の素数さん** · 2018/05/30(水) 16:29:34.21

数値解析的な話題です。

「
R の区間 I 上で定義された関数 φ(x) に対して、次の2つの条件を満たす閉区間 J ⊂ I
と定数 0 < λ < 1 の存在を仮定する：

φ(x) ∈ J (x ∈ J).
| φ(x) - φ(x')| ≦ λ*|x - x'| (x, x' ∈ J).

このとき、 φ(x) は J において唯一の不動点を持つ。
」

「
不動点反復法が、有限回の反復で解 a に到達することはあるだろうか？
φ(x) は定数関数でないとする。もし、 x_N = φ(x_N) が成り立つと仮定すると、
a = x_N = φ(x_(N-1)) と不動点の一意性により、 x_N = x_(N-1) がわかる。
」

と書いてあるのですが、これはなぜでしょうか？

**１３２人目の素数さん** · 2018/05/30(水) 16:53:49.16

>>515
んなもん成り立つはずない。
例えばJ=(-1,1)、λ* = 1/2として前程条件は
φ(x) = (x-2x^2)/10
とかで成立するけど初期値1/2とすれば1回目でいきなり不動点やん。