- ベストアンサー
複素数の複素数乗の考え方
Tacosanの回答
- Tacosan
- ベストアンサー率23% (3656/15482)
あ, 間違えた. 整数を使うと 2π の整数倍が角度のところに出てくるから無意味だった. z = 1, α = 1/2, β = √5 とすると z^α z^β = { ± exp 2√5 iπ k | k ∈ Z }, z^(α + β) = { (-1)^k exp 2√5 iπ k | k ∈ Z } ですから, 前者の式では exp 2√5 iπ という値になりえますが後者の式では不可能です. ん～, なんか複雑だなぁ....
関連するQ&A
- 複素数の範囲での対数の扱い
http://oshiete1.goo.ne.jp/kotaeru.php3?q=2231046 こちらで現在質問をしているのですが、 疑問が出てきたので別途質問させていただきます。 例えばi^iについて解説している所を見ると、 i^i = exp(i*log(i)) （iは虚数単位） としている所が多いのですが、そもそも log(i^i) = i * log(i) は一般的に成り立つのでしょうか？ 主値を考えたときに成り立つのはともかくとして、 他の範囲で成り立つかどうかが判りません。 log(i)もi^iも多価関数というのは判ります。 まず前者は log(i) = log|i| + i * (π/2 + 2kπ) (k∈Z) i * log(i) = i * (π/2 + 2kπ) = -(π/2 + 2kπ) ∴exp{i * log(i)} = exp{-(π/2 + 2kπ)} これから導き出される解は一般に知られているものと等しいようです。 しかし、後者に関しては i^i = [r * exp{i(π/2 + 2kπ)}]^i （？？？） などとやってもよく判らなくなってしまいます。 要するに「任意の複素数の複素数乗」が判らないというわけで。 具体的な解説をお願いします。
- 締切済み
- 数学・算数
- 複素積分（コーシーの積分定理）について質問です
zを複素数としする。コーシーの積分定理によれば「関数f(z)が領域Dで正則であるとして、領域D内の任意の閉曲線Cの内部が領域Dに含まれる場合、閉曲線Cに沿った関数f(z)の周回積分は0になる。」が成り立つと思います。 そこで次の問題を考えました。（zは複素数変数、aは実数の定数、iは虚数単位とする） 「原点を中心とする半径aの円を閉曲線Cとする。閉曲線Cに沿った、関数f(z)=1/(z-ai)の周回積分Iをを求める。」 閉曲線Cの内部で関数f(z)は正則だけれども、閉曲線Cは関数f(z)が正則でないz=aiの点を含んでいるのでコーシーの積分定理は利用できない。…(1) そこで、次のように積分を行うことにしました。閉曲線Ｃを複素数で表して、C：z=a*exp(iθ) (0≦θ≦2π) dz/dθ=ai*exp(iθ) よってI =∫f(z)dz =∫{ai*exp(iθ)/(a*exp(iθ)-ai)}dθ (積分範囲は0≦θ≦2π) ここで、[Ln(a*exp(iθ)-ai)](0≦θ≦2π)=0…(2) そこで質問です。 (1)は正しく、閉曲線の外周上に被積分関数が正則で無い部分があるなら、コーシーの積分定理は成立しないのでしょうか？ (2)ln(z)は無限多価関数なので、どの複素関数の不定積分でもないと思ったので、Ln(z)を不定積分として用いたのですが、これは大丈夫なのでしょうか？ ご回答よろしくお願いします。
- ベストアンサー
- 数学・算数
- 複素数の対数の「無限多価性」が疑問です。
複素数の対数は無限多価性があると言います。 が、 e＾（i＊θ）= cosθ＋i＊sinθ ならば、 log[e] ｛c＊(cosθ＋i＊sinθ）} = log[e]c ＋ i＊θ ですので、 c と θ が一意的に定まっている場合、右辺は１価関数ですので、複素数は全て、対数は１価関数になるのでは有りませんか。どこが推論が間違っていますのでしょうか。
- ベストアンサー
- 数学・算数
- 多価な定数
対数関数logの多価性に関して以下の質問させていただきます。 対数関数logを複素数の範囲で考えると多価になりますよね。 （対数関数の主値をLog(z)と書き、主値の変数zの偏角(Θとおく)の範囲を -π<Θ<πとおけば、log(z)=Log(z)+2nπi（nは任意の整数）） となれば、単純に考えれば、例えばlog(-1)やlog(i)といったもの、 もっと言えば、任意の複素数定数z0の対数値log(z0)も多価になる かと思います。 （log(-1)=(2n+1)πi、log(i)=(2n+1/2)πi、等（nは任意の整数）） これらは、多価関数ならぬ、いわば多価定数と言えるかと思います。 このような多価な定数というものは、複素関数論の教科書の類を読んだ 範囲では目にしたことがありません。 そこで、以下の２点を質問させていただきます。 ・そもそも上記の多価な定数という考え方、log(-1)等の導出に 誤りが無いか。 ・誤りが無い場合、多価な定数、およびその応用等について言及した 文献は存在するか。 以上です。宜しくお願いします。
- ベストアンサー
- 数学・算数
- 複素数の留数について
こんにちは、複素数でわからない問題があります。 exp(az)/1+exp(z)の特異点が一位の極z=πiのみの時、留数定理によって その値は-2πi×exp(iπa) となるそうなのですが、なぜマイナスがつくのか分かりません。単純にz=πiを分子に代入したらマイナスは出てこないですよね。 どうやら、複素平面におけるlog（z）にz=－１を代入するとlog(1)+iπになることと関係があるみたいなのですが、まずなんでlog(1)+iπになるのかが分からないので理解できません。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 複素関数
複素数(1 + i)^50 - (1 - i)^50 の偏角と絶対値の求め方について 与式=exp(50*log(1+i)) - exp(50*log(1-i)) = exp(50*log√2) *{ cos(25π/2 + nπ/25) + i sin(25π/2 + nπ/25) - cos(-25π/2 + nπ/25) - i sin(-25π/2 + nπ/25)} = exp(50*log√2) *{ cos(π/2 + nπ/25) + i sin(π/2 + nπ/25) - cos(-π/2 + nπ/25) - i sin(-π/2 + nπ/25)} 加法定理を使って整理 与式= -2exp(50log√2) * (sin (nπ/25) - i * cos ( nπ/25 ) ) | z | = 2exp(50 log√2), 偏角 nπ/25 (n = 0, 1, 2, .....) というやり方でよろしいでしょうか？ 偏角は nπ/25 なのでしょうか？
- ベストアンサー
- 数学・算数
- 複素積分の初歩的な質問
以下のような問題についてなのですが。。。 問 複素平面z上の単連結領域 -1<Imz<1 で、次の z=-1 から 1 までの 定積分を求めよ。 ∫[-1,1]1/(z-i)dz （被積分関数が 1/(z-i),積分範囲が[-1,1]) 僕は実数関数のノリで [log|z-i|]を原始関数としてやり答えが0になってしまったのですが 解答を見ると以下のようにやっています。 積分経路を z-i = √2*exp(iθ) (-3pi/4 <= θ <= -pi/4) としてあとは普通に積分。(答えは(pi*i)/2） つまり -1<Imz<1,-1<=Rez<=1 の範囲で被積分関数は 正則だからコーシーの積分定理より経路を変えても積分値は同じ、 -1から1へまっすぐ積分するのではなく扇形の弧を描くように 積分するということです（と思います)。 で、模範解答のやり方はそれはそれでよく納得できたのですが 僕が最初にやったやり方はなにが不味いのでしょうか。 そもそも原始関数がlog|z-i|がおかしいのでしょうか？ この公式(∫f(x)'/f(x) dx = log|f(x)|）は複素数の範囲だと 成り立たない公式なのでしょうか？ 複素関数の積分で被積分関数が特異点を持つときは exp(iθ)を絡ませるのが常套手段なのでしょうか？ よろしくお願いいたします！
- ベストアンサー
- 数学・算数
- 複素関数の問題です。
f(z) = e^z - i のf(z) = 0の解zをすべて求めよ。 ******************************** という問題です。 解は z = log i であっているのでしょうか？
- ベストアンサー
- 数学・算数
- 留数定理を利用する実積分
留数定理を利用して1/(x^3+1)を0から∞まで積分してください。本ではlogz/(z^3+1)を原点ＯからＲ、Ｒから反時計回りに一周円を描き、再びＲに戻り、そのときには多価関数の性質からlogz+2πiになっているので、そこから原点Ｏに戻るという経路で積分するというような説明がされていたのですが、よくわかりません。どなたか教えてください。
- ベストアンサー
- 数学・算数
- 積分値を複素関数を使って求める
お世話になります。 【問題】 実変数θに対する下記の積分値を、複素関数を使って求めよ。 ∫[ 0 → 2π ]1 / ( 5 - 3cosθ )^2 dθ 【自分の解答】 オイラーの公式より cosθ = ( exp( iθ) + exp( -iθ ) ) / 2 これを与式に代入して ∫[ 0 → 2π ]1 / ( 5 - 3 ( exp( iθ) + exp( -iθ ) ) / 2 )^2 dθ = (*) ここで z = exp( iθ) + exp( -iθ ) とおくと dθ/ dz = 1 / (dz / dθ) = 1 / iz ∴dθ= ( 1 / iz )dz また θ:0 → 2π z :2 → 2 よって (*) = ∫[2 → 2]1 / ( 5 - 3z / 2 )^2 ( 1 / iz )dz (ここから不明) 【質問】 上記のやり方では積分範囲が2 → 2となり被積分関数がどんなものであろうとその積分値は0になってしまいます。 私の解答は間違っていると思うのですが、何が間違っているのか、どうすれば正しくなるのかがわかりません。 どなたかご教授よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
変形がよくわからないのですが、式を見ると 前者でも後者でも exp 2√5 iπ になっている気がするのは 気のせいでしょうか？