Určitý integrál je fundamentálny matematický nástroj, ktorý nám umožňuje kvantifikovať akumuláciu zmeny funkcie na danom intervale. Formálne, vstupnými údajmi určitého integrálu sú funkcia a dve integračné medze, pričom výstupom je skalárna hodnota reprezentujúca celkovú zmenu. Aplikácie tohto konceptu siahajú od teórie pravdepodobnosti a funkcionálnej analýzy až po rozsiahle oblasti fyziky. Odlišné definície určitého integrálu, založené na rôznych formuláciách integrálnych súčtov, sa líšia v triede funkcií, ktoré sú podľa nich integrovateľné. Ak je funkcia integrovateľná podľa viacerých definícií, výsledná hodnota integrálu zostáva konzistentná.
Newtonova definícia určitého integrálu vyžaduje spojitosť funkcie na danom intervale. V prípadoch, keď je funkcia iba po častiach spojitá, je možné interval rozdeliť v bodoch nespojitosti a hľadať primitívne funkcie pre každý podinterval zvlášť.
Z formálneho hľadiska môžeme určitý integrál definovať ako limitu Riemannových súm. Pre funkciu $f$ definovanú na intervale $[a, b]$, kde $a < b$, je určitý integrál definovaný ako:
$$ \inta^b f(x) \, dx = \lim{|\Delta| \to 0} \sum{i=1}^n f(xi^*) \Delta x_i $$
kde $\Delta = {x0, x1, \dots, xn}$ je delenie intervalu $[a, b]$ s $a = x0 < x1 < \dots < xn = b$, $\Delta xi = xi - x{i-1}$ je dĺžka $i$-teho podintervalu, $|\Delta| = \max{1 \le i \le n} \Delta xi$ je norma delenia a $xi^* \in [x{i-1}, xi]$ je ľubovoľný bod v $i$-tom podintervale.
Henri Lebesgue zaviedol Lebesgueov integrál na základe Lebesgueovej miery. Táto definícia je podobná Darbouxovej definícii Riemannovho integrálu, avšak trieda funkcií integrovateľných podľa Lebesguea je podstatne širšia. Dokonca aj bez axiomu výberu je možné preukázať existenciu funkcií, ktoré nie sú Lebesgueovsky integrovateľné. Podobné pokročilé integrálne definície, ako napríklad Lebesgueov integrál, umožňujú integrovať širšie triedy funkcií, posilňujú mnohé matematické tvrdenia a prinášajú ďalšie výhody.
Plošný Integrál a Jeho Vlastnosti
Plošný integrál sa zaoberá integráciou funkcií vo viacrozmerných priestoroch. V kontexte dvoch premenných integrujeme cez oblasť $D$ v rovine $\mathbb{R}^2$. Počet integračných znakov v zápise viacrozmerného integrálu zodpovedá počtu premenných, cez ktoré integrujeme. Fubiniho veta umožňuje previesť tieto viacrozmerné integrály na postupnú (vícenásobnú) integráciu.
V súvislosti s plochou a jej vlastnosťami je dôležité rozlišovať medzi jednoduchou plochou a plochou s okrajom. Vektorové pole a jeho vlastnosti sú kľúčové pri definícii plošného integrálu druhého druhu. Orientácia plochy, či už v súhlase s parametrizáciou alebo opačne, zásadne ovplyvňuje výsledok integrácie.
Orientácia Plochy a Vektorové Pole
Orientácia plochy v $\mathbb{R}^3$ je definovaná výberom normálového vektora v každom bode plochy. Pre plochu s okrajom je dôležité, aby bola orientovaná konzistentne s orientáciou jej okraja. V kontexte plošného integrálu druhého druhu, kde integrujeme vektorové pole $\mathbf{F}$ cez orientovanú plochu $S$, je definícia nasledovná:
$$ \iintS \mathbf{F} \cdot d\mathbf{S} = \iintD \mathbf{F}(\mathbf{r}(u,v)) \cdot \left( \frac{\partial \mathbf{r}}{\partial u} \times \frac{\partial \mathbf{r}}{\partial v} \right) \, du \, dv $$
kde $\mathbf{r}(u,v)$ je parametrizácia plochy $S$ a $D$ je oblasť v rovine parametrov $(u,v)$. Vektor $\frac{\partial \mathbf{r}}{\partial u} \times \frac{\partial \mathbf{r}}{\partial v}$ predstavuje normálový vektor k ploche.
Vzťah Plošného Integrálu k Objemu: Gauss-Ostrogradského Veta
Gauss-Ostrogradského veta predstavuje fundamentálne spojenie medzi plošným integrálom druhého druhu a objemovým integrálom. Táto veta uvádza, že tok vektorového poľa cez uzavretú plochu je rovný objemovému integrálu divergencie tohto poľa cez objem ohraničený danou plochou.
$$ \iiintV (\nabla \cdot \mathbf{F}) \, dV = \iintS \mathbf{F} \cdot d\mathbf{S} $$
kde $V$ je objem ohraničený uzavretou plochou $S$. Vektorová divergencia $\nabla \cdot \mathbf{F}$ meria "zdrojovosť" alebo "prepadoivosť" vektorového poľa v danom bode. Táto veta má hlboké dôsledky vo fyzike, najmä v elektrostatike a magnetostatike.
Greenova Veta a Stokesova Veta: Prepojenie Integrálov
Greenova veta, ktorá platí v rovine $\mathbb{R}^2$, je špeciálnym prípadom Stokesovej vety. Spája krivkový integrál druhého druhu pozdĺž uzavretej krivky s plošným integrálom rotácie vektorového poľa cez oblasť ohraničenú touto krivkou.
$$ \ointC P \, dx + Q \, dy = \iintD \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) \, dA $$
Stokesova veta generalizuje tento vzťah do trojrozmerného priestoru. Spája krivkový integrál druhého druhu pozdĺž uzavretej krivky $C$ s plošným integrálom rotácie vektorového poľa $\mathbf{F}$ cez akúkoľvek plochu $S$, ktorej okrajom je krivka $C$.
$$ \ointC \mathbf{F} \cdot d\mathbf{r} = \iintS (\nabla \times \mathbf{F}) \cdot d\mathbf{S} $$
Tieto vety sú kľúčové pre pochopenie vzťahu medzi lokálnymi vlastnosťami vektorových polí (ako je rotácia a divergencia) a ich globálnym správaním (tok cez plochy a integrály pozdĺž kriviek).
Trigonometrické Rady a Ich Vplyv
Trigonometrické rady, známe aj ako Fourierove rady, poskytujú spôsob, ako reprezentovať periodické funkcie ako súčet sínusových a kosínusových vĺn. Komplexný tvar Fourierových radov zjednodušuje mnohé výpočty a teoretické analýzy.
$$ f(x) \sim \frac{a0}{2} + \sum{n=1}^\infty (an \cos(nx) + bn \sin(nx)) $$
kde $an$ a $bn$ sú Fourierove koeficienty. Vzťahy pre výpočet týchto koeficientov sú definované pomocou integrálov:
$$ an = \frac{1}{\pi} \int{-\pi}^{\pi} f(x) \cos(nx) \, dx $$$$ bn = \frac{1}{\pi} \int{-\pi}^{\pi} f(x) \sin(nx) \, dx $$
Dôsledkom teórie Fourierových radov je aj veta o konvergencii pre po častiach $C^1$ funkcie, ktorá zaručuje, že Fourierova rada konverguje k funkcii v bodoch spojitosti.
Zovšeobecnené L^p Priestory a Nerovnosti
Priestory $L^p$ sú základnými stavebnými kameňmi modernej funkcionálnej analýzy. Zovšeobecnenie definície týchto priestorov umožňuje študovať funkcie s rôznymi mierami integrability. Youngova a Hölderova nerovnosť sú kľúčové nástroje na manipuláciu s integrálmi a odhadovanie ich hodnôt.
- Youngova nerovnosť: Pre $p, q > 1$ také, že $1/p + 1/q = 1$, platí pre nezáporné $a, b$: $ab \le \frac{a^p}{p} + \frac{b^q}{q}$.
- Hölderova nerovnosť: Pre $p, q > 1$ také, že $1/p + 1/q = 1$, platí pre funkcie $f, g$:$$ \left| \int f(x) g(x) \, dx \right| \le \left( \int |f(x)|^p \, dx \right)^{1/p} \left( \int |g(x)|^q \, dx \right)^{1/q} $$
Priestory so skalárnym súčinom, ako sú Hilbertove priestory, sú vybavené dodatočnou štruktúrou, ktorá umožňuje definovať ortogonalitu. Cauchy-Schwartzova nerovnosť je základným výsledkom v týchto priestoroch:
$$ |\langle f, g \rangle|^2 \le \langle f, f \rangle \langle g, g \rangle $$
kde $\langle \cdot, \cdot \rangle$ značí skalárny súčin. Ortogonálne a ortonormálne systémy funkcií sú dôležité pre reprezentáciu funkcií a riešenie diferenciálnych rovníc.
Komplexné Čísla a Holomorfné Funkcie
Komplexné čísla tvoria rozšírenie reálnych čísel, ktoré sú nevyhnutné v mnohých oblastiach matematiky a fyziky. Vlastnosti ako združené číslo a absolútna hodnota sú základné.
$$ z = x + iy \implies \bar{z} = x - iy, \quad |z| = \sqrt{x^2 + y^2} $$
Holomorfné funkcie, ktoré sú komplexnými analógmi reálnych diferencovateľných funkcií, majú výnimočné vlastnosti. Cauchyho veta a Cauchyho vzorec sú základnými výsledkami v teórii komplexnej analýzy, ktoré prepájajú hodnoty holomorfnej funkcie na okraji oblasti s jej hodnotami vo vnútri.
- Cauchyho veta: Ak je funkcia $f$ holomorfná na jednoduchej súvislej oblasti $D$, potom pre každú uzavretú krivku $C$ v $D$ platí $\oint_C f(z) \, dz = 0$.
- Cauchyho vzorec: Pre holomorfnú funkciu $f$ a bod $z0$ vo vnútri jednoduchej súvislej oblasti $D$ s hladkým okrajom $C$:$$ f(z0) = \frac{1}{2\pi i} \ointC \frac{f(z)}{z - z0} \, dz $$
Tieto vety umožňujú vypočítať integrály funkcií na komplexnej rovine a majú aplikácie pri výpočte reálnych integrálov. Veta o mezikruží a reziduová veta sú potom rozšíreniami týchto základných výsledkov, ktoré umožňujú študovať funkcie v blízkosti singularít a efektívne vypočítavať zložité integrály.
Fourierova a Laplaceova Transformácia
Fourierova transformácia je mocný nástroj na prechod z časovej alebo priestorovej domény do frekvenčnej domény. Umožňuje analyzovať zloženie signálov a štruktúru funkcií. Vzťah Fourierovej transformácie k derivácii je zvlášť užitočný, pretože derivácia v časovej doméne sa transformuje na násobenie vo frekvenčnej doméne.
$$ \mathcal{F}{f'(x)}(\omega) = i\omega \mathcal{F}{f(x)}(\omega) $$
Konvolúcia dvoch funkcií v jednej doméne zodpovedá bodovému násobeniu ich Fourierových transformácií v druhej doméne. Laplaceova transformácia je úzko spätá s Fourierovou transformáciou a je obzvlášť užitočná pri riešení lineárnych diferenciálnych rovníc s konštantnými koeficientmi. Operátory $X$ (násobenie premennou) a $D$ (derivácia) majú v kontexte Fourierovej transformácie komplementárne vlastnosti.
Priestor L^1_+ a Jeho Vlastnosti
Priestor $L^1+$ zahŕňa nezáporné funkcie, ktoré sú integrovateľné na danej oblasti. Tento priestor má špecifické vlastnosti, ktoré sú dôležité pri štúdiu Fourierovej a Laplaceovej transformácie. Konvolúcia v $L^1+$ je definovaná podobne ako v $L^1$, ale s dôrazom na nezápornosť výsledku. Laplaceova transformácia primitívnej funkcie súvisí s transformáciou pôvodnej funkcie pomocou delenia premennou $s$.
Určitý integrál nezápornej spojitej funkcie na intervale je roven ploche obrazca ohraničeného priamkami $x=a$, $x=b$, osou $y=0$ a krivkou definovanou grafom funkcie $y=f(x)$. Tento geometrický význam integrálu je často prvým stretnutím študentov s týmto konceptom. Integrál z rýchlosti podľa času je roven zmene polohy počas daného časového úseku. Tieto intuitívne pochopenia sú základom pre hlbšie matematické štúdium.