Matemaattisen analyysin peruslauseet. Funktionaalisen analyysin peruslause

Analyysin päälause

Analyysin päälause tai Newton-Leibnizin kaava antaa kahden operaation välisen suhteen: ottamalla selvä integraali ja laskemalla antiderivaata

Sanamuoto

Harkitse funktion integraalia y = f(x) vakioluvun sisällä a numeroon asti x, jota pidämme muuttuvana. Kirjoitamme integraalin seuraavassa muodossa:

Tämän tyyppistä integraalia kutsutaan integraaliksi, jolla on muuttuva yläraja. Keskiarvo-in-definite-integraalilauseen avulla on helppo osoittaa, että tietty funktio on jatkuva ja differentioituva. Ja myös tämän funktion derivaatta pisteessä x on yhtä suuri kuin itse integroitava funktio. Tästä seuraa, että millä tahansa jatkuvalla funktiolla on antiderivaata kvadratuurin muodossa: . Ja koska funktion f antiderivaattien luokka eroaa vakiolla, on helppo osoittaa, että: funktion f määrätty integraali on yhtä suuri kuin pisteiden b ja a antiderivaatojen arvojen erotus.


Wikimedia Foundation. 2010 .

  • Plejadit
  • 6174 (numero)

Katso, mitä "analyysin päälause" on muissa sanakirjoissa:

    Fundamentaalinen jäännöslause- Jäännöslause on tehokas työkalu meromorfisen funktion integraalin laskemiseen suljetun ääriviivan yli. Sitä käytetään usein myös todellisten integraalien laskemiseen. Se on yleistys Cauchyn integraalilauseesta ja integraalista ... ... Wikipedia

    Algebran peruslause- väittää, että jokaisella ei-vakiopolynomilla (yhden muuttujan), jolla on kompleksikertoimet, on vähintään yksi juuri kompleksilukujen kentässä. Lauseen ekvivalentti muotoilu on seuraava: Kompleksilukujen kenttä ... ... Wikipedia

    Newtonin lause- Newton Leibnizin kaava eli analyysin päälause antaa suhteen kahden operaation välillä: ottamalla määrätty integraali ja laskemalla antiderivaata. Jos se on jatkuva segmentissä ja sen antijohdannainen tässä segmentissä, siinä on ... Wikipedia

    Newton-Leibnizin kaava

    Newton - Leibnizin kaava- Analyysin päälause eli Newton-Leibnizin kaava antaa kahden operaation välisen suhteen: ottamalla määrätyn integraalin ja laskemalla antiderivaatta Formulaatio Tarkastellaan funktion y \u003d f (x) integraalia, joka vaihtelee vakioluvusta a - .. ... Wikipedia

    Integraali- Määrätty integraali kuvion alueena Tällä termillä on muita merkityksiä, katso Integraali (yksityismerkki). Toiminnon integraali ... Wikipedia - funktiolle tämä on kokoelma tietyn funktion kaikista antiderivaatteista. Jos funktio on määritelty ja jatkuva välillä ja sen antiderivaatilla, eli at, niin ... Wikipedia

Kerran ajoimme isäni kanssa autolla kauas. Ja tämä on hyvä syy älykkääseen keskusteluun.

Puhumme "peruslauseista". Aritmetiikan peruslause on, että mikä tahansa kokonaisluku voidaan hajottaa alkulukujen tuloksi ja ainutlaatuisella tavalla. Algebran peruslause on, että polynomilla on yhtä monta juuria kuin sen aste (vaikka formulaatioissa on helvettiä). Ja sitten analyysin päälause jotenkin lensi sitten päässäni.

Isä ehdotti, että analyysin peruslause on Newton-Leibnizin lause. "Mitä tämä on?" Kysyin. Isä: "En muista tarkkaa sanamuotoa, mutta jotain siitä, että integraatio on erilaistumiseen päinvastainen operaatio."

Odota, eikö se ole määritelmän mukaan?

Kuten aina näiden peruslauseiden kanssa, heidän sanomansa näyttää ilmeiseltä, kun olet jo käynyt sen läpi. Mutta itse asiassa se on päälause, jonka avulla voimme pitää integraatiota ja differentiaatiota käänteisoperaatioina. Syvästi tieteenvastainen päättely menee pidemmälle, missä kuka tahansa matemaatikko löytää 100500 muotovirhettä, mutta tällä ei nyt ole merkitystä.

