広義積分のソースを表示

[[解析学]]において、'''広義積分'''（こうぎせきぶん、{{lang-en-short|improper integral}}）とは何らかの[[定積分]]の積分区間を動かしたときの[[極限]]である。極限値は有限確定値に収束することもあるが発散することもある。積分区間の端点（片方または両方）は何らかの[[実数]]か正または負の無限大に近づく。（[[多変数関数]]に対する広義重積分の場合には積分領域を取り尽くす、適当な[[有界集合|有界]][[可測集合]]列に関する極限をとる<ref>
{{cite book
    |last1              = Moskowitz
    |first1             = M. A.
    |last2              = Paliogiannis
    |first2             = F.
    |year               = 2011
    |title              = Functions of Several Real Variables
    |chapter          = {{google books quote|id=34Ic0K3LQxEC|page=328|Improper multiple integrals}}
    |publisher          = World Scientific
    |isbn               = 978-981-4299-26-8
    |mr                 = 
    |zbl                = 1233.26001
    |ref                = harv
}}
</ref>。）

== 定式化 ==

厳密に言えば'''広義積分'''とは積分の一種ではなく、以下のような形の式の総称である。まず
:<math> \lim_{b\to c}\int_a^b f(x)\,dx </math>
ここで {{math|''c''}} は正または負の無限大であるか、{{math|''x'' → ''c'' &minus; 0}} につれて {{math|{{abs| ''f'' (''x'')}}}} が無限大となるような定数である。
または
:<math> \lim_{b\to a}\int_b^c f(x)\,dx </math>
ここで {{math|''a''}} は正または負の無限大であるか、{{math|''x'' → ''a'' + 0}} につれて {{math|{{abs| ''f'' (''x'')}}}} が無限大となるような定数である。
あるいは以下のような形もある。
:<math> \lim_{s\to a}\int_s^b f(x)\,dx + \lim_{t\to c}\int_b^t f(x)\,dx </math>
{{math|''a''}} および {{math|''c''}} は正または負の無限大であるか、{{math|''x''}} が積分区間の内側から近づくにつれて {{math|{{abs| ''f'' (''x'')}}}} が無限大となるような定数である。この値は（存在する限り）{{math|''b''}} の取り方によらない。

こうして、この分野における基本的な問がどんなものか分かる：
*極限は（[[解析学]]的な意味で）存在するか？
*存在するとして、その値を計算できるか？
2つ目の問には微積分計算のテクニックも使えるが、場合により[[周回積分]]や[[フーリエ変換]]等の高度な技法が必要なこともある。

== 記法 ==
普通の積分と良く似た記法を使うことが多い。しかし同じ広義積分に対する記法には以下のような種類がある：
:<math>\int_a^\infty f(x)\,dx\, := \lim_{t\to \infty}\int_a^t f(x)\,dx\,</math>
:<math>\int_{-\infty} ^ {b} f(x)\,dx\,:= \lim_{t\to -\infty}\int_t^b f(x)\,dx\,</math>
:<math>\int_{-\infty}^{\infty} f(x)\,dx\, := \lim_{t\to -\infty}\int_t^a f(x)\,dx\,+\lim_{t\to \infty} \int_a^t f(x)\,dx\,</math>
:<math>\int_a^b f(x)\,dx\, := \lim_{t\to b^-}\int_a^t f(x)\,dx</math>、ここで <math>\lim_{x\to b^-} |f(x)| = \infty</math>
:<math>\int_a^b f(x)\,dx\, := \lim_{t\to a^+}\int_t^b f(x)\,dx</math>、ここで <math>\lim_{x\to a^+} |f(x)| = \infty</math>
:<math>\int_a^b f(x)\,dx\,:=\lim_{t\to c^-} \int_a^t f(x)\,dx\, + \lim_{t\to c^+ } \int_t^b f(x)\,dx</math>、ここで <math>\lim_{x\to c} |f(x)| = \infty</math>

