Extracting Real and Imaginary Parts of Elementary Complex Functions without Native Complex Support

Introduction

When a programmer or mathematician needs to evaluate a complex‑valued function but the underlying library only handles real numbers, a common workaround is to rewrite the function in terms of its real and imaginary components. In a recent note, Henry Baker presented a systematic way to do exactly that for a wide class of elementary functions. The method produces two real‑valued functions (u(x, y)) and (v(x, y)) such that

[ f(x+iy) = u(x, y) + i,v(x, y) ]

where (x) and (y) are the real and imaginary parts of the argument, and both (u) and (v) are themselves elementary – they can be evaluated with a scientific calculator. This article unpacks the core ideas behind Baker’s equations, illustrates how they arise, and explores why the resulting functions are not merely computational tricks but are rooted in deep harmonic analysis.

---

The Core Argument: From Complex to Real

1. Defining the Target Functions

For a complex‑valued function (f\colon \mathbb{C}\to\mathbb{C}) we seek (u, v\colon \mathbb{R}^2\to\mathbb{R}) satisfying

[ f(x+iy) = u(x, y) + i,v(x, y). ]

If (f) is built from elementary operations—addition, multiplication, exponentiation, logarithms, trigonometric and inverse trigonometric functions—then each operation can be expressed in terms of (x) and (y) using well‑known identities. For example, the exponential satisfies

[ e^{x+iy}=e^x(\cos y + i\sin y), ]

so the real part is (u(x,y)=e^x\cos y) and the imaginary part is (v(x,y)=e^x\sin y). Baker’s contribution is to systematize this process for all elementary functions, providing a compact table of identities that avoid any hidden integrals or special‑function calls.

2. Elementary Functions Remain Elementary

A subtle point is the definition of “elementary.” In the sense used by Baker, a function is elementary if it can be constructed from a finite combination of:

• Rational operations (addition, subtraction, multiplication, division)
• Roots (including the principal square root)
• Exponential and logarithmic functions
• Trigonometric and inverse trigonometric functions
• The sign function (\operatorname{sgn}) and the two‑argument arctangent (\operatorname{atan2})

Because each of these has a straightforward real‑valued formulation, the resulting (u) and (v) stay within the same algebraic‑analytic class. No gamma function, Bessel function, or other integral‑defined entity ever appears.

---

Key Arguments and Examples

3. A Sample Derivation: The Complex Power

Consider (f(z)=z^a) where (a) is a real constant. Writing (z = x+iy = r e^{i\theta}) with (r=\sqrt{x^2+y^2}) and (\theta=\operatorname{atan2}(y,x)), we have

[ z^a = r^a e^{i a\theta} = r^a(\cos(a\theta) + i\sin(a\theta)). ]

Thus

[ u(x,y) = r^a\cos(a\theta),\quad v(x,y) = r^a\sin(a\theta). ]

Both (r) and (\theta) are elementary: (r = \sqrt{x^2+y^2}) and (\theta = \operatorname{atan2}(y,x)). The power function therefore fits neatly into Baker’s framework.

4. The Role of sgn and atan2

The sign function appears when extracting square roots of expressions that may become negative, while (\operatorname{atan2}) resolves the quadrant ambiguity inherent in the ordinary (\arctan). Their inclusion ensures that the formulas remain valid for all ((x,y)\neq(0,0)) without resorting to piecewise case analysis.

5. Harmonic Structure of (u) and (v)

If (f) is holomorphic (complex differentiable) on a domain, then its real and imaginary parts satisfy the Cauchy–Riemann equations:

[ u_x = v_y, \qquad u_y = -v_x. ]

Taking another derivative and adding yields Laplace’s equation for each part:

[ u_{xx} + u_{yy} = 0, \qquad v_{xx} + v_{yy} = 0. ]

Thus (u) and (v) are harmonic functions—solutions of the Laplace equation. Moreover, they form a harmonic conjugate pair, meaning each is the Hilbert transform of the other. This relationship explains why the formulas derived by Baker are not arbitrary algebraic manipulations; they encode the deep analytic structure of the original complex function.

---

Practical Implications

6. Bootstrapping Complex Math Libraries

Many embedded systems, legacy scientific calculators, or minimalistic runtime environments provide only real‑valued math primitives. By feeding the argument (x+iy) into the real‑valued library using Baker’s (u) and (v) formulas, a developer can obtain complex results without adding a full complex arithmetic layer. The overhead is modest: a few extra arithmetic operations and calls to (\operatorname{atan2}) and (\operatorname{sgn}), both of which are typically already present for polar‑coordinate calculations.

7. Symbolic Manipulation and Proof Assistants

In pure mathematics, having an explicit expression for (\operatorname{Re},f) or (\operatorname{Im},f) can simplify proofs that rely on positivity, monotonicity, or boundary behavior. For instance, when proving that a certain integral over a contour vanishes, one may replace the integrand with its real part and invoke the maximum principle for harmonic functions. Baker’s tables give a ready‑made source of such expressions.

---

Counter‑Perspectives and Limitations

8. When Elementary Is Not Enough

The method shines for elementary functions, but many scientific applications involve special functions—Bessel, gamma, elliptic integrals—that cannot be reduced to the allowed primitives. In those cases the real‑imaginary split inevitably re‑introduces integral representations or series expansions, negating the simplicity that Baker’s approach promises.

9. Numerical Stability Concerns

Expressions that involve (\sqrt{x^2+y^2}) and (\operatorname{atan2}(y,x)) can suffer from loss of significance when (x) and (y) differ by many orders of magnitude. A naïve implementation may produce inaccurate results near the origin or along axes. Careful scaling or the use of fused‑multiply‑add instructions can mitigate these issues, but the burden shifts to the programmer.

---

Conclusion

Henry Baker’s systematic translation of elementary complex functions into pairs of real‑valued elementary functions offers both a practical toolkit for environments lacking native complex support and a conceptual bridge to the harmonic nature of analytic functions. By exposing the underlying Laplacian structure and harmonic conjugacy, the method reminds us that the split into real and imaginary parts is not a mere convenience but a manifestation of deep symmetry in the complex plane. While the approach does not cover the full spectrum of special functions and must be applied with attention to numerical detail, it stands as a valuable addition to the repertoire of anyone who works at the intersection of computation and complex analysis.