Research article

Multiplicity of positive periodic solutions of Rayleigh equations with singularities

  • Received: 25 November 2020 Accepted: 09 April 2021 Published: 13 April 2021
  • MSC : 34K13, 34B16

  • The existence of positive periodic solutions of the Rayleigh equations x+f(x)+g(x)=e(t) with singularities is investigated in this paper. Based on the continuation theorem of coincidence degree theory and the method of upper and lower solutions, the multiple periodic solutions of the singular Rayleigh equations can be determined under the weak conditions of the term g. We discuss both the repulsive singular case and the attractive singular case. Some results in the literature are generalized and improved. Moreover, some examples and numerical simulations are given to illustrate our theoretical analysis.

    Citation: Zaitao Liang, Xuemeng Shan, Hui Wei. Multiplicity of positive periodic solutions of Rayleigh equations with singularities[J]. AIMS Mathematics, 2021, 6(6): 6422-6438. doi: 10.3934/math.2021377

    Related Papers:

    [1] Changlin Xu, Yaqing Wen . New measure of circular intuitionistic fuzzy sets and its application in decision making. AIMS Mathematics, 2023, 8(10): 24053-24074. doi: 10.3934/math.20231226
    [2] Dian Pratama, Binyamin Yusoff, Lazim Abdullah, Adem Kilicman . The generalized circular intuitionistic fuzzy set and its operations. AIMS Mathematics, 2023, 8(11): 26758-26781. doi: 10.3934/math.20231370
    [3] Tehreem, Harish Garg, Kinza Ayaz, Walid Emam . Multi attribute decision-making algorithms using Hamacher Choquet-integral operators with complex intuitionistic fuzzy information. AIMS Mathematics, 2024, 9(12): 35860-35884. doi: 10.3934/math.20241700
    [4] Muhammad Qiyas, Neelam Khan, Muhammad Naeem, Saleem Abdullah . Intuitionistic fuzzy credibility Dombi aggregation operators and their application of railway train selection in Pakistan. AIMS Mathematics, 2023, 8(3): 6520-6542. doi: 10.3934/math.2023329
    [5] Wajid Ali, Tanzeela Shaheen, Iftikhar Ul Haq, Hamza Toor, Faraz Akram, Harish Garg, Md. Zia Uddin, Mohammad Mehedi Hassan . Aczel-Alsina-based aggregation operators for intuitionistic hesitant fuzzy set environment and their application to multiple attribute decision-making process. AIMS Mathematics, 2023, 8(8): 18021-18039. doi: 10.3934/math.2023916
    [6] Rana Muhammad Zulqarnain, Xiao Long Xin, Muhammad Saeed . Extension of TOPSIS method under intuitionistic fuzzy hypersoft environment based on correlation coefficient and aggregation operators to solve decision making problem. AIMS Mathematics, 2021, 6(3): 2732-2755. doi: 10.3934/math.2021167
    [7] Shichao Li, Zeeshan Ali, Peide Liu . Prioritized Hamy mean operators based on Dombi t-norm and t-conorm for the complex interval-valued Atanassov-Intuitionistic fuzzy sets and their applications in strategic decision-making problems. AIMS Mathematics, 2025, 10(3): 6589-6635. doi: 10.3934/math.2025302
    [8] Admi Nazra, Jenizon, Yudiantri Asdi, Zulvera . Generalized hesitant intuitionistic fuzzy N-soft sets-first result. AIMS Mathematics, 2022, 7(7): 12650-12670. doi: 10.3934/math.2022700
    [9] Muhammad Jawad, Niat Nigar, Sarka Hoskova-Mayerova, Bijan Davvaz, Muhammad Haris Mateen . Fundamental theorems of group isomorphism under the framework of complex intuitionistic fuzzy set. AIMS Mathematics, 2025, 10(1): 1900-1920. doi: 10.3934/math.2025088
    [10] Atiqe Ur Rahman, Muhammad Saeed, Hamiden Abd El-Wahed Khalifa, Walaa Abdullah Afifi . Decision making algorithmic techniques based on aggregation operations and similarity measures of possibility intuitionistic fuzzy hypersoft sets. AIMS Mathematics, 2022, 7(3): 3866-3895. doi: 10.3934/math.2022214
  • The existence of positive periodic solutions of the Rayleigh equations x+f(x)+g(x)=e(t) with singularities is investigated in this paper. Based on the continuation theorem of coincidence degree theory and the method of upper and lower solutions, the multiple periodic solutions of the singular Rayleigh equations can be determined under the weak conditions of the term g. We discuss both the repulsive singular case and the attractive singular case. Some results in the literature are generalized and improved. Moreover, some examples and numerical simulations are given to illustrate our theoretical analysis.



    Fuzzy set (FS) [1] is designed to handle the problem of uncertainty. It assigns a value from 0 to 1 to an object, where higher value indicates a higher degree of membership, and vice versa. In some cases, representation requires not only the membership degree (M) but also the non-membership degree (N), with the relationship between the two being M+N=1. The development of fuzzy sets led to the concept of intuitionistic fuzzy sets (IFS) [2], introduced in 1983 as an extension of FS. Since then, IFS has been extensively studied and modified. In general, IFS characterizes each element by the degrees of membership and non-membership, with M+N1. Research and development on IFS can be classified into theoretical and applied development. Theoretical development includes algebraic aspects such as subring fuzzy [4], and further advancements in homomorphism intuitionistic fuzzy subrings [5,6]. Additionally, IFS properties have been expanded, including the development of operators based on t-norm and conorm and algebraic laws [7,8], as well as extensions into complex sets [9], distance metrics, similarity, and distance measures [10,11,14], among others. On the other hand, applicative development involves solving decision-making problems using IFS [12,13,15].

    In 1989, the representation of IFS membership and non-membership, initially crisp values (M,N), was extended to interval values, giving rise to what is known as interval-valued IFS (IVIFS)[16]. This set is characterized by the values of M and N being in interval form, with an element in IVIFS represented as an ordered pair of membership and non-membership intervals. Research on IVIFS has delved into various aspects, including basic operations, modal operators, and algebraic laws [17,18], determination of cosine similarity measure based on weighted reduced IFS [19], accuracy and score functions [20], and IVIF-confidence intervals [21]. In application side, there has also been research in decision-making, such as [22], and its integration with the DEMATEL Method combined with Choquet integral [23].

    Atanassov introduced another extension of IFS, distinct from IVIFS, known as circular IFS (CIFS). This set expands upon IFS by considering (M,N) as the center and incorporating the radius as a measure of imprecision. For (M,N) within IFS interpretation triangle (IFIT), the difference between CIFS and IVIFS lies in the form of interpretation, where IVIFS has a rectangle interpretation, and CIFS has a circle interpretation. The CIFS theory is at an early stage of development. Several studies have begun to expand on CIFS; however, most of the research focuses on applications that have previously been carried out on IFS or IVIFS, and not much theoretical research has been done on it. For example, case studies of multi-criteria decision-making (MCDM) [26,28], comparing IVIFS and CIFS for present worth analysis [32], upgrading the TOPSIS method [34], demonstrating CIF-TOPSIS with vague membership functions [27], extending the VIKOR method, design CIF-ELECTRE Ⅲ for group decision analysis [40], develop CIF-TODIM method [43], CIF-EDAS method [44], CIF-PROMETHEE method [45], upgrade CIF-AHP method [46] and integrating with others [36,37]. In terms of theoretical research, some studies have been conducted, such as some distance measures in CIFS [25,33,39], similarity and entropy measures [41], divergence measures for CIFS [35], circular q-rung orthopair fuzzy set theory [3], circular phytagorean fuzzy set [42] and generalized CIFS [38].

    Several studies on CIFS, particularly theoretical ones, have often overlooked the novel characteristics of the radius domain. Aspects such as the range r[0,2], the intrinsic correlation where smaller radius values enhance the clarity of the CIFS information, and the constraints posed by previously defined operators have not been adequately emphasized. Furthermore, certain limitations may have served as motivation for the development of this paper. First, the radius domain, which is in the interval [0,2], makes the operator on the radius not belong to the t-norm or conorm category. In [24] and [25], the operations on radius are limited to min and max. Operators used in fuzzy set structures and their extensions are categorized as t-norm and conorm. It is necessary to have a radius operator that has equivalent properties to the t-norm and conorm operators. The radius operator should also be an interval extension of t-norm and conorm operators. Second, Atanassov [24] proposed basic operations such as union, intersection, algebraic sum, algebraic product, and arithmetic mean in CIFS. Generalization is possible by classifying basic operators into t-norm and conorm. There is a need for the definition of generalized operators from the previously proposed operators. Third, the proposed unary operators such as negation and modal operators in CIFS introduced by Atanassov [24] do not significantly impact radius. The CIFS negation operator produces comparable results to the IFS negation operator, indicating no significant difference between CIFS and IFS. The objectives of this paper are described based on the three problems and constraints:

    (1)To develop new radius operations for CIFS with domain [0,ψ], where ψ[1,2], and justify their properties as well as some special domains.

    (2) To propose generalized union and intersection operators in CIFS, base them on t-norm and t-conorm categories and subsequently verify their properties.

    (3) To identify and propose negation and modal operators based on the radius interval condition, and examine their relationship with the existing operators.

    To accomplish these objectives, we begin with establishing fundamental definitions such as IFS, IVIFS, and CIFS, along with their basic relations and operations in Section 2. Section 3, the generalized intersection and union are introduced based on t-norm (conorm) with conditions of membership, non-membership, and radius in the interval [0,1]. Several algebraic properties have been demonstrated, such as commutative, associative, and De Morgan's laws. Furthermore, the distributive property is proved for special cases namely algebraic sum-product, and arithmetic mean types by modifying the operators on the radius. Section 4 defines the generalized radius operations on the interval [0,ψ], where ψ[1,2], and provides a proof of its algebraic properties. After defining the radius operation, Section 5 introduces another form of the negation operator in CIFS, accompanied by a proof of the De Morgan's law. Finally, the integration of the negation operator with the modal "necessity" and "possibility" operators is discussed, along with an examination of their advanced properties. Conclusions and discussion of further research are given in Section 6.

    In this section, the basic definitions of IFS, IVIFS, and CIFS are provided. Let X be a finite set, any xX, M(x) is defined as membership degree and N(x) is defined as non-membership degree of x.

    Definition 2.1. [2] An Intuitionistic fuzzy set (IFS) A in X is defined as an object of the form:

    A={x,MA(x),NA(x)xX},

    where MA:X[0,1] and NA:X[0,1] and satisfies 0MA(x)+NA(x)1 for every xX.

    Note that, in this case MA(x) and NA(x) are given as a single values in [0,1]. Further extension of this set is when the values of membership and non-membership functions are presented in unit interval [0,1]. For any xX, M(x) is interval of membership degree and N(x) is interval of non-membership degree for x. Let Int([0,1]) are represented as interval in [0,1].

    Definition 2.2. [16] An interval-valued IFS (IVIFS) A in X is defined as an object of the form:

    A={x,MA(x),NA(x)xX},

    where MA:XInt([0,1]) and NA:XInt([0,1]) are defined by MA(x)=[MAL(x),MAU(x)], NA(x)=[NAL(x),NAU(x)], such that 0MAU(x)+NAU(x)1 for every xX.

    It can be observed that under the IFIT [16], the IFS forms a single point of intersection between MA(x) and NA(x) for every xX, while for the IVIFS, its membership and non-membership functions form a rectangular area. Atanassov [24] then introduced another extension of IFS, instead of a rectangular area as in IVIFS, a circular area is proposed, called CIFS (CIFS). Under this new set, the point of intersection between MA(x) and NA(x) in IFS can be represented by a circular area with radius r and the center as the intersection point.

    Definition 2.3. [24,25] A circular IFS (CIFS) Ar in X is defined as Ar={x,MA(x),NA(x);rxX}, where MA:X[0,1] and NA:X[0,1] satisfy 0MA(x)+NA(x)1 and r[0,2] is the radius of the circle around each element xX.

    Moreover, the function HAr where HAr(x)=1MAr(x)NAr(x)[0,1] corresponds to the degree of indeterminacy (uncertainty). It is clear that if r=0, then A0 is an IFS (i.e., a single point), but for r>0, it cannot be represented by an IFS. Let L={(p,q)|p,q[0,1] and p+q1}, then Ar can be written in the form Ar={x,Or(MA(x),NA(x))|xX} where,

    Or(MA(x),NA(x))={p,q|p,q[0,1]and(MA(x)p)2+(NA(x)q)2r}L.

    Previously, Atanassov identified five possible forms of the circle (see Figure 1), two of which have a center inside IFIT and the other three have a center on IFIT (x3 is on the coordinate-X or Y, x4 is on the maximum limit of the coordinate-X or Y, and x5 is on (0,0)). In the following, some related properties of CIFS are provided, such as the relations, operations, and modal operators.

    Figure 1.  Intepretating circular intuitionistic fuzzy sets.

    Definition 2.4. [24] Let Ar and Bs be CIFSs, for each xX, the relations between Ar and Bs are as follows:

    ArρBs iff (r<s) and (MA(x)=MB(x) and NA(x)=NB(x)).

    ArνBs iff (r=s) and one of the following conditions is fulfilled,

        – MA(x)<MB(x) and NA(x)NB(x),

        – MA(x)MB(x) and NA(x)>NB(x),

        – MA(x)<MB(x) and NA(x)>NB(x).

    ArBs iff (r<s) and one of the following conditions is fulfilled,

        – MA(x)<MB(x) and NA(x)NB(x),

        – MA(x)MB(x) and NA(x)>NB(x),

        – MA(x)<MB(x) and NA(x)>NB(x).

    ArρBs iff (r<s) and satisfied (MA(x)=MB(x) and NA(x)=NB(x)).

    ArνBs iff (r=s) and satisfied (MA(x)MB(x) and NA(x)NB(x)).

    ArBs iff (rs) and satisfied (MA(x)MB(x) and NA(x)NB(x)).

    Ar=ρBs iff (r=s).

    Ar=νBs iff (MA(x)=MB(x) and NA(x)=NB(x)).

    Ar=Bs iff (r=s) and satisfied (MA(x)=MB(x) and NA(x)=NB(x)).

    Definition 2.5. [24] Let Ar,Bs are CIFSs and operation radius ∝∈{min,max}. The negation, intersection, union, algebraic product, algebraic sum, and arithmetic mean operators between Ar and Bs respectively as follows:

    ¬Ar={x,NA(x),MA(x);r|xX}.ArBs={x,min(MA(x),MB(x)),max(NA(x),NB(x));(r,s)|xX}.ArBs={x,max(MA(x),MB(x)),min(NA(x),NB(x));(r,s)|xX}.ArBs={x,MA(x)MB(x),NA(x)+NB(x)NA(x)NB(x);(r,s)|xX}.Ar+Bs={x,MA(x)+MB(x)MA(x)MB(x),NA(x)NB(x);(r,s)|xX}.Ar@Bs={x,MA(x)+MB(x)2,NA(x)+NB(x)2;(r,s)|xX}.

    Definition 2.6. [24] Let Ar be CIFS, then modal operator "necessity" and "possibility" of Ar have the form:

    Ar={x,MA(x),1MA(x);r|xX}={x,Or(MA(x),1MA(x))|xX},Ar={x,1NA(x),NA(x);r|xX}={x,Or(1NA(x),NA(x))|xX}.

    The operators used in membership functions of FS has several criteria that must be fulfilled, as well as non-membership functions in IFS. Operators such as minimum, maximum, algebraic product, and algebraic sum are included in the triangular norms or conorms as the following:

    Definition 2.7. [29,30] A triangular norm (briefly t-norm) is binary operation T on the unit interval [0,1] with definition T:[0,1]2[0,1] such that for all x,y,z[0,1]:

    (T1) T(x,y)=T(y,x),

    (T2) T(x,T(y,z))=T(T(x,y),z),

    (T3) T(x,y)T(x,z) whenever yz, (T4) T(x,1)=x.

    Definition 2.8. [29,30] A triangular conorm (t-conorm for short) is binary operation S on the unit interval [0,1] with definition S:[0,1]2[0,1] which satisfies for all x,y,z[0,1], (T1-T3) and

    (S4) S(x,0)=x.

    Some examples of functions under t-norm or t-conorm include:

    TM(x,y)=min(x,y)TP(x,y)=xyTL(x,y)=max(x+y1,0)TD(x,y)={0if(x,y)[0,1[2min(x,y)otherwiseSM(x,y)=max(x,y)SP(x,y)=x+yxySL(x,y)=min(x+y,1)SD(x,y)={1if(x,y)]0,1]2max(x,y)otherwise

    The operator S is also called the dual of T and has the relation T(x,y)=1S(1x,1y) while the classification on both of them is in accordance with the prevailing properties. In this paper, we focus on two operators, the operator TP is called product t-norm (algebraic product) and the operator SP is called probabilistic sum (algebraic sum). Both operators satisfy the properties of monotone, continuous, strictly, cancellation law, and archimedean. Moreover, algebraic properties on its members such as idempotent, nilpotent and zero divisor can also be shown.

    Remark 1 : In Definition 2.5, the operations on M and N fall under the category of t-norm, allowing them to be extended and applied using various forms of t-norm or conorm. This differs from the radius, which operates within the domain interval [0,2], where the operation used is not a t-norm or conorm. The operations applied to the radius are constrained to min and max. Expanding the radius from the interval [0,1] to [0,2] presents an opportunity to extend the operations on t-norm (conorm) into new operations. To maintain generality, the following proposes the extension of the algebraic sum and product operators into the interval [0,2].

    In early research, Attanasov [24] introduced the radius domain in the interval [0,1] and the min and max operators as initial operations. In this case, the selection of min and max operators can refer to the category type of t-norm and t-conorm functions so that the operators on the radius can be projected using t-norm and t-conorm operators. Furthermore, the radius interval is expanded to [0,2] to ecompass the entire IFIT region within the circle range [25]. This expansion causes the categories of min and max operations to no longer be seen as t-norm and t-conorm functions and has an impact on the limitations of operators other than min and max.

    In this section, the operators extension algebraic product, T and extension algebraic sum, S are defined on the interval [0,ψ] with ψ[1,2]. These operators are based on the algebraic product and algebraic sum on the t-norm and t-conorm. The T and S operators are expected to have similar properties and structure to the algebraic product and sum.

    Definition 3.1. Let ψ[1,2] and T,S:[0,ψ]2[0,ψ] where for a,b[0,ψ] can be defined as T(a,b)=abψ and S(a,b)=a+babψ.

    Next, we will show the properties related to the t-norm axioms of the operator in Definition 2.4.

    Theorem 3.1. Let ψ[1,2] and for a,b[0,ψ], T(a,b)=abψ and S(a,b)=a+babψ. The operations T and S satisfy the following properties:

    (ⅰ) T and S are commutative.

    (ⅱ) T and S are associative.

    (ⅲ) T and S are monotonic.

    (ⅳ) The neutral element in T is ψ and the neutral element in S is 0.

    (ⅴ) T(a,b)=ψS(ψa,ψb) and S(a,b)=ψT(ψa,ψb).

    Proof. Let ψ[1,2] and a,b[0,ψ] such that,

    (ⅰ) T(a,b)=abψ=baψ=T(b,a) and S(a,b)=a+babψ=b+abaψ=S(b,a). So it is proven that T and S are commutative.

    (ⅱ) Let c[0,ψ], then

    T(a,T(b,c))=T(a,bcψ)=abcψψ=abψcψ=T(abψ,c)=T(T(a,b),c) and

    S(a,T(b,c))=S(a,b+cbcψ)

    =a+(b+cbcψ)a(b+cbcψ)ψ

    =a+b+cbcψabψacψ+abcψ2

    =a+babψ+c(a+babψ)cψ

    =S(a+babψ,c)

    =S(S(a,b),c).

    Hence, it is proved that T and S are associative.

    (ⅲ) Let c[0,ψ] where bc, then T(a,b)=abψacψ=T(a,c) and S(a,b)=a+babψa+cacψ=S(a,c). So T and S have monotonic.

    (ⅳ) Suppose the neutral element in T is e[0,ψ], then T(a,e)=T(e,a)=a. It means aeψ=a and obtained e=ψ. Similarly, suppose the neutral element in S is e, then S(a,e)=S(e,a)=a and we get e=0.

    (ⅴ) It can be shown that ψS(ψa,ψb)=T(a,b) and also ψT(ψa,ψb)=S(a,b).

    ψS(ψa,ψb)=ψ([ψa]+[ψb][ψa][ψb]ψ)

    =ψ(ψa+ψbψ+a+babψ)

    =abψ=T(a,b)

    ψT(ψa,ψb)=ψ([ψa][ψb]ψ)

    =ψ(ψab+abψ)

    =a+babψ=S(a,b).

    If ψ=1, the domain interval [0,1] is obtained so that T(a,b)=ab/1=ab=Tp (product t-norm) and S(a,b)=a+bab1=a+bab=Sp (probabilistic sum t-conorm). Moreover, if ψ=2, the domain interval is [0,2] such that T(a,b)=ab2 and S(a,b)=a+bab2. It can be seen that the variable ψ is an index of expansion that occurs in the domain interval from 1 to 2. This raises the question whether the properties and characters that apply Tp also apply to T and Sp also apply to S. The properties and characters in question are monotone, continuous, strict, cancellation law and archimedean.

    Remark 2. The combination of monotonicity and commutativity leads to the non-decreasing property of T. If ab and cd, then we get T(a,c)T(a,d)=T(d,a)T(d,b)=T(b,d). The same effect occurs for S, such that S(a,c)S(b,d).

    Theorem 3.2. Given T and S in Definition 3.1, both operations satisfy the properties:

    (ⅰ) T and S are continuous for every (a,b)[0,ψ]2 with ψ[1,2].

    (ⅱ) T and S are strictly monotone.

    (ⅲ) T and S satisfy cancellation law.

    (ⅳ) T and S are archimedean.

    Proof. The proof will be done on the operator T (The same assumption is used for S).

    (ⅰ) It will be proved that for every (a,b)[0,ψ]2 with ψ[1,2] and ϵ>0, there exists δϵ>0 such that for every (a,b)[0,ψ]2 with (xa)2+(yb)2<δϵ holds |xyψabψ|<ϵ. Let ψ[1,2],(a,b)[0,ψ]2 and ϵ>0. Note that for every (x,y)[0,ψ]2 holds 0<a,y<ψ, then

    |xyψabψ|=1ψ|xyab|

    =1ψ(xyab)2

    =1ψ(xyay+ayab)2

    =1ψ(xa)2y2+2ay(xa)(yb)+a2(yb)2

    <1ψ(xa)2ψ2+2ψ(xa)(yb)+ψ2(yb)2

    =(xa)2+2(xa)(xb)+(yb)2

    =((xa)+(yb))2

    =|(xa)+(yb)|

    |xa|+|yb|

    =(xa)2+(yb)2

    (xa)2+(yb)2+(xa)2+(yb)2

    =2(xa)2+(yb)2.

    By taking δϵ=12ϵ, then for every (x,y)[0,ψ]2 with (xa)2+(yb)2<δϵ satisfied |xyψabψ|<2(xa)2+(yb)2<2δϵ=2(12ϵ)=ϵ.

    (ⅱ) Let ψ[1,2] and a,b,c[0,ψ] with b<c. By using the monotonicity property in Theorem 3.1, it is obtained that T(a,b)<T(a,c) and also S(a,b)<S(a,c). Thus T and S are strictly monotone.

    (ⅲ) It will be proved that for every a,b,c[0,ψ] with ψ[1,2], if T(a,b)=T(a,c) then a=0 or b=c. Let ψ[1,2] and a,b,c[0,ψ] that satisfy T(a,b)=T(a,c). Hence a(bc)ψ=0, Otherwise a=0 or b=c. Analogously using S operator, if S(a,b)=S(a,c) then,

    (bc)a(bc)ψ=0(bc)(1aψ)=0.

    The result is b=c or a=ψ.

    (ⅳ) We will prove for every (a,b)]0,ψ[2 with ψ[1,2], there exist nN such that a(n)T<b. Let ψ[0,2], (a,b)]0,ψ[2 then

    a(n)T=T(a,T(a,...(T(a,a))))n times=anψn1.

    Using contradiction, if anψn1b0 then

    anψn1b=ψ(aψ)nbb(aψ)nb=b((aψ)n1)0.

    Since 0<a<ψ, then (aψ)n1<0 and also b0 such that equation b((aψ)n1)0 is false. So it is proved that there exist a(n)T<b. Similarly with the operator S then,

    a(n)S=T(a,T(a,...(T(a,a))))n times=ψψ(1aψ)n.

    Analogously, by using contradiction, if it holds that ψψ(1aψ)nb0 then,

    ψψ(1aψ)nbbψ(1aψ)nb=ψ(1aψ)n0.

    Considering 0<a<ψ, it follows (1aψ)n0 such that ψ(1aψ)n0 is false and it is proved for a(n)S<b.

    Theorem 3.3. Let T and S operator, ψ[1,2] and a[0,ψ] then applies:

    (ⅰ) Element 0 and ψ are idempotent element in T and S.

    (ⅱ) The operator T and S have no nilpotent elements and zero divisor.

    Proof. Let ψ[1,2],

    (ⅰ) Element a[0,ψ] is called idempotent of T(or S) iff T(a,a)=a (or S(a,a)=a). Start with T(a,a)=a such that it is obtained,

    T(a,a)=aa2ψ=aaa2ψ=0a(ψa)ψ=0.

    This leads to a=0 or a=ψ. Now for operator S(a,a)=a we get,

    S(a,a)=02aa2ψ=aaa2ψ=0a(ψa)ψ=0.

    This also means that a=0 or a=ψ. Therefore, 0 and ψ for ψ[1,2] are idempotent elements for both T and S.

    (ⅱ) Element a]0,ψ[ is called nilpotent of T (or S) iff there exist some nN such that a(n)T=0 (or a(n)S=0). Starting with operator T we have a(n)T=anψn1=0 such that a=0 is obtained. Similarly for operator S, we have

    anS=ψψ(1aψ)n=0ψ(1aψ)n=ψ(1aψ)n=1.

    The above equation holds if only a=ψ is obtained for n odd or even. Since a]0,ψ[, both operators T and S have no nilpotent element. Furthermore, element a]0,ψ[ is called zero divisor of T (or S) iff there exist some b]0,ψ[ such that T(a,b)=0 (or S(a,b)=0). Analogously with nilpotent, we have only a=0 or a=ψ that satisfies T(a,b)=0 and S(a,b)=0, so the operators T and S also have no zero divisor.

    At the end of this section, we will show the relation between T and Tp from the algebraic side using the concept of semigroup. Given interval sets I=[0,1] and I=[0,ψ] with ψ[1,2], and also operator Tp:I2I and operator T:[I]2I defined respectively:

    Tp(a,b)=ab(a,bI),T(a,b)=abψ(a,bI).

    It can be shown that (I,Tp) and (I,T) are both commutative semigroups with neutral elements.

    Theorem 3.4. Semigroup (I,Tp) isomorphic to (I,T) is denoted (I,Tp)(I,T).

    Proof. It will be shown that there exists a bijective function ξ:II such that for all a,bI,

    ξ(Tp(a,b))=T(ξ(a),ξ(b)). (3.1)

    Define the function ξ:II by ξ(a)=aψ for ψ[1,2]. This implies that for all a,bI holds,

    ξ(Tp(a,b))=ξ(ab)=abψ=aψ.bψψ=T(ξ(a),ξ(b)).

    Furthermore, the function ξ is injective because a,bI if ξ(a)=ξ(b) then a=b holds. Moreover, the function ξ is also surjective, because for any aI there exist a=aψI such that ξ(a)=aψ=(aψ)ψ=a for any ψ[1,2]. Since the function ξ is injective, surjective and satisfies Eq (3.1), then (I,Tp)(I,T).

    Similarly, the operators Sp:I2I and S:[I]I are defined respectively:

    Sp(a,b)=a+bab(a,bI),S(a,b)=a+babψ(a,bI).

    Theorem 3.5. Semigroup (I,Sp) isomorphic to (I,S) is denoted (I,Sp)(I,S).

    Proof. Straightforward.

    With the existence of operators T and S that have the same structure, character, and properties as Tp and Sp, they can be used as alternative operators of radius instead of the previously defined min and max. Henceforth, in the case of CIFS using the value ψ=2, the operator T is called radius algebraic product (RAP) and is denoted , while the operator S is called radius algebraic sum (RAS) and is denoted .

    This section begins by defining the generalized operators for CIFS based on t-norm (conorm). These generalizations include the membership (M), non-membership (N), with the range [0,1] and radius, r with the range [0,2]. Due to the difference in interval domains, this generalization process is applied to M and N which belong to the t-norm (conorm) category [29,30]. While the radius uses min,max, RAP, and RAS. We focus on algebraic product and algebraic sum for alternative operations on the radius and studying their related properties. Moreover, the arithmetic mean can also be applied to directly affect the radius or be consistent with the operations MA(x) and NA(x). The first step is to define the generalization of intersection and union in CIFS using t-norm (conorm).

    Definition 4.1. Let Ar,Bs are CIFSs in X with r,s[0,1]. The generalized intersection (˜) and generalized union (˜) of CIFSs can be presented as follows:

    (Ar)˜T,S,(Bs)={x,T(MA(x),MB(x)),S(NA(x),NB(x));(r,s)|xX},(Ar)˜S,T,(Bs)={x,S(MA(x),MB(x)),T(NA(x),NB(x));(r,s)|xX},

    where T denotes t-norm and S denotes t-conorm, while ∝∈{min,max,,}.

    It is clear that the Definition 4.1 will be defined for radius r,s[0,2]. It can be seen that generalized intersection (Ar)˜T,S,(Bs) is a CIFS in X if T(MA(x),MB(x))+S(NA(x),NB(x))1. Since Ar and Bs are CIFSs, obtained NA(x)1MA(x) and NB(x)1MB(x). Then, S(NA(x),NB(x))S(1MA(x),1MB(x)), which is equivalent to S(MA(x),MB(x))=1S(1MA(x),1MB(x))1S(NA(x),NB(x)), where the equality holds if A and B are fuzzy sets. So, if T(MA(x),MB(x))S(MA(x),MB(x)), then (Ar)˜T,S,(Bs) is a CIFS in X. Analogously, generalized union (Ar)˜S,T,(Bs) is a CIFS when S(MA(x),MB(x))T(MA(x),MB(x)), where T(MA(x),MB(x))=1T(1MA(x),1MB(x)). Thus, (Ar)˜S,T,(Bs) is a CIFS in X, the so called t-conorm (or dual t-norm T).

    The properties of these operators are also a generalization of the basic properties of CIFS. The properties like commutative, associative and De'Morgan law can be derived from the generalized intersection and union in CIFS. However, for distributive properties of generalized union and intersection do not always apply, therefore it is necessary to focus on the type of t-norm (conorm) to be used. For example, if the t-norm used is min then, T(MA(x),MB(x))=min(MA(x),MB(x)) and S(NA(x),NB(x))=max(NA(x),NB(x)) so for each xX can be written:

    (Ar)˜min,max,min(Bs)={x,min(MA(x),MB(x)),max(NA(x),NB(x));min(r,s)}=ArminBs,(Ar)˜min,max,max(Bs)={x,min(MA(x),MB(x)),max(NA(x),NB(x));max(r,s)}=ArmaxBs.

    The same thing happened for generalized union (t-conorm). This time, if the t-norm used is an algebraic product, then the t-conorm used is an algebraic sum, and the generalized intersection and union becomes:

    (Ar)˜,+,(Bs)={x,MA(x).MB(x),NA(x)+NB(x)NA(x).NB(x);r.s}=ArBs,

    (Ar)˜,+,(Bs)={x,MA(x).MB(x),NA(x)+NB(x)NA(x).NB(x);r+sr.s}=ArBs,

    (Ar)˜+,,(Bs)={x,MA(x)+MB(x)MA(x).MB(x),NA(x).NB(x);r.s}=Ar+Bs,

    (Ar)˜+,,(Bs)={x,MA(x)+MB(x)MA(x).MB(x),NA(x).NB(x);r+sr.s}=Ar+Bs.

    In the previous researchers [24], the operations used on the radius are only min and max. From Definition 2.5 instead of using min and max as radius operations in CIFS, it can be generalized to other t-norm (conorm) operators. We focus on the algebraic sum and product for radius operations. In addition to the algebraic product and sum form, the definition of the mean arithmetic operator will also be applied to the radius. Therefore, the definition in this paper includes min,max,,, and @. Thus, Definition 2.5 can be expanded to:

    Definition 4.2. Let Ar,Bs are CIFS in X, radius operations ∝∈{min,max,,,@}, and r,s[0,2].

    The algebraic product, algebraic sum and arithmetic mean operator of CIFSs can be presented as follows:

    ArBs={x,MA(x).MB(x),NA(x)+NB(x)NA(x).NB(x);(r,s)|xX},Ar+Bs={x,MA(x)+MB(x)MA(x).MB(x),NA(x).NB(x);(r,s)|xX},Ar@Bs={x,MA(x)+MB(x)2,NA(x)+NB(x)2;(r,s)|xX}.

    The following example will show the difference between the min,max,, and @ on radius part.

    Example 1: Let Ar and Bs are CIFS which are defined as follows:

    Ar={x,0.52,0.10;0.3,y,0.24,0.65;0.3,z,0.40,0.57;0.3},Bs={x,0.32,0.68;1.2,y,0.73,0.11;1.2,z,0.63,0.20;1.2}.

    Using the algebraic product as the operator for membership and non-membership, compare the radius values for each operation . If ∝=min, then,

    ArminBs={x,0.17,0.71;0.3,y,0.18,0.69;0.3,z,0.25,0.66;0.3},

    and if ∝=max, the another result will be,

    ArmaxBs={x,0.17,0.71;1.2,y,0.18,0.69;1.2,z,0.25,0.66;1.2}.

    A significant difference occurs in the radius while the membership and non-membership values are the same. So for ArBs has a radius value of 0.254, ArBs obtains a radius value of 1.245 and Ar@Bs obtains a radius value of 0.75. The next thing is to know the relation of each operation radius.

    Theorem 4.1. Let Ar and Bs are CIFS, ϕ{,,+,,@} and r,s[0,1] the following equation holds,

    ArϕBsρArϕminBsρArϕ@BsρArϕmaxBsρArϕBs.

    Proof. The proof of this theorem is focused on the radius value. Since the relation ρ is in Definition 2.4, if ArρBs then rs applies to radius. Furthermore, using the operating properties of the t-norm and conorm obtained for each r,s[0,1],

    rs2min{r,s}r+s2max{r,s}r+srs2.

    So it is proved for the theorem.

    Theorem 4.2. Let Ar and Bs are CIFS, ϕ {,,+,,@},∝∈{,,@} and r,s[0,2], then the following statements are true:

    (ⅰ) (ArϕminBs)(ArϕmaxBs)=ArBs.

    (ⅱ) (ArϕminBs)(ArϕmaxBs)=ArBs.

    (ⅲ) (ArϕminBs)@(ArϕmaxBs)=Ar@Bs.

    Proof. In proving points (ⅰ), (ⅱ), and (ⅲ) using a similar method. Since for let Ar,Bs are CIFS (i.e. point 1),

    (ArϕminBs)(ArϕmaxBs)

    ={x,ϕ(MA(x),MB(x)),ϕ(NA(x),NB(x));min(r,s)}{x,ϕ(MA(x),MB(x)),

    ϕ(NA(x),NB(x));max(r,s)}

    ={x,ϕ(MA(x),MB(x)),ϕ(NA(x),NB(x));(min(r,s),max(r,s))}.

    If ∝=, then (min(r,s),max(r,s))=min(r,s)+max(r,s)[min(r,s)max(r,s)]2=r+srs2. The same is true if ∝= and @ are selected. A similar proof was also made for ϕ=,,,@ and for points 2 and 3.

    Because the algebraic product and sum are a type of t-norm (conorm), it is proven that they are commutative, associative and De'Morgan law. However, further investigation is needed for the arithmetic mean operator combined with the algebraic product or sum,

    Theorem 4.3. (Commutative Law) Let Ar and Bs are CIFSs, ∝∈{,,@} and r,s[0,2] then satisfied:

    Ar+@Bs=Bs+@Ar,Ar@Bs=Bs@Ar, and Ar@Bs=Bs@Ar,

    Proof. Let say Ar+@Bs=Ct, then radius part is t=r+s2=s+r2 and the equation Ct=Bs+@Ar is proven. Next for Ar@Bs obtained,

    Ar@Bs={x,MA(x)+MB(x)2,NA(x)+NB(x)2;rs2}={x,MB(x)+MA(x)2,NB(x)+NA(x)2;sr2}=Bs@Ar.

    It can be seen that operator @ is also commutative, so it is also proven for Ar@Bs and Ar@@Bs.

    Remark 3. Using the fact that for any r,s,t[0,1] holds r+s2+tr+s+t2 then the arithmetic mean is not associative. This means that for every ϕ{,,+,} and ∝∈{min,max,,} applies,

    Arϕ@(Bsϕ@Ct)(Arϕ@Bs)ϕ@CtandAr@(Bs@Ct)(Ar@Bs)@Ct.

    operators, we will show some properties that apply to RAP, RAS, and arithmetic mean on the radius operator.

    Theorem 4.4. Let r,s,t[0,2], then the relations between operators , and @ satisfied,

    (ⅰ) (r,(s,t))((r,s),(r,t)).

    (ⅱ) (r,(s,t))((r,s),(r,t)).

    (ⅲ) (r,(s,t))((r,s),(r,t)).

    (ⅳ) (r,(s,t))((r,s),(r,t)).

    (ⅴ) (r,@(s,t))=@((r,s),(r,t)).

    (ⅵ) (r,@(s,t))=@((r,s),(r,t)).

    (ⅶ) @(r,(s,t))(@(r,s),@(r,t)).

    (ⅷ) @(r,(s,t))(@(r,s),@(r,t)).

    (ⅸ) @(r,@(s,t))=@(@(r,s),@(r,t)).

    Proof. Let r,s,t[0,2] real number. To prove that the left side is smaller or equal to the right side, the difference between the left and right sides is negative and vice versa.

    (ⅰ) From left side, (r,(s,t))=(r,st2)=rst22=rst2, and from right side we have, ((r,s),(r,t))=(rs2,rt2)=r2st22. Then the difference between the two is,

    [rst2][r2st22]=2rstr2st22=rst(2r)220.

    It means that (r,(s,t))((r,s),(r,t)).

    (ⅱ) The value of the left side is, (r,(s,t))=(r,s+tst2)

    =r+(s+tst2)r(s+tst2)2

    =r+s+trs2rt2st2+rst2,

    while from the right side, ((r,s),(r,t))=(r+srs2,r+trt2)

    =(r+srs2)+(r+trt2)(r+srs2)(r+trt2)2

    =r+srs2+r+trs2+r22+rt2r2t2+rs2+st2rst2r2s2rst2+r2st22.

    The difference between the two is,

    [r+s+tst2rs2rt2+rst2][r+srs2+r+trs2+r22+rt2r2t2+rs2+st2rst2r2s2rst2+r2st22]

    =3rst2rr222rt2+r2t22st2+r2s2r2st22

    =32rst22r22r24rt+2r2t4st+2r2sr2st22

    =32rstr2st22r2r2+2r2(s+t)4t(r+s)22.

    Since, s+tst22 and r+srs22 then,

    32rstr2st22r2r2+2r2(2st2)4t(r+s)

    =32rst2r2st22r4t(r+s)

    32rst2r2st22r4t(2+rs2)

    =2rst2r2st22r42t

    =2r2st+2r(st2)42t0.

    So it is proven that (r,(s,t))((r,s),(r,t)).

    (ⅲ) Analogously to the previous, for the left side value is obtained,

    (r,(s,t))=(r,s+tst2)=r(s+tst2)2=rs2+rt2rst2,

    while the right side is obtained,

    ((r,s),(r,t))=(rs2,rt2)=rs2+rt2=(rs2)(rt2)2=rs2+rt2r2st22.

    The difference is,

    [rs2+rt2rst2][rs2+rt2r2st22]=r2st2rst22=rst(r2)220.

    So it is clear that (r,(s,t))((r,s),(r,t)).

    (ⅳ) Similarly, from left side we have,

    (r,(s,t))=(r,st2)=r+st2rst22=r+st2rst2,

    from right side,

    ((r,s),(r,t))=(r+srs2,r+trt2)

    =(r+srs2)(r+trt2)2

    =r22+rt2r2t2+rs2+st2rst2r2s2rst2+r2st22.

    So the difference between left and right sides is,

    [r+st2rst2][r22+rt2r2t2+rs2+st2rst2r2s2rst2+r2st22]

    =rr22rt2+r2t2rs2+r2s2+rst2r2st22

    =r(2r)((2st)2(s+t))22.

    It is clear that r0,2r0, then for (2st)2(s+t) will be investigated as follows,

    (2st)2(s+t)=2st2s2t

    =2(2st2st)

    =2(2(s+tst2)).

    Because s+tst22 for s,t[0,2], then obtained that information (2st)2(s+t)0. So it is proven that r(2r)((2st)2(s+t))220.

    (ⅴ) To prove the similarity of left and right sides is as follows: r(s+t2)2=r(s+t)22=rs2+rt22=@((r,s),(r,t)).

    (ⅵ) Likewise with point (ⅴ), it is obtained,

    (r,@(s,t))=(r,s+t2)=r+s+t2r(s+t2)2=(r+srs2)+(r+trt2)2=@((r,s),(r,t)),

    (ⅶ) The left side value is,

    @(r,(s,t))=r+(s+tst2)2=r+s+tst22=22r+22s+22t2st42,

    while its right side is obtained,

    (@(r,s),@(r,t))=(r+s2)+(r+t2)(r+s2)(r+t2)2

    =2r+s+t2(r2+rt+rs+st42)

    =42r+22s+22tr2rtrsst42.

    So the difference between left side and right side is,

    [22r+22s+22t2st42][42r+22s+22tr2rtrsst42]

    =st22r+r2+rt+rs42

    =r(r+s+t22)st42.

    Remember that s+tst22

    r(r+2+st222)st42

    (r2)(r+st2)420.

    It is obtained that @(r,(s,t))(@(r,s),@(r,t)).

    (ⅷ) From left side,

    @(r,(s,t))=r+st22=2r+st22.

    From right side,

    (@(r,s),@(r,t))=(r+s2)(r+t2)2=r2+rt+rs+st42.

    Then the difference is,

    [2r+st22][r2+rt+rs+st42]

    =22r+str2rtrs42

    =r(2r)+2r+strtrs42.

    Remember that s+tst22 and stst2,

    r(2r)+2r+(s+t2)rtrs42

    r(2r)+(1r)(s+t2)420.

    It is obtained that the value of the left side is greather than equal to the right side for radius, so @(r,(s,t))(@(r,s),@(r,t)).

    (ⅸ) The same as point (ⅴ) is obtained,

    @(r,@(s,t))=@(r,s+t2)=r+s+t22=r+s2+r+t22=@(@(r,s),@(r,t)).

    Thus, it is proven for the distributive relation between the operators , and @.

    The distributive properties of CIFS have been shown in previous research [24], but the radius operations are only limited to min and max. Furthermore, the distributive properties in algebraic addition, product, and arithmetic mean in CIFS will be shown along with additional operators on radius.

    Theorem 4.5. (Distributive Law) Let Ar,Bs and Ct are CIFSs, ϕ{+,,@} and r,s,t[0,2] then,

    (ⅰ) Ar(Bs+Ct)(ArBs)+(ArCt).

    (ⅱ) Ar(Bs@Ct)ρ(ArBs)@(ArCt).

    (ⅲ) Ar(Bs@Ct)ρ(ArBs)@(ArCt).

    (ⅳ) Ar(Bs+Ct)ρ(ArBs)+(ArCt).

    (ⅴ) Ar(Bs@Ct)ρ(ArBs)@(ArCt).

    (ⅵ) Ar(Bs@Ct)ρ(ArBs)@(ArCt).

    (ⅶ) Ar@(Bs@Ct)=ν(Ar@Bs)@(Ar@Ct).

    (ⅷ) Ar@(Bs@Ct)=ν(Ar@Bs)@(Ar@Ct).

    (ⅸ) Arϕ(Bs+@Ct)ν(ArϕBs)+@(ArϕCt).

    (ⅹ) Arϕ(Bs@@Ct)=(ArϕBs)@@(ArϕCt).

    (xi) Ar+(BsCt)(Ar+Bs)(Ar+Ct).

    (xii) Ar+(Bs@Ct)ρ(Ar+Bs)@(Ar+Ct).

    (xiii) Ar+(Bs@Ct)ρ(Ar+Bs)@(Ar+Ct).

    (xiv) Ar+(BsCt)(Ar+Bs)(Ar+Ct).

    (xv) Ar+(BsCt)(Ar+Bs)(Ar+Ct).

    (xvi) Ar+(Bs@Ct)ρ(Ar+Bs)@(Ar+Ct).

    (xvii) Ar+(Bs@Ct)ρ(Ar+Bs)@(Ar+Ct).

    (xviii) Ar+@(Bs@Ct)=ν(Ar+@Bs)@(Ar+@Ct).

    (xix) Ar+@(Bs@Ct)=ν(Ar+@Bs)@(Ar+@Ct).

    (xx) Ar+ψ(Bs@@Ct)=(Ar+ψBs)@@(Ar+ψCt).

    (xxi) Ar+ψ(Bs@Ct)ν(Ar+ψBs)@(Ar+ψCt).

    (xxii) Ar@(Bs+Ct)(Ar@Bs)+(Ar@Ct).

    (xxiii) Ar@(BsCt)(Ar@Bs)(Ar@Ct).

    (xxiv) Ar@(Bs+Ct)(Ar@Bs)+(Ar@Ct).

    (xxv) Ar@(BsCt)(Ar@Bs)(Ar@Ct).

    (xxvi) Ar@ψ(Bs+@Ct)ν(Ar@ψBs)+@(Ar@ψCt).

    (xxvii) Ar@ψ(Bs@Ct)ν(Ar@ψBs)@(Ar@ψCt).

    Proof. The proof of this theorem can be demonstrated by utilizing Theorem in Atanassov [24] and Theorem 4.4.

    Remark 4. The proof that has been carried out in Theorems 4.3 and 4.5 can also be applied to IFS (r=0). If the radius is 0, then just ignore the radius relation in the relation operator. As an example of the distributive property points 2 and 7, if r=s=t=0 then Ar(Bs@Ct)(ArBs)@(ArCt) and Ar@(Bs@Ct)=(Ar@Bs)@(Ar@Ct).

    In the original paper [24], Atanssov defined the negation operators on CIFS as redefined from IFS which only affects M and N, but not radius. Next, we will define a type negation operator based on the radius condition.

    Definition 5.1. Let Ar is CIFS and r[0,2] then, modified negation operator based on radius are the following:

    ¬2(Ar)={x,MAr(x),NAr(x);2r|xX},¬3(Ar)={x,NAr(x),MAr(x);2r|xX}.

    It is clear that the negation operator defined earlier in [24] is type-1 negation i.e. ¬1(Ar)={x,NAr(x),MAr(x);r}. The type-2 and type-3 negation operators satisfy the complement axioms, boundary conditions, monotonic descent, continuity, and involution properties. These changes are based on operations on the radius giving rise to some properties that apply to the definition.

    Theorem 5.1. The following equalities are valid for CIFSs Ar,

    (ⅰ) ¬1(¬1(Ar))=Ar likewise for ¬2 and ¬3.

    (ⅱ) ¬1(¬2(Ar))=¬3(Ar).

    (ⅲ) ¬2(¬1(Ar))=¬3(Ar).

    (ⅳ) Arρ¬2(Ar)r22.

    (ⅴ) Arρ¬2(Ar)r22.

    Proof. For points (ⅰ) until (ⅲ), it is clearly proven by Definition 5.1. For the rest, it is sufficient to prove if r2r then r22 and vice versa.

    Theorem 5.2. (De'Morgan Law) The following equalities are valid for CIFSs Ar and Bs for ϕ{,,+,,@} and ∝∈{max,min,,,@},

    (ⅰ) ¬1(Ar@Bs)=¬1(Ar)@¬1(Bs).

    (ⅱ) ¬2(Arϕ@Bs)=¬2(Ar)ϕ@¬2(Bs).

    (ⅲ) ¬1[¬1(ArϕBs)]=ArϕBs.

    (ⅳ) ¬2[¬1(Armax/minBs)]=¬3(Ar)min/max¬3(Bs).

    (ⅴ) ¬2[¬1(Armax/minBs)]=¬3(Ar)min/max¬3(Bs).

    (ⅵ) ¬2[¬1(Ar+max/minBs)]=¬3(Ar)min/max¬3(Bs).

    (ⅶ) ¬2[¬1(Armax/minBs)]=¬3(Ar)+min/max¬3(Bs).

    (ⅷ) ¬2[¬1(Ar@max/minBs)]=¬3(Ar)@min/max¬3(Bs).

    (ⅸ) ¬2[¬1(Ar@@Bs)]=¬3(Ar)@@¬3(Bs)

    Proof. It is clearly proven by Definitions 2.5 and 5.1.

    Next will be defined another modal operators "necessity" and "possibility". The previously defined modal operators [24] only affect membership or non-membership functions, not radius. This is the reason why the modal operators "necessity" and "possibility" also affect the radius (denoted 2 and 2) as follows:

    Definition 5.2. Let Ar is CIFS, then modified modal operator based form radius are the following:

    2Ar={x,MA(x),1MA(x);2r|xX},2Ar={x,1NA(x),NA(x);2r|xX}.

    Similar to the negation operator, the modal operators "necessity" and "possibility" [24] are symbolized by 1 and 1. Some properties derived from these modal operators are presented in next the theorem:

    Theorem 5.3. The following equalities are valid for CIFS Ar,

    (ⅰ) 1ArνAr.

    (ⅱ) Arν1Ar.

    (ⅲ) 1(1Ar)=1Ar.

    (ⅳ) 1(1Ar)=1Ar.

    (ⅴ) 1(1...(1(1Ar)))=1Ar.

    (ⅵ) 1(1...(1(1Ar)))=1Ar.

    (ⅶ) r222ArAr and r<222ArAr.

    (ⅷ) r22Ar2Ar and r<22Ar2Ar.

    (ⅸ) 2(2Ar)=1Ar.

    (ⅹ) 2(2Ar¬)¬=1Ar.

    (xi) 2(2Ar¬)¬=1Ar.

    (xii) 2(2Ar)=1Ar.

    (xiii) 2(2(2Ar))=2Ar.

    (xiv) 2(2(2Ar))=2Ar.

    (xv) 2(2...(2Ar))n factor ={1Ar, for n even number,2Ar, for n odd number.

    (xvi) 2(2...(2Ar))n factor ={1Ar, for n even number,2Ar, for n odd number.

    Proof. This proof will be carried out at each point,

    (ⅰ) It is clear that the difference between 1Ar and Ar lies in the value of N1ArNAr, so it holds 1ArρAr.

    (ⅱ) Same with point (ⅰ), the difference is in the value M1ArMAr so it happens Arρ1Ar.

    (ⅲ) It is clear by Definition 5.2,

    1(1Ar)=1{x,MA(x),1MA(x),r}={x,1(1MA(x)),1MA(x),r}={x,MA(x),1MA(x),r}=1Ar.

    (ⅳ) Same with point (ⅲ),

    1(1Ar)={x,1NA(x),NA(x),r}={x,1NA(x),1(1NA(x)),r}={x,1NA(x),NA(x),r}=1Ar.

    (ⅴ) Let start for n=1, it's clear. For n=2,3,4,... it will be,

    1(1Ar)=1{x,MAr(x),1MAr(x),r}={x,MAr(x),1MAr(x),r}=1Ar,

    recursively get,

    1(1...(1(1Ar)))=1(1...(1Ar))=...=(1(1Ar))=1Ar.

    (ⅵ) Same with point (ⅴ) and get,

    1(1...(1(1Ar)))=1(1...(1Ar))=...=(1(1Ar))=1Ar.

    (ⅶ) From left side, if r22 then value in 2Ar is 2r22 and the value in Ar22. In addition, membership and non-membership grades are obtained 2Ar=x,MAr(x),1MAr(x);2r. The fact that NAr(x)=1MArHAr, then NAr1MAr(x) so proved that 2ArAr. From right side, if 2ArAr then, 22r. Same method for 2ArAr iff r<22.

    (ⅷ) From left side, if r22 then value in 2Ar is 2r22 and the value in Ar22. In addition, membership and non-membership grades are obtained 2Ar=x,1NAr(x),NAr(x);2r. The fact that MAr(x)=1NArHAr, then MAr1NAr(x) so proved that Ar2Ar. From right side, if Ar2Ar then r22 same method for Ar2Ar iff r>22.

    (ⅸ) Using the modified two negation combination on the modal operator according to Definition 5.2,

    2(2Ar)=2{x,MA(x),1MA(x),2r}={x,1(1MA(x)),1MA(x),2(2r)}={x,MA(x),1MA(x),r}=1Ar.

    (ⅹ) Same using combination from Definition 5.2,

    2(2Ar)=2{x,1NA(x),NA(x),2r}={x,1NA(x),1(1NA(x)),2(2r)}={x,1NA(x),NA(x),r}=1Ar.

    (xi) Equivalent with the previous,

    2(2Ar)=2(x,MA(x),1MA(x);2r)=x,MA(x),1MA(x);2(2r)=1Ar.

    (xii) Equivalent with the previous,

    2(2Ar)=2(x,1NA(x),NA(x);2r)=x,1NA(x),NA(x);2(2r)=1Ar.

    (xiii) From point (xi),

    2(2(2Ar))=2(2Ar)=2(x,MA(x),1MA;r)=(x,MA(x),1MA;2r)=2Ar.

    (xiv) From point (xii),

    2(2(2Ar)))=2(2Ar)=2(x,1NA(x),NA;r)=(x,1NA(x),NA;2r)=2Ar.

    (xv) From points (xi) and (xiii), it's clear to proved that,

    2(2...(2Ar))nfactor={1Ar , for n even number,2Ar , for n odd number.

    (xvi) From points (xii) and (xiv), it's clear to proved that,

    2(2...(2Ar))nfactor={1Ar , for n even number,2Ar , for n odd number.

    Remark 5. Similarly with Remark 4, we can also apply the negation operators to IFS. Let A0={x,MAr(x),NAr(x);0|xX} and A2={x,MAr(x),NAr(x);2|xX} then,

    ¬1(Ar)=¬A,foranyIFSA,¬2(Ar)=A2,and¬3(Ar)=¬1(A2).

    Likewise for modal operators, so it is obtained

    1Ar=A;2Ar=A2,and1Ar=A;2Ar=A2.

    Analogously for Theorems 5.1 and 5.3 just ignore the radius relation in the relation operator.

    This research builds on Atanassov's work on theoretical CIFS, focusing on defining alternative operations for radius beyond minimum and maximum functions. These operations, namely Radius Algebraic Product (RAP) and Radius Algebraic Sum (RAS), leverage the properties of t-norm and t-conorm. Additionally, we introduce the arithmetic mean operator as a radius operator, distinct from traditional t-norm or t-conorm categories. These three operators share structural and characteristic similarities with algebraic product t-norm and probabilistic t-conorm, including algebraic properties, idempotence, nilpotence, and zero divisor elements.

    Following their definition, we integrate these operations with those defined by Atanassov, extending them to generalize intersection and union based on t-norm (conorm). We explore various properties, from commutativity to associativity and distributivity, to assess the consistency of these operations. Furthermore, we propose alternative negation and modal operators beyond those defined by Atanassov, and examine related theorems.

    This work contributes to the literature on CIFS theory, providing valuable tools for researchers. However, it also suggests avenues for further exploration, particularly in the realm of decision-making processes. Future research should delve into the multiplicative characteristics of CIFS operators, which serve as the foundation for developing aggregation operators such as Weighted Averaging (WA), Ordered WA (OWA), Weighted Geometric (WG), or Ordered WG (OWG). Flexibility in radius selection is crucial for decision-making agility. Moreover, the introduction of additional radius operators prompts innovation in MCDM methods such as TOPSIS, AHP, ELECTRE, DEMATEL, etc.

    The authors declare that they have not used Artificial Intelligence (AI) tools in the creation of this article.

    This work was supported by Universiti Malaysia Terengganu under the Inter-Disciplinary Impact Driven Research Grant (ID2RG) 2023, Vot. 55516.

    The authors declare no conflicts of interest.



    [1] A. Ambrosetti, V. Coti Zelati, Periodic solutions of singular Lagrangian systems, Birkhäuser, Boston, 1993.
    [2] V. Bevc, J. L. Palmer, C. Süsskind, On the design of the transition region of axi-symmetric magnetically focused beam valves, J. Brit. Inst. Radio. Eng., 18 (1958), 696–708.
    [3] L. Chen, S. Lu, A new result on the existence of periodic solutions for Rayleigh equations with a singularity of repulsive type, Adv. Difference Equ., 2017 (2017), 106. doi: 10.1186/s13662-017-1136-z
    [4] Z. Cheng, Z. Bi, S. Yao, Periodic solution for p-Laplacian Rayleigh equation with attractive singularity andtime-dependent deviating argument, Bound. Value Probl., 2018 (2018), 20. doi: 10.1186/s13661-018-0938-6
    [5] J. Chu, P. J. Torres, M. Zhang, Periodic solutions of second order non-autonomous singular dynamical systems, J. Differential Equations, 239 (2007), 196–212. doi: 10.1016/j.jde.2007.05.007
    [6] J. Chu, M. Li, Positive periodic solutions of Hill's equations with singular nonlinear perturbations, Nonlinear Anal., 69 (2008), 276–286. doi: 10.1016/j.na.2007.05.016
    [7] J. Chu, Z. Zhang, Periodic solutions of singular differential equations with sign-changing potential, Bull. Austral. Math. Soc., 82 (2010), 437–445. doi: 10.1017/S0004972710001607
    [8] J. Chu, N. Fan, P. J. Torres, Periodic solutions for second order singular damped differential equations, J. Math. Anal. Appl., 388 (2012), 665–675. doi: 10.1016/j.jmaa.2011.09.061
    [9] J. Chu, P. J. Torres, F. Wang, Twist periodic solutions for differential equations with a combined attractive-repulsive singularity, J. Math. Anal. Appl., 437 (2016), 1070–1083. doi: 10.1016/j.jmaa.2016.01.057
    [10] M. A. del Pino, R. F. Manásevich, Infinitely many T-periodic solutions for a problem arising in nonlinear elasticity, J. Differential Equations, 103 (1993), 260–277. doi: 10.1006/jdeq.1993.1050
    [11] C. De Coster, P. Habets, Two-point boundary value problems: lower and upper solutions, Mathematics in Science and Engineering, 205 Elsevier B. V., Amsterdam, 2006.
    [12] A. Fonda, R. Toader, Periodic orbits of radially symmetric Keplerian-like systems: A topological degree approach, J. Differential Equations, 244 (2008), 3235–3264. doi: 10.1016/j.jde.2007.11.005
    [13] A. Fonda, Periodic solutions for a conservative system of differential equations with a singularity of repulsive type, Nonlinear Anal., 24 (1995), 667–676. doi: 10.1016/0362-546X(94)00118-2
    [14] A. Gutiérrez, P. J. Torres, Non-autonomous saddle-node bifurcation in a canonical electrostatic MEMS, Internal. J. Bifur. Chaos Appl. Sci. Engrg., 23 (2013), 1350088. doi: 10.1142/S0218127413500880
    [15] Y. Guo, Y. Wang, D. Zhou, A new result on the existence of periodic solutions for Rayleigh equation with a singularity, Adv. Difference Equ., 2017 (2017), 394. doi: 10.1186/s13662-017-1449-y
    [16] W. B. Gordon, Conservative dynamical systems involving strong forces, Trans. Amer. Math. Soc., 204 (1975), 113–135. doi: 10.1090/S0002-9947-1975-0377983-1
    [17] R. E. Gaines, J. L. Mawhin, Coincidence Degree and Non-linear Differential Equations, Springer-Verlag. Berlin. 1977.
    [18] P. Habets, L. Sanchez, Periodic solution of some Li'enard equations with singularities, Proc. Amer. Math. Soc., 109 (1990), 1135–1144. doi: 10.1090/S0002-9939-1990-1009992-7
    [19] R. Hakl, P. J. Torres, On periodic solutions of second-order differential equations with attractive-repulsive singularities, J. Differential Equations, 248 (2010), 111–126. doi: 10.1016/j.jde.2009.07.008
    [20] R. Hakl, P. J. Torres, M. Zamora, Periodic solutions of singular second order differential equations: Upper and lower functions, Nonlinear Anal., 74 (2011), 7078–7093. doi: 10.1016/j.na.2011.07.029
    [21] J. K. Hale, J. Mawhin, Coincidence degree and periodic solutions of neutral equations, J. Adv. Difference Equ., 15 (1974), 295–307. doi: 10.1016/0022-0396(74)90081-3
    [22] D. Jiang, J. Chu, M. Zhang, Multiplicity of positive periodic solutions to superlinear repulsive singular equations, J. Differential Equations, 211 (2005), 282–302. doi: 10.1016/j.jde.2004.10.031
    [23] S. Lu, X. Jia, Existence and uniqueness of homoclinic solution for a Rayleigh equation with a singularity. Qual. Theory Dyn. Syst. 19 (2020), 1–17.
    [24] S. Lu, Y. Guo, L. Chen, Periodic solutions for Liénard equation with an indefinite singularity, Nonlinear Anal. Real World Appl., 45 (2019), 542–556. doi: 10.1016/j.nonrwa.2018.07.024
    [25] A. C. Lazer, S. Solimini, On periodic solutions of nonlinear differential equations with singularities, Proc. Amer. Math. Soc., 99 (1987), 109–114. doi: 10.1090/S0002-9939-1987-0866438-7
    [26] S. Ma, Z. Wang, J. Yu, Coincidence degree and periodic solutions of Duffing equations 1. Nonlinear Anal., 34 (1998), 443–460.
    [27] R. F. Martins, Existence of periodic solutions for second-order differential equations with singularities and the strong force condition, J. Math. Anal. Appl., 317 (2006), 1–13. doi: 10.1016/j.jmaa.2004.07.016
    [28] R. E. Gaines, J. L. Mawhin, Coincidence degree, and Nonlinear Differential equation, Lecture notes in Mathematics, vol.568 Berlin: Springer-Verlag, 1977.
    [29] D. O'Regan, Existence Theory for Nonlinear Ordinary Differential Equations. Kluwer Academic. Dordrecht. 1997
    [30] H. L. Smith, On the small oscillations of the periodic Rayleigh equation, Quart. Appl. Math., 44 (1986), 223–247. doi: 10.1090/qam/856177
    [31] P. J. Torres, Mathematical Models with Singularities-Zoo of singular Creatures, Atlantis Press, 2015.
    [32] P. J. Torres, Weak singularities may help periodic solutions to exist, J. Differential Equations, 232 (2017), 277–284.
    [33] P. J. Torres, Existence of one-signed periodic solutions of some second-order differential equations via a Krasnoselskii fixedpoint theorem, J. Differential Equations, 190 (2003), 643–662. doi: 10.1016/S0022-0396(02)00152-3
    [34] Z. Wang, T. Ma, Periodic solutions of Rayleigh equations with singularities, Bound. Value Probl., 2015 (2015), 154. doi: 10.1186/s13661-015-0427-0
    [35] Y. Xin, Z. Cheng, Study on a kind of neutral Rayleigh equation with singularity, Bound. Value Probl., 2017 (2017), 92. doi: 10.1186/s13661-017-0824-7
    [36] M. Zhang, Periodic solutions of equations of Emarkov-Pinney type, Adv. Nonlinear Stud., 6 (2006), 57–67.
    [37] M. Zhang, Periodic solutions of damped differential systems with repulsive singular forces, Proc. Amer. Math. Soc., 127 (1999), 401–407. doi: 10.1090/S0002-9939-99-05120-5
  • This article has been cited by:

    1. Ting-Yu Chen, Enhanced Multi-Attribute Ideal-Real comparative analysis with the circular intuitionistic fuzzy framework: Application to hybrid cloud services, 2025, 65, 14740346, 103184, 10.1016/j.aei.2025.103184
  • Reader Comments
  • © 2021 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(2329) PDF downloads(130) Cited by(1)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog