Skip to main content
5 events
when toggle format what by license comment
Dec 6, 2016 at 11:03 comment added 0xbadf00d @NateEldredge I didn't want to bloat the question with too much details. You're free to assume any technical assumption you need (just write these assumption down).
Dec 5, 2016 at 21:58 comment added Nate Eldredge Do you have any assumptions on the joint measurability of $\Phi^x_t(\omega)$ with respect to $(x,t,\omega)$? As it stands I only see separate measurability in $x$ and in $(t,\omega)$, and I suspect that's not enough to make sense of the integral of $\Psi$.
Dec 5, 2016 at 21:05 comment added 0xbadf00d Now, I want to eliminate the dependence on $x_0$ in $(4)$ and transform this SPDE into a SDE on $L^2(Λ,ℝ^d)$. I've asked a special case of this question in a separate thread. The problem in this question seems to be a starting point for a solution to the other question.
Dec 5, 2016 at 21:05 comment added 0xbadf00d $(2)$ is motivated by the following problem: Let $U$ be a separable $ℝ$-Hilbert space, $Q∈\mathfrak L(U)$ be nonnegative and self-adjoint with $\text{tr}Q<∞$, $W$ be a $Q$-Wiener process on $U$, $x_0∈Λ$, $F:[0,T]×ℝ^d→ℝ^d$, $G:[0,T]×ℝ^d→\mathfrak L(U,ℝ^d)$ and $X^{x_0}$ be a strong solution of $$X_t=x_0+\int_0^tF(s,X_s)\:{\rm d}s+\int_0^tG(s,X_s)∘{\rm d}W_s\;\;\;\text{for all }t∈[0,T]\;.\tag 3$$ Then we obtain $${\rm d}F(t,X_t^{x_0})=\left[\frac{∂F}{∂t}(t,X_t^{x_0})+(F(t,X_t^{x_0})⋅∇)F(t,X_t^{x_0})\right]{\rm d}t+(G(t,X_t^{x_0})⋅∇)F(t,X_t^{x_0})∘{\rm d}W_t\tag 4$$ for all $t∈[0,T]$.
Dec 5, 2016 at 21:04 history asked 0xbadf00d CC BY-SA 3.0