- Research Article
- Open Access

# On Sharp Triangle Inequalities in Banach Spaces II

- Ken-Ichi Mitani
^{1}and - Kichi-Suke Saito
^{2}Email author

**2010**:323609

https://doi.org/10.1155/2010/323609

© K.-I. Mitani and K.-S. Saito. 2010

**Received:**4 November 2009**Accepted:**2 March 2010**Published:**28 April 2010

## Abstract

Sharp triangle inequality and its reverse in Banach spaces were recently showed by Mitani et al. (2007). In this paper, we present equality attainedness for these inequalities in strictly convex Banach spaces.

## Keywords

- Banach Space
- Positive Integer
- Equality Condition
- Kato
- Integrable Function

## 1. Introduction

In recent years, the triangle inequality and its reverse inequality have been treated in [1–5] (see also [6, 7]).Kato et al.[8] presented the following sharp triangle inequality and its reverse inequality with elements in a Banach space .

Theorem 1.1 (see [8]).

These inequalities are useful to treat geometrical structure of Banach spaces, such as uniform non- -ness (see [8]). Moreover,Hsu et al.[9] presented these inequalities for strongly integrable functions with values in a Banach space.

Mitani et al.[10] showed the following inequalities which are sharper than Inequality (1.1) in Theorem 1.1.

Theorem 1.2 (see [10]).

where .

In this paper we first present a simpler proof of Theorem 1.2. To do this we consider the case as follows.

Theorem 1.3.

where .

From this result we can easily obtain Theorem 1.2.

Moreover we consider equality attainedness for sharp triangle inequality and its reverse inequality in strictly convex Banach spaces. Namely, we characterize equality attainedness of Inequalities (1.4) and (1.5) in Theorem 1.3.

## 2. Simple Proofs of Theorems 1.2 and 1.3

Proof of Theorem 1.3.

and hence (1.4). Thus (1.4) holds true for all finite elements in .

where . Thus we obtain (1.5). This completes the proof.

Proof of Theorem 1.2.

where for all positive numbers with . As , we have Inequalities (1.4) and (1.5).

## 3. Equality Attainedness in a Strictly Convex Banach Space

In this section we consider equality attainedness for sharp triangle inequality and its reverse inequality in a strictly convex Banach space. Kato et al. in [8] showed the following.

Theorem 3.1 (see [8]).

if and only if either

(a)

or

(b)

Theorem 3.2 (see [8]).

if and only if either

(a)

or

(b)

We present equality attainedness for (1.4) and (1.5) in Theorem 1.2. The following lemma given in [8] is quite powerful.

Lemma 3.3 (see [8]).

Let be a strictly convex Banach space. Let be nonzero elements in . Then the following are equivalent.

(i) holds for any positive numbers .

(ii) holds for some positive numbers .

(iii) .

Theorem 3.4.

if and only if there exists a real number with satisfying .

Proof.

By , we have (3.4). Thus we get (3.3).

Next we consider the case .

Theorem 3.5.

if and only if there exist with satisfying one of the following conditions:

(a)

(b)

Proof.

Hence, by using (3.8), (3.12), and (3.13) we have for some real number . Since , we have . We consider the following two cases

Case 1.

By and , Equality (3.16) is valid for all real numbers with .

Case 2.

Hence . Thus ( ) holds.

Conversely, assume that there exist with satisfying one of the conditions and . Then it is clear that (3.7) holds. Thus we obtain ( ).

For a finite set , the cardinal number of is denoted by .

Lemma 3.6.

Proof.

Theorem 3.7.

for every with .

Proof.

If , then it is clear that .

If , then, by (3.41), we have . Hence . Thus we obtain .

Thus we obtain (3.24). This completes the proof.

In what follows, we characterize the equality condition of Inequality (1.3) in Theorem 1.2. For and positive integer with we define , and

Lemma 3.8.

Proof.

This completes the proof.

Theorem 3.9.

for all positive integers with and .

Proof.

From (3.3), we obtain . Thus we have ( ).

By and Lemma 3.8, we obtain (3.53). Thus we have ( ). This completes the proof.

If , then we have the following corollary.

Corollary 3.10.

if and only if there exists a real number with such that .

If , then we have the following corollary.

Corollary 3.11.

if and only if there exist with such that and .

## 4. Remark

In this section we consider equality attainedness for sharp triangle inequality in a more general case, that is, the case without the assumption that . Let us consider the case .

Proposition 4.1.

Let be a strictly convex Banach space, and nonzero elements in .

always holds.

(ii)If , then the equality (4.1) holds if and only if there exists a real number satisfying and .

(iii)If , then the equality (4.1) holds if and only if there exists a real number satisfying and .

- (iii)

Hence . The converse is clear.

Conjecture 1.

What is the necessary and sufficient condition when Equality (3.24) (resp. Equality (3.48)) holds for elements with in Theorem 3.7 (resp. Theorem 3.9)?

## Declarations

### Acknowledgment

The second author was supported in part by Grants-in-Aid for Scientific Research (no. 20540158), Japan Society for the Promotion of Science.

## Authors’ Affiliations

## References

- Diaz JB, Metcalf FT: A complementary triangle inequality in Hilbert and Banach spaces.
*Proceedings of the American Mathematical Society*1966, 17: 88–97. 10.1090/S0002-9939-1966-0188748-8MathSciNetView ArticleMATHGoogle Scholar - Dragomir SS: Reverses of the triangle inequality in Banach spaces.
*Journal of Inequalities in Pure and Applied Mathematics*2005, 6(5, article 129):1–46.MATHMathSciNetGoogle Scholar - Hudzik H, Landes TR: Characteristic of convexity of Köthe function spaces.
*Mathematische Annalen*1992, 294(1):117–124. 10.1007/BF01934317MathSciNetView ArticleMATHGoogle Scholar - Mitrinović DS, Pečarić JE, Fink AM:
*Classical and New Inequalities in Analysis, Mathematics and Its Applications (East European Series)*.*Volume 61*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1993:xviii+740.View ArticleMATHGoogle Scholar - Pečarić J, Rajić R: The Dunkl-Williams inequality with elements in normed linear spaces.
*Mathematical Inequalities & Applications*2007, 10(2):461–470.MathSciNetMATHGoogle Scholar - Dunkl CF, Williams KS: A simple norm inequality.
*The American Mathematical Monthly*1964, 71(1):53–54. 10.2307/2311304MathSciNetView ArticleMATHGoogle Scholar - Massera JL, Schäffer JJ: Linear differential equations and functional analysis. I.
*Annals of Mathematics*1958, 67: 517–573. 10.2307/1969871MathSciNetView ArticleMATHGoogle Scholar - Kato M, Saito K-S, Tamura T: Sharp triangle inequality and its reverse in Banach spaces.
*Mathematical Inequalities & Applications*2007, 10(2):451–460.MathSciNetView ArticleMATHGoogle Scholar - Hsu C-Y, Shaw S-Y, Wong H-J: Refinements of generalized triangle inequalities.
*Journal of Mathematical Analysis and Applications*2008, 344(1):17–31. 10.1016/j.jmaa.2008.01.088MathSciNetView ArticleMATHGoogle Scholar - Mitani K-I, Saito K-S, Kato M, Tamura T: On sharp triangle inequalities in Banach spaces.
*Journal of Mathematical Analysis and Applications*2007, 336(2):1178–1186. 10.1016/j.jmaa.2007.03.036MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.