The Bojanov--Naidenov inequality for quartics and second derivatives

技術的要約：4次式および2階微分に関するボヤノフ–ナイデノフの不等式

問題設定
本論文は、区間 $[-1, 1]$ 上の代数多項式に関するボヤノフ–ナイデンノフ問題（Bojanov–Naidenov problem）を扱っている。具体的には、多項式の次数が $n=4$ であり、微分の次数が $k=2$ であるケースを解決するものである。中心となる問いは、一様ノルムが1に制限された次数高々 $n$ のすべての多項式の中で、チェビシェフ多項式 $T_n(x)$ が、絶対値の $k$ 階微分の、厳密に単調増加な凸関数を適用した積分の最大値を与えるか否かである。

形式的に述べると、$\pi_n$ を次数高々 $n$ の実代数多項式の空間とし、$\pi^\circ_n = \{P \in \pi_n : \|P\|_{C[-1,1]} \le 1\}$ とする。問題は、任意の $P \in \pi^\circ_n \setminus \{\pm T_n\}$ および任意の厳密に単調増加な凸関数 $\phi: [0, \infty) \to \mathbb{R}$ に対して、以下の不等式
$$\int_{-1}^1 \phi(|P^{(k)}(x)|) \, dx < \int_{-1}^1 \phi(|T_n^{(k)}(x)|) \, dx$$
が成立するかどうかを問うものである。端点の場合（$k=n$ および $k=1$）や特定の多項類のクラスについては既に解決されているが、中間的なケースである $n=4, k=2$ の一般論は未解決のままであった。

手法
証明は「初等的かつ有限的」であると説明されており、一般的な関数解析的な議論ではなく、4次多項式の固有の性質に依拠している。その手法は以下のステップで進行する。

1. 補間と凸性の簡約化：
   4次多項式は、$T_4(x)$ の5つの極値点 $x_j = \cos(j\pi/4)$ （$j=0, \dots, 4$）における値によって一意に決定される。著者らは、節点値のベクトル $y = (y_0, \dots, y_4)$ から、2階微分の積分されたテイル（tail）への写像を以下のように定義する：
   $$F_t(y) = \int_{-1}^1 (|P_y''(x)| - t)_+ \, dx,$$
   ここで $(u)_+ = \max(u, 0)$ である。補間が線形であり、かつ関数 $u \mapsto (|u|-t)_+$ が凸であることを利用して、著者らは $F_t(y)$ が $\mathbb{R}^5$ 上の凸関数であることを証明する。その結果、実行可能集合（$\|P\|_\infty \le 1$ を満たす多項式の像）における $F_t(y)$ の最大値は、全ハイパーキューブ $[-1, 1]^5$ 上の最大値によって抑えられることが示され、この最大値は32個の頂点のいずれかで達成される。

2. 対称性と二次形式への簡約化：
   ハイパーキューブの頂点において、節点値 $y_j$ は $\pm 1$ となる。このとき、2階微分 $P_y''(x)$ は二次多項式となる。著者らは、対称性（符号の変化および反射 $x \to -x$）を用いることで、32個の可能な2次微分を、一連の異なる二次形式（線形の場合およびゼロの場合を含む）へと簡約化する。

3. レベルセット比較（テイル推定）：
   証明の核心は、これら頂点の二次形式の「積分されたテイル」を、チェビシェフの2階微分 $T_4''(x) = 96x^2 - 16$ のテイルと比較することにある。著者らは、レベルセット関数 $\Lambda_q(t) = \text{meas}\{x \in [-1, 1] : |q(x)| > t\}$ を定義する。積分されたテイルはレベルセット関数の積分であるため、すべての $t \ge 0$ に対して $\Lambda_q(t) \le \Lambda_{T_4''}(t)$ であることを示すことが、テイルの不等式を証明することになる。
   著者らは、簡約された各二次形式に対して、レベルセットの明示的なケース分け分析を行う。彼らは、二次形式の根を比較し、異なる $t$ の区間にわたって不等式を検証するために、初等的な微積分を用いている。

4. 一般の凸関数への拡張：
   すべての $t \ge 0$ に対してテイルの不等式が確立された後、著者らは、凸関数の標準的な表現（$(u-t)_+$ を用いたチョケ積分や同様の表現）を援用して、結果を任意の非減少な凸関数 $\phi$ へと拡張する。

主要な貢献と結果

• 定理1： $\|P\|_{C[-1,1]} \le 1$ を満たす任意の $P \in \pi_4$ および $T_4(x) = 8x^4 - 8x^2 + 1$ に対して、すべての $t \ge 0$ について以下のテイル不等式が成立する：
  $$\int_{-1}^1 (|P''(x)| - t)_+ \, dx \le \int_{-1}^1 (|T_4''(x)| - t)_+ \, dx.$$
• 系： このテイル優位性は、すべての非減少な凸関数 $\phi$ に対して以下の積分不等式を導く：
  $$\int_{-1}^1 \phi(|P''(x)|) \, dx \le \int_{-1}^1 \phi(|T_4''(x)|) \, dx.$$
• 厳密性： $\phi$ が厳密に単調増加かつ凸であり、$P \neq \pm T_4$ である場合、不等式は厳密である。
• ノルム境界： 本論文はまた、$\|P''\|_{C[-1,1]} \le 80 = \|T_4''\|_{C[-1,1]}$ であること、および等号成立は $P = \pm T_4$ の場合に限ることも確立している。

意義と限界
本論文は、4次式（$n=4, k=2$）という特定の中間ケースにおいて、ボヤノフ–ナイデノフ問題を完全に解決したと主張している。その意義は、近似理論における長年の未解決問題に対し、この特定の次数について解決を与えた点にある。

しかし、著者らは自身の手法における限界についても明記している。証明は、4次式が5つの点によって決定されるという事実に強く依存しており、それによって無限次元の最適化問題が32個の頂点という有限集合へと還元されている。著者らは、「この証明の有限な性質こそがその限界でもある」と述べている。すなわち、本研究は具体的なケース $n=4$ を解決するものではあるが、より高い次数（$n > 4$）に対する直接的な議論や一般化可能なメカニズムを提供するものではない。本研究は、あらゆる $n$ に対する新しい一般理論としてではなく、この特定の事例に対する決定的な解として提示されている。