最終更新:2016/05/22
バリオス1(BALIUS1) GPタイプ ショートアルミビレットレバーセッ買い物ト(ブラック) U-KANAYA:バイク用品・パーツのゼロカスタムKYB NewSRスペシャル リア2本 [アベニール PNW1お中元0 1993/01〜1995/08 4WD車用] NewSR Special ショック ★送料無料★【web-carshop】:web-carshopSPOON (スプーン) リジッドカラー (リジカラ) 品番:50300-UC1ショッピング-000 リア用 ホンダ インスパイア UC1:PowerWeb【送料無料】【2016春夏新作】【AVIA】 フィットネスシューズ AVIA-SHOES ダンス フィットネス ダンスシューズアーコイリス:フィッ通販トネス ダンスアーコイリスSWAGE-LINE クラッチホースキット ホースエンショッピングド:ステンレスブラック ホースカラー:ブラック ZX-9R:GooBikeParts支店PEARL IZUMI (パールイズミギフト) 240-3D レータン 2.カーボン:アトミックサイクル【X-NIX】ボードパンツ スノーボード Mパンツ XN672OB02 CA:タケダススノトレポーツ店brb-30114 ザナックス XANAX 通販ナンシキ カーボンバット カーボンネイビー:スポーツフィールドMCG-1402W ウインター ホース ハイド グローブ コーヒーブラウン LLサイズ MASTカスタムER CROWN(マスタークラウン):バイク メンテ館RIDEA スライド延長式アジャストクラッチレバー 本体:ゴールド アジャスト&エクステンション:ゴールド X-11:バイ通信販売クブロス支店GSR750(11年〜) ツーリングタイプ アルミビレットレバーセット(ブラック) U-KANAYA:バイク用品・パーツのゼロカバイクスタム【M's】R170 ベンツ AMG SLKクラス(1996y-2004y)LEMFORDER製・他 エンジンマウント(1個)//純正OEM ラバーマウント レムフォーダー LEM C170 SLK230 SLK320 SLK32 202-240-4917 2022404917:エお中元ムズパーツshop 店TMAX(SJ02J・SJ04J) ツーリングタイプ アルミビレットレバーセット(ゴールド) U-KANAYバイクA:バイク用品・パーツのゼロカスタムミズノ ミズノプロ ブレーカーシャツフルZIP(裏メッシュ) お買い得その他ウエア 12JE6W81-09 (ブラック×シルバー):オオミヤスポーツ 店GSX-R1000(0通信販売7〜08年) ウィンドスクリーン ダブルバブルタイプ ブラック Skidmarx(スキッドマークス):バイク用品・パーツのゼロカスタムKYB NewSRスペシャル リア2本 [デリカ D:2 MB15S 2011/03〜] NewSR Special ショック ★送料無料★【web-carshop】:w通販eb-carshopハブ一体型アジャストス贈り物ペーサー ウィッシュ UA-ANE10G 7mm厚:リデューカークリエーション20%OFF【即納】スノーボードウェア レディース 16-17モデル RPM(アールピーエム)Gla贈答品cier Jacket (グレイシャージャケット)【スノボ スノボー スノーボード ウエア スキーウェア】:FOLICBRIDE シートレール MOタイプ 助手席側 ホンダ CR-X EF6.ゼンリン7.8 87/09〜92/05 H058MO:ゼンリンドライバーズステーションタープ【送料無料】江沼チェーン製作所 EK チェーン 530ZV-X3 リンク数104 811447 ブルー 【バイクパーツ 本体】:eSPORTS支店【2017年モデル!】[女性用]GULLマスク[ガル]2mmFIRロングパンツウィメンズ[GW-6577]保温インナーパンツ:ディスカバリー【エ買い物クストレイル ボンネットダンパー】 ARJ T30 H12/10〜H19/7 ブラック BD-N002N:カー用品 カスタムハウスDID 525ZVM-X-100ZB(カシメタイプ) ZVM-Xシリーズ Xリングシーオンラインショッピングルチェーン ゴールド/ゴールド 4525516331159:Bike man【メーカー在庫あり】 SAR117 スウェッジライン SWAGE-LINE リア ブレーキホースキット 00年-03年 フォルツァ ABS 赤/青 クリア:ヒロチー商事 ハー贈り物レー 店【ゾイ】【ZOY】レディース カシミヤVネックセ通信販売ーター FKT32-232 47:ネイビー 38サイズ:FIRSTSTAGEProjectμ ブレーキパッド フロント RACING-N1 Z324 3シリーズ E90(セダン) E91(ワゴン) E92(クーペ) 5シリ通販ーズ E60(セダン):オートパーツエージェンシー【メショッピングーカー在庫あり】 SHSKYS125NRBDS30 470-3979 (株)ユーエイキャスター ユーエイ クッションキャスター 125径 自在車 ストッパー付 ゴム車輪:株式会社ヒロチー商事 店【送料無料】【藤寅作】#FU-637 出刃包丁 180mm JAN:496037540買い物6370 【和包丁/料理包丁/キッチン用品】:ものうりばPlantzZZR600 GPタイプ オンラインショッピングショートアルミビレットレバーセット(ブラック) U-KANAYA:バイク用品・パーツのゼロカスタムTRUST GReddy シリコンホース 3PLY 60φ-1m:オートクラフショッピングトピボット(PIVOT) デジタルモニターDMC-G(水温,エンジン回転,電圧) トヨタ ラクティス NCP100/105 1NZ-FE H17.買い物10〜:リデューカークリエーション【クロスカントリースキー店舗】 FISCHER フィッシャー クロスカントリースキー SC コンビ NIS N2811通信販売5 16-17モデル:富士スポーツ店マグナ250/S(V-TWIN MAGNA)99年〜 アルミフットペグタイプ1 ショッピングフロント&リアセット ガレージT&F:バイク用品・パーツのゼロカスタムHonda Honda 2016春夏モデル EX-W3A メッシュライダースジャケット ギフトカラー:ネイビー サイズ:M:GooBikeParts支店タニ通信販売タ デジタルスケール TL-290 15kg:キッチンガーデン【16インチ】単品set 【ナンカン ESSN-1】205/55R16【JP STYLE MBS】6.5J-16inch 5穴 PCD114.3 in48 MD-21HEX M12×P1.50エクリプススパイダー、アスパイア、ギャラン等にお勧めスタッドレスタイヤ ホイール買い物付 格安1輪分 205/55R16:宅配タイヤ太郎ストンプグリップ STOMPGRIP トラクションパッドタンクキット VOLCANO DAYTONA 675 (デイトナ)(13) [ブラック] / 55-8006B:ゼブランド通信販売TIMBプレゼントUK2 ティンバック2 D-LUX MESSENGER S ナイトブルー×パシフィック 15724082 ナイトブルー×パシフィック:リコメン堂生活館【05/14までの激安価格】残りわずか 人気 クロスバイク 自転車 軽量 【一年保証】 カギ・LEDライト付 26インチ シンプル ロードバイク シマノ6段変速ギア 通勤 通学 レッド ホワイト グリーン ピンク TOPONE(トップワン) T-MCR266-13- CROSS BIKEお中元 メンズ レディース 街乗り:自転車専門店 LoicHYDRO-TURFデッキマットキット(テープ付き)KAW JS300/440/550 5PCSCut Grooveブラック※海外取り寄せ(納期:AQトレーラ通常2〜4週間)※代引き不可※キャンセル不可:Marine Daysボンゴブローニィ SR2AM SR2AV タイミオンラインショッピングングベルトセット 送料無料(北海道・沖縄・離島・中継料は除く) ○マツダ MAZDA△:Star-Partsがまかつ ショートハーフメッシュベスト GM-23釣人館ますだ 支店12 ブラック×レッド Lサイズ (お取り寄せ商品):釣人館ますだ 支店▲【送料無料(離島、北海道等一部地域を除く)】【ペダル(SHIMANO PD-R550 ブラック)お買い得サービス!】【防犯登録無料!】2016年モデル FELT【フェルト】 F75 ロードバイク:ジテンシャデポ
分野: 解析  レベル: 大学数学

