概周期関数

動機と位置付け

周期がない、でも「概周期」な関数

関数 $f(t)=\cos t+\cos\sqrt{2}\,t$ を考える。$\cos t$ は周期 $2\pi$、$\cos\sqrt{2}\,t$ は周期 $2\pi/\sqrt{2}=\pi\sqrt{2}$ を持つ。両者の比 $\sqrt{2}$ は無理数なので、$f$ 全体としては厳密な周期をもたない。すなわち $f(t+T)=f(t)$ が全ての $t$ で成立するような正の $T$ は存在しない。

ところが $f$ を実際にプロットすると、波形がほぼ繰り返されるように見える区間が無数に現れる。これは数値的にも確認できる:

たとえば $\tau\approx 17$ を選ぶと $\cos(t+\tau)$ は元の $\cos t$ にほぼ重なり (整数 $n$ により $\tau\approx 2\pi n$ となる)、同時に $\sqrt{2}\,\tau$ も $2\pi$ の整数倍にほぼ近づける。これは Diophantine 近似により可能で、しかも実数直線上でそのような $\tau$ が均等に散在していることが示せる。

Bohr のアイデア: 「ε 概周期数」と「相対稠密」

Harald Bohr (1887-1951) は 1920 年代にこの観察を解析の枠組みに乗せた。鍵となる二つの概念は次:

• $\varepsilon$ 概周期数 $\tau$: $f(t+\tau)$ が $f(t)$ に一様誤差 $\varepsilon$ 以内で一致する数 (「ほぼ周期」)。
• 相対稠密性: どんなに長い区間 $[a,a+L]$ をとっても、その中に必ず一つ以上の $\varepsilon$ 概周期数が含まれる。

「任意精度で、かつ一定長のどの区間にも必ず一つは含まれる」——この二条件を満たす関数を Bohr は概周期関数 (almost periodic functions)と呼んだ。

概周期関数の位置付け

概周期関数のクラス $AP(\mathbb{R})$ は:

• すべての連続周期関数を特別な場合として含む (周期 $T$ をもつ関数では $\tau=nT$ がすべて $0$ 概周期数)
• 有限個の指数関数 $e^{i\lambda_k t}$ ($\lambda_k\in\mathbb{R}$ で周期が無理数比でもよい) の線形結合と一様収束による極限で閉じる
• 各関数に一般化フーリエ展開 $f(t)\sim\displaystyle\sum_n a_n e^{i\lambda_n t}$ (周波数 $\lambda_n$ は実数、係数 $a_n$ は一意) が対応する

つまりフーリエ級数論を「周波数は整数倍に限る」という制約から解放した自然な拡張である。同時に局所コンパクト Abel 群上の調和解析、力学系の準周期軌道、エルゴード理論とも深く結びついている。

Bohr の定義 (ε 概周期数)

$\varepsilon$ 概周期数とは

周期関数 $f$ の周期 $T$ は「平行移動 $t\mapsto t+T$ で関数が完全に復元される」性質をもつ実数だった。これを「誤差 $\varepsilon$ 以内で復元される」と緩めたものが $\varepsilon$ 概周期数である。

$\sup_t$ をとっているのが重要で、「ある $t$ で近い」ではなく「全ての $t$ で一様に近い」ことが要求される。$\tau$ をずらしても波形が誤差 $\varepsilon$ で重なる、という意味である。

相対稠密性: 「どこにでも近くにある」

$\varepsilon$ 概周期数が存在するだけでは不十分で、それらが実数直線上に均等に散在している必要がある。これを表す概念が相対稠密性である。

注意点として、相対稠密と (位相的に) 稠密は別の概念である。たとえば整数の集合 $\mathbb{Z}$ は相対稠密 ($L=1$) だが、実数直線上で位相的には稠密ではない (有理数集合 $\mathbb{Q}$ は両方を満たす特殊な例)。一方、$\{2^n:n\in\mathbb{N}\}$ のように点間ギャップが指数的に拡大する集合は、いくら大きな $L$ をとっても十分先で必ず点を含まない窓が存在するので、相対稠密ではない。

Bohr 概周期関数の定義

直感的な言い換え:

「どんな精度 $\varepsilon$ を要求しても、その精度で関数を平行移動復元できる時刻 $\tau$ が、実数直線上のどの長さ $L(\varepsilon)$ の窓にも必ず一つは見つかる。」

周期 $T$ をもつ周期関数では $\tau=nT$ (任意整数 $n$) が任意の $\varepsilon>0$ に対し $\varepsilon$ 概周期数なので、$E(\varepsilon,f)\supset T\mathbb{Z}$ は明らかに相対稠密 ($L=T$ で OK)。よって周期関数は Bohr 概周期関数の特別な場合である。

Bochner の特徴付け

「平行移動族」というオブジェクト

Bohr の定義は $\varepsilon$ 概周期数の集合の組み合わせ的構造 (相対稠密性) に着目していた。Bochner はもっと位相的な観点を取り、関数 $f$ そのものではなく$f$ を平行移動したコピーの集まりを見ることでより簡潔な特徴付けを得た。

各実数 $\tau$ に対し、関数 $f_\tau:\mathbb{R}\to\mathbb{C}$ を $f_\tau(t):=f(t+\tau)$ で定める。これは $f$ のグラフを $\tau$ だけ左にずらしたものと思ってよい。集合

を $f$ の平行移動族 (orbit) と呼ぶ。これは Banach 空間 $L^\infty(\mathbb{R})$ (一様ノルム $\|\cdot\|_\infty$) の部分集合である。

主定理: コンパクト性 = 概周期性

同値性の直感

なぜ「ε 概周期数の相対稠密性」と「平行移動族のコンパクト性」が同じことになるのか? 双方向の概略は次のとおり:

• (1)⇒(2): $f$ が Bohr 概周期的なら、任意の $\varepsilon>0$ に対し $E(\varepsilon,f)$ から有限個 $\tau_1,\dots,\tau_N$ を選ぶことで、任意の $\tau\in\mathbb{R}$ について $\|f_\tau-f_{\tau_k}\|_\infty<\varepsilon$ となる $\tau_k$ が必ず見つかる (相対稠密性が「有限 $\varepsilon$-網」を提供する)。よって $\{f_{\tau_k}\}$ は $\mathcal{O}(f)$ の有限 $\varepsilon$-網となり、相対コンパクト性が得られる。
• (2)⇒(1): $\mathcal{O}(f)$ がコンパクトなら、任意の $\varepsilon>0$ について有限 $\varepsilon$-網 $\{f_{\tau_1},\dots,f_{\tau_N}\}$ がとれる。任意の長さの区間 $[a,a+L]$ ($L$ は $\{\tau_k\}$ の最大ギャップ程度) において $f_a$ はある $f_{\tau_k}$ から $\varepsilon$ 以内なので、$\tau=\tau_k-a$ が $\varepsilon$ 概周期数となる (平行移動の不変性を使う)。よって $E(\varepsilon,f)$ は相対稠密。

要するに「コンパクト ≡ 有限 ε-網が存在 ≡ ε 概周期数が均等に散在」という言い換えが両者を結ぶ。

Bochner 定義の利点

位相空間論的な記述に直したことで、次の利点が得られる:

• 抽象化が容易: $\mathbb{R}$ を任意の局所コンパクト Abel 群 $G$ に置き換えても定義がそのまま機能する。Bohr の $\varepsilon$ 概周期数アプローチでは群構造ごとに「相対稠密」の定義を考え直す必要があるが、Bochner 流ではコンパクト性は普遍概念で済む。
• 群構造の直接活用: 平行移動が群作用そのものなので、不変性や連続性の議論がしやすい。
• 函数空間論との接続: $AP(\mathbb{R})$ の Banach 環構造、$C^*$ 環構造、Bohr コンパクト化への同型などが系として得られる。

三角多項式による一様近似

「一般化三角多項式」とは

通常のフーリエ級数の部分和 $\sum_{n=-N}^N c_n e^{int}$ では周波数が整数 $n$ に限られた。これを実数 $\lambda_k\in\mathbb{R}$ に拡張したものを一般化三角多項式と呼ぶ:

これは「有限個の指数関数の線形結合」であり、各 $e^{i\lambda_k t}$ は周期 $2\pi/\lambda_k$ をもつ周期関数なので、$P$ は周期関数有限個の線形結合となる。

主定理: Bohr の近似定理

$AP(\mathbb{R})$ の閉包としての特徴付け

上の定理を関数空間論的に書き直すと、$AP(\mathbb{R})$ は次の閉部分空間として特徴付けられる:

記号を一つずつ読み解く

上の式は記号の連なりが多いので、内側から外側へ順に意味を取り出すと分かりやすい:

