zoo ... Хмм, хорошо, поэкспериментирую.
_________________
Чтобы не поднимать тему только чтобы сказать, что все решилось, пишу тут.
Да, пока форум лежал, а потом я сидел на даче, тоже доразбирался с пилой; если поставить зубчики на отрезках
, то получается не меньше
. Не знаю пока, можно ли это проэксплуатировать в исходной задачке, т.к. этому предшествовали весьма грубые оценки.
Тем не менее, похоже, оценка прокатывает для так называемых
-функций (это неопределенные интегралы от
-функций, они же разности выпуклых функций, ну и вторая вариация тоже примерно как обычная определяется, через вторые разности).
Для zoo, про исходную задачу: ну это я как-то самопроизвольно заинтересовался свертками в смысле неабсолютных интегралов. Указанное условие является почти очевидным достаточным условием, которое надо наложить на одну из функций, чтобы свертка в смысле, скажем, широкого интеграла Данжуа с любой другой функцией была VBшной.