Korisnički Kontrolni Panel
Pogledajte svoj profil
Pogledajte svoje postove
ČPP
Prijavite se

Matematički forum na kojem možete da diskutujete o raznim matematičkim oblastima, pomognete drugima oko rešavanja zadataka, a i da dobijete pomoć kada vam zatreba


















Index stranica MATEMATIČKA ANALIZA INTEGRALI

Limes integrala

[inlmath]\int xe^x\mathrm dx[/inlmath]

Limes integrala

Postod Igor » Nedelja, 26. Avgust 2018, 14:58

Zadatak: Dato je neprekidno preslikavanje [inlmath]f\colon \mathbb{R}\to \mathbb{R}[/inlmath]. Odrediti:
[inlmath](1)[/inlmath] [inlmath]\lim\limits_{n\to\infty} \int\limits_0^{\frac{1}{\sqrt{n}}} nf(x)e^{-nx}\mathrm dx[/inlmath]
[inlmath](2)[/inlmath] [inlmath]\lim\limits_{n\to\infty} \int\limits_0^1 nf(x)e^{-nx}\mathrm dx[/inlmath].

Potrebna mi je pomoć ili savet kako se rade zadaci ovog tipa, pretpostavljam da se u nekom trenutku primenjuje Teorema o srednjoj vrednosti. Bilo bi mi korisno kada bi neko detaljnije rešio bar jedan od ova dva primera.
Korisnikov avatar
Igor  OFFLINE
Hiljaditi član foruma
 
Postovi: 89
Zahvalio se: 28 puta
Pohvaljen: 76 puta

Sharuj ovu temu na:

Share on Facebook Facebook Share on Twitter Twitter Share on MySpace MySpace Share on Google+ Google+
  • +1

Re: Limes integrala

Postod Onomatopeja » Ponedeljak, 27. Avgust 2018, 09:01

U redu, evo pokazacu ja za drugi primer. Ali bih prvo napomenuo da ne mozes ovde koristiti teoremu o srednjoj vrednosti, jer nije data diferencijabilnost funkcije [inlmath]f.[/inlmath]

Dakle, resavamo [inlmath]\displaystyle\lim_{n\to\infty} \int_0^1 nf(x)e^{-nx}dx.[/inlmath] Za pocetak, ne bi bilo lose da nadjemo kandidata za ovaj limes. Posto je u pitanju samo pronalazak kandidata, a ne i formalan dokaz, to mozemo napraviti grupu skicu. Naime, ako uvrstimo smenu [inlmath]t=nx[/inlmath] onda dobijamo [inlmath]\displaystyle\int_0^1 nf(x)e^{-nx}dx = \int_0^n f\Bigl(\frac{t}{n}\Bigr)e^{-t}dt,[/inlmath] pa ocekujemo (ali ne mozemo sada tvrditi) da se dati integrali ponasa kao [inlmath]\displaystyle\int_0^\infty f(0)e^{-t}dt = f(0),[/inlmath] pri [inlmath]n\to\infty[/inlmath] (ovde smo iskoristili da je i funkcija [inlmath]f[/inlmath] neprekidna u nuli).

