[論文レビュー] On sharp constants in one-dimensional embedding theorems of arbitrary order

Alexander I. Nazarov|arXiv (Cornell University)|Aug 9, 2013

Mathematical Approximation and Integration参考文献 3被引用数 5

ひとこと要約

本稿は、任意の順序の1次元埋め込み定理における鋭い定数を特定する。$ H^r(-T,T) \to L_q(-T,T) $ の埋め込みにおける最適定数を分析し、$ 2 < q < \infty $ の範囲で、定数関数 $ c(x) \equiv 1 $ が比 $ \|y\|_{H^r} / \|y\|_{L_q} $ を最小化するための条件を同定する。$ q \leq \left(\frac{\pi}{T}\right)^{2r} + 2 $ のとき、かつそのときに限り、定数関数が最小化する。それ以外の場合は非定数周期関数がより小さい比を与える。鋭い定数は変分解析およびオイラー＝ラグランジュ方程式の位相平面法によって導出される。

ABSTRACT

We discuss the problem where the extremal function in embedding theorem of some (generally speaking, non-integer) order is the constant function. We obtain the necessary and sufficient conditions of this.

研究の動機と目的

• 任意の $ r > 0 $ および $ 2 < q < \infty $ に対して、埋め込み $ H^r(-T,T) \to L_q(-T,T) $ の鋭い（正確な）定数を特定すること。
• 定数関数 $ c(x) \equiv 1 $ が比 $ \|y\|_{H^r} / \|y\|_{L_q} $ を最小化しなくなる臨界値 $ q $ の正確な閾値を同定すること。
• 先行研究における誤りを是正し、定数関数が $ q \leq \left(\frac{\pi}{T}\right)^{2r} + 2 $ のとき比を最小化することを証明することで、未解決の予想を解決すること。
• 関連するオイラー＝ラグランジュ方程式の変分法および位相平面解析を用いて、埋め込み定数の鋭さを確立すること。

提案手法

• 埋め込み問題を $ H^r(-T,T) $ 上で比 $ \|y\|_{H^r} / \|y\|_{L_q} $ を最小化する問題に定式化し、その臨界点を解析する関数 $ J_{q,r}(y) $ を導出する。
• 定数関数における $ J_{q,r} $ の2次変分を用いて、$ q > \left(\frac{\pi}{T}\right)^{2r} + 2 $ のとき、定数関数が局所的最小化子でないことを示す。
• $ r = 1 $ の場合、非線形常微分方程式 $ -y'' + y = \frac{q}{2}\mu y^{q-1} $ の解に帰着させ、位相平面解析を用いて周期的解を検討する。
• 周期的解の周期を表す積分 $ I_q(\alpha) = \int_{x_0}^{x_1} \frac{dt}{\sqrt{t^2 - 1 - \alpha t^q}} $ を導入し、$ \alpha \in (0, \alpha^*(q)) $ の範囲で $ dI_q/d\alpha < 0 $ を証明する。
• スケーリングおよびステクロフ＝ヴィルティングの不等式を用いて、$ r = 1 $ の結果を $ r > 1 $ に拡張し、高階数の場合を1階の場合に還元する。
• 数値的および解析的技法を用いて、$ I_q(\alpha) $ の単調性および位相平面解析における分母の正の性質を検証し、$ q \leq \left(\frac{\pi}{T}\right)^{2r} + 2 $ のときのみ周期的解が存在することを保証する。

実験結果

リサーチクエスチョン

• RQ1 どの $ q $ の値に対して、定数関数 $ c(x) \equiv 1 $ が空間 $ H^r(-T,T) $ 内で比 $ \|y\|_{H^r} / \|y\|_{L_q} $ を最小化するか？
• RQ2 任意の $ r > 0 $ および $ 2 < q < \infty $ に対して、埋め込み $ H^r(-T,T) \to L_q(-T,T) $ の鋭い定数は何か？
• RQ3 標準的な $ r = 1 $ の議論が一般の $ T $ にスケーリングできないのはなぜか？ そして、どのように是正できるか？
• RQ4 最小化問題のオイラー＝ラグランジュ方程式が非定数周期解をもつのはどのような条件下か？
• RQ5 先行研究で予想された $ dI_q/d\alpha < 0 $ は、$ 2 < q \leq 4 $ の範囲で、厳密に証明可能か？

主な発見

• 埋め込み $ H^r(-T,T) \to L_q(-T,T) $ の鋭い定数は、$ q \leq \left(\frac{\pi}{T}\right)^{2r} + 2 $ のときかつそのときに限り、$ \lambda_{q,r}(T) = (2T)^{1/2 - 1/q} $ に等しい。
• $ q > \left(\frac{\pi}{T}\right)^{2r} + 2 $ のとき、定数関数 $ c(x) \equiv 1 $ は比を最小化せず、鋭い定数は $ (2T)^{1/2 - 1/q} $ よりも厳密に小さくなる。
• 証明により、$ q > \left(\frac{\pi}{T}\right)^{2r} + 2 $ のとき、関数 $ J_{q,r}(y) $ は定数関数に局所的最小値を持たないことが示され、これは2次変分が負であるためである。
• $ r = 1 $ の場合、$ q \leq \left(\frac{\pi}{T}\right)^2 + 2 $ のとき、オイラー＝ラグランジュ方程式の非定数周期解の存在は排除され、定数関数の最小性が確認される。
• $ 2 < q \leq 4 $ の範囲で、周期積分 $ I_q(\alpha) $ の単調性、すなわち $ dI_q/d\alpha < 0 $ が厳密に証明され、先行研究の予想が裏付けられる。
• $ \lim_{\alpha \to \alpha^*(q)} I_q(\alpha) = \pi / \sqrt{q - 2} $ が確立され、これは位相平面におけるホモクライン軌道の周期が退化状態に近づくときに対応する。