operator splitting