1. $\{e^{i\lambda t}\,:\,\lambda\in\mathbb{R}\}$ — 実数 $\lambda$ を周波数とする複素指数関数すべての集合。これは「素材」にあたる無限個の関数の集まりである ($\lambda$ は連続的にあらゆる実数を動く)。
2. $\operatorname{span}_{\mathbb{C}}\{\cdots\}$ — 集合の元の複素係数による有限線形結合全体。具体的には $\displaystyle\sum_{k=1}^{N}c_k e^{i\lambda_k t}$ ($N$ は任意の有限数、$c_k\in\mathbb{C}$、$\lambda_k\in\mathbb{R}$) の形をしたすべての関数。これらは前述の一般化三角多項式に他ならない。
3. $\overline{\,\cdots\,}^{\,\|\cdot\|_\infty}$ — 集合の一様ノルム ($\sup$ ノルム) による閉包。すなわち、一般化三角多項式の列で、一様収束する極限を全て付け加えたもの。$\|f-g\|_\infty=\sup_t|f(t)-g(t)|$ で測ったとき、いくらでも近づけられる関数すべて。

合わせると式は次を主張している:

「Bohr 概周期関数とは、実数周波数の複素指数関数 $e^{i\lambda t}$ の有限線形結合 (一般化三角多項式) を一様収束の意味で寄せ集めて得られる関数すべて」

言い換えると、$AP(\mathbb{R})$ の任意の元 $f$ について「適切な周波数 $\lambda_1,\dots,\lambda_N$ と係数 $c_1,\dots,c_N$ を選べば、$\sup_t|f(t)-\sum c_k e^{i\lambda_k t}|$ をいくらでも小さくできる」ということ。逆もまた成立 (このような近似可能な関数は必ず概周期的)。

周期版との対比

これは周期関数に対する古典的結果の自然な拡張である:

• 周期版 (Stone-Weierstrass / Fejér): 連続周期関数 (周期 $2\pi$) は三角多項式 $\sum c_k e^{ikt}$ ($\lambda_k=k\in\mathbb{Z}$ 限定) の一様極限で書ける。すなわち $C(\mathbb{T})=\overline{\operatorname{span}_{\mathbb{C}}\{e^{ikt}:k\in\mathbb{Z}\}}^{\,\|\cdot\|_\infty}$。
• 概周期版 (Bohr): Bohr 概周期関数は一般化三角多項式 ($\lambda_k\in\mathbb{R}$ 任意) の一様極限で書ける。

違いは「使える周波数の集合」を整数の離散格子 $\mathbb{Z}$ から実数全体 $\mathbb{R}$ に広げた点だけである。指数関数の素材を整数倍の周波数に限定すれば周期関数論、実数全部に解禁すれば概周期関数論が得られる。

平均値と Bohr-Fourier 係数

なぜ「平均値」が必要か

周期関数のフーリエ係数は $1$ 周期にわたる積分 $\frac{1}{T}\int_0^T f\cdot e^{-int/T}\,dt$ で定義された。概周期関数には固定された周期 $T$ がないので、代わりに$T\to\infty$ の長時間平均を使う:

計算原理: 指数関数の場合

最も基本的な計算は $f(t)=e^{i\mu t}$ ($\mu\in\mathbb{R}$) の場合である:

• $\mu=0$ なら $e^{0}=1$ で $M\{1\}=1$。
• $\mu\neq 0$ なら $\displaystyle\frac{1}{2T}\int_{-T}^T e^{i\mu t}\,dt=\frac{\sin(\mu T)}{\mu T}\to 0$ ($T\to\infty$)。

まとめて:

これは「異なる周波数の指数関数は長時間平均で消える」という概周期解析の基本原理であり、フーリエ係数の直交関係 $\frac{1}{2\pi}\int_0^{2\pi}e^{i(m-n)t}\,dt=\delta_{mn}$ の連続版と思える。

有限一般化三角多項式 $P(t)=\sum c_k e^{i\lambda_k t}$ に対しては線形性により $M\{P\}=c_{k_0}$ (ただし $\lambda_{k_0}=0$ 成分の係数、もし無ければ $0$)。一般の $f\in AP(\mathbb{R})$ には Bohr 近似定理で一般化三角多項式の一様極限として表し、$M$ の連続性で値を確定する。

Bohr-Fourier 係数の定義

定義の心は「$f$ を周波数 $\lambda$ で復調してから時間平均をとる」こと。これは通常のフーリエ係数 $c_n=\frac{1}{2\pi}\int_0^{2\pi}f(t)e^{-int}\,dt$ の自然な一般化である。

