ハーディ空間のソースを表示

[[数学]]の[[複素解析]]の分野における'''ハーディ空間'''（ハーディくうかん、{{Lang-en-short|Hardy space}}）あるいは'''ハーディ級'''（Hardy class）''H<sup>p</sup>'' とは、[[単位円板]]あるいは[[上半平面]]上のある種の[[正則函数]]の空間のことを言う。[[リース・フリジェシュ]] {{harv|Riesz|1923}} によって導入され、その名は論文 {{harv|Hardy|1915}} の著者である[[ゴッドフレイ・ハロルド・ハーディ]]にちなむ。[[実解析]]における'''ハーディ空間'''は、（超函数の意味で）[[複素数|複素]]ハーディ空間の正則函数の境界値であるような、実数直線上のある[[超函数]]からなる空間で、[[函数解析学]]における[[Lp空間]]と関係する。1&nbsp;≤&nbsp;''p''&nbsp;≤&nbsp;∞ に対し、それら実ハーディ空間 ''H<sup>p</sup>'' は ''L<sup>p</sup>'' の[[部分集合]]であるが、''p'' < 1 に対して ''L<sup>p</sup>'' はいくつか望ましくない性質を持つ一方、ハーディ空間はより良い振る舞いをする。

複素数の場合の{{仮リンク|管状領域|en|tube domain}}上の正則函数や、実数の場合の '''R'''<sup>''n''</sup> 上の超函数の空間など、高次元の一般化がいくつか存在する。

ハーディ空間には[[解析学]]それ自身において多くの応用が存在すると共に、[[制御理論]]（[[H∞制御理論]]など）や[[散乱理論]]においても多くの応用が存在する。

== 単位円板に対するハーディ空間 ==

開[[単位円板]]上の[[正則函数]]の空間に対し、ハーディ空間 ''H''<sup>2</sup> は、半径 ''r'' の円周上の[[二乗平均平方根|平均二乗値]]が ''r'' → 1 に下から近づいた時に有界となるような函数から構成される空間となる。

より一般に、0 < ''p'' < ∞ に対するハーディ空間 ''H<sup>p</sup>'' は、次を満たす開単位円板上の正則函数 ''f'' のクラスとなる：

:<math>\sup_{0<r<1}\left(\frac{1}{2\pi} \int_0^{2\pi}|f(re^{i\theta})|^p \; \mathrm{d}\theta\right)^{1/p}<\infty.</math>

このクラス ''H<sup>p</sup>'' はベクトル空間である。この不等式の左辺の数は、''f'' に対するハーディ空間の ''p''-ノルムであり、<math>\|f\|_{H^p}</math> と記述される。これは ''p'' ≥ 1 のときはノルムであるが、0&nbsp;< ''p''&nbsp;<&nbsp;1 のときはノルムとならない。

''H''<sup>∞</sup> は円板上の有界正則函数からなるベクトル空間として定義され、そのノルムは

:<math>\|f\|_{H^\infty} := \sup_{|z|< 1} \left|f(z)\right| </math>

となる。0&nbsp;< p&nbsp;≤ q&nbsp;≤ ∞ に対し、クラス ''H<sup>q</sup>'' は ''H<sup>p</sup>'' の[[部分集合]]であり、''H<sup>p</sup>''-ノルムは ''p'' について増加である（これは ''L<sup>p</sup>''-ノルムが[[確率空間|確率測度]]、すなわち総質量が 1 である[[測度]]に対して増加であるという[[ヘルダーの不等式]]による）。

== 単位円上のハーディ空間 ==

前節で定義されたハーディ空間は、単位円上の複素 [[Lp空間|''L<sup>p</sup>'' 空間]]の閉線型部分空間と見なすことも出来る。この関係は、以下の定理によって示される{{harv|Katznelson|1976|loc=Thm 3.8}}：''p'' ≥ 0 に対し ''f'' ∈ ''H<sup>p</sup>'' が与えられるとき、半径に関する極限

:<math>\tilde f\left(e^{i\theta}\right) = \lim_{r\to 1} f\left(re^{i\theta}\right)</math>

はほとんど全ての θ に対して存在する。この関数 <math>\tilde f</math> は単位円に対する ''L<sup>p</sup>'' 空間に属し、次が成立する。

:<math>\|\tilde f\|_{L^p} = \|f\|_{H^p}.</math>

単位円を '''T''' と表し、全ての極限函数 <math>\tilde f</math> からなる ''L<sup>p</sup>''('''T''') の線型部分空間を ''H<sup>p</sup>''('''T''') と表す。''f'' が ''H<sup>p</sup>'' 内で変化するとき、''p''&nbsp;≥&nbsp;1 に対して次が成り立つ {{harv|Katznelson|1976}}。

