Question: How do I transform the boundary conditions of the speed formulation $(u, \ v)$ into the vortex-stream formulation $(\psi, \ w)$?
Cavity flow problem:
A incompressible Newtonian fluid is in a square $\Omega = \left[0, \ 1\right] \times \left[0, \ 1\right]$. Only the upper wall is moving at speed $U_{up}(x)$.
- \eqref{1} is continuity equation
- \eqref{2} is the navier's equation
$$\nabla \cdot \vec{u} = 0\tag{1}\label{1}$$ $$\dfrac{\partial \vec{u}}{\partial t} + \left(\vec{u} \cdot \nabla\right) \vec{v} = -\nabla p + \mu \Delta \vec{u}\tag{2}\label{2}$$
The boundary conditions are
$$\begin{cases}u(0, y) = 0 \\ u(1, \ y) = 0 \\ u(x, \ 0) = 0 \\ u(x, 1) = U_{up}(x)\end{cases} \ \ \ \ \ \ \ \ v = 0 \ \ \text{on} \ \partial \Omega\label{3} \tag{3}$$
Vortex-Streamline formulation
Another formulation is made by transforming the pair of variables $(u, \ v)$ into $\left(\psi, \ w\right)$.
$$u = \dfrac{\partial \psi}{\partial y} \ \ \ \ \ \ \ \ \ \ v = -\dfrac{\partial \psi}{ \partial x} \label{4} \tag{4}$$ $$w = \nabla \times \vec{u} \tag{5}\label{5}$$
Then, the new equations to solve are: $$w + \dfrac{\partial^2 \psi}{\partial x^2} + \dfrac{\partial^2 \psi}{\partial y^2} = 0\label{6}\tag{6}$$ $$\dfrac{\partial w}{\partial t} + \dfrac{\partial \psi}{\partial y} \cdot \dfrac{\partial w}{\partial x} - \dfrac{\partial \psi}{\partial x} \cdot \dfrac{\partial w}{\partial y} = \mu \left(\dfrac{\partial^2 w}{\partial x^2} + \dfrac{\partial^2 w}{\partial y^2}\right)\label{7}\tag{7}$$
My problem now is finding the boundary conditions for $\psi$ and $w$.
So far I found, from \eqref{4} for the lower, left and right wall:
$$u=v=0 \Rightarrow \dfrac{\partial \psi}{\partial y} = \dfrac{-\partial \psi}{\partial x} = 0 \Rightarrow \psi = \text{const}$$ $$\begin{cases}\psi(0, \ y) = 0 \\ \psi(x, \ 0) = 0 \\ \psi(1, \ y) = 0\end{cases}\label{8}\tag{8}$$
For the upper wall
$$\begin{cases}u(x, \ 1) = U_{up}(x) \\ v(x, \ 1) = 0\end{cases} \Rightarrow \begin{cases}\left[\dfrac{\partial \psi}{\partial x}\right]_{y=1} = 0 \\ \left[\dfrac{\partial \psi}{\partial y}\right]_{y=1} = U_{up}(x)\end{cases}\label{9}\tag{9}$$
Problem 1: Now I don't know which of these two (from \eqref{9}) I should use for upper boundary
Problem 2: What for $w$? I tryied to use \eqref{5}, but I get the same equation \eqref{6}, but applied on the boundary.
