\[\newcommand{\N}{\mathbb N} \newcommand{\Z}{\mathbb Z} \newcommand{\Q}{\mathbb Q} \newcommand{\R}{\mathbb R} \newcommand{\C}{\mathbb C} \newcommand{\ba}{\mathbf{a}} \newcommand{\bb}{\mathbf{b}} \newcommand{\bc}{\mathbf{c}} \newcommand{\bd}{\mathbf{d}} \newcommand{\be}{\mathbf{e}} \newcommand{\bff}{\mathbf{f}} \newcommand{\bh}{\mathbf{h}} \newcommand{\bi}{\mathbf{i}} \newcommand{\bj}{\mathbf{j}} \newcommand{\bk}{\mathbf{k}} \newcommand{\bN}{\mathbf{N}} \newcommand{\bn}{\mathbf{n}} \newcommand{\bo}{\mathbf{0}} \newcommand{\bp}{\mathbf{p}} \newcommand{\bq}{\mathbf{q}} \newcommand{\br}{\mathbf{r}} \newcommand{\bs}{\mathbf{s}} \newcommand{\bT}{\mathbf{T}} \newcommand{\bu}{\mathbf{u}} \newcommand{\bv}{\mathbf{v}} \newcommand{\bw}{\mathbf{w}} \newcommand{\bx}{\mathbf{x}} \newcommand{\by}{\mathbf{y}} \newcommand{\bz}{\mathbf{z}} \newcommand{\bzero}{\mathbf{0}} \newcommand{\nv}{\mathbf{0}} \newcommand{\cA}{\mathcal{A}} \newcommand{\cB}{\mathcal{B}} \newcommand{\cC}{\mathcal{C}} \newcommand{\cD}{\mathcal{D}} \newcommand{\cE}{\mathcal{E}} \newcommand{\cF}{\mathcal{F}} \newcommand{\cG}{\mathcal{G}} \newcommand{\cH}{\mathcal{H}} \newcommand{\cI}{\mathcal{I}} \newcommand{\cJ}{\mathcal{J}} \newcommand{\cK}{\mathcal{K}} \newcommand{\cL}{\mathcal{L}} \newcommand{\cM}{\mathcal{M}} \newcommand{\cN}{\mathcal{N}} \newcommand{\cO}{\mathcal{O}} \newcommand{\cP}{\mathcal{P}} \newcommand{\cQ}{\mathcal{Q}} \newcommand{\cR}{\mathcal{R}} \newcommand{\cS}{\mathcal{S}} \newcommand{\cT}{\mathcal{T}} \newcommand{\cU}{\mathcal{U}} \newcommand{\cV}{\mathcal{V}} \newcommand{\cW}{\mathcal{W}} \newcommand{\cX}{\mathcal{X}} \newcommand{\cY}{\mathcal{Y}} \newcommand{\cZ}{\mathcal{Z}} \newcommand{\rA}{\mathrm{A}} \newcommand{\rB}{\mathrm{B}} \newcommand{\rC}{\mathrm{C}} \newcommand{\rD}{\mathrm{D}} \newcommand{\rE}{\mathrm{E}} \newcommand{\rF}{\mathrm{F}} \newcommand{\rG}{\mathrm{G}} \newcommand{\rH}{\mathrm{H}} \newcommand{\rI}{\mathrm{I}} \newcommand{\rJ}{\mathrm{J}} \newcommand{\rK}{\mathrm{K}} \newcommand{\rL}{\mathrm{L}} \newcommand{\rM}{\mathrm{M}} \newcommand{\rN}{\mathrm{N}} \newcommand{\rO}{\mathrm{O}} \newcommand{\rP}{\mathrm{P}} \newcommand{\rQ}{\mathrm{Q}} \newcommand{\rR}{\mathrm{R}} \newcommand{\rS}{\mathrm{S}} \newcommand{\rT}{\mathrm{T}} \newcommand{\rU}{\mathrm{U}} \newcommand{\rV}{\mathrm{V}} \newcommand{\rW}{\mathrm{W}} \newcommand{\rX}{\mathrm{X}} \newcommand{\rY}{\mathrm{Y}} \newcommand{\rZ}{\mathrm{Z}} \newcommand{\pv}{\overline} \newcommand{\iu}{\mathrm{i}} \newcommand{\ju}{\mathrm{j}} \newcommand{\im}{\mathrm{i}} \newcommand{\e}{\mathrm{e}} \newcommand{\real}{\operatorname{Re}} \newcommand{\imag}{\operatorname{Im}} \newcommand{\Arg}{\operatorname{Arg}} \newcommand{\Ln}{\operatorname{Ln}} \DeclareMathOperator*{\res}{res} \newcommand{\re}{\operatorname{Re}} \newcommand{\im}{\operatorname{Im}} \newcommand{\arsinh}{\operatorname{ar\,sinh}} \newcommand{\arcosh}{\operatorname{ar\,cosh}} \newcommand{\artanh}{\operatorname{ar\,tanh}} \newcommand{\sgn}{\operatorname{sgn}} \newcommand{\diag}{\operatorname{diag}} \newcommand{\proj}{\operatorname{proj}} \newcommand{\rref}{\operatorname{rref}} \newcommand{\rank}{\operatorname{rank}} \newcommand{\Span}{\operatorname{span}} \newcommand{\vir}{\operatorname{span}} \renewcommand{\dim}{\operatorname{dim}} \newcommand{\alg}{\operatorname{alg}} \newcommand{\geom}{\operatorname{geom}} \newcommand{\id}{\operatorname{id}} \newcommand{\norm}[1]{\lVert #1 \rVert} \newcommand{\tp}[1]{#1^{\top}} \renewcommand{\d}{\mathrm{d}} \newcommand{\sij}[2]{\bigg/_{\mspace{-15mu}#1}^{\,#2}} \newcommand{\abs}[1]{\lvert#1\rvert} \newcommand{\pysty}[1]{\left[\begin{array}{@{}r@{}}#1\end{array}\right]} \newcommand{\piste}{\cdot} \newcommand{\qedhere}{} \newcommand{\taumatrix}[1]{\left[\!\!#1\!\!\right]} \newenvironment{augmatrix}[1]{\left[\begin{array}{#1}}{\end{array}\right]} \newenvironment{vaugmatrix}[1]{\left|\begin{array}{#1}}{\end{array}\right|} \newcommand{\trans}{\mathrm{T}} \newcommand{\EUR}{\text{\unicode{0x20AC}}} \newcommand{\SI}[3][]{#2\,\mathrm{#3}} \newcommand{\si}[2][]{\mathrm{#2}} \newcommand{\num}[2][]{#2} \newcommand{\ang}[2][]{#2^{\circ}} \newcommand{\meter}{m} \newcommand{\metre}{\meter} \newcommand{\kilo}{k} \newcommand{\kilogram}{kg} \newcommand{\gram}{g} \newcommand{\squared}{^2} \newcommand{\cubed}{^3} \newcommand{\minute}{min} \newcommand{\hour}{h} \newcommand{\second}{s} \newcommand{\degreeCelsius}{^{\circ}C} \newcommand{\per}{/} \newcommand{\centi}{c} \newcommand{\milli}{m} \newcommand{\deci}{d} \newcommand{\percent}{\%} \newcommand{\Var}{\operatorname{Var}} \newcommand{\Cov}{\operatorname{Cov}} \newcommand{\Corr}{\operatorname{Corr}} \newcommand{\Tasd}{\operatorname{Tasd}} \newcommand{\Ber}{\operatorname{Ber}} \newcommand{\Bin}{\operatorname{Bin}} \newcommand{\Geom}{\operatorname{Geom}} \newcommand{\Poi}{\operatorname{Poi}} \newcommand{\Hyperg}{\operatorname{Hyperg}} \newcommand{\Tas}{\operatorname{Tas}} \newcommand{\Exp}{\operatorname{Exp}} \newcommand{\tdist}{\operatorname{t}} \newcommand{\rd}{\mathrm{d}}\]

Rationaalifunktion integrointi

Rationaalifunktio on muotoa

\[\frac{p(x)}{q(x)},\]

missä \(p\) ja \(q\) ovat reaalikertoimisia polynomifunktioita. Jokainen rationaalifunktio voidaan integroida alkeisfunktioita käyttäen. Tarkastellaan seuraavassa integrointimenetelmän vaiheita.

Jos polynomin \(p\) aste on suurempi tai yhtä suuri kuin polynomin \(q\) aste, niin jakolaskulla saadaan

\[\frac{p(x)}{q(x)}=r(x)+\frac{s(x)}{q(x)},\]

missä \(r\) ja \(s\) ovat polynomeja ja polynomin \(s\) aste on pienempi kuin polynomin \(q\) aste.

Esimerkki 1.4.1

Laske \(\displaystyle\int \frac{x^3+x-2}{x+1}\,\d x\).

Piilota/näytä ratkaisu

Integroitavan rationaalifunktion osoittajan polynomin aste on korkempi kuin nimittäjän, joten se voidaan jakaa jakokulmassa:

Jakokulmasta nähdään, että jako ei mene tasan ja siis

\[\frac{x^3+x-2}{x+1}=x^2-x+2-\frac{4}{x+1}.\]

Näin ollen

\[\int \frac{x^3+x-2}{x+1}\,\d x=\frac{x^3}{3}-\frac{x^2}{2}+2x-4\ln|x+1|+C.\qedhere\]

Kuten edellisestä esimerkistäkin nähtiin, polynomi \(r\) osataan helposti integroida, joten riittää osata integroida \(p(x)/q(x)\) tapauksessa, jossa polynomin \(p\) aste on pienempi kuin polynomin \(q\) aste. Oletetaan seuraavassa, että näin on (tee ensin tarvittaessa jakolasku). Polynomi \(q\) voidaan jakaa mahdollisimman alhaista astetta oleviin 1. ja 2. asteen reaalikertoimisiin tekijöihin. Nyt

\[\begin{aligned} q(x)&=a(x-a_1)^{m_1}\cdots(x-a_j)^{m_j}(x^2+b_1x+c_1)^{n_1}\cdots(x^2+b_kx+c_k)^{n_k}, \end{aligned}\]

missä \(a\in\R\), polynomin \(q\) reaaliset erilliset juuret ovat \(a_1,\ldots,a_j\), \(m_i\) on juuren \(a_i\) kertaluku ja polynomeilla \(x^2+b_ix+c_i\) on kompleksiset juuret. Tällöin rationaalifunktiolle \(p(x)/q(x)\) voidaan muodostaa osamurtokehitelmä (partial fraction)

\[\frac{p(x)}{q(x)}=F_1(x)+F_2(x)+\cdots+F_n(x),\]

missä rationaalifunktiot \(F_\ell\) (niin sanotut osamurtoluvut) muodostuvat seuraavasti. Jokaista polynomin \(q\) muotoa \((ax-b)^m\) olevaa tekijää vastaa osamurtoluvut

\[\frac{A_1}{(ax-b)}+\frac{A_2}{(ax-b)^2}+\cdots+\frac{A_m}{(ax-b)^m}\]

ja jokaista polynomin \(q\) muotoa \((ax^2+bx+c)^n\) olevaa tekijää vastaa osamurtoluvut

\[\frac{B_1x+C_1}{ax^2+bx+c}+\frac{B_2x+C_2}{(ax^2+bx+c)^2}+\cdots+\frac{B_nx+C_n}{(ax^2+bx+c)^n}.\]

Nämä osamurtoluvut ovat sellaista muotoa, jotka osataan integroida ja siten

\[\int\frac{p(x)}{q(x)}\,\d x\]

saadaan laskettua osamurtolukujen integraalien summana.

Kysymys 1

Valitse yksi oikea väittämä.

Kaikkia rationaalifunktioita ei voida integroida,

Sellainen rationaalifunktio, jonka nimittäjän aste on pienempi kuin osoittajan, voidaan integroida käyttäen osamurtokehitelmää,

Vain tietyt rationaalifunktiot voidaan integroida,

Kaikki rationaalifunktiot on mahdollista integroida alkeisfunktioita hyödyntäen,

Mikään rationaalifunktio ei ole integroituva,

Osamurtokehitelmässä osoittajan ja nimittäjän asteet ovat yhtä suuret.

Esimerkki 1.4.2

Laske \(\displaystyle\int\frac{4x-9}{x^2-8x+15}\,\d x\).

Piilota/näytä ratkaisu

Nimittäjäpolynomilla \(x^2-8x+15\) on kaksi nollakohtaa \(x=3\) ja \(x=5\), joten \(x^2-8x+15=(x-3)(x-5)\). Niinpä

\[\frac{4x-9}{x^2-8x+15}=\frac{A}{x-3}+\frac{B}{x-5}\]

joillakin vakioilla \(A\) ja \(B\). Niiden selvittämiseksi lavennetaan oikean puolen termit samannimisiksi, jolloin

\[\frac{4x-9}{x^2-8x+15}=\frac{A(x-5)+B(x-3)}{x^2-8x+15} = \frac{(A+B)x -5A -3B}{x^2-8x+15},\]

eli vertailemalla vastinpotenssien kertoimia saadaan yhtälöpari

\[\begin{split}\begin{cases} 4=A+B,\\ -9=-5A-3B, \end{cases}\end{split}\]

josta \(A=-\frac{3}{2}\) ja \(B=\frac{11}{2}\). Siis

\[\begin{split}\begin{aligned} \int\frac{4x-9}{x^2-8x+15}\,\d x &=-\frac{3}{2}\int\frac{\d x}{x-3}+\frac{11}{2}\int\frac{\d x}{x-5}\\ &=-\frac{3}{2}\ln|x-3|+\frac{11}{2}\ln|x-5|+C. \end{aligned}\end{split}\]

Esimerkki 1.4.3

Laske \(\displaystyle\int\frac{1}{x(x-1)^2}\,\d x\).

Piilota/näytä ratkaisu

Nimittäjäpolynomi on suoraan tekijämuodossa, joten voidaan muodostaa osamurtokehitelmä

\[\frac{1}{x(x-1)^2}=\frac{A}{x}+\frac{B}{x-1}+\frac{C}{(x-1)^2} =\frac{A(x^2-2x+1)+B(x^2-x)+Cx}{x(x-1)^2},\]

josta vastinpotenssien kertoimia tutkimalla saadaan yhtälöryhmä

\[\begin{split}\begin{cases} 0=A+B,\\ 0=-2A-B+C, \\ 1 = A. \end{cases}\end{split}\]

Yhtälöparin ratkaisu on \(A=1\), \(B=-1\) ja \(C=1\). Niinpä

\[\begin{split}\begin{aligned} \int\frac{1}{x(x-1)^2}\,\d x &=\int\frac1x\,\d x-\int\frac{1}{x-1}\,\d x+\int\frac{1}{(x-1)^2}\,\d x\\ &=\ln|x|-\ln|x-1|-\frac{1}{x-1}+C\\ &=\ln\left|\frac{x}{x-1}\right|-\frac{1}{x-1}+C. \end{aligned}\end{split}\]

Esimerkki 1.4.4

Laske \(\displaystyle\int\frac{1}{x(x^2+1)^2}\,\d x\).

Piilota/näytä ratkaisu

Toisen asteen tekijällä \(x^2+1\) on kompleksiset juuret \(x=\pm i\), joten nimittäjäpolynomi on suoraan tekijämuodossa ja voidaan muodostaa osamurtokehitelmä

\[\frac{1}{x(x^2+1)^2}=\frac{A}{x}+\frac{Bx+C}{x^2+1}+\frac{Dx+E}{(x^2+1)^2}.\]

Laventamalla saadaan \(A=1\), \(B=-1\), \(C=0\), \(D=-1\) ja \(E=0\), joten

\[\begin{split}\begin{aligned} \int\frac{1}{x(x^2+1)^2}\,\d x &=\int\frac{1}{x}\,\d x-\int\frac{x}{x^2+1}\,\d x-\int\frac{x}{(x^2+1)^2}\,\d x\\ &=\ln|x|-\frac12\ln(x^2+1)+\frac12\frac{1}{x^2+1}+C\\ &=\ln\frac{|x|}{\sqrt{x^2+1}}+\frac{1}{2(x^2+1)}+C. \end{aligned}\end{split}\]

Muotoa

\[\int\frac{Bx+C}{x^2+bx+c}\,\d x\]

oleva osamurtoluvun integraali palautuu helpommin käsiteltävään muotoon täydentämällä jakaja neliöksi ja tekemällä sopiva sijoitus.

Esimerkki 1.4.5

Laske \(\displaystyle\int\frac{6x-11}{x^2-8x+25}\,\d x\).

Piilota/näytä ratkaisu

Nimittäjän juuret ovat kompleksiluvut \(3\pm i4\), joten integroitava funktio on valmiiksi osamurtomuodossa. Neliöimällä nimittäjä saadaan

\[x^2-8x+25=x^2-8x+16+9=(x-4)^2+9.\]

Sijoitetaan \(u=x-4\), jolloin \((x-4)^2+9=u^2+9\), \(x=u+4\) ja \(\d x=\d u\). Siis

\[\begin{split}\begin{aligned} \int\frac{6x-11}{x^2-8x+25}\,\d x &=6\int\frac{u}{u^2+9}\,\d u+13\int\frac{\d u}{u^2+9}\\ &=3\ln\big(u^2+9\big)+\frac{13}{3}\arctan\frac{u}{3}+C\\ &=3\ln\big(x^2-8x+25\big)+\frac{13}{3}\arctan\frac{x-4}{3}+C. \end{aligned}\end{split}\]

Palautusta lähetetään...