Función racional

En matemáticas, una función racional de una variable es una función que puede ser expresada de la forma:

donde P y Q son polinomios en la variable , y siendo Q distinto del polinomio nulo, esta fracción es irreducible, es decir que las ecuaciones P(x) = 0 y Q(x) = 0 carecen de raíces comunes. Esta definición puede extenderse a un número finito pero arbitrario de variables, usando polinomios de varias variables:

La palabra "racional" hace referencia a que la función racional es una razón o cociente (de dos polinomios); los coeficientes de los polinomios pueden ser números racionales.

Las funciones racionales tienen diversas aplicaciones en el campo del análisis numérico para interpolar o aproximar los resultados de otras funciones más complejas, ya que son computacionalmente simples de calcular como los polinomios, pero permiten expresar una mayor variedad de comportamientos.

Análisis de funciones racionales

Ceros 
Una función racional vale 0 solo si su numerador vale 0. Podría decirse, las raíces de una función racional 

son las raíces del polinomio del numerador P(x). Por ejemplo, la función  , definida en todos los números reales menos el -3, tiene como raíces a los valores donde , esto es    y  .

Asíntotas verticales 
Las asíntotas verticales son rectas de la forma x=a. En una función racional, las asíntotas verticales están determinadas por los valores que anulan el denominador. Por ejemplo, la función  tiene una asíntota vertical de ecuación

Asíntotas horizontales 
Las asíntotas horizontales son rectas de la forma . En una función racional, las asíntotas horizontales están determinadas de la siguiente forma:

Sea 

, 

siendo P(x) y Q(x) polinomios y Q(x) no es nulo. Llamaremos "gr(A)" al grado de un polinomio A.

Si gr(Q)<gr(P) entonces f(x) no tiene asíntota horizontal.
Si gr(Q)>gr(P) entonces f(x) tiene una asíntota horizontal con ecuación y=0.
Si gr(P)=gr(Q) entonces f(x) tiene una asíntota horizontal con ecuación .

Por ejemplo, la función  no tiene asíntota horizontal, ya que el grado del polinomio del numerador es mayor que el grado del denominador.

Función homográfica 
Una función homografica es un tipo de función racional, donde el numerador es un polinomio de grado menor o igual que 1 y el denominador es un polinomio de grado uno. Es decir, una función de la forma:

siendo a, b, c, d números reales y c es no nulo. Si  el denominador es distinto de cero y si ad ≠ bc, su gráfica corresponde a una hipérbola . Aplicando el análisis de las funciones racionales, se puede hacer el mismo para las funciones homográficas.

Ceros 
Una función homografica vale 0 solo si su numerador vale 0. Si una función homografica la escribimos como  entonces su raíz está determinada por la raíz de ax+b. Véase que ax+b=0 si x= -b/a. Entonces la raíz de una función homografica es x= -b/a . Notar que si a=0, entonces la función racional no tiene raíces.

Asíntotas Verticales 
Sea la función  las asíntotas verticales están determinadas por los valores que anulan el denominador, es decir, las que anulen cx+d. Como el denominador es una función lineal, hay un solo valor que lo anula, y es x=-d/c.

Asíntotas horizontales 
Sea la función   con  no nulo, entonces la función tiene una asíntota horizontal de ecuación  , que es el cociente entre el coeficiente principal del numerador y el coeficiente principal del denominador. Si a=0, la función tiene una asíntota horizontal de ecuación y=0, ya que el grado del polinomio del denominador es mayor que el del numerador.

Forma estándar 
Otra forma en la que pueden presentarse las funciones homograficas son la siguiente:

 

donde  son números reales y  es no nulo.
A partir de esa expresión, se pueden leer más fácilmente los elementos de la función para hacer su gráfico. Hagamos una lectura previa de esa expresión con lo que ya sabemos.

La función   tiene como dominio  por lo tanto tiene asíntota vertical en x=C. Al mismo tiempo, el grado del polinomio del denominador es de grado 1, y el del denominador es 0 por ser una constate. Estamos en el caso donde la asíntota horizontal es .

Cuando a  le sumemos , este va a desplazar a la función de forma vertical (hacia arriba si  es positivo y hacia abajo si   es negativo), por lo tanto, también desplazara a su asíntota horizontal. La asíntota vertical se va a mantener ya que el dominio sigue siendo el mismo cuando sumemos  . Por lo tanto, siempre tendremos asíntota horizontal en  asíntota vertical en .

En este caso, si la función tiene asíntota horizontal en y=B, tenemos que  ya que la función nunca toca a la asíntota (y toma el valor B).

Caso B=0 
Si B=0 entonces la ecuación de la asíntota horizontal es y=0, por lo tanto, la función se acerca al eje x sin tocarlo. Tiene sentido pensar entonces que la función no tiene raíces, ya que   (B=0) nunca vale 0 porque A≠0.

La función es positiva cuando A y (x-C) tienen el mismo signo. Entonces:

Si A es un número positivo, f es positiva cuando x>C. Si A es un numeró negativo f es positiva cuando x<C.

Si A es un número negativo, f es positiva cuando x<C. Si A es un numeró negativo f es positiva cuando x>C.

Caso  y  
Si ,  , entonces la asíntota horizontal no es el eje x sino , por lo cual esta por encima o por debajo del eje, la asíntota vertical es .

Propiedades 
 Toda función racional es de clase  en un dominio que no incluya las raíces del polinomio Q(x).
 Todas las funciones racionales en las que el grado de Q sea mayor o igual que el grado de P tienen asíntotas (verticales, horizontales u oblicuas).
 Todas las funciones racionales cuyos coeficientes pertenecen a un cuerpo forman un cuerpo que incluye al cuerpo base como subcuerpo. El cuerpo de funciones racionales forma un subcuerpo del cuerpo de series de potencias formales.

Integración de funciones racionales 

Dada una función racional:

Si el denominador es un polinómico mónico  con k raíces diferentes, entonces admitirá la siguiente factorización en términos de polinomio irreducibles:

Si  entonces la función racional puede escribirse como combinación lineal de fracciones racionales de las formas:

Por lo que la integral de la función  es una combinación lineal de funciones de la forma  :

Obsérvese que lo anterior implica que las funciones racionales constituyen un cuerpo algebraico que es cerrado bajo la derivación, pero no bajo la integración.

Véase también 
 Fracción parcial

Referencias 

Variedades algebraicas
Racional
Racional
Fracciones