• ベストアンサー

コーシーの主値積分の意味

コーシーの主値積分について調べていたのですが、少し疑問が出てきたので教えてください。 広義積分では存在しないような解になる場合(無限大-無限大、等)、 コーシ─の主値積分を利用すると有限の値に定まる場合があると載っていたのですが、 これは、後者が正しい解であると考えてしまっていいのでしょうか? (つまりは、広義積分の例外処理のような役割?) よろしくお願いします。

質問者が選んだベストアンサー

  • ベストアンサー
noname#221368
noname#221368
回答No.1

 主値積分を使用して良いかどうかは、ケースによります。  例えばまず、a,bを有限として、区間[a,b]上で積分する事をここでは、   (a~b)∫f(x)dx  (1) で表す事にします。(1)でa→-∞,b→+∞の極限を考える場合、一般的には、a≠-bの条件でやるべきです。a=-bとしてb→+∞の極限で可積であったとしても、それは偶然そうなる場合もある、としか言えません。  なので主値を採用して良いかどうかは、この問題では主値を採用すべきだ、という積極的な理由がある場合に限られます。

wongfeifong
質問者

お礼

何かしらの理由が必要なんですか。定義の割にはかなり限定的ですね…^^; 参考になりました。回答ありがとうございます。

関連するQ&A

  • 線分長無限大でのコーシーの積分定理

    コーシーの積分定理で積分曲線の長さが有限の場合はわかりますが、 線分長が有限でない場合で、積分が収束する場合にもコーシーの積分 定理が成り立つのでしょうか?成り立つとするとどういう証明に なりますか。

  • 積分の問題です

    途中で間違えていたため訂正しました; 積分の計算の質問です。 (1)∫(-π/2~π/2)(tanx)^2dx これは広義積分を0までと0からに分けて定義して、 その後(tanx)^2の不定積分を求めるためにt=tanxとおいて計算すると tanx-xが求まり、それを広義積分に当てはめると lim(ε→0)(-π/2+ε+1/tanx)+lim(η→0)(-π/2+η+1/tanx) となったんですが、これは答えが正の無限大となると考えればよいのでしょうか? (2)∫(0→π)(1/1+2cosx)dx これはxが2π/3のとき分母が0になってしまうので、そこを境に広義積分を定義して 次にt=tanx/2とおいて1/1+2coxの不定積分を求めると 1/3*log|(√3+tanx/2)/(√3-tanx/2)|が求まり、 それを広義積分に当てはめるとx=πのところで値がlog|∞/∞| のようになってしまうように思うんですが、 これは途中で間違っているのでしょうか?それとも何か考え方が違うのでしょうか? (3)∫(0~π/2)(π/2-x)tanxdx これは解き方の方針が思いつきません。 どれか1つでもいいので、 回答いただけるとうれしいです><

  • 複素積分(コーシーの積分定理)について質問です

    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を複素数で表して、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)を不定積分として用いたのですが、これは大丈夫なのでしょうか? ご回答よろしくお願いします。

  • 積分の問題が分かりません

    以下の広義積分が収束するか判定せよ。ただしその値は求めなくてよい。 1.  x^p*(1-x)^q を0から1までxで積分 p,qは0以下の実数でp,qの値で場合分け 2. cos(x)/x を0から∞まで積分 という問題です。助けてください

  • 広義積分

    次の広義積分が収束するかどうか、調べてください。収束する場合はその値も求めてください。 ∫[1,∞]1/(x^3+1)dx 3次式の因数分解の公式を使うんでしょうか?

  • 広義積分可能かどうかの判定問題

    タイトルどおりですが、広義積分可能かどうかの判定を行い、可能な場合はその値を求める問題です。 広義積分云々以前に積分をしばらくやっていなかったために、解法がわからなかくなり、参考資料もなかったので質問いたしました。 (問) ∫(1→∞)sinx/cos^2x+x^2dx この積分の途中式を中心に、解いていただけると助かります。ご回答よろしくお願いします。

  • 広義積分

    広義積分が収束するかどうか調べてください。収束する場合はその値も求めてください。 (1)∫[1,∞]1/{x(x^2+2)}dx (2)∫[1,4]x/√(4x-x^2)dx 途中計算も書いてくださると、ありがたいです。

  • 数値積分

    数値積分で e^(-x)/√xを[0,1]の範囲で数値積分するのですが、 f(0)の値が無限になり、台形公式やシンプソンの公式が使えません。 この場合どのように解けばよいんですか?

  • 宇宙の創造主は存在しない

      宇宙の公理を用いてこれを証明します。 証明: 仮に宇宙の創造主が存在したとする。 すると宇宙は現在からある有限の時間内に創造されたことになる。 このとき第2公理より宇宙と宇宙の法則は一体なのであるから、宇宙と宇宙の法則は同時に創造されねばならない。 しかし第6公理より宇宙の法則は永遠無限に不変なのであるから、ある有限の時間において宇宙の法則が誕生することは有り得ない。 故に宇宙の法則の創造は有り得ず、これは同時に宇宙の創造も有り得ないことになる。 宇宙の創造が有り得ないのであれば、宇宙の創造主は存在しないと結論できる。 証明終わり。           宇宙の公理 第1公理 宇宙は存在する 第2公理 宇宙と宇宙の法則は一体である 第3公理 宇宙の法則は宇宙の全現象を支配する 第4公理 宇宙の法則は唯一絶対である 第5公理 宇宙の法則は永遠無限に均一である 第6公理 宇宙の法則は永遠無限に不変である (※永遠とは無限時間、無限とは無限空間を意味する)  

  • 広義積分の問題を教えてください。

    fとgを区間I=(0,∞)で定義された連続非負関数で、この区間で広義積分可能であるとします。 さらに、 f(x)→0 (x→0) xg(x)→0 (x→∞) を満たしているとき、 lim[n→∞] n∫f(x)g(nx)dx = 0 (積分区間はI) が成り立つことを示したいです。 以下のように積分区間を0から1,1から∞にわけて、 それぞれ評価しようとしましたがうまくいきません。 具体的には、 J=n∫f(x)g(nx)dx とおいて、 J= n∫f(x)g(nx)dx + n∫f(x)g(nx)dx (最初の項を(1) 2つめの項を(2)として) (1)の積分区間は0~1 (2)の積分区間は1~∞ (1)において、g(nx)が非負なので、平均値の定理から、 (1)=nf(Cn)∫g(nx)dx となるような、nに依存する値 Cn∈[0,1]が存在。 nx=tと置換すれば、 (1)=f(Cn)∫g(t)dt    (積分区間は0からnに変化) というキレイな形になり、 ∫g(t)dt  は、gが広義積分可能なことから、有限値に収束。 このままf(Cn)が0に収束してくれれば良いんですが、 Cnは [0,1]上 特に性質なくいろんなところをとりえます。 だから、Cnが単調減少して、仮定の条件をつかって クリア!みたいなことにはならないのです。 根本的に方針が違うのだと思うのですが、 どなたかヒントでもいいので教えてください。