6
$\begingroup$

So I was bored and decided to figure out the indefinite integral of the absolute value function, $|x|$. Using integration by parts ($u=|x|, dv=dx$, $dx = \text{sgn}(x)=\frac{|x|}{x}$), it can be shown that $\displaystyle\int |x| dx = \frac{x |x|}{2}+C$.

Now I decided to take the integral again, finding that $\displaystyle\int\left(\int |x| dx \right) dx=\frac{x^2 |x|}{3}+C$. Continuing, I found the pattern in the title, that the $n$th indefinite integral of $|x|$ is $\displaystyle\frac{x^n |x|}{n+1}+C$. Is there a way to prove this general result?

  • 8
    It's not true. There should be a factorial in the denominator. The correct formula is $\underbrace{\int \ldots \int}_{n} |x| dx = \frac{x^n |x|}{(n+1)!}+p(x)$ for p a polynomial of degree 2010-10-09
  • 0
    are you sure? when I took the third integral I got a 4 in the denominator.2010-10-09
  • 0
    George is right. You need a factorial. I mean, it's almost the same as for $x^n$.2010-10-09
  • 6
    The formula [here](http://mathworld.wolfram.com/RepeatedIntegral.html) for an iterated integral might be of interest to you.2010-10-09

3 Answers 3

10

Yes, there is a way: Use Mathematical induction. I don't add more details because I think it's elementary, isn't it?

  • 1
    Another easy way would be to (1) compute the derivative of $|x|$, then (2) compute the derivative of $|x|^n$ using the chain rule.2010-10-09
  • 1
    not sure why I didn't think of that... I'll try it out and see.2010-10-09
  • 1
    @Ryan: (1) you can't compute derivative of |x| at 0, (2) I don't see how |x|^n relates to this problem.2010-11-11
  • 0
    @Marek, it's not clear to me what you're referring to by "can't compute derivative of..." Perhaps you meant to say the derivative does not exist at $0$? This is not relevant to my point. My point is the fundamental theorem of calculus allows you to compute integrals via anti-derivatives. So by computing a derivative you in principle must be computing anti-derivatives.2010-11-13
  • 0
    @Ryan: well, if it does not exist then you surely can't compute it, so I think that's pretty relevant to what you said. Also, you didn't address the second point: why |x|^n?2010-11-13
  • 0
    @Marek: Compute its derivative and you should see precisely why I made the suggestion. FYI you seem to be mistaking "computable" for "derivative exists". These are different notions.2010-11-13
  • 0
    @Ryan: this is getting weird and we are clearly not able to communicate with each other (or at least I don't follow you at all). So I propose we let it be.2010-11-13
7

Make the observation that $|x| = \theta(x) x - \theta(-x) x$ for all real $x$, where $\theta$ is the Heaviside function (evaluating to $1$ if the argument is positive and $0$ otherwise). It is known that \begin{eqnarray} \int \theta(x) \ x \ dx = \theta(x) \frac{x^{2}}{2} + C \quad \text{and} \quad \int \theta(-x) \ x \ dx = \theta(-x) \frac{x^{2}}{2} + C^{\prime}, \end{eqnarray} where $C$ and $C^{\prime}$ are constants of integration. The identity for $n = 1$ follows by subtraction and the representation of $|x|$ above. With $n$ integrations, we have \begin{eqnarray} \int \cdots \int |x| \ dx = \theta(x) \int \cdots \int x \ dx - \theta(-x) \int \cdots \int x \ dx = \frac{|x| x^{n}}{(n+1)!} + P_{n}, \end{eqnarray} where $P_{n}$ is a polynomial in $x$, as claimed.

  • 0
    I seen this message `Heaviside function` display to me before in my calculator. I wanted to ask what type of course(s) do they introduce this concept to students in because I have never heard about it yet in class.2011-06-23
  • 0
    @Night Owl: The Heaviside function $\theta(x)$ is defined in the following way: $\theta(x)$ is $0$ if $x < 0$ and $1$ otherwise. It is most often taught in a course of Differential Equations or Fourier Analysis.2011-06-23
3

The $C$ in the title of this question should be replaced by an arbitrary polynomial $p(x)$ of degree $\le n-1$. After all, we are talking of an $n$-fold integration here.

  • 0
    Your remark is correct, but should be a comment to the question or to my answer.2010-10-09
  • 0
    O.K., but then I didn't have the right to comment.2011-04-02