Привожу полное условие. Дано компактное множество

и липшицева неотрицательная функция

такая, что

для всех

. Нужно найти наибольшее решение следующего уравнения

где

- компакт.
Мне удалось показать, что если

, то наибольшее решение - это единственное решение данного уравнения

где

и

- замыкание

.
Дело в том, что а приори множество

очень сложно найти и вообще неизвестно, пусто оно или нет. Допустим, оно не пусто и я могу оценить его сверху, то есть построить

такое, что

, тогда

- замыкание

. Приближенное решение

будет решением уравнения

где

.
Разность этих решений, как несложно вычислить, удовлетворяет оценке

где

- мера Лебега.
Хотелось бы из этой оценки получить оценку на

через

.