Operator diferensial semu