Let and . Their cross partial derivatives agree: . On the simply connected plane, this makes the differential form exact. Integrating gives ; matching then requires , so one potential is
The ordinary differential equation states along a solution. Its initial condition fixes the constant to . Hence the solution is specified implicitly by
At the initial point , so the implicit function theorem guarantees a unique local branch through that point.
For , multiply by to obtain the first-order linear ordinary differential equation . Its integrating factor is . The product rule then gives
Integration yields , so
The constant of integration is arbitrary on each connected interval of the original equation's domain. The formula extends smoothly through zero, but the printed equation itself contains and is not defined there.
The real equation has domain . Its integrating factor is
Thus the linear ordinary differential equation becomes . After integration, . The initial condition gives , hence
Write the scalar field as , where and . Its radial contribution to the Laplacian in spherical coordinates is
For the angular contribution, and , so
Combining the radial and angular terms proves
The calculation uses to avoid coordinate singularities. In Cartesian coordinates, , which extends smoothly across the polar axis for . It therefore satisfies Laplace's equation there as well. The origin is a genuine singularity and is excluded.

Articles by others on the same topic (0)

There are currently no matching articles.