Еще есть один вопрос:
как записать красивый дифференциальный оператор для данного спектра?
(ясно что операторы могут быть разными для одного и того же спектра, интересует именно «простой-красивый»)
Тут много науки.Давайте для начала ограничимся обыкновенными дифференциальными операторами второго порядка на конечном интервале, то есть регулярными задачами Штурма-Лиувилля.
Во-первых, не всякая последовательность чисел
может быть последовательностью собственных чисел какого-то оператора. есть необходимые условия, первое из них- правильная асимптотика,
. В зависимости от требования гладкости коэффициентов (Ваша 'красивость') появляются новые условия.
Если эти условия выполнены, то коэффициенты определяются по ним НЕОДНОЗНАЧНО. Согласно теореме Берга, коэффициенты определяются однозначно по ДВУМ спектрам, то есть по двум последовательностям собственных значений, отвечающим двум наборам граничных условий.
Советую почитать по этому поводу книжку Левитана, 'Обратные задачи Штурма-Лиувилля' Наука, 1984. Существует в электронной форме. Как искать-- посмотрите в соответствующем разделе Форума.