nevlast.mw

Nevlastní integrál 

Nevlastní integrál na neohraničeném intervalu 

Vyšetřete následující nevlastní integrály: 

> plot(1/(x^2+1), x=0..3, scaling=constrained);
 

Plot 

> f:=x->1/(x^2+1);
 

(Typesetting:-mprintslash)([f := proc (x) options operator, arrow; 1/(x^2+1) end proc], [proc (x) options operator, arrow; 1/(x^2+1) end proc]) 

Najdeme vzorec pomocné funkce která je funkcí horní meze 

> F:=unapply((int(f(x), x=0..c)),c);
 

(Typesetting:-mprintslash)([F := proc (c) options operator, arrow; arctan(c) end proc], [proc (c) options operator, arrow; arctan(c) end proc]) 

a pak spočítáme její limitu pro  

> Limit(F(c),c = infinity);
 

Limit(arctan(c), c = infinity) 

> value(%);
 

1/2*Pi 

Integrál tedy konverguje a platí 

> Int(1/(x^2+1), x=0..infinity): %=value(%);
 

Int(1/(x^2+1), x = 0 .. infinity) = 1/2*Pi 

> f:=x->ln(x);
 

(Typesetting:-mprintslash)([f := proc (x) options operator, arrow; ln(x) end proc], [proc (x) options operator, arrow; ln(x) end proc]) 

> plot(f(x), x=1..10);
 

Plot 

> Int(f(x), x=1..c):%=value(%);
 

Int(ln(x), x = 1 .. c) = 1+c*ln(c)-c 

> Limit(rhs(%), c=infinity): %=value(%);
 

Limit(1+c*ln(c)-c, c = infinity) = infinity 

Integrál tedy diverguje. 

> Int(f(x), x=1..infinity):%=value(%);
 

Int(ln(x), x = 1 .. infinity) = infinity 

> f:=x->sin(x);
 

(Typesetting:-mprintslash)([f := proc (x) options operator, arrow; sin(x) end proc], [proc (x) options operator, arrow; sin(x) end proc]) 

> plot(f(x), x=0.. 4*Pi, scaling=constrained);
 

Plot 

> Int(f(x), x=0..c): %=value(%);
 

Int(sin(x), x = 0 .. c) = 1-cos(c) 

> Limit(rhs(%), c=infinity): %=value(%);
 

Limit(1-cos(c), c = infinity) = 0 .. 2 

> Int(f(x), x=0..infinity): %=value(%);
 

Int(sin(x), x = 0 .. infinity) = undefined 

Integrál rovněž diverguje. 

Vyšetřete nevlastní integrál  

> f:=x->exp(x);
 

(Typesetting:-mprintslash)([f := proc (x) options operator, arrow; exp(x) end proc], [proc (x) options operator, arrow; exp(x) end proc]) 

> plot(f(x), x=-5..0);
 

Plot 

> Int(f(x), x = c .. 0): % = value(%);
 

Int(exp(x), x = c .. 0) = -exp(c)+1 

> Limit(rhs(%), c = -infinity): % = value(%);
 

Limit(-exp(c)+1, c = -infinity) = 1 

Integrál proto konverguje a platí 

> Int(f(x), x = -infinity .. 0): % = value(%);
 

Int(exp(x), x = -infinity .. 0) = 1 

Nevlastní intergrál z neohraničené funkce 

Vyšetřete nevlastní integrál  

> f:=x->x/sqrt(1-x^2);
 

(Typesetting:-mprintslash)([f := proc (x) options operator, arrow; x/sqrt(1-x^2) end proc], [proc (x) options operator, arrow; x/sqrt(1-x^2) end proc]) 

> plot(f(x), x=0..1);
 

Plot 

Integrand je funkce spojitá na intervalu 〈0,1). V bodě x = 1není definovaná. Dále 

> Limit(f(x), x=1, left): %=value(%);
 

Limit(x/(1-x^2)^(1/2), x = 1, left) = infinity 

Jedná se tedy skutečně o nevlastní integrál z neohraničené funkce. Nejprve proto vypočteme určitý integrál 

na intervalu 〈0,c〉, 0 ≤ c ≤ 1: 

> Int(f(x), x=0..c): %=value(%);
 

Int(x/(1-x^2)^(1/2), x = 0 .. c) = ((1-c^2)^(1/2)-1+c^2)/(1-c^2)^(1/2) 

> normal(rationalize(%), expanded);
 

Int(x/(1-x^2)^(1/2), x = 0 .. c) = 1-(1-c^2)^(1/2) 

> F:=unapply(rhs(%), c);
 

