Функциональное уравнение
В математике функциональное уравнение [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: мир математических уравнений.
- Текст сборника ИМО (в архиве) по функциональным уравнениям при решении задач.