Középiskolai Matematikai és Fizikai Lapok
Informatika rovattal
Kiadja a MATFUND Alapítvány
Már regisztráltál?
Új vendég vagy?

Fórum: Valaki mondja meg!

  [1]    [2]    [3]    [4]    [5]    [6]    [7]    [8]    [9]    [10]    [11]    [12]    [13]    [14]    [15]    [16]    [17]    [18]    [19]    [20]    [21]    [22]    [23]    [24]    [25]    [26]    [27]    [28]    [29]    [30]    [31]    [32]    [33]    [34]    [35]    [36]    [37]    [38]    [39]    [40]    [41]    [42]    [43]    [44]    [45]    [46]    [47]    [48]    [49]    [50]    [51]    [52]    [53]    [54]    [55]    [56]    [57]    [58]    [59]    [60]    [61]    [62]    [63]    [64]    [65]    [66]    [67]    [68]    [69]    [70]    [71]    [72]    [73]    [74]    [75]    [76]    [77]    [78]    [79]    [80]    [81]    [82]    [83]    [84]    [85]    [86]    [87]    [88]    [89]    [90]    [91]    [92]    [93]  

Szeretnél hozzászólni? Jelentkezz be.
[1874] juantheron2013-09-02 21:12:42

\int \frac{1}{(x^2-x+1)\sqrt{x^2+x+1}}dx

[1873] Lóczi Lajos2013-05-24 15:17:24

Kedves Mihály,

szerintem érdemes elkülöníteni a különböző célcsoportokat.

A gyakorlatban előkerülő szakaszonként sima függvények integrálásához mindenki a Newton--Leibniz-formulát fogja akarni használni; ez a célcsoport nem akar Dirichlet-függvényt integrálni, vagy bármit az integrál definíciója alapján kiszámítani. A HK-elmélet keretében a Newton--Leibniz-tételkör nagyon természetes módon tárgyalható, ami nem mondható el a Riemann- vagy a Lebesgue-elméletről. Ez a célcsoport nem fog semmilyen \delta függvényt várni, és nem kapnak sokkot szörnyű függvényektől: a mindennapi praktikus számításokban nem látnak ilyet.

Egy következő célcsoport lehet az, akik látják, hogy van pl. Dirichlet-függvény, és ezt konstans \delta-val nem lehet integrálni (azaz Riemann-értelemben), de egy kicsit bonyolultabb \delta-val már lehet. Ha e célcsoport tagjai ezt a \delta függvényt bonyolultnak találják, akkor nekik a Lebesgue-elmélet sem lenne emészthető. De itt sem muszáj a "definíció" szerinti integrálást erőltetni, a Dirichlet-fv. integráljának értéke a tételekből úgyis "kijön".

Aki pedig absztrakt Lebesgue-elméletet akar tanulni, annak -- a Lebesgue-elmélet megismerése előtt -- nagyon tanulságos lehet látni, hogy milyen gyorsan el lehet jutni egy [a,b]-n értelmezett függvény integráljának definíciójához, amit később majd Lebesgue-integrálnak fogunk hívni és egy bonyolultabb apparátus keretében absztraktabban és általánosabban felépíteni.

Előzmény: [1872] Fálesz Mihály, 2013-05-24 10:34:11
[1872] Fálesz Mihály2013-05-24 10:34:11

Kedves Lajos,

A kérdésed az volt, hogy a HK integrál miért nem vette át pl. az egyetemi tananyagban a Riemann-integrál helyét.

Több okot is látok. Az egyik didaktikai. Én legalábbi személy jobban szeretem, ha a világot apránként fedezzük fel. Előbb találunk néhány mozaikdarabot, ezeket tanulmányozzuk, emésztjük, és csak utána építünk fel valami általánosabb rendszert, aminek a sok darab mind része. Számomra mindig elrettentő példát jelentenek az olyan esetek, ahol előbb kimondanak és bebizonyítanak egy nagyon absztrakt tételt, és utána ennek speciális esete lesz a többi, külön-külön sokkal érdekesebb állítás.

A másik ok, hogy nem akarunk túl sok fölösleges dolgot tanítani. Egy mérnök vagy egy alkalmazott matematikus szép, szakaszonként sima függvényekkel dolgozik, és valószínűleg soha nem akarja mondjuk a Dirichlet-függvényt integrálni. Nekik bőven elég az (improprius) Riemann-integrál, és az x2 integrálása sem okoz túl nagy traumát egyenletes felosztással. Semmi nyereség nincs mindaddig, amíg csak véges sok pont közelében van gond a függvénnyel. Az improprius integrált (végtelen inervallumokon) úgysem ússzuk meg.

Azt is írtad, hogy a definíciók közötti különbség alig észrevehető, a nyereség viszont nagy.

Az alig észrevehető különbség valójában óriási. Persze, mondhatjuk ártatlan arccal, hogy konstans \delta helyett inkább egy pozitív értékű függvényt veszünk, de ez félrevezető. A többség valami viszonylag szép \delta függvényt fog várni, tévesen. Nehezen fogják megemészteni azt a sokkot, hogy a várt szakaszonként folytonos függvény helyett miféle szörnyűségekbe ütközhetnek; hogy egy kicsit csúnyább függvény (pl. a Dirichlet-függvény) integrálásához mennyire bonyolult \delta függvényt érdemes választani.

Ha pedig elkezdjük vizsgálni, hogy egyes függvények miért (nem) HK integrálhatók, óhatalanul beleütközünk a Lebesgue-mérték hiányába. Ezért gondolom, hogy a HK integrállal a mértékelmélet után érdmes foglalkozni.

Előzmény: [1870] Lóczi Lajos, 2013-05-23 22:23:19
[1871] Lóczi Lajos2013-05-23 23:58:10

Szerintem az alapvető tételek bizonyításai nem nehezebbek, lásd pl. Lee Peng-Yee: Lanzhou Lectures on Henstock Integration c. művét 1989-ből, amely a fogalom felépítésére koncentrál.

Vagy érdemes egy pillantást vetni erre a masszívabb könyvre Brian S. Thomson: Theory of the integral, amely összehasonlító szempontból tárgyal viszonylag sok integrálfogalmat.

De hogy a Riemann-integrál fogalma is rejteget még nemtriviális részleteket: 2009-ben adták meg annak szükséges és elégséges feltételét, hogy egy F függvény előálljon, mint egy f Riemann-integrálható függvény integrálfüggvénye. Azaz: mik a feltételek F-re, hogy létezzen hozzá egy c konstans és f Riemann-integrálható függvény, hogy F(x)=c+\int_a^x f(t)dt legyen (x\in[a,b]).

Előzmény: [1868] jonas, 2013-05-23 15:10:52
[1870] Lóczi Lajos2013-05-23 22:23:19

Ahhoz mennyi előkészületre van szükség (a definíciókkal együtt), hogy az x\mapstox2 függvény Lebesgue-integrálját ki tudjuk számítani a [0,1] intervallumon?

Véleményem szerint ennél kevesebb vesződséggel jár a Dirichlet-függvényről megmutatni a definíciókból, hogy HK-integrálja 0.

Ha nem cél az absztrakt mértékelmélet tanulmányozása, a HK-integrál fogalma kifizetődőbben felépíthető, mint a Lebesgue-integrálé.

Előzmény: [1869] Fálesz Mihály, 2013-05-23 17:09:02
[1869] Fálesz Mihály2013-05-23 17:09:02

Szerintem nem olyan egyszerű ez az integrálfogalom, és inkább a mértékelmélet tárgyalása után érdemes foglalkozni vele.

Például próbáljuk integrálni a Dirichlet-függvényt, vagy a Cantor halmaz összes racionális eltoltja uniójának karakterisztikus függvényét a [0,1] intervallumban.

Előzmény: [1865] Lóczi Lajos, 2013-05-14 23:49:32
[1868] jonas2013-05-23 15:10:52

És nem okozza ez azt, hogy nehezebb bebizonyítani az alapvető tételeket rá, mint a Riemann-integrálra?

Előzmény: [1867] Lóczi Lajos, 2013-05-23 15:00:42
[1867] Lóczi Lajos2013-05-23 15:00:42

De ebben az esetben pontosan ezt gondolom. A HK-integrál éppoly természetes, ha vki először hallja, és nem csak elsős matematikusokra gondolok. A mögöttes tartalom pedig csupán annyi, hogy ha a függvény valahol csúnyán változik, akkor a téglalapos közelítőösszegeket is ennek megfelelően finomítsuk: egy igazi adaptív algoritmus.

Előzmény: [1866] Micimackó, 2013-05-23 09:26:00
[1866] Micimackó2013-05-23 09:26:00

