Трансцендентна функція

Трансценде́нтна фу́нкція — аналітична функція, що не є алгебраїчною. Простими прикладами трансцендентних функцій є показникова функція, тригонометричні функції, логарифмічна функція.

Якщо трансцендентні функції розглядати як функції комплексної змінної, то характерною їх ознакою є наявність хоч би однієї особливої точки, відмінної від полюсів і точок розгалуження скінченного порядку. Основи загальної теорії трансцендентних функцій дає теорія аналітичних функцій. Спеціальні трансцендентні функції вивчаються у відповідних дисциплінах (теорія гіпергеометричних, еліптичних, бесселевих функцій і т. д.).

Означення

Формально, аналітична функція однієї дійсної або комплексної змінної є трансцендентною, якщо вона алгебраїчно незалежна від цієї змінної, тобто не існує такого рівняння: , яке б неявно задало функцію у будь-якій точці її області визначення. Ці міркування можна узагальнити на функції декількох змінних: .

Історія

Трансцендентні функції косинус і синус були табульовані шляхом^[en] фізичних вимірювань за часів античності. В описі таблиці хорд^[en] Птолемея, яка еквівалентна таблиці синусів, Олаф Педерсон^[en] писав: "Математичне поняття неперервності Птолемею було невідомо, але він, власне, розглядає ці функції саме як неперервні. Те, що він фактично розглядає функції як неперервні випливає з його неявного припущення, що можна визначити значення залежної змінної, яке відповідає будь-якому значенню незалежної змінної, за допомогою простого процесу лінійної інтерполяції."

Революційне розуміння тригонометричних функцій з'явилося у 17-му столітті і було розтлумачено Леонардом Ейлером у 1748 році в його роботі "Введення до аналізу нескінченності" (Introduction to the Analysis of the Infinite^[en]). Ці стародавні трансцендентні функції стали відомі як неперервні функції завдяки Грегуару де Сент-Вінсенту у 1647 році при розв'язанні задачі про квадратуру прямокутної гіперболи через два тисячоліття після роботи Архімеда "Квадратура параболи" (Quadrature of the Parabola^[en]).

Було показано, що область під графіком гіперболи має властивість масштабування: стала площа для сталого відношення меж. Описана таким чином функція гіперболічного логарифма^[en] була обмежена у використанні до 1748 року, поки Леонард Ейлер не пов'язав її з функціями, у яких константа піднесена до змінного показника, такими, як, наприклад, експоненціальна функція, де основа дорівнює e. Введення цих трансцендентних функції та їх властивість бієкції, передбачає існування обернену функцію, відкрили певні можливості для алгебраїчних перетворень з натуральним логарифмом, навіть якщо він не є алгебраїчною функцією.

Експоненціальна функція записується . Ейлер визначив її за допомогою суми: . Парні й непарні частини цієї суми позначаються і , тобто . Ці трансцендентні гіперболічні функції можуть бути перетворені в функції синуса і косинуса шляхом введення в ряд. Після Ейлера математики розглядають синус і косинус таким чином, щоб пов'язати трансцендентність з логарифмом і експонентними функціями, часто за допомогою формули Ейлера в комплексних числах.

Приклади

Наведені нижче функції є трансцендентними:

Див. також

• Алгебраїчні функції
• Аналітичні функції

Примітки

1. M., Waldschmidt (2000). Diophantine approximation on linear algebraic groups. 
2. Pedersen, Olaf (1974). Survey of the Almagest. Odense University Press. с. 84. ISBN 87-7492-087-1. 

Література

• Кратцер А., Франц В., Трансцендентные функции, пер. с нем., Москва: 1963;
• Уиттекер Э. Т., Ватсон Дж. Н., Курс современного анализа, ч. 2 Трансцендентные функции, пер. с англ., Москва: 1963;