絶対可積分関数のソースを表示

'''絶対可積分関数'''とは、定義域全体において[[絶対値]]が[[ルベーグ積分|積分可能]]な関数のことをいう。 

実数値関数では、

<math>\int|f(x)|dx=\int f^+(x)dx+\int f^-(x)dx</math>

ただし、

<math>f^+(x)=\max(f(x), 0), f^-(x)=\max(-f(x), 0)</math>

とし、<math>\int f^+(x)dx</math>と<math>\int f^-(x)dx</math>は有限であるものとする。[[ルベーグ積分]]においては、任意の可測関数<math>f</math>は積分可能であることが必要条件となっている（この場合、積分は<math>\int f^+(x)dx-\int f^-(x)dx</math>と等しくなる）。実際のところ、「絶対積分可能」と可測関数において「ルベーグ可積分」であることは同じことを意味する。

同じように複素関数においては以下のように定義される。

<math>f^+(x)=\max(\Re(x), 0)</math>

<math>f^-(x)=\max(-\Re(x), 0)</math>

<math>f^{+i}(x)=\max(\Im(x), 0)</math>

<math>f^{-i}(x)=\max(-\Im(x), 0)</math>

ただし、<math>\Re(x), \Im(x)</math>はそれぞれ、関数<math>f(x)</math>の実部と虚部を表すものとする。このとき、

<math>|f(x)|\leq f^+(x)+f^-(x)+f^{+i}(x)+f^{-i}(x)\leq\sqrt{2}|f(x)|</math>

であり、<math>\int |f(x)|dx \leq \int f^+(x)dx +\int f^-(x)dx +\int f^{+i}(x)dx +\int f^{-i}(x)dx \leq\sqrt{2}\int |f(x)|dx </math>となっている。

この4つの積分の総和が有限であることと絶対値の積分が有限であることは必要十分条件の関係にあり、またこの関数はルベーグ可積分ならば4つの関数は全て有限である。絶対値の有限積分をもつことと「ルベーグ可積分」である関数は同値である。

== 外部リンク ==

* {{Cite web|url=https://www.encyclopediaofmath.org/index.php/Absolutely_integrable_function|title=Absolutely integrable function – Encyclopedia of Mathematics|accessdate=9 October 2015}} 
[[Category:積分法]]
{{DEFAULTSORT:せつたいかせきぶんかんすう}}