:<math>g\in H^p\left(\mathbf{T}\right)\text{ if and only if } g\in L^p\left(\mathbf{T}\right)\text{ and } \hat{g}(n)=0 \text{ for all } n < 0.</math>

ただし ''ĝ''(''n'') は単位円上で可積分な函数 ''g'' の[[フーリエ級数|フーリエ係数]]であり、次が成り立つ。

:<math>\forall n \in \mathbf{Z}, \ \ \ \hat{g}(n) = \frac{1}{2\pi}\int_0^{2\pi} g\left(e^{i\phi}\right) e^{-in\phi} \, \mathrm{d}\phi.</math>

空間 ''H<sup>p</sup>''('''T''') は ''L<sup>p</sup>''('''T''') の閉部分空間である。1 ≤ ''p'' ≤ ∞ に対して ''L<sup>p</sup>''('''T''') は[[バナッハ空間]]であるため、''H<sup>p</sup>''('''T''') もまた同様にバナッハ空間となる。

上述の議論は逆も成り立つ。''p'' ≥ 1 に対して函数 <math>\tilde f</math> ∈ ''L<sup>p</sup>''('''T''') が与えられるとき、[[ポアソン核]] ''P<sub>r</sub>'' を用いて単位円板上の[[正則函数]] ''f'' を次のように再構成することが出来る：

:<math>f\left(re^{i\theta}\right)=\frac{1}{2\pi} \int_0^{2\pi} P_r(\theta-\phi) \tilde f\left(e^{i\phi}\right) \,\mathrm{d}\phi, \quad r < 1.</math>

そして <math>\tilde f</math> が ''H<sup>p</sup>''('''T''') に属しているなら、''f'' は ''H<sup>p</sup>'' に属す。<math>\tilde f</math> は ''H<sup>p</sup>''('''T''') 内にある、すなわち <math>\tilde f</math> は、全ての ''n'' < 0 に対して ''a<sub>n</sub>'' = 0 を満たすフーリエ係数 (''a<sub>n</sub>'')<sub>''n''∈'''Z'''</sub> を持つと仮定する。このとき、<math>\tilde f</math> と関連するハーディ空間 ''H<sup>p</sup>'' の元 ''f'' は、次の正則函数である。

:<math>f(z)=\sum_{n=0}^\infty a_n z^n, \ \ \ |z| < 1.</math>

応用の場面では、これら負のフーリエ係数が消失している函数は通常、因果解（causal solution）と解釈される。したがって空間 ''H''<sup>2</sup> は自然に ''L''<sup>2</sup> 空間の内側にあり、'''N''' によって添え字付けられる[[列 (数学)|無限列]]として表される。一方、''L''<sup>2</sup> は '''Z''' によって添え字付けられる両側無限列（bi-infinite sequence）から構成される。

=== 円上の実ハーディ空間との関連 ===

1 ≤ ''p'' < ∞ のとき、後述の実ハーディ空間 ''H<sup>p</sup>'' は現在の文脈で容易に表現することが出来る。単位円上の実函数 ''f'' は、それが ''H<sup>p</sup>''('''T''') 内のある函数の実部であるなら、実ハーディ空間 ''H<sup>p</sup>''('''T''') に属する。また複素函数 ''f'' が実ハーディ空間に属するための必要十分条件は、Re(''f'') および Im(''f'') がその空間に属することである（後述の実ハーディ空間に関する節を参照されたい）。

''p'' < 1 に対し、フーリエ係数やポアソン積分、共役函数のような道具はもはや有効ではない。例えば、

:<math> F(z) = \frac{1 + z}{1 - z}, \quad |z| < 1</math>

と

:<math>f(e^{i\theta}):= \tilde F(e^{i\theta}) = i \, \cot(\tfrac{\theta}{2}) </math>

を考える。函数 ''F'' は全ての ''p'' < 1 に対して ''H<sup>p</sup>'' に含まれ、半径に関する極限 ''f'' は ''H<sup>p</sup>''('''T''') 内にあるが Re(''f'') はほとんど至る所で 0 とする。Re(''f'') から ''F'' を得ることはもはや出来なく、上述のような簡単な方法で実 ''H<sup>p</sup>''('''T''') を定義することは出来ない。

同じ函数 ''F'' に対し、''f<sub>r</sub>''(e<sup>iθ</sup>) = ''F''(''re''<sup>iθ</sup>) とする。''r'' → 1 としたときの Re(''f<sub>r</sub>'') の[[超函数]]の意味での円上の極限は、''z'' = 1 での[[ディラックのデルタ関数|デルタ超函数]]の非ゼロの倍数に等しい。単位円上の任意の点でのデルタ超函数は、全ての ''p''&nbsp;<&nbsp;1 に対して実 ''H<sup>p</sup>''('''T''') に属する（後述の議論を参照）。

