Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 9s (2025) 277 https://internationalpubls.com Quasi D-Limits Of Bounded Sequences And Regular Matrices Sakambari Mishra1, Balaji Padhy2* 1 Department of Mathematics, College of Basic Science and Humanities, Odisha University of Agriculture and Technology, Bhubaneswar 751003, Odisha, India. Email ID: sakambari@ouat.ac.in (S.Mishra) *2 Department of Mathematics, Centurion University of Technology and Management, Paralakhemundi 761211, Odisha, India. E-mail: balaji.padhy@cutm.ac.in βˆ—Corresponding author Article History: Received: 14-11-2024 Revised:26-12-2024 Accepted:10-01-2025 Abstract: In this paper, we explore the concept of quasi-D-limits for bounded sequences through the nonnegative regular matrix transformation D. Quasi D-limits extend spaces of D- limits notions, providing a framework to analyse the convergence properties of sequences that exhibit specific bounded behaviour. We establish criteria for quasi-D- limits, demonstrate their existence via regular matrix transformations, and apply these results to various mathematical and applied contexts. 2010 Mathematics Subject Classification: Primary 40A05. Secondary 40C05. Key Words. Linear functional, D-limit, D-Invariant, regular matrices and quasi-D- convergence. 1. Introduction: The study of limits in sequence convergence has been a foundational aspect of analysis. In particular, bounded sequences whose terms are confined within a specific range often require advanced techniques to elucidate their limiting behaviour. quasi-D-limits offer an innovative approach, enabling us to extend conventional limit concepts. The idea of Quasi almost convergence in normed space was featured by Hajdukovic[4]. Further the concept of quasi Banach limit is introduced by Das and Mishra in [3] and the concept of quasi-invariant limit is recently explained by Mishra[5] in the space of real bounded sequences which yields quasi- invariant convergent sequences. This paper aims to investigate the quasi-D-limits of bounded sequences utilizing matrix transformations. We first introduce the necessary background on quasi-D-limits and matrix transformations, followed by an exploration of their interrelations. 2. Preliminaries: Let π‘š be the space of real bounded sequences π‘₯ = {π‘₯𝑛} normed by β€–π‘₯β€– = sup 𝑛 |π‘₯𝑛|. Let π‘šβˆ— denote the set of all continuous linear functional on m. Throughout this work, we have used an infinite matrix D whose scalar entries π‘‘π‘›π‘˜ are in π‘š. Consider a sequence π‘₯ in π‘š. Let 𝐷π‘₯ be the transformed sequence whose general term is written as (𝐷π‘₯)𝑛 = βˆ‘ π‘‘π‘›π‘˜π‘₯π‘˜ ∞ π‘˜=0 and it is convergent for each 𝑛 β‰₯ 0. Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 9s (2025) 278 https://internationalpubls.com Let us recall the definition of conservative matrix ( due to Stieglitz [8]). Definition 1: A matrix 𝐷 = (π‘‘π‘›π‘˜) is said to be conservative matrix iff it satisfies the following properties: (a) ‖𝐷‖ < ∞ i.e., sup 𝑛 βˆ‘ |π‘‘π‘›π‘˜| < ∞.∞ π‘˜=0 (b) lim 𝑛 π‘‘π‘›π‘˜ = π‘‘π‘˜ for every fixed k. (c) lim 𝑛 βˆ‘ π‘‘π‘›π‘˜ = 𝑑 ∞ π‘˜=0 . If π‘‘π‘˜ = 0 and 𝑑 = 1, then 𝐷 is called regular (see [9] p.64). Let 𝐷 = (π‘‘π‘›π‘˜) be the a fixed regular matrix with ‖𝐷‖ < 1( This is assumed throughout the paper). Definition 2: A linear functional πœ“ ∈ π‘šβˆ— is said to be an 𝐷-mean or 𝐷-limit if and only if the following properties hold good: (i) For π‘₯ = {π‘₯𝑛} , πœ“(π‘₯) β‰₯ 0 if π‘₯𝑛 β‰₯ 0 for all 𝑛. (ii) πœ“(𝑒) = 1 for 𝑒 = (1,1,1, … . ). (iii) πœ“(𝐷π‘₯) = πœ“(π‘₯) for all π‘₯ πœ– π‘š . Let 𝐷 = 𝐡 be the translation matrix i.e. (𝐡π‘₯)𝑛 = π‘₯𝑛+1 then it is called a 𝐡 -limit and is often called as a Banach limit [1]. Some inequalities are shown in [6] between sublinear functionals emerging from Banach limits of some sequences and their matrix transformations using conservative and regular matrices. Definition 3: A matrix 𝐢 ∈ π‘š is called a 𝐷-Invariant matrix if 𝐢(𝐷 βˆ’ 𝐼) behaves as a zero map and maps every bounded sequence to null sequence. (I is the Identity matrix.) The concept of 𝐷-limits were first introduced by Bell[2], where he assumed that 𝐷 is a positive matrix such that ‖𝐷‖ = 1. From definition of 𝐷-limit , it follows that π‘₯ ≀ 𝑦 β‡’ πœ“(π‘₯) ≀ πœ“(𝑦) . and from (i) and (ii) that β€–πœ“β€– = 1. Here the product of 𝐷 with itself 𝑝 times is denoted by 𝐷𝑝. Let 𝑄𝐷 be the set of all bounded sequences having equal 𝐷-means. So, we can write 𝑄𝐷 = {π‘₯ ∈ π‘š: lim 𝑝 β„Žπ‘π‘›(π‘₯) = 𝑙 uniformly in 𝑛, 𝑙 = 𝐷 βˆ’ π‘™π‘–π‘šπ‘₯} where for 𝑝 β‰₯ 0, 𝑛 > 0. β„Žπ‘π‘›(π‘₯) = π‘₯𝑛+(𝐷π‘₯)𝑛+β‹―+(𝐷 𝑝π‘₯)𝑛 𝑝+1 . ( 2.1) We know that a sublinear functional P on π‘š generates 𝐷-limit if πœ“ ∈ π‘šβˆ—and πœ“ < 𝑃 β‡’ πœ“ is a 𝐷-limit. Here πœ“ < 𝑃 π‘šπ‘’π‘Žπ‘›π‘  πœ“(π‘₯) ≀ 𝑃(π‘₯) for all π‘₯ ∈ π‘š. P is said to dominate 𝐷-limit if every 𝐷-limit Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 9s (2025) 279 https://internationalpubls.com πœ“ < 𝑃. i.e. πœ“ ∈ 𝑄𝐷 β‡’ πœ“ < 𝑃, where 𝑄𝐷 is the set of all 𝐷-limits. It is provided that 𝑄𝐷 is a closed convex set. It is proved that πœ“ ∈ π‘šβˆ— is a 𝐷-limit if and only if πœ“(π‘₯) ≀ 𝑑(π‘₯) ,where 𝑑(π‘₯) is a sublinear functional on π‘š defined by 𝑑(π‘₯) = lim 𝑝 𝑠𝑒𝑝 sup 𝑛 β„Žπ‘π‘›(π‘₯). i.e. 𝑑(π‘₯) = lim 𝑝 𝑠𝑒𝑝 sup 𝑛 1 𝑝+1 βˆ‘ (π·π‘˜π‘₯)𝑛 𝑝 π‘˜=0 . (2.2) We now take the idea from above and purpose the following definition for a new family of functionals of the kind of 𝐷-mean called quasi 𝐷-limit. Definition 4: The linear functional πœ“ ∈ π‘šβˆ— is a quasi 𝐷-mean or quasi 𝐷-limit or quasi matrix invariant limit if πœ“(π‘₯) ≀ π‘Ÿ(π‘₯) , π‘₯ ∈ π‘š, where π‘Ÿ(π‘₯) is a sublinear functional on π‘š defined by . π‘Ÿ(π‘₯) = lim 𝑝 𝑠𝑒𝑝 sup 𝑛 1 𝑝+1 βˆ‘ (π·π‘˜π‘₯)𝑛𝑝 𝑝 π‘˜=0 . (2.3) . Quasi 𝐷-limit need not exist for every regular matrix. Example 1: Consider π‘‘π‘›π‘˜ = { 1 , 𝑖𝑓 π‘˜ = 2𝑛 0 , 𝑖𝑓 π‘˜ > 2𝑛 1 𝑛 , 𝑖𝑓 π‘˜ 𝑖𝑠 𝑒𝑣𝑒𝑛 1 ≀ π‘˜ ≀ 2𝑛 βˆ’1 𝑛 , 𝑖𝑓 π‘˜ 𝑖𝑠 π‘œπ‘‘π‘‘, 1 ≀ π‘˜ ≀ 2𝑛 Here 𝐷 is regular. So, for π‘₯ = {1,0,1,0, … . . }, 𝐷π‘₯ = {βˆ’1,βˆ’1,βˆ’1,βˆ’1,… . . }. If πœ“ is a quasi 𝐷-limit then 0 ≀ πœ“(π‘₯) = πœ“(𝐷π‘₯) = βˆ’1 which is impossible. So quasi 𝐷-limit does not exist. We now propose the following definitions for new kind of 𝐷-convergent sequences, called as quasi 𝐷-convergent sequence. For this we define it as follows Definition 5: A sequence π‘₯ ∈ π‘š is called a quasi 𝐷-convergent sequence if βˆ’π‘Ÿ(βˆ’π‘₯) = π‘Ÿ(π‘₯). The following theorem is known. Theorem A [10]: For all π‘₯ ∈ π‘š, the sublinear functional 𝑑(π‘₯) both generates and dominates 𝐷-limit πœ“(π‘₯) if and only if πœ“(π‘₯) ≀ 𝑑(π‘₯). Applying the above theorem, we will prove some new results for the sublinear functional π‘Ÿ(π‘₯), where these are based on the idea of quasi Banach Limit defined in [3] , quasi invariant limits and their convergence suggested by Mishra[5] and Nuray[7]. 3. Main Results: Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 9s (2025) 280 https://internationalpubls.com Now we are going to prove a theorem on existence o 𝐷-limit and then establish some inequalities on quasi 𝐷-limit . Theorem 1: (Existence Theorem) If there is a nonnegative regular and 𝐷-invariant matrix then 𝐷-limits exist or quasi 𝐷-limits exist. Proof: Suppose 𝐢 is such a nonnegative regular 𝐷-invariant matrix. Define a nonnegative homogeneous sublinear functional 𝑝 on π‘š by 𝑝(π‘₯) = limsup𝐢π‘₯ .If π‘₯ is a convergent sequence, then by regularity of 𝐢 we get lim π‘₯ = 𝑝(π‘₯) . Therefore, extending the above limit to πœ“ we have πœ“(π‘₯) ≀ 𝑝(π‘₯) for all π‘₯ ∈ π‘š. Thus, βˆ’π‘(βˆ’π‘₯) ≀ βˆ’ πœ“(βˆ’π‘₯) = πœ“(π‘₯) ≀ 𝑝(π‘₯) for all π‘₯ ∈ π‘š. Since 𝐢 is nonnegative ,we have 0 ≀ liminf 𝐢π‘₯ ≀ πœ“(π‘₯).This implies πœ“ is nonnegative. Here we have 𝐢(𝐷 βˆ’ 𝐼)π‘₯ = 0.Therefore βˆ’π‘(βˆ’(𝐷 βˆ’ 𝐼)π‘₯) = 0 = 𝑝((𝐷 βˆ’ 𝐼)π‘₯) which implies πœ“((𝐷 βˆ’ 𝐼)π‘₯) = 0. Hence, πœ“ is a 𝐷-limit. Considering 𝑝(π‘₯) as equal to the sublinear functional in (2.3),we can say that πœ“ is a quasi 𝐷-limit . Example 2: Cesaro matrix is a nonnegative regular 𝐡 -Invariant matrix. So, its quasi Banach limit[3] exists. If we define π‘‘π‘›π‘˜ = { 1 𝑛 , 𝑖𝑓 1 ≀ π‘˜ ≀ 𝑛 0 , π‘’π‘™π‘ π‘’π‘€β„Žπ‘’π‘Ÿπ‘’ (3.1) then the matrix 𝐷 = (π‘‘π‘›π‘˜) is a Cesaro matrix of order one which is a translation matrix and its quasi 𝐷-limit [3] or quasi Banach limit exists as it is a nonnegative, regular and 𝐷(= 𝐡)- Invariant matrix. Theorem 2: For all π‘₯ ∈ π‘š, the sublinear functional π‘Ÿ(π‘₯) generates 𝐷-limit . Proof: We first proceed to prove that the sublinear functional πœ“ ∈ π‘šβˆ— generates 𝐷-mean. Let πœ“ ∈ π‘šβˆ— and satisfies the inequality πœ“(π‘₯) ≀ π‘Ÿ(π‘₯) for all π‘₯ ∈ π‘š (3.2) So by linearity of πœ“(π‘₯)and sub-linearity of π‘Ÿ(π‘₯) we have from (3.2), that is βˆ’π‘Ÿ(βˆ’π‘₯) ≀ πœ“(π‘₯) ≀ π‘Ÿ(π‘₯) (3.3) This indicates that for π‘₯ β‰₯ 0 implies π‘Ÿ(π‘₯) β‰₯ 0 and βˆ’π‘Ÿ(βˆ’π‘₯) β‰₯ 0 and so from (3.3), we get πœ“(π‘₯) β‰₯ 0, for all π‘₯ β‰₯ 0. Also βˆ’π‘Ÿ(βˆ’π‘’) = π‘Ÿ(𝑒) = 1, where 𝑒 = (1,1,1,1,… . ,1). Hence from (3.3), we get πœ“(𝑒) = 1. Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 9s (2025) 281 https://internationalpubls.com Taking 𝐷 as a nonnegative regular matrix, we have limsup 𝑝 sup 𝑛 1 𝑝 + 1 βˆ‘(π·π‘˜+1βˆ’π·π‘˜)π‘₯𝑛𝑝 𝑝 π‘˜=0 = limsup 𝑝 sup 𝑛 (𝐷𝑝+1βˆ’πΌ)π‘₯𝑛𝑝 𝑝 + 1 ≀ β€–π‘₯β€– limsup 𝑝 1 𝑝+1 = 0. This shows π‘Ÿ(𝐷π‘₯ βˆ’ π‘₯) = 0. Similarly, we also obtained π‘Ÿ(π‘₯ βˆ’ 𝐷π‘₯) = 0. Hence from (3.3) we have πœ“(𝐷π‘₯ βˆ’ π‘₯) = 0. Since πœ“ is linear, πœ“(𝐷π‘₯) = πœ“(π‘₯), π‘₯ ∈ π‘š. This proves that πœ“(π‘₯) ≀ π‘Ÿ(π‘₯) β‡’ πœ“ is a 𝐷-limit (3.4) So π‘Ÿ(π‘₯) also generates 𝐷 –limit as required. Note: From above we say that π‘Ÿ(π‘₯) also generates quasi 𝐷 -limit. Next consider πœ“ is a quasi 𝐷-limit. Then πœ“(π‘₯𝑛𝑝) = πœ“(𝐷π‘₯)𝑛𝑝 = πœ“(𝐷2π‘₯)𝑛𝑝 = ⋯… = πœ“(𝐷𝑝π‘₯)𝑛𝑝 This implies πœ“(π‘₯) = πœ“ ( π‘₯𝑛𝑝+(𝐷π‘₯)𝑛𝑝+(𝐷 2π‘₯)𝑛𝑝+⋯…+(𝐷 𝑝π‘₯)𝑛𝑝 𝑝+1 ) ≀ limsup 𝑝 sup 𝑛 ( π‘₯𝑛𝑝+(𝐷π‘₯)𝑛𝑝+(𝐷 2π‘₯)𝑛𝑝+⋯…+(𝐷 𝑝π‘₯)𝑛𝑝 𝑝+1 ) = π‘Ÿ(π‘₯) i.e., π‘Ÿ(π‘₯) dominates quasi 𝐷 –limit. Theorem 3: Let 𝑑(π‘₯) and π‘Ÿ(π‘₯) be two sublinear functionals defined in (2.2) and (2.3) respectively.Then π‘Ÿ(π‘₯) ≀ 𝑑(π‘₯) for all π‘₯ ∈ π‘š . Proof: Combining the given condition of (3.4) and the inequality of Theorem A, we will get that for all πœ“ ∈ π‘šβˆ—. πœ“(π‘₯) ≀ π‘Ÿ(π‘₯) β‡’ πœ“(π‘₯) ≀ 𝑑(π‘₯) (3.5) claim : π‘Ÿ(π‘₯) ≀ 𝑑(π‘₯) for all π‘₯ ∈ π‘š . (3.6) Suppose to the contrary, that (3.6) is false. Then there exists a sequence 𝑦 ∈ π‘š such that π‘Ÿ(𝑦) > 𝑑(𝑦) . (3.7) Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 9s (2025) 282 https://internationalpubls.com Since π‘Ÿ is sublinear, by Hahn-Banach Theorem, there exist a linear functional 𝑔 on π‘š such that 𝑔(𝑦) = π‘Ÿ(𝑦) . From (3.7), it follows that 𝑔(𝑦) > 𝑑(𝑦) . However, from the given condition (3.5), we know that for all πœ“ ∈ π‘šβˆ— πœ“(π‘₯) ≀ π‘Ÿ(π‘₯) β‡’ πœ“(π‘₯) ≀ 𝑑(π‘₯) Substituting 𝑔(𝑦) into this condition, we have: 𝑔(𝑦) ≀ 𝑑(𝑦) which contradicts our earlier assertion 𝑔(𝑦) > 𝑑(𝑦) Thus, our assumption that 𝑔(𝑦) > 𝑑(𝑦) is untenable. Therefore, we conclude that: π‘Ÿ(π‘₯) ≀ 𝑑(π‘₯) for all π‘₯ ∈ π‘š. (3.8) Hence proved the result. Next, we are going to prove an important corollary of above theorem. From the definition and from above theorem, the set of 𝐷-convergent sequences 𝑄𝐷 also can be written as: 𝑄𝐷 = {π‘₯ ∈ π‘š: βˆ’π‘‘(βˆ’π‘₯) = 𝑑(π‘₯)} . (3.9) This identifies the structure of sequences π‘₯ for which βˆ’π‘‘(βˆ’π‘₯) = 𝑑(π‘₯) which are also referred to define quasi 𝐷-convergent sequences. We denote the set of quasi 𝐷-convergent sequences as 𝑄𝐷 βˆ— where 𝑄𝐷 βˆ— = {π‘₯ ∈ π‘š: βˆ’π‘Ÿ(βˆ’π‘₯) = π‘Ÿ(π‘₯)} . (3.10) Then we now prove the following corollary. Corollary: 𝑄𝐷 βŠ† 𝑄𝐷 βˆ— where 𝑄𝐷 is the set of 𝐷-convergent sequences, and 𝑄𝐷 βˆ—is the set of quasi 𝐷-convergent sequences. Proof: Since 𝑑(π‘₯) and π‘Ÿ(π‘₯) are sublinear, it follows from above theorem that βˆ’π‘‘(βˆ’π‘₯) ≀ βˆ’π‘Ÿ(βˆ’π‘₯) ≀ π‘Ÿ(π‘₯) ≀ 𝑑(π‘₯) for all π‘₯ ∈ π‘š. If π‘₯ ∈ 𝑄𝐷 then by definition, βˆ’π‘‘(βˆ’π‘₯) = 𝑑(π‘₯) Substituting this condition into the chain of inequalities above, we have: βˆ’π‘‘(βˆ’π‘₯) = 𝑑(π‘₯) β‡’ βˆ’π‘Ÿ(βˆ’π‘₯) = π‘Ÿ(π‘₯). This implies that π‘₯ ∈ 𝑄𝐷 βˆ—, where 𝑄𝐷 βˆ—represents the set of quasi 𝐷-convergent sequences. Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 9s (2025) 283 https://internationalpubls.com Thus, every π‘₯ ∈ 𝑄𝐷 ( 𝐷-convergent sequence) is also an element of 𝑄𝐷 βˆ—(quasi 𝐷-convergent sequence). Therefore, we conclude that: 𝑄𝐷 βŠ† 𝑄𝐷 βˆ— This completes the proof. 4. Conclusion: This study presented the quasi 𝐷-limit for bounded sequences and demonstrated their existence using matrix transformations. The findings indicate that matrix transformations are an effective tool for examining the limiting behaviour of various types of sequences within their respective spaces. Furthermore, the inclusions for quasi 𝐷-limit convergent and 𝐷-convergent sequences pave the way for more in-depth sequence analysis. These findings have major implications for a variety of mathematical topics, including functional analysis, topology, and numerical analysis, while also laying the groundwork for future study into the interactions between sequence spaces and their transformations. References : [1] Banach, S. "ThΓ©orie des opΓ©rations linΓ©aires”, Chelsea Publ. Co., New York (1955): 17- 175. [2] Bell, Howard T. "S-limits and A-summability", Proceedings of the American Mathematical Society (1976): 49-53. [3] Das, Gokulananda , Mishra, Sakambari and Ray,Braja Kishore. β€œQuasi Banach limits”, Journal of Odisha Mathematical Society, V.30,No1(2011), p.111-114 . [4] HajdukoviΔ‡, Dimitrije. "Quasi-almost convergence in a normed space", Univ. Beograd. Publikacije Elektrotehničkog fakulteta. Serija Matematika ,Vol 13, No 3(2002): 36-41. [5] Mishra, Sakambari ” Quasi Invariant limits”, Journal of Orissa Mathematical Society,V- 43,No1-2(2024), p.29-33. [6] Mishra, Sakambari, Das, G. and Ray,B.K. β€œBanach and Knopp’s core threorems and classes of conservative matrices β€œ, Azerbaijan Journal of Mathematics, V.15,No1.(2025), p.11-24. [7] Nuray, Fatih. β€œQuasi-Invariant convergence in a normed space β€œ, Annals of the University of Craiova, Mathematics and Computer Science Series, V.41, No1(2014), p.1- 5. [8] Stieglitz, Michael. "Eine verallgemeinerung des begriffs der fastkonvergenz",Math. Japon 18, no. 1 (1973): 53-70. [9] Toeplitz, Otto. "Über allgemeine lineare Mittelbildungen." Prace matematyczno- fizyczne 22, no. 1 (1911): 113-119. [10] Tripathy,Nandita.: Ph.D thesis , approved by Utkal Univ. BBSR(Orissa),2006.