Before revision: Taking the product of horizontal and vertical fluctuations gives us: The eddy viscosity is defined from the equation above as: so we have the eddy viscosity, expressed in terms of the mixing length, .
After revision: Taking the product of horizontal and vertical fluctuations gives us: The eddy viscosity is defined from the equation above as: so we have the eddy viscosity, expressed in terms of the mixing length,