- Research Article
- Open access
- Published:
General Convexity of Some Functionals in Seminormed Spaces and Seminormed Algebras
Journal of Inequalities and Applications volume 2010, Article number: 643768 (2010)
Abstract
We prove some results for convex combination of nonnegative functionals, and some corollaries are established.
1. Introduction
Inequalities have been used in almost all the branches of mathematics. It is an important tool in the study of convex functions in seminormed space and seminormed algebras. Recently some works have been done by Altin et al. [1, 2], Tripathy et al. [1–6], Tripathy and Sarma [3, 4], Chandra and Tripathy [5], Tripathy and Mahanta [6], and many others involving inequalities in seminormed spaces and convex functions like the Orlicz function.
In this paper, inequalities for convex combinations of functionals satisfying conditions (a) and (b) are formulated in the theorems, and some corollaries are proved, using the theorems. Condition (a) relates to nonnegative functionals over which the inequalities in Theorems 1.1 and 1.4 on seminorm are proved. In Theorem 1.1, we consider seminormed spaces, and in Theorem 1.4 seminormed algebras. Condition (b) relates generally to the representations between seminormed spaces and seminormed algebras. The inequalities formulated in this way are proved in Corollaries 1.2 and 1.5. In this paper we consider the following generalization of the convexity in seminormed algebras. , where
,   
for
,  
is the norm in
, and
is a real number.
In order to justify our study, we have provided an example related to real functions of one variable, similar examples can be constructed. This has been used in the geometry of Banach spaces as found in [7, 8]. Similar statements related to functionals in finite-dimensional spaces and countable dimensional spaces have been provided in [9]. These results can be applied in the mentioned areas.
Theorem 1.1.
Let be a seminormed space over
and the nonnegative functional f satisfy the following condition:
(a), for all x,y with
, where
are nondecreasing functions such that
. Then,
(1)there exists , where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F643768/MediaObjects/13660_2010_Article_2208_Equ1_HTML.gif)
(2)the functions and
are convex. Then, if
,
,
,
for
, the inequality
is satisfied.
Proof.
Let , as
. We put
, where
,
,
.
-
(a)
Let
. According to condition (a), we obtain
(1.2)
Knowing that and
are nondecreasing, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F643768/MediaObjects/13660_2010_Article_2208_Equ3_HTML.gif)
where .
There exists in compliance with (1). Therefore
.
If we put the result is
, that is,
.
-
(b)
Let
. Then, in view of (a), we have
(1.4)
Let us consider elements
,
, and we suppose
.
Let , where
, and
,
, as
.
According to condition (a), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F643768/MediaObjects/13660_2010_Article_2208_Equ5_HTML.gif)
where ,
.
Using the principle of induction over , we will probe that
.
We know that , and therefore about
the statement is proved. We assume the assertion about
is correct.
-
(1)
Let
. Then,
, where
is the rest of the sum, and
,
. With condition (2) we have
but
. Setting
and knowing
is nondecreasing function, we obtain
(1.6)
where and
. With the inductive assumption,
, that is,
, that is,
.
-
(2)
Let
. Then
, where
is the rest of the sum, and
,
. According to condition (2), we obtain
. Let us place
, where
, but
and
is a nondecreasing function. Then,
, where
, and
.
Applying the induction, we get .
Corollary 1.2.
Let and
be seminormed spaces over
and
. Then in Theorem 1.1, one replaces condition (a) by condition (b):
, for all
with
, and all the rest of the conditions are satisfied. Then, with
,
,
,
, the inequality
is satisfied.
Proof.
We consider the functional . Then, knowing (b), we conclude that
satisfies Theorem 1.1's conditions and hence the needed inequality.
Example 1.3.
If we put in the conditions of Theorem 1.1, ,
,
,
, and
,
,
, then about
,
,
,
, we will obtain the inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F643768/MediaObjects/13660_2010_Article_2208_Equ7_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F643768/MediaObjects/13660_2010_Article_2208_Equ8_HTML.gif)
Proof.
Let us consider , where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F643768/MediaObjects/13660_2010_Article_2208_Equ9_HTML.gif)
Then, ,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F643768/MediaObjects/13660_2010_Article_2208_Equ10_HTML.gif)
when , that is,
; hence,
. Further, we obtain
. It is obvious that we have a minimum at this point in the interval
.
Then, we obtain , and hence at the same point
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F643768/MediaObjects/13660_2010_Article_2208_Equ11_HTML.gif)
since
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F643768/MediaObjects/13660_2010_Article_2208_Equ12_HTML.gif)
This confirms the assertion.
If we put in the condition of the example, we receive
. Therefore,
, when
,
,
,
.
Theorem 1.4.
Let be a seminormed algebra over R with a unit. The functional
satisfies condition (a):
, for
,
as
, where
are nondecreasing functions such that
.
Besides, the following requirements are fulfilled
(1)There exists , where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F643768/MediaObjects/13660_2010_Article_2208_Equ13_HTML.gif)
(2)The function, and
are convex. Then, if
,  
, one receives the inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F643768/MediaObjects/13660_2010_Article_2208_Equ14_HTML.gif)
Proof.
Let , as
,
.
We put , where
.
-
(a)
Let
. According to condition (a), we have
.
Here, we have , and
,
are nondecreasing.
If ,
, then
, where
.
Then, exist in compliance with (1). Therefore
.
If we put , the result is
, that is,
.
-
(b)
Let
. Then, in view of the fact that (a), we get
(1.15)
Let ,
, as
. Let us put
, where
.
We can accept . Let
and
.
We have , where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F643768/MediaObjects/13660_2010_Article_2208_Equ16_HTML.gif)
Applying the principle of induction over we will prove that
. In view of the fact that was mentioned at the beginning, we get
. Assuming the statement for
holds, we will prove it for
.
-
(1)
Let
.
Putting ,
, we have
where
is the rest of the sum. Using condition (2), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F643768/MediaObjects/13660_2010_Article_2208_Equ17_HTML.gif)
Let , 
.
Since does not decrease, and
, then
, where
,
, and
.
By we denote the unit of the algebra
. According to the inductive suggestion, we obtain
.
-
(2)
Let
.
We set ,
. As (2), we have
, where
is the rest of the sum.
Let ,
.
Since does not decrease, and
, then
, where
,
, and
. According to the induction principle, we obtain
.
Corollary 1.5.
Let be a seminormed algebra above
with a unit, and let
be a seminormed space over
, and
.
Then, if one replaces the condition (a) in Theorem 1.4 by condition (c): , for all
with
, and all the rest of the conditions are satisfied. One denotes by
the norm in
, and the norm in
with
. Then if
,
one receives the inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F643768/MediaObjects/13660_2010_Article_2208_Equ18_HTML.gif)
Proof.
We consider the functional . Then, knowing (c), we get that
satisfies Theorem 1.1's conditions and hence the needed inequality.
References
Altin Y, Et M, Tripathy BC: The sequence space on seminormed spaces. Applied Mathematics and Computation 2004, 154(2):423–430. 10.1016/S0096-3003(03)00722-7
Tripathy BC, Altin Y, Et M: Generalized difference sequence spaces on seminormed space defined by Orlicz functions. Mathematica Slovaca 2008, 58(3):315–324. 10.2478/s12175-008-0077-0
Tripathy BC, Sarma B: Sequence spaces of fuzzy real numbers defined by Orlicz functions. Mathematica Slovaca 2008, 58(5):621–628. 10.2478/s12175-008-0097-9
Tripathy BC, Sarma B: Vector valued double sequence spaces defined by Orlicz function. Mathematica Slovaca 2009, 59(6):767–776. 10.2478/s12175-009-0162-z
Chandra P, Tripathy BC: On generalised Köthe-Toeplitz duals of some sequence spaces. Indian Journal of Pure and Applied Mathematics 2002, 33(8):1301–1306.
Tripathy BC, Mahanta S: On a class of generalized lacunary difference sequence spaces defined by Orlicz functions. Acta Mathematicae Applicatae Sinica 2004, 20(2):231–238. 10.1007/s10255-004-0163-1
Maleev RP, Troyanski SL: On the moduli of convexity and smoothness in Orlicz spaces. Studia Mathematica 1975, 54(2):131–141.
Maleev RP, Troyanski SL: On cotypes of Banach lattices. In Constructive Function Theory. Publishing House of the Slovak Academy of Sciences, Sofia, Bulgaria; 1983:429–441.
Stoyanov TS: Inequalities for convex combinations of functions. Proceedings of the 18th Spring-Conference of the Union of Bulgarian Mathematicians, April 1989, Albena, Bulgaria
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Stoyanov, T. General Convexity of Some Functionals in Seminormed Spaces and Seminormed Algebras. J Inequal Appl 2010, 643768 (2010). https://doi.org/10.1155/2010/643768
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/643768