Mitä on erilaistuminen? Tämä tapahtuu, kun piirrämme tangentin jokaiseen funktion pisteeseen ja löydämme kulman tangentin, jossa se siirtyy horisonttiin, seuraavasti:

Nyt, jos jokaiselle pisteelle osoitetaan löydetty tangentti, saadaan uusi funktio, jota kutsutaan derivaatiksi. Haluan muistuttaa, että numero e että funktion derivaatta e x on yhtä suuri kuin e x, eli kussakin pisteessä kulman tangentti on juuri sama kuin itse funktion arvo.

Mitä integraatio on? Tämä on kuvion alueen löytäminen joidenkin pystysuorien rajojen rajoittaman funktion käyrän alta. a ja b ja vaaka-akseli:

Jos jaat kasvavalla määrällä suorakulmioita ja katsot pinta-alojen summan rajaa, saat vain tämän luvun alueen. Tätä aluetta kutsutaan funktion määrätyksi integraaliksi y = f(x) segmentillä [ a; b] ja se on merkitty näin:

Suoraan sanottuna ei ole ollenkaan ilmeistä, että kulmista ja aluetta koskeva paskapuhet ovat yleensä jotenkin yhteydessä toisiinsa.

Ja näin ne liittyvät toisiinsa. Funktion käänteistä derivaatta kutsutaan antiderivaatiiviseksi. Antijohdannainen alkaen f(x) on sellainen toiminto g(x) että sen johdannainen g´(x) = f(x). Esimerkiksi funktio y = x 2 + 8 johdannainen y = 2x. Toiminnan puolesta siis y = x toiminto y = (x 2/2) + 4 on antijohdannainen.

On helppo nähdä, että tällaisia ​​toimintoja on ääretön määrä. Esimerkiksi funktion derivaatta y = x 2 + 28 on myös y = 2x. Toiminnan puolesta siis y = x toiminto ( x 2/2) + 14 on myös antijohdannainen. Tämä on loogista, koska derivaatta on kulma kussakin pisteessä, ja on luonnollista, että se ei muutu riippuen korkeudesta, johon pystysuunnassa nostetaan funktion koko kuvaaja kokonaisuutena. Toiminnan puolesta siis x primitiivinen on x 2/2 plus niin paljon kuin haluat.

Joten käy ilmi, että funktion alta löytyy kuvion alue y = f(x) vaihtelevat a ennen b, sinun on otettava minkä tahansa sen antijohdannaisen arvot g(x) kohdissa b ja a ja vähennä toinen toisesta:

Tässä g- vaikka mikä tahansa, mutta silti jonkinlainen primitiivi, joten "niin monta kuin haluat" on sille sama, ne vähennetään toisistaan ​​eivätkä vaikuta tulokseen. Voit ottaa jonkin yksinkertaisen toiminnon, kuten y = 2x, jossa alue ilman integraaleja on helppo laskea mielessäsi ja tarkistaa. Toimii!

Tätä kaavaa kutsutaan analyysin peruslauseeksi tai Newton-Leibnizin lauseeksi. Jos se todistetaan, voimme jo kutsua antiderivaatiivisen integraation löytöä ja yleensä käsitellä differentiaatiota ja integraatiota keskenään käänteisinä operaatioina.

§ 5. Analyysin päälause

1. Päälause. Integraation ja jossain määrin erilaistumisen käsite oli hyvin kehittynyt ennen Newtonin ja Leibnizin työtä. Mutta oli ehdottoman välttämätöntä tehdä yksi hyvin yksinkertainen löytö, jotta vastikään luodun matemaattisen analyysin valtava kehitys vauhdittaisi. Kaksi näennäisesti toisiaan ei-peräkkäistä rajaprosessia, joista toista käytettiin erottamiseen ja toista funktioiden integrointiin, osoittautuivat läheisesti yhteydessä toisiinsa. Itse asiassa ne ovat molemminpuolisia

käänteiset toiminnot,

sopii käytettäväksi esim

yhteen- ja vähennyslasku, älykäs

leikkaaminen ja jakaminen. Eri-

sosiaalinen ja kiinteä

numerot ovat

jotain yhtenäistä.

Uuden suuri saavutus

