Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proving the non-existence of a function.

  1. Apr 24, 2012 #1
    Hello! I want to know more ways to show the non-existence of the elementary function N(x).
    Here's how N(x) is defined:
    g(x) : Any elementary function.
    [tex] N'(g(x)) = \frac{g(x)}{e^{N(g(x))}} [/tex]

    I've only thought of a single way to show this impossibility and it doesn't really develop my understanding of the "why" behind it very well. Here's how I went about it:

    If such a function N(x) were to exist then there could also be a function I(x) which could be defined as:
    [tex]I(g(x)) = e^{N(g(x))} [/tex]
    Which would mean:
    [tex]I'(g(x)) = g(x) [/tex]
    [tex]\int x^x dx = I(x^x) + C[/tex]
    The integral of x^x has been proven irreducible to elementary terms by Marchisotto and Zakeri and therefore N(x) cannot exist for it allows the existence of I(x).

    Would anyone else mind posting other lines of reasoning please?
  2. jcsd
  3. Apr 25, 2012 #2
    Do not confuse " irreducible to elementary terms" with "cannot exist".
    Obviuosly x^x exists, even if it is irreducible to elementary terms.
    Similary, N(x) possibly exists even if it is irreducible to elementary terms.
  4. Apr 25, 2012 #3
    Well I had said
    Under the specification that N(x) is an elementary function, it cannot exist as I have shown.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook