A matematikai elemzésben a szimbolikus integráció egy adott f ( x ) függvény antiderivatív vagy határozatlan integráljának megtalálása , azaz egy differenciálható F ( x ) függvény megtalálása úgy, hogy
Kijelölés:
A szimbolikus kifejezést arra használják, hogy megkülönböztessük a numerikus integrációtól , amelyben egy határozott integrál egy adott értékét az f ( x ) értékei alapján számítják ki .
Mindkét feladat nagy elméleti és gyakorlati jelentőséggel bírt már jóval a digitális számítógépek korszaka előtt, de mára a számítástechnika területén folyik a vizsgálatuk , hiszen számítógépes algebrarendszerek születtek és fejlődnek .
A derivált megtalálása egy egyszerű folyamat, amelyhez könnyen definiálható az algoritmus. Az inverz probléma sokkal bonyolultabb, gyakran egy elemi függvény integrálja nem ábrázolható zárt formában (véges számú elemi függvény kombinációja). Lásd antiderivatív .
A Risch-algoritmusnak nevezett eljárás képes meghatározni, hogy létezik-e integrál, és számos függvényosztályhoz megkeresheti. Ez az algoritmus folyamatosan javul.
szimbolikus eredmény (határozatlan integrál), C — integrációs állandó;
szimbolikus eredmény (határozott integrál);
számszerű eredmény ehhez a példához.
Matek szoftver | |
---|---|
Szimbolikus számítások | |
Numerikus számítások |