Функциональные уравнения
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Найдите все функции такие, что
для любых целых с суммой
Подсказка 1
Для начала следует узнать хоть что-то про функцию. Для этого рекомендуется подставлять какие-нибудь значения. Что можно узнать? Обычно можно понять инъективность или сюръективность, значения в нуле, четность или нечетность функции, а может и что-то еще.
Подсказка 2
Докажите, что f четная и периодическая. Что дальше? В условии фигурируют 3 буквы, это довольно много, попробуйте b и c выразить через a и получить какие-то тождества, связывающие кратные значения.
Подсказка 3
Можно получить следующее: f(2a)=0 или f(2a)=4f(a). Надо продолжать раскручивать задачу дальше, для этого положите f(1)=k. После этого попробуйте определить, как можно больше значений функции.
Подсказка 4
Подстановками поймите, что f(2)=4k, f(3)=9k, f(4)=16k. В глаза бросается, что f(x)=kx^2. Докажите это утверждение по индукции.
При подстановке имеем
следовательно,
При подстановке и
имеем
Следовательно,
является четной функцией.
Теперь положим и
тем самым получим
Следовательно,
Если для некоторого
то при подстановке
и
уравнение имеет вид
Таким
образом,
— периодичная функция с периодом
т.е.
В частности, если то
постоянна, то есть
для всех
Эта функция явно удовлетворяет функциональному
уравнению. Положим
По имеем
или
. Если
то
периодична с периодом
поэтому
и
для всех
Эта функция является решением для каждого
Проверку осуществим позже; в дальнейшем предположим, что
Опять же по имеем
или
В первом случае
периодична с периодом
и
поэтому
мы имеем
и
для всех
Эта функция тоже является решением, что мы покажем
позже. В дальнейшем рассуждении мы предполагаем, что
Покажем теперь, что
Для этого выполним
замену
Следовательно, Теперь докажем, что по индукции, что единственное возможное решение —– это
Мы уже
доказали это для
Предположим, что
и что
справедливо для всех целых
Тогда замена
и
приводит соответственно к
Поскольку для
единственное возможное решение —
На этом индукция завершается, поэтому для всех
То же выражение справедливо и для отрицательных значений
поскольку
четна. Для доказательства проверки нужно доказать тождество
которое следует непосредственно путем раскрытия скобок.
Поэтому единственными возможными решениями функционального уравнения являются постоянная функция и следующие
функции:
для любого ненулевого целого Проверка того, что это действительно решения, была выполнена для первых двух. Для
обратите внимание, что если
то все
четные, и в этом случае
или одно из этих
значений, а два других нечетные, поэтому обе части уравнения равны
Для
мы используем аналогичные соображения
четности и симметрию уравнения, что сводит проверку к тройкам
Все они удовлетворяют
уравнению.
_________________________________________________________________________________________________________________________________________________________________________________
Замечание. Мы несколько раз использовали один и тот же факт: для любых функциональное уравнение является квадратным
уравнением относительно
коэффициенты которого зависят от
и
Его дискриминант равен Поскольку это значение должно быть неотрицательным для любых
мы
заключаем, что либо
либо
всегда неотрицательны. Также, если
— решение функционального уравнения, то
— тоже решение. Поэтому мы можем считать
для всех
Теперь два решения квадратного уравнения
равны
Вычисление из
и
которое мы сделали выше, следует сразу после установки
и
Индуктивный шаг, где
выводится из
и
следует сразу с использованием
и
Ошибка.
Попробуйте повторить позже
Найдите все функции , определённые при всех действительных
и удовлетворяющие уравнению
Подставим вместо в исходное уравнение
получим
Получаем систему
Домножим первое уравнение 2 и вычтем из него второе, получим
Проверим данную функцию
Ошибка.
Попробуйте повторить позже
Найдите все функции , которые удовлетворяют условию
при любом .
Пусть тогда
Проверим данную функция
Ошибка.
Попробуйте повторить позже
Найдите все функции , которые при любых вещественных
и
удовлетворяют условию
Пусть тогда
Теперь пусть используя полученный факт, получаем
Покажем, что для любого можно подобрать такое
чтобы для некоторого
Домножив второе уравнение на 2 и сложив, получаем
Проверяем, что полученное подходит. Подставив такое
исходное условие примет вид
Т.к. любое положительное число представимо как четвёртая степень некоторого положительного числа, то для любого положительного
верно, что
А в силу равенства
это верно и для отрицательных чисел.
Ошибка.
Попробуйте повторить позже
Найдите все функции , которые при любых вещественных
удовлетворяют условию
Подсказка
Нам нужно найти функцию f(x), но в аргументе стоит 3х+5. Попробуйте подставить вместо 3х+5 что-то, чтобы получить нужную нам функцию, то есть f(x).
При любом вещественном после замены
получается равенство
Только такая функция и является решением задачи.
Ошибка.
Попробуйте повторить позже
Найдите все функции (то есть из положительных вещественных чисел в положительные вещественные числа), для которых
выполнено
Подсказка 1
Дано функциональное уравнение с f(x) и f(1/x). Так как больше ничего нет, то можно попробовать «поменять» аргументы, то есть сделать подстановку х:=1/х, чтобы получить ещё одно уравнение с f(x) и f(1/x)!
Подсказка 2
Получили систему из двух уравнений от f(x) и f(1/х). Мы ищем f(x), а её можно выразить через х, нужно только аккуратно избавиться от f(1/х), например, вычесть из одного уравнения другое с нужным коэффициентом. Важно не забыть сделать проверку!
Подставим вместо в исходное уравнение
получим
Учитывая исходное уравнение, получаем систему
Домножим второе уравнение на 2 и вычтем первое уравнение из второго
Проверим, что данная функция является решением системы, а не только следствия из неё:
Ошибка.
Попробуйте повторить позже
Найдите все функции , которые при любых вещественных
и
удовлетворяют условию
Подсказка 1
Мы видим, что есть функция от x+y и от y. Но подстановка y:=x+y делает уравнение ещё более некрасивым. Тогда на помощь приходит ещё один вариант «типичных» или «базовых» подстановок — подстановка 0. Что, если сделать х:=0 или у:=0?
Подсказка 2
При x:=0 получаем f(f(y))=f(y), а при y:=0 — f(f(х))=х+f(0), тогда, если найти f(0), то задача решена(почему?).
Снова тупик, но у нас есть ещё одна «типичная» подстановка — х:=f(t) или y:=f(t). Как её можно использовать для двух полученных уравнений?
Подсказка 3
Использовав подстановку y:=f(t) и х:=f(t) в двух найденных ранее равенствах, получаем одинаковые левые части уравнения, значит, можно приравнять правые части, но про f(f(t)) мы уже что-то знаем!
Пусть тогда получаем
Докажем, что Для этого вместо
и
подставим
и
тогда с одной стороны это равно
С другой стороны,
Приравняв их, получаем Теперь пусть
Но до этого мы получили, что значит,
Проверим, что эта функция подходит под начальное условие
Ошибка.
Попробуйте повторить позже
Найдите все функции , которые при любых вещественных
и
удовлетворяют условию
Подсказка 1
Когда есть две переменные, удобно избавиться от одной и оставить только вторую. Какие для этого есть подстановки? Например, х:=0 или х:=у (аналогичные для y).
Подсказка 2
Из подстановки 0 вместо одной из переменных можно получить значение f(0). А ещё f(0) получается в правой части равенства, если сделать y:=x. Не забудьте в конце проверить, что найденный ответ удовлетворяет условию!
Пусть тогда
Теперь пусть получаем
Проверим, что эта функция подходит под начальное условие
Ошибка.
Попробуйте повторить позже
Найдите все многочлены с вещественными коэффициентами такие, что
Подсказка 1
Одной из часто рассматриваемых характеристик многочлена является его степень. Какой вывод можно сделать из этих рассуждений?
Подсказка 2
Пусть степень многочлена P(x) равна n. Чему равна степень многочлена в левой и правой частях уравнения?
Подсказка 3
Соответственно 2n и n+3. Какой вывод о степени P(x) из этого можно сделать?
Подсказка 4
Она равна 3. Так, P(x) — кубический многочлен. Часто при решении задач на многочлены с небольшими степенями оказывается полезно записать их в стандартной виде. В данной задаче многочлен имеет вид ax³+bx²+cx+d для некоторых действительных a, b, c, d. Подставьте многочлен в исходное уравнение. Что мы получим после приведения подобных слагаемых?
Подсказка 5
Тождественное равенство двух многочленов влечет равенство коэффициентов при равных степенях. Чему равно b из таких рассуждений? A с? Сумма a+d?
Подсказка 6
Каждое из чисел равно 0. Таким образом, исходное уравнение имеет вид ax³ -a для некоторого действительного a.
Пусть причём рассмотрим неотрицательное
. Тогда степень многочлена в левой части равна
в правой —
откуда
Таким образом, — кубический многочлен. Пусть он имеет вид
Тогда уравнение примет вид
следовательно, но тогда так же
наконец,
Таким образом, любой многочлен вида
является решением
исходного уравнение. Единственное, что мы могли не учесть — это
Он тоже подходит, поэтому можем взять
которое
принимает любое вещественное значение.
где
вещественное
Ошибка.
Попробуйте повторить позже
Найдите все многочлены с вещественными коэффициентами такие, что
Подсказка 1
Одной из часто рассматриваемых характеристик многочлена является множество его корней. Какие корни имеет исходный многочлен, исходя из уравнения?
Подсказка 2
Корни 2 и 16. Если у исходного многочлена P(x) уже нашлись некоторые корни {x₁, x₂, ...},то его бывает полезно представить в виде P(x)=(x-x₁)(x-x₂)...G(x), тогда G(x) тоже является многочленом. Как это помогает в нашей задаче?
Подсказка 3
После замены легко получить, что G(x) имеет так же корни 2 и 8. А что бывает полезно сделать, когда у многочлена нашлись какие-то корни?
Подсказка 4
Представить его в виде G(x)=(x-2)(x-8)H(x) для некоторого многочлена H(x). Какой вид теперь примет уравнение?
Подсказка 5
Имеем H(2x)=H(x) для всех x. Когда такое бывает?
Подсказка 6
Докажите, что верно лишь тогда, когда H(x) является постоянным многочленом. Сделайте обратную замену и завершите решение.
Подставив в уравнение и
имеем, что
Следовательно,
для некоторого
многочлена
Таким образом, уравнение можно переписать в виде
следовательно,
то есть — так же являются корнями исходного многочлена.
Таким образом, Вновь подставляя полученный многочлен в уравнение, имеем
то есть
Отсюда следует, что является константой (в противном случае нетождественно нулевой многочлен
будет иметь
бесконечное число корней.)
Таким образом
для некоторой постоянной
для некоторой постоянной
Ошибка.
Попробуйте повторить позже
Найдите все многочлены с вещественными коэффициентами такие, что
Подсказка 1
Для данного многочлена P(x) полезно сделать замену P(x)=Q(x)+H(x), где H(x) --- некоторый данный нами многочлен (например, P(x)=Q(x)-x³+1). Например, если мы предполагаем, что существует единственное решение уравнения -x³+1, то нам будет достаточно, показать, что Q(x) тождественно равен 0 - это, как правило, упрощает задачу. Какую замену можно сделать в данной задаче?
Подсказка 2
Несложно видеть, что многочлен x^2 является решением исходного уравнения. Но тогда, как мы выяснили ранее, естественно будет сделать замену P(x)=Q(x)+x^2. Что мы получим после его подстановки в исходное уравнение?
Подсказка 3
Уравнение Q(x+1)=Q(x). Докажите, что это возможно лишь в тех случаях, когда Q(x) --- постоянный.
Пусть Тогда
Подставляя обозначенную замену в уравнение, получим
следовательно, Таким образом,
— постоянный многочлен и равен некоторому действительному числу
Таким образом,
где
действительная константа
Ошибка.
Попробуйте повторить позже
Найдите все многочлены с вещественными коэффициентами такие, что
Подсказка 1
Одной из часто рассматриваемых характеристик многочлена является множество его корней. Какие корни имеет исходный многочлен, исходя из уравнения?
Подсказка 2
Думаю вы точно нашли корни 0, 4 и 6. Казалось бы, что на этом можно закончить и попробовать представить многочлен, как P(x)=x(x-4)(x-6)G(x). Но попробуйте из уже известных корней найти новые. Что у вас получается?
Подсказка 3
Верно, наверное, вы заметили, что x=8 тоже корень. Но тогда получается x=10 тоже и так далее. Это наталкивает на мысль, что корней бесконечное количество! Попробуйте доказать это по индукции. Сделайте из этого правильные выводы, и победа.
Покажем, что единственным решением является многочлен для этого достаточно доказать, что
имеет бесконечное
количество корней. Индукцией по
докажем, что каждый элемент бесконечной последовательности
для всех четных натуральных является корнем
Действительно, при
имеем
следовательно, база индукции верна. Теперь предположим, что является корнем
Тогда в силу исходного уравнения,
имеем
где — значения соответственно многочленов
и
в точке
Поскольку
больше каждого из корней
многочлена
верно, что
следовательно,
так же является корнем исходного многочлена, что доказывает
индукционный переход и завершает решение.
Ошибка.
Попробуйте повторить позже
Найдите все многочлены степени
имеющие
действительных корней (не обязательно различных), такие,
что
Подсказка 1
Предположим, что исходный многочлен имеет некоторый корень r. Какие еще корни может иметь данный многочлен?
Подсказка 2
Несложно показать, что тогда r² и (r+1)² тоже являются корнями P(x). Как количество корней P(x) зависит от значения r?
Подсказка 3
Докажите, что если r отлично от 0 и 1, то количество корней многочлена бесконечно. Что это говорит о виде многочлена?
Подсказка 4
Он имеет вид ax^m(x-1)^n. Как числа m и n зависят друг от друга? Чему может быть равно a?
Подсказка 5
Несложно показать, что m=n и a=1. Наконец, докажите, что любой такой многочлен удовлетворяет уравнению.
Рассмотрим сначала случай, если В таком случае многочлен является константой и должен не иметь корней. Пусть
и
подстановкой получаем, что подходит только
Теперь будем рассматривать только натуральное Пусть
— корень многочлена. Тогда
поэтому и
тоже корни. Покажем, что число корней конечно тогда и только тогда, когда
Если и
то каждый элемент бесконечной последовательности
является решением, что невозможно. Аналогично, случай
Наконец, пусть
для некоторого действительного и натуральных
Корень
имеет кратность
в многочлене
и кратность
в
многочлене
поэтому
С одной стороны,
равен тождественному нулю, с другой, его старший коэффициент равен следовательно,
Несложно проверить, что любой многочлен вида удовлетворяет уравнению.
где
неотрицательное
Ошибка.
Попробуйте повторить позже
Найдите все многочлены с вещественными коэффициентами такие, что
Подсказка 1
Левая часть уравнения при замене x на -x. Что это говорит об исходном многочлене?
Подсказка 2
Докажите, что исходный многочлен является четной или нечетной функцией. Что можно сказать о количестве корней в случае, если исходный многочлен нечетен?
Подсказка 3
Покажите, что любой член последовательности x_n: x_0=0, x_n=x_{n-1}^2+1 является корнем многочлена. Какой вывод про P(x) из этого можно сделать?
Подсказка 4
Он является постоянной функцией. Докажите, что если многочлен четный, то его можно представить как квадрат некоторого другого многочлена Q(x). Что можно сказать о Q(x)?
Подсказка 5
Докажите, что Q(x) так же удовлетворяет исходному уравнению. Что может быть результатом ряда переходов от P(x) к Q(x)?
Подсказка 6
В конечном итоге, мы придем к многочлену нечетной степени. Возможно ли это?
Если является постоянным многочленом, то есть
для некоторого действительного
следовательно,
откуда
Сформулируем и докажем ряд лемм.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма 1. Этот многочлен либо четный, либо нечетный.
Доказательство. Заметим, что
следовательно, для бесконечного количества значений верно уравнение
или
то есть
тождественно равен одному из данных многочленов.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма 2. Если многочлен нечетный, то он имеет бесконечно много корней.
Доказательство. Рассмотрим последовательность имеющую вид
Индукцией по покажем, что для всех натуральных
верно
В силу нечетности многочлена, имеем
а значит,
база индукции верна. Если
является корнем исходного многочлена, то, в силу исходного уравнения, верно
по предположению индукции.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма 3. Если многочлен четный, то существует такой многочлен что
Доказательство. Поскольку полином четный, он является суть суммой мономов четных степеней, следовательно, его можно
записать как многочлен от
Итак, если мы подставим
вместо
в
мы получим многочлен от
и,
следовательно, от
Пусть
— данный многочлен, то есть
Наконец, в силу исходного уравнения,
имеем
________________________________________________________________________________________________________________________________________________________________________________________________________
Лемма 4. Определенный выше также удовлетворяет условию
Доказательство. В силу леммы имеем
кроме этого
Наконец, подставив вместо
в последнее уравнение, получим утверждение леммы.
_________________________________________________________________________________________________________________________________________________________________________________
Вернемся к решению исходной задачи. Предположим, что существует многочлен такой, что
Если данный многочлен имеет нечетную степень, то в силу леммы получим, что он тождественно равен
откуда противоречие с
предположением о том, что степень многочлена не меньше
Если же степень четна, то так же существует соответствующий ему многочлен
который удовлетворяет исходному
уравнению. Так, мы можем продолжать процесс до тех пор, пока на новом шаге не получим многочлен
нечетной степени —
процесс конечен, поскольку конечна степень вхождения
в число
Наконец,
и нечетна, что
невозможно.
Ошибка.
Попробуйте повторить позже
Найдите все многочлены с вещественными коэффициентами и
такие, что выполнено
Пусть — многочлен степени
удовлетворяющий данному равенству. Позже мы докажем, что для каждого
решение
единственно. Легко получить, например, с помощью метода неопределенных коэффициентов, что решениями являются
Заметим, что верна реккурентная формула
Попробуем решить ее так, будто
это равенство не для многочленов, а для чисел. Тогда для нахождения ответа необходимо решить характеристическое
уравнение
Далее будем искать решение в виде
где — некоторые многочлены. Учитывая условие
можем предположить, что
и убедиться, что они
удовлетворяют условию
Тогда
Простой подстановкой легко убедиться, что действительно удовлетворяет уравнению. Осталось доказать, что
—
единственное решение для каждого
Пусть — решение. Тогда имеем
Из этих равенств следует, что поскольку старший коэффициент должен быть положительным в силу равенства
и
Пусть
Во втором равенстве коэффициент при
равен нулю, если
нечетно.
Из первого равенства следует, что коэффициентами при степенях
являются суммы слагаемых вида
Тогда
минимальная степень с возможно ненулевым индексом удовлетворяет неравенству
если
четно. Теперь, если мы
запишем по порядку убывания
уравнения на коэффициенты при
все
из них, кроме первого, будут иметь вид
где
— известные к моменту решения этого уравнения числа (поскольку мы последовательно
вычисляем
). Каждое уравнение такого вида имеет единственное решение относительно
и потому многочлен
единственен.
Ошибка.
Попробуйте повторить позже
Найдите все функции такие, что
Сделаем замену переменных. Пусть Тогда переменные всё ещё можно подставлять какие угодно, потому что мы
можем по
и
восстановить
и
Тогда условие превращается в
Значит,
откуда получаем
(ведь при любых
значение
постоянно). Проверкой получаем, что
подходит.
Ошибка.
Попробуйте повторить позже
Найдите все инъективные функции такие, что
Подставим Тогда
или
при всех
Из инъективности получаем, что
значение, при котором функция равна
единственное, то есть
Теперь снова по инъективности получаем, что
Тогда
Теперь подставим это в исходное уравнение:
то есть
Отсюда
и единственное решение
Ошибка.
Попробуйте повторить позже
Найдите все функции такие, что
Зафиксируем и
Тогда рассмотрим
При
получаем
а при
То есть Получается в каждой точке
или
Пусть существует
такой, что
Тогда, подставив его в функцию, получаем
Тогда при
получаем, что аргументы не равны и не
противоположны
а значит, значение функции равно
при всех
Проверим, что оно
и в оставшейся точке.
Подставим
(будем считать
иначе возьмём
Тогда
Но слева получается
а
справа соответствующая точка. Значит, если функция
хотя бы в одной ненулевой точке, то она тождественный
Проверкой получаем,
что
и
подходят.
или
Ошибка.
Попробуйте повторить позже
Cуществует ли функция заданная на множестве всех действительных чисел и принимающая действительные значения, и действительное
число
такие, что
и
для любого действительного
Источники:
Подсказка 1
У нас не так много информации, новую мы можем получить только при подстановке в имеющиеся тождества.
Подсказка 2
Чему равно f(f(a))? Попробуйте получить два равенства.
Подсказка 3
Итого 0 = f(-2). Самое время найти f(0) и повторить аналогичные действия еще пару раз!
Подсказка 4
А как тут можно прийти к противоречию?
Предположим, что такая функция существует. Подставим в данное тождество число получим
Теперь подставим в исходное тождество
Подставим тогда
Подставим тогда
Но мы уже получили, что поэтому такой функции не существует.
Ошибка.
Попробуйте повторить позже
Найдите все функции , для которых существует такое вещественное число
, что при всех вещественных
выполнено
равенство
Источники:
Подсказка 1
Заметим, что правая часть несимметрична относительно x и y, а левая - симметрична) Как тогда можно связать x и y?
Подсказка 2
f(x)f(y) - f(x) - 2y + a = 2f(xy+3)=f(y)f(x) - f(y) - 2x + a ⇒ f(x) - 2x = f(y) - 2y. Значит, разность f(x) - 2x постоянна! Как тогда записать f(x) и что с этим можно сделать?
Подсказка 3
f(x) = 2x + C, для некоторого действительного C и любого x) Остается лишь подставить это в равенство из условия, найти C и a)
Заметим, что
Значит, при всех выполнено
. Значит, разность
постоянна и
, для некоторого
. Подставляя в исходное равенство, получаем, что при всех
выполнено равенство:
Оно тождественно выполнено только при ; при этом