sävy ja Leibniz on

siinä ensimmäistä kertaa

Riisi. 274. Int pelataan funktiona alkuun

mutta ymmärretty ja käytetty

tämä analyysin päälause

per. Epäilemättä ne ovat avoimia

solmio n mutta suora tie on tieteellistä kehitystä, eikä se ole ollenkaan yllättävää Ihmeellistä, ero Nämä henkilöt tulivat itsenäisesti ja lähes samanaikaisesti selkeään ymmärrykseen yllä mainitusta tilanteesta.

Jotta päälause voitaisiin muotoilla tarkasti, tarkastelemme funktion y = f(x) integraalia vaihteluvälillä vakioluvusta a lukuon x, jota pidämme muuttuvana. Jotta integroinnin ylärajaa x ei sekoitettaisi integraalimerkin alla olevaan muuttujaan, kirjoitamme integraalin seuraavassa muodossa (katso sivu 428):

F(x) = Z

osoittaa näin aikomuksemme tutkia integraalia sen ylärajan funktiona F(x) (kuva 274). Tämä funktio F (x) on käyrän y = f(u) alla oleva pinta-ala pisteestä u = a pisteeseen u = x. Joskus integraalia F(x), jolla on muuttuva yläraja, kutsutaan "epämääräiseksi integraaliksi".

Analyysin päälause kuuluu seuraavasti:

Epämääräisen integraalin (1) derivaatta sen ylärajan x suhteen on yhtä suuri kuin funktion f(u) arvo pisteessä u = x:

F 0(x) = f(x).

ANALYYSIN PÄÄLAUSE

Toisin sanoen integrointiprosessi, joka johtaa funktiosta f(x) funktioon F(x), "tuhoaa" funktioon F(x) sovelletun käänteisen differentiaatioprosessin.

Intuitiivisesti tämän ehdotuksen todistaminen ei ole vaikeaa. Se perustuu integraalin F(x) tulkintaan alueena, ja se hämärtyisi, jos yrittäisimme piirtää funktion F(x) ja tulkita derivaatta F0(x) vastaavaksi kaltevuudeksi. Jättäen syrjään aiemmin vakiintunut derivaatan geometrinen tulkinta, säilytetään integraalin F (x) geometrinen tulkinta alueena, ja meistä tulee analyyttinen menetelmä funktion F (x) erottamiseen. Ero

F (x1 ) − F (x)

on yksinkertaisesti käyrän y = f(u) alla oleva pinta-ala rajojen u = x1 ja u = x välillä (kuva 275), ja on helppo ymmärtää, että tämän alueen numeerinen arvo on lukujen (x1 − x) välissä. )m ja (x1 − x) M:

(x1 − x)m 6 F (x1 ) − F (x) 6 (x1 − x)M,

missä M ja m ovat vastaavasti funktion f(u) suurin ja pienin arvo välillä u = x - u = x1 . Itse asiassa nämä tuotteet antavat kahden suorakulmion alueet, joista toinen sisältää tarkasteltavan kaarevan alueen ja toinen sen sisällä.

Riisi. 275. Päälauseen todistuksesta

tämä tarkoittaa

m 6 F (x1 ) − F (x) 6 M. x1 − x

Oletetaan, että funktio f(u) on jatkuva, joten kun x1 pyrkii x:ään, niin suuret M ja m taipuvat funktion f(u) arvoon pisteessä u = x, eli arvoon f(x). Tässä tapauksessa voidaan harkita

468 MATEMAATTINEN ANALYYSI Ch. VIII

todistettu tuo

F 0 (x) = raja

F (x1 ) − F (x)

x1 → x

x1 − x

Tämän tuloksen intuitiivinen merkitys on, että kun se kasvaa, käyrän alla olevan alueen muutosnopeus y = f(x) on yhtä suuri kuin käyrän korkeus pisteessä x.

Joissakin käsikirjoissa tämän päälauseen sisältö on hämärtynyt huonosti valitun terminologian vuoksi. Nimittäin monet kirjoittajat ottavat ensin käyttöön derivaatan käsitteen ja määrittelevät sitten "epämääräisen integraalin" yksinkertaisesti differentiaatioon liittyvän käänteisoperaation tuloksena: he sanovat, että funktio G(x) on funktion f epämääräinen integraali. (x) jos

