Функциональное уравнение f(f(x))
Функциональное уравнение f(f(x))
Функция [math] такова, что [math].
Найти [math]?
Ну и ещё от себя дополнительный вопрос - что это за функция [math]?
Если не найти её явно, то хотя бы описать как-то.
Найти [math]?
Ну и ещё от себя дополнительный вопрос - что это за функция [math]?
Если не найти её явно, то хотя бы описать как-то.
Функциональное уравнение f(f(x))
Навскидку можно сказать, что график f(x) зажат между графиками [math]Это следует из графического представления f(f(x)) как гуляния по вертикалям и горизонтали между графиками f и x, а также функция в правой части не меняется при замене х на 1-х
Функциональное уравнение f(f(x))
Можно сделать замену [math].
Получится [math].
Что несколько проще (напоминает Julia set), но принципиально не помогает.
Получится [math].
Что несколько проще (напоминает Julia set), но принципиально не помогает.
Функциональное уравнение f(f(x))
Так что, получается, что решение f(x) не единственное? У меня любое предположение [math] не приводит к противоречию. Тогда непонятно, как доказать что для любого решения f(x)=f(1-x)
Функциональное уравнение f(f(x))
Там надо найти [math], а не [math].
Насчёт самой функции, то если брать разрывные, то там их много. Если непрерывные, то вроде одна (надо ещё доказать).
Насчёт самой функции, то если брать разрывные, то там их много. Если непрерывные, то вроде одна (надо ещё доказать).
Функциональное уравнение f(f(x))
Пусть мы ищем решение на луче [math] в классе монотонных непрерывных функций. Тогда положим [math] и устроим итерации , как по методу Ньютона нахождения корня из числа [math] только мы извлекаем "корень" из отображения [math]
[math]
По идее, это сходится очень быстро. Но цикл нахождения обратной функции по табулированной надо сделать очень тщательно.
А дальше можно продолжить предельную функцию левее луча по непрерывности [math] и получится f(0)=1 но не обязательно это единственный ответ
[math]
По идее, это сходится очень быстро. Но цикл нахождения обратной функции по табулированной надо сделать очень тщательно.
А дальше можно продолжить предельную функцию левее луча по непрерывности [math] и получится f(0)=1 но не обязательно это единственный ответ
Функциональное уравнение f(f(x))
С [math] там просто.
Сначала найдём стационарные точки [math], это [math] или [math].
Т.е. стационарная точка только одна. Для квадратной функции могло бы быть две, тогда ситуация была бы другая.
Из [math], [math] видим, что в эту точку 1 можно попасть из 1 и из 0.
Сначала разберемся с 1. Пусть [math], тогда [math].
Значит [math], но [math].
Отсюда полчаем [math]. Была бы вторая стационарная точка, она могла бы быть тоже значением.
Для 0 аналогично. Пусть [math], тогда [math].
Значит [math], но [math].
Отсюда полчаем [math], т.е. [math] или [math].
[math] не подходит, т.к. тогда [math], значит [math], что неверно.
Остаётся [math], который ничему не противоречит.
Значит [math].
Сначала найдём стационарные точки [math], это [math] или [math].
Т.е. стационарная точка только одна. Для квадратной функции могло бы быть две, тогда ситуация была бы другая.
Из [math], [math] видим, что в эту точку 1 можно попасть из 1 и из 0.
Сначала разберемся с 1. Пусть [math], тогда [math].
Значит [math], но [math].
Отсюда полчаем [math]. Была бы вторая стационарная точка, она могла бы быть тоже значением.
Для 0 аналогично. Пусть [math], тогда [math].
Значит [math], но [math].
Отсюда полчаем [math], т.е. [math] или [math].
[math] не подходит, т.к. тогда [math], значит [math], что неверно.
Остаётся [math], который ничему не противоречит.
Значит [math].
Функциональное уравнение f(f(x))
Насчёт построения [math] есть такое соображение.
При больших [math] примерно будет [math].
Тогда для [math] подойдёт [math]. Есть ли другие гладкие?
При больших [math] примерно будет [math].
Тогда для [math] подойдёт [math]. Есть ли другие гладкие?
Функциональное уравнение f(f(x))
Точка 1 - стационарная точка [math].
Если из некоторой точки [math] строить последовательность [math], то для [math] она будет стремиться к [math].
Для [math] она будет стремиться к [math]. Здесь последовательность можно и влево продолжить (если брать положительный корень [math]), тогда влево эта двухсторонняя последовательность будет стремится к [math]. (Для случая менее 1 влево не продолжается, там в комплексные уйдёт.)
Если из некоторой точки [math] строить последовательность [math], то для [math] она будет стремиться к [math].
Для [math] она будет стремиться к [math]. Здесь последовательность можно и влево продолжить (если брать положительный корень [math]), тогда влево эта двухсторонняя последовательность будет стремится к [math]. (Для случая менее 1 влево не продолжается, там в комплексные уйдёт.)
Функциональное уравнение f(f(x))
Ну это да, как олимпиадную задачу можно давать, даже школьникам. Несмотря на неединственность решения, все решения в 0 равны 1.zykov писал(а):С [math] там просто.
Сначала найдём стационарные точки [math], это [math] или [math].
Т.е. стационарная точка только одна. Для квадратной функции могло бы быть две, тогда ситуация была бы другая.
Из [math], [math] видим, что в эту точку 1 можно попасть из 1 и из 0.
Сначала разберемся с 1. Пусть [math], тогда [math].
Значит [math], но [math].
Отсюда полчаем [math]. Была бы вторая стационарная точка, она могла бы быть тоже значением.
Для 0 аналогично. Пусть [math], тогда [math].
Значит [math], но [math].
Отсюда полчаем [math], т.е. [math] или [math].
[math] не подходит, т.к. тогда [math], значит [math], что неверно.
Остаётся [math], который ничему не противоречит.
Значит [math].
Функциональное уравнение f(f(x))
Насчёт симметричности относительно [math], то тоже можно аналогично нулю сделать.
Пусть у нас уже есть непрерывная [math] для [math].
Возьмём [math] и обозначим [math].
Тогда [math], что попадает в область, где мы уже знаем [math].
Значит [math], что должно быть больше [math], т.к. [math] должна возрастать при [math] (надо бы доказать).
Значит [math]. Для разрывной и минус перед корнем подойдёт, но из непрерывности в [math] и ниже останется только плюс. (Используется, то [math].)
Значит [math].
Пусть у нас уже есть непрерывная [math] для [math].
Возьмём [math] и обозначим [math].
Тогда [math], что попадает в область, где мы уже знаем [math].
Значит [math], что должно быть больше [math], т.к. [math] должна возрастать при [math] (надо бы доказать).
Значит [math]. Для разрывной и минус перед корнем подойдёт, но из непрерывности в [math] и ниже останется только плюс. (Используется, то [math].)
Значит [math].
Функциональное уравнение f(f(x))
Ещё можно получить разложение в ряд около стационарной точки [math].
Если обозначить [math], то [math].
Начнём раскладывать [math] в нуле в ряд методом неопределенных коэффициентов.
Пусть [math].
Тогда [math]
[math]
Отсюда [math], т.е. [math].
Далее, [math]. Значит [math] не подходит, отстаётся [math] и получается [math].
Далее [math], значит [math], т.е. [math].
Получим [math].
Можно этот процесс и дальше продолжить.
Автоматизировал его на wxMaxima и вот что получается.
Правда складывается впечатление, что этот ряд расходится в любой сколь угодно малой окрестности (точно трудно сказать, т.к. общая формула для коэффициентов не получается). Когда брал ряд до порядка 30 и строил график, то он шел вразнос около 0.8. Когда увеличил порядок до 60, то график шел вразнос уже около 0.4. Хотя когда для синуса берешь больше порядков, то расширяется область, где график похож на синус.
PS: Это нормально, что ряд Тэйлора не сходится ни в какой малой окрестности?
Если обозначить [math], то [math].
Начнём раскладывать [math] в нуле в ряд методом неопределенных коэффициентов.
Пусть [math].
Тогда [math]
[math]
Отсюда [math], т.е. [math].
Далее, [math]. Значит [math] не подходит, отстаётся [math] и получается [math].
Далее [math], значит [math], т.е. [math].
Получим [math].
Можно этот процесс и дальше продолжить.
Автоматизировал его на wxMaxima и вот что получается.
Правда складывается впечатление, что этот ряд расходится в любой сколь угодно малой окрестности (точно трудно сказать, т.к. общая формула для коэффициентов не получается). Когда брал ряд до порядка 30 и строил график, то он шел вразнос около 0.8. Когда увеличил порядок до 60, то график шел вразнос уже около 0.4. Хотя когда для синуса берешь больше порядков, то расширяется область, где график похож на синус.
PS: Это нормально, что ряд Тэйлора не сходится ни в какой малой окрестности?
Функциональное уравнение f(f(x))
Ненормально. В классическом примере неаналитической, но всюду бесконечно дифференцируемой функции [math] ряд Тейлора в 0 сходится к 0 а не к ней.
Функциональное уравнение f(f(x))
Ian писал(а):Пусть мы ищем решение на луче [math] в классе монотонных непрерывных функций. Тогда положим [math] и устроим итерации , как по методу Ньютона нахождения корня из числа [math] только мы извлекаем "корень" из отображения [math]
[math]
По идее, это сходится очень быстро. Но цикл нахождения обратной функции по табулированной надо сделать очень тщательно.
Я так был доволен этим методом. Действительно , для монотонных [math] и более нетривиальной [math] сходится быстро. А для немонотонной мы ограничиваем область определения, а область значений [math] оказывается уже, приходится экстраполировать и никакой сходимости наблюдать не удалось
Функциональное уравнение f(f(x))
Можно для начала ограничиться областью [math]. Она самозамкнута.Ian писал(а):Source of the post приходится экстраполировать и никакой сходимости наблюдать не удалось
Функциональное уравнение f(f(x))
Выше я писал про двухстороние последовательности.
Для каждой точки [math] будет такая последовательность. Слева стремится к 1+0, справа к плюс бесконечности.
Причем каждая точка [math] будет принадлежать ровно одной такой последовательности.
На этой области можно построить [math], не обязательно непрерывную (даже скорее разрывную).
Разбиваем все эти последовательности на пары ([math] и [math]) каким-то образом, для каждой пары выбираем целое число [math], тоже любое.
И определяем [math], [math].
Для каждой точки [math] будет такая последовательность. Слева стремится к 1+0, справа к плюс бесконечности.
Причем каждая точка [math] будет принадлежать ровно одной такой последовательности.
На этой области можно построить [math], не обязательно непрерывную (даже скорее разрывную).
Разбиваем все эти последовательности на пары ([math] и [math]) каким-то образом, для каждой пары выбираем целое число [math], тоже любое.
И определяем [math], [math].
Функциональное уравнение f(f(x))
Для области [math] можно сделать похожим образом.
Для каждой [math] будет односторонняя последовательность стремящаяся к 1-0.
Тоже можно разбить на пары и построить функцию.
Все точки [math] будут иметь прообраз.
Точки в [math] не будут иметь прообраза.
Для каждой [math] будет односторонняя последовательность стремящаяся к 1-0.
Тоже можно разбить на пары и построить функцию.
Все точки [math] будут иметь прообраз.
Точки в [math] не будут иметь прообраза.
Функциональное уравнение f(f(x))
zykov писал(а):Можно для начала ограничиться областью [math]. Она самозамкнута.Ian писал(а):Source of the post приходится экстраполировать и никакой сходимости наблюдать не удалось
Там сразу получилось, скучный график похожий на [math]
Функциональное уравнение f(f(x))
Я по-другому строил [math].
Сначала определим [math], как [math] и [math], т.е. [math] вложена в себя [math] раз.
Аналогично, [math] - это вложенная в себя обратная (там где корень с плюсом).
Тогда определим [math].
Тогда при [math] будет [math].
Например для [math]
Выражение [math] будет примерно равно [math] с точностью [math] около 1.1.
И точность быстро улучшается ближе к 1 и дальше в сторону роста x.
Аналогично, при [math] можно взять [math], где [math] - приближение многочленом [math] около 1.
Тут первого члена [math] недостаточно. Нужно взять хотя бы квадратный [math]. Его вобщем и достаточно для предела. Если практически считать, то можно порядок многочлена повыше взять.
Тут правда медленнее сходится, нужно брать большие [math] для хорошей точности. Особенно плохо сходится около [math].
Вот график для [math]:
Вроде наихудшая точность 0.5% получается при [math].
[math], интересно, как бы поточнее найти [math].
Сначала определим [math], как [math] и [math], т.е. [math] вложена в себя [math] раз.
Аналогично, [math] - это вложенная в себя обратная (там где корень с плюсом).
Тогда определим [math].
Тогда при [math] будет [math].
Например для [math]
Выражение [math] будет примерно равно [math] с точностью [math] около 1.1.
И точность быстро улучшается ближе к 1 и дальше в сторону роста x.
Аналогично, при [math] можно взять [math], где [math] - приближение многочленом [math] около 1.
Тут первого члена [math] недостаточно. Нужно взять хотя бы квадратный [math]. Его вобщем и достаточно для предела. Если практически считать, то можно порядок многочлена повыше взять.
Тут правда медленнее сходится, нужно брать большие [math] для хорошей точности. Особенно плохо сходится около [math].
Вот график для [math]:
Вроде наихудшая точность 0.5% получается при [math].
[math], интересно, как бы поточнее найти [math].
Функциональное уравнение f(f(x))
Вот сама [math]:
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 3 гостей