Periodic Solutions to the Steady Viscous Burgers Equation: A Constructive Example

技術要約：定常粘性バーガース方程式の周期解

問題設定
本論文は、外部強制力を伴う一次元定常粘性バーガース方程式の周期解の存在と構成について扱う：
$$u u_x - \varepsilon u_{xx} = f(x), \quad x \in [0, 2\pi]$$
ここで、$\varepsilon > 0$ は粘性係数であり、$f(x)$ は与えられた $2\pi$ 周期関数である。主な目的は、粘性 $\varepsilon \to 0$ に対して一様に有界な周期解 $u_\varepsilon(x)$ を構成することである。先行研究（Jauslin, Kreiss, および Moser [11] など）は、特定の強制関数に対してこのような解の存在と一意性を確立しているが、本論文は、これらの解を生成するための明示的かつ構成的な手順と、その収束率を解析するための手法を提供することを目的としている。

手法
著者らは、直接的なフーリエ級数法を漸近展開および上解・下解の方法と組み合わせて用いている。手法は主に以下の2つの段階で進行する：

1. 近似解 ($u_n$) の構成：
   著者らは、解の形式的な漸近展開を以下のように仮定する：
   $$u_\varepsilon(x) = u_0(x) + \varepsilon u_1(x) + \cdots + \varepsilon^n u_n(x) + \cdots$$
   この展開を支配方程式に代入することで、係数 $u_k(x)$ に関する漸化式を導出する：
   $$u_0(x)u_k(x) = u'_{k-1}(x) - \frac{1}{2} \sum_{i+j=k} u_i(x)u_j(x)$$
   $u_0(x) = -(2 + \cos x)$ および $f(x) = u_0(x)u'_0(x)$ という特定の例を用いて、著者らはフーリエ級数展開を通じて最初の数項（$u_1, u_2, u_3$）を明示的に計算する。彼らは、任意の $k$ に対して、$u_k$ のフーリエ級数の係数が、モード数 $n$ における特定の多項式構造と、幾何学的減衰因子 $t^n$（ここで $t = -2+\sqrt{3}$）の積に従うことを、数学的帰納法（定理1.3および定理2.2）によって証明する。これにより、近似級数の絶対的かつ一様な収束が保証される。

2. 厳密解の存在の証明：
   形式的な級数が実際の解に対応することを証明するために、著者らは誤差関数 $v_{n+1}(x/\varepsilon)$ を以下のように定義する：
   $$u_\varepsilon(x) = \sum_{k=0}^n \varepsilon^k u_k(x) + \varepsilon^{n+1} v_{n+1}\left(\frac{x}{\varepsilon}\right)$$
   これを元の方程式に代入することで、誤差項に関する非線形常微分方程式（ODE）が得られる。問題は、区間 $[0, 2\pi/\varepsilon]$ 上でのこのODEの周期解を見つけることに変換される。

• コーシー問題： 著者らはまず、関連する初期値問題に対する一意の局所解の存在を確立する。
• 一様有界性： 上解および下解の方法を用いることで、解が全区間 $[0, 2\pi/\varepsilon]$ 上に存在し、$\varepsilon$ に関して一様に有界であることを示す。
• 陰関数定理： 最後に、周期条件を表す写像 $\Phi_{n+1}(\varepsilon, y_{n+1})$ を定義する。$\varepsilon \to 0$ の極限を解析し、$\varepsilon=0$ におけるこの写像の連続性と非消滅微分を証明することで、周期解をもたらす一意の初期条件 $y_{n+1}$ の存在を陰関数定理を用いて保証する。

主要な結果

• 明示的構成： 本論文は、減衰する幾何学的項によってスケールされたモード数 $n$ の多項式として特徴付けられるフーリエ係数を用いて、任意の次数 $n$ までの近似解 $u_k(x)$ の明示的な公式を提供している。
• 収束率： 主要な結果（定理1.4）は、任意の正の整数 $n$ に対して、ある $\varepsilon_0 > 0$ が存在し、$0 < \varepsilon < \varepsilon_0$ であるとき、方程式は以下の条件を満たす周期解 $u_\varepsilon \in C^2([0, 2\pi])$ を持つことを述べている：
  $$\| u_\varepsilon(x) - \sum_{k=0}^n \varepsilon^k u_k(x) \| \leq C \varepsilon^{n+1}$$
  ここで、$C$ は $\varepsilon$ に依存しない定数である。
• 一様有界性： 構成された解およびその導関数は、粘性パラメータ $\varepsilon$ に関して一様に有界であることが示されている。

意義と主張
著者らは、彼らのアプローチが、周期解に対して明示的かつ構成的な手順を提供することによって、従来の存在証明（Jauslin, Kreiss, および Moser [11] によるものなど）に対して明確な利点を持つと主張している。非構成的な存在定理とは異なり、この手法はフーリエ級数を通じて近似解の具体的な形式を与える。さらに、本論文は、粘性が消失するにつれて（任意の次数 $n$ まで）より鋭い収束率が得られることを断言しており、外部強制力を伴う定常粘性バーガース方程式の非粘性極限挙動をより精密に記述している。本研究は、強制されたバーガース方程式のアトラクタおよび永遠の軌跡に関する既存の理論的結果を補完する、構成的な例として提示されている。