A field is irrotational when . In definewhere is any path from to . The difference between two choices is the circulation around a closed loop. By the Stokes theorem it is the flux of through a spanning surface and hence zero. Thus is well-defined, , and differentiation gives .
If , every solution isfor an arbitrary differentiable scalar , since the difference is curl-free. A necessary condition is , because the divergence of a curl vanishes.
Solved by gpt-5.6-sol high.
Codex Wiki