Математикалык эсептөөнүн фундаменталдык теоремасы
Математикалык эсептөө көбүнчө өзгөрүүнү жана топтолууну түшүндүрүү үчүн "тил" катары түшүнүлөт. Бир жагынан, биз функциянын өзгөрүү ылдамдыгын өлчөө үчүн туундуларды изилдейбиз. Экинчи жагынан, биз топтолууну эсептөө үчүн интегралдарды изилдейбиз, мисалы, ийри сызыктын астындагы аянт же чоңдуктун жалпы "үзгүлтүксүз суммасы". Математикалык эсептөөнүн фундаменталдык теоремасы (МАТТ) бул эки идеяны бириктирген негизги көпүрө болуп саналат: дифференциация жана интеграция эки башка тема эмес, тескерисинче, эки өз ара амал экени көрүнүп турат. Дал ушул теорема математиканы илимде, инженерияда, экономикада жана башка көптөгөн тармактарда ушунчалык күчтүү кылат.
Жалпы маалымат: өзгөрүүлөр жана топтолуу
Жолдо бара жаткан унааны элестетиңиз. Унаанын ылдамдыгы - бул убакыттын өтүшү менен абалдын өзгөрүшүнүн ылдамдыгы, ал эми басып өткөн аралык - бул убакыттын өтүшү менен "ылдамдыктын" топтолушу. Математикалык жактан алганда, эгерде √v(t)√ ылдамдык болсо, анда √a√ убакыттан √b√ убакытка чейин басып өткөн аралык интеграл менен туюнтулушу мүмкүн.
\[
\int_a^bv(t)\, dt.
\]
Ошол эле учурда, эгерде \(s(t)\) позиция болсо, анда ылдамдык туунду болуп саналат:
\[
v(t) = s'(t).
\]
Математикалык эсептөөнүн фундаменталдык теоремасы бул эки операциянын тыгыз байланышта экенин айтат: туундунун интегралы функциянын таза өзгөрүшүн кайтарат, ал эми аныкталган интегралдын туундусу баштапкы функцияны кайтарат. Бул байланыш аянтты, аралыкты, массаны, энергияны жана башка көптөгөн нерселерди эсептөөнү алда канча системалуу кылат.
Тез алгы шарт: аныкталган интегралдар жана туундулар деген эмне?
Теореманын айтылышына өтүүдөн мурун, эки маанилүү түшүнүк бар:
1. Туунду \(f'(x)\: \(x\) бир аз өзгөргөндө графиктин эңкейишин же \(f(x)\) өзгөрүү ылдамдыгын өлчөйт. Интуитивдик түрдө, эгер \(f(x)\) абалды сүрөттөсө, анда \(f'(x)\) ылдамдыкты сүрөттөйт.
2. Аныкталган интеграл \(\int_a^bf(x)\,dx\): \(f\) тин \(a,b]\ аралыгындагы топтолушун өлчөйт. Геометриялык жактан алганда, ал көбүнчө белгиленген аянт (\(x\) огунун үстүндөгү оң аянт, \(x\) огунун астындагы терс аянт)) катары аныкталат, \(x=a\) дан \(x=b\) га чейинки \(y=f(x)\) ийри сызыгынын астындагы.
Анык интеграл формалдуу түрдө Риман суммасынын чеги менен аныкталат, башкача айтканда, аянтты кичинекей тик бурчтуктар менен жакындатып, андан кийин тик бурчтуктардын туурасы нөлгө барабар болгондо чегин алуу менен.
Математикалык эсептөөнүн фундаменталдык теоремасынын билдирүүсү (1-бөлүк)
TFK 1-бөлүмүндө мындай деп айтылат: эгер \(f\) \([a,b]\) боюнча үзгүлтүксүз болсо, анда биз жаңы функцияны аныктайбыз
\[
F(x)=\int_a^xf(t)\,dt,
\]
анда \(F\) функциясы \((a,b)\) негизинде чыгарылышы мүмкүн жана
\[
F'(x)=f(x).
\]
Мааниси абдан маанилүү: \(f\) дан "курулган" интеграл \(f\) нын антитуунду функциясын берет. Башкача айтканда, дифференциалданган учурда \(x\) чекитине чейинки топтолуу процесси ошол чекиттеги топтолуу ылдамдыгына кайтып келет.
Интуиция 1-бөлүк
\(x\) кичине \(\Delta x\) өлчөмүнө көбөйтүлгөндө \(F(x)\) өлчөмүндөгү кичинекей өзгөрүүгө көңүл буруңуз:
\[
F(x+\Delta x)-F(x)=\int_a^{x+\Delta x} f(t)\,dt – \int_a^xf(t)\,dt = \int_x^{x+\Delta x} f(t)\,dt.
\]
Эгерде \(\Delta x\) кичине болсо, анда бул интеграл болжол менен \(f(x)\Delta x\ га барабар. Демек,
\[
\frac{F(x+\Delta x)-F(x)}{\Delta x}\approx f(x).
\]
\(\Delta x\to 0\) болгондо, жакындаштыруу так болот, ошондуктан \(F'(x)=f(x)\).
Жөнөкөй мисал
Мисалы, \(f(t)=2t\). Аныктаңыз
\[
F(x)=\int_0^x 2t\,dt.
\]
Биз \(\int 2t\,dt = t^2\) экенин билебиз, ошондуктан \(F(x)=x^2\). Туунду \(F'(x)=2x\) болуп саналат, ал кайра \(f(x)\ ге кайтып келет. Бул 1-бөлүктү конкреттүү түрдө көрсөтөт.
Математикалык эсептөөнүн фундаменталдык теоремасынын билдирүүсү (2-бөлүк)
TFK 2-бөлүмүндө мындай деп айтылат: эгерде \(f\) \([a,b]\) боюнча үзгүлтүксүз болсо жана \(F\) \(f\) антитуундусу болсо (б.а. \(F'(x)=f(x)\)), анда
\[
\int_a^bf(x)\,dx = F(b)-F(a).
\]
Бул теореманын интегралдык эсептөөлөрдө эң көп колдонулган формасы. Анда аныкталган интегралды эсептөө үчүн Риман суммасынын чегин түз колдонуунун кажети жок экени айтылат; жөн гана \(F\) антитуундусун таап, андан кийин аны жогорку жана төмөнкү чектерде баалоо керек.
Эсептөө мисалы
Саноо:
\[
\int_1^3 (x^2+1)\,dx.
\]
Антидериватив бул
\[
F(x)=\frac{x^3}{3}+x.
\]
Ошентип:
\[
\int_1^3 (x^2+1)\,dx = \left(\frac{3^3}{3}+3\right)-\left(\frac{1^3}{3}+1\right)
= \left(9+3\right)-\left(\frac{1}{3}+1\right)
=12-\frac{4}{3}=\frac{32}{3}.
\]
TFK болбосо, биз интегралды тик бурчтуктардын аянттарынын суммасынын чеги катары аныктап, чегин эсептешибиз керек болмок — алда канча узак.
Эмне үчүн ал "фундаменталдык" деп аталат?
Бул теорема фундаменталдуу, анткени:
1. Математикалык эсептөөнүн эки негизги түшүнүгүн бириктиргиле: туунду (өзгөрүү) жана интеграл (топтолуу).
2. Практикалык ыкманы сунуштайт: аныкталган интегралдарды антитуундуларды колдонуу менен эсептөөгө болот.
3. Көптөгөн колдонмолордун негизинде жатат: физика (жумуш жана энергия), статистика (бөлүштүрүү жана мүмкүнчүлүк), экономика (жалпы чыгым менен маргиналдык чыгымдын катышы), биология (калктын өсүшү) ж.б.
Концептуалдык жактан алганда, эсептөөлөр бирдиктүү куралга айланат: биз "чен" жана "жалпы" моделдердин ортосунда оңой которула алабыз.
Көп пайда болгон тиркемелер
1. Ылдамдыктан аралык
Эгерде \(v(t)\) ылдамдык болсо, анда таза жылышуу:
\[
s(b)-s(a)=\int_a^bv(t)\,dt.
\]
Бул TFKнын 2-бөлүгүнөн алынган, эгерде \(v(t)=s'(t)\). Эгерде \(v(t)\) кээде терс болсо, интеграл таза жылышууну берет; жалпы аралык үчүн ал адатта \(\int_a^b |v(t)|\,dt\) катары эсептелет.
2. Өзгөрүү ылдамдыгынын топтолушу
Эгерде резервуар мүнөтүнө \(r(t)\) литр ылдамдыкта толтурулса, анда \([a,b]\) аралыгында кирген көлөм \(int_a^br(t)\, dt\) болот. Эгерде агып кирүү жана агып чыгуу ылдамдыгы болсо, анда көлөмдүн таза өзгөрүшү (агып кирүү − агып чыгуу) интегралы болуп саналат.
3. Интегралдар үчүн орточо маани теоремасы
TFKдан ар кандай кесепеттер келип чыгат, мисалы, функциянын орточо мааниси:
\[
f_{\text{orta}}=\frac{1}{ba}\int_a^bf(x)\,dx.
\]
Бул маалыматтарды талдоодо жана моделдөөдө маанилүү.
Маанилүү эскертүүлөр: шарттар жана эрежелер
TFK, адатта, анын туюнтмасы жылмакай болушу үчүн, каралып жаткан аралыкта \(f\) функциясынын үзгүлтүксүздүгүн талап кылат. Андан аркы изилдөөлөрдө бул теореманы сөзсүз түрдө үзгүлтүксүз болбогон функцияларга (мисалы, белгилүү бир шарттарда Риман же Лебег интегралдануучу функцияларга) кеңейтүүгө болот, бирок элементардык эсептөөлөр үчүн үзгүлтүксүздүк божомолу стандарттуу болуп саналат.
Андан тышкары, аныкталган интегралдар ар дайым "таза геометриялык аянттарды" эмес, белгиленген аянттарды берет. Эгерде график х огунун астында болсо, интеграл терс болот. Геометриялык аянттар үчүн, адатта, абсолюттук маанилер же интервалдык бөлүү колдонулат.
Penutup
Математикалык эсептөөнүн фундаменталдык теоремасы туундуну жана интегралды бириктирген өзөк болуп саналат. 1-бөлүктө үзгүлтүксүз функциянын топтолушу дифференциалданганда баштапкы функцияга кайтып келери көрсөтүлгөн. 2-бөлүктө аныкталган интегралдарды эсептөөнүн тез жолу көрсөтүлгөн: жөн гана антитуунду таап, айырманы чектерде баалоо. Бул теорема менен эсептөө жөн гана математикалык ыкмалардын жыйындысы эмес, дүйнөнү түшүнүү үчүн кооз алкак болуп калат: нерселер убакыттын өтүшү менен кандайча өзгөрөт жана ал өзгөрүүлөр кандайча жалпы суммага топтолот.
Эгер сиз кийинчерээк интеграциялоо ыкмаларын, дифференциалдык теңдемелерди же физикалык моделдерди изилдесеңиз, TFK көшөгө артында иштеп жатканын көрө бересиз — эсептөөнү ушунчалык күчтүү курал кылган "көпүрө" катары.
