5
$\begingroup$

I need to find $S'(x)$ where:

$$S(x) = \int_1^{x^2}\frac{\sin{t}}{t} dt$$

My first thought was to solve the definite integral first getting a function that only depends on $x$ and then derivate that.

However, trying to find the primitive of $\frac{\sin t}{t}$ seems impossible. Wolfram Alpha gives me $\int\frac{\sin{t}}{t} dt=\mathrm{Si}(t)+C$ where $\mathrm{Si}(x)$ is the sine integral. So I don't get an expression that I can derivate but a definition.

On the other side this problem should be easier than that. Let me explain:

If $$F(x) = \int{x^2} dx$$ then $$F'(x) = x^2 +C$$

I should be able to apply that to $S(t)$ but how?

  • 1
    The sine integral is fine. Since $\mathrm{Si}(x)$ is defined as the integral of $\dfrac{\sin\,x}{x}$, it stands to reason that $\mathrm{Si}^\prime(x)=\dfrac{\sin\,x}{x}$.2011-12-18
  • 0
    Yeap, but my problem was how do you calculate the value of $Si(x^2)-Si(1)$ to find out the definite integral?2011-12-18
  • 0
    The chain rule remains applicable. $\mathrm{Si}(1)$ is constant, and $\dfrac{\mathrm d}{\mathrm dx}\mathrm{Si}(x^2)=\mathrm{Si}^\prime(x^2)\dfrac{\mathrm d}{\mathrm dx}x^2$...2011-12-18
  • 0
    True true, by definition $Si'(x) = \frac{sinx}{x}$!2011-12-18

1 Answers 1

8

Use the Fundamental Theorem of Calculus: $${d\over dx}\int_a^x f(t)\, dt=f(x)$$ and the chain rule.

So if $F(x)=\int_1^{x } {\sin t\over t}\,dt$, then $$S(x)=F(x^2)$$ and $${d\over dx}S (x)=F'(x^2)\cdot (x^2)'.$$

You have: $${d\over dx}\underbrace{\int_1^{x^2} {\sin t\over t}\,dt}_{F(x^2)}= \underbrace{\sin(x^2)\over x^2}_{F'(x^2)}\cdot (x^2)'=2x{\sin(x^2)\over x^2}.$$

  • 1
    @Dylan Moreland Thanks Dylan; I can never remember if it's the first or the second (or if this terminology is even consistent) :)2011-12-17
  • 0
    Same here. On Wikipedia and in Stewart (what I TA from) it's the "first", but why? Rudin doesn't call it anything!2011-12-17
  • 0
    I just call it the derivative of integral form of the FTOC.2011-12-17
  • 0
    Thanks this site rocks! After-all I might have a chance passing my finals.2011-12-17