IHJPAS. 36(1)2023 355 This work is licensed under a Creative Commons Attribution 4.0 International License Quasi Semi and Pseudo Semi (𝑝, 𝐸)-Convexity in Non-Linear Optimization Programming Abstract The class of quasi semi (𝑝, 𝐸)-convex functions and pseudo semi (𝑝, 𝐸)-convex functions are presented in this paper by combining the class of 𝑝-convex functions with the class of quasi semi 𝐸-convex functions and pseudo semi 𝐸-convex functions, respectively. Various non-trivial examples are introduced to illustrate the new functions and show their relationships with (𝑝, 𝐸)- convex functions recently introduced in the literature. Different general properties and characteristics of this class of functions are established. In addition, some optimality properties of generalized non-linear optimization problems are discussed. In this generalized optimization problems, we used, as the objective function, quasi semi (𝑝, 𝐸)-convex (respectively, strictly quasi semi (𝑝, 𝐸)-convex functions and pseudo semi (𝑝, 𝐸)-convex functions), and the constraint set is (𝑝, 𝐸)-convex set. AMS Subject Classification: 46N10, 47N10, 90C48, 90C90, 49K27 Keywords: (𝑝, 𝐸)-convex set, (𝑝, 𝐸)-convex function, quasi semi (𝑝, 𝐸)-convex function, pseudo semi (𝑝, 𝐸)-convex function 1. Introduction and Preliminaries Generalized convexity has drawn the attention of many researchers in recent years due to its vast applications in different areas, especially in optimization and applied sciences (see e.g., [1]- [16]). One of the well-known generalizations of convex sets and convex functions is the class of so-called 𝐸-convex sets and 𝐸-convex functions introduced by [1] where mapping 𝐸: 𝑅𝑛 β†’ 𝑅𝑛 is employed in this type of the generalized convexity. Due to some erroneous appeared in Youness's first paper, a new class of 𝐸-functions called semi 𝐸-convex functions, is introduced by [2], and its properties is studied [3]. This class also includes quasi-semi 𝐸-convex and pseudo semi 𝐸- doi.org/10.30526/36.1. 2928 Article history: Received 18 July 2022, Accepted 31 August 2022, Published in January 2023. Ibn Al-Haitham Journal for Pure and Applied Sciences Journal homepage: jih.uobaghdad.edu.iq Revan Imad Hazim Department of Mathematics , College of Education for Pure Sciences,Ibn Al – Haitham/ University of Baghdad- Iraq. van.emad1203a@ihcoedu.uobaghdad.edu.iqri Saba Naser Majeed Department of Mathematics , College of Education for Pure Sciences,Ibn Al – Haitham/ University of Baghdad- Iraq. saba.n.m@ihcoedu.uobaghdad.edu.iq https://creativecommons.org/licenses/by/4.0/ mailto:rivan.emad1203a@ihcoedu.uobaghdad.edu.iq mailto:saba.n.m@ihcoedu.uobaghdad.edu.iq2 mailto:saba.n.m@ihcoedu.uobaghdad.edu.iq2 IHJPAS. 36(1)2023 356 convex functions. Youness motivated other researchers to extend some concepts from convex analysis into 𝐸-convexity and apply this concept to optimization problems (see, [4], [5], [6], and references therein). Another important recent generalization of convex sets and functions is 𝑝- convex sets [7] and 𝑝-convex functions [8], affecting the actual number 𝑝 ∈ (0,1]. Very recently, [9] presented the class of (𝑝, 𝐸 )-convex sets and (𝑝, 𝐸)-convex functions by combining 𝐸-convex sets (respectively, 𝐸-convex functions) with 𝑝-convex sets (respectively, 𝑝-convex functions). Inspired by the above research works and due to the importance of studying non-convex functions close to the convex in some sense, the class of quasi semi (𝑝, 𝐸)-convex functions and pseudo semi (𝑝, 𝐸)-convex functions is introduced by combining 𝑝-convex functions with quasi semi 𝐸-convex and pseudo semi 𝐸-convex functions, respectively. These non-convex functions enrich the study of many real-life problems which are non-convex in nature by modeling them as optimization problems that are close to convex problems. The paper is presented as follows. The rest of this section contains preliminary material that makes this work self-contained. In section 2, the definitions of quasi semi (𝑝, 𝐸)-convex and pseudo semi (𝑝, 𝐸)-convex functions are presented, and various examples and relations related to the new functions with (𝑝, 𝐸)-convex functions are provided. In section 3, we provide different properties of quasi semi (𝑝, 𝐸)-convex and pseudo semi (𝑝, 𝐸)-convex functions. Section 4 is specified to study some optimality properties of non-linear optimization problems in which the objective function is quasi semi (𝑝, 𝐸)-convex or pseudo semi (𝑝, 𝐸)-convex functions and the constraint set is (𝑝, 𝐸)-convex set. In all the definitions and results throughout this paper, let 𝑝 ∈ (0,1] and 𝑅𝑛 is the 𝑛-dimensional Euclidean space. Assume that 𝐴 is a non-empty subset of 𝑅𝑛, 𝑓: 𝐴 βŠ† 𝑅𝑛 ⟢ 𝑅 be a function, and 𝐸 : 𝑅𝑛 β†’ 𝑅𝑛 is a given mapping. Let us now recall the concepts related to 𝐸-convex set (respectively, 𝐸-convex function) and 𝑝-convex set and function. Definition 1.1. [1], [7] For any π‘₯, 𝑦 ∈ 𝐴, π‘Ÿ, 𝑠 ∈ [0,1], and 𝑝 ∈ (0,1] such that π‘Ÿπ‘ + 𝑠𝑝 = 1. The set 𝐴 is named as 1. 𝐸-convex if π‘ŸπΈ(π‘₯) + (1 βˆ’ π‘Ÿ)𝐸(𝑦) ∈ 𝐴. 2. 𝑝-convex if π‘Ÿπ‘₯ + 𝑠𝑦 ∈ 𝐴. Definition 1.2. [1], [2], [8] For any π‘₯, 𝑦 ∈ 𝐴, π‘Ÿ, 𝑠 ∈ [0,1], and 𝑝 ∈ (0,1] such that π‘Ÿπ‘ + 𝑠𝑝 = 1. The function 𝑓 is named as 1. 𝐸-π‘π‘œπ‘›π‘£π‘’π‘₯ if 𝐴 is 𝐸-convex set and 𝑓(π‘ŸπΈ(π‘₯) + (1 βˆ’ π‘Ÿ)𝐸(𝑦)) ≀ π‘Ÿπ‘“(𝐸(π‘₯)) + (1 βˆ’ π‘Ÿ)𝑓(𝐸(𝑦)). 2. Quasi semi 𝐸-π‘π‘œπ‘›π‘£π‘’π‘₯ if 𝐴 is 𝐸-convex set and 𝑓(π‘ŸπΈ(π‘₯) + (1 βˆ’ π‘Ÿ)𝐸(𝑦)) ≀ max {𝑓(π‘₯), 𝑓(𝑦)}. 3. Pseudo semi 𝐸-convex on 𝐸-convex set 𝐴 if there exists a strictly positive function 𝑏: 𝑅𝑛 Γ— 𝑅𝑛 ⟢ 𝑅 such that if 𝑓(π‘₯) < 𝑓(𝑦) then 𝑓(π‘ŸπΈ(π‘₯) + (1 βˆ’ π‘Ÿ)𝐸(𝑦)) ≀ 𝑓(𝑦) + π‘Ÿ(π‘Ÿ βˆ’ 1)𝑏(π‘₯, 𝑦), for 0 < π‘Ÿ < 1. 4. 𝑝-convex if 𝐴 is 𝑝-π‘π‘œπ‘›π‘£π‘’π‘₯ set and 𝑓 (π‘Ÿπ‘₯ + s𝑦 ) ≀ π‘Ÿπ‘“(π‘₯) + 𝑠𝑓(𝑦). Very recently, Hazim and Majeed [9] have extended the concepts of 𝐸-convexity and 𝑝- convexity defined above to (𝑝, 𝐸)-convexity as follows. Definition 1.3. [9] The set 𝐴 is called (𝑝, 𝐸)-convex set if for all π‘₯, 𝑦 ∈ 𝐴 and for all π‘Ÿ, 𝑠 ∈ [0,1], 𝑝 ∈ (0,1] such that π‘Ÿπ‘ + 𝑠𝑝 = 1 we have π‘ŸπΈ(π‘₯) + 𝑠𝐸(𝑦) ∈ 𝐴. IHJPAS. 36(1)2023 357 Definition 1.4. [9] For any π‘₯, 𝑦 ∈ 𝐴, π‘Ÿ, 𝑠 ∈ [0,1], and 𝑝 ∈ (0,1] such that π‘Ÿπ‘ + 𝑠𝑝 = 1. The function 𝑓 is named as (𝑝, 𝐸)-π‘π‘œπ‘›π‘£π‘’π‘₯ if 𝐴 is (𝑝, 𝐸)-convex and 𝑓(π‘ŸπΈ(π‘₯) + 𝑠𝐸(𝑦)) ≀ π‘Ÿπ‘“(𝐸(π‘₯)) + 𝑠𝑓(𝐸(𝑦)). Remark 1.5. From the definition of (𝑝, 𝐸)-convexity, one observes that i. In Definition 1.3, if 𝑝 = 1, the definition of 𝐸-convex set is obtained. Also, if 𝐸 = 𝐼 (identity mapping), then 𝐴 is 𝑝-convex set; ii. Likewise, from Definition 1.4, if 𝑝 = 1 we have 𝑓 is 𝐸-convex function and when 𝐸 = 𝐼, then the definition of 𝑓 is 𝑝-convex function is obtained. For the rest of the paper, the next remark is needed. Remark 1.6. 1. The mapping 𝐸(π‘₯) will be written as 𝐸π‘₯. 2. The set 𝐴 is (𝑝, 𝐸) convex set. 2. Quasi Semi and Pseudo Semi (𝑝, 𝐸)-Convex Functions In this section, a new class of functions, which includes quasi semi (𝑝, 𝐸)-convex and pseudo semi (𝑝, 𝐸)-convex functions, is introduced. This class generalizes each of quasi semi 𝐸-convex and pseudo semi 𝐸-convex functions [2]. Some properties and related examples are established for this class. Definition 2.1. The function 𝑓 is named as i. Quasi semi (𝑝, 𝐸)-convex on 𝐴 if 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ {𝑓(π‘₯), 𝑓(𝑦)} , and 𝑓 is strictly quasi semi (𝑝, 𝐸)-convex if 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) < {𝑓(π‘₯), 𝑓(𝑦)} , where π‘Ÿ, 𝑠 ∈ (0,1). ii. Pseudo semi (𝑝, 𝐸)-convex if there exist a strictly positive function 𝑏: 𝑅𝑛 Γ— 𝑅𝑛 β†’ 𝑅 such that if 𝑓(π‘₯) < 𝑓(𝑦) π‘‘β„Žπ‘’π‘› 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ 𝑓(𝑦) + (βˆ’π‘Ÿπ‘ ) 𝑏(π‘₯, 𝑦), for all π‘Ÿ, 𝑠 ∈ (0,1). Remark 2.2. In Definition 2.1(i), if 𝑝 = 1 then 𝑓 turned to be quasi semi 𝐸-convex. Likewise, 𝑓 in Definition 2.1(ii) becomes pseudo semi 𝐸-convex function. Quasi semi and pseudo semi (𝑝, 𝐸)-convex functions are not necessarily (𝑝, 𝐸)-convex function as the following example shows. Example 2.3. Let 𝑓, 𝐸: 𝑅 β†’ 𝑅 π‘ π‘’π‘β„Ž π‘‘β„Žπ‘Žπ‘‘ 𝑓(π‘₯) = { βˆ’3 𝑖𝑓 π‘₯ = 0 1 𝑖𝑓 π‘₯ β‰  0 and 𝐸π‘₯ = { 0 𝑖𝑓 π‘₯ = 0 4 𝑖𝑓 π‘₯ β‰  0 . IHJPAS. 36(1)2023 358 Let π‘₯, 𝑦 ∈ 𝑅, 𝑝 ∈ (0,1] and π‘Ÿ, 𝑠 ∈ [0,1] π‘ π‘’π‘β„Ž π‘‘β„Žπ‘Žπ‘‘ π‘Ÿπ‘ + 𝑠𝑝 = 1. First, we show that 𝑓 is quasi semi (𝑝, 𝐸)-convex and pseudo semi (𝑝, 𝐸)-convex function. For showing 𝑓 is quasi semi (𝑝, 𝐸)- convex, we consider three cases: Case 1: If π‘₯ = 𝑦 = 0 , we get 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) = 𝑓(0) = βˆ’3 = {𝑓(π‘₯), 𝑓(𝑦)} . Case 2: If π‘₯ β‰  0, 𝑦 β‰  0, we get 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) = 𝑓(4π‘Ÿ + 4𝑠) = 1 = {𝑓(π‘₯), 𝑓(𝑦)}. Case 3: If π‘₯ = 0 , 𝑦 β‰  0 , we get 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) = 𝑓(4𝑠) = { βˆ’3 if 𝑠 = 0 1 if 𝑠 β‰  0 (1) ≀ π‘šπ‘Žπ‘₯ {𝑓(π‘₯), 𝑓(𝑦)} = {βˆ’3,1} = 1 . In all cases, 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ π‘šπ‘Žπ‘₯{𝑓(π‘₯), 𝑓(𝑦)} , and hence 𝑓 is quasi semi (𝑝, 𝐸)-convex. From case 3, we get 𝑓(π‘₯) = βˆ’3 < 1 = 𝑓(𝑦). Thus, from (1), one can choose a strictly positive function 𝑏(π‘₯, 𝑦) such that 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ 𝑓(𝑦) + (βˆ’π‘Ÿπ‘ )𝑏(π‘₯, 𝑦) ≀ 𝑓(𝑦) = 1. Thus, 𝑓 is pseudo semi (𝑝, 𝐸)-convex function. Finally, to show that 𝑓 is not ( 1 2 , 𝐸)-convex, take π‘₯ β‰  0, 𝑦 β‰  0 π‘Žπ‘›π‘‘ 𝑝 = 1 2 with 𝑠 = π‘Ÿ = 1 4 . Then, 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) = 1 > π‘Ÿπ‘“(𝐸π‘₯) + 𝑠𝑓(𝐸𝑦) = π‘Ÿπ‘“(4) + 𝑠𝑓(4) = π‘Ÿ + 𝑠 = 1 2 as required. The next example provides (𝑝, 𝐸)-convex function which is neither quasi semi (𝑝, 𝐸)-convex nor pseudo semi (𝑝, 𝐸)-convex. Example 2.4. Let 𝐴 = [βˆ’5, βˆ’βˆž) Γ— [βˆ’5, βˆ’βˆž) βŠ† 𝑅2 and 𝐸: 𝑅2β†’ 𝑅2 such that 𝐸(π‘₯1, π‘₯2) = { ((π‘₯1 + 1) 2 , (π‘₯2 + 1) 2) if π‘₯1, π‘₯2 < 0 (0,0) o. w. Define 𝑓: 𝑅2 β†’ 𝑅 such that 𝑓(π‘₯1, π‘₯2) = { π‘₯1+π‘₯2 3 if π‘₯1, π‘₯2 < 0 0 o. w. First, we show that 𝐴 is (𝑝, 𝐸)-convex set. Let π‘₯ = (π‘₯1, π‘₯2), 𝑦 = (𝑦1, 𝑦2) ∈ 𝐴. If π‘₯1, π‘₯2, 𝑦1, 𝑦2 < 0 then π‘ŸπΈ(π‘₯1, π‘₯2) + 𝑠𝐸(𝑦1, 𝑦2) = ( π‘Ÿ(π‘₯1 + 1) 2 + 𝑠(𝑦1 + 1) 2, π‘Ÿ(π‘₯2 + 1) 2 + 𝑠(𝑦2 + 1) 2) ∈ [0, +∞) Γ— [0, +∞) βŠ† 𝐴. Similarly, if 𝐸π‘₯ = 𝐸𝑦 = (0,0) then π‘ŸπΈ(π‘₯1, π‘₯2) + 𝑠𝐸(𝑦1, 𝑦2) = (0,0) ∈ 𝐴. Thus, 𝐴 is (𝑝, 𝐸)-convex set. To show that 𝑓 is (𝑝, 𝐸)-convex function on 𝐴, let π‘₯ = (π‘₯1, π‘₯2), 𝑦 = (𝑦1, 𝑦2) ∈ 𝐴. If π‘₯1, π‘₯2, 𝑦1, 𝑦2 < 0, then 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) = 0 = π‘Ÿπ‘“(𝐸π‘₯) + 𝑠𝑓(𝐸𝑦). Similarly, 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) = π‘Ÿπ‘“(𝐸π‘₯) + 𝑠𝑓(𝐸𝑦) βˆ€π‘₯, 𝑦 ∈ 𝐴. Hence, 𝑓 is (𝑝, 𝐸)-convex function as required. Now, take π‘₯ = ( βˆ’1 2 , βˆ’1 2 ), 𝑦 = ( βˆ’1 4 , βˆ’1 4 ), π‘Ÿ = 𝑠 = 1 4 and 𝑝 = 1 2 . Then, 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) = 𝑓 (π‘Ÿ ( 1 4 , 1 4 ) + 𝑠 ( 9 16 , 9 16 )) = 0 > max {βˆ’ 1 3 , βˆ’ 1 6 } = βˆ’ 1 6 . IHJPAS. 36(1)2023 359 Also, 𝑓(π‘₯) < 𝑓(𝑦) and 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) = 0 > 𝑓(𝑦) + (βˆ’π‘Ÿπ‘ )𝑏(π‘₯, 𝑦) = βˆ’ 1 6 + (βˆ’ 1 16 ) 𝑏(π‘₯, 𝑦), for a strictly positive function 𝑏(π‘₯, 𝑦). Hence, 𝑓 is neither quasi semi ( 1 2 , 𝐸)-convex nor pseudo semi ( 1 2 , 𝐸)-convex. The relation between pseudo semi (𝑝, 𝐸)- convex function and quasi semi (𝑝, 𝐸)-convex functions are given in the next proposition and example. Proposition 2.5. Every pseudo semi (𝑝, 𝐸)- convex function on 𝐴 is quasi semi (𝑝, 𝐸)- convex. Proof. Let π‘₯, 𝑦 ∈ 𝐴 such that 𝑓(π‘₯) < 𝑓(𝑦). Since 𝑓 is pseudo semi (𝑝, 𝐸)- convex, then we have 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ 𝑓(𝑦) + (βˆ’π‘Ÿπ‘ )𝑏(π‘₯, 𝑦) ≀ 𝑓(𝑦) = π‘šπ‘Žπ‘₯ {𝑓(π‘₯), 𝑓(𝑦)}. β–  Example 2.6. Let 𝐴 = { π‘₯ = (π‘₯1, … , π‘₯𝑛 ) ∈ 𝑅 𝑛: βˆ‘ |π‘₯𝑖 | 1 2 𝑛 𝑖=1 ≀ 1 }, and 𝐸: 𝑅 𝑛→ 𝑅𝑛 such that 𝐸(π‘₯) = 𝐸(π‘₯1, … , π‘₯𝑛 ) = ( π‘₯1 2 , … , π‘₯𝑛 2 ) for all π‘₯ ∈ 𝑅𝑛. Define 𝑓: 𝑅𝑛 β†’ 𝑅 π‘ π‘’π‘β„Ž π‘‘β„Žπ‘Žπ‘‘ 𝑓(π‘₯) = { βˆ’1 if π‘₯𝑖 = 0 βˆ€π‘– = 1, … , 𝑛 0 o. w. From [9, Example 2.4], the set 𝐴 is ( 1 2 , 𝐸)-convex. Next, we show that 𝑓 is quasi semi ( 1 2 , 𝐸)- convex function on 𝐴. To this end, let π‘₯, 𝑦 ∈ 𝐴 and we consider three cases: Case 1: If π‘₯𝑖 = 𝑦𝑖 = 0 βˆ€π‘– = 1, … , 𝑛, then 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) = 𝑓(0, … ,0) = βˆ’1 = {𝑓(π‘₯), 𝑓(𝑦)} . Case 2: If π‘₯𝑖 β‰  0 βˆ€π‘– = 1, … , 𝑛 and 𝑦𝑖 β‰  0 for some 𝑖 = 1, … , 𝑛. 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) = { βˆ’1 if π‘Ÿ π‘₯𝑖 2 + 𝑠 𝑦𝑖 2 = 0 βˆ€π‘– = 1, … , 𝑛 0 o. w. ≀ π‘šπ‘Žπ‘₯{𝑓(π‘₯), 𝑓(𝑦)} = 0 . Case 3: If π‘₯𝑖 β‰  0 and 𝑦𝑖 = 0 for some 𝑖 = 1, … , 𝑛. 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) = 0 = π‘šπ‘Žπ‘₯{𝑓(π‘₯), 𝑓(𝑦)} . From all cases, we have 𝑓 is quasi semi ( 1 2 , 𝐸)-convex function on 𝐴. To show 𝑓 is not pseudo semi ( 1 2 , 𝐸)-convex function on 𝐴, 𝑑ake π‘₯ = (0, … ,1), 𝑦 = (0, … ,0) such that 𝑓(π‘₯) < 𝑓(𝑦). Let π‘Ÿ = 𝑠 = 1 4 then there exist strictly positive function 𝑏(π‘₯, 𝑦) = 3 such that 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) = 𝑓(π‘ŸπΈ(0, … ,1), +𝑠𝐸(0, … ,0)) = 𝑓 (0, … , 1 2 𝑠) = 0 > 𝑓(𝑦) + (βˆ’π‘Ÿπ‘ )𝑏(π‘₯, 𝑦) = βˆ’1 βˆ’ 3 16 = βˆ’ 19 16 Hence, 𝑓is not pseudo semi (𝑝, 𝐸)-convex. IHJPAS. 36(1)2023 360 Proposition 2.7. The function 𝑓 is quasi semi (𝑝, 𝐸)-convex on 𝐴 if and only if the level set 𝐾𝑛 = {π‘₯ ∈ 𝐴: 𝑓(π‘₯) ≀ 𝑛} is (𝑝, 𝐸)-convex set for all 𝑛 ∈ 𝑅. Proof. Let 𝑓 is quasi semi (𝑝, 𝐸)-convex on (𝑝, 𝐸)-convex set 𝐴. Then, for any π‘₯, 𝑦 ∈ 𝐾𝑛, we have π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦 ∈ 𝐴 , 𝑓(π‘₯) ≀ 𝑛, 𝑓(𝑦) ≀ 𝑛, and 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ π‘šπ‘Žπ‘₯{𝑓(π‘₯), 𝑓(𝑦)} ≀ 𝑛. It follows that π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦 ∈ 𝐾𝑛. Conversely suppose that 𝐾𝑛 is (𝑝, 𝐸)-convex for all 𝑛 ∈ 𝑅. Let 𝑛 = π‘šπ‘Žπ‘₯{𝑓(π‘₯), 𝑓(𝑦)} . Since 𝐴 is (𝑝, 𝐸)-convex set then π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦 ∈ 𝐴 and 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ 𝑛 = π‘šπ‘Žπ‘₯{𝑓(π‘₯), 𝑓(𝑦)} . Hence, 𝑓 is quasi semi (𝑝, 𝐸)-convex on 𝐴. β–  Proposition 2.8. If 𝑓 is pseudo semi (𝑝, 𝐸)-convex function on 𝐴 then the level set 𝐾𝑛 is (𝑝, 𝐸)- convex set. Proof. let π‘₯, 𝑦 ∈ 𝐾𝑛. We show that π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦 ∈ 𝐾𝑛. Now, since 𝑓 is pseudo semi (𝑝, 𝐸)-convex. Then, we have a strictly positive function 𝑏(π‘₯, 𝑦) such that if 𝑓(π‘₯) < 𝑓(𝑦) then 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ 𝑓(𝑦) + (βˆ’π‘Ÿπ‘ )𝑏(π‘₯, 𝑦) ≀ 𝑓(𝑦). Hence, 𝐾𝛼 is (𝑝, 𝐸)-convex set. β–  The converse of the proceeding proposition does not satisfy as it is clarified in the next example. Example 2.9. Let 𝑓, 𝐸: 𝑅 β†’ 𝑅 such that 𝑓(π‘₯) = { 1 if π‘₯ ∈ [0, ∞) βˆ’1 if π‘₯ ∈ [βˆ’βˆž, 0) and 𝐸(π‘₯) = { π‘₯2 if π‘₯ β‰₯ 0 βˆ’π‘₯2 if π‘₯ < 0 Then, for any 𝑛 ∈ 𝑅, the level set 𝐾𝑛 = { [βˆ’βˆž, 0) if 𝑛 ∈ [0,1) ℝ if 𝑛 β‰₯ 1 To show that 𝐾𝑛 is (𝑝, 𝐸)-convex set, we consider the following cases: Case 1: If 𝐾𝑛= 𝑅 (i.e., 𝑛 β‰₯ 1) then, π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦 ∈ 𝐾𝑛 for all π‘₯, 𝑦 ∈ 𝐾𝑛. Hence, 𝐾𝑛 is (𝑝, 𝐸)-convex set. Case 2: If 𝐾𝑛= [βˆ’βˆž, 0) for 𝑛 ∈ [0,1). Then, 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) = 𝑓(βˆ’π‘Ÿπ‘₯ 2 βˆ’ 𝑠𝑦2) = βˆ’1 ≀ 𝑛 for all π‘₯, 𝑦 ∈ 𝐾𝑛. Thus, π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦 ∈ 𝐾𝑛 which yields the (𝑝, 𝐸)-convexity of 𝐾𝑛. From both cases, we obtain the (𝑝, 𝐸)-convexity of 𝐾𝑛. To confirm that 𝑓 is not pseudo semi (𝑝, 𝐸)-convex function. Let π‘₯ = βˆ’1, 𝑦 = 1, π‘Ÿ = 𝑠 = 1 4 , and 𝑝 = 1 2 then 𝑓(π‘₯) < 𝑓(𝑦) and there exists 𝑏(π‘₯, 𝑦) = 3 > 0 such that 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) = 𝑓 (βˆ’ 1 4 π‘₯2 + 1 4 𝑦2) = 𝑓(0) = 1 > 𝑓(𝑦) + (βˆ’π‘Ÿπ‘ )𝑏(π‘₯, 𝑦) = 𝑓(1) + (βˆ’ 1 16 ) (3) = 13 16 IHJPAS. 36(1)2023 361 Hence, 𝑓 is not a pseudo semi (𝑝, 𝐸)-convex function. 3. Some Properties of Quasi Semi and Pseudo Semi (𝑝, 𝐸)-Convex Functions In this section, we discuss some properties of quasi semi (𝑝, 𝐸)-convex and pseudo semi (𝑝, 𝐸)- convex functions. We start first by showing that the increasing quasi semi (𝑝, 𝐸)-convex functions (respectively, strictly increasing pseudo quasi semi (𝑝, 𝐸)-convex) functions defined on 𝐴 βŠ† 𝑅 are closed under addition and nonnegative scalar multiplication. Proposition 3.1. Let 𝑓, 𝑔: 𝐴 βŠ† 𝑅 ⟢ 𝑅 are two increasing quasi semi (𝑝, 𝐸)-convex functions on 𝐴. Then, 𝛼𝑓 + 𝛽𝑔 is increasing quasi semi (𝑝, 𝐸)-convex function for all 𝛼, 𝛽 β‰₯ 0 . Proof. Let π‘₯, 𝑦 ∈ 𝐴 then either π‘₯ ≀ 𝑦 or 𝑦 ≀ π‘₯. If π‘₯ ≀ 𝑦 and 𝑓 and 𝑔 are increasing functions, then 𝑓(π‘₯) ≀ 𝑓(𝑦) and 𝑔(π‘₯) ≀ 𝑔(𝑦) which yield π‘šπ‘Žπ‘₯ {(𝛼𝑓 + 𝛽𝑔)(π‘₯), (𝛼𝑓 + 𝛽𝑔)(𝑦)} = (𝛼𝑓 + 𝛽𝑔)(𝑦) (2) Hence, 𝛼𝑓 + 𝛽𝑔 is increasing function. Let 𝑧 = π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦 ∈ 𝐴. Then (𝛼𝑓 + 𝛽𝑔 )(𝑧) = 𝛼𝑓(𝑧) + 𝛽𝑔(𝑧) ≀ 𝛼 π‘šπ‘Žπ‘₯{𝑓(π‘₯), 𝑓(𝑦)} + 𝛽 π‘šπ‘Žπ‘₯{𝑔(π‘₯), 𝑔(𝑦)} = 𝛼 𝑓(𝑦) + 𝛽𝑔(𝑦) = (𝛼𝑓 + 𝛽𝑔)(𝑦) = π‘šπ‘Žπ‘₯{(𝛼𝑓 + 𝛽𝑔)(π‘₯), (𝛼𝑓 + 𝛽𝑔)(𝑦)} , where the last conclusion follows from (2). Hence, 𝛼𝑓 + 𝛽𝑔 is increasing quasi semi (𝑝, 𝐸)- convex function. If 𝑦 ≀ π‘₯ , we proceed similarly to obtain the required conclusion. β–  Proposition 3.2. Let 𝑓, 𝑔: 𝐴 βŠ† 𝑅 ⟢ 𝑅 are strictly increasing pseudo semi (𝑝, 𝐸)-convex on 𝐴.Then, for all 𝛼, 𝛽 β‰₯ 0, 𝛼𝑓 + 𝛽𝑔 is strictly increasing pseudo semi (𝑝, 𝐸)-convex on 𝐴. Proof. From the definition of 𝑓 and 𝑔 we have, if 𝑓(π‘₯) < 𝑓(𝑦) and 𝑔(π‘₯) < 𝑔(𝑦) then then there exist 𝑏1, 𝑏2: 𝑅 𝑛 Γ— 𝑅𝑛 β†’ 𝑅 such that (𝛼𝑓 + 𝛽𝑔)(π‘₯) < (𝛼𝑓 + 𝛽𝑔)(𝑦), (3) Thus, 𝛼𝑓 + 𝛽𝑔 is strictly increasing. Let 𝑧 = π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦 ∈ 𝐴 then 𝑓(𝑧) ≀ 𝑓(𝑦) + (βˆ’π‘Ÿπ‘ ) 𝑏1(π‘₯, 𝑦) and 𝑔(𝑧) ≀ 𝑔(𝑦) + (βˆ’π‘Ÿπ‘ ) 𝑏2(π‘₯, 𝑦). Now, (𝛼𝑓 + 𝛽𝑔)(𝑧) = 𝛼 𝑓( 𝑧) + 𝛽𝑔(𝑧) ≀ 𝛼 (𝑓(𝑦) + (βˆ’π‘Ÿπ‘ )𝑏1(π‘₯, 𝑦)) + 𝛽(𝑔(𝑦) + (βˆ’π‘Ÿπ‘ )𝑏2(π‘₯, 𝑦)) = (𝛼𝑓 + 𝛽𝑔)(𝑦) + (βˆ’π‘Ÿπ‘ )[𝑏1(π‘₯, 𝑦) + 𝑏2(π‘₯, 𝑦)] = (𝛼𝑓 + 𝛽𝑔)(𝑦) + (βˆ’π‘Ÿπ‘ ) 𝑏(π‘₯, 𝑦), (4) where 𝑏(π‘₯, 𝑦) = 𝑏1(π‘₯, 𝑦) + 𝑏2(π‘₯, 𝑦). Since 𝑏1 and 𝑏2 are strictly positive functions, then 𝑏(π‘₯, 𝑦) is strictly positive. From (3) and (4), we obtain the required conclusion. β–  Next, we show the supremum property of an arbitrary non-empty finite collection of quasi semi (𝑝, 𝐸)-convex functions. Proposition 3.3. Let 𝑓𝑖 : 𝑅 ⟢ 𝑅 be bounded from above increasing quasi semi (𝑝, 𝐸)-convex functions for each 𝑖 ∈ 𝛬 = {1, … , 𝑛}. Define, 𝑓: 𝑅𝑛 ⟢ 𝑅 such that 𝑓 = π‘ π‘’π‘π‘–βˆˆπ›¬ 𝑓𝑖 . Then 𝑓 is quasi semi (𝑝, 𝐸)-convex. Proof. Let π‘₯, 𝑦 ∈ 𝑅 such that π‘₯ ≀ 𝑦 and 𝑓𝑖 is quasi semi (𝑝, 𝐸)-convex for each 𝑖 ∈ 𝛬 = {1, … , 𝑛}. Then, 𝑓𝑖 (π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ {𝑓𝑖 (π‘₯), 𝑓𝑖 (𝑦)} = 𝑓𝑖 (𝑦) for each 𝑖 ∈ 𝛬. Applying the supremum for the both sides of the above inequality respectively, we get π‘ π‘’π‘π‘–βˆˆπ›¬ 𝑓𝑖 (π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ π‘ π‘’π‘π‘–βˆˆπ›¬ {{𝑓𝑖 (π‘₯), 𝑓𝑖 (𝑦)} }, IHJPAS. 36(1)2023 362 𝑓((π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ π‘ π‘’π‘π‘–βˆˆπ›¬ 𝑓𝑖 (𝑦) = 𝑓(𝑦) = π‘šπ‘Žπ‘₯ {𝑓(π‘₯), 𝑓(𝑦)}. The last inequalities yields 𝑓 is quasi semi (𝑝, 𝐸)-convex. If 𝑦 ≀ π‘₯ , we proceed similarly to obtain the required conclusion β–  Two composite properties are held for quasi semi (respectively, pseudo semi) (𝑝, 𝐸)-convex functions as shown next. Proposition 3.4. Let 𝑓:𝐴 βŠ† 𝑅𝑛 ⟢ 𝑅 and 𝐺: 𝑅 ⟢ 𝑅 is an increasing function. Then i. If 𝑓 is quasi semi (𝑝, 𝐸)-π‘π‘œπ‘›π‘£π‘’π‘₯ on 𝐴, then π‘”π‘œπ‘“ ∢ 𝐴 β†’ 𝑅 is quasi semi (𝑝, 𝐸)-convex function. ii. If 𝑓 is pseudo semi (𝑝, 𝐸)-π‘π‘œπ‘›π‘£π‘’π‘₯ on 𝐴 and 𝐺 is sublinear and strictly positive, then π‘”π‘œπ‘“ ∢ 𝐴 β†’ 𝑅 is pseudo semi (𝑝, 𝐸)-convex function. Proof. Let us show (i). Let π‘₯, 𝑦 ∈ 𝐴 and 𝑓 is quasi semi (𝑝, 𝐸)-convex on 𝐴, then π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦 ∈ 𝐴 and 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ π‘šπ‘Žπ‘₯{𝑓(π‘₯), 𝑓(𝑦)} . Since 𝐺 is an increasing function then, 𝐺(𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ π‘šπ‘Žπ‘₯{𝑓(π‘₯), 𝑓(𝑦)}) . That is, (πΊπ‘œπ‘“)(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ π‘šπ‘Žπ‘₯{𝐺(𝑓(π‘₯)), 𝐺(𝑓(𝑦))} = π‘šπ‘Žπ‘₯{ (πΊπ‘œπ‘“)(π‘₯), (πΊπ‘œπ‘“)(𝑦} . Hence, πΊπ‘œπ‘“ is quasi semi (𝑝, 𝐸)-convex on 𝐴. For proving (ii), if 𝑓(π‘₯) < 𝑓(𝑦) then 𝑓(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ 𝑓(𝑦) + (βˆ’π‘Ÿπ‘ )𝑏(π‘₯, 𝑦). Since 𝐺 is an increasing function, then, using the last expression, if (πΊπ‘œπ‘“)(π‘₯) < (πΊπ‘œπ‘“)(𝑦) we get (πΊπ‘œπ‘“)(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ 𝐺[𝑓(𝑦) + (βˆ’π‘Ÿπ‘ )𝑏(π‘₯, 𝑦)]. From the assumption, 𝐺 is a sublinear mapping. Thus, the last inequality yields, (πΊπ‘œπ‘“)(π‘ŸπΈπ‘₯ + 𝑠𝐸𝑦) ≀ (πΊπ‘œπ‘“)(𝑦) + (βˆ’π‘Ÿπ‘ )(πΊπ‘œπ‘)(π‘₯, 𝑦). Since 𝐺 and 𝑏 are strictly positive functions, then (πΊπ‘œπ‘)(π‘₯, 𝑦) is strictly positive. Hence, we obtain the required conclusion. β–  Proposition 3.5. Let 𝑔: 𝐴 βŠ† 𝑅𝑛 β†’ 𝑅𝑛 be a linear mapping such that πΈπ‘œπ‘” = π‘”π‘œπΈ. Assume also that 𝑓: 𝑉 βŠ† 𝑅𝑛 β†’ 𝑅 such that 𝑉 = 𝑔(𝐴). Then i. If 𝑓 quasi semi (𝑝, 𝐸)-convex function, then π‘“π‘œπ‘”: 𝐴 β†’ 𝑅 is quasi semi (𝑝, 𝐸)-convex function. ii. If 𝑓 pseudo semi (𝑝, 𝐸)-convex function, then π‘“π‘œπ‘”: 𝐴 β†’ 𝑅 is pseudo semi (𝑝, 𝐸)-convex function. Proof. Let π‘₯, 𝑦 ∈ 𝐴 then π‘ŸπΈπ‘₯ + 𝑠 𝐸𝑦 ∈ 𝐴. For proving (i), we need to show that (π‘“π‘œπ‘”)(π‘ŸπΈπ‘₯ + 𝑠 𝐸𝑦) ≀ π‘šπ‘Žπ‘₯{𝑓(𝑔(π‘₯)) , 𝑓(𝑔(𝑦))} . Now, from the linearity of 𝑔 and the fact that πΈπ‘œπ‘” = π‘”π‘œπΈ, we have (π‘“π‘œπ‘”)(π‘ŸπΈπ‘₯ + 𝑠 𝐸𝑦) = 𝑓(π‘Ÿ 𝑔(𝐸π‘₯) + 𝑠 𝑔(𝐸𝑦)) = 𝑓(π‘Ÿ (π‘”π‘œπΈ)(π‘₯) + 𝑠(π‘”π‘œπΈ)(𝑦)) = 𝑓(π‘Ÿ(πΈπ‘œπ‘”)(π‘₯) + 𝑠(πΈπ‘œπ‘”)(𝑦)) = 𝑓 (π‘Ÿ (𝐸(𝑔(π‘₯))) + 𝑠 (𝐸(𝑔(𝑦)))). (5) Note that, since π‘₯, 𝑦 ∈ 𝐴 then 𝑔(π‘₯), 𝑔(𝑦) ∈ 𝑉 = 𝑔(𝐴). Also, we have 𝑉 = 𝑔(𝐴) is (𝑝, 𝐸)- convex set (see [9, Proposition 2.11]) thus π‘Ÿ (𝐸(𝑔(π‘₯))) + 𝑠 (𝐸(𝑔(𝑦))) ∈ 𝑉. (6) IHJPAS. 36(1)2023 363 From (5)-(6) and the fact that 𝑓 is quasi semi (𝑝, 𝐸)-convex function, we get (π‘“π‘œπ‘”)(π‘ŸπΈπ‘₯ + 𝑠 𝐸𝑦) ≀ π‘šπ‘Žπ‘₯{𝑓(𝑔(π‘₯)), 𝑓(𝑔(𝑦))} = π‘šπ‘Žπ‘₯{(π‘“π‘œπ‘”)(π‘₯), (π‘“π‘œπ‘”)(𝑦)} . Hence, π‘“π‘œπ‘” is quasi semi (𝑝, 𝐸)-convex. Let us prove (ii), from the assumption π‘₯, 𝑦 ∈ 𝐴, 𝑔(π‘₯), 𝑔(𝑦) ∈ 𝑉 = 𝑔(𝐴), and 𝑓 is pseudo semi (𝑝, 𝐸)-convex function. Hence, 𝑓(𝑔(π‘₯)) < 𝑓(𝑔(𝑦)) (7) Again, we follow the steps of the proof of (i) to obtain the equality (5). Namely, (π‘“π‘œπ‘”)(π‘ŸπΈπ‘₯ + 𝑠 𝐸𝑦) = 𝑓 (π‘Ÿ (𝐸(𝑔(π‘₯))) + 𝑠 (𝐸(𝑔(𝑦)))) From definition of 𝑓 there exist strictly positive 𝑏: 𝑅𝑛 Γ— 𝑅𝑛 β†’ 𝑅 such that the right-hand side expression above yields ≀ 𝑓(𝑔(𝑦)) + (βˆ’π‘Ÿπ‘ ) 𝑏(π‘₯, 𝑦) = (π‘“π‘œπ‘”)(𝑦) + (βˆ’π‘Ÿπ‘ )𝑏(π‘₯, 𝑦) (8) Thus, from (7) and (8), π‘“π‘œπ‘” is pseudo semi (𝑝, 𝐸)-convex function. β–  4. Applications to Non-Linear Optimization Programming In this section, a non-linear optimization programming problem denoted by (𝑁𝐿𝑃) and is defined as 𝑓(π‘₯) subject to π‘₯ ∈ 𝐴, where 𝐴 is (𝑝, 𝐸)-convex. The set of all optimal solutions (or global minimum) of problem (𝑁𝐿𝑃) is defined as π‘Žπ‘Ÿπ‘”π‘šπ‘–π‘›π΄ 𝑓= {π‘₯ βˆ— ∈ 𝐴: 𝑓(π‘₯ βˆ—) ≀ 𝑓(π‘₯) for all ∈ 𝐴 }. A point π‘₯ βˆ— is called a local minimizer for problem (𝑁𝐿𝑃) if there exists 𝛿 > 0 such that 𝑓(π‘₯βˆ—) ≀ 𝑓(π‘₯) for all π‘₯ ∈ 𝐡(π‘₯βˆ—, 𝛿) ∩ 𝐴 where 𝐡 𝛿 (π‘₯ βˆ—) is an open ball. The following optimality properties are satisfied under different conditions for the objective function 𝑓 and the mapping 𝐸. Proposition 4.1. Let 𝑓 is pseudo semi (𝑝, 𝐸)-convex function. Then, every local minimum π‘₯ βˆ— = 𝐸(π‘₯ βˆ—) ∈ 𝐸(𝐴) of problem (𝑁𝐿𝑃) is a global minimum. Proof. Suppose π‘₯βˆ— = 𝐸(π‘₯ βˆ—) is not global minimum, then there exists 𝑒 ∈ 𝐴 with 𝑓(𝑒) < 𝑓(π‘₯βˆ—) = 𝑓(𝐸π‘₯ βˆ—). From the assumptions on 𝑓, we have for all π‘Ÿ, 𝑠 ∈ [0,1] with π‘Ÿπ‘ + 𝑠𝑝 = 1 (𝑖. 𝑒. , 𝑠 = (1 βˆ’ π‘Ÿπ‘) 1 𝑝 ), if 𝑓(𝑒) < 𝑓(π‘₯ βˆ—). then , we have 𝑓(π‘ŸπΈπ‘’ + 𝑠𝐸π‘₯ βˆ—) ≀ 𝑓(π‘₯βˆ—) + (βˆ’π‘Ÿπ‘ )𝑏(π‘₯βˆ—, 𝑒). Now, if 𝑓(π‘₯βˆ—) ≀ 0 or 𝑓(π‘₯βˆ—) β‰₯ 0. then we have 𝑓(π‘ŸπΈπ‘’ + 𝑠𝐸π‘₯ βˆ—) ≀ 𝑓(π‘₯βˆ—) + (βˆ’π‘Ÿπ‘ )𝑏(π‘₯βˆ—, 𝑒) ≀ 𝑓(π‘₯ βˆ—). (9) Now, for sufficiently small, π‘Ÿ ∈ (0,1]) then π‘ŸπΈπ‘’ + (1 βˆ’ π‘Ÿπ‘) 1 𝑝π‘₯βˆ— will be close enough to π‘₯ βˆ—. i.e., there exists 𝛿 > 0 such that π‘ŸπΈπ‘’ + (1 βˆ’ π‘Ÿπ‘) 1 𝑝π‘₯βˆ— ∈ 𝐡 𝛿 (π‘₯ βˆ—) ∩ 𝐴. From the local minimality of π‘₯ βˆ—, one obtains 𝑓(π‘₯βˆ—) ≀ 𝑓(π‘ŸπΈπ‘’ + (1 βˆ’ π‘Ÿπ‘) 1 𝑝π‘₯βˆ—) which contradicts (9). Thus, π‘₯ βˆ— is a global minimum. β–  Proposition 4.2. let 𝑓 is quasi semi (𝑝, 𝐸)-convex function. Then every local minimum π‘₯βˆ— = 𝐸(π‘₯ βˆ—) ∈ 𝐸(𝐴) of problem (𝑁𝐿𝑃) is a global minimum. IHJPAS. 36(1)2023 364 Proof. Suppose π‘₯βˆ— = 𝐸(π‘₯ βˆ—) is not global minimum, then there exists 𝑒 ∈ 𝐴 with 𝑓(𝑒) < 𝑓(π‘₯βˆ—) = 𝑓(𝐸π‘₯ βˆ—). From the assumptions on 𝑓, we have for all π‘Ÿ, 𝑠 ∈ [0,1] with π‘Ÿπ‘ + 𝑠𝑝 = 1 (𝑖. 𝑒. , 𝑠 = (1 βˆ’ π‘Ÿπ‘) 1 𝑝 ). Since 𝑓(𝑒) < 𝑓(π‘₯βˆ—) and 𝑓 is quasi semi (𝑝, 𝐸)-convex then we have 𝑓(π‘ŸπΈπ‘’ + 𝑠𝐸π‘₯ βˆ—) ≀ π‘šπ‘Žπ‘₯{𝑓(𝑒), 𝑓(π‘₯βˆ—)} = 𝑓(π‘₯βˆ—) (10) Now, for sufficiently small, π‘Ÿ ∈ (0,1]) then π‘ŸπΈπ‘’ + (1 βˆ’ π‘Ÿπ‘) 1 𝑝π‘₯βˆ— will be close enough to π‘₯ βˆ—. i.e., there exists 𝛿 > 0 such that π‘Ÿ 𝑒 + (1 βˆ’ π‘Ÿπ‘) 1 𝑝π‘₯βˆ— ∈ 𝐡 𝛿 (π‘₯ βˆ—) ∩ 𝐴. From the local minimality of π‘₯ βˆ—, we have 𝑓(π‘₯βˆ—) ≀ 𝑓(π‘ŸπΈπ‘’ + (1 βˆ’ π‘Ÿπ‘) 1 𝑝π‘₯βˆ—) which contradicts (10). Thus, π‘₯ βˆ— is a global minimum. β–  Remark 4.3. The conclusions of Propositions 4.1 and 4.2 do not hold if the objective function 𝑓 is not quasi semi (𝑝, 𝐸)-convex (respectively, not pseudo semi (𝑝, 𝐸)-convex) function as the following example confirms. Example 4.4. Consider the optimization problem 𝑓(π‘₯, 𝑦) such that (π‘₯, 𝑦) ∈ 𝐴, where 𝐴 = {(π‘₯, 𝑦) ∈ 𝑅2 ∢ |π‘₯| 1 2 + |𝑦| 1 2 ≀ 4} and 𝑓: 𝑅2 β†’ 𝑅 such that 𝑓(π‘₯, 𝑦) = { (𝑦 βˆ’ 1)2 βˆ’ 2 ≀ π‘₯ ≀ 2 (𝑦 βˆ’ 1)2 βˆ’ (2 βˆ’ π‘₯)2 o. w. Define 𝐸: 𝑅2 β†’ 𝑅2 as 𝐸(π‘₯. 𝑦) = (0, 𝑦). Then 𝐴 is ( 1 2 , 𝐸)-convex set, 𝑓 is not quasi semi ( 1 2 , 𝐸)- convex and not pseudo semi ( 1 2 , 𝐸)- convex on 𝐴. To show 𝐴 is ( 1 2 , 𝐸)- convex set, let (π‘₯1, 𝑦1),(π‘₯2, 𝑦2) ∈ 𝐴. Then, |π‘₯1| 1 2 + |𝑦1| 1 2 ≀ 4 and |π‘₯2| 1 2 + |𝑦2| 1 2 ≀ 4. Now, π‘ŸπΈ(π‘₯1, 𝑦1) + 𝑠𝐸(π‘₯2, 𝑦2) = (0, π‘Ÿπ‘¦2 + 𝑠𝑦2). Note that |0| 1 2 + |π‘Ÿπ‘¦1 + 𝑠𝑦2| 1 2 ≀ π‘Ÿ|𝑦1| 1 2 + s|𝑦2| 1 2 ≀ 4(π‘Ÿ + 𝑠) ≀ 4. Hence, 𝐴 is ( 1 2 , 𝐸)-convex set. Next, we show that 𝑓 is not quasi semi ( 1 2 , 𝐸)- convex on 𝐴. Let (2,1), (βˆ’2,1) ∈ 𝐴, and π‘Ÿ = 𝑠 = 1 4 , 𝑝 = 1 2 . Then 𝑓 ( 1 4 𝐸(2,1) + 1 4 𝐸(βˆ’2,1)) = 𝑓 (0, 1 2 ) = 1 4 > π‘šπ‘Žπ‘₯{𝑓(2,1), 𝑓(βˆ’2,1)} = 0. Also, 𝑓 is not pseudo semi ( 1 2 , 𝐸)- convex on 𝐴. To this end, let π‘₯ = (2, 1 2 ) , 𝑦 = (2,1) ∈ 𝐴 and π‘Ÿ = 𝑠 = 1 4 , 𝑝 = 1 2 such that 𝑓(π‘₯) = 1 4 < 𝑓(𝑦) = 0. Then, 𝑓 ( 1 4 𝐸 (2, 1 2 ) + 1 4 𝐸(2,1)) = ( 1 8 + 1 4 βˆ’ 1) 2 = 25 64 > 𝑓(2,1) βˆ’ 1 16 𝑏(π‘₯, 𝑦) = βˆ’ 1 16 𝑏(π‘₯, 𝑦), for any strictly positive function 𝑏(π‘₯, 𝑦). Thus, 𝑓 is not pseudo semi ( 1 2 , 𝐸)- convex on 𝐴 as claimed. Now, take π‘₯0 = (0,1) ∈ 𝐴 such that 𝐸(0,1) = (0,1) and 𝑓(0,1) = 0 ≀ 𝑓(π‘₯, 𝑦) for all IHJPAS. 36(1)2023 365 (π‘₯, 𝑦) ∈ 𝐴 ∩ [βˆ’2,2] Γ— 𝑅. Hence, π‘₯0 = (0,1) is a local minimum. However, the conclusion of Propositions 4.1 and 4.2 does not satisfy, i.e., π‘₯0 is not a global minimum. Indeed, take = (3,1) ∈ 𝐴 . then 𝑓(3,1) = (1 βˆ’ 1)2 βˆ’ (2 βˆ’ 3)2 = βˆ’1 < 𝑓(π‘₯0) = 0. Proposition 4.5. Let 𝑓 is strictly quasi semi (𝑝, 𝐸)- convex on 𝐴. Then, the global minimum of problem (𝑁𝐿𝑃) is singleton. Proof. Let π‘₯ βˆ—, π‘¦βˆ— be two different global minima of (𝑁𝐿𝑃) then 𝑓(π‘₯βˆ—) = 𝑓(π‘¦βˆ—) ≀ 𝑓(π‘₯) for any π‘₯ ∈ 𝐴. From the assumptions on 𝑓 and 𝐴, we have π‘ŸπΈπ‘₯βˆ— + π‘ πΈπ‘¦βˆ— ∈ 𝐴 and 𝑓(π‘ŸπΈπ‘₯ βˆ— + π‘ πΈπ‘¦βˆ—) < π‘šπ‘Žπ‘₯{𝑓(π‘₯βˆ—), 𝑓(π‘¦βˆ—)} = 𝑓(π‘₯βˆ—). The above inequality yields that π‘ŸπΈπ‘₯ βˆ— + π‘ πΈπ‘¦βˆ— is a global minimum which is a contradiction. Hence, there is a unique global minimum. β–  Proposition 4.6. Let 𝑓 is quasi semi (𝑝, 𝐸)- convex on 𝐴. Then, the set of global minima of problem (𝑁𝐿𝑃) is (𝑝, 𝐸)- convex. Proof. Let π‘₯1 βˆ—, π‘₯2 βˆ— ∈ π‘Žπ‘Ÿπ‘”π‘šπ‘–π‘›π΄π‘“ = {π‘₯ βˆ— ∈ 𝐴: 𝑓(π‘₯βˆ—) ≀ 𝑓(π‘₯) βˆ€π‘₯ ∈ 𝐴} the set of global minima of problem (𝑁𝐿𝑃) we must prove π‘ŸπΈπ‘₯1 βˆ— + 𝑠𝐸π‘₯2 βˆ— ∈ π‘Žπ‘Ÿπ‘”π‘šπ‘–π‘›π΄π‘“. since 𝑓 is quasi semi (𝑝, 𝐸)-convex on the (𝑝, 𝐸)-convex set 𝐴, we have π‘ŸπΈπ‘₯1 βˆ— + 𝑠𝐸π‘₯2 βˆ— ∈ 𝐴 and for each π‘₯ ∈ 𝐴, 𝑓(π‘ŸπΈπ‘₯1 βˆ— + 𝑠𝐸π‘₯2 βˆ—) ≀ π‘šπ‘Žπ‘₯{𝑓(π‘₯1 βˆ—), 𝑓(π‘₯2 βˆ—)} ≀ 𝑓(π‘₯). Therefore, π‘ŸπΈπ‘₯1 βˆ— + 𝑠𝐸π‘₯2 βˆ— ∈ π‘Žπ‘Ÿπ‘”π‘šπ‘–π‘›π΄π‘“ as required. β–  5.Conclusion In this paper, new generalized convex functions (quasi semi (𝑝, 𝐸)-convex, and pseudo semi (𝑝, 𝐸)-convex functions) are defined, and their various general and optimality properties are studied. These functions are a combination of 𝑝-convex and 𝐸-convex functions introduced in the literature. Different examples are established to illustrate these functions and to confirm some properties proved throughout the work. References 1. Youness, E. A. E-Convex Sets, 𝐸-convex Functions, and E-Convex Programming, Journal of Optimization Theory and Applications 1999, 102, 439-450. 2. Chen, X. Some Properties of Semi 𝐸-convex Functions. Journal of Mathematical Analysis and Applications 2002, 275, 251-262. 3.Chen,X. Some Properties of Semi 𝐸-Convex Functions and Semi-𝐸-Convex Programming. The Eighth International Symposium on Operations Research and Its Applications (ISORA'09) 2009, 20-22. 4. Jian, J. B. On (𝐸, 𝐹) Generalized Convexity. International Journal of Mathematical Sciences 2003, 2 (1), 121-132. 5.Abdulmaged, M. I. On Some Generalization of Convex Sets, Convex Functions, and Convex Optimization Problems. MS.c. Thesis, Department of Mathematics, College of Education Ibn AL- Haitham, University of Baghdad, 2018. 6. Syau, Y-R.; Lee. E.S. Some Properties of 𝐸-Convex Functions. Applied Mathematics Letters 2005, 18, 1074-1080. 7.Bayoumi, A.; Fathy, A. 𝑝 -Convex Function in Discrete Sets. International Journal of Engineering and Applied Sciences, 2017, 4 (10), 63 – 66. IHJPAS. 36(1)2023 366 8. Sezer, S.; Zeynep, E.; Gultekin, T.; Gabil, A. 𝑝-Convex Function and Some of Their Properties. Numerical Functional Analysis and Optimization, 2021, 42(4), 443-459. 9.Hazim, R. I.; Majeed, S. N. (𝑝,𝐸)-Convex Sets and (𝑝,𝐸)-Convex Functions with Their Properties, Al-Kadhum 2nd International Conference on Modern Applications of Information and Communication Technology (MAICT 2021), AIP Conference Proceeding, 2022, to appear (Accepted). 10.Fulga, C.; preda, V. Nonlinear Programming with 𝐸-Preinvex and Local 𝐸-Preinvex Functions. European Journal of Operational Research 2009, 192, 737-743. 11.Adilov, G.; Yesilce, I. Some Important Properties of 𝐡-Convex Functions. Journal of Nonlinear Convex Analysis 2018, 19(4), 669–680. 12. Adilov, G.; Yesilce, I. π΅βˆ’1-Convex Functions. Journal of Convex Analysis 2017, 24(2), 505– 517. 13.Majeed, S. N. Strongly and Semi Strongly πΈβ„Ž-𝑏-Vex Functions: Applications to Optimization Problems. Iraqi Journal of Science 2019, 60(9), 2022–2029. 14. Abdulaleem, N. Mixed 𝐸-Duality for 𝐸-Differentiable Vector Optimization Problems Under (Generalized) 𝑉-𝐸-invexity. Operations Research Forum 2021, 2, 1-18. 15. Emam, T. Nonsmooth Semi-Infinite 𝐸-Convex Multi-objective Programming with Support Functions. Journal of Information and Optimization Sciences 2021, 42 , 193–209. 16.Elbrolosy, M. E. Semi-(𝐸, 𝐹)-Convexity in Complex Programming Problems. AIMS Mathematics 2022, 7, 11119-11131.