Now, let make use a formal definition of the integrals of some type. Intergral from a to b, Xtdvt, Where Xt is from the space L2ad and the the Brownian motion Wt is Ft Brownian motion. Because this space is constructed to use its infiltration ft. Well, I will give the formal definition in two stages. The first stage method defines is integral for the processes from the space ad2, of the following types. This processes are of the form sum I from 1 to n psi, I minus one, multiplied by the indicator that T is from Ti minus one and Ti. As previously, T0, T1 and so on to N is a division of the interval AB inter and small sub intervals. And for such processes which defines the integral, from a to b xtdvt as the sum y from one to n, psi I multiplied by the difference between Wti and Wti minus 1. And what is going on in the second stage, for any function, for any process Xt from the space L to ad, you can find the sequence of processes Xtn, which are on this form which is a so-called step processes. A sequence of step processes, which converges to XT in the following sense. Basically, the sense of this space, that is the integral from a to b. Mathematical expectation between X, the difference between Xtn and Xt squared. Dt should converge to zero as n goes to infinity. If the processes, sequence Xtn is choosing sides just adds a sequence converges to Xtn this sense. Some defines it as integral of xt as a limit of the corresponding intergrals Xtn, as n goes to infinity. And this limit should be understood an a squared sense. It is a mathematical expectation of Xtn minus Xt squared converges to zero as n goes to infinity. Well, the proves that the limit was the integrals doesn't depend on the steps of the choice of the step processes. It's basically the same as in the case of the determining factors F of t. I don't want to repeat this proof. What is more important and what I would like to show now is how to construct the sequence Xtn for a given process Xt. And basically, the following theorem quotes, that is a process Xt besides its that mathematical expectation is continuous, and also, its covering function is continuous. Then, if we define a process Xtn, is a falling form which is equal to the sum, A from 1 to n, Xti minus one, multiply it by the indicator that T is between Ti minus one and Ti. Then, we state that this sequence converges to Xt in the following sense, that the integral from a to b, mathematical expectation of the difference Xtn minus Xt squared Tt, converges to zero. And the theorem basically means that one can take exactly this sequence Xtn as a sequence of step processes to construct sequence on the stage 2. First of all, let me show that the process Xt is continuous in the mean squared sense. Basically for take mathematical expectation of Xt minus Xs squared, we can represent this difference as mathematical expectation Xt squared minus 2 mathematical expectation XtXs, plus mathematical expectation Xs squared. And now, I would like to represent all objects of this sum by the functions M and K. What we have here is actual is that mathematical expectation of Xt squared is equal to the variance of Xt plus mathematical expectation of Xt in squared. And therefore, it is equal to Ktt plus m of t squared. The second object is equal to 2 Kts plus mtms. And the third object is equal to Kss, plus m squared of s. Well, and if you look attentively, because of this is a presentation, you will immediately conclude that since m and t are continuous, then almost the whole sum converges to zero as s goes to t. And therefore, the process Xt is continuos as a mean squared sense. So in particular, we conclude that Xtn converges to Xt. As a mean square senses as when n goes to infinity. And therefore, if we have here the limit as n goes to infinity, this limit is equal to zero. But here, we shall proof, not that the integrals of limits turns to zero. But the limit of the integral goes to zero. The question is whether we can change the places of the limit and the integral. This is a very good question and it can be solved by the so-called Leibnitz theorem. Is a basic mathematical concept which will short employ here and now I would like to show you how you can apply this result here. So Leibnitz theorem tells us there's a limit of a function fnt. When n goes to infinity, integral dt is equal to the limit, if n goes to infinity, integral f, n, t, dt. If there is a function M, which doesn't depend on n, such that f n of t is bounded by M of t and the integral M, t, dt is finite. Now, we should find this function M, which maturates with medical expectations of the difference xt and minus xt squared. This can be done by the following argument, the mathematical expectation of xtn minus xt squared is less or equal the mathematical expectation of xtn squared multiplied by two plus two mathematical expectations of xt squared. Well, this is just because of the inequality, a minus b squared less or equal than two a squared plus two b squared. Nothing more is applied here. Well, and what we can say here that both of these mathematical expectations are bounded by the maximum value of xt squared when t is from a to b. Actually, it is less or equals than four a maximal values or the mathematical expectation of xt squared, when t is from a to b. And this mathematical expectation can be represented as Ktt plus mt squared. T is from a to b. And since the function K is continuous and M is also continuous, what we have here is a continuous function which is absorbed on the interval from a to b. And we know that any continuous function takes his maximum on the closed interval. And therefore, this maximum is actually a finite number. So, we can use this constant as a function M of t. A constant is definitely integrable. And therefore, we have found the function M which is used inside the bound dominated theorem. So finally, we conclude that the limit and the integral here can be changed. And according to what we consider before, we immediately realize that this limit is equal to zero. This observation completes a proof. And now, I would like to provide an example how can we use this theorem in order to calculate the integrals from some given stochastic processes. We can consider the following example. I would like to take a Brownian motion at process xt and consider the integral from zero to t Ws ds. With no doubt, this Brownian motion satisfies the conditions of the theorem. Because as mathematical expectations equal to zero. Therefore, this continues. As the coherence function is equal to the minimum between T and S. Therefore, it is also continuous. According to the theorem, this integral can be defined as a limit as n goes to infinity of the integrals of the following types. So, as integrals of the step processes. Right here we have Brownian motion since the point ti minus one. We know that this integral are equal to the sum Wti minus one multiplied by Wti minus Wti minus one. So, the question is how to calculate this sum and the limit of this sum. It's an easy exercise to show that this limit is equal to the limit as n goes to infinity of minus one-half, sum Wti minus Wti minus one, squared plus one-half, sum Wti squared minus Wti minus one squared. Okay. The first summond is exactly as a quadratic equation of the process Wt. One of our previous lectures we have shown that this quadratic variation is equal to t and therefore this limit conversions to t. As for the second summond, here almost all summonds vanish. And what we have here is just a Brownian motion t squared. Finally, we conclude that this integral is equal to minus t divided by two plus Brownian motion squared divided by two. This result is as interesting because if here we had a deterministic function f of s, the this integral, Integral from zero to t F of s, df of s should be equal to the F squared of two divided by two, provided that F is zero at zero. And here, you see we have one more summond. This minus t divided by two. Just to the fact that here we have a stochastic process instead of using the derivaristic function. The most crucial problem is the context of the stochastic integral of this type is that your can apply this theorem only in few situations. The point is that this sums can be constructed by the integrals related to this sums. Sometimes, very difficult to analyze. And in this situation, we managed to do this work, but in many other situations this work may be much more complicated. But there is one method which is based on the Ito formula which actually helps to calculate almost any integral of this type, I mean, of this type. And in what follows, we will present this method. But before we do this, let us study this so-called Ito formula. One of the most important formulas in this course.