Stochastic differential equation problem

AI Thread Summary
The discussion revolves around a stochastic differential equation (SDE) represented as dv/dt = -αv + λF + η, where α, λ, and F are constants, v is a variable representing speed, and η is a random value. The poster seeks assistance in analytically solving this equation, noting its similarity to Brownian motion with an applied field. They plan to compare the analytical solution with a numerical one. A change of variable is suggested to transform the equation into a standard form of dv/dt = kv + noise. A link to a resource on solving SDEs is provided for further guidance.
johnt447
Messages
8
Reaction score
0
Sorry if this is in the wrong section but i have a problem, I have no experience with stochastic equations well analytically anyway.

The equation i have is the following;

\frac{dv}{dt} = - \alpha v+ \lambda F+\eta

Where alpha lambda and F are constants, v is a variable (speed in this case) and eta is a random value. I believe this is similar to Brownian motion with an applied field, although i have no idea how to solve this analytically i plan to solve it analytically and compare it to a numerical solution. So any help will be most appreciated!
 
Physics news on Phys.org
This will turn into a standard equation of the type dv/dt=kv+ noise after a change of variable. For some general methods for solving SDEs, I hope the following link will be of much help -
http://math.berkeley.edu/~evans/SDE.course.pdf
 
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top