階乗 $n!$ の $n$ を正の整数でない部分にも定義できるように一般化した概念としてガンマ関数というものがある。


階乗の一般化であるガンマ関数の定義と基本的な性質を整理しました。

ガンマ関数の定義

定義はけっこうややこしいです,我慢して下さいm(__)m

実部が正であるような複素数 $z$ に対してガンマ関数 $\Gamma(z)$ を以下のように定義します:
$\Gamma(z)=\displaystyle\int_0^{\infty}t^{z-1}e^{-t}dt$

これは積分区間の上端が$+\infty$ であり,高校数学では扱いません。広義積分と呼ばれます。

さらに,実部が負であるような複素数に対しても解析接続というものを使ってガンマ関数の値を定義することができます(ただし,非正整数の部分では定義できない)。

正の実数に対してガンマ関数をプロットした図を示します。 $x$ の増加とともに $\Gamma(x)$ の値は爆発的に増えていきます。

階乗の一般化であること

ガンマ関数の定義では広義積分を使っていて一見複雑そうですが,実はガンマ関数は階乗の一般化になっています。

任意の正の整数 $n$ に対して, $\Gamma(n+1)=n!$

$1$ ズレることに注意して下さい。

これは部分積分を使って簡単に証明することができます。

証明

$\Gamma(1)=\displaystyle\int_0^{\infty}e^{-t}dt=[-e^{-t}]_0^{\infty}=1$

