Функциональное уравнение - Functional equation

В математика, а функциональное уравнение[1][2][3][4] любое уравнение, в котором неизвестно представляет функция.Часто уравнение связывает значение функции (или функций) в одной точке с ее значениями в других точках. Например, свойства функций можно определить, рассматривая типы функциональных уравнений, которым они удовлетворяют. Период, термин функциональное уравнение обычно относится к уравнениям, которые нельзя просто свести к алгебраические уравнения или дифференциальные уравнения.

Примеры

  • Функциональное уравнение
удовлетворен Дзета-функция Римана. Столица Γ обозначает гамма-функция.
  • Гамма-функция является единственным решением следующей системы трех уравнений:
       (Эйлера формула отражения )
  • Функциональное уравнение
где а, б, c, d находятся целые числа удовлетворение объявлениедо н.э = 1, т.е. = 1, определяет ж быть модульная форма порядка k.
  • Разные примеры, не обязательно связанные со стандартными или именованными функциями:
(Функциональное уравнение Коши )
доволен всеми экспоненциальные функции
, доволен всеми логарифмический функции
, доволен всеми степенные функции
(квадратное уравнение или закон параллелограмма )
(Дженсен)
(Даламбер)
(Уравнение Абеля )
(Уравнение Шредера ).
(Уравнение Бёттхера ).
(Уравнение Юлии ).
(Уравнение перевода)
(формула сложения синуса ).
(формула сложения косинуса ).
(Леви-Чивита).
  • Простая форма функционального уравнения - это отношение повторения. Это, формально говоря, включает в себя неуказанные функции для целых чисел, а также операторы сдвига. Одним из таких примеров рекуррентного отношения является
  • Коммутативные и ассоциативные законы являются функциональными уравнениями. Когда ассоциативный закон выражен в его знакомой форме, можно позволить некоторому символу между двумя переменными представлять бинарную операцию
Но если бы мы написали ƒ(аб) вместо того а ○ б тогда ассоциативный закон будет больше походить на то, что принято считать функциональным уравнением,

Общей чертой всех приведенных выше примеров является то, что в каждом случае две или более известные функции (иногда умножение на константу, иногда сложение двух переменных, иногда функция идентичности) находятся внутри аргумента неизвестных функций. для решения.

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

Решение

Решение функциональных уравнений может быть очень сложным, но есть несколько распространенных методов их решения. Например, в динамическое программирование разнообразные методы последовательного приближения[5][6] используются для решения Функциональное уравнение Беллмана, в том числе методы, основанные на итерации с фиксированной точкой. Некоторые классы функциональных уравнений могут быть решены с помощью компьютерных технологий.[7]

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

Обсуждение инволютивный функции актуально. Например, рассмотрим функцию

Составление ж с собой дает Бэббиджа функциональное уравнение (1820),[8]

Некоторые другие функции также удовлетворяют функциональному уравнению

в том числе

и

который включает предыдущие три как особые случаи или ограничения.

Пример 1. Найти все функции ж это удовлетворяет

для всех х, у ∈ ℝ, предполагая ƒ это функция с действительным знаком.

Позволять Икс = у = 0,

Так ƒ(0)2 = 0 и ƒ(0) = 0.

Теперь позвольте у = −Икс,

Квадрат действительного числа неотрицателен, а сумма неотрицательных чисел равна нулю. если только оба числа равны 0.

Так ƒ(Икс)2 = 0 для всех Икс и ƒ(Икс) = 0 это единственное решение.

Смотрите также

Заметки

  1. ^ Рассиас, Фемистокл М. (2000). Функциональные уравнения и неравенства. 3300 AA Дордрехт, Нидерланды: Kluwer Academic Publishers. п. 335. ISBN  0-7923-6484-8.CS1 maint: location (ссылка на сайт)
  2. ^ Hyers, D. H .; Isac, G .; Рассиас, Th. М. (1998). Устойчивость функциональных уравнений от нескольких переменных. Бостон: Birkhäuser Verlag. п.313. ISBN  0-8176-4024-X.
  3. ^ Юнг, Сун-Мо (2001). Устойчивость Хайерса-Улама-Рассиаса функциональных уравнений в математическом анализе. 35246 US 19 North # 115, Палм-Харбор, Флорида 34684 США: Hadronic Press, Inc. п. 256. ISBN  1-57485-051-2.CS1 maint: location (ссылка на сайт)
  4. ^ Червик, Стефан (2002). Функциональные уравнения и неравенства от нескольких переменных. P O Box 128, Farrer Road, Сингапур 912805: World Scientific Publishing Co. п.410. ISBN  981-02-4837-7.CS1 maint: location (ссылка на сайт)
  5. ^ Беллман, Р. (1957). Динамическое программирование, Princeton University Press.
  6. ^ Снидович, М. (2010). Динамическое программирование: основы и принципы, Тейлор и Фрэнсис.
  7. ^ Хази, Аттила (2004-03-01). «Решение линейных функциональных уравнений с двумя переменными на компьютере». Aequationes Mathematicae. 67 (1): 47–62. Дои:10.1007 / s00010-003-2703-9. ISSN  1420-8903.
  8. ^ Ритт, Дж. Ф. (1916). «О некоторых реальных решениях функционального уравнения Бэббиджа». Анналы математики. 17 (3): 113–122. Дои:10.2307/2007270. JSTOR  2007270.

использованная литература

внешние ссылки