Integrál závislý na parametru je matematický výraz , který obsahuje určitý integrál a závisí na jedné nebo více proměnných ("parametrech").
Nechť je dán obor ve dvourozměrném euklidovském prostoru , na kterém je definována funkce dvou proměnných.
Nechte dále ,.
Funkce a se nazývá integrál v závislosti na parametru.
Nechť je funkce spojitá v definičním oboru jako funkce dvou proměnných. Potom je funkce spojitá na segmentu .
DůkazZvažte přírůstek integrálu v závislosti na parametru.
.
Podle Cantorovy věty je funkce spojitá na kompaktní množině na ní rovnoměrně spojitá , tzn.
.
Proto pro , což znamená spojitost funkce
Diferenciace pod znaménkem integráluNechť je nyní nejen funkce spojitá na definičním oboru , ale i její parciální derivace .
Potom , nebo, což je totéž,
DůkazTyto transformace byly provedeny pomocí Lagrangeovy střední věty . Zvažte nyní výraz .
Opět použijeme Cantorovu větu , ale pro funkci dostaneme, že pro , což dokazuje tuto větu
Integrace pod znakem integráluPokud je funkce spojitá v doméně , pak
, nebo, což je totéž:
Důkaz
Zvažte dvě funkce:
na , tedy .
Od , pak Na . Dosazením získáme podmínku věty.
Integrální počet | ||
---|---|---|
Hlavní | ||
Zobecnění Riemannova integrálu | ||
Integrální transformace |
| |
Numerická integrace | ||
teorie míry | ||
související témata | ||
Seznamy integrálů |