積分のリスト

積分は積分学における基本的な演算です。微分には複雑な関数の導関数は、そのより単純な構成関数を微分することで求めることができるという簡単な規則がありますが、積分にはそのような規則がないため、既知の積分の表が役立つことがよくあります。 このページでは、最も一般的な反微分をいくつか挙げています

積分の歴史的発展

積分の一覧 (Integraltafeln) と積分法の技法をまとめたものが、ドイツの数学者マイヤー・ヒルシュ(Meyer Hirsch とも綴られる) によって 1810 年に出版された。 [ 1 ]これらの表は 1823 年にイギリスで再出版された。より広範な表が 1858 年にオランダの数学者David Bierens de HaanによってTables d'intégrales définiesにまとめられ、1864 年頃にSupplément aux tables d'intégrales définiesによって補足された。1867 年にはNouvelles tables d'intégrales définiesというタイトルで新版が出版された。

これらの表は主に初等関数の積分を扱っており、20世紀半ばまで使われ続けました。その後、グラドシュタインとリジクによる、より詳細な表に置き換えられました。グラドシュタインとリジクでは、ビーレンス・デ・ハーンの著書に由来する積分はBIで表記されます。

すべての閉形式表現が閉形式原始導関数を持つわけではない。本研究は微分ガロア理論の主題である。この理論は1830年代から1840年代にかけてジョゼフ・リウヴィルによって初めて発展し、どの表現が閉形式原始導関数を持つかを分類するリウヴィルの定理につながった。閉形式原始導関数を持たない関数の簡単な例としてはe x 2があり、その原始導関数は(定数を除いて)誤差関数である。

1968年以来、初等関数で表現できる不定積分を求めるためのRischアルゴリズムが存在します。これは通常、コンピュータ代数システムを用いて行われます。初等関数で表現できない積分は、Meijer G関数などの一般関数を用いて記号的に操作できます。

積分のリスト

積分一覧の詳細については、 以下のページをご覧ください

GradshteynRyzhikGeronimusTseytlin、Jeffrey、Zwillinger、およびMollの (GR) Table of Integrals, Series, and Products には、膨大な結果のコレクションが含まれています。さらに大規模で複数巻からなる表は、PrudnikovBrychkov、およびMarichevによるIntegrals and Seriesです (第 1 巻から第 3 巻には基本関数と特殊関数の積分と級数がリストされ、第 4 巻から第 5 巻にはラプラス変換の表があります)。よりコンパクトなコレクションは、例えば Brychkov、Marichev、Prudnikov のTables of Indefinite Integralsや、Zwillinger のCRC Standard Mathematical Tables and FormulaeBronshtein と SemendyayevGuide Book to MathematicsHandbook of MathematicsUsers' Guide to Mathematics、その他の数学ハンドブックの章として見つけることができます。

その他の有用なリソースとしては、アブラモウィッツとステガン、そしてベイトマン写本プロジェクトがあります。どちらの著作も、特定の積分に関する多くの恒等式を含んでおり、それらは別々の表にまとめられるのではなく、最も関連性の高いトピックに沿って整理されています。ベイトマン写本は2巻構成で、積分変換に特化しています。

積分表やオンデマンド積分を提供しているウェブサイトがいくつかあります。Wolfram Alphaでは積分結果を表示でき、さらに簡単な式については積分の途中過程も表示できます。Wolfram Researchは、Mathematica Online Integratorという別のオンラインサービスも運営しています。

単純な関数の積分

Cは、積分定数を表すために使用されます。これは、ある点における積分値について何かが分かっている場合にのみ決定されます。したがって、各関数には無限個の不定法があります。

これらの式は導関数表の主張を別の形で述べているだけです。

特異点を持つ積分

積分対象の関数に特異点があり、ある点(特異点)で反微分が定義されなくなる場合、 C は特異点の両側で同じである必要はありません。以下の形式では通常、Cの値の特異点付近のコーシー主値を仮定しますが、これは一般には不要です。たとえば、では 0 に特異点があり、そこで反微分は無限大になります。上記の積分を -1 と 1 の間の定積分に使用した場合、誤った答え 0 が得られます。しかし、これは特異点付近の積分のコーシー主値です。積分が複素平面で行われる場合、結果は原点の周りの経路に依存します。この場合、特異点は原点より上の経路を使用する場合は- i πに寄与し、原点より下の経路を使用する場合はi πに寄与します。実数直線上の関数では、原点の両側でCの値が全く異なることがあります。たとえば、次のようになります。 [ 2 ]

