?

Log in

No account? Create an account

Вопрос математикам и примкнувшим к ним - Ваши рубидии уже у кобальта во ртути

Nov. 13th, 2015

05:40 pm - Вопрос математикам и примкнувшим к ним

Previous Entry Share Next Entry

Не пятничный, а серьезный. (по мотивам недавнего объявления о псевдополиномиальности алгоритма определения изоморфизма графов)

Очень хочется увидеть, как выглядит монотонная функция f(f(x)) = ex, и узнать, с какой скоростью она растёт. Интуитивно кажется, что она должна быть такая единственная. Так как же и с какой же?

Аналогичный вопрос для f(...N раз...f(x)...) = ex.

Comments:

[User Picture]
From:alexanderr
Date:November 14th, 2015 02:06 am (UTC)
(Link)
Kneser, H. (1949). Reelle analytische Lösungen der Gleichung ϕ(ϕ(x))=ex und verwandter Funktionalgleichungen. J. Reine Angew. Math., 187, 56–67.
(Reply) (Thread)
[User Picture]
From:spamsink
Date:November 14th, 2015 02:18 am (UTC)
(Link)
Спасибо. Немецкого я, увы, не знаю, и (поэтому?) оценки скорости роста я в найденном тексте статьи не увидел (а что никаким более или менее явным образом ее нельзя записать, я ожидал). Таблички значений хотя бы для некоторых аргументов (типа -1, 0, 1) - увы, тоже нет.

Edited at 2015-11-14 02:18 am (UTC)
(Reply) (Parent) (Thread)
[User Picture]
From:kcmamu
Date:November 14th, 2015 02:38 am (UTC)
(Link)
Если не требовать аналитичности, решений много.
Берем любое t < 0 и любую непрерывную возрастающую функцию, отображающую (-infty, t] в (t, 0]. Она доопределяется до решения.
(Reply) (Thread)
[User Picture]
From:spamsink
Date:November 14th, 2015 02:55 am (UTC)
(Link)
Допустим, взяли ex-W(1), и дальше?
(Reply) (Parent) (Thread)
[User Picture]
From:kcmamu
Date:November 14th, 2015 03:04 am (UTC)
(Link)
Дальше кусок за куском доопределяем: [t, 0] -> [0, exp t] -> [exp t, 1] -> [1, exp exp t] -> [exp exp t, e] -> ...

Для этого в уравнение f(f(x)) = exp x подставляем такие значения x, чтобы y = f(x) уже было известно (на предыдущем шаге), и получаем новое значение f(y) = exp x.
(Reply) (Parent) (Thread)
[User Picture]
From:spamsink
Date:November 16th, 2015 09:51 pm (UTC)
(Link)
Спасибо. Но как из этого понять скорость роста, неочевидно.
(Reply) (Parent) (Thread)
[User Picture]
From:kcmamu
Date:November 16th, 2015 11:09 pm (UTC)
(Link)
Может статься, эта скорость роста в элементарных функциях вообще не выражается.
(Reply) (Parent) (Thread)
[User Picture]
From:spamsink
Date:November 16th, 2015 11:13 pm (UTC)
(Link)
Ну хоть ограничить двумя какими-нибудь (поинтереснее, чем O(x^n) и O(exp(x/n)), конечно). Например, она выше или ниже, чем O(exp(sqrt(x))?
(Reply) (Parent) (Thread)
[User Picture]
From:kcmamu
Date:November 16th, 2015 11:39 pm (UTC)
(Link)
Я так понимаю, что ниже любого exp(x^\epsilon) и выше любого exp((log x)^N).

Edited at 2015-11-17 12:02 am (UTC)
(Reply) (Parent) (Thread)
[User Picture]
From:spamsink
Date:November 18th, 2015 03:04 am (UTC)
(Link)
Интуитивно похоже на то, действительно. Но вдруг нижнюю границу можно улучшить?

Если задать ограничение, что функция должна быть не только монотонная, но и без перегибов, будет ли решение единственным? При t=-1 перегибы значительные, при t=-W(1) - гораздо меньше.
(Reply) (Parent) (Thread)
[User Picture]
From:kcmamu
Date:November 18th, 2015 09:14 am (UTC)
(Link)
Обе оценки можно улучшать, конечно.

Идея такая: для сколь угодно больших N и n на бесконечности должно быть

N ln ln ... (n раз) ... ln x
< ln ln ... (n раз) ... ln f(x)
< (1/N) ln ln ... (n-1 раз) ... ln x.

Насчет перегибов: выпуклости для однозначности не хватит. И конечного числа ограничений на высшие производные не хватит. Вот если на все производные ограничение наложить...
(Reply) (Parent) (Thread)
[User Picture]
From:xaxam
Date:November 14th, 2015 07:55 am (UTC)
(Link)
Я правильно понимаю, что вас интересует асимптотика на бесконечности? Потому что ответ на вопрос, когда из аналитического отображения f(x) извлекается "квадратный корень" хорошо изучен в окрестности неподвижных точек отображения f, решений уравнения f(a)=a. У экспоненты такие точки есть, но они невещественные (надо проверить, но почти наверняка там извлекаются корни любой степени).

Бесконечность для экспоненты - очень гадкая особенность, и там стандартные методы не работают. Ключевое уравнение, которое надо решить - уравнение типа Абеля, f'(x)*v(x)=v(f(x)). В случае экспоненты мы получаем уравнение v(e^x)=e^x*v(x). Скажем, если мы ищем решение с v(1)=1 (уравнение линейное, поэтому это не большое ограничение), то получаем, что v(e^n)=1*e*e^e*e^{e^e}*...

Рост, как можно усмотреть, весьма нехилый.
(Reply) (Thread)
[User Picture]
From:xaxam
Date:November 14th, 2015 08:50 am (UTC)
(Link)
Посмотрел бегло статью Кнезера, насколько аллемандский позволяет. Он в самом деле находит неподвижные точки комплексной экспоненты и проверяет, что они гиперболические (производная по модулю не равна единице). Это означает возможность извлечения "корня" любой степени и даже "логарифмирования" (включения в поток аналитического векторного поля). Дальше что-то говорится об аналитическом продолжении подобных корней, но это заведомо путь в тёмный лес.

Осмысленная постановка, которая вас должна интересовать, - найти вещественно-аналитическое решение, - оно, похоже, существует и должно даваться неким интегралом, но область сходимости интеграла надо очень внимательно осмотреть. Дело в том, что бесконечность - не неподвижная точка экспоненты в полном смысле слова: всё зависит от того, с какой стороны (на комплексной плоскости) к ней подходить. Может быть и рост, и очень быстрое убывание к нулю, и сумасшедшие колебания (если двигаться по мнимой оси).
(Reply) (Parent) (Thread)
[User Picture]
From:spamsink
Date:November 16th, 2015 09:24 pm (UTC)
(Link)
Меня, естественно, интересует поведение только на вещественных аргументах, а там рост должен быть заведомо медленнее, чем e^x. Вопрос в том, насколько именно медленнее.
(Reply) (Parent) (Thread)
[User Picture]
From:yuri_yurkevich
Date:November 15th, 2015 05:34 am (UTC)
(Link)
А Вы даёте себе отчёт, что все эти конструкции выдумана людьми для описания приключений выдуманных образов в выдуманных ими же мирах?

Но тем не менее, они пытаются убеждать всех, что мир должен развиваться по таким законам.

Особенно экономисты и торговцы движимостями и недвижимостями. Те утверждают, что так может расти прибыль во всякого рода пирамидах.
(Reply) (Thread)