Глава

Смешанные функциональные уравнения

Смешанный модуль без заранее указанного метода: Cauchy, Jensen, итерации, конечные множества, многочлены, неравенства и параметры.
Войдите, чтобы сохранять решённые и закладки.

Теория

Ключевая идея

В смешанных задачах метод не написан в заголовке. Нужно сначала определить тип препятствия: неизвестна инъективность, неясна регулярность, мешает параметр, есть конечные циклы, многочленное условие или неравенство. После распознавания задача обычно сводится к одному из уже изученных шаблонов.

Основные факты

Если есть \(x+f(y)\), проверьте инъективность и сюръективность. Если есть \(x+y\), ищите Cauchy/Jensen. Если есть \(xy\), проверьте мультипликативность или квадратичную поправку. Если дана монотонность или ограниченность, используйте её для линейности. Если функция многочлен, сравнивайте степени. Если множество конечно, думайте о циклах.

Когда применять метод

Этот модуль нужен перед олимпиадным набором: задача не сообщает, какой инструмент применять. Начинайте с короткой диагностики: область, регулярность, специальные значения, степень, возможные циклы, наличие параметров.

Как распознать метод

Слова «возрастает», «ограничена», «положительна» указывают на регулярность. Композиция \(f(f(x))\) указывает на итерацию или инъективность. Многочлен - на степень. Конечное множество - на циклы. Добавка \(xy\) - на квадратичную поправку.

Типичные ошибки

Самая частая ошибка - начать длинные вычисления до выбора метода. Вторая - забыть особые решения: нулевая функция, постоянные многочлены, отрицательный коэффициент. Третья - не проверить область: на \(\mathbb Q\) и \(\mathbb R\) одинаковая формула может иметь разные ответы.

Мини-чеклист

1. Какая область? 2. Есть ли регулярность? 3. Есть ли композиция? 4. Есть ли параметр или \(xy\)? 5. Можно ли доказать инъективность? 6. Если это многочлен, какая степень? 7. Проверены ли найденные функции?

Примеры

Пример 1. Добавка \(xy\)

Задача выглядит как Cauchy, но ключ - квадратичная поправка.

Задача. Пусть \(f\) непрерывна, \(f(x+y)=f(x)+f(y)+4xy\), \(f(1)=3\). Найдите \(f\).

Решение.

Положим \(g(x)=f(x)-2x^2\). Тогда \(g(x+y)=g(x)+g(y)\), значит \(g(x)=cx\). Из \(f(1)=3\) получаем \(2+c=3\), \(c=1\). Ответ: \(f(x)=2x^2+x\).

Комментарий. Метод распознаётся по \(xy\).

Пример 2. Рациональная итерация

На \(\mathbb Q\) итерация аддитивной функции - это степень коэффициента.

Задача. Найдите аддитивные \(f:\mathbb Q\to\mathbb Q\), если \(f(f(x))=9x\).

Решение.

Пусть \(f(x)=cx\). Тогда \(c^2=9\). Ответ: \(f(x)=3x\) и \(f(x)=-3x\).

Комментарий. Домен сразу подсказывает линейность.

Пример 3. Полиномиальная разность

Если равенство верно для всех целых, оно становится тождеством.

Задача. Найдите \(P\in\mathbb R[x]\), если \(P(n+1)-P(n)=3n^2+3n+1\) для всех целых \(n\).

Решение.

Правая часть равна \((n+1)^3-n^3\). Поэтому \(P(x)-x^3\) имеет нулевую разность на всех целых, значит эта разность тождественно нулевая. Следовательно, \(P(x)=x^3+c\).

Комментарий. Бесконечно много целых точек достаточно для тождества.

Пример 4. Конечный цикл

В конечных множествах итерация означает разложение на циклы.

Задача. Перестановка \(14\) элементов удовлетворяет \(f^3(x)=x\). Докажите, что есть неподвижная точка.

Решение.

Циклы имеют длину \(1\) или \(3\). Если нет неподвижных точек, все циклы длины \(3\), тогда число элементов делится на \(3\). Но \(14\) не делится на \(3\). Значит, неподвижная точка есть.

Комментарий. Метод не функционально-аналитический, а комбинаторный.

Пример 5. Неравенство убивает функцию

Оценка может быть сильнее, чем кажется.

Задача. Пусть \(f\) аддитивна и \(f(x)\le x^2\) для всех \(x\). Докажите, что \(f\equiv0\).

Решение.

Для \(q>0\): \(qf(x)=f(qx)\le q^2x^2\). Делим на \(q\) и устремляем \(q\to0+\), получаем \(f(x)\le0\). Применяя к \(-x\), получаем \(f(x)\ge0\). Значит, \(f=0\).

