■記事リスト / ▼下のスレッド
/ ▲上のスレッド
□投稿者/ 桜子 一般人(1回)-(2015/04/07(Tue) 12:47:48)
 | A,Bをn×n正値エルミート行列とするとき,
∃ε>0; ∀x∈(-ε,ε)に対して, A+xBの固有値は有界である,
つまり,
集合∪_{x∈(-ε,ε)}σ(A+xB)は有界であることはどうすれば示せますでしょうか?
σ(A)と書いたらAの固有値の集合を表してます。
|
|
|
▽[全レス19件(ResNo.15-19 表示)]
| ■47298 / ResNo.15) |
Re[15]: 固有値の問題
|
□投稿者/ 桜子 一般人(9回)-(2015/05/30(Sat) 01:58:24)
| あっ、なるほど。たしかに,
∂f(x,ε)/∂x|_{(x,ε)=(0,0)}=2x|_{(x,ε)=(0,0)}=0だから
dε/dxは(0,0)の近傍で存在するがdx/dεは(0,0)の近傍で存在しないのですね。
εはx(固有値に関して)陰関数定理を用いて解析的と示せるが
xはεに対して解析的かどうかは陰関数定理では判定不能なのですね。
|
|
|
| ■47300 / ResNo.16) |
Re[16]: 固有値の問題
|
□投稿者/ 桜子 一般人(10回)-(2015/06/01(Mon) 11:19:15)
| 従って,
(f_ε(x)=0はxはεについて解析的であるだろうが)
f_ε(x)=0にて,xはεについて解析的である事の証明には陰関数定理は使えないのですね。
|
|
|
| ■47301 / ResNo.17) |
Re[17]: 固有値の問題
|
□投稿者/ ひよこ 一般人(12回)-(2015/06/01(Mon) 23:17:25)
| 陰関数定理の仮定を満たさないことについては、それで良いと思います。
>(f_ε(x)=0はxはεについて解析的であるだろうが)
については、
f(x,ε)=x^2+εの場合、
f(x,ε)=0となるxをεで表そうとすると、
=%5csqrt{-%5cepsilon}
)
ただし、εは0以下、となって、この関数x(ε)は、ε=0では解析的ではないと思います。
・まず、0の近傍では関数が定義されていない。普通、ある点cで解析的というためには、cを含むなんらかの領域（連結開集合上）で考える。
・上記を解消するため、x(ε)をε>0で、全体が奇関数になるように拡張したりしても、そもそもx'(0)=-∞とかになって、0ではテイラー展開できません。つまり、解析的にはなりません。
いかがでしょうか。
|
|
|
| ■47302 / ResNo.18) |
Re[18]: 固有値の問題
|
□投稿者/ 桜子 一般人(11回)-(2015/06/02(Tue) 04:45:41)
| ご回答誠に有難うございます。
今,x(ε)はεで決まるエルミート行列A+εBの固有値だからx(ε)は実関数でなければならないがx(ε)=√(-ε)は0<εでは実関数とはならないので,
x(ε)は0≧εでしか定義されないのですね。
ここで,ε=0の時のεは0≦εの内点にならないのでx(ε)が定義されるε=0の開領域は存在しませんね。
> x(ε)をε>0で、全体が奇関数になるように拡張したりしても
ここのくだりがいまいち分かりません。これはε=0でx(ε)の可除特異点が取れないということでしょうか?
|
|
|
| ■47306 / ResNo.19) |
Re[19]: 固有値の問題
|
□投稿者/ ひよこ 一般人(13回)-(2015/06/04(Thu) 01:09:56)
| えーと、もともとの問題はちょっとおいといて、実数に限って、f(x,ε):=x^2+εの場合に話をしています。
ε>0の部分でx(ε)が定義されていないのが不都合の原因であるならば、
それを取り除くことを考えたいというのが、よくある考え方です。
それを実行するためには、とにかくx(ε)をε>0でうまく定義してしまえば良い、というわけですが、そういった場合に使われる手法の一つが奇関数拡張とか偶関数拡張とかなので例として挙げました（深い意味はありません）。
例えば、
「xが非負な部分でf(x)=sin xと定義されている関数が、x=0の近傍でC^1級か？」
というと、
「x<0ではf(x)が定義されていないためにx=0での微分が定義されないのでダメ」
という考え方もありますが、x<0に対して、f(x)が全体で奇関数になる（f(-x)=-f(x)となる）ようにf(x)を定めれば、f(x)はC^1級になるわけです。
これが奇関数に拡張するという話です。あくまで単なる拡張の仕方の一例です。
さて、今考えている問題では、そもそも、
%20=%20-%5cinfty
)
となっているので、これはx(ε)がε=0で解析的であることに矛盾します。
これは、ε=0が、x(ε)の可除でない特異点になっていることを意味しているわけです。
|
|
|
■記事リスト /
レス記事表示 →
[親記事-9]
[10-19]
|
で表示されます。
で表示されます。
ベクトルについて。(15)