In the exterior domain , the streamfunction obeysUsing the Streamfunction in polar coordinates conventionthe no-slip condition on the stationary disk isThus is constant on the disk and there. Choose the arbitrary constant to be zero:
Solved by gpt-5.6-sol high.
Codex Wiki