Функциональное уравнение — уравнение, выражающее связь между значением функции в одной точке с её значениями в других точках. Многие свойства функций можно определить, исследуя функциональные уравнения, которым эти функции удовлетворяют. Термин «функциональное уравнение» обычно используется для уравнений, несводимых простыми способами к алгебраическим уравнениям. Эта несводимость чаще всего обусловлена тем, что аргументами неизвестной функции в уравнении являются не сами независимые переменные, а некоторые данные функции от них.
Примеры
Функциональному уравнению:
,
где
— гамма-функция Эйлера, удовлетворяет дзета-функция Римана
.
Гамма-функция является единственным решением этой системы трёх уравнений:
![{\displaystyle f(x)={f(x+1) \over x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28284dfe4be8795b0ae279ec3bd9c590bf49df5f)
![{\displaystyle f(y)f\left(y+{\frac {1}{2}\right)={\frac {\sqrt {\pi }{2^{2y-1}f(2y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d50f4b8e7811bddfd7ca73165779886632c463be)
(формула дополнения Эйлера)
Функциональное уравнение:
,
где
являются целыми числами, удовлетворяющими равенству
, то есть:
,
определяет
как модулярную форму порядка
.
Функциональные уравнения Коши:
— удовлетворяют все линейные однородные функции
,
— удовлетворяют все показательные функции
,
— удовлетворяют все логарифмические функции
,
— удовлетворяют все степенные функции
.
Функциональные уравнения Коши приводятся друг к другу. Так, уравнение
приводится к уравнению
после замены
(для этого, естественно, нужно, чтобы
не была тождественным нулём).
В классе непрерывных функций и в классе монотонных функций приведённые решения — единственные, если не считать вырожденное решение
. Однако в более широких классах функций возможны весьма экзотические решения, см. статью «Базис Гамеля».
Другие:
— квадратичное уравнение или тождество параллелограмма, удовлетворяет
,
— уравнение Йенсена, удовлетворяют все линейные функции
,
— уравнение Лобачевского (версия уравнения Йенсена), удовлетворяет
,
— уравнение Даламбера,
— уравнение Абеля,
— уравнение Шрёдера, решением является функция Кёнигса, связанная с функцией
.
Рекуррентные соотношения
Частным видом функциональных уравнений является рекуррентное соотношение, содержащее неизвестную функцию от целых чисел и оператор сдвига.
Линейные рекуррентные соотношения:
![{\displaystyle a(n)=\sum _{i=1,k}c_{i}\cdot a(n-i)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f2e607aa82b898871463c763d74071cb05e494e)
(где
— константы, не зависящие от
) имеют теорию, аналогом которой является теория линейных дифференциальных уравнений. Например, для линейного рекуррентного соотношения:
,
достаточно найти два линейно независимых решения, все остальные решения будут их линейными комбинациями.
Чтобы найти эти решения, надо подставить в рекуррентное соотношение пробную функцию
с неопределённым параметром
и попробовать найти те
, при которых будет удовлетворяться данное рекуррентное соотношение. Для приведённого примера получим квадратное уравнение
с двумя различными корнями
и
поэтому общим решением для данного рекуррентного соотношения будет формула
(константы
и
подбираются так, чтобы при
и
формула давала нужные значения для величин
и
). В случае кратных корней многочлена дополнительными пробными решениями служат функции
и так далее.
Одним из широко известных рекуррентных соотношений является
, определяющее последовательность Фибоначчи.
Решение функциональных уравнений
Существуют некоторые общие методы решения функциональных уравнений.
В частности, полезным может оказаться применение понятия об инволюции, то есть, использование свойств функций, для которых
; простейшие инволюции:
,
,
,
.
Применение инволюции относится к функциональному методу решения уравнений.
Решить уравнение .
|
Шаг 0 Введём в рассмотрение функцию . Вычислим . У нас получится:
Значит, .
Шаг 1 Уравнение перепишется в виде: .
Шаг 2 Подставим везде, где есть , функцию . Получим:
Но так как , то .
Поэтому .
Шаг 3 Теперь из результатов Шага 1 и Шага 2 делаем простой вывод:
![{\displaystyle f(x)={\dfrac {-{\tau (x)}{f{\left({\tau }^{-1}(x)\right)}={\dfrac {-{\tau }^{-1}(x)}{f{\left({\tau }(x)\right)}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cb5999d22245779ec9136a39f4599d21fcfc58e)
Шаг 4 Подставим везде, где есть , функцию . Имеем:
![{\displaystyle f{\left({\tau }^{-1}(x)\right)}={\dfrac {-x}{f{\left({\tau }(x)\right)}={\dfrac {-{\tau }(x)}{f{\left(x\right)}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/324d2e44e0ff4c8476af7c2ba8cf44ea8cc906a0)
Шаг 5 Наконец,
Шаг 6 Подставим выражение во вторую строчку системы. Итак,
![{\displaystyle f{\left(x\right)}\cdot {\dfrac {\left(-x\right)}\cdot {f{\left(x\right)}{-{\tau }(x)}=-{\tau }^{-1}(x)\Longleftrightarrow f{\left(x\right)}\cdot f{\left(x\right)}={\dfrac {-{\tau }(x)\cdot {\tau }^{-1}{\left(x\right)}{x}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45660a2c5597a8c748e57417991c0cdb3a0d71c4)
Ответ: , или
|
Также можно применить вычислительный метод.
Пример 1. Для решения уравнения:
![{\displaystyle f(x+y)^{2}=f(x)^{2}+f(y)^{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f03c68332b52142dba111d41ce383fc5c7e95c26)
для всех
и
, положим
:
. Тогда
и
. Далее, положив
:
![{\displaystyle f(x-x)^{2}=f(x)^{2}+f(-x)^{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30e01687031ee7721fdc5abdd7916f6422ce301b)
![{\displaystyle f(0)^{2}=f(x)^{2}+f(-x)^{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a9c13312f8023ea21ad4a8f86e886b1f78acebc)
![{\displaystyle 0=f(x)^{2}+f(-x)^{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54c2a8df1753502fcdaafc94c07a2ba4e49e9c82)
Квадрат вещественного числа неотрицателен, и сумма неотрицательных чисел равна нулю тогда и только тогда, когда оба числа равны 0. Значит
для всех
и
является единственным решением этого уравнения.
Другим методом является метод замены.
Пример 2. Решить:
.
Ясно, что
.
Решить такое уравнение — значит отыскать функцию
.
Введём обозначения:
, а
.
Тогда исходное уравнение приобретёт вид
![{\displaystyle f\left(g\left(x\right)\right)+f\left(h\left(x\right)\right)=x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28e93fff54490bfe0e8490c8975298fffd1b7767)
Функции
и
связаны равенством
![{\displaystyle g\left(h\left(x\right)\right)=h\left(g\left(x\right)\right)=x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5952b12d74b61bc7f4ffb3a9cfd2ef21ea5392b)
Кроме того, выполняются соотношения:
![{\displaystyle g\left(g\left(x\right)\right)=h\left(x\right),\quad h\left(h\left(x\right)\right)=g\left(x\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65bce7ba8d1bac60149da952d5860c77196cad4a)
Значит, подставим по отдельности
и
в уравнение
.
Получим систему:
![{\displaystyle {\begin{cases}f\left(x\right)+f\left(g\left(x\right)\right)=h\left(x\right),\\f\left(h\left(x\right)\right)+f\left(x\right)=g\left(x\right).\end{cases}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54ccd087fa79e0b0213f07001f08257fd97315c4)
Откуда будем иметь
.
Или, что то же самое,
.
Следовательно,
при
.
Литература
- Головинский И. А. Ранняя история аналитических итераций и функциональных уравнений. // Историко-математические исследования. М.: Наука, вып. XXV, 1980, с. 25-51.
- Kuczma M. On the functional equation φn(x) = g(x). Ann. Polon. Math. 11 (1961) 161—175.
- Kuczma M. An introduction to the theory of functional equations and inequalities. Warszawa — Kraków — Katowice: Polish Scientific Publishers & Silesian University, 1985.
- Лихтарников Л. М. Элементарное введение в функциональные уравнения. СПб.: Лань, 1997.
Ссылки