1) В условиях задачи решения не сущестует. А именно, рассмотрим
,
. Тогда исходное уравнение перепишется в виде
. Применяя к
, имеем
. Заметим, что
, и, таким образом, есть линейная функция от
. Нас интересует
и, соответствующее выражение в правой части. Уравнение
имеет восемь вещественных корней. При
явлющемся корнем
, уравнение упрощается до
. Оно, очевидно, решения относительно
не имеет, что и доказывает, что не существует
определенной на
.
2) Обозначим
,
. Тогда семейство уравнений
(
) задает множество
, для которых
определена однозначно, или не существует. Обозначим его
. Очевидно, что оно не более, чем счетно.
Введем семейство множеств
.
,
. Теперь
. Тогда
суть разбиение
. Каждое из них не более чем счетно. Если
не пусто, то значение функции
определено основным уравнением. В противном случае,
может быть определено произвольным образом для любого представителя
, и распространено по основному уравнению для всех остальных элементов.
3) В предположении аналитичности, в окрестности бесконечности
. Подставляя в уравнение, мы можем решать его последовательно относительно коеффициентов
. Имеем
. Ряд сей, похоже, сходится при
(по крайней мере). Все ето хорошо, но вот точки из
на него ну накак не ложаться.
4)
Nota Bene - это эксперимент. Если взять
произвольно, то последовательнось
быстро ложиться на некоторую гладкую кривую
. Она (кривая) не зависит от начального выбора
, и хорошо совпадает с ассимптотикой задаваемой рядом из п. 3. Можно
предположить, что существует непрерывная на
функция, удовлетворяющая основному уравнению. Кабы не пара проблем. Во-первых, какие-то шальные точки все время попадаются (они могут быть, конечно, и ошибками приблизительных вычислений). Во-вторых, поведение около нуля должно тогда определяться тем же рядом
. Самое противное - промежуток
- там то функция и пляшет, как может... В общем - непонятка. В конце концов, непонятно, можно ли вообще определить непреывность на
.