Search Results

Let $d\in\mathbb N$ $\Lambda\subseteq\mathbb R^d$ be open $\mathcal V:=\left\{\phi\in C_c^\infty(\Lambda,\mathbb R^d):\nabla\cdot\phi=0\right\}$ and $$H:=\overline{\mathcal V}^{\left\|\;\cdot\;\righ …

Let $d\in\left\{2,3\right\}$ with $\Lambda\subseteq\mathbb R^d$ be bounded and open with $\partial\Lambda\in C^1$ In Lemma 6.1 of Navier-Stokes Equations and Nonlinear Functional Analysis by Roge …

Let $d\in\mathbb N$ $\Lambda\subseteq\mathbb R^d$ be nonnempty and open $\langle\;\cdot\;,\;\cdot\;\rangle:=\langle\;\cdot\;,\;\cdot\;\rangle_{L^2(\Lambda,\:\mathbb R^d)}$ I've found a thesis wher …

Let $T>0$ $I:=(0,T]$ $d\in\mathbb N$ $\Lambda\subseteq\mathbb R^d$ be nonempty and open, $$\mathcal V:=\left\{\phi\in C_c^\infty(\Lambda,\mathbb R^d):\nabla\cdot\phi=0\right\}$$ and $$V:=\overline{\ …

Let $d\in\left\{2,3\right\}$ $\mathcal V_t\subseteq\mathbb R^d$ be the bounded domain occupied by an incompressible Newtonian fluid at time $t\ge 0$ $\Phi_t:\mathcal V_0\to\mathcal V_t$ such that $\ …

Let $\Omega\subseteq\mathbb R^d$ be open ($d\in\mathbb N$) $\mathcal D:=C_c^\infty(\Omega)^d$ and $$\mathfrak D:=\left\{\phi\in\mathcal D:\nabla\cdot\phi=0\right\}$$ $\mathcal H:=\overline{\mathfrak …

In another question, I've asked how we can derive a stochastic Navier-Stokes equation under the assumption of perturbed particle trajectories. More concretely, I want to obtain a SDE of type as studi …

Let $U$ and $V$ be separable $\mathbb R$-Hilbert spaces $\iota:U\to V$ be a Hilbert-Schmidt embedding $Q:=\iota\iota^\ast$ $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $U$ $(\Omega,\mathcal A, …

Let $d\in\mathbb N$ $\lambda^d$ denote the Lebesgue measure on $\mathbb R^d$ $\Lambda\subseteq\mathbb R^d$ be open $\mathcal V:=\left\{v\in C_c^\infty(\Lambda)^d:\nabla\cdot v=0\right\}$, $$V:=\over …

Let $T>0$ $d\in\mathbb N$ $\Lambda\subseteq\mathbb R^d$ be bounded and open $\mathcal V:=\left\{v\in C_c^\infty(\Lambda)^d:\nabla\cdot v=0\right\}$, $$V:=\overline{\mathcal V}^{\left\|\;\cdot\;\righ …

Let $E$ be a $\mathbb R$-Banach space, $\tau>0$ and $v:[0,\tau]\times E\to E$ such that$^1$ $$x\mapsto t\mapsto v(t,x)\tag1$$ belongs to $C^{0,\:1}(E,C^0([0,\tau],E))$. This is enough to ensure that t …