== 内函数と外函数への因数分解（バーリング） ==

0&nbsp;<&nbsp;''p''&nbsp;≤&nbsp;∞ に対し、''H<sup>p</sup>'' 内の全ての非ゼロ函数 ''f'' は、以下で定義される外函数（outer function）''G'' と内函数（inner function）''h'' の積 ''f'' = ''Gh'' で表すことが出来る {{harv|Rudin|1987|loc=Thm 17.17}}。この{{仮リンク|アルネ・バーリング|label=バーリング|en|Arne Beurling}}因数分解は、ハーディ空間を内函数と外函数の空間によって完全に特徴付けることを許す。

''G''(''z'') は次の形状を取るとき、'''外函数'''と呼ばれる。

:<math>G(z) = c\, \exp\left(\frac{1}{2\pi}\int_{-\pi}^{\pi}\frac{e^{i\theta}+z}{e^{i\theta}-z} \log\!\left(\varphi\!\left(e^{i\theta} \right)\right)\, \mathrm{d}\theta \right).</math>

ただし ''c'' は |''c''| = 1 であるような複素数で、φ は log(φ) が単位円上で可積分であるような正の可測函数である。特に φ も単位円上で可積分であるなら、上式が[[ポアソン核]]の形状を取るため、''G'' は ''H''<sup>1</sup> に含まれる。このことは、ほとんど全ての θ に対して

:<math>\lim_{r\to 1^-}\left|G\left (re^{i\theta} \right)\right| = \varphi \left(e^{i\theta}\right )</math>

が成立することを意味する。

''h''(''z'') が内函数であるとは、単位円板上で |''h''(''z'')|&nbsp;≤&nbsp;1 を満たし、ほとんど全ての θ に対して極限

:<math>\lim_{r\to 1^-} h(re^{i\theta})</math>

が存在し、その[[絶対値|母数]]が 1 に等しいことを言う。特に、''h'' は ''H''<sup>∞</sup> に含まれる。内函数はさらに、{{仮リンク|ブラシュケ積|en|Blaschke product}}を含む形へ分解することが出来る。

''f'' = ''Gh'' と分解される函数 ''f'' が ''H<sup>p</sup>'' 内にあるための必要十分条件は、外函数 ''G'' の式に現れる正の函数 φ が ''L<sup>p</sup>''('''T''') に属することである。

''G'' を、単位円上の函数 φ によって上述のように表現される外函数とする。α > 0 に対して φ を φ<sup>α</sup> に置き換えることで、次の性質を満たす外函数の族 (''G''<sub>α</sub>) を得ることが出来る。

:''G''<sub>1</sub>&nbsp;= ''G'', ''G''<sub>α+β</sub> = ''G''<sub>α</sub>&nbsp;''G''<sub>β</sub>&nbsp; and |''G''<sub>α</sub>| = |''G''|<sup>α</sup> almost everywhere on the circle.

== 単位円上の実変数の手法 ==

'''R'''<sup>''n''</sup> 上で定義される「実ハーディ空間」（後述）の研究と主に関連する実変数の手法もまた、単位円に関するより簡単な枠組みにおいて用いられる。その手法は、それら「実」空間における複素函数（あるいは超函数）に対する実践的なものである。以下の定義では、実数および複素数の場合を区別しない。

''P<sub>r</sub>'' を単位円 '''T''' 上のポアソン核とする。単位円上の超函数 ''f'' に対して、次を定める。

:<math>(M f)(e^{i\theta})=\sup_{0<r<1} \left |(f * P_r) \left(e^{i\theta} \right)\right|.</math>

ここで「スター」の記号は、単位円上での超函数 ''f'' と函数 e<sup>iθ</sup> → ''P<sub>r</sub>''(θ) の畳み込みを表す。すなわち、(''f'' ∗ ''P<sub>r</sub>'')(e<sup>iθ</sup>) は、単位円上で

:<math>e^{i\varphi} \rightarrow P_r(\theta - \varphi) </math>

と定義される ''C''<sup>∞</sup>-函数についての ''f'' の作用の結果である。0&nbsp;< ''p''&nbsp;< ∞ に対し、実ハーディ空間 ''H<sup>p</sup>''('''T''') は ''M&nbsp;f''&thinsp; が ''L<sup>p</sup>''('''T''') に属するような超函数 ''f'' より構成される。

