Challenge 3a: What's in a polynomial?

  • Context: Undergrad 
  • Thread starter Thread starter Office_Shredder
  • Start date Start date
  • Tags Tags
    Challenge Polynomial
Click For Summary

Discussion Overview

The discussion centers around the challenge of proving that the function f(x) = 2x is not a polynomial on ℝ. Participants explore various methods and reasoning to address this problem, which involves theoretical and mathematical reasoning.

Discussion Character

  • Exploratory
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant suggests using l'Hospital's rule to show that the limit of f(x) over any polynomial g(x) diverges, indicating that f(x) cannot be a polynomial.
  • Another participant introduces a method involving finite differences, claiming that for a polynomial of degree n, all elements of the nth difference are constant, which would not hold for an exponential function like 2^x.
  • A different approach is presented, where it is argued that if f(x) = 2x were a polynomial, then a contradiction arises from the product g(x)g(-x) being of degree 2n, leading to the conclusion that g(x) must be constant.
  • One participant notes that the limit of 2^x as x approaches negative infinity cannot be matched by any polynomial, as polynomials diverge in that limit.
  • Another participant points out that the nth derivative of 2^x is non-zero for all n, which contradicts the property of polynomials where the k+1th derivative becomes zero for polynomials of degree k.

Areas of Agreement / Disagreement

Participants present multiple competing views and methods to prove that f(x) = 2x is not a polynomial. There is no consensus on a single approach, as various solutions are offered and discussed.

Contextual Notes

Some arguments depend on specific interpretations of limits and derivatives, and the discussion does not resolve the nuances of these mathematical concepts.

Who May Find This Useful

This discussion may be of interest to those studying polynomial functions, limits, and derivatives in mathematics, as well as participants looking for diverse problem-solving approaches in theoretical contexts.

Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
Messages
5,706
Reaction score
1,592
In order to challenge a broader section of the forum, there is a part a and a part b to this challenge - if you feel that part b is an appropriate challenge, then I request you do not post a solution to part a as part a is a strictly easier question than part b.

The challenge: Prove that the function f(x) = 2x is not a polynomial on ℝ.
 
Mathematics news on Phys.org
Suppose [tex]g(x)=a_n x^n+\ldots a_0[/tex], with [tex]a_n\neq 0[/tex].
Then [tex]\lim_{x->\infty}\frac{f(x)}{g(x)}=\infty*sign(a_n)[/tex] by applying l'Hospital rule n times, for any fixed n and [tex]a_n[/tex].

Hence f(x) cannot be a polynomial else this limit should be 1 by choosing the coeffecient.
 
Nice solution jk22! Anybody have other ways of solving it?
 
Let P be a polynomial of degree n.

Define [itex]S_1=(a_{1,1},a_{1,2},...)[/itex] where [itex]a_{1,i}=P(i)[/itex]

Define [itex]S_2=(a_{2,1},a_{2,2,...})[/itex] where [itex]a_{2,i}=a_{1,i+1}-a_{1,i}[/itex]

Define [itex]S_3=(a_{3,1},a_{3,2},...)[/itex] where [itex]a_{3,i}=a_{2,i+1}-a_{2,i}[/itex]

and so on until [itex]S_n[/itex]

I claim that for a polynomial of degree n, all elements of [itex]S_n[/itex] are the same.

This is true because if [itex]P(x)= \sum_{k=0}^n b_kx^k[/itex], then I can form a polynomial [itex]P_2(x)= P(x+1)-P(x)= \sum_{k=0}^n b_k((x+1)^k-x^k)[/itex], which is of degree n-1 and agrees with my elements of [itex]S_2[/itex] ([itex]a_{2,i}=P_2(i)[/itex]). I can create a polynomial [itex]P_3[/itex] of degree [itex]n-2[/itex] which agrees with [itex]S_3[/itex] by the same process, etc. until I get to [itex]P_n[/itex] which has degree zero and must be a constant.

It is obvious that this will fail for an exponential.

Defining my sets [itex]S_n[/itex] the same way as above

[itex]S_1=(2^i | i \in (1,2,3,...))[/itex]

[itex]S_2=(2^{i+1}-2^i=2^i | i \in (1,2,3,...))[/itex]

[itex]S_1=S_2=...[/itex] Done.

I apologize for my lack of creativity.
 
Office_Shredder said:
In order to challenge a broader section of the forum, there is a part a and a part b to this challenge - if you feel that part b is an appropriate challenge, then I request you do not post a solution to part a as part a is a strictly easier question than part b.
As we have two solutions now, I guess I can add one?

Suppose f(x)=2x can be written as polynomial function g(x) of degree n.
Then g(x)g(-x)=2x 2-x = 1, but g(x)g(-x) has degree 2n. This gives n=0, so g(x) has to be constant -> contradiction.
 
Wow, I didn't realize there was such a simple solution. If I may add another [tex]\lim_{x \to -\infty} 2^x=0[/tex], which can not be the case for any polynomial since for [itex]a_n \neq 0[/itex] [tex]\lim_{x \to -\infty} \sum_{i=0}^n a_ix^i= \lim_{x \to -\infty}=x^n \sum_{i=0}^n \frac{a_i}{x^{n-i}}[/tex]. This product has to diverge (to negative or positive infinity depending on the sign of [itex]a_n[/itex] ) since I can make the sum arbitrarily close to a_i by taking x to be very negative.
 
Nice solutions HS. mfb, that's fine I just didn't want people coming through and blowing through all the low hanging fruit here before the people it was designed for got a chance to answer. That answer of yours is ridulously elegant!
 
mfb said:
As we have two solutions now, I guess I can add one?

Suppose f(x)=2x can be written as polynomial function g(x) of degree n.
Then g(x)g(-x)=2x 2-x = 1, but g(x)g(-x) has degree 2n. This gives n=0, so g(x) has to be constant -> contradiction.
Very nice!
 
I guess I am a bit late, but whatever. I just saw this problem xD

The function [itex]2^x[/itex] has n-th derivative [itex]\ln(2)^n*2^x[/itex].
In particular, all of it's n-th derivatives are non zero for x = 0.

This is impossible for any polynomial, as the k+1 th derivative will be 0 everywhere whenever k is the degree of the polynomial (a finite number).
 
Last edited:
  • #10
Boorglar, you aren't late as long as the forum's still open and you have a new solution. Nice and simple, I like it.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
7K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 66 ·
3
Replies
66
Views
8K
  • · Replies 5 ·
Replies
5
Views
7K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 93 ·
4
Replies
93
Views
16K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 42 ·
2
Replies
42
Views
12K