Ինտեգրալ հաշիվ

Ինտեգրալ հաշիվ, մաթեմատիկական անալիզի այն բաժինը, որտեղ ուսումնասիրվում են ինտեգրալները, դրանց հատկությունները, հաշվումը և կիրառությունները։ Դիֆերենցիալ հաշվի հետ միասին կազմում է մաթեմատիկական անալիզի հիմքը։

Մի քանի մաթեմատիկական նշագրումների տարեթվեր

Նշագրումը	Իմաստ	Ով է ներմուծել	Երբ է ներմուծվել, տարեթիվը
Օբյեկտների նշագրումները
$\infty$	անվերջություն	Ջ. Վալես	1655
$\pi$	շրջանագծի երկարության հարաբերությունը տրամագծին	Ու. Ջոնս Լ. Էյլեր	1706 1736
$\imath$	քառակուսի արմատ -1-ից	Լ. Էյլեր	1777
$x,y,z$	անհայտներ կամ փոփոխական մեծություններ	Ռ. Դեկարրտ	1637
${\vec {r}}$	վեկտոր	Օ. Կոշի	1853
Գործողությունների նշագրումներ
${\displaystyle }$	գումարում	գերմանացի մաթեմատիկոսներ	XV դ. վերջերին
$-$	հանում	»	»
$\times$	բազմապատկում	Ու. Օուտրեդ	1631
$\cdot$	բազմապատկում	Գ. Լեյբնից	1698
$:$	բաժանում	Գ. Լեյբնից	1684
$a^{2},a^{3},\ldots a^{n}$	աստիճաններ	Ռ. Դեկարդ	1637
${\sqrt[{}]{}}\ {\sqrt[{3}]{}}$	արմատ	Հ. Ռուդոլֆ Ա. Ժիրար	1525 1629
$\log$	լոգարիթմ	Ի. Կեպլեր	1624
$\sin$	սինուս	Բ. Կավալերի	1632
$\cos$	կոսինուս	Լ. Էյլեր	1748
$\tan$	տանգենս	Լ. Էյլեր	1753
$\arcsin$	արկսինուս	Ժ. Լագրանժ	1772
$dx,dxx,\ldots d^{2}x,d^{3}x$	դիֆերենցյալներ	Գ. Լեյբնից	1675
$\int ydx$	ինտեգրալ	Գ. Լեյբնից	1675
${dy \over dx}$	ածանցյալ	Գ. Լեյբնից	1675
$\int \limits _{a}^{b}f(x)dx$	որոշյալ ինտեգրալ	Ժ. Ֆուրյե	1819-1822
$\sum$	գումար	Լ. Էյլեր	1755
$!$	ֆակտորիալ	Ք. Կրամպ	1808
$\lim ,\lim _{n=\infty },\lim _{n\to \infty }$	սահման	Ու. Համիլտոն ուրիշ մաթեմատիկոսներ	1853 XX դ. սկիզբ
$\varphi (x),f(x)$	ֆունկցիա	Յո. Բեռնուլի Լ. Էյլեր	1718 1734
Հարաբերությունների նշագրումներ
$=$	հավասարություն	Ռ. Դեկարտ	1557
$>,\ <$	մեծ, փոքր	Տ. Հարիոտ	1631
$\equiv$	նույնություն	Կ. Գաուս	1801
$\parallel$	զուգահեռություն	Ու. Օուտրեդ	1677
$\perp$	ուղղահայացություն	Պ. Էրիգոն	1634

Ինտեգրալ հաշիվը առաջացել է բնագիտության և մաթեմատիկայի մեծ թվով խնդիրների դիտարկումների հիման վրա։ Դրանցից ամենակարևորը՝ տրված ժամանակում տրված, բայց միգուցե փոփոխվող արագությամբ շարժվող մասնիկի անցած ճանապարհի որոշումն է ֆիզիկական խնդիրներում և ավելի հին խնդիր է երկրաչափական պատկերների և մարմինների մակերեսների և ծավալների հաշվելը։

Ինտեգրալ հաշվի հիմնական գաղափարը ինտեգրալն է, որը, սակայն ունի երկու տարբեր մեկնաբանություն, որոնք բերվում են անորոշ և որոշյալ ինտեգրալների գաղափարներին։

