Skip to content
Part BCSIR NET December 2023cr-orthogonality

Cr orthogonality

Let f:C→Cf : \mathbb{C} \to \mathbb{C} be a real-differentiable function and define u(x, y) = Re f(x + iy), v(x, y) = Im f(x + iy). Let ∇u=(ux,uy)\nabla{}u = (u_{x}, u_y) denote the gradient. Which one of the following is necessarily true?

  1. A.For c1,c2∈Cc_{1}, c_{2} \in \mathbb{C}, the level curves u=c1u = c_{1} and v=c2v = c_{2} are orthogonal wherever they intersect.
  2. B.∇u⋅∇v=0\nabla{}u \cdot \nabla{}v = 0 at every point.
  3. C.If f is an entire function, then ∇u⋅∇v=0\nabla{}u \cdot \nabla{}v = 0 at every point.✓ Correct
  4. D.If ∇u⋅∇v=0\nabla{}u \cdot \nabla{}v = 0 at every point, then f is an entire function.

The idea, in plain words

When a complex function is genuinely complex-differentiable, its real and imaginary parts are locked together by a pair of equations, and those equations force the two gradients to point at right angles. Merely being differentiable as a function of two real variables buys you none of that locking.

Solution

For entire f the Cauchy–Riemann equations give ∇u⋅∇v=uxvx+uyvy=ux(−uy)+uyux=0\nabla{}u \cdot \nabla{}v = u_{x}v_{x} + u_yv_y = u_{x}(-u_y) + u_yu_{x} = 0.

Without holomorphy there is no such relation, and orthogonal gradients alone do not force CR (e.g. f = z̄ has ∇u⋅∇v=0)\nabla{}u \cdot \nabla{}v = 0).

Why each option is right or wrong

Checked against 2 symbolic computations
  • False. f is only assumed real-differentiable

    so the Cauchy–Riemann equations need not hold and there is no reason for the level curves to meet at right angles.

    Even for entire f the statement is delicate at points where f′ = 0

    since the level sets there need not be curves at all.

    The hypothesis granted is much weaker than the one the claim needs.

  • False for exactly the same reason: without holomorphy, u and v are unrelated real functions and their gradients can point anywhere.

    Take f(x + iy) = x + ix

    so u = v = x and ∇u⋅∇v=1≠0\nabla{}u \cdot \nabla{}v = 1 \ne 0.

    Option (C) is this same claim with the missing hypothesis restored.

  • C.Correct

    True.

    For entire f the Cauchy–Riemann equations give ux=vyu_{x} = v_y and uy=−vxu_y = -v_{x}.

    Hence ∇u⋅∇v=uxvx+uyvy=ux(−uy)+uy(ux)=0\nabla{}u \cdot \nabla{}v = u_{x}v_{x} + u_yv_y = u_{x}(-u_y) + u_y(u_{x}) = 0 identically.

    SymPy checks the model case f(z)=z2f(z) = z^{2}, where u=x2−y2u = x^{2} - y^{2} and v = 2xy: the dot product simplifies to 0.

    Note this holds everywhere

    including at zeros of f′ — the gradients may vanish

    but the product is still 0.

  • False — it is (C) read backwards.

    Take f(z) = z̄

    so u = x and v = −y: SymPy gives ∇u⋅∇v=1⋅0+0⋅(−1)=0\nabla{}u \cdot \nabla{}v = 1\cdot0 + 0\cdot(-1) = 0

    yet f is nowhere holomorphic.

    Orthogonal gradients are one consequence of Cauchy–Riemann, not equivalent to them.

3 of these 3 wrong options correspond to a named reasoning error — the same errors recur across subjects.

The trap it tests

Execution slip

The idea was right. The computation was not.

Drill statements like this

Related counterexample: A harmonic function on any domain has a harmonic conjugate

More on this topic

The chapter behind this: Cauchy–Riemann — what they do and do not give you — free to read

From Analytic Functions › Cauchy–Riemann equations, harmonic functions

Last revised . Found a mistake? Tell us — corrections are the fastest thing we act on.

ShareWhatsAppTelegram