Přejeme Vám krásné svátky a 52 týdnů pohody a štěstí v roce 2025 !
Určitý integrál
Z Multimediaexpo.cz
Určitý integrál je matematický nástroj, který umožňuje určit změnu funkce na základě informace o tom, jak rychle se funkce mění na daném intervalu. Určitý integrál nezáporné funkce má názornou geometrickou interpretaci, jedná se o obsah plochy pod grafem této funkce na uvažovaném intervalu.
Z formálního hlediska je vstupními údaji určitého integrálu funkce a dvě čísla (integrační meze) a výstupem je číslo (hodnota integrálu). Tím se liší od neurčitého integrálu, který má na vstupu funkci a výstupem je množina funkcí lišících se o aditivní konstantu.
Určitý integrál má mnoho aplikací v teorii pravděpodobnosti, funkcionální analýze, fyzice, např. častou fyzikální aplikací je určení dráhy tělesa ze známé rychlosti.
Obsah |
Definice
Existují různé definice určitého integrálu podle formulace integrálních součtů, tyto definice se liší množinou funkcí, které jsou podle nich integrovatelné (pokud je pro několik definicí funkce integrovatelná, pak je hodnota integrálu stejná), tj. existují různé určité integrály:
Newtonův integrál
Pokud je funkce \(f\) spojitá na intervalu \(\langle a,b\rangle\) a funkce \(F\) je k ní na tomto intervalu primitivní, pak platí:
- \(\int_a^b f(x) \ \mathrm{d}x = {[F(x)]}_a^b = F(b)-F(a)\).
Zobecněný Newtonův integrál
Newtonova definice určitého integrálu požaduje spojitost funkce na daném intervalu. Pokud je funkce na intervalu pouze po částech spojitá, lze interval v bodech nespojitosti rozdělit a hledat primitivní funkce po částech. Pro tento případ se definuje takzvaný „zobecněný Newtonův integrál“, který je v případě nespojitosti primitivní funkce v krajních bodech definován jako rozdíl jednostranných krajních limit:
- \(\int_a^b f(x) \ \mathrm{d}x = \lim_{x\to b^-} F(x)-\lim_{x\to a^+} F(x)\).
Riemannův integrál
Řekneme, že po částech spojitá funkce \(f\) na intervalu \(\langle a,b \rangle\) má Riemannův integrál \(I\), pokud pro každé \(\varepsilon > 0 \) existuje \(\delta>0\) takové, že pro každé dělení body \((D,C)\) intervalu \(\langle a,b \rangle\) platí, že:
- \(\lambda(D) < \delta \,=> \,|I - R(f,D,C)| < \varepsilon\), tj. \(I = \lim_{\lambda(D) \to 0}R(f,D,C) = \int\limits_{a}^{b} f(x) \ \mathrm{d}x\),
kde \(R(f,D,C)\) je Riemannova suma a \(\lambda(D)\) resp. \(C\) je norma dělení \(D\) resp. množina bodů zapouzdřených v dělení \(D\).
Lebesgueův integrál
Na základě Lebesgueovy míry definoval Henri Lebesgue tzv. Lebesgueův integrál. Má podobnou definici jako Darbouxova definice Riemannova integrálu, ale třída integrovatelných funkcí je v něm mnohem širší – dokonce se bez axiomu výběru nedá prokázat, že existuje funkce, která není Lebesgueovsky integrovatelná. Podobný postup použili i další matematici. Lebesgueův integrál a další, ještě pokročilejší integrály, umožňují integrovat širší třídy funkcí, platí pro ně silnější verze mnoha tvrzení a skýtají i mnoho jiných výhod. Patří mezi ně například Stieltjesův integrál nebo Kurzweilův integrál.
Nechť \((X,\mathcal{A},\mu)\) je prostor s mírou, pak pro měřitelnou funkci \(f:M \rightarrow \overline{\mathbb{R}}\) definujeme horní Lebesgueův integrál:
- \(\int\limits_\overline{M} f \ \mbox{d}\mu = \inf \sum\limits_{j=1}^{\infty} a_j \ \mu(A_j)\),
kde \(\mathcal{A}\) je \(\sigma\)-algebra na \(X\), \(A_{j} \in \mathcal{A}\) jsou měřitelné množiny a \(M=\bigcup\limits_{j=1}^{\infty}A_j \in \mathcal{A}\), při \(A_i \cap A_j = \emptyset\) pro každé \(i \neq j\) a \(a_j\geq f(x)\) pro každé \(x \in A_j\).
Nechť \((X,\mathcal{A},\mu)\) je prostor s mírou, pak pro měřitelnou funkci \(f:M \rightarrow \overline{\mathbb{R}}\) definujeme dolní Lebesgueův integrál:
- \(\int\limits_\underline{M} f \ \mbox{d}\mu = \sup \sum\limits_{j=1}^{\infty} a_j \ \mu(A_j)\),
kde \(\mathcal{A}\) je \(\sigma\)-algebra na \(X\), \(A_{j} \in \mathcal{A}\) jsou měřitelné množiny a \(M=\bigcup\limits_{j=1}^{\infty}A_j \in \mathcal{A}\), při \(A_i \cap A_j = \emptyset\) pro každé \(i \neq j\) a \(a_j\leq f(x)\) pro každé \(x \in A_j\).
Lebesgueův integrál pak definujeme pro funkci \(f\) splňující rovnost horního a dolního Lebesgueova integrálu jako:
- \(\int\limits_M f \ \mbox{d}\mu = \int\limits_\overline{M} f \ \mbox{d}\mu = \int\limits_\underline{M} f \ \mbox{d}\mu\).
pozn.: Množina \(\overline{\mathbb{R}}\) je množina \({\mathbb{R}}\) rozšířená o \(\pm \infty\) a množina \(X\) může být např. Euklidovský prostor \({\mathbb{R}^n}\).
Lebesgueův integrál lze přibližně interpretovat jako nekonečný součet nekonečně úzkých pásů o "šířce" dané koeficientem \(a_j \geq 0\) a délce dané mírou množiny \(\mu(A_j)\) přes všechna \(j \in \mathbb{N}\).
Vlastnosti
Pro některé funkce integrál nemusí existovat (například Newtonův nebo Riemannův integrál z Dirichletovy funkce), nebo může být nekonečný, např.:
- \(\int\limits_0^1\frac{1}{x}\, \mathrm{d}x \,=\, +\infty\).
Záměna sumy a integrálu
Je-li dána řada funkcí \(\displaystyle f_n(x)\) spojitých na intervalu \(\langle a,b\rangle\) a pokud suma \(\sum_{n=1}^\infty f_n(x)\) konverguje stejnoměrně, pak lze zaměnit sumu s integrálem:
- \(\sum_{n=1}^\infty{\int\limits_a^b{f_n(x)\,\mathrm{d}x}}=\int\limits_a^b{\sum_{n=1}^\infty{f_n(x)}\,\mathrm{d}x}\).
Záměna limity a integrálu
Je-li \(\displaystyle f(a,x)\) funkce spojitá na příslušných definičních oborech \(\displaystyle a, x\) a pokud má integrovatelnou majorantu \(\displaystyle g(x)\) takovou, že \(\displaystyle |f(a,x)|< g(x)\) pro dané hodnoty parametru \(a\), pak pro \(\int_M g(x)\,\mathrm{d}x<+\infty\) lze zaměnit limitu s integrálem:
- \(\lim_{a\to a_0}\int_M{f(a,x)\,\mathrm{d}x}=\int_M{\lim_{a\to a_0}f(a,x)\,\mathrm{d}x}\).
Zobecnění
Nevlastní integrál
- Podrobnější informace naleznete na stránce: Nevlastní integrál
Křivkový integrál
- Podrobnější informace naleznete na stránce: Křivkový integrál
Křivkový integrál je integrál skalárního nebo vektorového pole počítaný podél křivky.
Plošný integrál
- Podrobnější informace naleznete na stránce: Plošný integrál
Plošný integrál je integrál skalárního nebo vektorového pole počítaný podél křivky ohraničující nějakou plochu.
Vícerozměrný integrál
Integraci funkce více proměnných probíhá vždy na určité oblasti \(\displaystyle\Omega\). Je-li \(\displaystyle f(x_1,x_2,...,x_n)\) funkcí \(\displaystyle n\) nezávisle proměnných, pak její integrál na určité \(\displaystyle n\)-rozměrné oblasti \(\displaystyle\Omega\) označujeme jako \(n\)-rozměrný integrál, přičemž jej zapíšeme některým z následujících způsobů:
- \({\iint\cdots\int}_{\Omega} f(x_1,x_2,\ldots,x_n)\,\mathrm{d}\Omega = {\iint\cdots\int}_{\Omega} f(x_1,x_2,\ldots,x_n)\,\mathrm{d}x_1 \mathrm{d}x_2 \cdots \mathrm{d}x_n = {\iint \cdots \int}_{\Omega} f(x_1,x_2,\ldots,x_n)\,\mathrm{d}^n x\).
Počet integračních znaků \(\int\) odpovídá počtu proměnných, přes které integrujeme. Je-li ze zápisu integrálu zjevné, že se jedná o vícerozměrný integrál, pak zapisujeme pouze jeden integrační znak:
- \(\int_\Omega f(x_1,x_2,\ldots,x_n)\,\mathrm{d}\Omega \,\).
Vícerozměrné integrály se obvykle řeší převodem na vícenásobnou integraci pomocí Fubiniovy věty. Mezi vícerozměrné integrály řadíme např. plošný a objemový integrál.
Komplexní integrál
V komplexní rovině se užívají křivkové integrály. Pokud tyto integrály probíhají po uzavřené křivce ležící v komplexní rovině, lze je vypočítat pomocí reziduové věty, Cauchyova vzorce nebo Cauchyovy věty.
Aplikace
Plocha pod křivkou
Určitý integrál nezáporné spojité funkce \(f\) na intervalu \(\langle a,b\rangle\) je roven ploše obrazce omezeného přímkami \(x=a\), \(x=b\), osou \(x\) a křivkou definovanou grafem funkce \(f\). Formálněji řečeno, takový integrál je roven míře množiny \(S\) definované jako:
- \(S=\{(x,y) \in \mathbb{R}^2:a \leq x \leq b ,0 \leq y \leq f(x)\}\)
Je-li funkce někde záporná, plocha nad křivkou se počítá záporně.
Fyzikální význam
Určitý integrál se využívá v řadě fyzikálních definic – například určitý integrál síly podle polohy je vykonaná práce, určitý integrál ze zrychlení je změna rychlosti, objemový integrál z hustoty je hmotnost tělesa apod.
Příklad
Určitý integrál z rychlosti podle času je roven změně polohy během časového úseku od \(t_1\) do \(t_2\). Pokud polohu v závislosti na čase označíme \(x(t)\), platí:
- \(x(t_2)-x(t1) = \int\limits_{t_1}^{t_2}v(t) \,\mathrm{d}t\), tento vzorec je zobecněním známého vztahu pro pohyb konstantní rychlostí:
- \(x(t_2)-x(t_1) = v\cdot (t_2-t_1)\) neboli \(\triangle x= v \cdot \triangle t\), vzorce se liší v tom, že první vzorec lze použít i pro pohyb proměnlivou rychlostí.
Literatura
- Rektorys, K. a spol.: Přehled užité matematiky I.. Prometheus, Praha, 2003, 7. vydání. ISBN: 80-7196-179-5
Související články
Externí odkazy
| Náklady na energie a provoz naší encyklopedie prudce vzrostly. Potřebujeme vaši podporu... Kolik ?? To je na Vás. Náš FIO účet — 2500575897 / 2010 |
|---|
| Informace o článku.
Článek je převzat z Wikipedie, otevřené encyklopedie, do které přispívají dobrovolníci z celého světa. |