Алгоритм Риша для аналитического вычисления неопределённых интегралов кратко

Привет, Вы узнаете о том , что такое алгоритм риша, Разберем основные их виды и особенности использования. Еще будет много подробных примеров и описаний. Для того чтобы лучше понимать что такое алгоритм риша , настоятельно рекомендую прочитать все из категории Математический анализ. Интегральное исчисление.

Алгори́тм Ри́ша — алгоритм для аналитического вычисления неопределенных интегралов, использующий методы дифференциальной алгебры. Он базируется на типе интегрируемой функции и на методах интегрирования рациональных функций, корней, логарифмов, и экспоненциальных функций.

Назван в честь Роберта Генри Риша . Сам Риш, который разработал алгоритм в 1968 году, называл его «разрешающей процедурой», поскольку метод решает, является ли первообразная от функции элементарной функцией. Наиболее подробное исследование алгоритма представлено на 100 страницах книги «Алгоритмы компьютерной алгебры» Кейта Геддеса, Стефана Цапора и Джорджа Лабана.

алгоритм риша интегрирует элементарные функции. Лаплас решил эту проблему для рациональных функций, показав, что неопределенный интеграл рациональной функции сам является рациональной функцией с конечным количеством констант, умноженных на логарифмы рациональных функций. Программно он был реализован в начале 1960-х годов.

Лиувилль сформулировал проблему, решенную в алгоритме Риша. Он доказал аналитически, что если есть элементарное решение g для уравнения , то для констант αi и элементарных функций ui и v решение существует в форме

Риш создал метод, который позволяет рассматривать только конечное множество элементарных функций в форме Лиувилля.

Алгоритм Риша был вдохновлен поведением экспоненциальных и логарифмических функций во время дифференцирования.

Для функции f e^g, где f и g дифференцируемые, имеем

так что если функция e^g содержится в результате неопределенного интегрирования, она должна входить и в состав исходного подынтегрального выражения. Об этом говорит сайт https://intellect.icu . Аналогично, поскольку

если (ln g)n содержится в результате интегрирования, то в исходном подынтегральном выражении должно присутствовать несколько степеней логарифма.

Нахождение элементарной первообразной очень чувствительно к незначительным изменениям. Например, следующая функция имеет элементарную первообразную:

а именно:

Но если в выражении f(x) сменить 71 на 72, то будет невозможно найти элементарную первообразную. (Некоторые системы компьютерной алгебры могут в данном случае вернуть ответ как неэлементарную функцию — эллиптический интеграл, который, однако, не охватывается алгоритмом Риша.)

Следующие функции являются более сложными примерами:

Первообразная этой функции имеет короткую форму

Эффективная программная реализация теоретически построенного алгоритма оказалась сложной задачей. В случае чистых трансцендентных функций (не содержащих корней и полиномов) это относительно легко было реализовано в большинстве систем компьютерной алгебры

Случай же чистых алгебраических функций был решен и реализован в системе Reduce Джеймсом Дэвенпортом . Общий случай был решен и реализован Мануэлем Бронштейном в Scratchpad (предшественнице системы Axiom) .

Алгоритм Риша в приложении к общему случаю элементарных функций не является алгоритмом в строгом смысле, потому как в процессе работы ему требуется определять, тождественны ли некоторые выражения нулю (проблема постоянных). Для выражений, функции в которых элементарны, неизвестно, существует ли алгоритм, делающий такую проверку (современные системы используют эвристику). Более того, если в список элементарных функций добавить абсолютную величину, такого алгоритма не существует (теорема Ричардсона ). Данная проблема имеется и в делении многочленов столбиком: оно не будет разрешимо, если нельзя определить равенство коэффициентов нулю.

Почти каждый нетривиальный алгоритм, использующий многочлены, использует алгоритм их деления, как и алгоритм Риша. Если поле констант вычислимо, то проблема равенства нулю решаема, тогда алгоритм Риша полон. Примерами вычислимых полей констант являются и .

Такая же проблема имеется и в методе Гаусса, который тоже является необходимым для многих частей алгоритма Риша. Метод Гаусса будет давать некорректный результат, если невозможно правильно определить, будет ли базис идентичен нулю.

• Аксиома ( система компьютерной алгебры )
• Выражение в закрытой форме
• Неполная гамма- функция
• Списки интегралов
• Теорема Лиувилля (дифференциальная алгебра )
• Неэлементарный интеграл
• Символическая интеграция

Исследование, описанное в статье про алгоритм риша, подчеркивает ее значимость в современном мире. Надеюсь, что теперь ты понял что такое алгоритм риша и для чего все это нужно, а если не понял, или есть замечания, то не стесняйся, пиши или спрашивай в комментариях, с удовольствием отвечу. Для того чтобы глубже понять настоятельно рекомендую изучить всю информацию из категории Математический анализ. Интегральное исчисление