A helyettesítéses integrálás egy matematikai módszer függvények integráljának kiszámítására vagy primitív függvényének meghatározására. A differenciálszámítás láncszabályának ellenpárja.
Legyen
egy intervallum, és
egy folytonos, legalább egyszer differenciálható függvény. Tegyük fel, hogy
egy folytonos függvény, akkor:
![{\displaystyle \int _{g(a)}^{g(b)}f(x)\,dx=\int \limits _{a}^{b}f(g(t))g'(t)\,dt.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e934c8201e709b39df51d9a99990d00d9f6f1ec)
A Leibniz-féle jelölést használva, az
behelyettesítés mindkét oldalát
szerint deriválva megkapjuk a
kifejezést, amely formálisan átírható a
alakra, mely a kívánt behelyettesítést adja
-re.
A szabályt lehet balról jobbra vagy jobbról balra alkalmazni. Az utóbbi eset u-helyettesítés néven is ismert.
Az helyettesítéses integrálás levezethető az analízis alaptételéből, tehát a Newton–Leibniz-tételből:
Legyen
és
két függvény, melyek eleget tesznek a következőknek:
folytonos az
intervallumban, és
is folytonos az
zárt intervallumban. Ekkor az
függvény is folytonos
-ben. Ezekből következik, hogy a következő két integrál:
![{\displaystyle \int _{g(a)}^{g(b)}f(x)\,dx,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/269b4f743404579dc1285c3f703fb2a716a65a85)
![{\displaystyle \int \limits _{a}^{b}f(g(t))g'(t)\,dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbb709395a7befe619a2d7c1d54eb8f92dfafd8a)
létezik. Mivel
folytonos, rendelkezik egy
antideriválttal, és definiálható az
függvénykompozíció. Mivel
és
legalább egyszer differenciálható, a láncszabály értelmében:
![{\displaystyle (F\circ g)'(t)=F'(g(t))g'(t)=f(g(t))g'(t).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bb0b61bbcb9e0b192bfcf2cb5eeaed32116ce8f)
Az analízis alaptételének kétszeri alkalmazása bizonyítja, hogy a két integrál egyenlő:
![{\displaystyle \int \limits _{a}^{b}f(g(t))g'(t)\,dt=(F\circ g)(b)-(F\circ g)(a)=F(g(b))-F(g(a))=\int \limits _{g(a)}^{g(b)}f(x)\,dx,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe4e7588514e27de1ed55c2b2f3f5896fc867bd3)
tehát bizonyítja a helyettesítési szabály helyességét is.
Tekintsük a következő integrált:
![{\displaystyle \int _{0}^{2}x\cos(x^{2}+1)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fcd3953577aa028d951ff7264123246826edd7b)
Ha elvégezzük az
behelyettesítést, azt kapjuk, hogy:
és
![{\displaystyle \int _{x=0}^{x=2}x\cos(x^{2}+1)\,dx={\frac {1}{2}}\int _{u=1}^{u=5}\cos(u)\,du={\frac {1}{2}}(\sin(5)-\sin(1)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6416d496ec1ae6e9bf1d2da7e4297fe77fd8a8d0)
Fontos megjegyezni, hogy mivel az alsó határpontot (az
-t) az
kifejezéssel, valamint a felső határpontot (az
-t) az
kifejezéssel helyettesítettük, az
visszahelyettesítése szükségtelen.
A következő integrál kiértékeléséhez érdemes a helyettesítést jobbról balra alkalmazni:
![{\displaystyle \int _{0}^{1}{\sqrt {1-x^{2}}}\;dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0e2d98410d60e606525b3267b987e111ba6b53f)
Az
behelyettesítés hasznos, mivel így
, és
-re teljesül
. A behelyettesítést elvégezve a következő eredményt kapjuk:
![{\displaystyle \int _{0}^{1}{\sqrt {1-x^{2}}}\;dx=\int _{0}^{\frac {\pi }{2}}{\sqrt {1-\sin ^{2}(u)}}\cos(u)\;du=\int _{0}^{\frac {\pi }{2}}\cos ^{2}(u)\;du={\frac {\pi }{4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a7375883bded93fef4d1fa9419f9d678a659365)
A
integrálja kiszámítható parciális integrálással és trigonometrikus azonosságok alkalmazásával.
A behelyettesítési módszer az antideriváltak meghatározására is használható.
Példa az antiderivált meghatározásra:
![{\displaystyle \quad \int x\cos(x^{2}+1)\,dx={\frac {1}{2}}\int 2x\cos(x^{2}+1)\,dx={\frac {1}{2}}\int \cos u\,du={\frac {1}{2}}\sin u+C={\frac {1}{2}}\sin(x^{2}+1)+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4878c46ca643afdfc993eb3f79df995191b77eaf)
ahol
tetszőleges integrálási konstans.
Mivel nem volt integrálási határpont (tehát az integrál határozatlan), az utolsó lépésben szükséges megfordítani az eredeti helyettesítést:
.
A behelyettesítési módszer a következő fontos kérdés megválaszolásában használható a valószínűségszámításban:
Legyen adott egy
valószínűségi változó
valószínűség-sűrűséggel, és egy másik valószínűségi változó
, mely
-hez az
egyenlettel kapcsolódik, ahol
egy injekció. A keresett mennyiség
valószínűség-sűrűsége.
A kérdés megválaszolható, ha előtte kiszámítjuk azt, hogy mi a valószínűsége annak, hogy
egy bizonyos
részhalmazon nemnulla értéket vesz fel. Jelöljük ezt a valószínűséget
-ként.
Ha
valószínűségi sűrűsége
, akkor a keresett mennyiség
![{\displaystyle P(Y\in S)=\int _{S}p_{y}(y)\,dy.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdc13d70737c6646100d17dab2abd3cc1e0ec5b7)
akkor vesz fel nemnulla értéket az
halmazon, ha
nemnulla értéket vesz fel a
halmazon, tehát
![{\displaystyle P(Y\in S)=P(X\in \Phi ^{-1}(S))=\int _{\Phi ^{-1}(S)}p_{x}(x)\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75d0e8260ba61c88bb8ab7e1004666e75dff8ebd)
Az integrálban az
változó helyére
-t behelyettesítve
![{\displaystyle P(Y\in S)=\int _{\Phi ^{-1}(S)}p_{x}(x)~dx=\int _{S}p_{x}(\Phi ^{-1}(y))~\left|{\frac {d\Phi ^{-1}}{dy}}\right|~dy.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0a0a40edda8cf8dc14e05fa97ef30513ad19b74)
Ezt a kifejezést egyenlővé téve a
definíciójával a következőt kapjuk:
![{\displaystyle \int _{S}p_{y}(y)~dy=\int _{S}p_{x}(\Phi ^{-1}(y))~\left|{\frac {d\Phi ^{-1}}{dy}}\right|~dy.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14a0e3f5a8a0af6d7030045e8614f0c73d5ffbfe)
Ebből következik, hogy:
![{\displaystyle p_{y}(y)=p_{x}(\Phi ^{-1}(y))~\left|{\frac {d\Phi ^{-1}}{dy}}\right|.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68aa68451e3015537534a5f35df3b66a8e9b3601)
Abban az esetben, ha
és
több korrelálatlan változótól függ, azaz
és
,
-t többváltozós behelyettesítéssel kapjuk meg, melynek eredménye
![{\displaystyle p_{y}(y)=p_{x}(\Phi ^{-1}(y))~\left|\det \left[D\Phi ^{-1}(y)\right]\right|.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3790d5ef0c8b7b3ca9d5701b50eed5cd61858577)
- Hewitt, Edwin; Stromberg, Karl. Real and abstract analysis. Springer-Verlag (1965). ISBN 978-0387045597.
- Katz, V.. Change of variables in multiple integrals – Euler to Cartan. Mathematics Magazine 55 (1982). ISBN 978-0387045597.
- Reiman István. Matematika. Typotex Kft (2011). ISBN 9789632793009
- Gerőcs L.; Dr. Vancsó Ödön. Matematika. Akadémia Kiadó Zrt. (2010). ISBN 9789630584883