ヘルダー条件

ヘルダー条件

数学におけるヘルダー条件（英: Hölder condition）は、関数の滑らかさの度合いを定量的に示す概念です。これは、関数の一様連続性よりも強い条件であり、リプシッツ連続性を一般化したものと見なすことができます。特に、偏微分方程式論や確率論など、さまざまな解析学の分野で重要な役割を果たします。

定義

d次元ユークリッド空間上の実数値または複素数値関数 $f$ がヘルダー条件を満たす、あるいはヘルダー連続であるとは、関数の定義域内の任意の二点 $x$ と $y$ に対して、ある非負の定数 $C$ および指数 $\alpha \geq 0$ が存在し、以下の不等式が成り立つことを指します。

$$
^\alpha
$$

ここで、$||x - y||$ は点 $x$ と $y$ の間のユークリッド距離を表します。

この条件は、より一般的に任意の二つの距離空間 $(X, d_X)$ と $(Y, d_Y)$ の間の関数 $f: X \to Y$ について考えることができます。ここで用いられる指数 $\alpha$ は、ヘルダー条件の指数と呼ばれます。この指数が大きいほど、関数はより滑らかであると言えます。特に、$\alpha = 1$ の場合はリプシッツ条件と同義であり、関数が有界であることを示す $\alpha = 0$ の場合よりも強い滑らかさを示します。ヘルダー条件という名称は、ドイツの数学者オットー・ヘルダーに由来します。

他の連続性概念との関係

実数直線のコンパクトな部分集合上で定義された関数に対し、$\alpha$ が $0 < \alpha \leq 1$ の範囲にあるとき、関数の滑らかさに関する以下の包含関係が成り立ちます。

連続的微分可能 $\subseteq$ リプシッツ連続 $\subseteq$ $\alpha$ ヘルダー連続 $\subseteq$ 一様連続 $\subseteq$ 連続

これは、連続的微分可能な関数はリプシッツ連続であり、リプシッツ連続な関数は任意の $0 < \alpha \leq 1$ に対してヘルダー連続であり、ヘルダー連続な関数は一様連続であり、一様連続な関数は連続であることを示しています。逆は一般には成り立ちません。

ヘルダー空間

ヘルダー条件を満たす関数の集合は、線形空間を形成し、ヘルダー空間と呼ばれます。これらの空間は、偏微分方程式の解の性質を調べる関数解析学や、力学系の研究において基本的なツールとなります。あるユークリッド空間の開集合 $\Omega$ と非負整数 $k \geq 0$ に対して、ヘルダー空間 $C^{k,\alpha}(\Omega)$ は、$\Omega$ 上で $k$ 階までの連続な導関数を持ち、かつその $k$ 階偏導関数が指数 $\alpha$（$0 < \alpha \leq 1$）でヘルダー連続であるような関数の集合です。

関数のヘルダー連続性の度合いを示すヘルダー係数（半ノルム）は、以下のように定義されます。

$$
_{C^{0,\alpha}} = \sup_{x
eq y \in \Omega} \frac{|f(x) - f(y)|}{\|x - y\|^\alpha}
$$

このヘルダー係数が有限である場合、関数 $f$ は「$\Omega$ において指数 $\alpha$ で一様ヘルダー連続」であると言われます。$\Omega$ のコンパクトな部分集合上でヘルダー係数が有界である場合は、「局所ヘルダー連続」と呼ばれます。

閉包 $\overline{\Omega}$ 上で $f$ およびその高々 $k$ 階までの導関数が有界であるような関数に対し、ヘルダー空間 $C^{k,\alpha}(\overline{\Omega})$ は以下のノルムによって定義されるバナッハ空間となります。

$$
\|f\|_{C^{k,\alpha}} = \|f\|_{C^k} + \max_{|\beta|=k} |D^\beta f|_{C^{0,\alpha}}
$$

ここで $D^\beta f$ は多重指数 $\beta$ に対応する $k$ 階偏導関数であり、$\|f\|_{C^k}$ は $k$ 階以下の導関数の最大値ノルムです。

コンパクト埋め込み

$\Omega$ をユークリッド空間の有界な部分集合とし、$\alpha, \beta$ を $0 < \alpha < \beta \leq 1$ を満たすヘルダー指数とします。このとき、指数がより大きいヘルダー空間から小さいヘルダー空間への包含、$C^{0,\beta}(\Omega) \to C^{0,\alpha}(\Omega)$ は、連続かつコンパクトな作用素となります。

この連続性は、ヘルダーノルムの定義から導かれる不等式 $|f|_{0,\alpha,\Omega} \leq \mathrm{diam}(\Omega)^{\beta-\alpha} |f|_{0,\beta,\Omega}$ によって示されます。コンパクト性は、アスコリ＝アルツェラの定理の直接的な帰結であり、証明では関数の有界列から一様収束部分列を選び、ヘルダー条件の不等式を用いて収束を示す手法が用いられます。

具体的な例

区間 $[0, 1]$ 上の関数 $f(x) = x^\beta$（$\beta \leq 1$）は、$\alpha \leq \beta$ ならば $C^{0,\alpha}$ ヘルダー連続ですが、$\alpha > \beta$ の場合は一般にそうではありません。
$\alpha > 1$ に対し、有界閉区間上の任意の $\alpha$-ヘルダー連続関数は定数関数に限られます。
関数 $f(x) = 1/\log(x)$ ($x \in (0, 1/2]$) のように、一様連続であるが、どの指数 $\alpha > 0$ に対してもヘルダー連続ではない関数も存在します。
カントール関数は、指数 $\alpha \leq \log(2)/\log(3)$ に対してヘルダー連続であることが知られています。
フラクタル図形を描くペアノ曲線は、$1/2$-ヘルダー連続な関数として構成できます。
ブラウン運動の典型的な軌道は、ほとんど確実に任意の $\alpha < 1/2$ に対して局所 $\alpha$-ヘルダー連続です。
特定の積分条件や振動の減衰率に関する条件を満たす関数は、その条件によって定まる指数でヘルダー連続になることがあります。
ソボレフ空間からの埋め込み定理の一つであるモレーの不等式は、特定のソボレフ空間に属する関数が、測度ゼロの集合を除いて適切なヘルダー空間にも属することを示します。

性質

任意の $\alpha$-ヘルダー連続関数は、特定のリプシッツ関数列によって精度良く近似できます。
ノルム空間の部分集合上で定義されたヘルダー関数は、全空間へ同じ指数と定数でヘルダー連続に拡張できます。
* $\alpha$-ヘルダー連続関数の像のハウスドルフ次元は、高々 $1/\alpha$ です。

ヘルダー条件とその関連概念は、解析学における関数の滑らかさの解析において不可欠なツールであり、偏微分方程式の境界値問題の正則性理論など、様々な応用分野で利用されています。

もう一度検索