Zato cemo pokazati da je [inlmath]\displaystyle\lim_{n\to\infty} \int_0^1 nf(x)e^{-nx}dx=f(0).[/inlmath] Uvedimo i oznaku [inlmath]\displaystyle I_n= \int_0^1 nf(x)e^{-nx}dx.[/inlmath] Cilj nam je da pokazemo da [inlmath]I_n \to f(0)[/inlmath] kad [inlmath]n\to\infty.[/inlmath] Prvo, napravimo razdvajanje
[dispmath]I_n = \int_0^1 nf(x)e^{-nx}dx = \int_0^1 ne^{-nx}(f(x)-f(0))dx +f(0)\int_0^1 ne^{-nx} = \int_0^1 ne^{-nx}(f(x)-f(0))dx + f(0)(1-e^{-n}).[/dispmath]
Neka je sada [inlmath]\varepsilon>0[/inlmath] dato. Tada (zbog neprekidnosti f-je [inlmath]f[/inlmath] u nuli) postoji [inlmath]\delta>0[/inlmath] tako da za sve [inlmath]x\in(-\delta,\delta)[/inlmath] vazi [inlmath]|f(x)-f(0)|<\varepsilon.[/inlmath] Pri tome, mozemo uzeti da je [inlmath]\delta<1[/inlmath] (jer je ono u osnovi malo, blisko nuli). Zato je dalje
[dispmath]I_n-f(0) = \int_0^\delta ne^{-nx}(f(x)-f(0))dx + \int_\delta^1 ne^{-nx}(f(x)-f(0))dx -f(0)e^{-n}.[/dispmath] Takodje, kako je funkcija [inlmath]f[/inlmath] neprekidna i na [inlmath][\delta,1],[/inlmath] to postoji maksimum ove funkcije na ovom segmentu, koji cemo oznaciti sa [inlmath]M[/inlmath] (to jest, [inlmath]M=\sup\limits_{x\in[\delta,1]}|f(x)|=\max\limits_{x\in[\delta,1]}|f(x)|<\infty[/inlmath]). Odatle dobijamo dalje
[dispmath]|I_n-f(0)|<\varepsilon \int_0^\delta ne^{-nx} dx + \max_{x\in[\delta,1]} (|f(x)|+|f(0)|)\int_\delta^1 ne^{-nx} dx + |f(0)|e^{-n} =\varepsilon (1-e^{-n\delta}) + (M+|f(0)|)(e^{-n\delta}-e^{-n})+|f(0)|e^{-n}.[/dispmath]
Uzimajuci da [inlmath]n\to\infty[/inlmath] imamo [inlmath]\lim\limits_{n\to\infty} |I_n-f(0)| \leq \varepsilon.[/inlmath] Kako ovo vazi za svako [inlmath]\varepsilon>0,[/inlmath] to dobijamo [inlmath]\lim\limits_{n\to\infty} I_n = f(0).[/inlmath]

Hajde da napomenem ako nekoga buni sta ako je [inlmath]\delta\geq 1.[/inlmath] Pa mozemo reci da je to tim pre laksi slucaj, jer onda ceo integral [inlmath]\displaystyle\int_0^1 ne^{-nx}(f(x)-f(0))dx[/inlmath] mozemo odmah oceniti, tj. ne moramo ga razdvajati na dva dela.

Takodje, ovaj zadatak se dosta lakse resava primenom Lebegovog integrala i teorije mere, ali to je vec druga prica.
 
Postovi: 613
Zahvalio se: 15 puta
Pohvaljen: 588 puta

Re: Limes integrala

Postod ubavic » Ponedeljak, 27. Avgust 2018, 09:59

Onomatopeja je napisao:Takodje, ovaj zadatak se dosta lakse resava primenom Lebegovog integrala i teorije mere, ali to je vec druga prica.

Mene su ove podintegralne funkcije podsetile na ono što Englezi zovu approximations to the identity (ne znam srpski naziv), a koje se koriste prilikom konvolucija (doduše [inlmath]ne^{-nx}[/inlmath] nema kompaktni nosač). Da li si na ovo mislio, ili je nešto drugo u pitanju?
ubavic  OFFLINE
Zaslužni forumaš
 
Postovi: 623
Zahvalio se: 385 puta
Pohvaljen: 641 puta

  • +1

Re: Limes integrala

Postod Onomatopeja » Ponedeljak, 27. Avgust 2018, 12:01

@ubavic: Ne, ne, nisam mislio na to. Vec sam limes, posle vec spomenute smene [inlmath]t=nx,[/inlmath] se moze izracunati koriscenjem Lebegove teoreme o dominantnoj konvergenciji za Lebegove integrale.
 
Postovi: 613
Zahvalio se: 15 puta
Pohvaljen: 588 puta


Povratak na INTEGRALI

Ko je OnLine

Korisnici koji su trenutno na forumu: Nema registrovanih korisnika i 49 gostiju


Index stranicaTimObriši sve kolačiće boarda
Danas je Četvrtak, 28. Mart 2024, 11:23 • Sva vremena su u UTC + 1 sat
Pokreće ga phpBB® Forum Software © phpBB Group
Prevod – www.CyberCom.rs