シャピロの不等式

シャピロの不等式

シャピロの不等式は、数学、特に関数解析学や不等式論の分野で知られる興味深い結果の一つです。1954年に数学者のハロルド・S・シャピロによって初めて提唱されました。この不等式は、特定の条件下で非負の実数からなる巡回数列に対して成立する和の評価を与えるものです。

定義と条件

自然数 $n$ と、非負の実数からなる数列 $x_1, x_2, \dots, x_n$ を考えます。ただし、すべての $i=1, 2, \dots, n$ について、$x_i + x_{i+1} > 0$ であるとします。ここで、添え字は巡回的、すなわち $x_{n+1} = x_1$、$x_{n+2} = x_2$ とみなします。このとき、シャピロの不等式は次の形で表されます。

$$\sum_{i=1}^n \frac{x_i}{x_{i+1}+x_{i+2}} \ge \frac{n}{2}$$

この不等式が実際に成立するのは、$n$ の値が限られた範囲にある場合です。具体的には、以下のいずれかの条件を満たすときに不等式が成り立ちます。

$n$ が 12以下の偶数
$n$ が 23以下の奇数

これらの条件を超えたより大きな $n$ の値に対しては、上記の不等式は一般には成立しません。しかし、その場合でも左辺の厳密な下限が存在することが知られています。その下限は $\gamma \frac{n}{2}$ という形で与えられ、ここで $\gamma$ はおよそ $0.9891\dots$ という特定の定数です。

証明と反例の歴史

シャピロの不等式は、そのシンプルな見た目とは裏腹に、成立する $n$ の範囲の決定や、その証明が容易ではありませんでした。

$n$ が小さい場合の証明は比較的容易です。

$n=2$ の場合:
$\frac{x_1}{x_2+x_1} + \frac{x_2}{x_1+x_2} = 1$ となり、$1 \ge \frac{2}{2}=1$ は明らかに成立します。

$n=3$ の場合:
これは「ネスビットの不等式」として知られており、シャピロの不等式の特別な場合にあたります。$rac{x_1}{x_2+x_3} + \frac{x_2}{x_3+x_1} + \frac{x_3}{x_1+x_2} \ge \frac{3}{2}$ は、相加平均と相乗平均の不等式など、様々な方法で証明されています。

$n=4$ の場合:
この場合も、相加平均-調和平均の不等式などを巧妙に組み合わせることで、$rac{x_1}{x_2+x_3} + \frac{x_2}{x_3+x_4} + \frac{x_3}{x_4+x_1} + \frac{x_4}{x_1+x_2} \ge \frac{4}{2}=2$ を証明できます。

しかし、$n$ の値が大きくなるにつれて証明は困難になります。特に、$n=12$ や $n=23$ といった境界となる値に対する証明は、研究者たちの長年の課題でした。$n=12$ の最初の証明はGodunovaとLevinによって1976年に、また $n=23$ の最初の証明はTroeschによって1989年に与えられましたが、これらはいずれも数値計算に大きく依拠したものでした。その後、2002年にはP.J. BushellとJ.B. McLeodによって、$n=12$ の場合のより一般的な解析的な証明が発表されました。

また、不等式の左辺が常に取りうる最小値（極小値）が $\frac{n}{2}$ 以上であることは、1968年にPedro Nowosadによって証明されています。これは、不等式自体は成り立たなくとも、左辺が極端に小さくなることはない、という重要な性質を示しています。

厳密な下限 $\gamma$ と反例

不等式が成立しない $n$ の場合における厳密な下限 $\gamma \frac{n}{2}$ に現れる定数 $\gamma$ の値は、1990年にフィールズ賞を受賞した著名な数学者ウラジーミル・ドリンフェルトによって1971年に求められました。ドリンフェルトは、この $\gamma$ が特定の関数の関数的凸包に関連する値 $\psi(0)$ で与えられることを示しました。具体的には、関数 $f(x) = e^{-x}$ と $g(x) = \frac{2}{e^x+e^{x/2}}$ に対して、その関数的凸包 $\psi$ の $x=0$ における値が $\gamma$ に等しいという、深い数学的な背景を持つ結果です。

不等式が成立しないことを示す「反例」も、その性質を理解する上で非常に重要です。

$n=20$ の反例: 最初の反例は1956年にLighthillによって発見されました。特定の数列を選ぶことで、左辺の値が $\frac{20}{2}=10$ より小さくなることが示されました。
$n=14$ の反例: 1985年にTroeschによって見つけられた反例です。
$n=25$ の反例: こちらも不等式が成立しない例として知られています。

これらの反例の発見は、シャピロの不等式が全ての自然数 $n$ に対して成り立つわけではないことを明確にし、成立範囲を正確に特定する研究を促進しました。

シャピロの不等式は、初等的な不等式論から関数解析学に至るまで、幅広い数学の道具を必要とする問題であり、その歴史は多くの数学者の探求の軌跡を示しています。

もう一度検索