Novel fixed point theorems for order-theoretic enriched contractions with applications to boundary value problems and matrix equations

  • Mohammad Akram orcid

    Department of Mathematics, Faculty of Science, Islamic University of Madinah, Madinah 42351, Saudi Arabia
  • Umar Ishtiaq orcid

    Office of Research, Innovation and Commercialization, University of Management and Technology, Lahore 54770, Pakistan; Software Development Department, Biruni University, 34010 Istanbul, Turkey; Research Center of Applied Mathematics, Khazar University, Baku AZ1096, Azerbaijan
  • Muhammad Din

    Abdus Salam School of Mathematical Sciences, Government College University, Lahore 54600, Pakistan
  • Ioan-Lucian Popa

    Department of Computing, Mathematics and Electronics, “1 Decembrie 1918” University of Alba Iulia, 510009 Alba Iulia, Romania; Faculty of Mathematics and Computer Science, Transilvania University of Brasov, 500091 Brasov, Romania
Article ID: 4602
DOI: https://doi.org/10.59400/adecp4602
Keywords: fixed point; enriched contraction; binary relation; order-theoretic contraction; almost contraction; Krasnoselskii iteration; matrix equation; fractional differential equation

Abstract

This work puts forward a family of operators, which we term enriched ∇-preserving contractions, acting on a normed space carrying an arbitrary binary relation ∇. The family gathers several familiar classes under one roof: Banach contractions, order-theoretic contractions, and certain nonexpansive maps, among them averaged maps whose fixed points lie beyond the reach of ordinary contraction arguments; all arise through suitable choices of the constants and of the relation. Working in this relational framework, we show that any such operator admits a fixed point, even though its defining contractive estimate is demanded only on ∇-related pairs rather than across the whole space. A device used repeatedly is the symmetry of the norm: it forces ∇ and its symmetric closure to act compatibly with the operator, and this is what keeps the fixed-point conclusions meaningful. The fixed points themselves are located through the Krasnoselskii iteration, and a path criterion formulated in the symmetric closure of ∇ then yields their uniqueness; an almost contraction variant of the scheme is treated as well. By way of application, the theory settles the solvability, and under the stated hypotheses the uniqueness, of solutions to a Caputo fractional boundary value problem with an integral condition and to a nonlinear matrix equation. Numerical experiments over several groups of Lipschitz coefficients confirm the convergence threshold predicted by the theory, and the iteration is compared with Riemann-Hilbert analysis, Lie group integrators, physics-informed neural networks, and neural symbolic derivation tools, so that strengths and limits of the framework can be judged objectively.

Published
2026-08-28
How to Cite
Akram, M., Ishtiaq, U., Din, M., & Popa, I.-L. (2026). Novel fixed point theorems for order-theoretic enriched contractions with applications to boundary value problems and matrix equations. Advances in Differential Equations and Control Processes, 33(3). https://doi.org/10.59400/adecp4602
Issue
Vol. 33 No. 3 (2026): In Progress
Section
Articles

Copyright (c) 2026 Mohammad Akram, Umar Ishtiaq, Muhammad Din, Ioan-Lucian Popa

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

References

[1]Banach S. Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundamenta Mathematicae. 1922; 3(1): 133–181.

[2]Alam A, Imdad M. Relation-theoretic contraction principle. Journal of Fixed Point Theory and Applications. 2015; 17(4): 693–702.

[3]Din FU, Din M, Ishtiaq U, et al. Perov fixed-point results on F-contraction mappings equipped with binary relation. Mathematics. 2023; 11(1): 238.

[4]Alam A, George R, Imdad M. Refinements to relation-theoretic contraction principle. Axioms. 2022; 11(7): 316.

[5]Khan FA. Almost contractions under binary relations. Axioms. 2022; 11(9): 441.

[6]Algehyne EA, Aldhabani MS, Khan FA. Relational contractions involving (c)-comparison functions with applications to boundary value problems. Mathematics. 2023; 11(6): 1277.

[7]Alamer A, Eljaneid NHE, Aldhabani MS, et al. Geraghty type contractions in relational metric space with applications to fractional differential equations. Fractal and Fractional. 2023; 7(7): 565.

[8]Tariq M, Arshad M, Abbas M, et al. A relation theoretic m-metric fixed point algorithm and related applications. AIMS Mathematics. 2023; 8(8): 19504–19525.

[9]Alshaban E, Alatawi A, Alamrani FM, et al. Nonlinear almost contractions of Pant type under binary relations with an application to boundary value problems. Mathematics. 2025; 13(6): 906.

[10]Berinde V, Păcurar M. Approximating fixed points of enriched contractions in Banach spaces. Journal of Fixed Point Theory and Applications. 2020; 22(2): 38.

