1
$\begingroup$

The following expressions in examples aren't polynomial expressions:

$$2x^2-5x+(3/x)$$ $$9- \sqrt x$$

Neither they are rational expressions, I've been just told that by book. but then what do you call them?

  • 2
    Functions?${}{}$2011-10-09
  • 1
    The first one is a rational function: $$2x^2-5x+3/x=\frac{2x^3-5x^2+3}{x}$$2011-10-09
  • 0
    I'm not sure what the context is, but under many understandings the first one could be called rational.2011-10-09

2 Answers 2

3

The two examples you gave are both algebraic functions, i.e. functions that satisfy a polynomial equation whose coefficients are rational functions. For example, $$f=9-\sqrt{x}$$ satisfies the polynomial equation $$(y-9)^2-x=y^2-18y+(81-x)=0,$$ i.e. $y=f$ is a root of this polynomial, and the coefficients of the polynomial are the rational functions $1$, $-18$, and $81-x$. However, as has been pointed out in the comments, $$g=2x^2-5x+\tfrac{3}{x}$$ is itself a rational function, so there is a particularly simple polynomial it satisfies (specifically, a linear polynomial) $$y-(2x^2-5x+\tfrac{3}{x})=0.$$

  • 0
    the rational function $2x^2-5x+3/x$ satisfies that equation but that's not what you want to say, right?2011-10-09
  • 0
    No, it is what I want to say. What do you think I should be saying?2011-10-09
  • 0
    I up-voted your answer, since it is the right answer to the question, but I think I'd like to second Rayleigh's complaint about your examples. Following your example, we can conclude that log x and sin(x) and erf(x) are algebraic functions, since they satisfy y - log x = 0 and y - exp(x) = 0 and y - erf(x) = 0. I think you want the equation they satisfy to be polynomials, which yours is not.2011-10-10
  • 0
    @ziggurism: Thank you for your upvote! Actually, we can't conclude that, because $\log$ and $\exp$ and $\text{erf}$ aren't **rational** functions, so the expressions $y-\log(x)$ etc. are not polynomials with coefficients that are rational functions, so the fact that $\log(x)$ etc. satisfy them does not imply that they are algebraic.2011-10-10
  • 0
    Yes, I see. Your definition was an algebraic function is one who satisfies a polynomial equation whose coefficients are rational functions. In that case, my previous comment was incorrect, and what you said is correct. A rational function satisfies a trivial polynomial. I started to write further that I thought it would be more natural to define an algebraic function as one satisfying a polynomial with real (or perhaps even integer) coefficents, in analogy with algebraic numbers. So $9- \sqrt x$ is the inverse of $(9 - y)^2$. But this doesn't do the job. You can't make $1/x$ this way.2011-10-10
  • 0
    Of course, not all algebraic functions can be written as linear combinations of powers of $x$, as in the two examples given in the original post.2011-10-10
0

I suppose you could call them Puiseux polynomials by analogy with Puiseux series, though I'm not sure anyone has ever done so.

  • 0
    You can call them Puiseux series!2011-10-10
  • 0
    @Mariano, sure, but then you could call polynomials "power series," and you'd be losing information if you did. By the way, I have found that the computer algebra program SAGE actually uses the term, "Puiseux polynomials," see http://trac.sagemath.org/sage_trac/ticket/92892011-10-10