WEBVTT
00:00:00.212 --> 00:00:05.672
The integral from negative infinity to zero of two to the power of π with respect to π is convergent.
00:00:05.902 --> 00:00:07.192
What does it converge to?
00:00:07.972 --> 00:00:10.922
Now, we know a formula to evaluate integrals of this form.
00:00:11.512 --> 00:00:22.332
It tells us that the integral from negative infinity to π of π of π₯ with respect to π₯ is equal to the limit as π‘ tends to negative infinity of the integral from π‘ to π of π of π₯ with respect to π₯.
00:00:22.972 --> 00:00:25.712
In our case, we can see that π is equal to zero.
00:00:26.232 --> 00:00:29.682
We are in fact integrating with respect to π instead of respect to π₯.
00:00:29.872 --> 00:00:35.032
Therefore, our function π of π₯, or in our case, π of π, is two to the power of π.
00:00:35.422 --> 00:00:37.482
We can substitute these values into our formula.
00:00:38.122 --> 00:00:49.912
We now have that the integral from negative infinity to zero of two to the power of π with respect to π is equal to the limit as π‘ tends to negative infinity of the integral from π‘ to zero of two to the power of π with respect to π.
00:00:50.532 --> 00:00:52.222
Letβs start by finding this integral.
00:00:52.722 --> 00:00:54.512
We can consider the antiderivative.
00:00:54.822 --> 00:01:01.652
If we try differentiating two to the power of π with respect to π, then we obtain the natural logarithm of two multiplied by two to the power of π.
00:01:02.022 --> 00:01:08.502
Since the natural logarithm of two is a constant, we can divide by it on both sides and we can put it inside the differential.
00:01:08.852 --> 00:01:14.692
And we obtain that the derivative of two to the power of π of the natural logarithm of two is equal to two to the power of π.
00:01:15.262 --> 00:01:18.412
And so, here, we found the antiderivative of two to the power of π.
00:01:18.972 --> 00:01:21.752
Itβs two to the power of π over the natural logarithm of two.
00:01:22.072 --> 00:01:32.322
And we can use this to say that the integral from π‘ to zero of two to the power of π with respect to π is equal to two to the power of π over the natural logarithm of two from π‘ to zero.
00:01:32.912 --> 00:01:40.322
Since zero is the upper bound, when we substitute it in, the sign remains the same, giving us two to the power of zero over the natural logarithm of two.
00:01:40.562 --> 00:01:47.762
And since π‘ is the lower bound, when we substitute it in, we must change the sign, giving us negative two to the power of π‘ over the natural logarithm of two.
00:01:48.202 --> 00:01:52.742
Since anything to the power of zero is one, we can rewrite to use the power of zero as one.
00:01:53.162 --> 00:02:00.302
Therefore, we evaluated that this integral is equal to one over the natural logarithm of two minus two to the power of π‘ over the natural logarithm of two.
00:02:00.712 --> 00:02:03.572
And we can substitute this value for our integral back into our limit.
00:02:04.032 --> 00:02:07.252
Weβre able to use the properties of limits in order to split this limit up.
00:02:07.502 --> 00:02:22.632
We have for the limit of a difference of functions is equal to the difference of the limits of the functions, giving us that our limit is equal to the limit as π‘ tends to negative infinity of one over the natural logarithm of two minus the limit as π‘ tends to negative infinity of two to the power of π‘ over the natural logarithm of two.
00:02:22.882 --> 00:02:29.002
Now, in our first limit here, weβre taking the limit of one over the natural logarithm of two, which has no π‘ dependence.
00:02:29.152 --> 00:02:32.582
Therefore, this limit is simply equal to one over the natural logarithm of two.
00:02:32.862 --> 00:02:35.612
Weβre able to apply another limit property to the second limit.
00:02:36.132 --> 00:02:40.692
And that is that the limit of a quotient of functions is equal to the quotient of the limit of the functions.
00:02:41.192 --> 00:02:44.222
Now in the denominator here, weβre taking the limit of a constant function.
00:02:44.492 --> 00:02:47.632
Therefore, the denominator is simply equal to the natural logarithm of two.
00:02:47.992 --> 00:02:52.202
In the numerator, we have the limit as π‘ tends to negative infinity of two to the power of π‘.
00:02:52.402 --> 00:02:54.852
Here, π‘ is getting more and more negative.
00:02:55.292 --> 00:02:59.262
Therefore, two to the power of π‘ will be getting closer and closer to zero.
00:02:59.702 --> 00:03:05.182
And so, we can say that the limit as π‘ tends to negative infinity of two to the power of π‘ must be zero.
00:03:05.632 --> 00:03:16.582
Here, we reach our solution which is that the integral from negative infinity to zero of two to the power of π with respect to π converges to β and is therefore equal to β one over the natural logarithm of two.