Nem gondolhatod, hogy matematikában csak mert két dolog definíciója pofára hasonló, hasonlóan nehéz lesz megérteni a fogalmakat :) A Riemann integrál egy elsős matematikus számára könnyen érthető és természetes, míg ezen igen csak törnie kéne a fejét, és nem is biztos hogy rendesen megértené miről is van szó (és így az egész csak formális zúzás lenne neki).

Előzmény: [1865] Lóczi Lajos, 2013-05-14 23:49:32
[1865] Lóczi Lajos2013-05-14 23:49:32

Csak 1-2 morzsát írok, a többit az idézett oldalakon megadott összefoglaló könyvekből jól áttekintheted egy kis kutatómunka után.

Rejtély számomra, hogy a Henstock--Kurzweil-integrál (HK) miért nem vette át pl. az egyetemi tananyagban a Riemann-integrál helyét: a definíciók közötti különbség alig észrevehető, a nyereség viszont nagy. Ki és miért ennyire konzervatív?

A HK-integrál egyik hátránya, hogy (alapesetben) csak intervallumokon tudunk vele integrálni. Egy másik hátránya, hogy a HK-integrálható függvények tere nem teljes.

A Lebesgue-integrál (L) esetében a fenti teljesség teljesül: ez az alkalmazásokban döntően fontos tényező, ami a mérleget itt az L-integrál javára billenti. Az L-integrállal bonyolult halmazokon is lehet integrálni. Ezt az integrálfogalmat a valós számok halmazánál absztraktabb terekre könnyű kiterjeszteni.

A különféle integrálfogalmak fejlődését az alkalmazások motiválták: egy fontos elméleti/gyakorlati kérdés alapos tanulmányozásakor sokszor kifejlesztettek egy új integrálfogalmat.

Az idézett oldalon felsorolt integrálfogalmak nem feltétlenül összehasonlíthatók Venn-diagramon: más típusú (máshol értelmezett/más típusú térbe képező) függvényekre vannak kitalálva.

Előzmény: [1864] polarka, 2013-05-14 10:08:02
[1864] polarka2013-05-14 10:08:02

Köszi.

Nézegettem az enwikin és huwikin, hogy azért van bőven egyéb, Riemann-tól eltérő integrál definíció. Elolvastam az enwiki: Henstock-Kurzweil integral cikket, ahol azt állítják, hogy általánosabb, több függvényre használható, mint a Lebesgue-integrál, ami pedig a Riemann kiterjesztése.

A kérdésem az, hogy mi az oka annak, hogy ha már adott egy olyan értelmezés, ahol az eddig is értelmezett integrálokat ugyanúgy lehet számolni, mint eddig és értelmet ad olyan integráloknak, amelyeket addig nem tudtunk értelmezni és mégsem az az alapértelmezettnek vett integrál definíció, miért nem azt tanítják?

Nem tudsz egy Venn-diagramos vagy hierarchiás fa-gráfos összefoglalót az összes integrál-definícióval és azok kapcsolatairól? Egy ilyen ábrán azonnal látszódnának bárkinek hogy hogyan viszonyulnak egymáshoz, anélkül hogy végigolvasná őket egyenként és saját maga építené fel a fejében a kapcsolatokat.

Előzmény: [1863] Lóczi Lajos, 2013-05-11 16:36:54
[1863] Lóczi Lajos2013-05-11 16:36:54

Természetesen értelmezhető az ilyen "+\infty-\infty-típusú" integrál szimmetrikus módon is, ahogyan írtad, ezt hívják Cauchy-féle főértéknek, és pl. a P.V.\int_{-1}^{1}\frac{1}{x}dx=0 szimbólummal jelöljük.

De ha a közönséges, (improprius értelemben vett) Riemann-integrálról van szó, akkor a szóban forgó \int_{-1}^{1}\frac{1}{x}dx kifejezést nem definiáljuk.

Mindezzel csak arra szerettem volna rámutatni, hogy milyen nehéz vállalkozás igazi, "felhasználóbarát" határozatlanintegrál-táblázatot csinálni: a felhasználó ki szeretne számolni egy \int_{a}^{b}f(x)dx határozott integrált, mint pl. az [1840]-es hozzászólásban szereplő háromparaméteres kifejezést, úgy, hogy csak be kelljen helyettesítenie az F(b)-F(a) képletbe, és ne neki (hanem a táblázat készítőjének) kelljen azzal törődnie, hogy a képlet helyes eredményt adjon, figyeljen az értelmezési tartományokra, vagy hogy pl. fellép-e a fent is említett +\infty-\infty eset.

