Уравнение Коши функциональное: решения и метод вывода

Функциональное уравнение Коши - это запись $f(x+y) = f(x) + f(y)$, которой должна удовлетворять неизвестная функция $f$ при всех вещественных $x$ и $y$. На первый взгляд кажется, что ответ очевиден: подходит прямая $f(x) = cx$. Но честный разбор показывает тонкость - без дополнительного условия (непрерывности, монотонности или ограниченности хотя бы на отрезке) у уравнения есть дикие, не выражаемые формулой решения. Ниже разберём, откуда берётся линейный ответ, почему он не единственный без оговорок и как это уравнение всплывает в анализе, теории меры и на олимпиадах. Соберите свою постановку в форме ниже - модель доведёт вывод до конца с нужными оговорками.

Постановка задачи

Ищем все функции $f \colon \mathbb{R} \to \mathbb{R}$, для которых аддитивность

$$f(x + y) = f(x) + f(y)$$

выполнена тождественно. Такое $f$ называют аддитивной функцией. Уравнение названо в честь Огюстена Луи Коши, который в «Курсе анализа» (1821) первым систематически разобрал его вместе с тремя родственными уравнениями. Главный вопрос не «существует ли решение» (тождественный ноль и любая прямая через начало координат подходят сразу), а «исчерпывают ли простые формулы весь запас решений». Ответ зависит от того, какой класс функций мы допускаем.

Рассчитать для своей задачи

Решение на рациональных числах

Первый шаг не требует никаких оговорок и проходит чисто алгебраически. Подставим $x = y = 0$: получаем $f(0) = 2f(0)$, то есть $f(0) = 0$. Подставим $y = -x$: $f(0) = f(x) + f(-x)$, откуда $f(-x) = -f(x)$ - аддитивная функция нечётна.

Дальше индукцией по натуральному $n$ выводится $f(nx) = n f(x)$. Положив $c = f(1)$, получаем $f(n) = cn$ для целых $n$. Для дроби $p/q$ запишем $q \cdot f(p/q) = f(p) = cp$, значит

$$f\left(\frac{p}{q}\right) = c \cdot \frac{p}{q}.$$

Итог: на всём множестве рациональных чисел любое аддитивное $f$ совпадает с $f(x) = cx$, где $c = f(1)$. Эта часть безусловна. Проблема начинается при переходе к иррациональным аргументам: значения $f$ в рациональных точках жёстко заданы, но между ними функция формально свободна - связать их можно только дополнительным свойством.

Почему нужна непрерывность

Самое слабое естественное условие, которое доводит решение до $f(x) = cx$ на всей прямой, - непрерывность хотя бы в одной точке. Идея коротка: рациональные числа плотны в $\mathbb{R}$, поэтому любое вещественное $x$ - предел последовательности рациональных $r_n \to x$. Если $f$ непрерывна, то

$$f(x) = \lim_{n \to \infty} f(r_n) = \lim_{n \to \infty} c\, r_n = c x.$$

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

• непрерывность в одной точке;
• монотонность на любом промежутке;
• ограниченность сверху или снизу на любом отрезке положительной длины;
• измеримость по Лебегу.

Рассчитать для своей задачи

Патологические решения без регулярности

Если же не требовать ничего, кроме самой аддитивности, появляются решения, которые невозможно ни нарисовать, ни задать формулой. Их построение опирается на базис Гамеля - базис $\mathbb{R}$ как векторного пространства над полем рациональных чисел $\mathbb{Q}$. Существование такого базиса гарантирует аксиома выбора. Каждое вещественное число единственным образом раскладывается в конечную $\mathbb{Q}$-линейную комбинацию базисных элементов; задав значения $f$ на элементах базиса произвольно и продолжив по линейности над $\mathbb{Q}$, получаем аддитивную функцию.

Если на двух базисных элементах назначить значения «непропорционально», итоговая функция не будет иметь вида $cx$. Такие решения называют патологическими, и их свойства экстремальны:

$$\overline{\{(x, f(x)) : x \in \mathbb{R}\}} = \mathbb{R}^2.$$

То есть график неколинейного аддитивного решения плотен во всей плоскости - он разрывен в каждой точке, неизмерим и неограничен на любом отрезке. Именно поэтому условие регулярности в формулировке не косметическое: без него теорема единственности просто неверна. Конструкция через базис Гамеля - стандартный сюжет курса теории меры: тот же запас аддитивных, но не линейных функционалов лежит в основе техники продолжения из теоремы Хана-Банаха.

Четыре уравнения Коши

