Глава

Условия-неравенства в функциональных уравнениях

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

Теория

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

В функциональных уравнениях на \(\mathbb R\) неравенство часто играет роль регулярности. Аддитивная функция может быть очень «дикой», но монотонность, ограниченность на интервале, положительность на луче или порядок сразу заставляют её стать линейной. Поэтому неравенство нужно использовать не в конце, а как ключевой шаг решения.

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

Аддитивная функция, ограниченная сверху или снизу на интервале, линейна. Аддитивная монотонная функция линейна. Если аддитивная функция неотрицательна на \(x>0\), то она монотонна. Если аддитивная функция ограничена сверху или снизу на всей прямой, она равна нулю. Jensen-type уравнение плюс ограниченность или монотонность обычно даёт аффинность.

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

Метод нужен, когда к функциональному уравнению добавлены слова «возрастает», «ограничена», «положительна», «сохраняет порядок», или дана оценка вида \(|f(x)|\le C\), \(f(x)\le x^2\), \(0\le f(x)\le x\). В таких задачах ищите, как масштабировать аргумент: заменить \(x\) на \(qx\), \(nx\), \(x/n\).

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

Признаки: уравнение похоже на Cauchy, но область \(\mathbb R\); есть неравенство только на маленьком интервале; дана положительность на положительной полуоси; нужно исключить нелинейные аддитивные функции; оценка становится сильнее после деления на \(n\) или после замены \(x\) на \(qx\).

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

Нельзя просто написать \(f(x)=cx\) из аддитивности на \(\mathbb R\). Нельзя использовать ограниченность только в одной точке: нужна область с длиной. В задачах с неравенством важно проверять оба знака аргумента. И не забывайте: если неравенство верно для всех \(q>0\), можно устремлять \(q\) к \(0\) или бесконечности.

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

1. Есть ли Cauchy/Jensen-часть? 2. Какая регулярность дана: монотонность, ограниченность, знак? 3. Можно ли доказать непрерывность в нуле? 4. Что даёт масштабирование \(qx\)? 5. Нужно ли отдельно рассмотреть \(x>0\) и \(x<0\)? 6. Проверены ли крайние случаи: нулевая функция, отрицательный коэффициент?

Примеры

Пример 1. Монотонная аддитивность

Монотонность закрывает Cauchy-уравнение на \(\mathbb R\).

Задача. Пусть \(f\) аддитивна, возрастает и \(f(1)=3\). Найдите \(f\).

Решение.

Возрастающая аддитивная функция линейна: \(f(x)=cx\). Из \(f(1)=3\) получаем \(c=3\). Ответ: \(f(x)=3x\).

Комментарий. В решении важно назвать, что именно даёт монотонность.

Пример 2. Ограниченность на интервале

Даже локальная ограниченность убирает патологические решения.

Задача. Пусть \(f\) аддитивна, \(|f(x)|\le 10\) при \(0\le x\le1\), и \(f(1)=2\). Найдите \(f\).

Решение.

Аддитивная функция, ограниченная на интервале, непрерывна. Следовательно, \(f(x)=cx\). Из \(f(1)=2\) получаем \(f(x)=2x\).

Комментарий. Не нужно знать значения вне интервала.

Пример 3. Положительность на луче

Знак на положительной полуоси даёт монотонность.

Задача. Пусть \(f\) аддитивна и \(f(x)\ge0\) для всех \(x>0\). Докажите, что \(f(x)=cx\), \(c\ge0\).

Решение.

Если \(x0\), значит \(f(y)-f(x)=f(y-x)\ge0\). Поэтому \(f\) неубывает. Монотонная аддитивная функция линейна: \(f(x)=cx\). Из условия при \(x>0\) следует \(c\ge0\).

Комментарий. Положительность превращается в порядок.

Пример 4. Глобальная нижняя граница

Аддитивная функция, ограниченная снизу на всей прямой, обязана быть нулевой.

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

Решение.

Если \(f(a)>0\), то для больших отрицательных \(n\) значение \(f(na)=nf(a)<-1\), противоречие. Если \(f(a)<0\), то для больших положительных \(n\) снова \(f(na)<-1\). Значит, \(f(a)=0\) для всех \(a\).

Комментарий. Глобальная оценка сильнее локальной.

Пример 5. Масштабирование оценки

Оценка квадратичным выражением может заставить аддитивную функцию исчезнуть.

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

Решение.

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

Комментарий. Это один из самых полезных трюков модуля.

Пример 6. Jensen плюс ограниченность

Jensen-type равенство с регулярностью даёт аффинность.

Задача. Пусть \(f\) удовлетворяет \(f\left(\frac{x+y}{2}\right)=\frac{f(x)+f(y)}{2}\) и ограничена сверху на некотором интервале. Докажите, что \(f\) аффинна.

Решение.

Положим \(g(x)=f(x)-f(0)\). Тогда \(g\) удовлетворяет Jensen-уравнению и ограничена на интервале. Стандартный результат: такая функция непрерывна и Jensen-линейна, значит \(g(x)=cx\). Поэтому \(f(x)=cx+b\).

Комментарий. Для школьного курса это можно использовать как теоретический факт.

Пример 7. Аддитивность и мультипликативность с порядком

Монотонность сначала даёт линейность, затем второе условие фиксирует коэффициент.

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

Решение.

Неубывающая аддитивная функция линейна: \(f(x)=cx\), где \(c\ge0\). Тогда \(cxy=c^2xy\) для всех \(x,y\). Значит, \(c=0\) или \(c=1\). Ответ: \(f\equiv0\) и \(f(x)=x\).

Комментарий. Нулевая функция остаётся допустимой, потому что неубывает.