[11]Berinde V, Păcurar M. Fixed point theorems for Kannan type mappings with applications to split feasibility and variational inequality problems. arXiv preprint. 2019; arXiv:1909.02379.

[12]Berinde V, Păcurar M. Fixed point theorems for enriched Ćirić-Reich-Rus contractions in Banach spaces and convex metric spaces. Carpathian Journal of Mathematics. 2021; 37(2): 173–184.

[13]Berinde V, Harjani J, Sadarangani K. Existence and approximation of fixed points of enriched φ-contractions in Banach spaces. Mathematics. 2022; 10(21): 4138.

[14]Ishtiaq U, Din M, Rohen Y, et al. Certain fixed-point results for (e, ψϕ)-enriched weak contractions via theoretic order with applications. Axioms. 2025; 14(2): 135.

[15]Kuang Y, Tian L. Higher-order soliton solutions for the derivative nonlinear Schrödinger equation via improved Riemann-Hilbert method. Journal of Nonlinear Mathematical Physics. 2024; 31: 58.

[16]Blanco L, Jiménez F, de Lucas J, et al. Geometry-preserving numerical methods for physical systems with finite-dimensional Lie algebras. Journal of Nonlinear Science. 2024; 34: 26.

[17]Raissi M, Perdikaris P, Karniadakis GE. Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations. Journal of Computational Physics. 2019; 378: 686–707.

[18]Pang G, Lu L, Karniadakis GE. fPINNs: Fractional physics-informed neural networks. SIAM Journal on Scientific Computing. 2019; 41(4): A2603–A2626.

[19]Zhou TH, Zhao RM, Yu ZX, et al. Predicting PT-symmetric solitons in competing cubic-quintic saturable medium via enhanced PINN with quadratic residual and reinforcement learning-based sampling. Optics and Laser Technology. 2026; 198: 114887. doi: 10.1016/j.optlastec.2026.114887

[20]Liu Z, Wang Y, Vaidya S, et al. KAN: Kolmogorov-Arnold networks. arXiv preprint. 2024; arXiv:2404.19756.

[21]Zhao ZL, Zhang RF. Artificial Intelligence-Enhanced Mathematical Derivation method: Exact solutions of the Benjamin–Bona–Mahony equation. Engineering Applications of Artificial Intelligence. 2026; 173: 114464. doi: 10.1016/j.engappai.2026.114464

[22]Lipschutz S. Set Theory and Related Topics. McGraw-Hill; 1964.

[23]Alam A, Imdad M. Nonlinear contractions in metric spaces under locally T-transitive binary relations. arXiv preprint. 2015; arXiv:1512.00348.

[24]Alam A, Imdad M. Relation-theoretic metrical coincidence theorems. arXiv preprint. 2016; arXiv:1603.09159.

[25]Samet B, Turinici M. Fixed point theorems on a metric space endowed with an arbitrary binary relation and applications. Communications in Mathematical Analysis. 2012; 13(2): 82–97.

[26]Kolman B, Busby RC, Ross S. Discrete Mathematical Structures. Prentice-Hall; 1995.

[27]Baleanu D, Rezapour S, Mohammadi H. Some existence results on nonlinear fractional differential equations. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2013; 371(1990): 20120144.

[28]Sudsutad W, Tariboon J. Boundary value problems for fractional differential equations with three-point fractional integral boundary conditions. Advances in Difference Equations. 2012; 2012: 93.

[29]Agarwal RP, Hussain N, Taoudi MA. Fixed point theorems in ordered Banach spaces and applications to nonlinear integral equations. Abstract and Applied Analysis. 2012; 2012(1): 245872.

[30]Hussain N, Khan AR, Agarwal RP. Krasnosel’skii and Ky Fan type fixed point theorems in ordered Banach spaces. Journal of Nonlinear and Convex Analysis. 2010; 11(3): 475–489.

[31]Ran ACM, Reurings MCB. A fixed point theorem in partially ordered sets and some applications to matrix equations. Proceedings of the American Mathematical Society. 2004; 132(5): 1435–1443.

[32]Berzig M. Solving a class of matrix equations via the Bhaskar-Lakshmikantham coupled fixed point theorem. Applied Mathematics Letters. 2012; 25(11): 1638–1643.

[33]Berzig M, Samet B. Solving systems of nonlinear matrix equations involving Lipshitzian mappings. Fixed Point Theory and Applications. 2011; 2011(1): 89.

[34]Long JH, Hu XY, Zhang L. On the Hermitian positive definite solution of the nonlinear matrix equation X+A∗X−1A+B∗X−1B = I. Bulletin of the Brazilian Mathematical Society, New Series. 2008; 39(3): 371–386.