5
$\begingroup$

I know this question may sound naïve but why can't we write $\int e^{x^2} dx$ as $\int e^{2x} dx$? The former does not have an antiderivative, while the latter has.

In light of this question, what are sufficient conditions for a function NOT to have an antiderivative. That is, do we need careful examination of a function to say it does not have an antiderivative or is there any way that once you see the function, you can right away say it does not have an antiderivative?

$\endgroup$
  • 15
    $\begingroup$ Maybe because $x^2$ isn't the same as $2x$? $\endgroup$ – Lord Shark the Unknown Apr 21 at 17:56
  • 5
    $\begingroup$ $$e^{x^2}=e^{x\cdot x}\neq e^x\cdot e^x = e^{x+x}=e^{2x}$$ $\endgroup$ – Don Thousand Apr 21 at 17:57
  • 3
    $\begingroup$ $(e^x)^2$ would be where you use the rule that you're thinking of. $\endgroup$ – Tartaglia's Stutter Apr 21 at 17:58
  • 1
    $\begingroup$ @DonThousand OP - "what are sufficient conditions for a function NOT to have an antiderivative" $\endgroup$ – Peter Foreman Apr 21 at 18:01
  • 2
    $\begingroup$ @DonThousand That is written within the question itself right after "In light of this question" $\endgroup$ – Peter Foreman Apr 21 at 18:02
8
$\begingroup$

As you might have realised, exponentiation is not associative:

$$\left(a^b\right)^c \ne a^\left(b^c\right)$$

So what should $a^{b^c}$ mean? The convention is that exponentiation is right associative:

$$a^{b^c} = a^\left(b^c\right)$$

Because the otherwise left-associative exponentiation is just less useful and redundant, as it can be represented by multiplication inside the power (again as you might have realised):

$$a^{bc} = \left(a^b\right)^c$$

Wikipedia on associativity of exponentiation.

$\endgroup$
4
$\begingroup$

To answer the titular question, there's a result in real analysis that shows that derivatives have the intermediate value property (just like continuous functions). It follows that a function that skips values cannot be the derivative of anything in the usual sense. This implies that functions with jump discontinuities (like the Heaviside step, for example) cannot be the derivative of anything.

$\endgroup$
  • $\begingroup$ Correct me if I am wrong, but that does not explain why $e^{x^2}$ has no antiderivative, right? I understand you are answering the titular question. $\endgroup$ – Rob Apr 21 at 18:50
  • 6
    $\begingroup$ $e^{x^2}$ does have an antiderivative, but it can't be expressed in terms of elementary functions. Having an antiderivative and having an elementary antiderivative are not the same thing. $\endgroup$ – MathIsFun7225 Apr 21 at 19:16
  • $\begingroup$ @MathIsFun I see your point. I had the wrong understanding then! Thanks for pointing it out $\endgroup$ – Rob Apr 21 at 22:28
3
$\begingroup$

Liouville's theorem:

In mathematics, Liouville's theorem, originally formulated by Joseph Liouville in 1833 to 1841, places an important restriction on antiderivatives that can be expressed as elementary functions.

The antiderivatives of certain elementary functions cannot themselves be expressed as elementary functions. A standard example of such a function is $e^{-x^2}$, whose antiderivative is (with a multiplier of a constant) the error function, familiar from statistics. Other examples include the functions $\frac{ \sin ( x ) }{ x }$ and $ x^x $.

From wikipedia. See the article for more details.

$\endgroup$
2
$\begingroup$

The exponential expression $a^{b^c}$ is equal to $a^{(b^c)}$. It is not equal to $(a^b)^c=a^{b\cdot c}$ as you seem to think it is. In general an exponential is evaluated from right to left with the highest term evaluated first. That is to say $$\large{x_0^{x_1^{x_2^{\dots^{x_n}}}}=x_0^{\left(x_1^{\left(x_2^{\left(\dots^{(x_n)}\right)}\right)}\right)}}$$

For the second part of your question see this duplicate.

$\endgroup$
  • $\begingroup$ I didn't think $a^{(b^c)} = (a^b)^c$. Once we put parentheses it is all clear. But I think one would not be wrong for interpreting $e^{x^2}$ as $e^{2x}$, since without parentheses it can mean both things . Am I correct? $\endgroup$ – Rob Apr 21 at 18:16
  • 1
    $\begingroup$ NO! Without parentheses the expression $a^{b^c}$ is always equal to $a^{\left(b^c\right)}$. See here - en.wikipedia.org/wiki/Exponentiation#Identities_and_properties $\endgroup$ – Peter Foreman Apr 21 at 18:17
  • $\begingroup$ I see! Well, I learnt something new that bothered me for a long time. So $e ^ {x^2}$ is understood as $e^{(x^2)}$. Also the link you sent, which I could not find at first, is very interesting but a little advanced for me. $\endgroup$ – Rob Apr 21 at 18:28

Not the answer you're looking for? Browse other questions tagged or ask your own question.