in this paper we prove a unique common coupled fixed point theorem for two pairs of $w$-compatible mappings in $s_b$-metric spaces satisfying a contrctive type condition. we furnish an example to support our main theorem. we also give a corollary for junck type maps.

Abstract The XENON1T excess of keV electron recoil events may be induced by the scattering electrons and long-lived particles with an MeV mass high speed. We consider a tangible model composed two scalar dark matter (DM) particles, S_B , to interpret via boosted . A small splitting m_{S_A}-m_{S_B}\gt{0} is introduced, can produced using annihilation process S_A^\dagger \to \ph...

Motivated by a recent study of Bessel operators in connection with refinement Hardy's inequality involving $ 1/\sin^2(x) on the finite interval (0, \pi) $, we now take closer look at underlying Bessel-type more general inverse square singularities endpoints. More precisely, consider quadratic forms and operator realizations L^2((a, b); dx) associated differential expressions form \begin{documen...

In this paper we prove a unique common coupled fixed point theorem for two pairs of $w$-compatible mappings in $S_b$-metric spaces satisfying a contrctive type condition. We furnish an example to support our main theorem. We also give a corollary for Junck type maps.

In this paper, we give a kind of Cauchy 1-completeness in probabilistic quasi-uniform spaces by using 1-filters. Utilizingthe relationships among probabilistic quasi-uniformities, classical quasi-uniformities and Hutton [0, 1]-quasi-uniformities,we show the relationships between their completeness. In fuzzy quasi-metric spaces, we establish the relationshipsbetween the completeness of induced p...

We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...

Today, great observatories around the world, devote a substantial amount of observing time to sky surveys. The resulted images are inputs of source finder modules. These modules search for the target objects and provide us with source catalogues. We sought to quantify the ability of detection tools in recovering faint galaxies regularly encountered in deep surveys. Our approach was based on com...