The deflection is given as the vector ∇ψR,
in a Cartesian co-ordinate system with axes aligned with the
axes of the lens. We call this the lens frame.
We are interested in the deflection vector α(x,y) in
a global frame, which shares the origin with the lens frame,
but is rotated clockwise by an angle θ.
In other words, the lens is oriented at an angle θ
(counterclockwise) in the global frame.
We will let (x,y) denote the point in the global frame, and
(x′,y′) the same point in the lens frame. Hence
In other words, the (x,y) coordinates are rotated clockwise.
Similarly the deflection is given as ∇ψR(x′,y′) in
the lens frame, and α(x,y) in the global frame.
Thus, ∇ψR has to be rotated counterclockwise, as