Привожу полное условие. Дано компактное множество
и липшицева неотрицательная функция
такая, что
для всех
. Нужно найти наибольшее решение следующего уравнения
где
- компакт.
Мне удалось показать, что если
, то наибольшее решение - это единственное решение данного уравнения
где
и
- замыкание
.
Дело в том, что а приори множество
очень сложно найти и вообще неизвестно, пусто оно или нет. Допустим, оно не пусто и я могу оценить его сверху, то есть построить
такое, что
, тогда
- замыкание
. Приближенное решение
будет решением уравнения
где
.
Разность этих решений, как несложно вычислить, удовлетворяет оценке
где
- мера Лебега.
Хотелось бы из этой оценки получить оценку на
через
.