数理解析研究所講究録
1535 巻 2007 年 125-127

125

Banach 空間上の三角不等式について
高橋眞映

山形大学工学部

1. 動機。 Hilbert 空間 $H$ では,$\lambda,$$\mu,$$v,$ $a,$(Sin-Ei Takahasi)$b\in R\backslash \langle 0$

ると, Euler-Lagrange 型等式 (cf. [2]) :} with$\lambda=\mu a^{2}+vb^{2}$を固定す$\frac{1X}{\mu}(x, y\in H)$が成り立つ。 従って, もし $\lambda\mu v>0$ であれば第 2 型の三角不等式 (cf. [3, 41) の–般化である$\frac{|\alpha+by}{\lambda}(x, y\in H)$

ではどうなるであろうかと言う自然なが成り立つ。 それでは, 一般の Banach 空間問題が生ずる。 更にべきを 1 以上にすると, 良く知られた不等式$X$$|x+y|^{p}\leq 2^{p- 1}(|x|^{p}+|y|^{p})(x, y\in X, p\geq 1)$が成り立つが, これは $X$ 上の関数
いる (cf. [1])。それ故$|X|^{\rho}$が中点凸, 従って凸であることを物語って$|x+y|^{p}\leq(\alpha+\beta)^{p- 1}(_{\frac{1X}{a^{p- 1}}}(x, y\in X, \alpha, \beta>0, p\mathrm{z}1)$が成り立つ。 このとき我々は上のような\hslash \acute ‘\Re l2 どんな意味を持っているのであろうかと言う自然な疑問にぶつかる。

2. 問題発見。 $p>0$ を固定して, 集合$D_{p}= \{(a, b, \lambda, \mu, v):\frac{|a\kappa+by}{\lambda}(\forall x, y\in X)\}$が決定でである。 このとき集合を考える。 ここに $a,$ $b\in C,$
きれば、 1 節で記述された係数の意味が分かるのではないかという期待感がある。
$\lambda,$

注意 $p<0$ の場合は

$D_{p}$$\mu,$$v\in R:\lambda\mu \mathrm{v}\neq 0$

を $\frac{|ax+by}{\lambda}$ が意味を持つ全てのについて成り立つような $(a, b, \lambda, \mu, v)$ の集合とすると,意味がない。

$x,$$D_{P}$$y\in X$

$D_{p}=\emptyset$となるため

3. 結果。 実は $p>1$ のときは既に調査済み (cf. [61) であり次の結果を得ている。
定理 1.

$X$を Banach 空間,$p$を 1 より大きい実数とする。 このとき次が成り立つ。

(i)$D_{\rho}\cap\langle\lambda>0,$$\mu>0,$ $\mathrm{v}>0\}=\{\lambda>0, \mu>0, v>0, |\lambda|^{\iota/(p- 1)}\geq|\mu|^{1/(p- 1)}|a|^{p’}+|\mathrm{v}|^{1l(p- 1)}|b|’\}$(ii) $D_{\rho}\cap\{\lambda<0,\mu<0, \mathrm{v}>0\}=\{\lambda<0, \mu<0, v>0, |\lambda|^{1/\langle p- 1)}\leq|\mu|^{1l(p- 1)}|a|^{\rho’}-|v|^{1/(p- 1)}|b|’\}$ .
(iii) $D_{p}\cap\{\lambda<0, \mu>0, v<0\}=\{\lambda<0,$ $\mu>0,$ $v<0,$.

.

$|\lambda|^{1\mathit{1}(p- 1)}=-|\mu|^{1l(p- 1)}|a|^{p’}+|_{\mathrm{V}}|^{1l(p- 1)}|b|^{p’}\rangle$

注意 1$(\mathrm{i})\sim(\mathrm{i}\mathrm{i}\mathrm{i})$。

以外の場合については, trivial cases となる。

126
上の定理の証明は刑事コロンボの共通項の原理 (cf. [5, Theorem 1]) に従う。
いまを $t\in R$ の符号, つまり$\epsilon_{t}$系 2.
$\lambda\mu v\succ \mathrm{O}$$\epsilon_{t}=\{_{-1(t<0)}^{1(t>0)}$とすると, 定理 1 は次の系を導く。

を 1 より大きい実数, $a,$ を複素数,を$\lambda>0,$ $\mu<0,$ $v<0$
但しの場合は除く。 このとき不等を満たす実数とする。
$X$

を Banach 空間,$b$$P$$\lambda,$$\mu,$$v$

式$\frac{|ax+by}{\lambda}$$(^{*})$

がすべて$x,$ $y\inX$に対して成り立つ為の必要十分条件は不等式$\epsilon_{\lambda}|\lambda|^{1/(p- 1\rangle}\geq\epsilon_{\mu}|\mu|^{1/(\rho- 1)}|a|^{\rho’}+\epsilon_{v}|v|^{1/\langle\rho- 1)}|b|^{p’}$$(^{**})$

が成り立つ事である。
を固定すると, 点 $(|a|. |b|)$ は楕円型曲線又注意 2 。必要十分条件 $(**)$ は,は双砂型曲線を境界とする領域に属する事を物語っており, $a,$ $b\in C$ を固定すると,
点は楕円型曲面又は双曲型曲面を境界とする領域に属する事を物語っていの等号が成り立つ事がる。 またを最良にする条件である事も分かる。
ところで, $p=2$ のとき $(\#)$ の等号条件は丁度 1 節での条件 $\lambda=\mu^{2}+vb^{2}$ に他ならない。 また $\lambda=(\alpha+\beta)^{p-1},$とすると、 $(*)$ の等号条件$\lambda,$$\mu,$$v$$(\lambda, \mu, v)$$(^{**})$$(^{*})$$\mu=\alpha^{p- 1}|a|^{-\rho},$を満たし このとき$(^{*})$$v=\beta^{\rho- 1}|b|^{-p}$は丁度 1 節で述べた $|x+y|^{p}\leq(\alpha+\beta)^{p- 1}(_{\frac{1X}{a^{p-1}}}$ に他ならない。 またこれらの係数が作る点は, 上で述べた領域の境界に属し、 そ t\iota \Re *‘f応する不等式も最良となる。 詳細は文献 [6] を見られたし。

さて我々は最良条件$(\#)$$\epsilon_{\lambda}|\lambda|^{1/(\rho- 1)}=\epsilon_{\mu}|\mu|^{1\mathit{1}(\rho- 1)}|a|^{p’}+\epsilon_{v}|v|^{1/(p- 1)}|b|^{t}$のもとに (*) の等号条件を探す。 次の定理がその解答である。
を Banach 空間,を 1 より大きい実数, , を非零複素数,を$\mu<0,$$v<0$
但しを満たす実数とする。の場合は除く。 更に 5 組$(a, b, \lambda, \mu, v)$ は条件を満たすと仮定する。 このとき固定された $y\in X$ に対して,の等号が成り立つ為の必要十分条件は次の 2 等式
定理 3.

$X$

$a$

$P$

$b$

$\lambda,$$\mu,$$v$$\lambda>0,$$\lambda\mu \mathrm{v}>0$$(\#)$$x,$$(^{*})$$\epsilon_{\lambda}|a\kappa+by|=\epsilon_{\mu}|a\kappa|+\epsilon_{v}|by|$and $\frac{1X}{|a\mu|}$が成り立つ事である。
上の定理の証明に関しては, 15, Theorem 11 で得られ結果をうまく使い, 割りと複雑な計算をすることによって得られる。
次に $0<p<1$ の場合について考察すると以下の結果を得る。
定理 4. $X$ を Banach 空間,のとき次が成り立つ。

$p$を 0 と 1 の間の実数, ,$a$(i) $D_{\rho}\cap\{\lambda>0, \mu>0, v>0\}=$ { $\lambda>0,$ $\mu>0,$ $v>0,$(ii) $D_{\rho}\cap\{\lambda<0, \mu<0, v>0\}=\{\lambda<0,$ $\mu<0,$$\mathrm{v}>0,$$\lambda$

a$b$を非零複素数とする。 こ$\max\{\mu|a|^{\rho},$$\eta_{b}|^{p}\}$}.

$| \mu||a|^{p}\geq\max\{|\lambda|, |v||b|^{p}\rangle\}$.

(iii) $D_{p}\cap\{\lambda<0, \mu>0, v<0\}==\{\lambda<0,$ $\mu>0,$ $v<0,$ $|v||b|^{p} \mathrm{z}\max\{|\lambda|, |\mu||a|^{p}\rangle\}$.

127上の定理の証明に関しては, [5, Theorem 21 で得られ結果をうまく使うことによって得られる。
注意 3。

$(\mathrm{i})\sim(\mathrm{i}\mathrm{i}\mathrm{i})$以外の場合については, trivial cases となる。

注意 4 。次の 3 条件を考える。
,$[egg2][y=0,$,$[egg1][x=0, \lambda=v|b|^{p}]$$\lambda=\mu|a|^{p}$$[egg3][a\kappa+by=0, \mu|a|^{p}+v|b|^{p}=0]$

このとき$(^{*})$.の等号成立条件は次のようになる。

or
or
or.
.
$y\neq0$$\mu>0,$$v<0,$(iii)の等号成立.
これは $0<p<1$ の場合の Minkowski の不等式を考察することによって, 容易に導(i) $\lambda>0,$ $\mu>0,$ $v>0,$ $ax+by\sim \mathrm{O}\Rightarrow(^{*})$ の等号成立(ii) $\lambda<0,$ $\mu<0,$ $v>0,$の等号成立$x\not\in \mathrm{O}$$\lambda<0,$$\Leftrightarrow$$\Rightarrow(^{*})$$\Leftrightarrow$$\Rightarrow(^{*})$$\Leftrightarrow$かれる。

本報告は速報的意味合いを持ったものであり、 証明等に関する詳細はしかるべき機会に譲りたい。

References

1. C. Niculescu and L.-E. Persson, Convex Functions and Their Applications, A
Contemporary Approach, CMS Press, Springer$2\alpha 16$.

2. J. M. Rassias and M. J. Rassias, On the Ulam stability for Euler-Lagrange type
quadratic functional equations, Austral. J. Anal. Appl., 2(205), 1-10.
3. S. Saitoh, Various operators in Hilbert space introduced by transforms, Internat J.
Appl. Math., 1-1(1999), 111-126.
4. S. Saitoh, Generalizations of the triangle inequality, J. Inequal. Pure Appl. Math. 4-3(, Article 62, 1-5.
$2\mathfrak{N}3\rangle$

5. H. Takagi, T. Miura, T. Hayata and S.-E. Takahasi, A reconsideration of Hua’s
inequality, II, to appear in J. Inequal. Appl.

6. S.-E. Takahasi, J. M. Rassias, S. Saitoh and Y. Takahashi, Refined generalizations ofth triangle inequality on Banach spaces, to appear in Math. Inequal. Appl.
$e$