Դիֆերենցիալ հաշվում ներմուծվում է ֆունկցիաների դիֆերենցելիություն գործողությունը։ Ինտեգրալ հաշվում դիֆերենցելիության հակադարձ գործողությունն անվանում են ինտեգրելիություն, ավելի ճիշտ անորոշ ինտեգրալ։

Սյպիսով, ի՞նչ է հակադարձ գործողությունը և ինչու՞մն է դրա անորոշությունը։

Դիֆերենցելիության գործողությունը համապատասխանության մեջ է դնում $F(x)$ ֆունկցիային իր ածանցյալը $F'(x)=f(x)$: Ենթադրենք, ուզում ենք ելնելով տրված $f(x)$ ֆունկցիայից, գտնել այնպիսի $F(x)$ ֆունկցիա, որի ածանցյալը $f(x)$ է, այսինքն՝ $f(x)=F'(x)$: Այդպիսի ֆունկցիան կոչվում է $f(x)$ ֆունկցիայի նախնական։ Այսպիսով, դիֆերենցելիության հակադարձ գործողությունը՝ անորոշ ինտեգրելիությունը, դա տրված ֆունկցիայի նախնականի գտնելն է։

Նկատենք, որ $F(x)$ ֆունկցիայի հետ մեկտեղ, $f(x)$ ֆունկցիայի նախնական կարող է լինել կամայական ${\mathcal {F}}(x)=F(x) C$ ֆունկցիա, որը $F(x)$ ֆունկցիայից տարբերվում է $C$ հաստատունի ճշտությամբ, քանզի ${\mathcal {F'}}(x)=F'(x)=f(x)$:

Սակայն այդ անորոշության աստիճանն այնքան էլ բարձր չէ։ Հիշեցնենք, որ եթե ինչ-որ ֆունկցիայի ածանցյալը հավասար է զրոյի ինչ-որ միջակայքի բոլոր կետերի համար, ապա այդ ֆունկցիան հաստատուն է դիտարկվող միջակայքում (այն միջակայքերում, որտեղ փոփոխական մեծության փոփոխման արագությունն ամենուրեք հավասար է զրոյի, այն չի փոխվում)։ Ուրեմն, եթե ${\mathcal {F'}}(x)=F'(x)$ ինչ-որ $a<x<b$ միջակայքում, ապա ${\mathcal {F'}}(x)-F'(x)$ ֆունկցիան հաստատուն է այդ միջակայքում, որովհետև դրա ածանցյալը հավասար էայդ միջակայքում, քանի որ ${\mathcal {F'}}(x)-F'(x)$ ածանցյալը հավասար է զրոյի այդ միջակայքի բոլոր կետերում։

Այսպիսով, մի ֆունկցիայի երկու նախնականներ միևնույն միջակայքում կարող են իրարից տարբերվել հաստատունի ճշտությամբ։

$f(x)$ ֆունկցիայի նախնականը նշանակավում է

$\int f(x)dx$

սիմվոլով, որտեղ $\int$ նշանակումը կարդացվում է։ Սա այսպես ասած անորոշ ինտեգրալն է։ Վերը նշվածից հետևում է, որ անորոշ ինտեգրալ դիտարկվող միջակայքում ոչ թե մեկ ֆունկցիա է, այլ

$\int f(x)dx=F(x) C$

տեսքի կամայական ֆունկցիա, որտեղ $F(x)$-ը $f(x)$ ֆունկցիայի ինչ-որ նախնականն է այդ միջակայքում։ իսկ $C$-ն կամայական հաստատուն։

Օրինակ, ամբոջղ թվային ուղղի վրա$\int xdx=x^{2} C;\ \int {\cos ydy}=\sin {y} C;\int {\sin {z}dz}=-\cos {z} C:$Այստեղ ընդինտեգրալ ֆունկցիաների փոփոխականները նշանակված են տարբեր տառերով՝ $x,y,z$, ընդգծելու համար նախնականների փոփոխականներից անկախությունը, որոնք օգտագործված են նրանց արգումենտները գրելու համար։

Դրանց ճշմարտացիությունը ստուգելու համար, բավական է յուրաքանչյուր արտահայտության աջ մասը ածանցել, ըստ համապատասխան փոփոխականի և համոզվել, որ ստացվում են ընդինտեգրալ ֆունկցիաները՝ $2x,\cos y,\sin z$ համապատասխանաբար։

Օգտակար է իմանալ նաև անորոշ ինտեգրալների հետևյալ առնչությունները. $\left(\int f(x)dx\right)'=f(x);d\left(\int f(x)dx\right)=f(x)dx;\int F'(x)dx=F(x) C;\int dF(x)=F(x) C.$Շատ հաճախ օգտակար է նաև անորոշ ինտեգրալի հետևյալ հատկությունները.

$\int cf(x)dx=c\int f(x)dx$,

(հաստատունի ինտեգրալի նշանի տակից դուրս բերումը), $\int (f(x) g(x))dx=\int f(x)dx \int g(x)dx$(գումարի ինտեգրալ); եթե

$\int f(x)dx=F(x) C,$

ապա

$\int f(\varphi (t))\varphi '(t)dt=F(\varphi (t)) C$

(փոփոխականի փոխարինում)։

Այս հատկությունները ևս ապացուցվում են համապատասխան դիֆերենցման կանոնների օգտագործմամբ։

Այժմ ներկայացնենք ինտեգրալին ավելի հնագույն մոտեցում, որը եղել է ինտեգրալ հաշվի սկզբնաղբյուր և հանգեցրել է որոշյալ ինտեգրալի գաղափարին կամ ինտեգրալին բառի բուն իմաստով։ Այդ մոտեցումը հստակ նկատվում էին հին հույն մաթեմատիկոս և աստղագետ Եվդոքսոս Կնիդոսցու (մոտ 408 - մոտ 355 մ.թ.ա.) և Արքիմեդի մոտ, այսինքն՝ դիֆերենցիալ հաշվից և դիֆերենցելիությունից դեռ ավելի վաղ շրջանում։

Խնդիրը, որ դիտարկում էին Եվդոքսոսը և Արքիմեդը, լուծման ընթացքում ստեղծելով «արտաքսման մեթոդը», կանխատեսում էր ինտեգրալի գաղափարը։ Դա կորագիծ պատկերների մակերեսների հաշվելու խնդիրն էր։ Ստորև կներկայանենք այդ խնդիրը, մինչ այդ ներկայացնենք Ի. Նյուտոնի մոտեցումը այդ խնդրին. գտնել ժամանակի ցանկացած $t$ պահին $a\leq t\leq b$ միջակայքից $v(t)$ արագությամբ շարժվող մարմնի ճանապարհը։

Եթե հայտնի է մարմնի շարժման օրենքը, այսինքն՝ մարմնի կոորդինատների կախումը ժամանակից, ապա պատասխանն ակնհայտ է՝ $s(b)-s(a)$: Ավելին, եթե հայտնի է $v(t)$ ֆունկցիայի ինչ-որ ${\tilde {s}}(t)$ նախնական $[a,b]$ միջակայքից, ապա, քանզի ${\tilde {s}}(t)=s(t) C$, որտեղ $C$ հաստատուն է, կարելի է մարմնի անցած ճանապարհը հաշվել ${\tilde {s}}(b)-{\tilde {s}}(a)$ տեսքով, որը համընկնում է $s(b)-s(a)$-ի հետ։ Սա շատ կարևոր դիտարկում է, սակայն եթե տրված $v(t)$ ֆունկցիայի նախնականը հնարավոր չէ գտնել, ապա պետք է ցուցաբերել այլ մոտեցում։

Եթե $[a,b]$ միջակայքը $t_{0},t_{1},\ldots t_{n}$ առանձին պահերի, այնպիսին, որ $a=t_{0}<t_{1}<\cdots <t_{n}=b$, տրոհենք շատ փոքր ժամանակային $[t_{i-1},t_{i}]$, $i=1,2,\ldots ,n$միջակայքերի, ապա այդ միջակայքերից յուրաքանչյուր միջակայքերում մարմնի $v(t)$ արագությունը չի հասցնի նկատելի փոփոխվել։ Ամրագրելով $\tau _{i}\in [t_{i-1},t_{i}]$, կարելի է այդ կերպ մոտավորապես համարել, որ $[t_{i-1},t_{i}]$ միջակայքում շարժումը կատարվում է հաստատուն $v(\tau _{i})$ արագությամբ։ Այդ դեպքում $[t_{i-1},t_{i}]$ միջակայքում ճանապարհի մեծության համար կստանանք մոտավորապես $v(\tau _{i})\Delta t_{i}$, որտեղ $\Delta t_{i}-\Delta t_{i-1}$: Գումարելոով այդ մեծությունները, կստանանք $v(\tau _{1})\Delta t_{1} v(\tau _{2})\Delta t_{2} \cdots v(\tau _{n})\Delta t_{n}\ \ \ \ \ \ \ (1)$ճանապարհի մոտավոր արժեքը ամբողջ $[a,b]$ միջակայքի համար։

Ինչքան ավելի փոքր մասերի տրոհվի $[a,b]$ միջակայքն, այնքան ավելի ճիշտ կստացվի արդյունքը, այսինքն՝ այնքան ավելի փոքր կստացվի $[t_{i-1},t_{i}]$ միջակայքերից, որոնցով տրոհված $[a,b]$ միջակայքը, ամենամեծ $\Delta$ երկարությամբ մեծությունը։

Գոթֆրիդ Վիլհելմ ֆոն Լայբնից

Ուրեմն, փնտվող ճանապարհի մեծությունը կլինի

$\lim _{\Delta \to 0}\sum _{i=1}^{n}v(\tau _{i})\Delta t_{i}\ \ \ \ \ \ \ (2)$

սահմանը, երբ $\Delta$-ն ձգտում է զրոյի։

(1) տեսքի գումարներին անվանում են ինտեգրալային $v(t)$ ֆունկցիայի գումարներ $[a,b]$ միջակայքում, իսկ նրանց (2) տեսքի սահմանը, որը ստացվել է անվերջ փոքր տրոհումներից, անվանում են $v(t)$ ֆունկցիայի ինտեգրալ (կամ որոշյալ ինտեգրալ) $[a,b]$ միջակայքում։ Ինտեգրալը նշանակվում է

$\int \limits _{a}^{b}v(t)dt$

սիմվոլով, որտեղ $a,b$ կոչվում են ինտեգրալի սահմաններ, ընդսմին $a$-ն ստորին սահման, իսկ $b$-ն վերին սահման; $v(t)$-ը ընդինտեգրալային ֆունկցիա, $v(t)dt$ ընդինտեգրալային արտահայտություն, $t$-ն ինտեգրելիության փոփոխական։

Այսպիսով՝, ըստ սահմանման

$\int \limits _{a}^{b}v(t)dt=\lim _{\Delta \to 0}\sum _{i=1}^{n}v(\tau _{i})\Delta t_{i}:\ \ \ \ \ (3)$

Իսահակ Նյուտոն

Որեմն, $[a,b]$ ժամանակային միջակայքում մարմնի անցած ճանապարհի մեծությունը տրված հայտնի $v(t)$ արագությամբ արտահայտվում է (3) արտահայտությամբ։

Համեմատության մեջ դնելով վերը նշվածը «նախնականների բառերով», հանգում ենք հայտնի բանաձևին.

$\int \limits _{a}^{b}v(t)dt=s(b)-s(a),\ \ \ \ \ (4)$

եթե $v(t)=s'(t)$: (4) հավասարությունը անվանում են Նյուտոն-Լայբնիցի բանաձև։ Այդ հավասարության ձախ մասը ինտեգրալն է որպես (3) սահման, իսկ աջ մասում՝ ընդինտեգրալ $v(t)$ ֆունկցիայի$s(t)$ նախնականի միջակայքի $a$ և $b$ արժեքների տարբերությունը։ Այս կերպ Նյուտոն-Լայբնիցի բանաձևը կապ է ստեղծում ինտեգրալի և նախնականի միջև։ Հետևաբար այս բանաձևով կարելի է օգտվել երկու հակադիր ուղղություններում. հաշվել ինտեգրալը գտնելով նախնականը, կամ ստանալ նախնականի աճը գտնելով (3)-ից ինտեգրալը։

Արտաքին հղումներ

• Ինտեգրալ հաշիվների մասին Г.М. Фихтенгольц, Курс дифференциального и интегрального исчисления դասագրքում

Վիքիպահեստն ունի նյութեր, որոնք վերաբերում են «Ինտեգրալ հաշիվ» հոդվածին։

Այս հոդվածի կամ նրա բաժնի որոշակի հատվածի սկզբնական կամ ներկայիս տարբերակը վերցված է Քրիեյթիվ Քոմմոնս Նշում–Համանման տարածում 3.0 (Creative Commons BY-SA 3.0) ազատ թույլատրագրով թողարկված Հայկական սովետական հանրագիտարանից  (հ․ 4, էջ 351)։