G0(x) = f(x).

Siten tämä esitystapa yhdistää erottamisen suoraan sanaan "integraali". Vasta myöhemmin otetaan käyttöön "määräisen integraalin" käsite, jota käsitellään alueena tai summasarjan rajana, eikä tarpeeksi korosteta, että sana "integraali" tarkoittaa nyt jotain aivan muuta kuin ennen. Ja nyt käy ilmi, että tärkein teorian sisältämä asia hankitaan vain salaa - takaoven kautta, ja opiskelija kohtaa vakavia vaikeuksia pyrkiessään ymmärtämään asian ydintä. Mieluummin kutsumme funktioita G(x), joille G0 (x) = f(x) ei "epämääräisiä integraaleja", vaan funktion f(x) antiderivaataita. Sitten päälause voidaan muotoilla seuraavasti:

Funktio F (x), joka on funktion f(x) integraali, jolla on vakio alaraja ja muuttuva yläraja x, on yksi funktion f(x) antiderivaatteista.

Sanomme "yksi" antiderivaatiivisista funktioista siitä syystä, että jos G(x) on f(x:n) antideriivatiivinen funktio, niin on heti selvää, että mikä tahansa funktio muotoa H(x) = G(x) + c (c - mielivaltainen vakio) on myös antiderivaata, koska H0 (x) = G0 (x). Päinvastoin on myös totta. Kaksi antiderivatiivista funktiota G(x)

ja H(x) voivat erota toisistaan ​​vain vakiotermillä. Todellakin, erotuksen U(x) = G(x) − H(x) derivaatana on U0 (x) = G0 (x) − H0 (x) = f(x) − f(x) = 0, ts. , Eli tämä ero on vakio, koska on selvää, että jos funktion kuvaaja on vaakasuora kussakin pisteessään, niin itse funktion, jota kuvaaja esittää, on varmasti oltava vakio.

Tämä johtaa erittäin tärkeään sääntöön a:n ja b:n välisen integraalin laskemiseksi - olettaen, että tiedämme jonkin funktion f(x) antiderivatiivisen funktion G(x). Pääasiamme mukaan

ANALYYSIN PÄÄLAUSE

lause, funktio

funktiolla f(x) on myös antiderivatiivinen funktio. Joten F(x) =

G(x) + c, missä c on vakio. Tämän vakion arvo määritetään,

jos otamme huomioon, että F (a) = f(u) du = 0. Tämä tarkoittaa:

0 = G(a) + c, joten c = −G(a). Silloin a:n ja x:n välinen määrätty integraali toteuttaa identtisesti tasa-arvon

F (x) = f(u) du = G(x) − G(a);

x:n korvaaminen b:llä johtaa kaavaan

f(u) du = G(b) − G(a),

riippumatta siitä, mikä johdannaisten vastaisista toiminnoista "käynnistettiin". Toisin sanoen: laskea tietty sisään-

integraali f(x) dx, riittää löytää funktio G(x), jolle

parvi G0 (x) = f(x), ja tee sitten ero G(b) − G(a).

2. Ensimmäiset sovellukset. Funktioiden xr , cos x, sin x integrointi. arctg x -funktio. Tässä on mahdotonta antaa tyhjentävä käsitys päälauseen roolista, ja rajoitamme antamaan muutamia ilmeisiä esimerkkejä. Mekaniikan ja fysiikan tai itse matematiikan ongelmissa on hyvin usein tarpeen laskea jonkin kiinteän integraalin numeerinen arvo. Suora yritys löytää integraali rajana voi olla ylitsepääsemättömän vaikeaa. Toisaalta, kuten pykälässä 3 näimme, mikä tahansa eriyttäminen tapahtuu suhteellisen helposti, ja eriyttämiskaavoja on mahdollista kerätä vaivattomasti hyvin suuri määrä. Jokaista tällaista kaavaa G0(x) = f(x) voidaan päinvastoin pitää kaavana, joka määrittelee funktion f(x) antideriivatiivinen funktio G(x).

Kaava (3) mahdollistaa tunnetun antiderivatiivisen funktion käytön laskea funktion f(x) integraali jollain tietyllä aikavälillä.

Jos esimerkiksi halutaan löytää potenssien x2, x3 tai xn integraalit yleensä, niin yksinkertaisin asia on edetä pykälän 1 mukaisesti. Tehodifferentiointikaavalla xn:n derivaatta on nxn−1.

