Haroon Ahmad

Dr. Haroon Ahmad

Mathematics, Abdus Salam School of Mathematical Sciences, Lahore, Punjab, Pakistan
orcid

Research Focus & Metrics

Academic Career Length

6Years (2021-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications

14 December 2021 in Journal of Mathematics
Verified
Journal Article
Open access
Haroon AhmadHaroon Ahmad
Haroon Ahmad
Mudasir YounisMudasir Younis
Mudasir Younis
MKMEHMET EMİR KOKSAL
MEHMET EMİR KOKSAL
In this paper, we firstly propose the notion of double controlled partial metric type spaces, which is a generalization of controlled metric type spaces, partial metric spaces, and double controlled metric type spaces. Secondly, our aim is to study the existence of fixed points for Kannan type contractions in the context of double controlled partial metric type spaces. The proposed results enrich, theorize, and sharpen a multitude of pioneer results in the context of metric fixed point theory. Additionally, we provide numerical examples to illustrate the essence of our obtained theoretical results.

25 March 2025 in Journal of Computational and Applied Mathematics
Verified
Journal Article
Closed access
Mudasir YounisMudasir Younis
Mudasir Younis
Haroon AhmadHaroon Ahmad
Haroon Ahmad
MAHPEYKER OZTURKMAHPEYKER OZTURK
MAHPEYKER OZTURK
FDFahim Ud Din
Fahim Ud Din
MQMuhammad Qasim
Muhammad Qasim

18 April 2025 in Mathematical Modelling and Analysis
Verified
Journal Article
Open access
PDF file
Mudasir YounisMudasir Younis
Mudasir Younis
Haroon AhmadHaroon Ahmad
Haroon Ahmad
FAFarwa Asmat
Farwa Asmat
MAHPEYKER OZTURKMAHPEYKER OZTURK
MAHPEYKER OZTURK
Helmholtz’s problem helps us to completely understand how sound behaves in a cylinder that is closed from one of its ends and opened at another. This paper aims to employ some novel convergence results to the Helmholtz problem with mixed boundary conditions and demonstrate the existence and uniqueness of the solution by applying graph-controlled contractions. For this purpose, we enunciate graphically Reich type and graphically Ćirić type contractions in the realm of graphical-controlled metric type spaces. In our study, we showcase the existence and uniqueness of fixed point results by employing these graphical contractions. This is demonstrated through extensive examples that a graphicalcontrolled metric-type space is distinct from traditional controlled metric-type spaces. We also exhibit an example of a graphically Reich contraction that is not a classical Reich contraction. Similarly, a decent example of graphical Ćirić contraction is presented, which is distinct from the classical Ćirić contraction. Concrete illustrative examples solidify our theoretical framework.

8 June 2023 in Symmetry
Verified
Journal Article
Open access
PDF file
Haroon AhmadHaroon Ahmad
Haroon Ahmad
Mudasir YounisMudasir Younis
Mudasir Younis
AAAfrah Ahmad Abdou
Afrah Ahmad Abdou
In this article, we develop a new notion that combines fixed-point theory and graph theory: graphical bipolar b-metric spaces. We demonstrate fixed-point solutions in the framework of graphical bipolar b-metric spaces, employing covariant and contravariant mapping contractions, which is a new addition to this end. This article also features illustrative examples drawn from various contexts to further demonstrate our findings. This is a significant study since it melds ideas from graph theory with those from generalized bipolar metric spaces, and considers that the symmetry of the edges of the underlying graphs connected with the enunciated metric spaces is essential in the graphical metric spaces.

1 January 2024 in Journal of Applied Analysis & Computation
Verified
Journal Article
Open access
PDF file
Mudasir YounisMudasir Younis
Mudasir Younis
Haroon AhmadHaroon Ahmad
Haroon Ahmad
WSW. Shahid
W. Shahid
In this manuscript, we compute coincidence point, best proximity point, and fixed point results for multivalued proximal contractions in the setup of $ b-$metric spaces using an alternating distance function. Moreover, we show the corresponding results for single-valued mappings can also be obtained using generalized proximal contractions. To validate our study, examples are given for both multivalued and single-valued mappings that strengthen our main results based on coincidence points. In the end, we apply the obtained result to show the existence of the solution of a particular type of second-order boundary value problem describing the equation of motion.