Дискретная модель всего ЦАП это нонсенс. Ее не существует в природе и существовать не может. Так как ЦАП это есть устройство преобразования из дискретного времени в непрерывное, и часть неидеального ЦАП есть система дискретного времени, часть собственно преобразователь в непрерывное (идеальный ЦАП), и часть система непрерывного времени. Дискретную модель второй и третьей части сделать невозможно, как и непрерывную модель первой.

А теперь к эффектам нелинейности ЦАП, а также о том, что в каких зонах Найквиста. Да, именно так, все продукты нелинейности ЦАП остаются на своих частотах. Так как они есть произведение "третьей", непрерывной части ЦАП. И одновременно да, все то, что было в зоне 0..Fs/2 в дискретном сигнале до ЦАП (как и полезный сигнал), есть во всех зонах Найквиста сразу, так как они произведены тем самым "идеальным" ЦАП, который есть вторая часть. Первая же часть, дискретная, абсолютно линейна, это "z^-1", и она не интересна.

И насчет непрерывности спектра сигнала ЦАП. Вообще-то спектр даже дискретного сигнала является непрерывной функцией частоты. Существуют методы, например ДПФ, которые позволяют получить отсчеты спектральной ф-ции, но тем не менее это не отменяет непрерывности спектра дискретного сигнала.