![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
その閉曲線がたとえば四角形だったら各辺をたどるように
∫f(z(t))dz/dtdt みたいにz=x+iyを
x(t)+iy(t)
たとえば
t+it
とかって
tの関数とかとみて積分することと
原始関数を使って積分することの違いはなんですか?
コーシーとか華やかなののまえの話です。
多分原始関数を見いだせるのは
経路によらず
F(z) = ∫z0 -> z
がzの関数となるからF(a)-F(b)
みらいにz = b -> z = a
の経路によらないときなので領域と曲線上で正則なときだと思いますけど
十分狭く領域を取れば特異点を排除できて、各辺での原始関数による積分の和にできませんか?
(各辺を細くなぞったような領域を考えるイメージ)
No.4ベストアンサー
- 回答日時:
> けっして 0 ではなく、f(t) の留数に応じた有限の値を持ちます。
> はなんとなくいいたいことわかりあましたけど、じゃあこのような領域で積分する
> 時どうなりますか?
「留数定理とかやりましたけど」なんじゃないの?
内部に特異点を持つ閉路での積分は、閉路が囲む特異点の留数の合計
を 2πi 倍したものです。それが留数定理ですよね!
その閉路積分の値に、閉路が囲む領域の面積は関係ない。
この事実は、コーシーの積分定理によって保証されます。
面積は閉路積分の値に関係ないので、質問文中の考えのように
積分領域を細かく分割しても、特に関係がないのです。
No.3
- 回答日時:
うん、だからある領域で連続であっても、
その領域全部で正則でない関数については
原始関数を定められないってことです。
複素関数では領域で連続な関数がかならずしも
原始関数を持たないのです。
No.2
- 回答日時:
> コーシーとか華やかなののまえの話です。
その姿勢がいかん。
複素関数の積分が一価正則になるか否かの話をするために
まとめられたのが、コーシーの積分定理です。
それ以前の時代に知られてた知見だけで説明しろ
という要請は、単に怠惰で根性が悪いとしか言いようがない。
勉強しなさい。コーシーの業績は、偉大ですよ。
複素数平面上単連結な領域 D で正則な関数 f(z) に対して、
D の元 a,z を選んで定義する ∫[a,z]f(u)du は一価正則な
関数 F(z) を定めます。
点 a から点 z へ結ぶ連続な曲線 P₁ と P₂ について、
a から z へ P₁ に沿って行って P₂ に沿って戻ってくる
閉路 C を考えると、 f(z) が D 内で正則なことから
コーシーの積分定理より ∮[C]f(t)dt = 0 です。
∮[C]f(t)dt = ∫[P₁]f(t)dt - ∫[P₂]f(t)dt より、
∫[P₁]f(t)dt = ∫[P₂]f(t)dt が従います。
このことは、端点 a, z が決まっていれば、
経路 P₁, P₂ の道筋に依存せず ∫[a,z]f(t)dt が決まる
ことを示しています。
これによって、 a を定めると関数 F(z) = ∫[a,z]f(t)dt が
一価に定まる。
以上の話の要点は、コーシーの積分定理より ∮[C]f(t)dt = 0
であることでした。
質問の話題は、閉路 C が囲う領域を細分すると、
ひとつひとつの領域は面積 0 に近いから
その境界を周回して ∮f(t)dt = 0 に近いのはずだ! というものですね?
それは違います。
もとの C が囲う領域の中に f(z) の特異点が在るならば、
領域をどう細分しても、細分のどれかは特異点を含むことになります。
その細分を囲う閉路での ∮f(t)dt は、領域がどれだけ小さくても
けっして 0 ではなく、f(t) の留数に応じた有限の値を持ちます。
だから、 C が囲う領域の中に f(z) の特異点が在れば、
∫f(t)dt は一価にはならない。
それだけの話です。
ぶー :(
こーしとかを勉強してないわけじゃなくてちゃんと留数定理とかやりましたけどそれを含めて試験痛になやんじゃったからです。
'領域がどれだけ小さくても
けっして 0 ではなく、f(t) の留数に応じた有限の値を持ちます。'
はなんとなくいいたいことわかりあましたけど、じゃあこのような領域で積分する時どうなりますか?(問題を
S1ならtが-1 -> 1 でz=1+tiみたいにするのはわかります)
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 複素関数 1/(z-a) の積分について 3 2023/10/14 23:03
- 数学 絵は 1 2022/10/25 15:56
- 数学 1より大きい実数からなる数列{a[n]}がlim[n→∞]a[n]=1をみたしています。 xy平面上 2 2023/06/10 11:47
- 数学 複素関数の積分計算についての初歩的な質問 4 2024/04/27 17:11
- 数学 複素関数について 点aが特異点である関数を考えるとき、留数が0になる場合は、a点を含む閉曲線での積分 1 2023/02/17 12:39
- 数学 重積分の積分領域について D={(x,y)∈R^2 | 0≦y≦x≦∞} で表される領域で、∫[0→ 3 2023/05/05 23:33
- 数学 高校数学です。分からない問題があるので教えて欲しいです 5 2023/11/14 17:28
- 数学 f(z)=1/(z^2-1)の時、 i) 0<r<2 C={z||z-1|=r} の時は a(n)= 7 2022/09/01 10:08
- C言語・C++・C# あまりわかりません。 複素数$c$を具体的に定めた複素写像写像$f_c(z)$に対して、原点を含む領 4 2022/10/25 09:17
- 数学 数学Aの組み合わせの問題で、右の図のように、正方形を各辺の中点で結んで5つの領域に分ける。隣り合った 4 2023/08/10 09:15
このQ&Aを見た人はこんなQ&Aも見ています
-
性格の違いは生まれた順番で決まる?長男長女・中間子・末っ子・一人っ子の性格の傾向
同じ環境で生まれ育っても、生まれ順で性格は違うものなのだろうか。家庭教育研究家の田宮由美さんに教えてもらった。
-
フーリエ変換
数学
-
内積を
数学
-
累次積分を重積分になおすという
数学
-
-
4
他のスレだとだいたいいるのに数学カテには「そんな中学生レヴェルの質問はするな」とかいうへそ曲がりがい
数学
-
5
複素数平面について質問です。 点Zが原点Oを中心とする半径1の円上を動く時、 ω=(6Z-1)/(3
数学
-
6
なぜ?counterintuitive
数学
-
7
人知vs人工知 [0.999…]の場合
数学
-
8
難しいのでゆっくりよんでください。
数学
-
9
何をもってしていってますか? こうが収束するのと級数が収束するのは違いますが
数学
-
10
iに絶対値がつくとどうなるのかを教えてください
数学
-
11
フーリエサイン変換の
数学
-
12
微分係数の定義?
数学
-
13
a, bがa>0, b>0,1/a+2/b=3を満たして変化するとき, (1) abの最小値を求めよ
数学
-
14
積分定数どこまで
数学
-
15
三角不等式
数学
-
16
二項係数は2で何回割れるか
数学
-
17
これは証明になってる
数学
-
18
かなりあやしい
数学
-
19
複素数の問題で質問があります
数学
-
20
フルランク
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
e^(x^2)の積分に関して
-
0の積分
-
e^(-x^2)の積分
-
積分の数式を声に出して読むと...
-
高校の数学で積分できない関数
-
1/x は0から1の範囲で積分でき...
-
exp(ikx)の積分
-
積分の問題
-
大学の重積分の問題です。
-
e^(ax)の微分と積分
-
留数について
-
(x^3/√(x^2+1))の不定積分
-
y=1/√xの積分を教えてください
-
定積分=0という場合、積分され...
-
e^f(x)の積分の仕方
-
数3です。 1/xの0から1までの定...
-
置換積分と部分積分の使い分け...
-
exp(e^x)の微分,積分について
-
積分のパソコン上のの表し方...
-
∬1/√(x^2+y^2)dxdy を求めよ。
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報
"一方、f(z) = 1/z を考えると、(log z)
′ = 1/z だから一見原始関数がありそうに見える。しかし、z ∈ C
を極表示すれば z = reiθ+2πi のような不定性があるから、log z は必然的に log z = log r + iθ + 2πni, n ∈ Z のよう
な多価性をもつ。複素関数とは与えられた複素数 z に対してただ一つ値が決まる写像のことであるから、log z は実は
そのままでは関数としての資格がない。したがって、1/z は C において原始関数をもたない。これが n = 1 だけが特
別であった理由である。"
こういう話です。(関係ない問題は消してます)
https://ibb.co/6FMKJ6t