Войти
В математике выражение в закрытой форме является математическим выражение, выраженное с помощью конечного числа стандартных операций. Он может содержать константы, переменные, определенные «хорошо известные» операции (например, + - × ÷) и функции ( например, корень n-й степени, показатель степени, логарифм, тригонометрические функции и обратные гиперболические функции ), но обычно нет предела, дифференциации или интегрирования. Набор операций и функций, допускаемых в выражении закрытой формы, может варьироваться в зависимости от автора и контекста.
Решения любого квадратного уравнения с комплексным коэффициенты могут быть выражены в закрытой форме через сложение, вычитание, умножение, деление, и извлечение квадратного корня, каждая из которых является элементарной функцией. Например, квадратное уравнение
поддается обработке, поскольку его решения могут быть представлены в виде замкнутой формы выражение, то есть через элементарные функции:
Аналогичным образом решения кубических и квартирных уравнений (третьей и четвертой степени) могут выражаться с использованием арифметики, квадратных корней и кубических корней или, альтернативно, с использованием арифметических и тригонометрических функций. Однако существуют уравнения пятой степени без решений в замкнутой форме, использующие элементарные функции, такие как x - x + 1 = 0.
Область изучения математики, широко известная как Теория Галуа включает в себя доказательство того, что в определенных контекстах не существует выражения в замкнутой форме, на основе центрального примера решений в замкнутой форме для многочленов.
Изменение определения «хорошо известный» для включения дополнительных функций может изменить набор уравнений с решениями в замкнутой форме. Многие кумулятивные функции распределения не могут быть выражены в замкнутой форме, если только не рассматриваются специальные функции, такие как функция ошибок или гамма-функция. хорошо известно. Уравнение пятой степени можно решить, если включить общие гипергеометрические функции, хотя решение слишком сложно алгебраически, чтобы быть полезным. Для многих практических компьютерных приложений вполне разумно предположить, что гамма-функция и другие специальные функции хорошо известны, поскольку численные реализации широко доступны.
аналитическое выражение (или выражение в аналитической форме ) - это математическое выражение, построенное с использованием хорошо- известные операции, которые легко поддаются расчету. Подобно выражениям в закрытой форме, набор хорошо известных разрешенных функций может варьироваться в зависимости от контекста, но всегда включает базовые арифметические операции (сложение, вычитание, умножение и деление), возведение в степень до действительной экспоненты ( который включает извлечение корня n-й степени ), логарифмов и тригонометрических функций.
Однако класс выражений, которые считаются аналитическими выражениями, имеет тенденцию быть шире, чем для выражений замкнутой формы. В частности, обычно разрешены специальные функции, такие как функции Бесселя и гамма-функция, а часто и бесконечные серии и дроби. С другой стороны, ограничивает в целом и интегралы в частности обычно исключаются.
Если аналитическое выражение включает только алгебраические операции (сложение, вычитание, умножение, деление и возведение в степень до рациональной экспоненты) и рациональных констант, то это более конкретно называется алгебраическим выражением.
Выражения в закрытой форме являются важными подкласс аналитических выражений, которые содержат ограниченное или неограниченное количество приложений известных функций. В отличие от более широких аналитических выражений, выражения замкнутой формы не включают бесконечный ряд или непрерывные дроби ; ни один из них не включает интегралы или пределы. В самом деле, согласно теореме Стоуна – Вейерштрасса любая непрерывная функция на единичном интервале может быть выражена как предел многочленов, поэтому любой класс функций, содержащий многочлены и замкнутые по пределам обязательно будут включать все непрерывные функции.
Аналогичным образом, уравнение или система уравнений, как говорят, имеет решение в замкнутой форме тогда и только тогда, когда хотя бы одно решение может быть выражено в виде выражения в закрытой форме; и считается, что оно имеет аналитическое решение тогда и только тогда, когда по крайней мере одно решение может быть выражено как аналитическое выражение. Существует тонкое различие между «функцией в замкнутой форме» и «числом в замкнутой форме » при обсуждении «решения в замкнутой форме», обсуждаемом в (Chow 1999) и ниже. Решение в закрытой форме или аналитическое решение иногда называют явным решением .
Выражение:
не в закрытой форме, потому что суммирование влечет за собой бесконечное количество элементарных операций. Однако, суммируя геометрический ряд , это выражение может быть выражено в замкнутой форме:
Интеграл в выражении в замкнутой форме может сам или не может быть выражен в виде выражения в замкнутой форме. Это исследование называется дифференциальной теорией Галуа по аналогии с алгебраической теорией Галуа.
Основная теорема дифференциальной теории Галуа принадлежит Джозефу Лиувиллю в 1830-х и 1840-х годах и поэтому упоминается как теорема Лиувилля.
Стандартный пример элементарная функция, первообразная которой не имеет выражения в замкнутой форме:
, у которой одна первообразная (до мультипликативная константа) функция ошибок :
Уравнения или системы, слишком сложные для замкнутой формы или аналитических решений, часто могут быть проанализированы с помощью математического моделирования и компьютерного моделирования.
Три подполя комплексных чисел C были предложены для кодирования понятия «число в закрытой форме»; в порядке возрастания общности это числа Лиувилля (не путать с числами Лиувилля в смысле рационального приближения), числа EL и элементарные числа. Числа Лиувилля, обозначенные L, образуют наименьшее алгебраически замкнутое подполе C, замкнутое относительно возведения в степень и логарифма (формально, пересечение всех такие подполя), то есть числа, которые включают явное возведение в степень и логарифмы, но допускают явные и неявные многочлены (корни многочленов); это определено в (Ritt 1948, стр. 60). L первоначально называлось элементарными числами, но теперь этот термин используется более широко для обозначения чисел, определенных явно или неявно в терминах алгебраических операций, экспонент и логарифмов. Более узкое определение, предложенное в (Chow 1999, pp. 441–442), обозначенное E и обозначенное как номера EL, является наименьшим подполем C замкнуто относительно возведения в степень и логарифма - это не обязательно должно быть алгебраически замкнутым и соответствует явным алгебраическим, экспоненциальным и логарифмическим операциям. «EL» означает «экспоненциально-логарифмический» и аббревиатуру «элементарный».
То, является ли число числом в закрытой форме, связано с тем, является ли число трансцендентным. Формально числа Лиувилля и элементарные числа содержат алгебраические числа, и они включают некоторые, но не все трансцендентные числа. Напротив, числа EL не содержат всех алгебраических чисел, но включают некоторые трансцендентные числа. Замкнутые числа можно изучать с помощью теории трансцендентных чисел, в которой основным результатом является теорема Гельфонда – Шнайдера, а основным открытым вопросом является гипотеза Шануэля.
Для числовых вычислений в закрытой форме, как правило, нет необходимости, так как многие пределы и интегралы могут быть эффективно вычислены.
Существует программное обеспечение, которое пытается найти выражения в закрытой форме для числовых значений, включая RIES, идентифицировать в Maple и SymPy, Инвертор Плуфа и инверсный символьный калькулятор.
