There is a global-domain issue in the printed question. Write away from the origin. Direct partial differentiation givesThus the differential one-form is a closed differential form for every real . The Poincaré lemma makes it locally an exact differential form on small neighborhoods avoiding the origin. There is no additional condition such as .
However, the stated domain is the whole punctured plane, which is not simply connected. To test global exactness, use the closed ellipse , , . Here andThe line integral of a globally exact differential form around any closed curve would be zero. ConsequentlyThe distinction is precisely that of the elliptically scaled angular one-form. The remaining parts can be answered consistently using a local angle branch, as follows.
On a chart with , setThe chain rule verifies both components:A coordinate-independent description of the local potential is a continuous branch of , the complex argument of the scaled coordinates. Such branches can also cover points where , using a different angular chart. Continuing once around the missing origin changes that angle by a nonzero multiple of , so there is no global single-valued on the full stated domain.
The nonzero factor can be cancelled in the local differential equation, leaving . On an interval with ,Hence the explicit general solution ison any interval that avoids the excluded origin. It also follows from fixing the local angle potential, with slope . As parameterized curves there are also vertical rays , which cannot be represented as single-valued functions . Geometrically the connected integral curves are rays, not lines continued through the undefined origin.
Articles by others on the same topic
There are currently no matching articles.