Коши разобрал не одно, а семейство из четырёх уравнений; три остальных сводятся к аддитивному заменой переменных. Для непрерывных (или хотя бы измеримых) функций их решения таковы:

$$\begin{aligned} f(x+y) &= f(x) + f(y) &&\Rightarrow\quad f(x) = cx, \\ f(x+y) &= f(x)\, f(y) &&\Rightarrow\quad f(x) = e^{cx}, \\ f(xy) &= f(x) + f(y) &&\Rightarrow\quad f(x) = c\ln x, \\ f(xy) &= f(x)\, f(y) &&\Rightarrow\quad f(x) = x^{c}. \end{aligned}$$

Логика сведения одна и та же: логарифмирование превращает произведение значений в сумму, а замена аргумента $x \mapsto \ln x$ переводит произведение аргументов в сумму. Например, для мультипликативного $f(x+y) = f(x) f(y)$ при положительном $f$ функция $g = \ln f$ аддитивна, откуда $g(x) = cx$ и $f(x) = e^{cx}$. Эти четыре формулы - фундамент для характеризации показательной и логарифмической функций через их структурное свойство, а не через ряды или пределы.

Где уравнение Коши встречается

Аддитивность - это и есть линейность одномерного отображения, поэтому уравнение всплывает всюду, где нужно охарактеризовать «масштабирование без искажений». Несколько типичных мест:

• Теория вероятностей. Свойство отсутствия памяти показательного распределения, $P(X > s + t) = P(X > s)\, P(X > t)$, - это мультипликативное уравнение Коши; его непрерывное решение даёт ровно $e^{-\lambda t}$.
• Функциональный анализ. Аддитивный плюс однородный функционал - это линейный функционал; именно такие объекты продолжают теоремы о расширении линейных отображений.
• Олимпиады. Большинство школьных функциональных уравнений сводится подстановками к уравнению Коши, после чего ссылаются на непрерывность или монотонность из условия.
• Теория меры. Базис Гамеля и патологические решения - каноническая иллюстрация того, что без аксиомы выбора и условий регулярности «очевидные» теоремы рушатся.

Если у вас конкретное уравнение из задачника, его почти всегда удаётся свести к аддитивному виду - соберите постановку в форме выше и проверьте, какая подстановка работает.

Частые ошибки

• Считать ответ $f(x) = cx$ полным без оговорок. Без условия регулярности это неверно - обязательно указывайте, что требуете непрерывность, монотонность, ограниченность или измеримость.
• Доказывать линейность сразу на $\mathbb{R}$. Индукция и деление дают $f(x) = cx$ только на $\mathbb{Q}$; переход к иррациональным аргументам - отдельный шаг через плотность и непрерывность.
• Забывать проверить $f(0) = 0$ и нечётность. Это базовые подстановки $x=y=0$ и $y=-x$, с которых начинается любой разбор.
• Путать аддитивность с линейностью функции одной переменной в школьном смысле. Аддитивное $f$ автоматически удовлетворяет $f(qx) = q f(x)$ лишь для рациональных $q$, а не для всех вещественных.
• Применять базис Гамеля как «решение задачи». Патологические решения существуют, но в учебной задаче с условием непрерывности ответ всё равно один - $f(x) = cx$.

FAQ

Единственно ли решение уравнения Коши? На рациональных числах - да, всегда $f(x) = cx$. На всей прямой единственность гарантирована, только если добавить условие регулярности (непрерывность в точке, монотонность, ограниченность на отрезке или измеримость). Без него существуют патологические решения через базис Гамеля.

Что такое базис Гамеля и зачем он нужен? Это базис множества вещественных чисел как векторного пространства над полем рациональных чисел. Его существование следует из аксиомы выбора. Назначив значения аддитивной функции на элементах базиса произвольно, строят разрывное решение, не выражаемое формулой $cx$.

Как уравнение Коши связано с показательной функцией? Мультипликативный вариант $f(x+y) = f(x) f(y)$ логарифмированием сводится к аддитивному, и его непрерывное решение есть $f(x) = e^{cx}$. Так показательная функция характеризуется одним структурным свойством - превращением суммы аргументов в произведение значений.

Коротко

Функциональное уравнение Коши $f(x+y) = f(x) + f(y)$ на рациональных числах безусловно даёт $f(x) = cx$; на всей прямой этот ответ единственен только при условии регулярности - непрерывности в точке, монотонности, ограниченности на отрезке или измеримости. Без него аксиома выбора через базис Гамеля порождает патологические решения с графиком, плотным во всей плоскости. Три родственных уравнения Коши сводятся к аддитивному и характеризуют показательную, логарифмическую и степенную функции.