470 MATEMAATTINEN ANALYYSI Ch. VIII

siis funktion derivaatta

G(x) = n x

1 (n 6 = -1)

on toiminto

G0 (x) = n n + + 1 1 xn = xn.

xn+1

Tässä tapauksessa funktio n + 1 on antiderivatiivinen funktio

funktion f(x) = xn suhteen, ja siksi saamme välittömästi kaavan

x n dx = G(b) − G(a) = b n+1 − a n+1 . n + 1

Tämä argumentti on verrattoman yksinkertaisempi kuin hankala menettely integraalin laskemiseksi suoraan summan rajana.

Yleisempänä tapauksena § 3 havaitsimme, että millä tahansa rationaalisella s:llä, sekä positiivisella että negatiivisella, funktion xs derivaatta on yhtä suuri kuin sxs−1, ja siksi funktiolle s = r + 1 funktio

x r+1

on derivaatta f(x) = G0 (x) = xr (oletetaan, että r 6 = −1,

x r+1

eli se s 6 = 0). Joten funktio r + 1 on antiderivatiivinen funktio tai

xr:n "epämääräinen integraali", ja saamme (positiivisille a ja b ja r 6= −1) kaavan

xr dx =

b r+1 − a r+1

Kaavassa (4) on oletettava, että integraalin alla oleva funktio xr on määritelty ja jatkuva integrointivälissä, joten piste x = 0 on jätettävä pois, jos r< 0. Вот потому мы и вынуждены допустить, что в этом случае a и b положительны.

Jos asetamme G(x) = − cos x, niin saadaan G0 (x) = sin x, ja tästä syntyy suhde

sin xdx = -(cos a - cos 0) = 1 - cos a.

Vastaavasti, jos G(x) = sin x, niin G0 (x) = cos x ja siten

cos xdx \u003d sin a - sin 0 \u003d sin a.

§ 5 ANALYYSIN PÄÄLAUSE 471

Erityisen mielenkiintoinen tulos saadaan kaavasta funktion arctg x erottamiseksi:

Koska funktio arctg x on antiderivatiivinen funktion suhteen

1+x2

sitten kaavan (3) perusteella voimme kirjoittaa

arctan b − arctan 0 = Z 0

1 + x 2dx.

Mutta arctan 0 = 0 (tangentin nolla-arvo vastaa kulman nolla-arvoa). Meillä on siis

arctg b = Z 0

1+x2

Erityisesti,

merkitys

tangentti,

1, ottelu

kohdassa 45◦, mikä radiaanimitassa vastaa

laittaa p . Näin ollen me

saamme

ihana

1 + x 2dx.

näyttää

mikä alue

ajoittaa

1 + x 2 välillä x = 0 - x =

1 on yhtä suuri kuin neljännes yksikön pinta-alasta

276. Creen alla oleva alue

ei ympyrää.

sisällä

3. Kaava

Leibniz

1+x2

johtaa

p . Viimeisin tulos

kauneimmista

1600-luvulla löydetyt matemaattiset kaavat - merkkimuuttujaan

Leibniz-sarjaan, joka mahdollistaa p:n laskemisen:

4 p = 1 1 - 3 1 + 5 1 - 7 1 + 9 1 - 11 1 + . . .

+ symboli. . . tulee ymmärtää siinä mielessä, että äärellisten "osittaissummien" sarja, joka saadaan, kun

yhtälöistä otetaan vain n summan termiä, pyrkii rajaan p at

n:n rajoittamaton lisäys.

MATEMAATTINEN ANALYYSI

Tämän merkittävän kaavan todistamiseksi meidän tarvitsee vain muistaa äärellisen geometrisen progression summan kaava

1 − qn = 1 + q + q2 + . . . + qn-1 ,

jossa "jäännöstermi" Rn ilmaistaan ​​kaavalla

Rn = (−1)n x 2n2.

Tasa-arvo (8) voidaan integroida alueelle 0 - 1. Pykälän 3 säännön a) mukaisesti meidän on otettava oikealta puolelta yksittäisten termien integraalien summa. (4):n perusteella tiedämme sen

xm dx =

bm+1

− am+1

erityisesti saamme

xm dx =

