[1863] Lóczi Lajos | 2013-05-11 16:36:54 |
Természetesen értelmezhető az ilyen "+--típusú" integrál szimmetrikus módon is, ahogyan írtad, ezt hívják Cauchy-féle főértéknek, és pl. a 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ó 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 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 +- eset.
|
Előzmény: [1861] polarka, 2013-05-09 15:43:41 |
|
|
[1861] polarka | 2013-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 -nak, a másikat meg 2-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 Lajos | 2013-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] polarka | 2013-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 |
|
|
|
[1856] Lóczi Lajos | 2013-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:
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] polarka | 2013-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 , ahol cR+
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 Lajos | 2013-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
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:
ha x>0, és
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 |
|