Элементарная функция - Elementary function
В математика, элементарная функция это функция одного Переменная состоит из отдельных простых функций.
Элементарные функции обычно определяются как сумма, товар, и / или сочинение из конечно много многочлены, рациональные функции, тригонометрический и экспоненциальный функции и их обратные функции (включая Arcsin, бревно, Икс1/п).[1]
Элементарные функции были введены Джозеф Лиувиль в серии статей с 1833 по 1841 гг.[2][3][4] An алгебраический лечение элементарных функций было начато Джозеф Фелс Ритт в 1930-е гг.[5]
Примеры
Основные примеры
Элементарные функции ( Икс) включают:
- Постоянные функции: и Т. Д.
- Полномочия из : и Т. Д.
- Корни и Т. Д.
- Экспоненциальные функции:
- Логарифмы:
- Тригонометрические функции: и Т. Д.
- Обратные тригонометрические функции: и Т. Д.
- Гиперболические функции: и Т. Д.
- Обратные гиперболические функции: и Т. Д.
- Все функции, полученные сложением, вычитанием, умножением или делением любой из предыдущих функций[6]
- Все функции, полученные составление ранее перечисленные функции
Некоторые элементарные функции, такие как корни, логарифмы или обратные тригонометрические функции, не целые функции и возможно многозначный.
Составные примеры
Примеры элементарных функций включают:
- Дополнение, например (Икс+1)
- Умножение, например (2Икс)
- Полиномиальный функции
Последняя функция равна , то обратный косинус, в целом комплексная плоскость.
Все мономы, многочлены и рациональные функции элементарны. Так же функция абсолютного значения, серьезно , также является элементарным, так как может быть выражено как композиция степени и корня : .
Неэлементарные функции
Пример функции, которая нет элементарно функция ошибки
факт, который может быть не сразу очевиден, но может быть доказан с помощью Алгоритм риша.
- Также примеры в Функция Лиувилля и Неэлементарный интеграл.
Закрытие
Непосредственно из определения следует, что множество элементарных функций есть закрыто по арифметическим операциям и композиции. Элементарные функции замкнуты относительно дифференциация. Они не закрываются под лимиты и бесконечные суммы. Важно отметить, что простейшие функции нет закрыт под интеграция, как показано Теорема Лиувилля, видеть Неэлементарный интеграл. В Лиувиллевские функции определяются как элементарные функции и, рекурсивно, интегралы от функций Лиувилля.
Дифференциальная алгебра
Математическое определение элементарная функция, или функция в элементарной форме, рассматривается в контексте дифференциальная алгебра. Дифференциальная алгебра - это алгебра с дополнительной операцией дифференцирования (алгебраическая версия дифференцирования). Используя операцию вывода, можно записать новые уравнения и использовать их решения в расширения алгебры. Начиная с поле из рациональные функции, два специальных типа трансцендентных расширений (логарифм и экспонента) могут быть добавлены к полю, построив башню, содержащую элементарные функции.
А дифференциальное поле F это поле F0 (рациональные функции над рациональные Q например) вместе с картой деривации ты → ∂ты. (Здесь ∂ты это новая функция. Иногда обозначения ты'). Вывод отражает свойства дифференцирования, так что для любых двух элементов основного поля вывод является линейным.
и удовлетворяет Правило произведения Лейбница
Элемент час является константой, если ∂h = 0. Если базовое поле превышает рациональные значения, следует проявлять осторожность при расширении поля, чтобы добавить необходимые трансцендентные константы.
Функция ты дифференциального расширения F[ты] дифференциального поля F является элементарная функция над F если функция ты
- является алгебраический над F, или же
- является экспоненциальный, то есть ∂ты = ты ∂а за а ∈ F, или же
- это логарифм, то есть ∂ты = ∂а / а для а ∈ F.
(смотрите также Теорема Лиувилля )
Смотрите также
- Выражение в закрытой форме
- Дифференциальная теория Галуа
- Алгебраическая функция
- Трансцендентальная функция
Примечания
- ^ Спивак, Михаил. (1994). Исчисление (3-е изд.). Хьюстон, Техас: Опубликовать или погибнуть. п. 359. ISBN 0914098896. OCLC 31441929.
- ^ Лиувиль 1833a.
- ^ Лиувиль 1833b.
- ^ Лиувиль 1833c.
- ^ Ритт 1950.
- ^ Обыкновенные дифференциальные уравнения.. Дувр. 1985. с.17. ISBN 0-486-64940-7.
Рекомендации
- Лиувилль, Жозеф (1833a). "Premier mémoire sur la détermination des intégrales dont la valeur est algébrique". Journal de l'École Polytechnique. Том XIV: 124–148.CS1 maint: ref = harv (связь)
- Лиувилль, Жозеф (1833b). "Второй меморандум о детерминации интеграции не валерь, ставший algébrique". Journal de l'École Polytechnique. Том XIV: 149–193.CS1 maint: ref = harv (связь)
- Лиувилль, Жозеф (1833c). "Note sur la détermination des intégrales dont la valeur est algébrique". Журнал für die reine und angewandte Mathematik. 10: 347–359.CS1 maint: ref = harv (связь)
- Ритт, Джозеф (1950). Дифференциальная алгебра. AMS.CS1 maint: ref = harv (связь)
- Розенлихт, Максвелл (1972). «Интеграция в конечном итоге». Американский математический ежемесячный журнал. 79 (9): 963–972. Дои:10.2307/2318066. JSTOR 2318066.CS1 maint: ref = harv (связь)
дальнейшее чтение
- Дэвенпорт, Дж. Х .: Что может означать «понимание функции». В: Kauers, M .; Кербер, М., Майнер, Р .; Виндштайгер, В .: К механизированным помощникам по математике. Springer, Берлин / Гейдельберг 2007, стр. 55-65. [1]