学年

教科

質問の種類

数学 大学生・専門学校生・社会人

解答のところでシャーペンで①②と書いているところについてそれぞれ質問したいです。 ①a>2のaは何を表していますか? anのことですか?? a>2がan>2のことを示しているのならばa1>2ということは理解できますが、間違っていれば教えて欲しいです。 ②なぜan-an-... 続きを読む

3 単調数列とコーシー列 25 SO ★★ 基本 例題 020 数列の発散と収束する数列の有界性 α>2として,数列{a}を次のように定める。 (本 a=a2-2, an+1=an2-2 この数列は正の無限大に発散することを示せ。 指針 数列{an} が単調に増加することを示す。 解答 収束する数列{a} は有界である。 2より a2 数列{a} が正の無限大に発散することを示すために, bn= 1 束することを示す。 このことは,次の定理により示される。 定理 収束数列の有界性 として, 数列{6} が 0 に an PD (称号の向きは変asaz 262 以下, 帰納的にすべてのnに対して an>2 単調減少 an-an-1=(an-12-2)-an-i= (an-i+1) (an-1- -1-20 よって, 数列 {az} は単調に増加する。 ancian. (+(-2) 271-2) bn=- とおくと, 数列{6} は単調に減少する。 bn 1 an また,すべてのnに対してb>0であるから,数列{bm}は下に有界である。 よって, 数列{bn} は収束するから,その極限値をβとする。 an>2より bn<- 2 21 an=12-2より1_1 (正の内に発話していること。 b2-2であるから bn-12-bn-2bn bn-12 B2=β-233 より β(β+1)(2β-1)=0 [n] 06/1/23より β+1>0, 2β-1<0 よってβ=0 [s) これはliman=∞ であることを示している。 n→∞ 参考 定理 収束数列の有界性の証明 lima=α とする。 このとき、ある番号Nが存在して, n≧Nであるすべてのnに対して N11 |an-α| <1 となる。 三角不等式により|an|-|a|≦|an-αであるから,n≧N であるすべてのnに対して|an|<|a|+1 が成り立つ。 ここで, M=max{|a|+1, |a|,|az|,......., | av-1|} とする。 このとき,Nの場合も、n<N の場合も |an | ≦M が成り立つ。 よって, 数列{an} は有界である。 注意 この逆は正しくない。つまり数列{az}が有界であっても、収束するとは限らない。例えば、 =(-1)" で定義される数列{an} は-1≦a≦1から有界であるが,振動するから収束しない。

解決済み 回答数: 1
数学 大学生・専門学校生・社会人

例4.28について質問です。(1)のfx^2+fy^2=、、の式までは分かっているのですがそこからいきなり(2)のラプラシアンの式がどうやって出るのかわからないです。どうか教えてください。

19:06 3/3 変数変換を学んだついでに 4.2.7. 変数変換におけるラプラシアンの表示. : 全単射, C2-級, = -1 とする. 関数 f(x) : D → R, g(s) : UR は f(x)=g(y(z)) = g(s) = f (d(s)) をみたしているとする. [5]. f(x,y) = √√√x² + y² = r = g(r,0). (**) of fi = oni, dxi ga = asa のように書く. 添字の,上下, 文字スタイルで区別がある. ここでは∇f = (....fi....), ∇sg = (..., ga,...) は行ベクトル . 逆写像のヤコビ行列は Þ : ((R”, s = (… .., sª,...) > ) U → D ( C (R¹, x = (..., x², ...))) となる.このとき連鎖律より次の関係式が得られる. f(x) = g(s(x)) * x³ THALT, fi = Σa ga$iº. & 5K füi = Σa ((Σ3 9aß$?) sº + 9asi). B (1) ▽zf = ∇sg.d.同様に∇sg = ∇f.do. (2) Axf := Σi fü = Σa‚ß Jaß(Vrsª, ▼+$³) + Σa 9aArsª. 2² 8² Ər² 20² 9回目終わり 例 4.2.8. R2 の極座標でのラプラシアンの表示 重 : UC (R2, (1,0)) → DC (R2, (x,y)), I = 重-1 πr TO cos -r sin 0 d = Yr yo sin 0 rcos o TI Ty cos o sin 1 T dy = = (d)-1 200 - sine cose) == (-²2) r 注: r = x2 +¥2,0 = tan -1 y の微分はしなくても煙は求められる. I (1) (fæ, fy) = (gr,90) · dV. (fz, fy) = (gr, ¼90) U, U = (- 特に fz + f = g + /1/129. 注: d では1列+2列 (1 行 ⊥2 行ではない). d では 1行2行 (1列+2列ではない). 8² a2 8² 12 10 + + + əx² 042 Ər² r² 20² rar + はそもそも考えない. d = (st) at (= (dd) -1): 第α行を ▽ zsa とする行列 lai (4) A = + U= 問題. R3 の極座標でのラプラシアンの表示. (x,y,z)=d(r,0,4)= (rsin A cos o, r sin A sin p, rcos E ↓ = Φ-1 とする. (1) d = (dd) を求めよ. (2) (fx,fu, fz) = (gr, 1,90, sin694) U, Uは直交行列, と書けることを示せ . cos 0 (3) Ar = ², A0 = A = 0 を示せ . r2 sin 0 8² 182 + Ər-2 2002 / sin A cos y sin A sin y cos A cos o cos A sin - siny cos 1 2 20 cos a + rar r2 sin 000 cos o sin 0 sino cos0 72 sin20042 cos 0 - sin 0 0 は直交行列と書ける. を示せ. | .d=Uの2行目に !を3行目に • itc-lms.ecc.u-tokyo.ac.jp 3 rsin 0 を掛けたもの. Ć

未解決 回答数: 0
数学 大学生・専門学校生・社会人

 リヤプノフ関数を用いた微分方程式系の安定性解析について勉強をしています。 写真の問題のうち、問23.1の(1)及び問23.2の(3)の解き方が分からないので教えて頂けますと幸いです。原点が中心、半径がルート3の円が不変集合になる理由も併せてお願い頂けるとありがたいです。よ... 続きを読む

23. リヤプノフ関数と安定性* 108 間 23.2 微分方程式系 dy =ーC dt (12) da =リー(=/3-2), (μ は負定数) dt について,次の間いに答えよ。 (1) V(r,g) = (z° +y°)/2 とする. このとき V12) (z,4) を求めよ。 (Ans. -μ(z°/3 -1)a?) (2) (12) の平衡点 (0,0) は安定であることを示せ。 (3) [研究] 点 (o,Yo) が (2o)? + (yo)? <3 を満たすとする. このとき, (zo,10) を通る解はt→8とすると (0,0) に収束することを示せ。 (ヒント. E={(0,9) : -0 <y < 8} であることに注意し, LaSalle の不変原理 と呼ばれる結果(下記参照) を適用する.) 【参考) RT 内の集合 Mは, 任意の co E Mに対し, zoを通る (2) の解が常に M に留まるな らば (2) に対する不変集合と呼ばれる。 LaSalle の不変原理 V(z) (zE S) は (2) のリヤプノフ関数とする. このとき, S 内に留まる(2) の有界解は, t→ o とするとき E:={ueS:Vg)(z) =D 0} に含まれ る(2) の最大不変集合に近づく

未解決 回答数: 1
数学 大学生・専門学校生・社会人

問題としてはこのURLのやつでexercise2.2.9の問題です。 2.2.9. Define T : ℓ^2(Zn ) → ℓ^2(Zn ) by (T(z))(n) =z(n + 1) − z(n). Find all eigenvalues of T.... 続きを読む

16:22マ l 全 の Exerc: 164/520 matrices, convolution operators, and Fourier r operators. 2.2.9. Define T:l'(Zn) - → e°(ZN) by ニ Find all eigenvalues of T. 2.2.10. Let T(m):e'(Z4) → '(Z) be the Fourier multipliei (mz)' where m = (1,0, i, -2) defined by T (m)(2) = i. Find be l(Z4) such that T(m) is the convolutior Tb (defined by Th(Z) = b*z). ii. Find the matrix that represents T(m) with resp standard basis. 2.2.11. i. Suppose Ti, T2:l(ZN) → e(ZN) are tra invariant linear transformations. Prove that th sition T, o T, is translation invariant. ii. Suppose A and B are circulant NxN matric directly (i.e., just using the definition of a matrix, not using Theorem 2.19) that AB is Show that this result and Theorem 2.19 imp Hint: Write out the (m + 1,n+1) entry of the definition of matrix multiplication; compare hint to Exercise 2.2.12 (i). iii. Suppose b,, bz e l'(Zn). Prove that the cor Tb, o Tb, of the convolution operators Tb, and convolution operator T, with b = 2 bz * b.. E Exercise 2.2.6. iv. Suppose m,, mz € l"(Z). Prove that the cor T(m2) ° T(m) and T(m) is the Fourier multiplier operator T) m(n) = m2(n)m」(n) for all n. v. Suppose Ti, T2:l"(Zw) → e'(Zn) are linear tra tions. Prove that if Ti is represented bya matri respect to the Fourier basis F (i.e., [T; (z)]F =A Tz is represented by a matrix Az with respect t the composition T20T, is represented by the ma with respect to F. Deduce part i again. Remark:ByTheerem 2.19, we have just proved of the Fourier multiplier operat Aresearchgate.net - 非公開

未解決 回答数: 1
1/3