What additional axiom to GARP do we need to generate a differentiable or smooth utility function
None if the axiom is to be on preferences, as any smooth utility representation can be monotone transformed into a non-smooth utility function.