Добрый день! Возникла следующая задача: необходимо на каждом шаге итерационной обеспечить выполнение условия

. Функции

и

заданы и известны. Обеспечение заданного условия выполняется выбором параметров

функции

, причём доказано, что параметры, обеспечивающие выполнение требуемого условия существуют. Интеграл аналитически сосчитать нельзя. С такого рода задачами не сталкивался, известные мне градиентные методы применить не удаётся, в какую сторону смотреть? Интересует численные методы решения. Спасибо!