== 定義に関する注意 ==
[[Image:Improperintegral1.png|right|thumb|200px|被積分関数が発散している広義積分]]
[[Image:Improperintegral2.png|right|thumb|200px|無限の領域上に渡る広義積分]]
場合によっては、次の積分
:<math>\int_a^c f(x)\,dx\,</math>
は、次の極限の存在を抜きにして'''定義'''できる：
:<math>\lim_{b\to c^-}\int_a^b f(x)\,dx\,</math>.
しかしこの極限なしでは値の計算が困難である。例えば関数 ''f'' を ''a'' から ''c'' で積分する際、(1)関数 ''f'' が ''c'' で正または負の無限大に発散するとき、または(2) ''c'' = ∞のときに、そのような状況がしばしば生ずる。

また場合によっては、''f''(''x'')&nbsp;''dx'' の正部分と負部分それぞれの ''a'' から ''c'' までの積分が共に無限大となり、単なる「''f'' の ''a'' から ''c'' までの積分」が定義すらできなくても、上記の極限だけは存在することがある。それは（通常の積分に帰着できないという意味で）「真の」広義積分と呼べるだろう。

== 意味の解釈に関する注意 ==
[[積分]]の理論には複数のものが存在する。微積分計算の立場からは、（特に指定がなければ）積分記号の意味として普通は[[リーマン積分]]の理論が仮定される。しかし広義積分を扱う際には、基礎となっている積分理論の区別が必要となることがある。

この積分
:<math>\int_0^\infty\frac{dx}{1+x^2}</math>
は、次のように'''解釈できる'''：
:<math>\lim_{b\to\infty}\int_0^b\frac{dx}{1+x^2}=\lim_{b\to\infty}\arctan{b}=\frac{\pi}{2}</math>
しかし一般にはそう解釈する'''必然性はない'''。例えば集合 (0,∞) 上での[[ルベーグ積分]]としても解釈できる。とは言うものの、「有限区間上での定積分の極限」という解釈は便利である（便利なのは値の計算だけかもしれないが）。


対照的に、次に示す[[sinc関数]]の積分は、
:<math>\int_0^\infty\frac{\sin x}{x}\,dx</math>
ルベーグ積分としては'''解釈できない'''。なぜなら
:<math>\int_0^\infty\left|\frac{\sin x}{x}\right|\,dx=\infty</math>
だからである。
ゆえに上記の積分は「真の」広義積分であり、値は次式で与えられる：
:<math>\int_0^\infty\frac{\sin x}{x}\,dx=\lim_{b\rightarrow\infty}\int_0^b\frac{\sin x}{x}\,dx=\frac{\pi}{2}</math>.


== 特異性 ==
広義積分において、極限が使われる補完数直線上の点を指して[[特異点]]と言うことがある。

そのような積分はしばしば、積分区間の端点を無限大と書くことで、普通の定積分と同様に表記される。
しかしそのような記法では極限操作は裏に隠れてしまう。
リーマン積分でなくルベーグ積分を使うことで、極限操作を回避できる場合がある。
しかし具体的な値を得たいときには、そうしたところで助けにはならない。
例えば[[フーリエ変換]]では数直線全体に渡る積分があらゆるところに現れるが、
その厳密な取り扱いにおいて広義積分を意識することも、しないこともある。

==積分区間が有界でない場合について==
最も基本的な広義積分は、積分区間が有界でない積分、例えば
:<math>\int_0^\infty {dx \over x^2+1}</math>
である。
前述のように、これは広義積分として定義しなくとも、代わりにルベーグ積分としても定義できる。
しかし実際に計算する上では広義積分として扱うのが便利である。
すなわち積分区間の上限が有限だとして計算し、
次に上限が無限大に近づくときの極限を取るのがよい。
被積分関数の[[原始関数]]は[[三角関数|逆正接関数]] arctan(''x'') なので、
:<math>\lim_{b\rightarrow\infty}\int_0^b\frac{dx}{1+x^2}=\lim_{b\rightarrow\infty}\arctan b-\arctan 0=\pi/2-0=\pi/2</math>
となる。
広義積分の収束は、対応する極限が（有限値に）収束することと同値である。
以下に収束しない広義積分の例を示す：
:<math>\int_1^\infty {dx \over x} = \lim_{b\rightarrow\infty}\int_1^b\frac{dx}{x}=\lim_{b\rightarrow\infty}\ln b=\infty</math>.