mistä, mihin

1+x2

1 − 3 +

Ja näin ollen,

− 7

+ . . . + (−1)n−1

2n − 1 + Tn ,

p R0

1+x2

Tn = (

Kaavan (5) mukaan lomakkeen vasen puoli on

ly (9 ) on

ero välillä

ja yksityinen summa

(−1)n−1

Sn = 1 -

− Sn = Tn. On vielä todistettava, että Tn pyrkii nollaan as

kasvava n. Meillä on eriarvoisuus

x 2n 6 x 2n .

1+x2

Palautetaan mieleen kaava (13) § 1, joka vahvistaa epätasa-arvon

f(x) dx 6 g(x) dx f(x) 6 g(x):lle ja a< b,

Integraation ja jossain määrin erilaistumisen käsite oli hyvin kehittynyt ennen Newtonin ja Leibnizin työtä. Mutta oli ehdottoman välttämätöntä tehdä yksi hyvin yksinkertainen löytö, jotta vastikään luodun matemaattisen analyysin valtava kehitys vauhdittaisi. Kaksi näennäisesti toisiaan ei-peräkkäistä rajaprosessia, joista toista käytettiin erottamiseen ja toista funktioiden integrointiin, osoittautuivat läheisesti yhteydessä toisiinsa. Itse asiassa ne ovat keskenään käänteisiä operaatioita, kuten sellaiset operaatiot kuin yhteen- ja vähennyslasku, kerto- ja jakolasku. Differentiaali- ja integraalilaskenta ovat yksi asia.

Newtonin ja Leibnizin suuri saavutus on, että he ensimmäistä kertaa selvästi oivalsivat ja käyttivät tätä analyysin peruslausetta. Epäilemättä heidän löytönsä oli luonnollisen tieteellisen kehityksen suoralla polulla, eikä ole ollenkaan yllättävää, että eri henkilöt tulivat itsenäisesti ja melkein samanaikaisesti selkeään ymmärrykseen edellä mainitusta seikasta.

Riisi. 274. Integraali ylärajan funktiona

Päälauseen täsmällisen muotoilemiseksi tarkastelemme funktion integraalia, joka vaihtelee vakioluvusta a numeroon x, jota pidämme muuttuvana. Jotta integroinnin ylärajaa x ei sekoitettaisi integraalimerkin alla olevaan muuttujaan, kirjoitamme integraalin seuraavassa muodossa (ks. s. 459):

osoittaa näin aikomuksemme tutkia integraalia sen ylärajan funktiona (kuva 274). Tämä funktio on käyrän alla oleva pinta-ala pisteestä pisteeseen. Joskus integraalia, jolla on muuttuva yläraja, kutsutaan "epämääräiseksi integraaliksi".

Analyysin päälause kuuluu seuraavasti: Epämääräisen integraalin (1) derivaatta sen ylärajan x suhteen on yhtä suuri kuin funktion arvo pisteessä.

Toisin sanoen funktiosta toimintoon johtava integraatioprosessi "tuhoaa" funktioon sovelletun käänteisen erilaistumisprosessin avulla.

Riisi. 275. Päälauseen todistuksesta

Intuitiivisesti tämän ehdotuksen todistaminen ei ole vaikeaa. Se perustuu integraalin tulkintaan alueena, ja se hämärtyisi, jos yrittäisimme piirtää funktion ja tulkita derivaatan vastaavaksi kaltevuudeksi. Jättäen syrjään aiemmin vakiintunut derivaatan geometrinen tulkinta, säilytämme integraalin geometrisen tulkinnan alueena ja meistä tulee analyyttinen menetelmä funktion erottamiseen. Ero

rajojen välissä on yksinkertaisesti käyrän alla oleva pinta-ala (kuva 275), eikä ole vaikea ymmärtää, että tämän alueen numeerinen arvo on lukujen välissä

missä ovat (vastaavasti funktion suurimmat ja pienimmät arvot välillä alkaen -) Nämä tulot antavat todellakin kahden suorakulmion alueet, joista toinen sisältää tarkasteltavan kaarevan alueen ja toinen siinä.

Tämä tarkoittaa:

Oletetaan, että funktio on jatkuva, joten molemmat suureet pyrkivät funktion arvoon

kohdassa , eli arvoon Tässä tapauksessa voimme katsoa, ​​että se on todistettu

Tämän tuloksen intuitiivinen merkitys on, että pinta-alan kasvaessa käyrän alla olevan alueen muutosnopeus on yhtä suuri kuin käyrän korkeus kohdassa x.

Joissakin käsikirjoissa tämän päälauseen sisältö on hämärtynyt huonosti valitun terminologian vuoksi. Monet kirjoittajat nimittäin ottavat ensin käyttöön derivaatan käsitteen ja määrittelevät sitten "epämääräisen integraalin" yksinkertaisesti differentiaatiolle käänteisen operaation tuloksena: he sanovat, että funktio on funktion määrittelemätön integraali, jos

Siten tämä esitystapa yhdistää erottamisen suoraan sanaan "integraali". Vasta myöhemmin otetaan käyttöön "määräisen integraalin" käsite, jota käsitellään alueena tai summasarjan rajana, eikä tarpeeksi korosteta, että sana "integraali" tarkoittaa nyt jotain aivan muuta kuin ennen. Ja nyt käy ilmi, että tärkein teorian sisältämä asia hankitaan vain salaa - takaoven kautta, ja opiskelija kohtaa vakavia vaikeuksia pyrkiessään ymmärtämään asian ydintä. Suosimme funktioita, joita emme kutsu "indefinite-integraaleiksi", vaan funktion antiderivatiivisiksi funktioiksi. Sitten päälause voidaan muotoilla seuraavasti:

Funktio, joka on integraali funktiosta, jolla on vakio alaraja ja muuttuva yläraja x, on yksi funktion antiderivaatteista

Sanomme "yksi" antiderivaatiivisista funktioista siitä syystä, että if on antideriivatiivinen funktio, niin on heti selvää, että mikä tahansa muodon funktio (c on mielivaltainen vakio) on myös antideriivatiivinen, koska myös käänteinen väite on totta. Kaksi antiderivatiivista funktiota voivat erota toisistaan ​​vain vakiotermillä. Itse asiassa ero on johdannaisena, ts. tämä ero on vakio, koska on selvää, että jos funktiokaavio kussakin

Integraation ja jossain määrin erilaistumisen käsite oli hyvin kehittynyt ennen Newtonin ja Leibnizin työtä. Mutta oli ehdottoman välttämätöntä tehdä yksi hyvin yksinkertainen löytö, jotta vastikään luodun matemaattisen analyysin valtava kehitys vauhdittaisi. Kaksi näennäisesti toisiaan ei-vierekkäistä rajoittavaa prosessia, joista toista käytettiin erottamiseen ja toista funktioiden integrointiin, osoittautuivat läheisesti yhteydessä toisiinsa. Itse asiassa ne ovat keskenään käänteisiä operaatioita, kuten sellaiset operaatiot kuin yhteen- ja vähennyslasku, kerto- ja jakolasku. Differentiaali- ja integraalilaskenta ovat yksi asia.

Newtonin ja Leibnizin suuri saavutus on, että he ensimmäistä kertaa selvästi tunnistivat ja käyttivät tätä analyysin päälause. Epäilemättä heidän löytönsä oli luonnollisen tieteellisen kehityksen suoralla polulla, eikä ole ollenkaan yllättävää, että eri henkilöt tulivat itsenäisesti ja melkein samanaikaisesti selkeään ymmärrykseen edellä mainitusta seikasta.

Jotta päälause voitaisiin muotoilla tarkasti, otetaan huomioon funktion integraali y=f(x) vaihtelevat vakioluvusta a numeroon x, jota pidämme muuttuvana. Jotta integroinnin ylärajaa x ei sekoitettaisi integraalimerkin alla olevaan muuttujaan, kirjoitamme integraalin seuraavassa muodossa (ks. s. 435):

mikä osoittaa aikomuksemme tutkia integraalia sen ylärajan F(x):n funktiona (kuva 274). Tämä funktio F(x) on käyrän alla oleva pinta-ala y=f(u) pisteestä u = a asiaan u=x. Joskus integraalia F(x), jolla on muuttuva yläraja, kutsutaan "epämääräiseksi integraaliksi".

Analyysin päälause kuuluu seuraavasti: Epämääräisen integraalin (1) derivaatta sen ylärajan x suhteen on yhtä suuri kuin funktion f (u) arvo pisteessä u = x:

F "(x) \u003d f (x).

Toisin sanoen integrointiprosessi, joka johtaa funktiosta f(x) funktioon F(x), "tuhoaa" funktioon F(x) sovelletun käänteisen differentiaatioprosessin.

Intuitiivisesti tämän ehdotuksen todistaminen ei ole vaikeaa. Se perustuu integraalin F(x) tulkintaan alueena, ja se hämärtyisi, jos yrittäisimme piirtää funktion F(x) ja tulkita derivaatta F"(x) vastaavaksi kaltevuudeksi. derivaatan vakiintunut geometrinen tulkinta, säilytetään integraalin F (x) geometrinen tulkinta alueena ja funktion F (x) differentiaatiosta tulee analyyttinen menetelmä.

F (x 1) - F (x)

on vain käyrän alla oleva alue y=f(u) rajojen välillä u = x 1 ja u=x(kuva 275), ja on helppo ymmärtää, että tämän alueen numeerinen arvo on lukujen välissä (x 1 - x) m ja (x 1 - x) M:

(x 1 - x) m ≤ F (x 1) - F (x) ≤ (x 1 - x) M,

missä M ja m ovat vastaavasti funktion f (u) suurin ja pienin arvo välillä u = x - u = x 1. Itse asiassa nämä tuotteet antavat kahden suorakulmion alueet, joista toinen sisältää tarkasteltavan kaarevan alueen ja toinen sen sisällä.

Tämä tarkoittaa:


Oletetaan, että funktio f (u) on jatkuva, joten kun x 1 pyrkii x:ään, niin suuret M ja m taipuvat funktion f (u) arvoon pisteessä u \u003d x, eli arvoon f (x). Tässä tapauksessa voidaan katsoa, ​​että se on todistettu

Tämän tuloksen intuitiivinen merkitys on, että kun käyrän alla olevan alueen muutosnopeus kasvaa, y=f(x) yhtä suuri kuin käyrän korkeus kohdassa x.

Joissakin käsikirjoissa tämän päälauseen sisältöä peittää huonosti valittu terminologia. Monet kirjoittajat nimittäin esittelevät ensin derivaatan käsitteen ja määrittelevät sitten "epämääräisen integraalin" yksinkertaisesti differentiaatiolle käänteisen operaation tuloksena: he sanovat, että funktio G (x) on funktion f (x) määrittelemätön integraali. ) jos

