Utilizing the presented Frank operation rules, we proceed to introduce a set of weighted aggregation operators for p,qROFNs.
4.1. p,qROF Frank Averaging Aggregation Operators
Definition 6. Consider as a set of p,qROFNs, then the p,qROF Frank weighted averaging operator (p,qROFWA) iswhere represents the weight vector associated with , satisfying the conditions and . In particular, when , the p,qROF Frank weighted averaging (p,qROFFWA) operator simplifies to the p,qROF fuzzy Frank averaging (p,qROFFA) operator of dimension j, given by Theorem 3. Consider as a collection of p,qROFNs, then the resultant output by employing the p,qROFFWA operator remains a p,qROFN, and Proof. We verify this through a mathematical induction process based on j.
For , we have
Hence, the outcome is valid when .
Assuming that Equation (14) is true for , let us examine the case where , yielding
Thus, the outcome remains valid for . As a result, using the approach of mathematical induction, the assertion presented in Equation (14) is applicable to all positive integer values of j. □
Example 1. Let and be three p,qROFNs, and be the weight vector of . Suppose , then by Definition 6 and Theorem 3, we can obtain ()
Theorem 4. Consider as a set of p,qROFNs, and let . As , the p,qROFFWA operator tends to the following limit: Proof. As , then
Using the logarithmic property and the principle of infinitesimal changes, we obtain
Utilizing Taylor’s expansion formula, we obtain
Also, since , then
It follows that
In a similar fashion, we can obtain .
Then, we have
which completes the proof. □
Theorem 5. Consider as a collection of p,qROFNs, and let . As , the p,qROFFWA operator tends to the following limit: Proof. In accordance with Theorem 3, we obtain
Applying limit rules, the logarithmic transformation, and L’Hôpital’s rule, we can deduce that
which ends the validation of Theorem 5. □
Theorem 6. (Idempotency) Let be a series of p,qROFNs; if , then Proof. Since for all g, and , according to Theorem 3, we obtain
Hence, the proof is finalized. □
Theorem 7. (Monotonicity) Let and be two families of p,qROFNs such that and , then Proof. As per Definition 3, when and , then
Thus,
Hence, □
Theorem 8. (Boundedness) Let be a series of p,qROFNs, and let , , then Proof. Since for all , and , thus, relying on idempotency and monotonicity, we obtain
. □
Theorem 9. (Shift-invariance) Consider as a set of p,qROFNs and as another p,qROFN. In this context, we have Theorem 10. (Homogeneity) Consider as a set of p,qROFNs, and let be any real number. Then, we have The derivation of the aforementioned two theorems can be straightforwardly obtained through the presented Frank operational rules of p,qROFNs. However, due to space limitations, we omit the proof here.
Using the operational rules outlined in Definition 5, we analyze the subsequent results.
Definition 7. Consider as a set of p,qROFNs. Then, the p,qROF fuzzy Frank ordered weighted averaging (p,qROFFOWA) operator is defined as follows:where is the position weights of satisfying and . is a permutation of , so that for Theorem 11. Consider as a set of p,qROFNs. Then, the result attained through the p,qROFFOWA operator remains a p,qROFN, and Proof. The proof of this outcome follows an analogous approach to that of Theorem 3, and is therefore omitted here. □
Example 2. Let and represent three p,qROFNs. In accordance with Definition 3, when ,
,
Since , we have , , and , and is the weight vector associated with the p,qROFFOWA operator. Assuming , then based on Definition 7 and Theorem 11, we can derive
Theorem 12. Consider as a set of p,qROFNs, and let . As , the p,qROFFOWA operator tends towards the following limit: Theorem 13. Consider as a set of p,qROFNs, and let . As , the p,qROFFOWA operator converges to the following limit: Just like the p,qROFFWA operator, the p,qROFFOWA operator exhibits properties of boundedness, idempotency, monotonicity, shift-invariance, and homogeneity. In addition to these properties, the p,qROFFOWA operator presents the following desired outcomes.
Theorem 14. Consider as a set of p,qROFNs. Then, the following holds:
- (i)
If , then .
- (ii)
If , then .
- (iii)
If and , then , where is the gth largest of .
Considering the definitions of the
p,qROFFWA and
p,qROFFOWA operators, it becomes evident that the
p,qROFFWA operator solely assigns weights to the
p,qROFNs, while the
p,qROFFOWA operator exclusively focuses on the ordered positions of
p,qROFNs. In practical real-world scenarios, both aspects should be simultaneously considered. To overcome this limitation, we introduce a solution by defining a hybrid averaging operator [
26] based on the Frank t-norm and t-conorm. This hybrid operator takes into account both the provided
p,qROFNs and their corresponding ordered positions.
Definition 8. Consider as a set of p,qROFNs. In this context, the p,qROF fuzzy Frank hybrid averaging (p,qROFFHA) operator is defined as follows:where is the weight vector associated with p,qROFFHA such that and , is the weight vector of such that and . is the gth largest of the weighted p,qROFNs and j is the balancing coefficient. Theorem 15. Let be a series of p,qROFNs, then the result obtained by using the p,qROFFHA operator is still a p,qROFN, and Proof. The proof needed for this result resembles that of Theorem 3, thus we skip it here. □
Example 3. Let , and be three p,qROFNs (p = 3, q = 2), and be the weight vector of . Assume , then, based on Definition 5, we can compute the weighted p,qROFNs:
As per Definition 3, we can acquire the score of
,
Since , we have and Suppose is the weight vector associated with the p,qROFFHA operator, we can deduce from Definition 8 and Theorem 15 the following outcome:
Theorem 16. Consider a series of p,qROFNs denoted as , where , and let . As ß approaches 1, the p,qROFFHA operator tends towards the following limit: Theorem 17. Consider the set , where , constitutes a set of p,qROFNs. Additionally, let . When ß tends towards infinity, the p,qROFFHA operator converges to the following limit: Just like the properties observed in the p,qROFFWA operator, the p,qROFFHA operator exhibits characteristics of boundedness, idempotency, monotonicity, shift-invariance, and homogeneity. In addition to these traits, the p,qROFFHA operator presents the following special cases:
Corollary 1. The p,qROFFWA operator is a special case of the p,qROFFHA operator.
Proof. Let then
□
Corollary 2. The p,qROFFOWA operator is a special case of the p,qROFFHA operator.
Proof. Let then
□
4.2. p,qROF Frank Geometric Aggregation Operators
The present section is dedicated to presenting a sequence of p,qROF fuzzy Frank geometric aggregation operators, which stem from the introduced Frank operations. Within the realm of geometric aggregation operators, we delve into an exploration of the p,qROFFWG, p,qROFFOWG, and p,qROFFHWG operators. Additionally, we provide fundamental definitions, observations, and outcomes, including corollaries, associated with these operators that are grounded in the utilization of the Frank t-norm and t-conorm.
Definition 9. Consider the collection , where represents a set of p,qROFNs. In this context, the p,qROF fuzzy Frank weighted geometric operator, denoted as (p,qROFFWG), is defined as follows: where represents the weight vector of , wherein and the sum over g from 1 to j yields . Notably, if , then the p,qROFFWG operator simplifies to the p,qROF fuzzy Frank geometric (p,qROFFG) operator of dimension j, and its formulation is as follows: Theorem 18. Consider the set , where denotes a series of p,qROFNs. Then, the result yielded by utilizing the p,qROFFWG operator remains a p,qROFN, and this outcome can be expressed as Proof. We establish its validity through mathematical induction based on the value of j.
When , we observe that
Hence, the result remains valid for .
Assuming that Equation (32) is true for , we can demonstrate that for the following applies:
Therefore, the outcome is valid for . Consequently, by employing the approach of mathematical induction, the result as presented in Equation (32) is established for all positive integers j. □
Example 4. (Continued from Example 1) In accordance with Definition 9 and Theorem 18, it can be deduced that
Theorem 19. Consider the set for , which constitutes a series of p,qROFNs. Additionally, let . As ß approaches 1, the p,qROFFWG operator converges towards the following limit: Proof. As ß approaches 1, the expression tends to converge to the point due to the logarithmic property and the application of the rule of infinitesimal changes. This can be expressed as
Utilizing Taylor’s expansion formula, we obtain
Also, since , then
It follows that
Similarly, we can acquire
Then, we have
which ends the proof. □
Theorem 20. Consider the set for , forming a series of p,qROFNs. Additionally, let . As , the p,qROFFWG operator approaches the following limit: Proof. In accordance with Theorem 18, it follows that
Utilizing limit principles, logarithmic transform, and L’Hôpital’s rule, it can be deduced that
which ends the proof of Theorem 18. □
Theorem 21. (Idempotency) Consider , where is a set of p,qROFNs. If for all values of g, then Proof. Given that holds for all values of g, and , it follows from Theorem 18 that
Hence, the proof is concluded. □
Theorem 22. (Monotonicity) Consider and , two classes of p,qROFNs, so that and , then Proof. As per Definition 3, when and , then
Thus, .
Hence, □
Theorem 23. (Boundedness) Consider is a class of p,qROFNs, and let , , then Proof. Since for all , and , based on the principles of idempotency and monotonicity, we obtain
. □
Theorem 24. (Shift-invariance) Let be a series of p,qROFNs and be any other p,qROFNs, then Theorem 25. (Homogeneity) Let be a series of p,qROFNs and be any real number, then The validation of the aforementioned pair of theorems can be readily deduced from the presented operational rules of p,qROFNs. However, due to limitations in space, we abstain from presenting it here.
Definition 10. Consider to be a class of p,qROFNs. In this context, the p,qROF fuzzy Frank ordered weighted geometric (p,qROFFOWG) operator can be expressed aswhere is the position weights of satisfying and . is a permutation of such that for Theorem 26. Consider as a class of p,qROFNs, then the result yielded by utilizing the p,qROFFOWG operator is still a p,qROFN, and Proof. The demonstration of this result follows an analogous approach to that of Theorem 18, and thus, we exclude it here. □
Example 5. (Continued from Example 2) As per Definition 10 and Theorem 18, we can obtain
Theorem 27. Consider as a class of p,qROFNs, and . As , the p,qROFFOWG operator tends towards the following limit: Theorem 28. Consider as a class of p,qROFNs, and . As , the p,qROFFOWG operator tends towards the following limit: Just like the properties exhibited by the p,qROFFWG operator, the p,qROFFOWG operator displays characteristics such as boundedness, idempotency, monotonicity, shift-invariance, and homogeneity. Beyond these established properties, the p,qROFFOWG operator has the following results.
Theorem 29. Consider as a class of p,qROFNs, then we have the following:
- (i)
If , then .
- (ii)
If , then .
- (iii)
If and , then , where is the gth largest of .
By examining the definitions of the
p,qROFFWG and
p,qROFFOWG operators, it becomes evident that the
p,qROFFWG operator exclusively assigns weights to the
p,qROFNs, whereas the
p,qROFFOWG operator solely assigns weights to the sequential placement of
p,qROFNs. In practical real-world scenarios, it is imperative to consider both aspects simultaneously. To address this limitation, we introduce the hybrid geometric operator [
26], which is based on the Frank t-norm and t-conorm. This operator assigns weights to the given
p,qROFNs and their respective ordered positions.
Definition 11. Let be a series of p,qROFNs, then the p,qROF fuzzy Frank hybrid geometric (p,qROFFHG) operator iswhere is the weight vector associated with p,qROFFHG such that and , is the weight vector of such that and . is the gth largest of the weighted p,qROFNs and j is the balancing coefficient. Theorem 30. Consider as a class of p,qROFNs, then the result derived by utilizing the p,qROFFHG operator is still a p,qROFN, and Proof. The verification of this result follows a pattern akin to the proof presented in Theorem 18, and hence, we exclude it here. □
Example 6. (Continued from Example 3) Utilizing Definition 5, we can derive the weighted p,qROFNs as follows:
Using Definition 3, we obtain the score of
,
Since , we have and Assume is the weight vector associated with the p,qROFFHG operator. Then, by Definition 11 and Theorem 30, the following can be deduced:
Theorem 31. Consider as a class of p,qROFNs, and . As , the p,qROFFHG operator tends towards the following limit: Theorem 32. Consider as a class of p,qROFNs, and . As , the p,qROFFHG operator converges to the following limit: Similar to the properties exhibited by the p,qROFFWG operator, the p,qROFFHG operator demonstrates boundedness, idempotency, monotonicity, shift-invariance, and homogeneity. In addition to these properties, the p,qROFFHG operator also encompasses the following special cases.
Corollary 3. The p,qROFFWG operator is a particular case of the p,qROFFHG operator.
Proof. Let then
□
Corollary 4. The p,qROFFOWG operator is a particular case of the p,qROFFHG operator.
Proof. Let then
□