3
$\begingroup$

We are told that

$$\displaystyle \int_0^x f(t) \, dt = 2\cos x + 3x + 2$$

and are asked to find $f$. If we apply the Fundamental Theorem of Calculus, then

$$\displaystyle f(x) = \frac{d}{dx}\int_0^x f(t) \, dt = -2\sin x + 3$$

but

$$\displaystyle \int_0^x -2\sin t + 3 \, dt = 2\cos x+3x - 2$$

It seems to me that the problem stems from using the FTC: Since I don't know anything about $f$, I cannot apply it. My question is: How exactly do I go about finding $f$ ?

  • 8
    Something is not quite right... letting $x=0$ in the first equation gives $0=4$? Could be a typo, should be $-2$ instead of $+2$.2012-04-06
  • 0
    It didn't occur to me to check the first equation. I knew something was fishy. I am convinced that it is a typo. Thanks.2012-04-06

1 Answers 1

4

As noted, you probably need to have a $-2$ instead of $+2$, as you can see by setting $x=0$.

But the reason I am adding this answer is that, strictly speaking, there are an infinite number of such $f$!

For instance, given one such $f$ (which you found by differentiating) you can pick any point, and change the value of $f$ to be arbitrary without affecting the value of the integrals.

One can in fact show that if $f$ and $g$ are two such function, then they differ only on a set of measure $0$.

This we can show using two theorems:

1) A bounded function $f$ is Riemann integrable iff the set of discontinuities of $f$ is of measure $0$.

2) If $f$ is Lebesgue integrable on $[a,b]$ and $F(x) = \int_{0}^{x} f $ (Lebesgue integral, which is also the Riemann integral in this case), and if $f$ is continuous at $x_0$, then $F$ is differentiable at $x_0$ and $F'(x_0) = f(x)$.

  • 0
    You are absolutely right. Thank you for pointing this out.2012-04-06
  • 0
    This is a volterra integral equation right?2012-04-06
  • 0
    @Keaton: No idea.2012-04-06
  • 0
    I only say because you can solve for eigenfunctuons and values which can be of use depending on what you want out of this.2012-04-06
  • 0
    @Keaton: Sorry, I am not familar with volterra integral equation.2012-04-06
  • 1
    @Keaton: If you regard it as a [volterra integral equation](http://en.wikipedia.org/wiki/Volterra_integral_equation), then you will have a trivial kernel.2012-04-06