スペクトルが高々可算である理由

直感: 後述のパーセバル等式 (またはより弱い Bessel 不等式) により $\sum_{\lambda}|a(\lambda;f)|^2\le M\{|f|^2\}<\infty$ が成り立つ。有限和の値が有限ということは、$|a(\lambda;f)|>\varepsilon$ なる $\lambda$ は各 $\varepsilon>0$ で有限個。$\varepsilon=1/n$ で和を取れば $\Lambda(f)=\bigcup_n\{\lambda:|a(\lambda;f)|>1/n\}$ は可算和、よって可算。

Bohr-Fourier 展開とパーセバル等式

形式的な Bohr-Fourier 展開

スペクトル $\Lambda(f)=\{\lambda_1,\lambda_2,\dots\}$ を順番付けし、$a_n:=a(\lambda_n;f)$ とおくと、$f$ には次の形式的な級数が対応する:

記号「$\sim$」を用いるのは、級数の部分和 $S_N(t)=\sum_{n=1}^N a_n e^{i\lambda_n t}$ が一般には一様収束しないためである。通常のフーリエ級数でも、連続周期関数の部分和は (ディリクレの定理が成り立つ場合でも) 一様収束を保証されず、不連続点近傍ではギブズ現象を起こす。Fejér 平均 (部分和のチェザロ平均) を取ることで一様収束が回復される (Fejér の定理)。概周期関数でも同じ事情があり、Bochner-Fejér 平均(後述) を経由して初めて $f$ が一様収束で復元される。

エネルギー保存: パーセバルの等式

これは通常のフーリエ級数のパーセバル等式 $\frac{1}{2\pi}\int_0^{2\pi}|f|^2\,dt=\sum_n|c_n|^2$ の概周期版である。意味するところは:

• 左辺 $M\{|f|^2\}$ は $f$ の「時間平均エネルギー」 (パワー)。
• 右辺は各周波数 $\lambda$ における振幅二乗 $|a(\lambda;f)|^2$ の総和。
• つまり$f$ のパワーは可算個のスペクトル成分に完全に分配される。

一意性

言い換えると、Bohr-Fourier 係数の組 $\{a(\lambda;f)\}_\lambda$ は概周期関数 $f$ を完全に決定する (フーリエ係数による周期関数の一意決定の概周期版)。

Bochner-Fejér 加法による $f$ の回復

形式級数 $\sum a_n e^{i\lambda_n t}$ から $f$ を実際に取り出すには、周期関数の Fejér 和 (チェザロ平均) を拡張したBochner-Fejér 多項式

を用いる。ここで $K_n^{(N)}$ は適切な三角チェザロ重み (Bochner が構成) で、$N$ が大きくなるにつれ全ての Bohr-Fourier 係数を採り込む。具体的な重みの形は複雑な多重チェザロ和を含むため本記事では立ち入らず、参考文献 (Corduneanu 2.4 節等) を参照されたい。

これは周期関数に対する Fejér の定理 (連続周期関数のフーリエ和のチェザロ平均は一様収束) の自然な拡張である。Bohr の近似定理 (一般化三角多項式による一様近似) の具体的な構成を与えるのが Bochner-Fejér の役割。

Stepanov・Weyl・Besicovitch クラス

なぜ拡張が必要か

Bohr の意味での概周期関数 $AP(\mathbb{R})$ は一様連続な関数のクラスである。しかし応用上、もう少し緩い概周期性を持つ重要な関数族が存在する:

• 不連続な階段関数でも「概周期的なジャンプパターン」をもつものがあり、Bohr の枠組みでは扱えない (連続性を要求するため)。
• 無限遠で振る舞いが少しずつ変わる関数 — 例えば $f(t)+g(t)$ で $g(t)\to 0$ ($|t|\to\infty$) のような場合、$f$ 部分は概周期だが $g$ の存在で Bohr ε 概周期数の相対稠密性が破れる。

これらを扱うため、$AP(\mathbb{R})$ を含むより広いクラスが提案された。違いは「平行移動の誤差をどのノルムで測るか」にある。

3 つの拡張クラス

各クラスは「ε 概周期数」の定義における誤差ノルムを変えて得られる。$p\ge 1$ を固定し:

• Stepanov クラス $S^p(\mathbb{R})$: 局所 $L^p$ ノルム $$\|g\|_{S^p}\;=\;\sup_{a\in\mathbb{R}}\left(\int_a^{a+1}|g(t)|^p\,dt\right)^{1/p}$$ を使う。$g=f(\cdot+\tau)-f(\cdot)$ に対し $\|g\|_{S^p}<\varepsilon$ となる $\tau$ が相対稠密に存在する関数を Stepanov 概周期と呼ぶ。 特徴: 各単位区間 $[a,a+1]$ での $L^p$ 平均誤差で測るため、点ごとの大きな振動が単位区間内で平均化されて許される。不連続な概周期関数 (階段関数など) を扱える。
• Weyl クラス $W^p(\mathbb{R})$: 単位区間の幅を $\ell\to\infty$ に拡張した極限ノルム $$\|g\|_{W^p}\;=\;\lim_{\ell\to\infty}\sup_{a\in\mathbb{R}}\left(\dfrac{1}{\ell}\int_a^{a+\ell}|g(t)|^p\,dt\right)^{1/p}.$$ 特徴: Stepanov よりさらに緩い。長時間平均で誤差が小さくなる関数を扱える。
• Besicovitch クラス $B^p(\mathbb{R})$: 全体平均 $$\|g\|_{B^p}\;=\;\limsup_{T\to\infty}\left(\dfrac{1}{2T}\int_{-T}^{T}|g(t)|^p\,dt\right)^{1/p}$$ で測る。特徴: 最も広いクラス。確率過程の自己相関関数論やエルゴード理論との接続が深い。

包含関係と性質

各クラスは厳密な包含関係をもつ:

重要な事実: いずれのクラスでも

• 長時間平均 $M\{f\}$ が定義できる
• Bohr-Fourier 係数 $a(\lambda;f)=M\{f(t)e^{-i\lambda t}\}$ が定義できる
• スペクトルは高々可算
• 適切な意味でのパーセバル型等式が成り立つ

これらの拡張クラスは、概周期係数をもつ微分方程式の解の漸近挙動、定常確率過程のスペクトル解析、エルゴード平均の研究などで広く活用される。

応用

力学系と準周期軌道

多自由度 Hamilton 系で KAM 理論の下に保存される軌道は、有理独立な振動数 $\omega_1,\dots,\omega_k$ をもつ Bohr 概周期関数の形 $x(t)=F(\omega_1 t,\dots,\omega_k t)$ ($F$ はトーラス $\mathbb{T}^k$ 上の連続関数) で記述される。これを準周期軌道 (quasi-periodic orbit) と呼ぶ。Bohr-Fourier 展開はこれらのスペクトル解析の基本道具となる。

抽象調和解析と Bohr コンパクト化

$AP(\mathbb{R})$ は局所コンパクト Abel 群 $\mathbb{R}$ のBohr コンパクト化 $b\mathbb{R}$ (双対群 $\widehat{\mathbb{R}}=\mathbb{R}$ に離散位相を入れたものの双対) 上の連続関数環 $C(b\mathbb{R})$ と等距離同型である。これは Pontryagin 双対性と組み合わせ、調和解析の枠組みで概周期関数を統一的に扱う鍵となる。

偏微分方程式と概周期解

線形・準線形 PDE において、係数が概周期的に時間 (または空間) 依存する場合の解の存在・一意性、漸近挙動を Besicovitch クラスや Stepanov クラスで論じる伝統がある。Levitan-Zhikov の体系的研究が代表例である。

エルゴード理論

測度保存変換 $T$ に対し、$AP$ 関数のスペクトル理論は離散スペクトル成分 (純点スペクトル) の特徴付けに対応する: 純点スペクトルを持つエルゴード系は概周期力学系と同型である (von Neumann-Halmos)。

参考文献

• H. Bohr, Almost Periodic Functions, Chelsea, 1947 (原著独語版 1933)。Bohr 自身による体系的入門。
• C. Corduneanu, Almost Periodic Functions, 2nd English ed., Chelsea, 1989。証明込みの標準教科書。
• B. M. Levitan and V. V. Zhikov, Almost Periodic Functions and Differential Equations, Cambridge University Press, 1982。微分方程式への応用に重点。
• A. S. Besicovitch, Almost Periodic Functions, Cambridge University Press, 1932 (Dover 再版 1955)。Besicovitch クラスの導入。
• Almost periodic function — Wikipedia

関連トピック

• $L^2$ 空間とヒルベルト空間 — 一般化フーリエ展開の基盤
• 調和解析入門 — 局所コンパクト群上の Fourier 解析
• フーリエ級数の定義 — 周期版の出発点

よくある質問