Возьмем некоторую непрерывную функцию
на
. Пусть она задает функционал на
посредством интеграла, т.е.
. В некоторых учебниках пишется, что все вышеописанные функции имеют полиномиальный рост, но это неправда! Что правда, так это то, что первообразная от
имеет полиномильный рост.
Задача. Привести пример функции, которая удовлетворяет условиям выше, но не является функцией полиномильаного роста.
Вроде как я решил задачу, но хочется удостовериться, что решил правильно.
Решение.
Возьмем следующую функцию
- тождественная единица, а во всех целых точках сделаем холмики
, чтобы
, а площадь под холмиком равна
. Эта функция и правда лежит в
, допустим,
. Ну а последняя сумма максимумов, естественно, сходится. Остается заметить, что из-за "всплесков" функция не имеет полиномиального роста. По данному примеру сразу видно, чем приглянулась в данном случае первообразная. Она сглаживает эти всплески.
Да, принадлежность
доказано плохо (нужно бы по-хорошему еще один очевидный шаг произвести), но хочется узнать, верны ли все остальные рассуждения?