### Video Transcript

Find the derivative of the function capital πΉ of π₯ is equal to the definite integral from five π₯ to two π₯ squared of two π to the power of π‘ squared with respect to π‘.

Weβre given a function capital πΉ of π₯ which is a function in π₯. And we can see that this function is the definite integral where both of our limits of integration are functions in π₯. We need to find the derivative of this function capital πΉ of π₯ that would be with respect to π₯. And since this is a function defined by an integral where the limits of integration involve π₯, weβll do this by using the fundamental theorem of calculus.

So letβs recall the fundamental theorem of calculus. In fact, weβll only recall a part of this. This tells us if lowercase π is a continuous function on the closed interval from π to π and capital πΉ of π₯ is equal to 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 π. So this gives us a method of differentiating a function defined by an integral where the upper limit of integration is π₯. And this means we can immediately see a problem.

In the function given to us in the question, the upper limit of integration is not just π₯. In fact, itβs a function of π₯. We have two π₯ squared. And the lower limit of integration is supposed to be a constant. However, in our case, itβs also a function in π₯. So to use the fundamental theorem of calculus, weβre going to first need to rewrite our function capital πΉ of π₯ in this form. And the question is, how are we going to rewrite our function capital πΉ of π₯?

To do this, weβre going to need to recall one of our rules for definite integrals. We need to recall that we can split our integral into two at the constant value of π. But we need to be careful here because this will only be true if our integrand is continuous over both domains of integration. So before we do this, letβs check where our integrand is continuous. In this case, our integrand is two times π to the power of π‘ squared. This is a composition between a polynomial and an exponential function. And we know that polynomials are continuous for all real values, and the exponential function is also continuous for all real values.

This means that our integrand is the composition of continuous functions and must be continuous across its entire domain. And we can see the domain of our integrand is all real values. And therefore, itβs continuous for all real values and must be integral across any interval. So in this case, we can pick any value for our constant π because our integrand is integrable on any interval. Weβll use π is equal to zero. However, it wonβt change the answer in our question. Weβve now split our definite integral into two integrals. However, neither of these are in a form which we can directly use the fundamental theorem of calculus. So we need to modify these even more.

Letβs take a look at our second integral. We can see the upper limit of integration is a constant. However, we want the lower limit of integration to be a constant, so weβre going to need to use another one of our rules for definite integrals. We need to recall that we can switch our upper and lower limits of integration if we multiply our integral by negative one. So by using this, we now subtract the integral from zero to five π₯ of two π to the power of π‘ squared with respect to π‘. Now, both of these integrals are almost in a form we can directly use the fundamental theorem of calculus. The only problem is in both of these integrals, the upper limit of integration is not π₯; itβs a function in π₯.

There are two ways we could approach this problem. Letβs focus on our first integral. We could use the substitution π£ of π₯ is equal to two π₯ squared. Then our definite integral would now be a function in π£. And we want to differentiate this with respect to π₯. So we want to differentiate a function in π£ where π£, in turn, is a function in π₯. We could do this by using the chain rule. And we could do exactly the same for our second integral. However, we can actually do this in the general case to our fundamental theorem of calculus.

If π£ of π₯ is a differentiable function, lowercase π is continuous on the closed interval from π to π, and capital πΉ of π₯ is equal to the definite integral from π to π£ of π₯ of lowercase π of π‘ with respect to π‘, then by differentiating both sides of this equation with respect to π₯, using the chain rule and using our standard statement of the fundamental theorem of calculus, we get that capital πΉ prime of π₯ will be equal to lowercase π evaluated at π£ of π₯ times π£ prime of π₯ for all values of π£ of π₯ in the open interval from π to π.

And we can now use this to differentiate each of our integrals separately. Weβll set π£ one of π₯ to be two π₯ squared and π£ two of π₯ to be five π₯. Itβs worth remembering that these need to be differentiable functions because we need to use the chain rule. In this case, both of these are polynomial. So we know theyβre differentiable. Thereβs one more thing we need to do before we use our modified version of the fundamental theorem of calculus. In both of our integrals, the lower limit of integration is zero. So we set lowercase π equal to zero, and we need to check where our integrand lowercase π is continuous.

Weβve already done this, though. We already explained that our integrand is continuous for all real values. So we already know that this is continuous on any closed interval. Weβre now ready to differentiate both sides of this equation with respect to π₯ by using our modified version of the fundamental theorem of calculus. We just differentiate each of our integrals individually. We get capital πΉ prime of π₯ is equal to lowercase π evaluated at π£ one of π₯ multiplied by π£ one prime of π₯ minus lowercase π evaluated at π£ two of π₯ multiplied by π£ two prime of π₯.

And now, we can start evaluating this expression. Letβs start with π evaluated at π£ one of π₯. We just substitute π‘ is equal to two π₯ squared into our integrand. This gives us two π to the power of two π₯ squared all squared. Next, we want to multiply this by π£ one prime of π₯. Thatβs the derivative of two π₯ squared with respect to π₯. We can do this by using the power rule for differentiation; we get four π₯. And we can do the same for our second term. We substitute five π₯ into our integrand, giving us two times π to the power of five π₯ all squared. And we want to multiply this by π£ two prime of π₯. π£ two of π₯ is five π₯. And the derivative of five π₯ with respect to π₯ is five.

And finally, weβll simplify this expression. Weβre going to evaluate our exponents and simplify our coefficients. This gives us capital πΉ prime of π₯ is equal to eight π₯π to the power of four π₯ to the fourth power minus 10π to the power of 25π₯ squared. And this is our final answer.

Therefore, by using what we know about definite integrals, the chain rule, and the fundamental theorem of calculus, we were able to show if capital πΉ of π₯ is the definite integral from five π₯ to two π₯ squared of two π to the power of π‘ squared with respect to π‘, then capital πΉ prime of π₯ is equal to eight π₯π to the power of four π₯ to the fourth power minus 10π to the power of 25π₯ squared.