G"(x) = f(x).

Siten tämä esitystapa yhdistää erottamisen suoraan sanaan "integraali". Vasta myöhemmin otetaan käyttöön "määräisen integraalin" käsite, jota käsitellään alueena tai summasarjan rajana, eikä tarpeeksi korosteta, että sana "integraali" tarkoittaa nyt jotain aivan muuta kuin ennen. Ja nyt käy ilmi, että tärkein teorian sisältämä asia hankitaan vain salaa takaovesta, ja opiskelija kohtaa vakavia vaikeuksia pyrkiessään ymmärtämään asian ydintä. Suosimme funktioita G(x), joille G "(x) \u003d f (x), älä kutsu "indefinite integraaleja", vaan antiderivatiiviset toiminnot funktiosta f(x). Sitten päälause voidaan muotoilla seuraavasti:

Funktio F (x), joka on funktion f (x) integraali, jolla on vakio ala- ja muuttuva yläraja x, on yksi funktion f (x) antiderivaatteista.

Sanomme "yksi" antiderivaatiivisista funktioista siitä syystä, että jos G(x) on f(x):n antideriivatiivinen funktio, niin on heti selvää, että mikä tahansa muodon funktio H(x) = G(x) + c(c on mielivaltainen vakio) on myös antiderivaata, koska H "(x) = G" (x). Päinvastoin on myös totta. Kaksi antiderivatiivista funktiota G(x) ja H(x) voivat erota toisistaan ​​vain vakiotermillä. Todellakin, ero U(x) = G(x) - H(x) on johdannaisena U "(x) \u003d G" (x) - H "(x) \u003d f (x) - f (x) \u003d 0, eli tämä ero on vakio, koska on ilmeistä, että jos funktion kuvaaja on vaakasuora kussakin pisteessään, niin funktion itsensä, jota kuvaaja esittää, on varmasti oltava vakio.