Előzmény: [1861] polarka, 2013-05-09 15:43:41
[1862] Micimackó2013-05-09 16:18:49

Szerintem jobb nem értelmezni az ilyen +végtelen-végtelen típusú integrálokat, csak a baj lenne velük. Szerintem nem is szokták, hiába szimmetrikus.

Előzmény: [1861] polarka, 2013-05-09 15:43:41
[1861] polarka2013-05-09 15:43:41

Két különböző területet számoltunk. Nem ugyanazt kétféleképpen.

Azon részével "nem értek egyet", hogy az egyik határt \delta-nak, a másikat meg 2\delta-nak határoztad meg. Én alapértelmezetten azonosnak venném a kettőt. Szimmetrikusan kezelném a területszámítást, ameddig egy adott konkrét példánál elő nem kerülne, hogy a két oldalon más-más határnál szűnik meg az 1/x-es függés. Mert ugye egy ilyet csak konkrét határok figyelembevételével lehetne kiértékelni. Ezen utosó mondatomból is következik, hogy a processzor tudja, hogy milyen értékre számol területet, vagy ha csak elkezdi a vakvilágba, akkor is tudja számolni, hogy hányadik lépésnél tart, ergo a két proci össze tudja hasonlítani, hogy melyikőjük hol tart.

Szerintem a megoldás: Vagy jelöljük mindig konkrétan, hogy mit értünk alatta vagy elfogadunk egy értelmezést alapértelmezettnek és a többit jelöljük külön. (Szerintem a szimmetrikus eléggé adja magát.)

Előzmény: [1860] Lóczi Lajos, 2013-05-07 17:23:59
[1860] Lóczi Lajos2013-05-07 17:23:59

Az nem lenne jó, ha itt mindkettőnknek igaza lenne és a területet kétféleképpen is lehetne definiálni.

Konkrétan, melyik részlépéssel nem értesz egyet a levezetésemben? Továbbá képzeljük azt, hogy az egyik processzor a bal oldali területet számolja ki, a másik pedig a jobb oldalit: az egyik nem tud arról, hogy a másik "ugyanannyira közelíti-e a 0-t".

Mi legyen a megoldás?

Előzmény: [1859] polarka, 2013-05-07 17:18:23
[1859] polarka2013-05-07 17:18:23

Mindkettőnknek!?

Az nyilván igaz, hogy [-1,0) között a fv -1 szerese a (0,1] közötti részének, tehát előjeles összegük 0-ra kell kijöjjön, ha ugyanannyira közelíted a 0-t mindkét oldalról. Ha pedig a feltétel nem teljesül, akkor nyilván nem lesz 0.

Előzmény: [1858] Lóczi Lajos, 2013-05-07 16:53:33
[1858] Lóczi Lajos2013-05-07 16:53:33

Akkor viszont ellent kell mondjak Neked, mert szerintem a terület


\int_{-1}^1 \frac{1}{x}dx=\int_{-1}^0 \frac{1}{x}dx+\int_{0}^1 \frac{1}{x}dx=\lim_{\delta\to 0^+}\int_{-1}^{-\delta} \frac{1}{x}dx+\lim_{\delta\to 0^+}\int_{2\delta}^{1} \frac{1}{x}dx=\lim_{\delta\to 0^+}(\ln|\delta|-\ln|2\delta|)=-\ln{2}.

Most akkor kinek van igaza?

Előzmény: [1857] polarka, 2013-05-07 16:36:30
[1857] polarka2013-05-07 16:36:30

Igen.

Előzmény: [1856] Lóczi Lajos, 2013-05-07 16:13:32
[1856] Lóczi Lajos2013-05-07 16:13:32

Egyetértek, a cél nyilván az, hogy ezeket a formulákat pl. területszámításra használjuk. De akkor meg kell kérdezzem, hogy a korábbi c1=c2=c választással kapott primitívfüggvény-sereg megfelel-e a területszámítási intuíciónknak:

\int_{-1}^{1}\frac{1}{x}dx=c-c=0?

Vagyis ebben a példában a szimmetrikus területet valóban 0-nak szeretnénk definiálni?

Előzmény: [1855] polarka, 2013-05-07 16:06:46
[1855] polarka2013-05-07 16:06:46

