Функциональное уравнение
В математике функциональное уравнение [ 1 ] [ 2 ] [ неуместная цитата ] В самом широком смысле это уравнение , в котором одна или несколько функций являются неизвестными . Итак, дифференциальные уравнения и интегральные уравнения являются функциональными уравнениями. Однако часто используется более ограниченное значение, когда функциональное уравнение — это уравнение, связывающее несколько значений одной и той же функции. Например, функции логарифмирования логарифмическим по существу характеризуются функциональным уравнением
Если предполагается, что областью определения неизвестной функции являются натуральные числа , функцию обычно рассматривают как последовательность , и в этом случае функциональное уравнение (в более узком смысле) называется рекуррентным соотношением . Таким образом, термин «функциональное уравнение» используется в основном для вещественных и комплексных функций . Более того, для решений часто предполагается условие гладкости , поскольку без такого условия большинство функциональных уравнений имеют очень нерегулярные решения. Например, гамма-функция — это функция, удовлетворяющая функциональному уравнению и начальное значение Существует множество функций, удовлетворяющих этим условиям, но гамма-функция является единственной, которая мероморфна во всей комплексной плоскости и логарифмически выпукла для x действительных и положительных значений ( теорема Бора – Моллерупа ).
Примеры
[ редактировать ]- Рекуррентные отношения можно рассматривать как функциональные уравнения в функциях над целыми или натуральными числами, в которых различия между индексами термов можно рассматривать как применение оператора сдвига . Например, рекуррентное соотношение, определяющее числа Фибоначчи , , где и
- , характеризующее периодические функции
- , характеризующее четные функции , а также , характеризующее нечетные функции
- , характеризующий функциональные квадратные корни функции g
- ( функциональное уравнение Коши ), удовлетворяемое линейными отображениями . Уравнение может, в зависимости от выбранной аксиомы , также иметь другие патологические нелинейные решения, существование которых можно доказать с помощью базиса Гамеля для действительных чисел.
- удовлетворяются все показательные функции . Как и аддитивное функциональное уравнение Коши, оно также может иметь патологические разрывные решения.
- , удовлетворяемый всеми логарифмическими функциями и, по взаимно простым целым аргументам, аддитивными функциями
- , удовлетворяемый всеми степенными функциями и, по взаимно простым целым аргументам, мультипликативными функциями
- (квадратное уравнение или закон параллелограмма )
- ( Функциональное уравнение Дженсена )
- ( функциональное уравнение Даламбера )
- ( уравнение Абеля )
- ( уравнение Шредера ).
- ( уравнение Бетчера ).
- ( уравнение Джулии ).
- (Леви-Чивита),
- ( формула сложения синуса и формула сложения гиперболического синуса ),
- ( формула сложения косинусов ),
- ( формула сложения гиперболических косинусов ).
- Коммутативные представляют и ассоциативные законы собой функциональные уравнения. В привычной форме закон ассоциативности выражается записью бинарной операции в инфиксной записи : но если мы напишем f ( a , b ) вместо a ○ b , то ассоциативный закон будет больше похож на обычное функциональное уравнение,
- Функциональное уравнение удовлетворяется дзета-функцией Римана , как доказано здесь . Заглавная буква Γ обозначает гамма-функцию .
- Гамма-функция является единственным решением следующей системы трех уравнений: [ нужна ссылка ]
- Функциональное уравнение где a , b , c , d — целые числа, удовлетворяющие , то есть = 1, определяет f как модулярную форму порядка k .
Одна особенность, которая объединяет все перечисленные выше примеры, заключается в том, что в каждом случае две или более известные функции (иногда умножение на константу, иногда сложение двух переменных, иногда тождественная функция внутри аргумента неизвестных функций находятся ). для чего нужно решить.
Когда дело доходит до поиска всех решений, возможно, условия математического анализа следует применить ; например, в случае упомянутого выше уравнения Коши решения, которые являются непрерывными функциями , являются «разумными», в то время как другие решения, которые вряд ли будут иметь практическое применение, могут быть построены (с использованием базиса Гамеля для действительных чисел как векторное пространство над рациональными числами ). Теорема Бора – Моллерупа — еще один хорошо известный пример.
Инволюции
[ редактировать ]Инволюции уравнением характеризуются функциональным . Они появляются в функциональном уравнении Бэббиджа (1820 г.): [ 3 ]
Другие инволюции и решения уравнения включают
- и
который включает предыдущие три как особые случаи или ограничения.
Решение
[ редактировать ]Одним из методов решения элементарных функциональных уравнений является замена. [ нужна ссылка ]
Некоторые решения функциональных уравнений используют сюръективность , инъективность , нечетность и четность . [ нужна ссылка ]
Некоторые функциональные уравнения решены с использованием анзацев , математической индукции . [ нужна ссылка ]
Некоторые классы функциональных уравнений можно решать с помощью компьютерных методов. [ нечеткий ] [ 4 ]
В динамическом программировании разнообразные методы последовательного приближения. [ 5 ] [ 6 ] используются для решения функционального уравнения Беллмана , включая методы, основанные на итерациях с фиксированной точкой .
См. также
[ редактировать ]- Функциональное уравнение (L-функция)
- уравнение Беллмана
- Динамическое программирование
- Неявная функция
- Функционально-дифференциальное уравнение
Примечания
[ редактировать ]- ^ Рассиас, Фемистокл М. (2000). Функциональные уравнения и неравенства . 3300 AA Дордрехт, Нидерланды: Kluwer Academic Publishers . п. 335. ИСБН 0-7923-6484-8 .
{{cite book}}
: CS1 maint: местоположение ( ссылка ) - ^ Червик, Стефан (2002). Функциональные уравнения и неравенства с несколькими переменными . PO Box 128, Farrer Road, Сингапур 912805: World Scientific Publishing Co. p. 410 . ISBN 981-02-4837-7 .
{{cite book}}
: CS1 maint: местоположение ( ссылка ) - ^ Ритт, Дж. Ф. (1916). «О некоторых действительных решениях функционального уравнения Бэббиджа». Анналы математики . 17 (3): 113–122. дои : 10.2307/2007270 . JSTOR 2007270 .
- ^ Хази, Аттила (1 марта 2004 г.). «Решение линейных функциональных уравнений с двумя переменными на компьютере». уравнения Математические 67 (1): 47–62. дои : 10.1007/s00010-003-2703-9 . ISSN 1420-8903 . S2CID 118563768 .
- ^ Беллман, Р. (1957). Динамическое программирование, Издательство Принстонского университета .
- ^ Снедович, М. (2010). Динамическое программирование: основы и принципы, Тейлор и Фрэнсис .
Ссылки
[ редактировать ]- Янош Ачель , Лекции по функциональным уравнениям и их приложениям , Academic Press , 1966, перепечатано Dover Publications, ISBN 0486445232 .
- Янош Ачель и Дж. Домбрес, Функциональные уравнения с несколькими переменными , Cambridge University Press , 1989.
- К. Эфтимиу, Введение в функциональные уравнения , AMS, 2011, ISBN 978-0-8218-5314-6 ; онлайн .
- Пл. Каннаппан, Функциональные уравнения и неравенства с приложениями , Springer, 2009.
- Марек Кучма , Введение в теорию функциональных уравнений и неравенств , второе издание, Биркхойзер, 2009.
- Хенрик Стеткер, Функциональные уравнения групп , первое издание, World Scientific Publishing, 2013.
- Кристофер Г. Смолл (3 апреля 2007 г.). Функциональные уравнения и способы их решения . Springer Science & Business Media. ISBN 978-0-387-48901-8 .
Внешние ссылки
[ редактировать ]- Функциональные уравнения: точные решения на EqWorld: мир математических уравнений.
- Функциональные уравнения: индекс EqWorld: мир математических уравнений.
- Текст сборника ИМО (в архиве) по функциональным уравнениям при решении задач.