Комментарий. Масштабирование - главный ход.

Пример 6. Многочлен-идемпотент

Композиция многочлена иногда решается через бесконечный образ.

Задача. Найдите \(P\in\mathbb R[x]\), если \(P(P(x))=P(x)\).

Решение.

Все постоянные многочлены подходят. Если \(P\) непостоянен, его образ бесконечен. Для каждого \(t=P(x)\) имеем \(P(t)=t\), значит \(P(T)-T\) имеет бесконечно много корней. Поэтому \(P(x)=x\).

Комментарий. Не сравнение степени, а образ.

Пример 7. Инъективность из \(x+f(y)\)

Сначала нужно получить право заменять и сокращать.

Задача. Найдите возрастающие \(f:\mathbb R\to\mathbb R\), если \(f(x+f(y))=f(x)+3y\).

Решение.

Сравнение значений при одинаковом \(f(y)\) даёт инъективность. Далее \(f(0)=0\), \(f(f(y))=3y\), и при \(t=f(y)\) получаем \(f(x+t)=f(x)+f(t)\). Возрастающая аддитивная функция линейна: \(f(x)=cx\). Тогда \(c^2=3\), \(c>0\). Ответ: \(f(x)=\sqrt{3}x\).

Комментарий. Здесь смешаны три техники.

Пример 8. Параметр и композиция

Финальный пример: сначала общий вид, потом степень композиции.

Задача. Пусть \(f\) непрерывна, \(f(x+y)=f(x)+f(y)+a xy\), и \(f(f(x))=x+a\). Найдите \((a,f)\).

Решение.

Общий вид: \(f(x)=\frac a2x^2+cx\). Если \(a\ne0\), композиция имеет степень \(4\), невозможно. Значит, \(a=0\), \(f(x)=cx\), и \(c^2=1\). Ответ: \(a=0\), \(f(x)=x\) или \(f(x)=-x\).

Комментарий. Параметр тоже часть ответа.

Задачи

Задачи

#11.1
#11.1

Неожиданная добавка

Смешанные 10 класс 11 класс ★★★★☆

Пусть \(f\) непрерывна, \(f(x+y)=f(x)+f(y)+4xy\), \(f(1)=3\). Найдите \(f\).

Детали
Задача: ALG-B3-M11-P001
Сложность: Уровень 4 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс
#11.2
#11.2

Квадрат итерации

Смешанные 10 класс 11 класс ★★★★☆

Найдите все аддитивные \(f:\mathbb Q\to\mathbb Q\), если \(f(f(x))=9x\).

Детали
Задача: ALG-B3-M11-P002
Сложность: Уровень 4 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс
#11.3
#11.3

Инволюция с порядком

Смешанные 10 класс 11 класс ★★★★☆

Пусть \(f:\mathbb R\to\mathbb R\) строго возрастает и \(f(f(x))=x\). Докажите, что \(f(x)=x\).

Детали
Задача: ALG-B3-M11-P003
Сложность: Уровень 4 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс
#11.4
#11.4

Кубическая разность

Смешанные 10 класс 11 класс ★★★★☆

Найдите \(P\in\mathbb R[x]\), если \(P(n+1)-P(n)=3n^2+3n+1\) для всех целых \(n\).

Детали
Задача: ALG-B3-M11-P004
Сложность: Уровень 4 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс
#11.5
#11.5

Шаг два

Четность 10 класс 11 класс ★★★★☆

Пусть \(f(n+2)=f(n)+8\), \(f(0)=1\), \(f(1)=5\). Найдите \(f:\mathbb Z\to\mathbb Z\).

Детали
Задача: ALG-B3-M11-P005
Сложность: Уровень 4 из 5
Tag: Четность
Grade: 10 класс, 11 класс
#11.6
#11.6

Четырнадцать элементов

Циклы 10 класс 11 класс ★★★★☆

Перестановка множества из \(14\) элементов удовлетворяет \(f^3(x)=x\). Докажите, что есть неподвижная точка.

Детали
Задача: ALG-B3-M11-P006
Сложность: Уровень 4 из 5
Tag: Циклы
Grade: 10 класс, 11 класс
#11.7
#11.7

Оценка квадратом

Смешанные 10 класс 11 класс ★★★★☆

Пусть \(f\) аддитивна и \(f(x)\le x^2\) для всех \(x\). Докажите, что \(f\equiv0\).

Детали
Задача: ALG-B3-M11-P007
Сложность: Уровень 4 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс
#11.8
#11.8

Произведение аргументов

Смешанные 10 класс 11 класс ★★★★★

Найдите все \(P\in\mathbb R[x]\), если \(P(xy)=P(x)P(y)\).

Детали
Задача: ALG-B3-M11-P008
Сложность: Уровень 5 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс
#11.9
#11.9

Середины

Смешанные 10 класс 11 класс ★★★★★

Пусть \(f\) непрерывна, \(f(x+y)+f(x-y)=2f(x)\), \(f(0)=1\), \(f(2)=5\). Найдите \(f\).

Детали
Задача: ALG-B3-M11-P009
Сложность: Уровень 5 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс
#11.10
#11.10

Квадрат с коэффициентом

Смешанные 10 класс 11 класс ★★★★★

Пусть \(f:\mathbb Q\to\mathbb Q\) аддитивна и \(f(x^2)=2xf(x)\). Найдите \(f\).

Детали
Задача: ALG-B3-M11-P010
Сложность: Уровень 5 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс
#11.11
#11.11

Золотая система

Смешанные 10 класс 11 класс ★★★★★

Пусть \(f\) непрерывна, аддитивна и \(f(x)f(y)=f(xy)+xy\). Найдите \(f\).

Детали
Задача: ALG-B3-M11-P011
Сложность: Уровень 5 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс
#11.12
#11.12

Скрытый корень из трёх

Смешанные 10 класс 11 класс ★★★★★

Найдите все возрастающие \(f:\mathbb R\to\mathbb R\), такие что \(f(x+f(y))=f(x)+3y\).

Детали
Задача: ALG-B3-M11-P012
Сложность: Уровень 5 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс
#11.13
#11.13

Иррациональный коэффициент на \(\mathbb Q\)

Линейные сравнения 10 класс 11 класс ★★★★★

Докажите, что нет аддитивной \(f:\mathbb Q\to\mathbb Q\), такой что \(f(f(x))=3x\).

Детали
Задача: ALG-B3-M11-P013
Сложность: Уровень 5 из 5
Tag: Линейные сравнения
Grade: 10 класс, 11 класс
#11.14
#11.14

Идемпотентный многочлен

Смешанные 10 класс 11 класс ★★★★★

Найдите все \(P\in\mathbb R[x]\), такие что \(P(P(x))=P(x)\).

Детали
Задача: ALG-B3-M11-P014
Сложность: Уровень 5 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс
#11.15
#11.15

Рост на натуральных

Order 10 класс 11 класс ★★★★★

Пусть \(f:\mathbb N\to\mathbb N\), \(f(n)>n\), и \(f(f(n))=n+2\). Докажите, что \(f(n)=n+1\).

Детали
Задача: ALG-B3-M11-P015
Сложность: Уровень 5 из 5
Tag: Order
Grade: 10 класс, 11 класс
#11.16
#11.16

Произведение и знак

Смешанные 10 класс 11 класс ★★★★★

Пусть \(f\) аддитивна и \(f(x)f(y)\le xy\) для всех \(x,y\). Найдите \(f\).

Детали
Задача: ALG-B3-M11-P016
Сложность: Уровень 5 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс
#11.17
#11.17

Параметрический сдвиг

Смешанные 10 класс 11 класс ★★★★★

Найдите все пары \((a,f)\), где \(f\) непрерывна, \(f(x+y)=f(x)+f(y)+a xy\), и \(f(f(x))=x+a\).

Детали
Задача: ALG-B3-M11-P017
Сложность: Уровень 5 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс
#11.18
#11.18

Модульная функция

Смешанные 10 класс 11 класс ★★★★★

Пусть \(p\) - нечётное простое, \(f:\mathbb Z/p\mathbb Z\to\mathbb Z/p\mathbb Z\), \(f(x+f(y))=f(x)+y\). Найдите \(f\).

Детали
Задача: ALG-B3-M11-P018
Сложность: Уровень 5 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс
#11.19
#11.19

Две функции

System 10 класс 11 класс ★★★★★

Пусть \(f,g:\mathbb Q\to\mathbb Q\) аддитивны, \(f(g(x))=x\), и \(f(2)=6\). Найдите \(f,g\).

Детали
Задача: ALG-B3-M11-P019
Сложность: Уровень 5 из 5
Tag: System
Grade: 10 класс, 11 класс
#11.20
#11.20

Параметр, середины и композиция

Смешанные 10 класс 11 класс ★★★★★

Найдите все пары \((a,f)\), где \(f\) непрерывна, \(f(x+y)+f(x-y)=2f(x)+2a y^2\), и \(f(f(x))=x\).

Детали
Задача: ALG-B3-M11-P020
Сложность: Уровень 5 из 5
Tag: Смешанные
Grade: 10 класс, 11 класс

Лестницы

Опубликованных лестниц пока нет.
Предыдущая глава