Reviewed learning material · Video analysis · EnglishRead the full overview
This segment introduces the definition of geometric Brownian motion via its stochastic differential equation and presents Itô's lemma as the tool to be used for its characterization.
This 120-second whiteboard segment introduces geometric Brownian motion through the SDE dS=μSdt+σS dW and states Itô's lemma for f(W,t). The lecturer seeks solutions of the form S=f(W,t), matches coefficients to derive the system fW=σf and ft+21f_{WW}=μf, then solves the first equation as an ODE in W to obtain f(W,t)=φ(t)eσW. The clip ends after computing ft, fW, and f_{WW} for substitution into the second PDE.
This 120-second whiteboard segment derives the explicit solution of the geometric Brownian motion SDE dS=μS\,dt+σS\,dW. The lecturer applies Itô's lemma to the ansatz S=f(W,t), matches coefficients to obtain the PDE system fW=σf and ft+21f_{WW}=μf, solves the first equation as f(W,t)=ϕ(t)eσW, substitutes the resulting derivatives into the second equation, cancels the common exponential factor, and reduces the problem to the ODE ϕ'(t)=(μ−21σ2)ϕ(t). He then writes ϕ(t)=c1e(μ−21σ2)t, combines the factors to get S=c1eσW+(μ−21σ2)t, and concludes from t=0 that c1=S0.
This video segment concludes the mathematical derivation of the explicit solution for geometric Brownian motion. The instructor explains that the integration constant c1 is determined by the initial condition S(0), writing this note on the board. He then highlights the final formula, S=c1exp(σW+(μ−21σ2)t), stating that it characterizes geometric Brownian motion. The visible board also shows the complete step-by-step proof using Itô's lemma to solve the underlying stochastic differential equation.
Use the learning inspector for key ideas and moments, or open the reading tabs for the complete notes.
Generated from the video's visuals and explanation; not verbatim speech.
The video opens with a title card for "Geometric Brownian Motion" presented by Michael Dabkowski, Ph.D., from UM-Dearborn.
The instructor introduces the topic, stating that the goal is to use Itô's lemma to characterize geometric Brownian motion.
He begins writing the formal definition on the board. A stochastic process S is defined as following geometric Brownian motion if it satisfies a specific stochastic differential equation (SDE).
The SDE is written out as dS = μSdt+σS dW. The instructor specifies that μ and σ are constants, representing the drift and volatility parameters, respectively, while W denotes standard Brownian motion.
Next, the instructor transitions to the mathematical tool required for the analysis. He writes down Itô's lemma, which applies to a function f that depends on both the Brownian motion W and time t.
The lemma is stated as df(W,t) = [ft+21f_{WW}] dt+fW dW. This formula shows how the differential of the function includes not only the standard first-order partial derivatives but also a second-order term with respect to W, which arises from the quadratic variation of Brownian motion.
Finally, the instructor sets up the next step of the derivation, stating the intention to seek solutions for the process S using the just-defined framework, though the segment concludes before the application begins.
The clip opens with the board already stating the defining SDE for geometric Brownian motion, dS=μSdt+σSdW, and Itô's lemma for a function of Brownian motion and time, df(W,t)=[ft+21fWW]dt+fWdW. The lecturer adds the search ansatz S=f(W,t), explaining that the solution will be sought only among functions of W and t.
Using the ansatz inside Itô's formula and comparing with the SDE, the lecture derives two coefficient-matching conditions. The diffusion terms give fW=σS, and after substituting S=f(W,t) this becomes fW=σf. The drift terms give ft+21fWW=μS, hence ft+21fWW=μf.
The lecturer then focuses on the first equation, fW=σf. Because only differentiation with respect to W appears and t enters merely as a parameter, this is treated as an ordinary differential equation in W rather than a genuinely mixed PDE problem.
Solving that ODE yields the separated form f(W,t)=φ(t)eσW, where φ(t) is an arbitrary function of time. This is the most general shape compatible with the first coefficient condition.
To prepare for the second PDE, the lecturer differentiates this candidate solution. The time derivative is ft=φ′(t)eσW, the first W-derivative is fW=φ(t)σeσW, and the second W-derivative is fWW=φ(t)σ2eσW. The segment ends with these expressions ready to be substituted into ft+21fWW=μf.
The board begins with the definition of geometric Brownian motion: a process S satisfies dS=μS\,dt+σS\,dW with constant μ and σ. Directly below, Itô's lemma is written for a function f(W,t), and the lecturer introduces the ansatz S=f(W,t).
From the right-hand system, the first condition is fW=σf and the second is ft+21f_{WW}=μf. The left column already shows that solving the first equation gives f(W,t)=ϕ(t)eσW, together with the derivative formulas needed next.
The lecturer now substitutes those derivatives into the second PDE. This produces ϕ'(t)eσW+21σ2ϕ(t)eσW=ϕ(t)μeσW. Because the same exponential factor appears in every term, he cancels eσW.
After cancellation, the equation becomes ϕ'(t)+(21σ2−μ)ϕ(t)=0, which he rearranges into the standard first-order linear ODE ϕ'(t)=(μ−21σ2)ϕ(t).
Solving this ODE gives ϕ(t)=c1e(μ−21σ2)t. Substituting back into f(W,t)=ϕ(t)eσW yields the explicit solution S=c1eσW+(μ−21σ2)t.
Finally, evaluating at t=0 shows that the integration constant is fixed by the initial value: c1=S0. Thus the clip ends with the fully determined form of the geometric Brownian motion solution up to the initial condition.
The instructor points to the final solution formula and explains how to determine the unknown constant. He states that the constant c1 in this problem must be equal to S(0), which represents the initial value of the process at time zero. He writes 'Note: c1=S(0)' on the right side of the board to clarify this boundary condition.
Next, the instructor uses pink chalk to draw a box around the complete expression S=f(W,t)=c1exp(σW+(μ−21σ2)t). He verbally confirms that this specific formula characterizes geometric Brownian motion, summarizing the result of the lengthy derivation visible on the left side of the board, which utilized Itô's lemma to solve the stochastic differential equation dS=μSdt+σSdW.
Knowledge cards
01
Definition of Geometric Brownian Motion
A stochastic process S follows geometric Brownian motion if it satisfies the stochastic differential equation dS = μSdt+σS dW, where μ and σ are constants representing drift and volatility, and W is standard Brownian motion.
dS=μSdt+σSdW
02
Itô's Lemma for f(W,t)
For a sufficiently smooth function f of standard Brownian motion W and time t, Itô's lemma gives the differential as df(W,t) = [ft+21f_{WW}] dt+fW dW. The term 21f_{WW} dt accounts for the non-zero quadratic variation of Brownian motion.
df(W,t)=[ft+21fWW]dt+fWdW
03
Geometric Brownian motion SDE
The video defines geometric Brownian motion by the stochastic differential equation satisfied by the process S, with constant drift and diffusion coefficients.
dS=μSdt+σSdW
04
Itô's lemma for f(W,t)
The board states the differential of a function of Brownian motion and time, separating the dt contribution from the dW contribution.
df(W,t)=[ft+21fWW]dt+fWdW
05
Solution ansatz S=f(W,t)
Rather than solving the SDE directly, the lecturer restricts attention to processes expressible as functions of Brownian motion and time.
S=f(W,t)
06
PDE system from coefficient matching
Substituting the ansatz into Itô's lemma and comparing with the SDE produces two equations that f must satisfy.
{fW=σfft+21fWW=μf
07
First equation reduces to an ODE
The lecturer emphasizes that fW=σf involves differentiation only in W, so t acts as a parameter and the equation can be solved as an ordinary differential equation.
fW=σf
08
General form of f from the first PDE
Solving the ODE in W gives an exponential factor in W multiplied by an arbitrary function of t.
f(W,t)=φ(t)eσW
09
Derivatives needed for the second PDE
After obtaining the candidate form, the lecture computes the derivatives that will be inserted into the remaining equation.
ft=φ′(t)eσW,fW=φ(t)σeσW,fWW=φ(t)σ2eσW
10
Definition of geometric Brownian motion
The lecture starts from the SDE that defines the process. A process S is called geometric Brownian motion when its infinitesimal change is proportional to S itself, with constant drift μ and constant volatility σ.
dS=μSdt+σSdW
11
Itô's lemma used in the derivation
For a function f of Brownian motion and time, the differential contains a dt part with ft plus one half f_{WW}, and a dW part with fW. This is the tool that converts the SDE problem into equations for f.
df(W,t)=[ft+21fWW]dt+fWdW
12
Ansatz and resulting PDE system
The lecturer seeks the solution in the form S=f(W,t). Matching the Itô expansion to the SDE gives two conditions that f must satisfy: one from the dW coefficient and one from the dt coefficient.
{fW=σfft+21fWW=μf
13
Solving the first PDE by separation in W
Treating t as fixed, the equation fW=σf is solved as an exponential in W. The integration factor is allowed to depend on t, so the solution is written with an arbitrary function ϕ(t).
f(W,t)=ϕ(t)eσW
14
Derivatives of the separated form
Once f is written as ϕ(t)eσW, the needed partial derivatives are immediate. These formulas are what allow the second PDE to be reduced to an ODE for ϕ(t).
ft=ϕ′(t)eσW,fW=ϕ(t)σeσW,fWW=ϕ(t)σ2eσW
15
Reduction to the ODE for phi(t)
Substituting the derivative formulas into ft+21f_{WW}=μf gives a common factor eσW in every term. Canceling that factor leaves a first-order linear ODE for the deterministic function ϕ(t).
ϕ′(t)=(μ−21σ2)ϕ(t)
16
Explicit solution of the ODE
The ODE for ϕ(t) has the standard exponential solution. The constant of integration is denoted c1 at this stage.
ϕ(t)=c1e(μ−21σ2)t
17
Final explicit solution for S
Combining ϕ(t) with the exponential factor eσW gives the closed-form solution produced by the derivation. This is the main result of the clip.
S=c1eσW+(μ−21σ2)t
18
Initial condition fixes c1
At the end, the lecturer evaluates the solution at t=0. This shows that the integration constant is exactly the initial value of the process.
c1=S0
19
Initial Condition for GBM Solution
In the explicit solution for geometric Brownian motion, the integration constant c1 is determined by evaluating the process at time t=0. Since the standard Brownian motion W(0)=0, substituting t=0 into the solution yields S(0)=c1exp(0)=c1. Therefore, c1 must equal the initial value of the asset or process, S(0).
c1=S(0)
20
Explicit Solution of Geometric Brownian Motion
The stochastic differential equation dS=μSdt+σSdW describes geometric Brownian motion. By applying Itô's lemma and assuming a solution of the form S=f(W,t), one can derive the explicit closed-form solution. This formula expresses the process S directly in terms of the Brownian motion W, time t, the drift μ, the volatility σ, and the initial condition c1.
S=c1exp(σW+(μ−21σ2)t)
Detailed learning notes
Explore conditions, steps and evidence. Supplementary explanations are labeled separately from content shown in the video.
Symbols · 36
S
Clear evidence
Shown in the video
Evidence
Audio
Observation
The speaker says, "We say that a process S follows geometric Brownian motion".
Formula
Observation
The letter S is written on the board as part of the definition and later in the SDE.
Symbol
S
Meaning
A stochastic process that follows geometric Brownian motion.
Domain
Stochastic process
t
Clear evidence
Shown in the video
Evidence
Formula
Observation
The variable t appears in the differential dt in the SDE and in Itô's lemma.
Symbol
t
Meaning
Time variable.
Domain
Real number
W
Clear evidence
Shown in the video
Evidence
Formula
Observation
The variable W appears in the differential dW in the SDE and as an argument in f(W,t) in Itô's lemma.
Symbol
W
Meaning
Standard Brownian motion (Wiener process).
Domain
Stochastic process
μ
Clear evidence
Shown in the video
Evidence
Audio
Observation
The speaker says, "for constants mu and sigma".
Formula
Observation
The Greek letter mu appears in the drift term of the SDE.
Symbol
μ
Meaning
Constant drift parameter in the geometric Brownian motion SDE.
Domain
Real constant
σ
Clear evidence
Shown in the video
Evidence
Audio
Observation
The speaker says, "for constants mu and sigma".
Formula
Observation
The Greek letter sigma appears in the diffusion term of the SDE.
Symbol
σ
Meaning
Constant volatility parameter in the geometric Brownian motion SDE.
Domain
Real constant
f(W,t)
Clear evidence
Shown in the video
Evidence
Audio
Observation
The speaker says, "if we consider f of W and t".
Formula
Observation
The function f is written with arguments (W,t) in Itô's lemma.
Symbol
f(W,t)
Meaning
A function of the Brownian motion W and time t to which Itô's lemma is applied.
Domain
Function of two variables
ft
Clear evidence
Shown in the video
Evidence
Formula
Observation
The partial derivative ft appears in the first term of the Itô's lemma expansion.
Symbol
ft
Meaning
Partial derivative of f with respect to time t.
Domain
Function
f_{WW}
Clear evidence
Shown in the video
Evidence
Formula
Observation
The second partial derivative f_{WW} appears multiplied by 1/2 in the dt term of Itô's lemma.
Symbol
f_{WW}
Meaning
Second partial derivative of f with respect to W.
Domain
Function
fW
Clear evidence
Shown in the video
Evidence
Formula
Observation
The first partial derivative fW appears multiplied by dW in Itô's lemma.
Symbol
fW
Meaning
First partial derivative of f with respect to W.
Domain
Function
S
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board shows the process symbol S in the definition and in the ansatz S=f(W,t).
Symbol
S
Meaning
A stochastic process satisfying the geometric Brownian motion SDE.
Domain
Process value; the video does not state an explicit range.
W
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board shows dW in the SDE and W as an argument of f(W,t).
Symbol
W
Meaning
Brownian motion driving the stochastic differential equation.
Domain
The video does not state an explicit domain.
t
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board shows dt in the SDE and t as the second argument of f(W,t).
Symbol
t
Meaning
Time variable in the SDE and in the trial solution f(W,t).
Domain
The video does not state an explicit time interval.
Knowledge points · 21
Definition of Geometric Brownian Motion
Clear evidence
Shown in the video
Evidence
Audio
Observation
The speaker states the definition of geometric Brownian motion and the corresponding SDE.
Formula
Observation
The text 'We say that a process S follows geometric Brownian motion if it satisfies the SDE: dS = μSdt+σS dW for μ and σ constant.' is written on the board.
Definition
Explanation
A stochastic process S is said to follow geometric Brownian motion if it satisfies the specified stochastic differential equation involving constants for drift and volatility.
Formula
dS=μSdt+σSdW
Conditions
μ and σ are constants
Prerequisites
S
μ
σ
t
W
Itô's Lemma for a Function of Brownian Motion and Time
Clear evidence
Shown in the video
Evidence
Audio
Observation
The speaker recalls Itô's lemma for a function f(W,t).
Formula
Observation
The text 'Ito Lemma: f(W,t)⇒ df(W,t) = [ft+21f_{WW}] dt+fW dW.' is written on the board.
Formula
Explanation
Itô's lemma provides the differential of a function f that depends on a standard Brownian motion W and time t, incorporating both first and second-order partial derivatives due to the properties of Brownian motion.
Formula
df(W,t)=[ft+21fWW]dt+fWdW
Conditions
f is a sufficiently smooth function of W and t
Prerequisites
f(W,t)
ft
f_{WW}
fW
W
t
Definition of geometric Brownian motion via an SDE
Clear evidence
Shown in the video
Evidence
Formula
Observation
Top line on the board: We say that a process S follows geometric Brownian motion if it satisfies the SDE: dS = μSdt+σS dW for μ and σ constant.
Definition
Explanation
The video defines geometric Brownian motion by specifying the stochastic differential equation that the process S must satisfy, with constant coefficients μ and σ.
Formula
dS=μSdt+σSdW
Conditions
μ is constant
σ is constant
Itô's lemma for a function of Brownian motion and time
Clear evidence
Shown in the video
Evidence
Formula
Observation
Second line on the board: Itô Lemma: f(W,t)⇒ df(W,t) = [ft+21f_{WW}] dt+fW dW.
Formula
Explanation
The board states the differential of f(W,t) under Itô's lemma as a sum of a dt term involving ft and one half of f_{WW}, plus a dW term involving fW.
Formula
df(W,t)=[ft+21fWW]dt+fWdW
Conditions
Applied to a function f(W,t) of Brownian motion and time
The video does not explicitly list smoothness assumptions
Trial solution class S=f(W,t)
Clear evidence
Shown in the video
Evidence
Formula
Observation
Third line on the board: Seek solutions S=f(W,t).
Audio
Observation
The lecturer says they will look only at functions of Brownian motion and time as the potential solution class of this SDE.
Method
Explanation
To solve the SDE, the lecturer restricts attention to processes expressible as a function of Brownian motion and time.
Formula
S=f(W,t)
Conditions
The method searches within functions of (W,t) only
Prerequisites
Definition of geometric Brownian motion via an SDE
PDE system obtained by matching Itô coefficients
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board writes By Itô, fW=σS=f⋅σ and ft+21f_{WW} = μS=f⋅μ.
Audio
Observation
The lecturer says they consider this system of partial differential equations.
Method
Explanation
Substituting the ansatz into Itô's lemma and comparing with the SDE yields two coefficient-matching equations for f.
Formula
{fW=σfft+21fWW=μf
Conditions
Uses S=f(W,t)
Uses the SDE dS = μSdt+σS dW
Uses Itô's lemma
Prerequisites
Definition of geometric Brownian motion via an SDE
Itô's lemma for a function of Brownian motion and time
Trial solution class S=f(W,t)
First PDE reduces to an ODE in W
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board rewrites the first equation as fW=σf.
Audio
Observation
The lecturer notes that t does not appear in this PDE, which implies it is actually just an ordinary differential equation.
Method
Explanation
Because the equation fW=σf contains no t-derivative and treats t only as a parameter, it can be solved as an ordinary differential equation in W.
Formula
fW=σf
Conditions
σ is constant
t appears only parametrically
Prerequisites
PDE system obtained by matching Itô coefficients
General form of f from the first PDE
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board writes f(W,t)=φ(t)eσW.
Audio
Observation
The lecturer says this tells me that f(W,t) is a constant function φ(t)eσW.
Formula
Explanation
Solving fW=σf gives an exponential dependence on W multiplied by an arbitrary function of t.
Formula
f(W,t)=φ(t)eσW
Conditions
Follows from fW=σf
φ(t) is arbitrary at this stage
Prerequisites
First PDE reduces to an ODE in W
Derivatives of the candidate solution for substitution
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board writes ft=φ'(t)eσW, fW=φ(t)⋅σeσW, and f_{WW} = φ(t)⋅σ2eσW.
Audio
Observation
The lecturer says they will take the form of f and plug it into the second PDE, then compute ft, fW, and f_{WW}.
Method
Explanation
After obtaining f(W,t)=φ(t)eσW, the lecturer computes the derivatives needed for the second PDE.
Formula
ft=φ′(t)eσW,fW=φ(t)σeσW,fWW=φ(t)σ2eσW
Conditions
Uses the product rule for ft
Uses repeated differentiation in W for fW and f_{WW}
Prerequisites
General form of f from the first PDE
Definition of geometric Brownian motion
Clear evidence
Shown in the video
Evidence
Formula
Observation
Top line on the board reads: We say that a process S follows geometric Brownian motion if it satisfies the SDE: dS = mu S dt + sigma S dW for mu and sigma constant.
Definition
Explanation
The video defines a process S as geometric Brownian motion when its stochastic differential equation has proportional drift and diffusion terms, with constant coefficients mu and sigma.
Formula
dS=μSdt+σSdW
Conditions
μ and σ are constant
Itô's lemma for f(W,t)
Clear evidence
Shown in the video
Evidence
Formula
Observation
Second line on the board reads: Itô Lemma: f(W,t) => df(W,t) = [ft+1/2f_{WW}]dt+fW dW.
Formula
Explanation
For a function f of Brownian motion and time, the differential df(W,t) consists of a dt term containing the partial time derivative plus one half of the second partial with respect to W, and a dW term containing the first partial with respect to W.
Formula
df(W,t)=[ft+21fWW]dt+fWdW
Conditions
f is sufficiently smooth in (W,t) as assumed by the lecture
Prerequisites
Definition of geometric Brownian motion
Ansatz S=f(W,t)
Clear evidence
Shown in the video
Evidence
Formula
Observation
Third line on the board reads: Seek solution S=f(W,t).
Method
Explanation
To solve the SDE, the lecturer seeks the unknown process S in the form of a function f of the Brownian motion and time.
Formula
S=f(W,t)
Prerequisites
Definition of geometric Brownian motion
Claims and conditions · 8
Coefficient comparison between Itô expansion and the SDE
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board writes fW=σS=f⋅σ and ft+21f_{WW} = μS=μf.
Audio
Observation
The lecturer says, according to Ito's lemma, we have that fW is sigma S and ft plus one half f_{WW} is mu S.
Proposition
Statement
If S=f(W,t) solves dS=μSdt+σS dW, then the coefficients in df(W,t) must satisfy fW=σf and ft+21f_{WW}=μf.
Hypotheses
S follows the geometric Brownian motion SDE
S is sought in the form S=f(W,t)
Itô's lemma applies to f(W,t)
Quantifiers
For the trial solution class S=f(W,t), the displayed identities hold coefficientwise.
Reduction of the first PDE to an ODE
Clear evidence
Shown in the video
Evidence
Audio
Observation
The lecturer says notice how the variable t does not appear in this PDE, which implies that this is actually just an ordinary differential equation.
Formula
Observation
The board shows fW=σf.
Proposition
Statement
The equation fW=σf can be treated as an ordinary differential equation in W because t does not enter the differentiation and only acts as a parameter.
Hypotheses
σ is constant
The equation is considered with respect to W while t is held fixed
Quantifiers
For each fixed t, the relation is an ODE in W.
Form of the solution to the first PDE
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board writes f(W,t)=φ(t)eσW.
Audio
Observation
The lecturer says this tells me that f(W,t) is a constant function φ(t)eσW.
Proposition
Statement
The general solution of fW=σf has the form f(W,t)=φ(t)eσW, where φ depends only on t.
Hypotheses
fW=σf holds
σ is constant
Quantifiers
There exists a function φ(t) such that f(W,t)=φ(t)eσW.
Defining claim for geometric Brownian motion
Clear evidence
Shown in the video
Evidence
Formula
Observation
Top line on the board states the defining SDE for geometric Brownian motion.
Proposition
Statement
A process S follows geometric Brownian motion if it satisfies dS = mu S dt + sigma S dW with mu and sigma constant.
Hypotheses
mu and sigma are constant
Quantifiers
For a process S and constants mu, sigma.
Itô expansion claim
Clear evidence
Shown in the video
Evidence
Formula
Observation
Second line on the board states Itô's lemma in the form used in the derivation.
Theorem
Statement
For f(W,t), df(W,t) = [ft+1/2f_{WW}]dt+fW dW.
Hypotheses
The lecture assumes the usual smoothness conditions needed to apply Itô's lemma, but does not state them explicitly.
Quantifiers
For a sufficiently smooth function f of W and t.
Coefficient-matching claim
Clear evidence
Shown in the video
Evidence
Formula
Observation
Right side of the board shows the system obtained by matching coefficients after applying Itô's lemma.
Proposition
Statement
If S=f(W,t) solves the SDE, then f must satisfy fW = sigma f and ft+1/2f_{WW} = mu f.
Hypotheses
Use the ansatz S=f(W,t) and Itô's lemma.
Quantifiers
For the sought solution f.
Reduction to an ODE claim
Clear evidence
Shown in the video
Evidence
Formula
Observation
Center-right derivation reduces the second PDE to an ODE after canceling e^{sigma W}.
Proposition
Statement
Substituting f(W,t)=phi(t)e^{sigma W} into the second PDE yields phi'(t) + (1/2 sigma^2 - mu)phi(t)=0, equivalently phi'(t)=(mu - 1/2 sigma^2)phi(t).
Hypotheses
f(W,t)=phi(t)e^{sigma W}
The derivative formulas for ft, fW, f_{WW} hold.
Quantifiers
For all t in the domain considered.
Explicit solution claim
Clear evidence
Shown in the video
Evidence
Formula
Observation
Bottom line on the board gives the final explicit expression for S.
Proposition
Statement
The solution produced by the derivation is S=c1exp(sigma W + (mu - 1/2 sigma^2)t), and c1=S0 when t=0.
Hypotheses
mu and sigma are constant
The ansatz S=f(W,t) is valid
The ODE solution for phi(t) is used
Quantifiers
For the process S constructed in the lecture.
Derivations and proofs · 8
Deriving the PDE system from Itô's lemma and the SDE
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board moves from S=f(W,t) to By Itô, then writes fW=σS=f⋅σ and ft+21f_{WW}=μS=f⋅μ.
Audio
Observation
The lecturer says, Then according to Ito's lemma, so by Ito, we have that fW is sigma S and ft plus one half f_{WW} is mu S.
Proof
Steps
Expression
S=f(W,t)
Explanation
Start with the proposed solution class for the process S.
Justification
Stated on the board as the search ansatz.
Shown in the video
Expression
df(W,t)=[ft+21fWW]dt+fWdW
Explanation
Apply Itô's lemma to the trial function f(W,t).
Justification
Itô's lemma is written on the board.
Shown in the video
Expression
dS=μSdt+σSdW
Explanation
Compare with the defining SDE for geometric Brownian motion.
Justification
Given by the top line of the board.
Shown in the video
Expression
fW=σS=f⋅σ
Explanation
Match the coefficients of dW in the two differentials and substitute S=f(W,t).
Justification
Coefficient comparison after substitution.
Shown in the video
Expression
ft+21fWW=μS=f⋅μ
Explanation
Match the coefficients of dt in the two differentials and substitute S=f(W,t).
Justification
Coefficient comparison after substitution.
Shown in the video
Conclusion
The SDE together with the ansatz S=f(W,t) yields the system fW=σf and ft+21f_{WW}=μf.
Solving the first PDE for f(W,t)
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board writes fW=σf⇒f(W,t)=φ(t)eσW.
Audio
Observation
The lecturer says the first PDE tells me that fW is sigma f, and because t does not appear this is just an ordinary differential equation, which gives f(W,t)=φ(t)eσW.
Proof
Steps
Expression
fW=σf
Explanation
Take the first equation from the PDE system.
Justification
Derived earlier by coefficient matching.
Shown in the video
Expression
treat t as a parameter
Explanation
Observe that the equation differentiates only with respect to W, so t enters only parametrically.
Justification
Explicitly noted in the lecture audio.
Shown in the video
Expression
f(W,t)=φ(t)eσW
Explanation
Solve the resulting ODE in W; the integration “constant” may depend on t.
Justification
Standard solution of y'=σy with parameter t.
Shown in the video
Conclusion
The first PDE forces the candidate solution to have the separated form f(W,t)=φ(t)eσW.
Computing the derivatives needed for the second PDE
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board writes ft=φ'(t)eσW, fW=φ(t)⋅σeσW, and f_{WW} = φ(t)⋅σ2eσW.
Audio
Observation
The lecturer says they will take the form of f and plug it into the second PDE, computing ft, fW, and f_{WW}.
Proof
Steps
Expression
f(W,t)=φ(t)eσW
Explanation
Start from the general form obtained from the first PDE.
Justification
Previous derivation step.
Shown in the video
Expression
ft=φ′(t)eσW
Explanation
Differentiate with respect to t using the product rule; eσW is constant in t.
Justification
Ordinary differentiation rules.
Shown in the video
Expression
fW=φ(t)σeσW
Explanation
Differentiate with respect to W; φ(t) is constant in W.
Justification
Derivative of eσW with respect to W.
Shown in the video
Expression
fWW=φ(t)σ2eσW
Explanation
Differentiate fW again with respect to W.
Justification
Repeated differentiation of the exponential factor.
Shown in the video
Conclusion
These three derivative formulas are the quantities to be substituted into the second PDE.
Derivation of the PDE system from the SDE
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board shows the ansatz S=f(W,t), Itô's lemma, and the resulting system { fW = sigma S=f sigma ; ft+1/2f_{WW} = mu S=f mu }.
Proof
Steps
Expression
S=f(W,t)
Explanation
Assume the solution can be written as a function of Brownian motion and time.
Justification
Stated on the board as the search ansatz.
Shown in the video
Expression
df(W,t)=[ft+21fWW]dt+fWdW
Explanation
Apply Itô's lemma to the assumed form.
Justification
Itô's lemma is written on the board.
Shown in the video
Expression
dS=μSdt+σSdW
Explanation
Compare with the defining SDE for geometric Brownian motion.
Justification
Given by the top line of the board.
Shown in the video
Expression
fW=σf,ft+21fWW=μf
Explanation
Match the coefficients of dW and dt to obtain two equations for f.
Justification
Coefficient comparison between the Itô expansion and the SDE.
Shown in the video
Conclusion
The SDE is converted into the PDE system fW=σf and ft+21f_{WW}=μf.
Derivation of the separated form and its derivatives
Clear evidence
Shown in the video
Evidence
Formula
Observation
Left column shows fW = sigma f => f(W,t) = phi(t)e^{sigma W} and the derivative list.
Proof
Steps
Expression
fW=σf
Explanation
Start from the first PDE.
Justification
Obtained from coefficient matching.
Shown in the video
Expression
f(W,t)=ϕ(t)eσW
Explanation
Solve the first-order equation in W, allowing the integration “constant” to depend on t.
Justification
Standard solution of an ODE with respect to W.
Shown in the video
Expression
ft=ϕ′(t)eσW
Explanation
Differentiate with respect to t.
Justification
Direct differentiation of the separated form.
Shown in the video
Expression
fW=ϕ(t)σeσW
Explanation
Differentiate with respect to W once.
Justification
Direct differentiation of the separated form.
Shown in the video
Expression
fWW=ϕ(t)σ2eσW
Explanation
Differentiate with respect to W twice.
Justification
Direct differentiation of the separated form.
Shown in the video
Conclusion
The separated representation supplies the exact derivative expressions needed for the second PDE.
Derivation of the ODE for phi(t)
Clear evidence
Shown in the video
Evidence
Formula
Observation
Center-right derivation shows phi'(t)e^{sigma W} + 1/2 sigma^2 phi(t)e^{sigma W} = phi(t) mu e^{sigma W}, then cancellation and rearrangement.
Audio
Observation
The lecturer says the second ODE now implies, putting all this together, phi'(t)e^{sigma W} + 1/2 sigma^2 phi(t)e^{sigma W} must equal phi(t) mu e^{sigma W}; then he cancels e^{sigma W} and rearranges.
Proof
Steps
Expression
ϕ′(t)eσW+21σ2ϕ(t)eσW=ϕ(t)μeσW
Explanation
Substitute the derivative formulas into the second PDE ft+21f_{WW}=μf.
Justification
Uses the previously derived expressions for ft and f_{WW}.
Shown in the video
Expression
ϕ′(t)+(21σ2−μ)ϕ(t)=0
Explanation
Cancel the common nonzero factor eσW from every term.
Justification
Algebraic simplification shown on the board and spoken aloud.
Shown in the video
Expression
ϕ′(t)=(μ−21σ2)ϕ(t)
Explanation
Rearrange the linear ODE into standard form.
Justification
Move the phi term to the right-hand side.
Shown in the video
Conclusion
The second PDE reduces to the first-order linear ODE ϕ'(t)=(μ−21σ2)ϕ(t).
Derivation of the explicit solution for S
Clear evidence
Shown in the video
Evidence
Formula
Observation
Board writes phi(t)=c1exp((mu - 1/2 sigma^2)t), then S=f(W,t)=c1exp(sigma W + (mu - 1/2 sigma^2)t).
Audio
Observation
The lecturer says the solution of this ODE is phi(t)=c1e^{(mu - 1/2 sigma^2)t}, then writes the solution of the SDE and notes c1=S0 at t=0.
Proof
Steps
Expression
ϕ(t)=c1e(μ−21σ2)t
Explanation
Solve the ODE for phi(t).
Justification
Standard exponential solution of a first-order linear ODE.
Shown in the video
Expression
S=f(W,t)=ϕ(t)eσW
Explanation
Return to the separated form of f.
Justification
From the earlier solution of fW=σf.
Shown in the video
Expression
S=c1eσW+(μ−21σ2)t
Explanation
Combine the factors into one exponential.
Justification
Algebraic multiplication of exponentials.
Shown in the video
Expression
c1=S0
Explanation
Evaluate at t=0 to identify the constant with the initial value.
Justification
Spoken conclusion at the end of the clip.
Shown in the video
Conclusion
The explicit solution is S=c1eσW+(μ−21σ2)t, with c1 fixed by the initial condition as S0.
Derivation of the Solution to Geometric Brownian Motion
Clear evidence
Shown in the video
Evidence
Formula
Observation
Seek solutions S=f(W,t). By Itô's, {fw=σS=f⋅σ; ft+21f_{ww} = μS=f⋅μ}.
Formula
Observation
fw=σf⇒f(W,t)=ϕ(t)eσW.
Formula
Observation
ϕ'(t)eσW+21σ2ϕ(t)eσW=ϕ(t)μeσW.
Formula
Observation
ϕ'(t) + (21σ2−μ)ϕ(t)=0⇒ϕ'(t) = (μ−21σ2)ϕ(t).
Formula
Observation
ϕ(t)=c1exp((μ−21σ2)t).
Formula
Observation
S=f(W,t)=c1exp(σW+(μ−21σ2)t).
Proof
Steps
Expression
S=f(W,t)
Explanation
Assume the solution S can be written as a function f of Brownian motion W and time t.
Justification
Method of undetermined coefficients / ansatz
Shown in the video
Expression
df(W,t)=[ft+21fww]dt+fwdW
Explanation
Apply Itô's lemma to the assumed function f(W,t).
Justification
Itô's Lemma
Shown in the video
Expression
fw=σfandft+21fww=μf
Explanation
Equate the coefficients of dW and dt from Itô's expansion with those in the original SDE dS = μSdt+σS dW.
Justification
Matching coefficients of the stochastic differential equation
Shown in the video
Expression
f(W,t)=ϕ(t)eσW
Explanation
Solve the partial differential equation fw=σf with respect to W.
Justification
Separation of variables / solving first-order ODE in W
Shown in the video
Expression
ϕ′(t)eσW+21σ2ϕ(t)eσW=μϕ(t)eσW
Explanation
Substitute f(W,t)=ϕ(t)eσW and its derivatives into the second PDE.
Justification
Substitution
Shown in the video
Expression
ϕ′(t)+(21σ2−μ)ϕ(t)=0
Explanation
Divide by the non-zero term eσW and rearrange to form an ordinary differential equation for ϕ(t).
Justification
Algebraic manipulation
Shown in the video
Expression
ϕ(t)=c1exp((μ−21σ2)t)
Explanation
Solve the first-order linear ordinary differential equation for ϕ(t).
Justification
Standard ODE solution technique
Shown in the video
Expression
S=f(W,t)=c1exp(σW+(μ−21σ2)t)
Explanation
Combine the results for ϕ(t) and the exponential term in W to get the final explicit solution for S.
Justification
Substitution back into the ansatz
Shown in the video
Conclusion
The explicit solution for the geometric Brownian motion process S is S=c1exp(σW+(μ−21σ2)t).
Visual events · 10
Writing the Definition of GBM
Clear evidence
Shown in the video
Evidence
Animation
Observation
The instructor writes the definition of geometric Brownian motion and its SDE on the blackboard using green chalk.
Objects
Instructor
Blackboard
Green chalk
Text and formulas
Changes
The definition and SDE for geometric Brownian motion appear sequentially on the board.
Invariants
The background remains dark.
The instructor remains on the left side of the frame.
Interpretation
The visual event establishes the core mathematical object being studied in the video segment.
Writing Itô's Lemma
Clear evidence
Shown in the video
Evidence
Animation
Observation
The instructor writes Itô's lemma on the blackboard below the initial definition.
Objects
Instructor
Blackboard
Green chalk
Text and formulas
Changes
The statement of Itô's lemma for f(W,t) appears sequentially on the board.
Invariants
The previous definition of GBM remains visible at the top of the board.
Interpretation
This visual event introduces the primary mathematical tool that will be used to analyze the defined process.
Static board with live derivation underneath
Clear evidence
Shown in the video
Evidence
Diagram
Observation
A blackboard-style lecture frame shows three prewritten lines at the top and the lecturer writing new equations beneath them.
Objects
Top definition line for geometric Brownian motion
Middle Itô Lemma line
Bottom Seek solutions line
Lecturer writing below the prewritten text
Changes
New equations are added sequentially under the prewritten setup.
The derivation progresses from the ansatz to a PDE system, then to a separated solution form, then to derivative computations.
Invariants
The top three lines remain visible throughout the clip.
The setting stays a single continuous whiteboard lecture shot.
Interpretation
The visual structure separates given definitions and tools from the live derivation that uses them.
Color-coded substitution of S by f
Clear evidence
Shown in the video
Evidence
Diagram
Observation
The lecturer writes the substituted right-hand sides f⋅σ and f⋅μ in pink after first writing the green forms with S.
Objects
Green equations fW=σS and ft+21f_{WW}=μS
Pink appended terms f⋅σ and f⋅μ
Changes
The same equations are extended with pink substitutions showing S replaced by f.
Invariants
The original green coefficient-matching equations remain on the board.
Interpretation
The color change highlights the algebraic substitution S=f(W,t) inside the matched coefficients.
Grouping the two coefficient equations as a system
Clear evidence
Shown in the video
Evidence
Diagram
Observation
A large pink brace groups the two equations fW=σS=f⋅σ and ft+21f_{WW}=μS=f⋅μ.
Objects
Two displayed PDEs
Large pink brace
Changes
The two separate equations are visually grouped together.
Invariants
The equations themselves do not change during the bracing.
Interpretation
The brace signals that the next step treats the pair as a coupled system of PDEs.
Arrow from first PDE to its general solution
Clear evidence
Shown in the video
Evidence
Diagram
Observation
The board shows fW=σf followed by an arrow to f(W,t)=φ(t)eσW.
Objects
Equation fW=σf
Arrow
Solution f(W,t)=φ(t)eσW
Changes
The derivation advances from a differential condition to an explicit functional form.
Invariants
The starting equation remains visible beside the arrow.
Interpretation
The arrow marks the logical consequence of solving the first PDE.
Blackboard organization of the proof
Clear evidence
Shown in the video
Evidence
Diagram
Observation
The blackboard is organized into a top definition line, a second Itô lemma line, a third ansatz line, a left derivative column, a right PDE system, and a center-right derivation area where new equations are written during the clip.
Objects
Top definition line
Itô lemma line
Ansatz line
Left derivative column
Right PDE system
Center-right derivation area
Changes
The lecturer adds the substituted equation for phi'(t)e^{sigma W}+1/2 sigma^2 phi(t)e^{sigma W}=phi(t)mu e^{sigma W}
Then adds the canceled ODE form
Then adds phi(t)=c1exp((mu - 1/2 sigma^2)t)
Finally adds S=f(W,t)=c1exp(sigma W + (mu - 1/2 sigma^2)t)
Invariants
The prewritten definition, Itô lemma, ansatz, derivative column, and PDE system remain visible throughout
Interpretation
The visual layout separates the setup, the intermediate derivative computations, and the final reduction to an explicit solution.
Visual cancellation of the common exponential factor
Clear evidence
Shown in the video
Evidence
Animation
Observation
The lecturer points to the common exponential factor and then writes the simplified equation without e^{sigma W}.
Objects
Equation with e^{sigma W} on both sides
Simplified equation without e^{sigma W}
Changes
The factor e^{sigma W} is removed from all terms
The remaining terms are rewritten as an ODE for phi(t)
Invariants
mu, sigma, phi(t), and phi'(t) remain the same symbols before and after cancellation
Interpretation
The animation makes explicit that the second PDE reduces to an ODE because the exponential factor is common to every term.
Writing the Initial Condition Note
Clear evidence
Shown in the video
Evidence
Animation
Observation
The instructor writes 'Note: c1=S(0)' on the right side of the board.
Objects
Instructor's hand
Chalk
Blackboard
Changes
The text 'Note: c1=S(0)' appears on the board.
Invariants
The rest of the mathematical derivation remains unchanged on the board.
Interpretation
This visual event establishes the relationship between the integration constant c1 and the initial value of the process S at time t=0.
Highlighting the Final Solution
Clear evidence
Shown in the video
Evidence
Animation
Observation
The instructor draws a pink box around the final formula S=f(W,t)=c1exp(σW+(μ−21σ2)t).
Objects
Instructor's hand
Pink chalk
Blackboard
Changes
A pink rectangular box is drawn around the final solution formula.
Invariants
The content of the formula itself does not change.
Interpretation
This visual event emphasizes the main result of the derivation, identifying it as the characteristic formula for geometric Brownian motion.
Misconceptions · 3
Mistaking the first equation for a genuinely partial problem
Clear evidence
Shown in the video
Evidence
Audio
Observation
The lecturer explicitly says, notice how the variable t does not appear in this PDE, which implies that this is actually just an ordinary differential equation.
Misconception
One might treat fW=σf as a full PDE requiring simultaneous handling of both variables.
Clarification
The video points out that because only differentiation in W occurs and t is absent from the derivative structure, the equation is effectively an ODE in W with t as a parameter.
When solving with respect to W, the integration constant may depend on t
Clear evidence
Supplementary explanation
Evidence
Formula
Observation
The board solves fW=σf by writing f(W,t)=ϕ(t)eσW, showing that the integration factor depends on t.
Misconception
One might incorrectly treat the integration constant in fW=σf as a true constant independent of t.
Clarification
Because the equation is solved while holding t fixed, the multiplicative factor can be an arbitrary function ϕ(t), not necessarily a constant.
The exponential factor is canceled only after substitution
Clear evidence
Shown in the video
Evidence
Audio
Observation
The lecturer explicitly says, 'Now I can cancel out a factor of e to the sigma W.'
Misconception
One might try to cancel eσW before substituting the separated form into the second PDE.
Clarification
The cancellation is valid only after the derivatives have been inserted, so that the same factor appears in every term.
Concept relations · 14
Itô's Lemma for a Function of Brownian Motion and Time → Definition of Geometric Brownian Motion
Clear evidence
Shown in the video
Evidence
Audio
Observation
The speaker says, "Now, we'll use Ito's lemma to characterize geometric Brownian motions."
Application
Explanation
The speaker explicitly states the intention to apply Itô's lemma to the previously defined geometric Brownian motion process.
Itô's lemma for a function of Brownian motion and time → PDE system obtained by matching Itô coefficients
Clear evidence
Shown in the video
Evidence
Formula
Observation
The lecturer writes By Itô directly under the ansatz and derives the coefficient equations from the SDE.
Application
Explanation
Itô's lemma is the tool applied to the ansatz in order to convert the SDE into PDE conditions on f.
Trial solution class S=f(W,t) → PDE system obtained by matching Itô coefficients
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board moves from Seek solutions S=f(W,t) to the system obtained by matching coefficients.
Proof dependency
Explanation
The PDE system depends on first restricting the solution class to S=f(W,t).
First PDE reduces to an ODE in W → PDE system obtained by matching Itô coefficients
Clear evidence
Shown in the video
Evidence
Audio
Observation
The lecturer says the first PDE is actually just an ordinary differential equation because t does not appear.
Special case
Explanation
The first equation of the PDE system is a special case that reduces to an ODE in W.
General form of f from the first PDE → First PDE reduces to an ODE in W
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board shows fW=σf⇒f(W,t)=φ(t)eσW.
Application
Explanation
The separated form is obtained by solving the reduced ODE.
Derivatives of the candidate solution for substitution → General form of f from the first PDE
Clear evidence
Shown in the video
Evidence
Formula
Observation
After writing f(W,t)=φ(t)eσW, the lecturer computes ft, fW, and f_{WW} from that expression.
Proof dependency
Explanation
The derivative computations depend on the previously obtained general form of f.
Definition of geometric Brownian motion → Itô's lemma for f(W,t)
Clear evidence
Shown in the video
Evidence
Formula
Observation
The board places the SDE definition above Itô's lemma and then uses the lemma to derive the PDE system.
Application
Explanation
Itô's lemma is applied to the geometric Brownian motion SDE in order to transform the problem into PDE conditions on f.
Ansatz S=f(W,t) → PDE system obtained by matching Itô expansion to the SDE
Clear evidence
Shown in the video
Evidence
Formula
Observation
The ansatz S=f(W,t) is immediately followed by the system obtained 'By Itô'.
Proof dependency
Explanation
The PDE system is derived only after assuming S can be written as f(W,t).
PDE system obtained by matching Itô expansion to the SDE → Solution of the first PDE fW = sigma f
Clear evidence
Shown in the video
Evidence
Formula
Observation
The first equation in the system is solved to produce f(W,t)=ϕ(t)eσW.
Contains
Explanation
Solving the first PDE in the system yields the separated form used in the rest of the derivation.
Solution of the first PDE fW = sigma f → ODE for phi(t) after substitution into the second PDE
Clear evidence
Shown in the video
Evidence
Formula
Observation
The derivative column is substituted into the second PDE to obtain the ODE for ϕ(t).
Proof dependency
Explanation
The ODE for ϕ(t) follows from substituting the separated form and its derivatives into the second PDE.
Solution of the ODE for phi(t) → Explicit solution of the geometric Brownian motion SDE
Clear evidence
Shown in the video
Evidence
Formula
Observation
The solution ϕ(t)=c1e(μ−1/2σ2)t is combined with eσW to give the final S.
Proof dependency
Explanation
The explicit solution for S is assembled directly from the solved form of ϕ(t).
Explicit solution of the geometric Brownian motion SDE → Identification of c1 using the initial value
Clear evidence
Shown in the video
Evidence
Audio
Observation
The lecturer identifies c1 with S0 by plugging in t=0.
Application
Explanation
The initial condition is applied to the explicit solution to determine the integration constant.
Find an answer · 19
What is the stochastic differential equation that defines geometric Brownian motion?
Clear evidence
Shown in the video
Evidence
Audio
Observation
The speaker defines geometric Brownian motion.
Formula
Observation
The SDE for GBM is written on the board.
Knowledge points
Definition of Geometric Brownian Motion
How does Itô's lemma express the differential of a function of Brownian motion and time?
Clear evidence
Shown in the video
Evidence
Audio
Observation
The speaker states Itô's lemma.
Formula
Observation
The formula for Itô's lemma is written on the board.
Knowledge points
Itô's Lemma for a Function of Brownian Motion and Time
What SDE defines geometric Brownian motion in this lecture?
Clear evidence
Supplementary explanation
Evidence
Formula
Observation
Top board line defines geometric Brownian motion by an SDE.
Knowledge points
Definition of geometric Brownian motion via an SDE
What is the displayed form of Itô's lemma for a function of Brownian motion and time?
Clear evidence
Supplementary explanation
Evidence
Formula
Observation
Second board line states Itô's lemma for f(W,t).
Knowledge points
Itô's lemma for a function of Brownian motion and time
Why does the lecturer seek solutions of the form S=f(W,t)?
Clear evidence
Supplementary explanation
Evidence
Audio
Observation
The lecturer says they will look only at functions of Brownian motion and time as the potential solution class.
Knowledge points
Trial solution class S=f(W,t)
How are the PDEs for f obtained from the SDE and Itô's lemma?
Clear evidence
Supplementary explanation
Evidence
Formula
Observation
The board derives fW=σf and ft+21f_{WW}=μf from Itô and the SDE.
Knowledge points
PDE system obtained by matching Itô coefficients
Itô's lemma for a function of Brownian motion and time
Definition of geometric Brownian motion via an SDE
Why is fW=σf treated as an ordinary differential equation rather than a full PDE?
Clear evidence
Supplementary explanation
Evidence
Audio
Observation
The lecturer explains that the first PDE is really an ODE because t does not appear.
Knowledge points
First PDE reduces to an ODE in W
Mistaking the first equation for a genuinely partial problem
What general form does the first PDE force for f(W,t)?
Clear evidence
Supplementary explanation
Evidence
Formula
Observation
The board writes f(W,t)=φ(t)eσW.
Knowledge points
General form of f from the first PDE
What derivatives are computed next in order to use the second PDE?
Clear evidence
Supplementary explanation
Evidence
Audio
Observation
The lecturer says they will plug the form of f into the second PDE and compute ft, fW, and f_{WW}.
Knowledge points
Derivatives of the candidate solution for substitution
What SDE defines geometric Brownian motion in this lecture?
Clear evidence
Shown in the video
Evidence
Formula
Observation
Top line defines geometric Brownian motion.
Knowledge points
Definition of geometric Brownian motion
Why is Itô's lemma used to solve the SDE here?
Clear evidence
Shown in the video
Evidence
Formula
Observation
Itô's lemma is written and then used to match coefficients.
Knowledge points
Itô's lemma for f(W,t)
PDE system obtained by matching Itô expansion to the SDE
How does the SDE become the system fW=σf and ft+1/2f_{WW}=μf?
Clear evidence
Shown in the video
Evidence
Formula
Observation
Right side shows the system obtained by coefficient matching.
Knowledge points
Ansatz S=f(W,t)
PDE system obtained by matching Itô expansion to the SDE
Coverage and review notes
Covered · Title card and introduction.
Covered · Definition of geometric Brownian motion and its SDE.
Covered · Statement of Itô's lemma for a function of Brownian motion and time.
Covered · Speaker begins to state the goal of seeking solutions for S, but the segment ends before further derivation.
Covered · Pre-written definitions and the search ansatz are visible, and the lecturer explains the choice of solution class.
Covered · The lecturer applies Itô's lemma and matches coefficients to obtain the two equations for f.
Covered · The first equation is isolated, recognized as an ODE in W, and solved to get f(W,t)=φ(t)eσW.
Covered · The lecturer computes ft, fW, and f_{WW} from the candidate form in preparation for substituting into the second PDE.
Covered · The entire clip is a continuous whiteboard derivation from the definition of geometric Brownian motion through the explicit solution and identification of the constant.
Covered · The entire clip covers the conclusion of the derivation for geometric Brownian motion, including stating the initial condition for the constant and highlighting the final formula.
By substituting the ansatz S=f(W,t) into the SDE and applying Itô's lemma, the coefficients of dW and dt are matched. This yields the system of PDEs: fW=σf and ft+21fWW=μf.
Conditions: S=f(W,t) is the assumed solution form.; dS=μSdt+σSdW is the defining SDE.; Itô's lemma is applied to f(W,t).
The final explicit solution for the geometric Brownian motion process S is S=c1eσW+(μ−21σ2)t, where c1 is an integration constant determined by the initial condition.
Conditions: μ and σ are constant.; The ansatz S=f(W,t) is valid.; The ODE for ϕ(t) is solved.
Itô's lemma expresses the differential of a function f(W,t) as df(W,t)=[ft+21fWW]dt+fWdW. This formula includes a second-order partial derivative term with respect to W multiplied by dt, which arises from the non-zero quadratic variation of Brownian motion.
Conditions: f is a sufficiently smooth function of W and t.; W is a standard Brownian motion.
The equation fW=σf is treated as an ordinary differential equation because it involves differentiation only with respect to W, and the variable t does not appear in the derivative structure, acting merely as a parameter.
Conditions: σ is a constant.; The equation is considered with respect to W while t is held fixed.
The lecturer seeks solutions of the form S=f(W,t) to restrict the search space to functions of Brownian motion and time, allowing the application of Itô's lemma to convert the stochastic differential equation into a system of partial differential equations.
Conditions: The process S is driven by the Brownian motion W.; Itô's lemma is applicable to functions of W and t.
When solving fW=σf with respect to W, the variable t is treated as a parameter. Therefore, the 'constant' of integration can be any function of t, denoted as φ(t).
Conditions: The equation is solved with respect to W.; t is held fixed during the integration.
A stochastic process S is defined as following geometric Brownian motion if it satisfies the stochastic differential equation dS=μSdt+σSdW, where μ and σ are constants representing the drift and volatility, and W is a standard Brownian motion.
Conditions: μ and σ are constants.; W is a standard Brownian motion.