単位円上で ''F''(''re''<sup>iθ</sup>) = (''f'' ∗ ''P<sub>r</sub>'')(e<sup>iθ</sup>) で定義される函数 ''F'' は調和的であり、''M&nbsp;f''&thinsp; は ''F'' の半径極大函数（radial maximal function）である。''M&nbsp;f''&thinsp; が ''L<sup>p</sup>''('''T''') に属し、''p''&nbsp;&ge;&nbsp;1 であるとき、超函数 ''f''&thinsp; は ''L<sup>p</sup>''('''T''') の函数、すなわち、''F'' の境界値である。''p''&nbsp;&ge; 1 に対し、実ハーディ空間 ''H<sup>p</sup>''('''T''') は ''L<sup>p</sup>''('''T''') の部分空間である。

=== 共役函数 ===

単位円上のすべての実三角多項式 ''u'' に対し、''u'' + i''v'' が単位円板内の正則函数となるように拡張できる実共役多項式 ''v'' を次のように定義できる。

:<math> u(e^{i\theta}) = \frac{a_0}{2} + \sum_{k \ge 1} a_k \cos(k \theta) + b_k \sin(k \theta) \longrightarrow v(e^{i\theta}) = \sum_{k \ge 1} a_k \sin(k \theta) - b_k \cos(k \theta). </math>

この写像 ''u'' → ''v'' は、1&nbsp;< ''p''&nbsp;< ∞ のときには ''L<sup>p</sup>''('''T''') 上の有界線型作用素 ''H'' へと拡張される（スカラー倍を除き、それは単位円上の[[ヒルベルト変換]]である）。また ''H'' は ''L''<sup>1</sup>('''T''') を弱-''L''<sup>1</sup>('''T''') にも写す。1&nbsp;&le; ''p''&nbsp;< ∞ のとき、単位円上の実数値可積分函数 ''f'' に対して、以下は同値である。
* 函数 ''f'' はある函数 ''g'' ∈ ''H<sup>p</sup>''('''T''') の実部；
* 函数 ''f'' とその共役 ''H(f)'' は ''L<sup>p</sup>''('''T''') に属する；
* 半径極大函数 ''M f''&thinsp; は ''L<sup>p</sup>''('''T''') に属する。

1 < ''p'' < ∞ のとき、''f'' ∈ ''L<sup>p</sup>''('''T''') であるなら ''H(f)'' は ''L<sup>p</sup>''('''T''') に属し、したがって実ハーディ空間 ''H<sup>p</sup>''('''T''') はこの場合 ''L<sup>p</sup>''('''T''') と一致する。''p'' = 1 に対し、実ハーディ空間 ''H''<sup>1</sup>('''T''') は ''L''<sup>1</sup>('''T''') の真部分空間となる。

''L''<sup>∞</sup> 函数の極大函数 ''M&nbsp;f''&thinsp; は常に有界であり、実 ''H''<sup>∞</sup> が ''L''<sup>∞</sup> と等しくなることは望まれていないため、''p'' = ∞ の場合は実ハーディ空間の定義から除外することが出来る。しかし、実数値函数 ''f'' に対して次の二つの性質は同値となる。
* 函数 ''f''&thinsp; がある函数 ''g'' ∈ ''H''<sup>∞</sup>('''T''') の実部；
* 函数 ''f''&thinsp; とその共役 ''H(f)'' が ''L''<sup>∞</sup>('''T''') に属する。

=== 0 < ''p'' < 1 に対する実ハーディ空間 ===

0 < ''p'' < 1 のとき、''L<sup>p</sup>'' の凸性の欠如により、''H<sup>p</sup>'' 内の函数 ''F'' は単位円上の境界極限函数の実部によって再構成することが出来ない。凸性は満たされないが、ある種の複素凸性、すなわち ''z'' → |''z''|<sup>''q''</sup> がすべての ''q'' > 0 に対して[[劣調和函数|劣調和的]]となるという性質は満たされる。したがって、

:<math> F(z) = \sum_{n=0}^{+\infty} c_n z^n, \quad |z| < 1</math>

が ''H<sup>p</sup>'' に属するのであれば、''c<sub>n</sub>'' = O(''n''<sup>1/''p''–1</sup>) であることが示される。フーリエ級数

:<math> \sum_{n=0}^{+\infty} c_n e^{in \theta}</math>

