Video Transcript
Find the derivative of the function
π of π₯ is equal to the definite integral from three π₯ to four π₯ of π’ squared
minus three all divided by π’ squared plus five with respect to π’.
Weβre given a function π of
π₯. And we can see this is a definite
integral where both of the limits of integration are functions in π₯. And weβre asked to find the
derivative of this function. Since weβre trying to differentiate
a function where the limits of integration are functions in π₯, weβll try and do
this by using the fundamental theorem of calculus.
So weβll start by recalling the
following part of the fundamental theorem of calculus. If lowercase π is a continuous
function on a closed interval from π to π and we have capital πΉ of π₯ is the
definite integral from π to π₯ of lowercase π of π’ with respect to π’, then
capital πΉ prime of π₯ will be equal to lowercase π of π₯ for all values of π₯ in
the open interval from π to π. In other words, this part of the
fundamental theorem of calculus gives us a way of differentiating a function defined
by an integral.
However, the function weβre asked
to differentiate in the question, π of π₯, is very different to our definition of
capital πΉ of π₯. First, the lower limit of
integration is supposed to be a constant. However, weβre given this as a
function in π₯. Thereβs a similar story for our
upper limit of integration. Itβs supposed to be π₯, but weβre
given a function in π₯. However, we can get around both of
these problems by using what we know about definite integrals and the chain
rule.
The first thing weβre going to need
to recall is one of our rules for definite integrals. To get around the problem of not
having a constant limit of integration, weβre going to want to split our definite
integral into two definite integrals. We know the following rule for
definite integrals. The integral from π to π of π of
π’ with respect to π’ is equal to the integral from π to π of π of π’ with
respect to π’ plus the integral from π to π of π of π’ with respect to π’. But thereβs some important
information about this rule which we need to clarify.
The most important of these is this
will only be true if our function π is integrable on all of these domains of
integration. In particular, our function π must
be integrable on the closed interval from π to π and the closed interval from π
to π. We want to use this to rewrite our
function π of π₯. So by using the upper limit of
integration as four π₯, the lower limit of integration as three π₯, and our function
lowercase π of π’ as π’ squared minus three divided by π’ squared plus five, we
would get the integral from π to four π₯ of π’ squared minus three divided by π’
squared plus five with respect to π’ plus the integral from three π₯ to π of π’
squared minus three all divided by π’ squared plus five with respect to π’.
But remember, we also need our
function to be integrable on both of these domains of integration. In particular, we need to choose a
value of the constant π. In this case, we could actually
choose any value of the constant π. To explain why, letβs take a look
at our integrand. Our integrand is the quotient of
two polynomials. This means itβs a rational
function. And we know rational functions will
be continuous across their entire domain. And if a function is continuous on
an interval, then itβs also integrable on that interval. So all we need to do is check the
domain of our function lowercase π of π’. Itβs a rational function, so it
will be defined for all values of π’ except where its denominator is equal to
zero.
And if we solve the denominator π’
squared plus five is equal to zero, weβll see that we get no real solutions. So our integrand is defined for all
real values of π’. Meaning itβs continuous for all
real values of π’, meaning itβs integrable on any interval. So in this case, we can actually
pick any value of π. However, this wonβt always be the
case. In this case, weβll choose π is
equal to zero. Weβve now split this into two
definite integrals, each of which is closer to being able to use the fundamental
theorem of calculus.
Thereβs a little bit more
manipulation we need to do before we can use the fundamental theorem of
calculus. In our second integral, we want to
swap the order of our limits of integration. Remember, we can do this by
multiplying the entire integral by negative one. Doing this, weβve rewritten our
second integral as negative one times the definite integral from zero to three π₯ of
π’ squared minus three all divided by π’ squared plus five with respect to π’.
And now, weβre almost ready to use
the fundamental theorem of calculus to evaluate these definite integrals. The only problem is our upper limit
of integration is a function in π₯ instead of π₯. And there are two ways of getting
around this problem. First, we could use the
substitution π£ of π₯ is equal to four π₯. Then we can differentiate our first
integral by using the chain rule. We could do the same with our
second integral, setting π£ of π₯ to be three π₯ and then evaluating its derivative
by using the chain rule. And this would work. However, we can also do this in the
general case with the fundamental theorem of calculus.
We have if π£ of π₯ is a
differentiable function, then by using the chain rule, we get if lowercase π is a
continuous function on the closed interval from π to π and capital πΉ of π₯ is the
definite integral from π to π£ of π₯ of lowercase π of π’ with respect to π’, then
capital πΉ prime of π₯ will be equal to lowercase π evaluated at π£ of π₯ times dπ£
by dπ₯ as long as π£ of π₯ is in the open interval from π to π. So we were able to rewrite our
version of the fundamental theorem of calculus so long as π£ of π₯ is a
differentiable function just by using the chain rule.
And now, we can see both of our
definite integrals are in this form. Weβll set π£ one of π₯ to be four
π₯ and π£ two of π₯ to be three π₯. Usually, we would set our value of
π equal to zero in both cases and then check the intervals on which our integrand
is continuous. This is because to use the
fundamental theorem of calculus, we do need to check where our integrand is
continuous. However, weβve already shown that
our integrand is continuous for all real values. Therefore, it will be continuous on
any closed interval.
Weβre now ready to find an
expression for π prime of π₯. Weβll differentiate each of our
integrals separately. To differentiate our first integral
by using the fundamental theorem of calculus, we do need to check that π£ one of π₯
is differentiable. And itβs a linear function, so we
know it is differentiable. This means we can use this, and we
get π evaluated at π£ one of π₯ times dπ£ one by dπ₯. And we get the same story in our
second integral. This time, π£ two of π₯ will be
three π₯, which is also a linear function, so itβs differentiable. This means we need to subtract π
evaluated at π£ two of π₯ times dπ£ two by dπ₯.
So now, we found an expression for
π prime of π₯. And we can actually evaluate all of
these expressions. Letβs start by substituting in our
expressions for π£ one of π₯ and π£ two of π₯. This gives us π prime of π₯ is
equal to lowercase π evaluated at four π₯ times the derivative of four π₯ with
respect to π₯ minus lowercase π evaluated at three π₯ multiplied by the derivative
of three π₯ with respect to π₯. And remember, from the fundamental
theorem of calculus, lowercase π will be our integrand. So weβre now ready to find an
expression for π prime of π₯.
First, to find π evaluated at four
π₯, we substitute π’ is equal to four π₯ into our integrand, giving us four π₯ all
squared minus three all divided by four π₯ all squared plus five. Next, we need to multiply this by
the derivative of four π₯ with respect to π₯. Of course, this is a linear
function, so we know the derivative of this with respect to π₯ will be the
coefficient of π₯, which is four. And we can do exactly the same to
find an expression for our second term.
To find π evaluated at three π₯,
we substitute π’ is equal to three π₯ into our integrand, giving us three π₯ all
squared minus three all divided by three π₯ all squared plus five. And of course, we need to multiply
this by the derivative of three π₯ with respect to π₯, which we know is three. Finally, weβll simplify this
expression by evaluating all of our exponents and multiplying through by our
coefficients. And by doing this, we get our final
answer. π prime of π₯ is equal to four
times 16π₯ squared minus three all divided by 16π₯ squared plus five minus three
times nine π₯ squared minus three all divided by nine π₯ squared plus five.