En funktion är inom matematisk analys en rationell funktion om, och endast om, den kan skrivas på formen
![{\displaystyle f(x)={\frac {a_{m}x^{m}+a_{m-1}x^{m-1}+\dotsb +a_{1}x+a_{0}}{b_{n}x^{n}+b_{n-1}x^{n-1}+\dotsb +b_{1}x+b_{0}}}={\frac {P_{m}(x)}{Q_{n}(x)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f43c2cc2605352b702983198086592e39c7e2515)
där m och n är naturliga tal och koefficienterna
kan vara reella eller komplexa tal. Koefficienterna kan tillhöra en godtycklig kropp K och i detta fall talar man om rationella funktioner och rationella bråk över K. Värdena kan tillhöra alla kroppar L innehållande K.
Egenskaper
Figur 1: Den rationella funktionen
![{\displaystyle y={\frac {x^{2}-3x-2}{x^{2}-4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f34422d5e504da2510ad790b946b2af8d5515976)
. Asymptoterna är linjer parallella med koordinatsystemets axlar
Figur 2: Den rationella funktionen
![{\displaystyle y={\frac {x^{3}-2x}{2(x^{2}-5)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42b052f9a5a6814546910759e922317c909686c8)
har den räta och icke axelparallella linjen
![{\displaystyle y=x/2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/358ebb31b0c6b18c8be0873c784cb47c3d35619d)
som asymptot, då täljarens grad är lika med nämnarens grad + 1
En rationell funktion (röd) och dess asymptoter. I detta fall finns en icke-linjär asymptot (grön)
Varje rationell funktion P(z)/Q(z) kan skrivas som ett icke-reducerbart bråk R(z) = P(z)/Q(z), där P(z) och Q(z) saknar gemensamma nollställen (är relativt prima).
Om P har graden m och Q har graden n, sägs graden av R(z) vara endera paret (m, n) eller talet m.
En rationell funktions största definitionsmängd är mängden av alla värden för vilka Qn är nollskild. En funktion som inte är rationell, det vill säga inte kan uttryckas som en kvot av två polynom, kallas irrationell funktion, en benämning som dock sällan används för funktioner.
Om Pm har ett högre gradtal än Qn kan den rationella funktionen skrivas på formen
![{\displaystyle {\frac {P_{m}(x)}{Q_{n}(x)}}=f(x)+{\frac {r(x)}{Q_{n}(x)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ce9da59bf01e5e2afb8ab77a0be1fe8cdb0663e)
där r har ett lägre gradtal än Q, vilket kan åstadkommas genom polynomdivision.
Det är möjligt att dela upp en rationell funktion i partialbråk. Om z är reellt eller komplext och P(z):s grad m är mindre än Q(z):s grad n och koefficienten för den högsta termen i Q(z) är 1, låt
vara ett nollställe till Q(z) av multiplicitet
och där
så att
![{\displaystyle Q(z)=(z-z_{1})^{\alpha _{1}}(z-z_{2})^{\alpha _{2}}\cdots (z-z_{k})^{\alpha _{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/293416d073c4f6eef371d7a5a58fae93554095c3)
Den rationella funktionen P(z)/Q(z) kan då unikt representeras på formen
![{\displaystyle {\frac {P(z)}{Q(z)}}=\sum _{i=1}^{k}\sum _{v=1}^{\alpha _{i}}{\frac {A_{iv}}{(z-z_{i})^{v}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4516accc3dc10c416e4c19aa37816296cb9262ae)
där
är termer som återstår att bestämma.
Exempel
Den rationella funktion, som i sina huvuddrag avbildas i figur 2,
![{\displaystyle f(x)={\frac {x^{3}-2x}{2(x^{2}-5)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b61c0c51715402b52c938bf4f747e76cbf0d409)
är odefinierad för värdena
och den är asymptotisk till
när x går mot oändligheten.
Den rationella funktionen
är definierad för alla reella tal, men inte för alla komplexa tal, därför att om x är den imaginära enheten, leder en beräkning till division med noll:
,
vilket är odefinierat.
Asymptoter
Vid undersökning av en rationell funktion är, förutom derivatans nollställen, även nämnarens nollställen intressanta, eftersom nämnaren måste vara nollskild.
Det finns tre fall att undersöka med utgångspunkt i täljarens respektive nämnarens gradtal:
![{\displaystyle {\text{grad}}\ P(x)\ <\ {\text{grad}}\ Q(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df09837f72c5f006f3410369030c96cc46faa899)
- Funktionen har asymptoten x = a om
och vågräta asymptoter i de punkter där derivatan går mot noll. - Att hitta den vågräta asymptoten görs enklast genom att dividera med termen med högst gradtal i både täljare och nämnare och låta
.
![{\displaystyle {\text{grad}}\ P(x)\ =\ {\text{grad}}\ Q(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee8a513e7538fad37a92a03b27a5329466d43e41)
- Funktionen har de lodräta asymptoterna
om
och den vågräta asymptoten
där c är en konstant. - Även här förlängs bråket med 1 delat med högstagradstermen i både täljare och nämnare för att sedan låta
.
![{\displaystyle {\text{grad}}\ P(x)\ >\ {\text{grad}}\ Q(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb75e60d62c11d48ec22278b36f0ff0a83ede874)
- De lodräta asymptoterna erhålls som tidigare genom att sätta nämnaren till noll. I det fall då
förekommer en asymptot, vilken inte är axelparallell, (linjen
). Denna asymptots ekvation bestäms enklast genom polynomdivision av
med
och sedan låta
→
.
Exempel
Med användning av exemplet i figur 1:
![{\displaystyle y={\frac {x^{2}-3x-2}{x^{2}-4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f34422d5e504da2510ad790b946b2af8d5515976)
De lodräta asymptoterna är linjerna som svarar mot nämnarens nollställen:
De vågräta asymtoterna kan bestämmas genom att låta x gå mot oändligheten. Dividera med högstagradstermen i både täljare och nämnare:
![{\displaystyle \lim _{x\to \infty }y=\lim _{x\to \infty }{\frac {x^{2}-3x-2}{x^{2}-4}}=\lim _{x\to \infty }{\frac {1-{\cfrac {3}{x}}-{\cfrac {2}{x^{2}}}}{1-{\cfrac {4}{x^{2}}}}}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8d26ad2f3677558e3c2fe63c44861f22e3d66a1)
Den vågräta asymptoten är alltså y = 1.
Det går också att använda polynomdivision, vilket ger likheten
![{\displaystyle y={\frac {x^{2}-3x-2}{x^{2}-4}}=1+{\frac {2-3x}{x^{2}-4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c624e79f8e7fad3d1b6e36e8ef82d4f4833e79b)
När x går mot oändligheten går y mot
![{\displaystyle \lim _{x\to \infty }\left(1+{\frac {2-3x}{x^{2}-4}}\right)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c2c33042cb971d566d70e009e0fba594b361afc)
och den vågräta asymptoten är således y = 1
Rationella funktioner som integrander
Till skillnad från de polynom på vilka rationella funktioner bygger, är det ofta ganska svårt att hitta primitiva funktioner då integranden är en rationell funktion. För integrering av rationella funktioner krävs ofta transformationer eller utnyttjande av kända integraler, vilket kan kräva omvandling av integranden till någon eller några av dessa kända former. Exempel på sådana integraler:
![{\displaystyle \int {\frac {1}{mx+a}}dx={\frac {1}{m}}\cdot \ln(mx+a)+C;\quad m,a\in \mathbb {R} ,m\neq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7573515b5b65b8940f0c6a1d87b07ab77d1af14f)
![{\displaystyle \int {\frac {1}{(mx+a)^{n}}}dx={\frac {1}{m}}\cdot {\frac {-1}{n-1}}\cdot {\frac {1}{(mx+a)^{n-1}}}+C;\quad m,a\in \mathbb {R} ,m\neq 0,n\in \mathbb {N} \setminus \{0;1\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb2e8d3d52c61a8336d60fadcd5fd1d650e0b685)
eller ![{\displaystyle =-{\rm {arccot(x)+C}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/236b17e21c803727bf3a0b98888376307c3a7bd2)
![{\displaystyle \int {\frac {1}{x^{2}-1}}dx=\operatorname {artanh} (x)+C={\frac {1}{2}}\ln \left({\frac {1+x}{1-x}}\right);\quad |x|<1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5752125012a1b50687ccee5a9ffdb3a940a3d6c)
![{\displaystyle \int {\frac {1}{x^{2}-1}}dx=\operatorname {arcoth} (x)+C={\frac {1}{2}}\ln \left({\frac {x+1}{x-1}}\right);\quad |x|>1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c633483cf5bbf12a1e4af3b04d96b0b0b0b70d50)
![{\displaystyle \int {\frac {u'(x)}{u(x)}}dx=\ln |u(x)|+C;\quad u(x)\neq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34d553fe2597fd06a58f7bc8eab7593848b5a263)
Exempel
Bestäm integralen av
![{\displaystyle f(x)={\frac {5x-1}{3x+2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/295535b771c0aeea403da365814a0340748c1626)
Efter polynomdivision kan f skrivas
.
Genom att tillämpa den första regeln är en möjlig primitiv funktion
![{\displaystyle F(x)={\frac {5}{3}}x-{\frac {13}{9}}\ln(9x+6)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c62d1140d1a8a207c3abba5cfbdf19abe5f7419)
Användning
Inom komplex analys ses rationella funktioner som avbildningar inom riemannsfären och specialfallet då båda polynomen i funktionen är linjära kallas Möbiusavbildning.
Inom abstrakt algebra är mängden av alla rationella funktioner över en kropp fraktionskroppen till polynomringen över kroppen.
Källor
- Hazewinkel, Michiel, red. (2001), ”Rational function”, Encyclopedia of Mathematics, Springer, ISBN 978-1556080104