は超函数の意味である単位円上の超函数 ''f'' に収束し、''F''(''re''<sup>iθ</sup>)&nbsp;=(''f''&nbsp;∗&nbsp;''P<sub>r</sub>'')(θ) となる。''F'' のテイラー係数 ''c<sub>n</sub>'' は Re(''f'') のフーリエ係数より計算することが出来るので、函数 ''F'' ∈ ''H<sup>p</sup>'' は単位円上の実超函数 Re(''f'') によって再構成される。すなわち ''p''&nbsp;<&nbsp;1 であれば、単位円上の超函数は一般にハーディ空間を扱う上で十分なものとなる。1 以上の自然数 ''N'' に対し、0&nbsp;< ''N''&nbsp;''p''&nbsp;< 1 であるなら、函数 ''F''(''z'') = (1−''z'')<sup>–''N''</sup>（|''z''| < 1）に見られるように、超函数は ''H<sup>p</sup>'' に属する。

単位円上の実超函数が実-''H<sup>p</sup>''('''T''') に属するための必要十分条件は、それがある ''F'' ∈ ''H<sup>p</sup>'' の実部の境界値であることである。単位円上の任意の点 ''x'' でのディラック超函数 δ<sub>''x''</sub> は、すべての ''p'' < 1 に対して実-''H<sup>p</sup>''('''T''') に属する。''p'' < 1/2 であれば微分 δ′<sub>''x''</sub> が属し、''p'' < 1/3 であれば二階微分 δ′′<sub>''x''</sub> が属する。以下、同様のことが成り立つ。

== 上半平面に対するハーディ空間 ==

円板以外の領域の上でもハーディ空間を定義することは可能で、複素半平面（通常は右半平面あるいは上半平面）上のハーディ空間が多くの応用の場面で用いられている。

[[上半平面]] '''H''' 上のハーディ空間 ''H<sup>p</sup>''('''H''') は、'''H''' 上の正則函数 ''f'' からなる空間で、次の有界（準）ノルムを備えるものとして定義される。

:<math>\|f\|_{H^p} = \sup_{y>0} \left ( \int|f(x+ iy)|^p\, \mathrm{d}x \right)^{\frac{1}{p}}.</math>

これに対応する ''H''<sup>∞</sup>('''H''') は、次で与えられる有界ノルムを備える函数からなる空間として定義される。

:<math>\|f\|_{H^\infty} = \sup_{z\in\mathbf{H}}|f(z)|.</math>

[[単位円板]] '''D''' と上半平面 '''H''' は、[[メビウス変換]]の意味で一方から他方へ写すことが可能となるが、ハーディ空間に対する領域としてそれらは交換可能ではない。この違いの原因は、単位円は有限（1次元）[[ルベーグ測度]]を持つが、実数直線は持たないという事実にある。しかし、''H''<sup>2</sup> に対しては、依然として次の定理が成り立つ。メビウス変換 ''m'' : '''D''' → '''H''' で次を満たすものが与えられたとする。

:<math>m(z)= i \cdot \frac{1+z}{1-z}.</math>

このとき、[[等長写像|等長]][[準同型|同型]] ''M'' : ''H''<sup>2</sup>('''H''') → ''H''<sup>2</sup>('''D''') で、次を満たすものが存在する。

:<math>(Mf)(z)=\frac{\sqrt{\pi}}{1-z} f(m(z)).</math>

== '''R'''<sup>''n''</sup> に対する実ハーディ空間 ==

実ベクトル空間 '''R'''<sup>''n''</sup> 上の解析において、ハーディ空間 ''H<sup>p</sup>''（0&nbsp;<&nbsp;''p''&nbsp;≤&nbsp;∞）は、∫Φ&nbsp;=&nbsp;1 を満たすある[[シュワルツ空間|シュワルツ函数]] Φ に対して{{仮リンク|極大函数|en|maximal function}}

:<math>(M_\Phi f)(x)=\sup_{t>0}|(f*\Phi_t)(x)|</math>

が ''L<sup>p</sup>''('''R'''<sup>''n''</sup>) に属するような、[[シュワルツ超函数|緩増加超函数]] ''f'' によって構成される。ここで ∗ は[[畳み込み]]を表し、{{nowrap|Φ<sub>''t''&thinsp;</sub>(''x'') {{=}}}} {{nowrap|''t''<sup>&thinsp;&minus;''n''</sup>Φ(''x''&thinsp;/&thinsp;''t'')}} である。''H<sup>p</sup>'' 内の超函数 ''f'' の ''H<sup>p</sup>''-[[準ノルム]] ||''f''&thinsp;||<sub>''Hp''</sub> は、''M''<sub>Φ</sub>''f'' の ''L<sup>p</sup>'' ノルムとして定義される（これは Φ の選択に依存するが、異なるシュワルツ超函数 Φ を選んでも同値なノルムが与えられる）。''H<sup>p</sup>''-準ノルムは ''p'' ≥ 1 のときノルムであるが、''p''&nbsp;<&nbsp;1 のときはノルムではない。

1&nbsp;< ''p''&nbsp;< ∞ であるなら、ハーディ空間 ''H<sup>p</sup>'' は ''L<sup>p</sup>'' と等しいベクトル空間で、同値なノルムを持つ。''p''&nbsp;= 1 のとき、ハーディ空間 ''H''<sup>1</sup> は ''L''<sup>1</sup> の真部分集合である。''L''<sup>1</sup> において有界であるが、''H''<sup>1</sup> において非有界であるような列 ''H''<sup>1</sup> を見つけることが出来る。例えば、実数直線上の以下の函数が挙げられる。

:<math> f_k(x) = \mathbf{1}_{[0, 1]}(x - k) -  \mathbf{1}_{[0, 1]}(x + k), \ \ \ k > 0.</math>

''L''<sup>1</sup> と ''H''<sup>1</sup> のノルムは ''H''<sup>1</sup> 上で同値ではなく、''H''<sup>1</sup> は ''L''<sup>1</sup> において閉ではない。''H''<sup>1</sup> の双対は、{{仮リンク|有界平均振動|en|bounded mean oscillation}}の函数の空間 ''BMO'' である。空間 ''BMO'' は非有界な函数を含む（これは再び、''H''<sup>1</sup> が ''L''<sup>1</sup> において閉でないことを意味する）。

''p''&nbsp;<&nbsp;1 であるなら、ハーディ空間 ''H<sup>p</sup>'' は函数ではない元を持ち、その双対は次数 ''n''(1/''p''&nbsp;−&nbsp;1) の同次リプシッツ空間である。''p'' < 1 のとき、''H<sup>p</sup>''-準ノルムは[[劣加法性|劣加法的]]ではないため、ノルムではない。p次のベキ ||''f''&thinsp;||<sub>''Hp''</sub><sup>''p''</sup> は ''p''&nbsp;<&nbsp;1 のとき劣加法的であり、ハーディ空間 ''H<sup>p</sup>'' 上のある距離を定義する。それは位相を定義し、''H<sup>p</sup>'' を完備距離空間にする。

=== 原子分解 ===

0 < ''p'' ≤ 1 のとき、コンパクトな台を持つ有界可測函数 ''f'' がハーディ空間 ''H<sup>p</sup>'' に属するための必要十分条件は、その次数 ''i''<sub>1</sub>+ ... +''i<sub>n</sub>'' が高々 ''n''(1/''p''&nbsp;−&nbsp;1) であるすべてのモーメント

:<math>\int_{\mathbf{R}^n} f(x)x_1^{i_1}\ldots x_n^{i_n}\, \mathrm{d}x </math>

が消失することである。例えば、''f'' ∈ ''H<sup>p</sup>'', 0&nbsp;< ''p'' ≤ 1 であるためには ''f'' の積分は消失する必要がある。''p''&nbsp;> {{nowrap|''n''&thinsp;/&thinsp;(''n''+1)}} であるなら、その消失は十分条件となる。

さらに ''f'' がある球 ''B'' に台を持ち、|''B''|<sup>−1/''p''</sup> によって有界であるなら、''f'' は '''''H<sup>p</sup>''-原子''' と呼ばれる（ここで |''B''| は '''R'''<sup>''n''</sup> における ''B'' のユークリッド体積を表す）。任意の ''H<sup>p</sup>''-原子の ''H<sup>p</sup>''-準ノルムは、''p'' およびシュワルツ函数 Φ にのみ依存する定数によって有界となる。

0 < ''p'' ≤ 1 のとき、''H<sup>p</sup>'' の任意の元 ''f'' には、''H<sup>p</sup>''-原子の収束無限結合である次の'''原子分解'''が存在する。

:<math>f = \sum c_j a_j, \ \ \ \sum |c_j|^p < \infty. </math>

ここで ''a<sub>j</sub>'' は ''H<sup>p</sup>''-原子であり、''c<sub>j</sub>'' はスカラーである。

例えば、ディラック超函数の差 ''f''&nbsp;= δ<sub>1</sub>−δ<sub>0</sub> は、1/2&nbsp;< ''p''&nbsp;<&nbsp;1 のとき ''H<sup>p</sup>''-準ノルムにおいて収束であるような[[ハールウェーブレット|ハール函数]]の級数として表現できる（単位円上で、対応する表現は 0&nbsp;< ''p''&nbsp;< 1 に対して有効となるが、実数直線上ではハール函数は ''p'' ≤ 1/2 のときには ''H<sup>p</sup>'' に属さない。これはなぜならば、それらの極大函数は無限大において、ある ''a''&nbsp;≠&nbsp;0 に対する ''a''&nbsp;''x''<sup>–2</sup> と同値となるからである）。

