コーシーの主値(主値積分)
コーヒー・ブレイクとして,数学のショートトピックを考察してみます。
ちょっと思い付きで,コーシー(Cauchy)の主値,あるいは主値積分と呼ばれているものを考えます。
コーシーの主値というのは,実数の区間[a,b]で定義された関数f(x)がa<c<bなるある点cで不連続なとき,P∫abf(x)dx≡limε→+0[∫ac-εf(x)dx+∫c+εbf(x)dx]と定義して,これを主値(積分)(principal value)と呼ぶことを指します。
これは,区間[a,b]が無限区間(-∞,∞)で被積分関数がf(x)/x (f(x):連続関数)の場合には,P∫-∞∞{f(x)/x}dx=limε→+0[∫|x|≧ε{f(x)/x}dx]です。
複素平面上の実軸を含む領域でf(z)が正則なとき,主値P∫-∞∞{f(x)/x}dxを,複素z平面上のある経路Cにおける線積分∫C{f(z)/z}dzで近似することを考えます。
Cとしては,実軸上の-∞から-εまで真っ直ぐ進み,原点Oを回避するために,Oを中心として半径εの小円で点-εから点εまで時計回り(負の向き)にπだけ回る半円経路を加え,さらにεから∞までの直線経路を考えたものとします。
つまり,小半円の経路をγ-とすると,全経路はC=(-∞,-ε)∪γ-∪(ε,∞)です。
すると,∫C{f(z)/z}dz=P∫-∞∞{f(x)/x}dx+∫γ-{f(z)/z}dzと書けます。
ところが,明らかに∫γ-{f(z)/z}dz=i∫π0f(εexp(iθ))dθ=-iπf(0)です。
それ故,∫C{f(z)/z}dz=P∫-∞∞{f(x)/x}dx-iπf(0) なることがわかります。
被積分関数f(z)/zに対し,その特異点であるz=0 付近で上半平面方向に歪めた経路C=(-∞,-ε)∪γ-∪(ε,∞)を取る代わりに,通常の(-∞,∞)の経路のまま,被積分関数の方をf(z)/zからf(z)/(z+iε)に微修正して,特異点をz=0 から下半平面のz=-iεに移すのは,事実上,同等な操作であり,同じ積分値を与えるはずです。
すなわち,∫-∞∞{f(x)/(x+iε)}dx=∫C{f(z)/z}dz=P∫-∞∞{f(x)/x}dx-iπf(0)です。
同様な考察から∫-∞∞{f(x)/(x-iε)}dx=∫C{f(z)/z}dz=P∫-∞∞{f(x)/x}dx+iπf(0)も得られます。
これらの公式を,形式的に1/(x+iε)=P(1/x)-iπδ(x), 1/(x-iε)=P(1/x)+iπδ(x)と書きます。
主値積分については,コーシーの積分定理を意識して,上半平面や下半平面で,半径が∞の半円周を加えた閉じた経路を積分経路Cとする説明をよく見かけますが,それは半径が∞の半円周上で積分がゼロになるような特別な被積分関数形を要求します。
留数などを考慮する必要がある場合なら,その方がいいでしょうが,上の考察では,関数f(z)がz→ ∞でゼロに急減衰すべきであるとかの条件は全く必要ないのがミソです。
今日は記憶に頼った短かい覚え書きなので参考文献はありません。
PS:2ヶ月ぶりに帝京大病院に診察を受けに行きました。
これまでは内科診療は心臓や血管が専門の主治医I先生だけでしたが持病の糖尿病がかなり悪化しているというので今回からMという糖尿病が専門の女の先生の診療も受けることになりました。
ところが,先に診察を受けた糖尿病の方で,12時直前に受けた診察で,朝9時半に検査した結果の糖尿病の指標であるヘモグロビン(HbA1C;正常値4.3~5.8)が,前回(5月8日)まで,11くらいもあったのに,8.6と劇的に軽減されていたので,当然インシュリン注射の指導をする予定だったらしい女医が,これまで通りの投薬で様子を見るということになりました。
空腹時血糖値は200丁度でしたが,これも前回は確か250くらいだったので減っていたし,今日は朝8時頃おにぎりを食べてきたので完全に空腹というわけではありませんでしたた。
別に何をしたというわけもなく,このところ金がなくて空腹続きだったのが良かったのでしょうか?
最近,何かしましたか?生活が変わりましたか?等聞かれましたが,相変わらず薬はよく忘れて半分くらいは残っているし,別に,貧乏で肉類が少なく空腹だったくらいです。
そういえば,先月初め,知り合いに紹介されて面接した秋葉原の「コタラヒムジャパン」http://kothalahim.blog110.fc2.com/blog-entry-9.html という会社が,偶然にも和名「コタラヒム」という名前の糖尿病に効くらしいスリランカの薬草を販売している会社でした。
そのとき,対面したS会長に自分も長年糖尿病である旨を伝えたら,サンプル試供品の「コタラヒム」を20粒程度頂きました。これを思いついたときには食前2錠ずつ飲んでいたのを思い出しました。
まだ,数粒残っているので,毎日飲んだわけではないようです。
このことを言ったら,後で診察を受けた糖尿が専門ではない心臓病の主治医は少し興味を持ったようでしたが,糖尿病が専門の医者には「毒かもしれないから,変なものは飲まないように」と言われました。
私のデータが改善された理由は,十分な比較サンプルもないので,もちろん何の効果かははっきりしないのでしょうが,そもそもインシュリン投与の対症療法しかない糖尿病だし,専門の立場からはイカガわしいもが多いという気持ちはわかりますが,別に私はその会社の回し者ではないので調べるくらいしてもいいのにと思いました。
(理由は,何でも薬は効きさえすればいいのだと思う。。大きな副作用があれば別ですが。。)
心臓,血管関係では,2年前のバイパス手術退院当時,上が85~90だった血圧が120と正常になってました。また,退院時52キロだった体重も61キロと戻ってきました。
しかし,身長が176センチなので,まだまだやせていて太りたいのですが,ここ数年来摂取カロリーが成人標準の半分程度なので,やせるのも仕方ないでしょう。
だからこそ,食事療法などは無駄だから,インシュリンを投与しろということらしかったのですが。。。
また,これまで,フラフラして転びやすいのは,主に低血圧のせいと思っていたら,赤血球も正常下限値の8割しかなくて貧血もあるようでした。その他は腎臓が蛋白+2で少し悪い以外は全て正常値でした。
念のため,次回はほぼ全部の内臓の超音波(エコー)検査をすることになりました。
また,4月末にやった両足首の動脈の検査結果から,足の動脈硬化らしいので薬ももらいましたが,来週下半身のMRI検査をして,場合によっては足の動脈のカテーテルか,バイパス手術もあるらしいです。
そうだとしても,今度は心臓ではなく足なので危険度ははるかに少ないでしょう。
糖尿病状態の急激な変化は,たとえ軽癒の場合でも眼底によくないとのことで,同じ日に久しぶりに眼科の診察も受けることになりました。
こうした検査は人間ドック以上にお金がかかるだろうとはいえ,これまで定期的に受けてきた診察では何もなかったのに5月に病院の建物や施設が新しくなったとたんに,こう色々と出てくるのでは今までは一体何だったんだろう?と思ってしまいます。
http://folomy.jp/heart/「folomy 物理フォーラム」サブマネージャーです。
人気blogランキングへ ← クリックして投票してください。(1クリック=1投票です。1人1日1投票しかできません。クリックすると人気blogランキングに跳びます。)
← クリックして投票してください。(ブログ村科学ブログランキング投票です。1クリック=1投票です。1人1日1投票しかできません。クリックするとブログ村の人気ランキング一覧のホ-ムページームに跳びます。)
http://www.mediator.co.jp/category/pages.php?id=115「中古パソコン!メディエーター巣鴨店」
(Dellの100円パソコン(Mini9)↓私も注文しました。)
ヤーマン プラチナゲルマローラー 1日3分コロコロエステ!ローラー型プラチナ配合美顔器
お売りください。ブックオフオンラインのインターネット買取 展開へ! ▼コミック 尾田栄一郎 「ONE PIECE(52)」
▼コミック 「ONE PIECE」をオトナ買い
三国志特集 ▼コミック 横山光輝 「三国志全巻セット」 「三国志(文庫版)全巻セット」
「三国志(ワイド版)全巻セット」
▼書籍 「三国志」/吉川英治
「三国志」/北方謙三
「三国志」/宮城谷昌光
| 固定リンク
「場理論・QED」カテゴリの記事
- 私のライフワーク(2006.03.20)
- 電磁気学と相対論(4)(真空中の電磁気学3)(2008.05.19)
- 光子の座標について(2009.10.28)
- 場の演算子とリー群(Lie群)の生成子(2007.08.07)
- カシミール効果(Casimir effect)(2008.03.28)
「数学」カテゴリの記事
- ゲーデルの不完全性定理(2006.08.10)
- 分子と点群(3)(2009.03.01)
- 分子と点群(1)(2009.02.21)
- 相対論の幾何学(第Ⅱ部-1)(ベクトル空間)(2008.10.01)
- 相対論の幾何学(第Ⅲ部-2)(リーマン幾何学(2))(2009.01.22)
「複素関数」カテゴリの記事
- 三角関数を含むある関数の定積分(2008.08.14)
- コーシーの主値(主値積分)(2009.07.04)
- 解析接続の意味(2007.11.28)
- ガウスと超幾何微分方程式(2007.05.05)
- 正則関数(2006.05.30)



























コメント