ハーディ空間
数学の複素解析の分野におけるハーディ空間（ハーディくうかん、）あるいはハーディ級（Hardy class）"H" とは、単位円板あるいは上半平面上のある種の正則函数の空間のことを言う。リース・フリジェシュ によって導入され、その名は論文 の著者であるゴッドフレイ・ハロルド・ハーディにちなむ。実解析におけるハーディ空間は、（超函数の意味で）複素ハーディ空間の正則函数の境界値であるような、実数直線上のある超函数からなる空間で、函数解析学におけるLp空間と関係する。1 ≤ "p" ≤ ∞ に対し、それら実ハーディ空間 "H" は "L" の部分集合であるが、"p" < 1 に対して "L" はいくつか望ましくない性質を持つ一方、ハーディ空間はより良い振る舞いをする。
複素数の場合の上の正則函数や、実数の場合の R 上の超函数の空間など、高次元の一般化がいくつか存在する。
ハーディ空間には解析学それ自身において多くの応用が存在すると共に、制御理論（H∞制御理論など）や散乱理論においても多くの応用が存在する。
開単位円板上の正則函数の空間に対し、ハーディ空間 "H" は、半径 "r" の円周上の平均二乗値が "r" → 1 の時に下から有界となるような函数から構成される空間となる。
より一般に、0 < "p" < ∞ に対するハーディ空間 "H" は、次を満たす開単位円板上の正則函数 "f" のクラスとなる：
このクラス "H" はベクトル空間である。この不等式の左辺の数は、"f" に対するハーディ空間の "p"-ノルムであり、formula_2 と記述される。これは "p" ≥ 1 のときはノルムであるが、0 < "p" 部分集合であり、"H"-ノルムは "p" について増加である（これは "L"-ノルムが確率測度、すなわち総質量が 1 である測度に対して増加であるというヘルダーの不等式による）。
前節で定義されたハーディ空間は、単位円上の複素 "L" 空間の閉線型部分空間と見なすことも出来る。この関係は、以下の定理によって示される："p" ≥ 0 に対し "f" ∈ "H" が与えられるとき、半径に関する極限
はほとんど全ての θ に対して存在する。この関数 formula_5 は単位円に対する "L" 空間に属し、次が成立する。
単位円を T と表し、全ての極限函数 formula_5 からなる "L"(T) の線型部分空間を "H"(T) と表す。"f" が "H" 内で変化するとき、"p" ≥ 1 に対して次が成り立つ 。
ただし "ĝ"("n") は単位円上で可積分な函数 "g" のフーリエ係数であり、次が成り立つ。
空間 "H"(T) は "L"(T) の閉部分空間である。1 ≤ "p" ≤ ∞ に対して "L"(T) はバナッハ空間であるため、"H"(T) もまた同様にバナッハ空間となる。
上述の議論は逆も成り立つ。"p" ≥ 1 に対して函数 formula_5 ∈ "L"(T) が与えられるとき、ポアソン核 "P" を用いて単位円板上の正則函数 "f" を次のように再構成することが出来る：
そして formula_5 が "H"(T) に属しているなら、"f" は "H" に属す。formula_5 は "H"(T) 内にある、すなわち formula_5 は、全ての "n" < 0 に対して "a" = 0 を満たすフーリエ係数 ("a") を持つと仮定する。このとき、formula_5 と関連するハーディ空間 "H" の元 "f" は、次の正則函数である。
応用の場面では、これら負のフーリエ係数が消失している函数は通常、因果解（causal solution）と解釈される。したがって空間 "H" は自然に "L" 空間の内側にあり、N によって添え字付けられる無限列として表される。一方、"L" は Z によって添え字付けられる両側無限列（bi-infinite sequence）から構成される。
1 ≤ "p" < ∞ のとき、後述の実ハーディ空間 "H" は現在の文脈で容易に表現することが出来る。単位円上の実函数 "f" は、それが "H"(T) 内のある函数の実部であるなら、実ハーディ空間 "H"(T) に属する。また複素函数 "f" が実ハーディ空間に属するための必要十分条件は、Re("f") および Im("f") がその空間に属することである（後述の実ハーディ空間に関する節を参照されたい）。
"p" < 1 に対し、フーリエ係数やポアソン積分、共役函数のような道具はもはや有効ではない。例えば、
を考える。函数 "F" は全ての "p" < 1 に対して "H" に含まれ、半径に関する極限 "f" は "H"(T) 内にあるが Re("f") はほとんど至る所で 0 とする。Re("f") から "F" を得ることはもはや出来なく、上述のような簡単な方法で実 "H"(T) を定義することは出来ない。
同じ函数 "F" に対し、"f"(e) = "F"("re") とする。"r" → 1 としたときの Re("f") の超函数の意味での円上の極限は、"z" = 1 でのデルタ超函数の非ゼロの倍数に等しい。単位円上の任意の点でのデルタ超函数は、全ての "p" ポアソン核の形状を取るため、"G" は "H" に含まれる。このことは、ほとんど全ての θ に対して
が成立することを意味する。
"h"("z") が内函数であるとは、単位円板上で |"h"("z")| ≤ 1 を満たし、ほとんど全ての θ に対して極限
が存在し、その母数が 1 に等しいことを言う。特に、"h" は "H" に含まれる。内函数はさらに、を含む形へ分解することが出来る。
"f" = "Gh" と分解される函数 "f" が "H" 内にあるための必要十分条件は、外函数 "G" の式に現れる正の函数 φ が "L"(T) に属することである。
"G" を、単位円上の函数 φ によって上述のように表現される外函数とする。α > 0 に対して φ を φ に置き換えることで、次の性質を満たす外函数の族 ("G") を得ることが出来る。
R 上で定義される「実ハーディ空間」（後述）の研究と主に関連する実変数の手法もまた、単位円に関するより簡単な枠組みにおいて用いられる。その手法は、それら「実」空間における複素函数（あるいは超函数）に対する実践的なものである。以下の定義では、実数および複素数の場合を区別しない。
"P" を単位円 T 上のポアソン核とする。単位円上の超函数 "f" に対して、次を定める。
ここで「スター」の記号は、単位円上での超函数 "f" と函数 e → "P"(θ) の畳み込みを表す。すなわち、("f" ∗ "P")(e) は、単位円上で
と定義される "C"-函数についての "f" の作用の結果である。0 < "p" < ∞ に対し、実ハーディ空間 "H"(T) は "M f"  が "L"(T) に属するような超函数 "f" より構成される。
単位円上で "F"("re") = ("f" ∗ "P")(e) で定義される函数 "F" は調和的であり、"M f"  は "F" の半径極大函数（radial maximal function）である。"M f"  が "L"(T) に属し、"p" ≥ 1 であるとき、超函数 "f"  は "L"(T) の函数、すなわち、"F" の境界値である。"p" ≥ 1 に対し、実ハーディ空間 "H"(T) は "L"(T) の部分空間である。
単位円上のすべての実三角多項式 "u" に対し、"u" + i"v" が単位円板内の正則函数となるように拡張できる実共役多項式 "v" を次のように定義できる。
この写像 "u" → "v" は、1 < "p" < ∞ のときには "L"(T) 上の有界線型作用素 "H" へと拡張される（スカラー倍を除き、それは単位円上のヒルベルト変換である）。また "H" は "L"(T) を弱-"L"(T) にも写す。1 ≤ "p" < ∞ のとき、単位円上の実数値可積分函数 "f" に対して、以下は同値である。
1 < "p" < ∞ のとき、"f" ∈ "L"(T) であるなら "H(f)" は "L"(T) に属し、したがって実ハーディ空間 "H"(T) はこの場合 "L"(T) と一致する。"p" = 1 に対し、実ハーディ空間 "H"(T) は "L"(T) の真部分空間となる。
"L" 函数の極大函数 "M f"  は常に有界であり、実 "H" が "L" と等しくなることは望まれていないため、"p" = ∞ の場合は実ハーディ空間の定義から除外することが出来る。しかし、実数値函数 "f" に対して次の二つの性質は同値となる。
0 < "p" < 1 のとき、"L" の凸性の欠如により、"H" 内の函数 "F" は単位円上の境界極限函数の実部によって再構成することが出来ない。凸性は満たされないが、ある種の複素凸性、すなわち "z" → |"z"| がすべての "q" > 0 に対して劣調和的となるという性質は満たされる。したがって、
が "H" に属するのであれば、"c" = O("n") であることが示される。フーリエ級数
は超函数の意味である単位円上の超函数 "f" に収束し、"F"("re") =("f" ∗ "P")(θ) となる。"F" のテイラー係数 "c" は Re("f") のフーリエ係数より計算することが出来るので、函数 "F" ∈ "H" は単位円上の実超函数 Re("f") によって再構成される。すなわち "p" 上半平面 H 上のハーディ空間 "H"(H) は、H 上の正則函数 "f" からなる空間で、次の有界（準）ノルムを備えるものとして定義される。
これに対応する "H"(H) は、次で与えられる有界ノルムを備える函数からなる空間として定義される。
単位円板 D と上半平面 H は、メビウス変換の意味で一方から他方へ写すことが可能となるが、ハーディ空間に対する領域としてそれらは交換可能ではない。この違いの原因は、単位円は有限（1次元）ルベーグ測度を持つが、実数直線は持たないという事実にある。しかし、"H" に対しては、依然として次の定理が成り立つ。メビウス変換 "m" : D → H で次を満たすものが与えられたとする。
このとき、等長同型 "M" : "H"(H) → "H"(D) で、次を満たすものが存在する。
実ベクトル空間 R 上の解析において、ハーディ空間 "H"（0 シュワルツ函数 Φ に対して
が "L"(R) に属するような、緩増加超函数 "f" によって構成される。ここで ∗ は畳み込みを表し、 である。"H" 内の超函数 "f" の "H"-準ノルム ||"f" || は、"M""f" の "L" ノルムとして定義される（これは Φ の選択に依存するが、異なるシュワルツ超函数 Φ を選んでも同値なノルムが与えられる）。"H"-準ノルムは "p" ≥ 1 のときノルムであるが、"p" 劣加法的ではないため、ノルムではない。p次のベキ ||"f" || は "p"  であるなら、その消失は十分条件となる。
さらに "f" がある球 "B" に台を持ち、|"B"| によって有界であるなら、"f" は "H"-原子 と呼ばれる（ここで |"B"| は R における "B" のユークリッド体積を表す）。任意の "H"-原子の "H"-準ノルムは、"p" およびシュワルツ函数 Φ にのみ依存する定数によって有界となる。
0 < "p" ≤ 1 のとき、"H" の任意の元 "f" には、"H"-原子の収束無限結合である次の原子分解が存在する。
ここで "a" は "H"-原子であり、"c" はスカラーである。
例えば、ディラック超函数の差 "f" = δ−δ は、1/2 < "p" ハール函数の級数として表現できる（単位円上で、対応する表現は 0 < "p" < 1 に対して有効となるが、実数直線上ではハール函数は "p" ≤ 1/2 のときには "H" に属さない。これはなぜならば、それらの極大函数は無限大において、ある "a" ≠ 0 に対する "a" "x" と同値となるからである）。
("M") をある確率空間 (Ω, Σ, "P") 上の、σ-体の増加列 (Σ) に関するマルチンゲールとする。簡単のために、Σ はその列 (Σ) によって生成される σ-体と等しいものと仮定する。そのマルチンゲールの極大函数は、次で定義される。
1 ≤ "p" < ∞ とする。マルチンゲール ("M") は "M*" ∈ "L" のとき、マルチンゲール-"H" に属する。
"M*" ∈ "L" であるなら、マルチンゲール ("M") は "L" 内で有界であり、したがってによってほとんど確実にある函数 "f" に収束する。さらに優収束定理によって、"M" は "L"-ノルムにおいて "f" に収束するため、"M" は Σ 上での "f" の条件付き期待値として表現される。したがってマルチンゲール-"H" を、マルチンゲール
がマルチンゲール-"H" に属するようなそれら "f" からなる "L"(Ω, Σ, "P") の部分空間として認識することが出来る。
によると、マルチンゲール-"H" は 1 < "p" < ∞ のとき "L"(Ω, Σ, "P") と一致する。興味深い空間として、双対がマルチンゲール-"BMO" であるようなマルチンゲール-"H"が挙げられる 。
（"p" > 1 のときの）バークホルダー＝ガンディ不等式や、（"p" = 1 のときの）バージェス＝デービス不等式は、極大函数の "L"-ノルムを、マルチンゲールの自乗函数
と関連付ける。マルチンゲール-"H" は、"S"("f")∈ "L" とすることで定義することが出来る 。
連続時間パラメータを伴うマルチンゲールもまた考慮することが出来る。古典的理論との直接的な関連は、複素平面内の複素ブラウン運動 ("B") で、点 "z" = 0 を時間 "t" = 0 に出発するものを通じて得ることが出来る。τ を単位円への到達時刻とする。単位円板内の任意の正則函数 "F" に対して、
がマルチンゲール-"H" に属するマルチンゲールであるための必要十分条件は、"F" ∈ "H" である。
ここでは例として、Ω = [0, 1] とし、任意の "n" ≥ 0 に対して長さ 2 の 2 個の区間への [0, 1] の二次項分割によって生成される有限体を Σ とする。[0, 1] 上の函数 "f" が、ハールシステム ("h") 上の展開
によって表されるなら、"f" のマルチンゲール-"H" ノルムは自乗函数の "L" ノルム
によって与えられる。この空間はしばしば "H"(δ) と表記され、単位円上で古典的実 "H" 空間と同型となる。ハールシステムは、"H"(δ) に対するである。