Function Space Complementarity Methods for Optimal Control Problems