WikiDer > Функция Лиувилля
В математике Лиувиллевские функции составляют набор функции в том числе элементарные функции и их повторные интегралы. Лиувиллевы функции могут быть рекурсивно определенный как интегралы от других лиувиллевских функций.
Более точно, это функция одного Переменная какой сочинение конечного числа арифметические операции (+ – × ÷), экспоненты, константы, решения алгебраических уравнений (обобщение пкорни), и первообразные. В логарифм функцию не нужно включать явно, поскольку она является интегралом .
Непосредственно из определения следует, что множество лиувиллевских функций есть закрыто при арифметических операциях, композиции и интегрировании. Он также закрыт под дифференциация. Он не закрыт под лимиты и бесконечные суммы.
Лиувиллевы функции были введены Джозеф Лиувиль в серии статей с 1833 по 1841 гг.
Примеры
Все элементарные функции лиувилльские.
Примеры хорошо известных лиувиллевских, но не элементарных функций: неэлементарные интегралы, Например:
- В функция ошибки,
- В экспоненциальный (Ei), логарифмический (Ли или же Ли) и Френель (S и C) интегралы.
Все лиувиллевы функции являются решениями алгебраические дифференциальные уравнения, но не наоборот. Примеры функций, которые являются решениями алгебраических дифференциальных уравнений, но не лиувиллевскими, включают:[1]
- то Функции Бесселя (кроме особых случаев);
- то гипергеометрические функции (кроме особых случаев).
Примеры функций, которые нет решения алгебраических дифференциальных уравнений и, следовательно, не лиувиллевы, включают все трансцендентно трансцендентные функции, Такие как:
- то гамма-функция;
- то дзета-функция.
Смотрите также
Рекомендации
- ^ Л. Чан, Э. Хеб-Терраб, "Неливиллиевы решения для линейных ОДУ второго порядка", Материалы международного симпозиума 2004 г. по символическим и алгебраическим вычислениям (ISSAC '04), 2004, с. 80–86. Дои:10.1145/1005285.1005299
дальнейшее чтение
- Давенпорт, Дж. Х. (2007). «Что может« понимать функция »означает». In Kauers, M .; Кербер, М .; Шахтер, Р .; Виндштайгер, W. (ред.). К механизированным помощникам по математике. Берлин / Гейдельберг: Springer. стр.55–65. ISBN 3-540-73083-4.