== ''H<sup>p</sup>'' に対するマルチンゲール ==

(''M<sub>n</sub>'')<sub>''n''≥0</sub> をある確率空間 (Ω,&nbsp;Σ,&nbsp;''P'') 上の、σ-体の増加列 (Σ<sub>''n''</sub>)<sub>''n''≥0</sub> に関する[[マルチンゲール]]とする。簡単のために、Σ はその列 (Σ<sub>''n''</sub>)<sub>''n''≥0</sub> によって生成される σ-体と等しいものと仮定する。そのマルチンゲールの極大函数は、次で定義される。

:<math> M^* = \sup_{n \ge 0} \, |M_n|.</math>

1 ≤ ''p'' < ∞ とする。マルチンゲール (''M<sub>n</sub>'')<sub>''n''≥0</sub> は ''M*'' ∈ ''L<sup>p</sup>'' のとき、マルチンゲール-''H<sup>p</sup>'' に属する。

''M*'' ∈ ''L<sup>p</sup>'' であるなら、マルチンゲール (''M<sub>n</sub>'')<sub>''n''≥0</sub> は ''L<sup>p</sup>'' 内で有界であり、したがって{{仮リンク|ドゥーブのマルチンゲール収束定理|en|Doob's martingale convergence theorems}}によってほとんど確実にある函数 ''f'' に収束する。さらに[[優収束定理]]によって、''M<sub>n</sub>'' は ''L<sup>p</sup>''-ノルムにおいて ''f'' に収束するため、''M<sub>n</sub>'' は Σ<sub>''n''</sub> 上での ''f'' の[[条件付き期待値]]として表現される。したがってマルチンゲール-''H<sup>p</sup>'' を、マルチンゲール

:<math>M_n = E \bigl( f | \Sigma_n \bigr)</math>

がマルチンゲール-''H<sup>p</sup>'' に属するようなそれら ''f'' からなる ''L<sup>p</sup>''(Ω,&nbsp;Σ,&nbsp;''P'') の部分空間として認識することが出来る。

[[ドゥーブのマルチンゲール不等式|ドゥーブの極大不等式]]によると、マルチンゲール-''H<sup>p</sup>'' は 1 < ''p'' < ∞ のとき ''L<sup>p</sup>''(Ω,&nbsp;Σ,&nbsp;''P'') と一致する。興味深い空間として、双対がマルチンゲール-''BMO'' であるようなマルチンゲール-''H''<sup>1</sup>が挙げられる {{harv|Garsia|1973}}。

（''p''&nbsp;>&nbsp;1 のときの）バークホルダー＝ガンディ不等式や、（''p'' = 1 のときの）バージェス＝デービス不等式は、極大函数の ''L<sup>p</sup>''-ノルムを、マルチンゲールの自乗函数

:<math> S(f) = \left( |M_0|^2 + \sum_{n=0}^{\infty} |M_{n+1} - M_n|^2 \right)^{\frac{1}{2}} </math>

と関連付ける。マルチンゲール-''H<sup>p</sup>'' は、''S''(''f'')∈ ''L<sup>p</sup>'' とすることで定義することが出来る {{harv|Garsia|1973}}。

連続時間パラメータを伴うマルチンゲールもまた考慮することが出来る。古典的理論との直接的な関連は、複素平面内の複素[[ウィーナー過程|ブラウン運動]] (''B<sub>t</sub>'') で、点 ''z'' = 0 を時間 ''t'' = 0 に出発するものを通じて得ることが出来る。τ を単位円への到達時刻とする。単位円板内の任意の正則函数 ''F'' に対して、

:<math> M_t = F(B_{t \wedge \tau}) </math>

がマルチンゲール-''H<sup>p</sup>'' に属するマルチンゲールであるための必要十分条件は、''F''&nbsp;∈&nbsp;''H<sup>p</sup>'' である{{Harv |Burkholder|Gundy|Silverstein|1971}}。

=== 例：二次項マルチンゲール-''H''<sup>1</sup> ===

ここでは例として、Ω = [0, 1] とし、任意の ''n'' ≥ 0 に対して長さ 2<sup>−''n''</sup> の 2<sup>''n''</sup> 個の区間への [0, 1] の二次項分割によって生成される有限体を Σ<sub>''n''</sub> とする。[0, 1] 上の函数 ''f'' が、[[ハールウェーブレット|ハールシステム]] (''h<sub>k</sub>'') 上の展開

:<math> f = \sum c_k h_k,</math>

によって表されるなら、''f'' のマルチンゲール-''H''<sup>1</sup> ノルムは自乗函数の ''L''<sup>1</sup> ノルム

:<math> \int_0^1 \Bigl( \sum |c_k h_k(x)|^2 \Bigr)^{\frac{1}{2}} \, \mathrm{d}x </math>

によって与えられる。この空間はしばしば ''H''<sup>1</sup>(δ) と表記され、単位円上で古典的実 ''H''<sup>1</sup> 空間と同型となる{{harv |Müller|2005}}。ハールシステムは、''H''<sup>1</sup>(δ) に対する{{仮リンク|シャウダー基底|label=無条件基底|en|Schauder basis}}である。

== 関連項目 ==
* [[空間 (数学)]]
* [[複素解析]]

== 参考文献 ==
* {{Citation
| last1 = Burkholder
| first1 =  Donald L.
| last2 = Gundy
| first2 =  Richard F.
| last3 = Silverstein
| first3 =  Martin L.
| title = A maximal function characterization of the class ''H<sup>p</sup>''
| journal = Transactions of the American Mathematical Society
| volume = 157
| year = 1971
| pages = 137–153
| doi = 10.2307/1995838
| postscript = .
| jstor = 1995838
| mr = 0274767
}}
*{{citation
|first=Joseph A.
|last= Cima
|first2= William T.
|last2=Ross
|title=The Backward Shift on the Hardy Space
|year=2000
|publisher= American Mathematical Society
|isbn =0-8218-2083-4}}
*{{citation|
first= Peter
|last= Colwell
|title=Blaschke Products - Bounded Analytic Functions
|year=1985
|publisher= University of Michigan Press
|publication-place= Ann Arbor
|isbn =0-472-10065-3}}
*{{citation
|first=P.
|last= Duren | authorlink=:en:Peter Duren
|title=Theory of H<sup>p</sup>-Spaces
|year=1970
|publisher= Academic Press
|publication-place= New York}}
* {{Citation
| last1 = Fefferman| first1 =  Charles
| authorlink1=チャールズ・フェファーマン
| last2 = Stein| first2 =  Elias M.
| authorlink2=:en:Elias Stein
| title = ''H<sup>p</sup>'' spaces of several variables
| journal = Acta Math.| volume = 129| issue = 3–4
| year = 1972| pages = 137–193
| doi = 10.1007/BF02392215
| mr = 0447953
| postscript = .
}}
*{{SpringerEOM|title=Hardy spaces|last= Folland|first=G.B.|urlname=Hardy_spaces}}
*{{citation
|first=Adriano M.
|last= Garsia
|title=Martingale inequalities: Seminar notes on recent progress
|series=Mathematics Lecture Notes Series
|year=1973
|publisher=W. A. Benjamin, Inc.
|publication-place=Reading, Mass.-London-Amsterdam
|pages=viii+184}} {{MathSciNet|id=0448538}}
*{{citation
|first=G. H.
|last=Hardy
|authorlink=ゴッドフレイ・ハロルド・ハーディ
|title=On the mean value of the modulus of an analytic function
|journal=Proceedings of the London Mathematical Society
|volume=14
|year=1915
|pages=269–277
|jfm=45.1331.03}}
*{{citation
|first=Kenneth
|last=Hoffman
|title=Banach spaces of analytic functions
|year=1988
|publisher= Dover Publications
|publication-place= New York
| isbn =0-486-65785-X}}
*{{citation
|first=Yitzhak
|last=Katznelson
|authorlink=:en:Yitzhak Katznelson
|title=An introduction to Harmonic Analysis
|year=1976
|publisher=Dover
|isbn=0-486-63331-4}}
* {{citation
| last = Müller
| first = Paul F. X.
| title = Isomorphisms between ''H''<sup>1</sup> spaces
| publisher = Mathematics Institute of the Polish Academy of Sciences. Mathematical Monographs (New Series), Birkhäuser Verlag
| publication-place = Basel
| year = 2005
| pages = xiv+453
| isbn = 978-3-7643-2431-5
| mr = 2157745
}}
*{{citation|first= F.|last= Riesz|authorlink=リース・フリジェシュ|title=Über die Randwerte einer analytischen Funktion|journal=  Math. Z. |volume= 18  |year=1923|pages= 87–95|doi=10.1007/BF01192397}}
*{{citation|first= J.|last= Mashreghi|title=Representation Theorems in Hardy Spaces|year=2009|publisher= Cambridge University Press}}
*{{citation|first=Walter|last=Rudin|authorlink=ウォルター・ルーディン|title=Real and Complex Analysis|year=1987|publisher=McGraw-Hill|isbn=0-07-100276-6}}
*{{SpringerEOM|title=Hardy classes|last= Shvedenko|first=S.V.|urlname=Hardy_classes}}

{{DEFAULTSORT:はあていくうかん}}
[[Category:作用素論]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]