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?

  • 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?

  • 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
    @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
    O.K., but th$e$n I didn't hav$e$ th$e$ right to comm$e$nt.2011-04-02