(Typesetting:-mprintslash)([F := proc (c) options operator, arrow; 1-(1-c^2)^(1/2) end proc], [proc (c) options operator, arrow; 1-(1-c^2)^(1/2) end proc]) 

> Limit(F(c), c=1, left): %=value(%);
 

Limit(1-(1-c^2)^(1/2), c = 1, left) = 1 

Integrál je tedy konvergentní a platí 

> Int(f(x), x=0..1): %=value(%);
 

Int(x/(1-x^2)^(1/2), x = 0 .. 1) = 1 

Vyšetřete nevlastní integrál  

> f:=x->1/x;
 

(Typesetting:-mprintslash)([f := proc (x) options operator, arrow; 1/x end proc], [proc (x) options operator, arrow; 1/x end proc]) 

> plot(f(x), x=0..2, y=0..8);
 

Plot 

> assume(c>0);
 

> Int(f(x), x=c..2): %=value(%);
 

Int(1/x, x = c .. 2) = -ln(c)+ln(2) 

> Limit(rhs(%), c=0, right): %=value(%);
 

Limit(-ln(c)+ln(2), c = 0, right) = infinity 

Integrál je tedy divergentní. 

>
 

Zobecnění nevlastního integrálu 

Vypočtěte následující nevlastní integrály: 

int(x^2/(x^6+1), x = -infinity .. infinity) 

> f:=x->x^2/(x^6+1);
 

(Typesetting:-mprintslash)([f := proc (x) options operator, arrow; x^2/(x^6+1) end proc], [proc (x) options operator, arrow; x^2/(x^6+1) end proc]) 

> plot(f(x), x=-4..4);
 

Plot 

Integrand je spojitý na celé reálné ose, takže stačí vložit jediný pomocný bod, který rozdělí -∞ a +∞. Vzhledem k symetrii (funkce je sudá, viz. obrázek) je vhodné zvolit nulu. 

> Int(f(x), x=0..d): %=value(%);
 

Int(x^2/(x^6+1), x = 0 .. d) = 1/3*arctan(d^3) 

> Limit(rhs(%), d=infinity): %=value(%);
 

Limit(1/3*arctan(d^3), d = infinity) = 1/6*Pi 

Vzhledem k symetrii musí být i integrál int(x^2/(x^6+1), x = -infinity .. `0`)konvergentní a nabývat stejné hodnoty. 

Celkem tedy integrál konverguje a platí 

> Int(f(x), x=-infinity..infinity): %=value(%);
 

Int(x^2/(x^6+1), x = -infinity .. infinity) = 1/3*Pi 

int(1/((x+1)*sqrt(x)), x = 0 .. infinity) 

> f:=x->1/(sqrt(x)*(x+1));
 

(Typesetting:-mprintslash)([f := proc (x) options operator, arrow; 1/(sqrt(x)*(x+1)) end proc], [proc (x) options operator, arrow; 1/(sqrt(x)*(x+1)) end proc]) 

> plot(f(x), x=0..4, y=0..4);
 

Plot 

Zvolíme jeden dělící bod, např. jedničku. Dostáváme dva nevlastní integrály, první z neohraničené funkce a druhý  

na neohraničeném intervalu.  

> Int(f(x), x=0..1)+Int(f(x), x=1..infinity);
 

Int(1/(x^(1/2)*(x+1)), x = 0 .. 1)+Int(1/(x^(1/2)*(x+1)), x = 1 .. infinity) 

> assume(c>0);
 

> Int(f(x), x=c..1): %=value(%);
 

Int(1/(x^(1/2)*(x+1)), x = c .. 1) = int(1/(x^(1/2)*(x+1)), x = c .. 1) 

> int(f(x), x);
 

2*arctan(x^(1/2)) 

> f1:=unapply(%,x);
 

(Typesetting:-mprintslash)([f1 := proc (x) options operator, arrow; 2*arctan(x^(1/2)) end proc], [proc (x) options operator, arrow; 2*arctan(x^(1/2)) end proc]) 

> Limit(f1(1)-f1(c), c=0, right): %=value(%);
 

Limit(1/2*Pi-2*arctan(c^(1/2)), c = 0, right) = 1/2*Pi 

> Limit(f1(c)-f1(1), c=+infinity):%=value(%);
 

Limit(2*arctan(c^(1/2))-1/2*Pi, c = infinity) = 1/2*Pi 

Protože oba dílčí integrály konvergují, konverguje i náš integrál a platí 

> Int(f(x), x=0..infinity)=Pi/2+Pi/2;
 

Int(1/(x^(1/2)*(x+1)), x = 0 .. infinity) = Pi 

>