また,任意の正の整数 $n$ に対して,
$\Gamma(n)=\displaystyle\int_0^{\infty}t^{n-1}e^{-t}dt\\
=[-t^{n-1}e^{-t}]_0^{\infty}-\int_0^{\infty}\{-(n-1)t^{n-2}e^{-t}\}dt\\
=0+(n-1)\int_0^{\infty}t^{n-2}e^{-t}dt\\
=(n-1)\Gamma(n-1)$

以上より $\Gamma(n+1)=n!\Gamma(1)=n!$ となる。

高校数学ではとりあえず便利だから $0!=1$,と定義されますが,$\Gamma(1)=1$ となることからも $0!=1$ とするのが自然だと言うことが分かります。

1/2でのガンマ関数の値

$\Gamma(\dfrac{1}{2})=\sqrt{\pi}$

これはガウス積分を使うことで簡単に導出できます。→ガウス積分の公式の2通りの証明

証明

$\Gamma(\dfrac{1}{2})=\displaystyle\int_0^{\infty}t^{-\frac{1}{2}}e^{-t}dt$
ここで $t=u^2$ と置換すると,上式は
$\displaystyle\int_0^{\infty}u^{-1}e^{-u^2}2udu\\
=2\int_0^{\infty}e^{-u^2}du\\
=\sqrt{\pi}$

また,先ほどの部分積分を用いた議論により,$\Gamma(x)=(x-1)\Gamma(x-1)$ が $x$ が $1$ より大きい任意の実数のときに成り立つので,$\Gamma(n+\dfrac{1}{2})$ の値を求めることができます。

例えば,$0.5!$ に相当する値 $\Gamma(\dfrac{3}{2})$ は
$\Gamma(\dfrac{3}{2})=\dfrac{1}{2}\Gamma(\dfrac{1}{2})=\dfrac{\sqrt{\pi}}{2}$ であることが分かります。

その他

・大学入試にも役立つ積分公式としてベータ関数の積分公式というものを紹介しましたが,ベータ関数とガンマ関数には深い関係があります。

・階乗を近似する公式としてスターリングの公式を紹介しましたが,スターリングの公式は正の整数以外でも使えます。

高校時代,アルファベットの $T$(ティー)とギリシャ文字の $\Gamma$(ガンマ)を読み間違えて苦労したことがあります。
分野: 解析  レベル: 大学数学