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

редактировать

В математике, А функциональное уравнение является любое уравнение, в котором неизвестная представляет собой функцию. Часто уравнение связывает значение функции (или функций) в одной точке с ее значениями в других точках. Например, свойства функций можно определить, рассматривая типы функциональных уравнений, которым они удовлетворяют. Термин функциональное уравнение обычно относится к уравнениям, которые нельзя просто свести к алгебраическим уравнениям или дифференциальным уравнениям.

СОДЕРЖАНИЕ
  • 1 Примеры
  • 2 Решение
  • 3 См. Также
  • 4 Примечания
  • 5 ссылки
  • 6 Внешние ссылки
Примеры
  • Функциональное уравнение
ж ( s ) знак равно 2 s π s - 1 грех ( π s 2 ) Γ ( 1 - s ) ж ( 1 - s ) {\ Displaystyle f (s) = 2 ^ {s} \ pi ^ {s-1} \ sin \ left ({\ frac {\ pi s} {2}} \ right) \ Gamma (1-s) f ( 1-с)}
удовлетворяется дзета-функцией Римана. Капитал Γ обозначает гамма - функцию.
  • Гамма-функция является единственным решением следующей системы трех уравнений:
ж ( Икс ) знак равно ж ( Икс + 1 ) Икс {\ Displaystyle е (х) = {е (х + 1) \ над х} \, \!}
ж ( у ) ж ( у + 1 2 ) знак равно π 2 2 у - 1 ж ( 2 у ) {\ displaystyle f (y) f \ left (y + {\ frac {1} {2}} \ right) = {\ frac {\ sqrt {\ pi}} {2 ^ {2y-1}}} f (2y)}
ж ( z ) ж ( 1 - z ) знак равно π грех ( π z ) {\ Displaystyle е (Z) е (1-Z) = {\ пи \ над \ грех (\ пи z)} \, \! \, \, \,}       ( Формула отражения Эйлера )
  • Функциональное уравнение
ж ( а z + б c z + d ) знак равно ( c z + d ) k ж ( z ) {\ displaystyle f \ left ({az + b \ over cz + d} \ right) = (cz + d) ^ {k} f (z) \, \!}
где a, b, c, d - целые числа, удовлетворяющие условию, т.е. = 1, определяет f как модульную форму порядка k. а d - б c знак равно 1 {\ displaystyle ad-bc = 1} | а б c d | {\ displaystyle {\ begin {vmatrix} a amp; b \\ c amp; d \ end {vmatrix}}}
  • Разные примеры, не обязательно связанные со стандартными или именованными функциями:
ж ( Икс + у ) знак равно ж ( Икс ) + ж ( у ) {\ Displaystyle е (х + у) = е (х) + е (у) \, \!}( Функциональное уравнение Коши ), которому удовлетворяют линейные отображения
ж ( Икс + у ) знак равно ж ( Икс ) ж ( у ) , {\ Displaystyle е (х + у) = е (х) е (у), \, \!}удовлетворяются все экспоненциальные функции
ж ( Икс у ) знак равно ж ( Икс ) + ж ( у ) {\ Displaystyle е (ху) = е (х) + е (у) \, \!}, удовлетворяющий всем логарифмическим функциям
ж ( Икс у ) знак равно ж ( Икс ) ж ( у ) {\ Displaystyle е (ху) = е (х) е (у) \, \!}, удовлетворяющие всем степенным функциям
ж ( Икс + у ) + ж ( Икс - у ) знак равно 2 [ ж ( Икс ) + ж ( у ) ] {\ Displaystyle е (х + у) + е (ху) = 2 [е (х) + е (у)] \, \!}(квадратное уравнение или закон параллелограмма )
ж ( ( Икс + у ) / 2 ) знак равно ( ж ( Икс ) + ж ( у ) ) / 2 {\ Displaystyle е ((х + у) / 2) = (е (х) + е (у)) / 2 \, \!} (Дженсен)
грамм ( Икс + у ) + грамм ( Икс - у ) знак равно 2 [ грамм ( Икс ) грамм ( у ) ] {\ Displaystyle г (х + Y) + г (ху) = 2 [г (х) г (у)] \, \!} (Даламбер)
ж ( час ( Икс ) ) знак равно час ( Икс + 1 ) {\ Displaystyle е (час (х)) = час (х + 1) \, \!} ( Уравнение Абеля )
ж ( час ( Икс ) ) знак равно c ж ( Икс ) {\ Displaystyle е (час (х)) = ср (х) \, \!} ( Уравнение Шредера ).
ж ( час ( Икс ) ) знак равно ( ж ( Икс ) ) c {\ Displaystyle е (час (х)) = (е (х)) ^ {с} \, \!} ( Уравнение Бёттхера ).
ж ( час ( Икс ) ) знак равно час ( Икс ) ж ( Икс ) {\ Displaystyle е (час (х)) = час '(х) е (х) \, \!}( Уравнение Джулии ).
ω ( ω ( Икс , ты ) , v ) знак равно ω ( Икс , ты + v ) {\ Displaystyle \ омега (\ омега (х, и), v) = \ омега (х, и + v)}( Уравнение перевода )
ж ( Икс у ) знак равно грамм л ( Икс ) час л ( у ) {\ Displaystyle е (ху) = \ сумма g_ {l} (х) h_ {l} (y) \, \!} (Леви-Чивита),
и пара уравнений
ж ( Икс + у ) знак равно ж ( Икс ) грамм ( у ) + ж ( у ) грамм ( Икс ) {\ Displaystyle е (х + у) = е (х) г (у) + е (у) г (х) \, \!}( формула сложения синуса и формула сложения гиперболического синуса ),
грамм ( Икс + у ) знак равно грамм ( Икс ) грамм ( у ) - ж ( у ) ж ( Икс ) {\ Displaystyle г (х + у) = г (х) г (у) -f (у) е (х) \, \!}( формула сложения косинуса ),
грамм ( Икс + у ) знак равно грамм ( Икс ) грамм ( у ) + ж ( у ) ж ( Икс ) {\ Displaystyle г (х + у) = г (х) г (у) + е (у) е (х) \, \!}( формула сложения гиперболического косинуса ).
  • Простая форма функционального уравнения - это рекуррентное соотношение. Формально это касается неуказанных функций над целыми числами, а также операторов сдвига. Одним из таких примеров рекуррентного отношения является
а ( п ) знак равно 3 а ( п - 1 ) + 4 а ( п - 2 ) {\ Displaystyle а (п) = 3а (п-1) + 4а (п-2) \, \!}
( а б ) c знак равно а ( б c )   , {\ Displaystyle (а \ CIRC B) \ CIRC C = A \ CIRC (B \ CIRC C) ~,}
но если мы напишем ƒ ( a,  b) вместо a  ○  b, тогда ассоциативный закон будет больше похож на обычное функциональное уравнение,
ж ( ж ( а , б ) , c ) знак равно ж ( а , ж ( б , c ) ) . {\ Displaystyle е (е (а, Ь), с) = е (а, е (Ь, с)). \, \!}

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

Когда дело доходит до запроса всех решений, возможно, следует применить условия математического анализа ; например, в случае упомянутого выше уравнения Коши решения, которые являются непрерывными функциями, являются `` разумными '', в то время как другие решения, которые вряд ли найдут практическое применение, могут быть построены (с использованием базиса Хамеля для действительных чисел как векторное пространство над рациональными числами ). Теорема Бора – Моллерупа - еще один хорошо известный пример.

Решение

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

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

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

ж ( Икс ) знак равно 1 - Икс . {\ Displaystyle е (х) = 1-х \,.}

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

ж ( ж ( Икс ) ) знак равно 1 - ( 1 - Икс ) знак равно Икс . {\ Displaystyle е (е (х)) = 1- (1-х) = х \,.}

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

ж ( ж ( Икс ) ) знак равно Икс {\ Displaystyle е (е (х)) = х}

включая

ж ( Икс ) знак равно - Икс , {\ Displaystyle е (х) = - х \,,}
ж ( Икс ) знак равно а Икс , {\ Displaystyle е (х) = {\ гидроразрыва {а} {х}} \,,} а также
ж ( Икс ) знак равно б - Икс 1 + c Икс   , {\ Displaystyle е (х) = {\ гидроразрыва {bx} {1 + cx}} ~,}

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

Пример 1. Найдите все функции f, удовлетворяющие

ж ( Икс + у ) 2 знак равно ж ( Икс ) 2 + ж ( у ) 2 {\ Displaystyle е (х + у) ^ {2} = е (х) ^ {2} + е (у) ^ {2} \,}

для всех x, y ∈ ℝ в предположении, что ƒ - вещественная функция.

Пусть x  =  y  = 0,

ж ( 0 ) 2 знак равно ж ( 0 ) 2 + ж ( 0 ) 2 . {\ Displaystyle f (0) ^ {2} = f (0) ^ {2} + f (0) ^ {2}. \,}

Итак, ƒ (0) 2  = 0 и ƒ (0) = 0.

Пусть теперь y  = - x,

ж ( Икс - Икс ) 2 знак равно ж ( Икс ) 2 + ж ( - Икс ) 2 {\ Displaystyle е (хх) ^ {2} = е (х) ^ {2} + е (-x) ^ {2} \,}
ж ( 0 ) 2 знак равно ж ( Икс ) 2 + ж ( - Икс ) 2 {\ displaystyle f (0) ^ {2} = f (x) ^ {2} + f (-x) ^ {2} \,}
0 знак равно ж ( Икс ) 2 + ж ( - Икс ) 2   . {\ displaystyle 0 = f (x) ^ {2} + f (-x) ^ {2} ~.}

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

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

Смотрите также
Примечания
  1. ^ Rassias, Фемистокл М. (2000). Функциональные уравнения и неравенства. 3300 AA Dordrecht, Нидерланды: Kluwer Academic Publishers. п. 335. ISBN   0-7923-6484-8. CS1 maint: location ( ссылка )
  2. ^ Хайерс, DH; Isac, G.; Рассиас, Th. М. (1998). Устойчивость функциональных уравнений от нескольких переменных. Бостон: Birkhäuser Verlag. п.  313. ISBN   0-8176-4024-X.
  3. Перейти ↑ Jung, Soon-Mo (2001). Хайерс-Улам-Рассиас Устойчивость функциональных уравнений в математическом анализе. 35246 US 19 North # 115, Палм-Харбор, Флорида 34684 США: Hadronic Press, Inc. стр. 256. ISBN   1-57485-051-2. CS1 maint: location ( ссылка )
  4. ^ Czerwik, Stephan (2002). Функциональные уравнения и неравенства от нескольких переменных. PO Box 128, Farrer Road, Singapore 912805: World Scientific Publishing Co., стр.  410. ISBN   981-02-4837-7. CS1 maint: location ( ссылка )
  5. ^ Беллман, Р. (1957). Динамическое программирование, Princeton University Press.
  6. ^ Sniedovich, М. (2010). Динамическое программирование: основы и принципы, Тейлор и Фрэнсис.
  7. ^ Хази, Аттила (2004-03-01). «Решение линейных функциональных уравнений с двумя переменными на компьютере». Aequationes Mathematicae. 67 (1): 47–62. DOI : 10.1007 / s00010-003-2703-9. ISSN   1420-8903.
  8. Перейти ↑ Ritt, JF (1916). «О некоторых реальных решениях функционального уравнения Бэббиджа». Анналы математики. 17 (3): 113–122. DOI : 10.2307 / 2007270. JSTOR   2007 270.
использованная литература
внешние ссылки
Последняя правка сделана 2023-04-16 06:33:10
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте