[quanto]

Indeed, a transformation (of some kind) is fairly standard, including the derivation for the standard analytic solution for European options.

AFAIK, discontinuous first derivative per se may act as a seed to an oscillation due to its high frequency content that are not captured by any finite resolution algorithm (n.b. Gibbs phenomenon). But it is Crank-Nicolson that characteristically creates these oscillatory problems -- in other words, there are algorithms that can gracefully handle the discontinuity without creating oscillation.

[scott00]

Yeah, the discretization interacts with the oscillation for sure. Full implicit is better than CN with regards to oscillation for instance, but I don't think would be a net win. Running a few implicit steps before switching to CN might help, though I've never tried it.