Text this: Fixed point theorems for compatible mappings with applications to the solutions of functional equations arising in dynamic programmings