У меня такая проблема. Когда решаю полную задачу, а потом смотрю асимптотику

то получаю зависимость ~

, когда же анализирую задачу изложенную выше, то получаю

. Вопрос: Может быть так, что решение задачи не единственно?
Пространства Гельдера определены и для отрицательных показателей гладкости, как частный случай пространств Бесова:

при нецелых

. Операторы дифференцирования и интегрирования являются непрерывными в этой шкале (с повышением и понижением показателя на единицу). Рассматриваемый оператор это типа интегрирования порядка

. Как написал
sup, обратный будет дифференцированием порядка

. Если предположить, что эти операторы также непрерывны (хотя бы локально в смысле гладкости, чтобы не обсуждать поведение на неограниченном множестве) в шкале

,

, то возможно след. объяснение. Пространство

это пространство, содержащее и обобщенные функции. Среди основных есть и с логарифмическими особенностями. Однако не любая такая функция принадлежит

. Если предположить, что правая часть из

, (например, это возможно, если в задаче она получена опять же дробным дифференцированием из функции класса

), то оператор дробного дифференцирования должен перевести ее в класс

, а там логарифмов может и не быть. В след. смысле: если функция основная (гладкая) при

, то растет не быстрее

при

.