有理関数

次の関数は、 n ≤ −1のとき、 0 で積分不可能な特異点を持ちます

  • (カバリエリの求積公式)
    • より一般的には、[ 3 ]

指数関数

  • (正の整数の場合)
  • (正の整数の場合)

対数

三角関数

逆三角関数

双曲線関数

逆双曲線関数

2次導関数に比例する関数の積

絶対値関数

f を連続関数とし、零点を最大で1つ持つものとする。f零点を持つ場合、g をf根において零となる唯一の原始関数とする。そうでない場合、g をfの任意の原始関数とする。 ここで、 sgn( x )は符号関数であり、 xが負、零、正の ときにそれぞれ −1、0、1 の値を取る

これは、 gの条件が積分の連続性を保証するためのものである ことを考慮に入れて、式の右側の導関数を計算することで証明できます。

これにより、次の式が得られます(a ≠ 0 )。これは、 fが連続する任意の区間で有効です(より大きな区間では、定数C を区分定数関数に置き換える必要があります)。

  • nが奇数のとき、。
  • ある整数nに対して、
  • ある整数nに対して、
  • ある整数nに対して、
  • ある整数nに対して、

関数fに、 fの零点で値がゼロになる連続的な原始関数がない場合(正弦関数と余弦関数の場合)、sgn( f ( x )) ∫ f ( x ) dxは、 fが零ではないすべての区間fの原始関数になりますが、 f ( x ) = 0の点で不連続になる場合があります。連続原始関数を得るには、適切に選択されたステップ関数を追加する必要があります。また、正弦関数と余弦関数の絶対値が周期πで周期的であるという事実を利用すると、次の式が得られます。

特殊関数

CiSi三角積分Ei指数積分li対数積分関数erf誤差関数

閉形式の反微分を持たない定積分

閉形式で表現できない関数がいくつかあります。しかし、これらの関数のいくつかについては、いくつかの共通区間における定積分の値を計算することができます。以下に、いくつかの有用な積分を示します。

  • (ガンマ関数も参照)
  • a > 0 の場合(ガウス積分
  • a > 0の場合
  • a > 0の場合、nは正の整数であり、!!は二重階乗です。
  • a > 0のとき
  • a > 0の場合、n = 0、1、2、...。
  • (ベルヌーイ数 も参照)
  • (物理学におけるプランクの法則の導出に使用)
  • (リーマンゼータ関数も参照)
  • ( sinc関数ディリクレ積分を参照)
  • ( nが正の整数で、!! が二重階乗の場合)。
  • αβmnは整数で、β 0かつmn≥0 。二項係数も参照)
  • αβは実数、nは非負の整数、mは奇数の正の整数。被積分関数は奇数であるため)
  • αβmnは整数で、β 0かつmn≥0 。二項係数も参照)
  • αβmnは整数で、β 0かつmn≥0 。二項係数も参照)
  • (ここでexp[ u ]指数関数eua >0です。)
  • ガンマ関数はここ)
  • Re( α )>0およびRe( β )>0についてはベータ関数を参照)
  • (ここでI 0 ( x )は第一種修正ベッセル関数である)
  • ν > 0の場合、これはスチューデントのt分布確率密度関数に関連している)

関数fが区間[ a , b ]で有界な変化を持つ場合、網羅法によって積分の式が得られます。

二年生の夢」: ヨハン・ベルヌーイの 言葉。

参照

参考文献

  1. ^ヒルシュ、マイヤー (1810). Integraltafeln: oder, Sammlung von integralformeln (ドイツ語). Duncker & Humblot
  2. ^セルジュ・ラング微積分入門』第5版、290ページ
  3. ^読者アンケート:log| x | + C」、トム・レンスター、 The n- category Café、2012年3月19日

参考文献

積分表

導出

オンラインサービス

オープンソースプログラム

ビデオ