Existence of best proximity points: global optimal approximate solution

Given non-empty subsets A and B of a metric space, let S : A → B and T : A → B be non-self mappings. Taking into account the fact that, given any element x in A, the distance between x and Sx, and the distance between x and Tx are at least d(A,B), a common best proximity point theorem affirms global minimum of both functions x → d(x, Sx) and x → d(x, Tx) by imposing a common approximate solution of the equations Sx = x and Tx = x to satisfy the constraint that d(x, Sx) = d(x, Tx) = d(A,B). In this work we introduce a new notion of proximally dominating type mappings and derive a common best proximity point theorem for proximally commuting non-self mappings, thereby producing common optimal approximate solutions of certain simultaneous fixed point equations when there is no common solution. We furnish suitable examples to demonstrate the validity of the hypotheses of our results.