積分区間の両端点が無限大の場合もある。
そのような場合には二つの広義積分の和として考える：
:<math>\int_{-\infty}^{+\infty} f(x) \,dx = \int_{-\infty}^a f(x) \,dx + \int_a^{+\infty} f(x) \,dx</math>.
ここで ''a'' は任意の（有限な）実数である。

この場合、広義積分の収束は、分割された両方の積分の収束と同値である。
片方の積分が正の無限大に発散し、もう片方が負の無限大に発散するとき、元の積分は[[不定形]]となる。
その値は、積分区間の端点それぞれがどのような関係を持っているかによって様々に変わり得る。
コーシーの主値はこの不定性を取り除くための概念である。

==積分区間の端点における発散==
広義積分の中には、被積分関数が正または負の無限大に発散するものがある（→[[漸近線]]）。

例えば次の広義積分で、被積分関数は''x'' = 0において正の無限大に発散する（漸近線''x'' = 0を持つ）：
:<math>\int_0^1 \frac{dx}{x^{2/3}}</math>
この積分の評価には、まず正数 ''b'' を導入して ''b'' から1までの区間で積分を実行し、次に ''b'' が右から0に近づくときの極限を取る（積分区間が0より右にあるので）。
なお原始関数が<math>3 x^{1/3}</math>なので、次のようにも計算できる：
:<math>\lim_{b\rightarrow 0^+}\int_b^1\frac{dx}{x^{2/3}}=3 \cdot 1^{1/3}-\lim_{b\rightarrow 0^+}3 b^{1/3}=3-0=3</math>.

==コーシーの主値==
{{main|コーシーの主値}}
以下の二つの極限の違いについて考えよう：
:<math>\lim_{a\rightarrow 0+}\left(\int_{-1}^{-a}\frac{dx}{x}+\int_a^1\frac{dx}{x}\right)=0</math>
:<math>\lim_{a\rightarrow 0+}\left(\int_{-1}^{-a}\frac{dx}{x}+\int_{2a}^1\frac{dx}{x}\right)=-\ln 2</math>
前者は'''コーシーの主値'''である。似て非なる次式がよく定義されていないことに注意しよう：
:<math>\int_{-1}^1\frac{dx}{x}</math> （これは−∞+∞になる）
同様に、
:<math>\lim_{a\rightarrow\infty}\int_{-a}^a\frac{2x\,dx}{x^2+1}=0</math>
であるが
:<math>\lim_{a\rightarrow\infty}\int_{-2a}^a\frac{2x\,dx}{x^2+1}=-\ln 4</math>
である。この場合も前者は主値であり、似て非なる次式はよく定義されていない：
:<math>\int_{-\infty}^\infty\frac{2x\,dx}{x^2+1}</math> （これは−∞+∞になる）
これらの極限はいずれも∞−∞の形の[[不定形]]である。

なおこれらの病的な例は、[[ルベーグ積分#ルベーグ可積分|ルベーグ可積分]]な関数すなわち絶対値の積分が有限な関数に対しては問題にならない。

==脚注==
{{reflist}}

== 参考文献 ==
* [http://numericalmethods.eng.usf.edu/mws/gen/07int/mws_gen_int_spe_improper.doc Numerical Methods to Solve Improper Integrals] at Holistic Numerical Methods Institute
{{integral}}
{{Mathanalysis-stub}}
[[Category:解析学]]
[[Category:積分法]]
[[Category:数学に関する記事]]
{{DEFAULTSORT:こうきせきふん}}