Algoritmo de Risch

En matemtica el algoritmo de Risch, nombrado en ho- por lo que si eg apareciera como resultado de una inte-
nor a Robert H. Risch, es un algoritmo utilizado para el gracin indenida, entonces debera aparecer dentro de
clculo de integrales indenidas (es decir, encontrar la la integral. Igualmente para los logaritmos se tendra:
funcin primitiva de una funcin dada).

El algoritmo transforma el problema de integracin en un (f lnn g) = f lnn g + nf gg lnn1 g
problema de lgebra diferencial. Se basa en el tipo de fun-
cin que se integra y en el uso de mtodos para integrar entonces si lnn g apareciera como resultado de la integra-
funciones racionales, radicales, logaritmos, y funciones cin,entonces solo se esperara que aparecieran unas pe-
exponenciales. queas potencias del logaritmo.
Risch desarroll el algoritmo en 1968, denominndolo Una consecuencia importante del algoritmo de Risch es
un procedimiento de decisin, porque es un mtodo pa- que la integral gaussiana IG no es una funcin elemental.
ra decidir si una funcin posee como integral indenida
una funcin elemental; y en el caso que la tuviera permite x
IG (x) := 0 ex dx
2

calcularla. En 1976 se desarroll el algoritmo de Risch-

Norman, que aunque es ms rpido es una tcnica menos
poderosa.
2 Vase tambin

1 Descripcin Lista de integrales

Teorema de Liouville (lgebra diferencial)
El algoritmo de Risch se usa para integrar funciones ele-
mentales. Laplace resolvi el problema de la integracin Integracin simblica
para el caso de funciones racionales demostrando que la
integral de una funcin racional es otra funcin racional
ms un nmero nito de mltiplos de logaritmos de fun- 3 Referencias
ciones racionales. El algoritmo sugerido por Laplace se
describe en muchos manuales de clculo elemental pero 3.1 Bibliografa
slo se implement algortmicamente en los aos 1960.
Liouville formul el problema cuya solucin viene da- R. H. Risch (1969). The Problem of Integration in
da por algoritmo de Risch. Liouville consigui demostrar Finite Terms. Transactions of the American Mathe-
analticamente que si existe una funcin elemental g que matical Society 139: 167-189. doi:10.2307/1995313.
sea solucin de la ecuacin g = f entonces existe un cier-
Maxwell Rosenlicht (1972). Integration in nite
to nmero de constantes i y funciones elementales ui y
terms. American Mathematical Monthly 79: 963-
v, tales que:
972.
u Geddes, Czapor, Labahn (1992). Algorithms for
f= i<n i uii + v g =
v + i<n i ln(ui ) Computer Algebra. Kluwer Academic Publishers.
ISBN 0-7923-9259-0.

Risch desarroll un mtodo que permite considerar slo
un conjunto nito de funciones elementales de la forma
encontrada por Liouville para resolver el problema.
La intuicin detrs del algoritmo de Risch proviene del
comportamiento de las derivadas de las funciones expo-
nencial y logartmica. Para la funcin f eg , donde f y g
son funciones diferenciables, se tiene:
(f eg ) = (f + f g ) eg ,
Manuel Bronstein (2005). Symbolic Integration I.
Springer. ISBN 3-540-21493-3.
Manuel Bronstein (1998). Symbolic Integration Tu-
torial.
Bhatt, Bhuvanesh. Risch Algorithm. MathWorld
(en ingls). Wolfram Research. |autor= y |apellido=
redundantes (ayuda)

1
2 4 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

4 Origen del texto y las imgenes, colaboradores y licencias

4.1 Texto
Algoritmo de Risch Fuente: https://es.wikipedia.org/wiki/Algoritmo_de_Risch?oldid=88797151 Colaboradores: CEM-bot, Davius, TXi-
KiBoT, Mercenario97, Uruk, Muro Bot, PaintBot, Drinibot, BOTarate, GRHugo, Juan Mayordomo, Frei sein, InaBOT, Luckas-bot,
WikiDreamer Bot, Xqbot, Dinamik-bot, EmausBot, WikitanvirBot, MerlIwBot, Elvisor, Kondormari, Addbot, BenjaBot y Annimos: 8

4.2 Imgenes

4.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0