ヒルベルト行列

線形代数学において正方行列 formula_1 がヒルベルト行列（ひるべるとぎょうれつ、）であることの定義は，その formula_2 要素 formula_3 が次のような単位分数であることである：
例として5次のヒルベルト行列を示す：
このようなものを定義する動機としては次のような積分を考えると良い：
すなわちヒルベルト行列は区間[0,1]での formula_7 の冪乗に対するグラム行列である。
歴史的経緯.
ヒルベルト行列の初出はダフィット・ヒルベルトの論文集に収められた論文 "Ein Beitrag zur Theorie des Legendreschen Polynoms"である。
この論文はにおける以下の問題を扱っていた：
区間 formula_8 が与えられたとき、任意の小さな正数εに対し、"整数"係数の非零な多項式 formula_9 を適当に選んで、積分
をεより小さくできるだろうか？　
ヒルベルトは、ヒルベルト行列の行列式の漸近形を使って区間の長さ formula_11 が4未満ならばこれが可能であることを示した。
ヒルベルトは formula_12 次のヒルベルト行列 formula_1 の行列式を閉じた式で求めた：
ここで formula_15 は次のように書ける：
ヒルベルトは次のような興味深い事実を指摘している。すなわちヒルベルト行列の行列式の逆数は整数であり、その整数はルジャンドル多項式に関連するある種の超幾何多項式の判別式として書ける。これは次の恒等式からも分かる：
formula_18 に対してオイラー＝マクローリンの総和公式を適用することで、ヒルベルトは次の漸近形を得た：
ここで誤差項 formula_20 は formula_21 である。より正確な漸近形は階乗に対するスターリングの公式を使って
として得られる。ここで formula_23 は formula_24 のとき定数
formula_25 に収束する。
性質.
ヒルベルト行列は対称行列、特にハンケル行列である。
また正定値行列である。
ヒルベルト行列は全正値行列であり、すなわち全ての部分行列の行列式が正である。
ヒルベルト行列は悪条件の行列の代表例であり、数値計算において極めて扱い辛い。
例えば2-ノルムによる条件数を冒頭の5次行列の例に対し計算するとformula_26となる。
条件数は次数 formula_24 に対し formula_28 のように増大する。
上述の通りヒルベルト行列の行列式は閉じた式で書けるが、これはコーシー行列式の特別な場合である。
ヒルベルト行列の逆行列も閉じた式で書ける。
具体的には、その formula_2 要素は
であり（formula_12 は元のヒルベルト行列の次数）、いずれも整数である。