Talán, mert ha majdan függvény alatti területként szeretné valaki használni, akkor a következő határozott integrált kapnánk \int_{-c}^{c} \frac{1}{x} dx=c_1-c_2\ne 0, ahol c\inR+

Ami nem felelne meg a területszámítási intuíciónak.

Előzmény: [1854] Lóczi Lajos, 2013-05-07 15:17:27
[1854] Lóczi Lajos2013-05-07 15:17:27

Akkor -- továbbra is csak a valós számok körében maradva -- azt kérdezném, hogy mi az oka annak, hogy számos integráltáblázatban azt látom, amit írtál, miszerint


\int \frac{1}{x} dx=\ln |x| +c.

Azt írod, hogy az értelmezési tartomány legyen a maximális, azaz a 0-tól különböző valósok halmaza. Ha lerajzoljuk ezeket a függvényeket, akkor látszik, hogy mind tengelyesen szimmetrikusak. Én mondok egy bővebb függvényosztályt eredményül:


\int \frac{1}{x} dx=\ln(x) +c_1,

ha x>0, és


\int \frac{1}{x} dx=\ln(-x) +c_2,

ha x<0. Vagyis itt a két ág függőleges eltolása már nem feltétlenül ugyanaz.

Miért nem ezt a bővebb osztályt szokták akkor a könyvek feltüntetni?

Előzmény: [1851] polarka, 2013-05-07 10:52:50
[1853] polarka2013-05-07 11:56:53

De ezen értékek csak a képzetes részt befolyásolják. Nem látom, hogy miért lenne probléma, ha tudok arról is, hogy az illető milyen úton (jelen esetben hányszor kerüli meg az origót és mekkora két pont közötti szögtávolság).

Mert én úgy látom, hogy az integrál felfogható úgy mint, egy vektor-vektor fv-ben végzett mozgás során végzett vonalintegrál. Ahol a valós rész a szokásos skalárszorzatot, a képzetes rész pedig a vektoriális szorzat értékét hordozza.

Előzmény: [1852] Alma, 2013-05-07 10:58:12
[1852] Alma2013-05-07 10:58:12

Az a probléma (határozott integrálban gondolkodva), hogy míg valósban két szám között csak egyféle szakaszon tudsz integrálni (a valós tengely megfelelő részén), a komplex síkon két számot különböző görbékkel tudsz összekötni. Így c1 és c2 közötti határozott integrált több különböző görbén is értelmezheted, és sajnos ezek bizonyos függvényeknél különböző értékeket adhatnak. Ha a függvényednek nincs pólusa, akkor a különböző görbéken elvégzett integrálok értékei megegyeznek. Az 1/x függvénynek van pólusa x=0-ban.

Előzmény: [1851] polarka, 2013-05-07 10:52:50
[1851] polarka2013-05-07 10:52:50

De R\subsetC, így amit leírtam \varphi=0 vagy \pi(+k2\pi) esetén visszaadják a valós értelmezést (annál kicsit többet a fázisok miatt). k\inZ; r\inR+; \varphi\inR

Ha x\inR\{0}-ra szorítkozunk, és értékkészletnek is R-et vesszük, akkor az előzőkből Re(\sim)-vel adódik:

\sim=ln |x|+c

Előzmény: [1849] Lóczi Lajos, 2013-05-07 07:01:45
[1850] Fálesz Mihály2013-05-07 09:10:20

Az 1. képlet tényleg működik \Delta\ge0-ra is.

Előzmény: [1845] polarka, 2013-05-06 17:27:43

  [1]    [2]    [3]    [4]    [5]    [6]    [7]    [8]    [9]    [10]    [11]    [12]    [13]    [14]    [15]    [16]    [17]    [18]    [19]    [20]    [21]    [22]    [23]    [24]    [25]    [26]    [27]    [28]    [29]    [30]    [31]    [32]    [33]    [34]    [35]    [36]    [37]    [38]    [39]    [40]    [41]    [42]    [43]    [44]    [45]    [46]    [47]    [48]    [49]    [50]    [51]    [52]    [53]    [54]    [55]    [56]    [57]    [58]    [59]    [60]    [61]    [62]    [63]    [64]    [65]    [66]    [67]    [68]    [69]    [70]    [71]    [72]    [73]    [74]    [75]    [76]    [77]    [78]    [79]    [80]    [81]    [82]    [83]    [84]    [85]    [86]    [87]    [88]    [89]    [90]    [91]    [92]    [93]