gif up gif contents
Next: Calculating L(t). Up: The South African Gauss Previous: Resolving differences with original

Complex Variable approach to finding the solution to the transform equations.

By transforming the problem into one which the rich theory of complex variables can be applied, some important gains can be made. It is also possible to proceed by solving the coupled real valued PDE's (48) and (49) by a tedious and tricky ``ladder'' approach. The result is a power series in latitude and longitude that unfortunately converges too slowly for practical use at high latitudes.

The route from here on is to transform by change of variable the PDE's into the Cauchy-Riemann equations. This shows that the mapping function is in fact, (in terms of the new variable), an analytic complex valued function. All that remains therefore is to find any analytic function that satisfies the boundary constraints.

If a complex valued function tex2html_wrap_inline1281 satisfies the Cauchy-Riemann equations in a region and the partial derivatives are continous in that region, then R is analytic in that region. [Spiegel p63]

The Cauchy-Riemann equations are...
eqnarray866

Notice first that the basic PDE's (48) and (49) of the Gauss-Conform projection look very similar to the Cauchy-Riemann equations, but are multiplied by an additional term.

However one can transform, by change of variables, the basic PDE's so that they DO satisfy the Cauchy-Riemann equations. Define tex2html_wrap_inline1283 such that...
equation868

Then the basic PDE's in terms of tex2html_wrap_inline1239 become exactly the Cauchy-Riemann equations. Thus R is an analytic function of tex2html_wrap_inline1287.

All we need to do is choose a function R, which is analytic function in the region we are interested, that satisfies the boundary condition.

Now our boundary condition constraints are tex2html_wrap_inline1289 and tex2html_wrap_inline1291. Where L is the distance along the central meridian from the equator. Which translates to tex2html_wrap_inline1293.

First define the complex generalization of tex2html_wrap_inline1283...
equation870
Where l is complex and the integral sign denotes complex integration. Then from a theorem on page 97 of [Spiegel] we know that tex2html_wrap_inline1297 is analytic in the same region as the integrand.

We also know that the inverse function, which I will denote by t( l) and define implicitly by tex2html_wrap_inline1301, is analytic in the same region as tex2html_wrap_inline1297 except where the derivative of tex2html_wrap_inline1297 is zero.

Now define the complex generalisation of L from (55) as follows...
equation872
As above, the integral is analytic. We know that t(l) is analytic, thus from the chain rule for complex differentiation we know that L(l) is analytic as it is a composite of two analytic functions.

So choose
equation874
We can check that this satisfies the boundary conditions...
equation876

And here, in the choice of R, is I suspect is the real reason for slightly strange South African LO coordinate system. The reason the LO X coordinate pointed South was to spare the early surveyor the effort and philosophical pain of having to multiply by the square root of minus one in two places.




gif up gif contents
Next: Calculating L(t). Up: The South African Gauss Previous: Resolving differences with original

John Carter
Fri Feb 21 14:23:22 SAT 1997