Пример 8. Неравенство с произведением

Финальный пример: один и тот же знак произведения даёт две противоположные оценки.

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

Решение.

При \(y=x\) получаем \(f(x)^2\le x^2\), значит \(f\) ограничена на \([-1,1]\), следовательно, \(f(x)=cx\). Тогда условие становится \(c^2xy\le xy\) для всех \(x,y\). При \(xy>0\) получаем \(c^2\le1\), а при \(xy<0\) получаем \(c^2\ge1\). Значит, \(c^2=1\). Ответ: \(f(x)=x\), \(f(x)=-x\).

Комментарий. Важно рассмотреть оба знака \(xy\).

Задачи

Задачи

#9.1
#9.1

Возрастающая аддитивность

Monotonicity 10 класс 11 класс ★★☆☆☆

Пусть \(f:\mathbb R\to\mathbb R\) аддитивна, возрастает и \(f(1)=4\). Найдите \(f\).

Детали
Задача: ALG-B3-M09-P001
Сложность: Уровень 2 из 5
Tag: Monotonicity
Grade: 10 класс, 11 класс
#9.2
#9.2

Ограниченность на отрезке

Additive 10 класс 11 класс ★★☆☆☆

Пусть \(f\) аддитивна, \(|f(x)|\le5\) при \(0\le x\le1\), и \(f(1)=3\). Найдите \(f\).

Детали
Задача: ALG-B3-M09-P002
Сложность: Уровень 2 из 5
Tag: Additive
Grade: 10 класс, 11 класс
#9.3
#9.3

Положительность

Positivity 10 класс 11 класс ★★☆☆☆

Пусть \(f\) аддитивна, \(f(x)\ge0\) при \(x>0\), и \(f(1)=6\). Найдите \(f\).

Детали
Задача: ALG-B3-M09-P003
Сложность: Уровень 2 из 5
Tag: Positivity
Grade: 10 класс, 11 класс
#9.4
#9.4

Глобальная верхняя граница

Additive 10 класс 11 класс ★★☆☆☆

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

Детали
Задача: ALG-B3-M09-P004
Сложность: Уровень 2 из 5
Tag: Additive
Grade: 10 класс, 11 класс
#9.5
#9.5

Порядок и инволюция

Monotonicity 10 класс 11 класс ★★☆☆☆

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

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

Оценка на симметричном интервале

Additive 10 класс 11 класс ★★★☆☆

Пусть \(f\) аддитивна, \(|f(x)|\le7\) при \(|x|\le1\), и \(f(2)=10\). Найдите \(f\).

Детали
Задача: ALG-B3-M09-P006
Сложность: Уровень 3 из 5
Tag: Additive
Grade: 10 класс, 11 класс
#9.7
#9.7

Ниже нельзя

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

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

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

Jensen с ограничением

Boundedness 10 класс 11 класс ★★★☆☆

Пусть \(f\) удовлетворяет \(f\left(\frac{x+y}{2}\right)=\frac{f(x)+f(y)}{2}\) и ограничена сверху на интервале \([0,1]\). Докажите, что \(f(x)=ax+b\).

Детали
Задача: ALG-B3-M09-P008
Сложность: Уровень 3 из 5
Tag: Boundedness
Grade: 10 класс, 11 класс
#9.9
#9.9

Сохранение порядка

Additive 10 класс 11 класс ★★★☆☆

Пусть \(f\) аддитивна, строго сохраняет порядок \(x

Детали
Задача: ALG-B3-M09-P009
Сложность: Уровень 3 из 5
Tag: Additive
Grade: 10 класс, 11 класс
#9.10
#9.10

Двусторонняя оценка на луче

Positivity 10 класс 11 класс ★★★☆☆

Пусть \(f\) аддитивна и \(0\le f(x)\le x\) для всех \(x\ge0\). Докажите, что \(f(x)=cx\), где \(0\le c\le1\).

Детали
Задача: ALG-B3-M09-P010
Сложность: Уровень 3 из 5
Tag: Positivity
Grade: 10 класс, 11 класс
#9.11
#9.11

Квадратичная верхняя оценка

Additive 10 класс 11 класс ★★★★☆

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

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

Слишком большая нижняя оценка

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

Докажите, что не существует аддитивной \(f:\mathbb R\to\mathbb R\), такой что \(f(x)\ge x^2\) для всех \(x\).

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

Порядок и произведение

Monotonicity 10 класс 11 класс ★★★★☆

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

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

Нижняя граница

Additive 10 класс 11 класс ★★★★☆

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

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

Монотонный Jensen

Monotonicity 10 класс 11 класс ★★★★★

Пусть \(f\) неубывает и \(f\left(\frac{x+y}{2}\right)=\frac{f(x)+f(y)}{2}\). Докажите, что \(f(x)=ax+b\).

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

Модульная оценка

Модуль 10 класс 11 класс ★★★★★

Пусть \(f\) аддитивна и \(|f(x)|\le 2|x|\) для всех \(x\). Найдите все такие \(f\).

Детали
Задача: ALG-B3-M09-P016
Сложность: Уровень 5 из 5
Tag: Модуль
Grade: 10 класс, 11 класс
#9.17
#9.17

Строгая положительность

Positivity 10 класс 11 класс ★★★★★

Пусть \(f\) аддитивна, \(f(x)>0\) для всех \(x>0\), и \(f(1)=1\). Докажите, что \(f(x)=x\).

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

Две разные оценки

Additive 10 класс 11 класс ★★★★★

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

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

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

Additive 10 класс 11 класс ★★★★★

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

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

Двусторонний знак произведения

Additive 10 класс 11 класс ★★★★★

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

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

Лестницы

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