Unit Gradient Functions in 3D Analysis

• Functions with unit gradient are Lipschitz functions defined on bounded, connected domains in ℝ³ that satisfy |∇w| = 1 almost everywhere, forming the basis of relaxed conformality systems.
• This framework generalizes the classical 2D Cauchy–Riemann equations to three dimensions by employing harmonic conjugate pairs whose gradients are mutually orthogonal, derived via a variational approach.
• The theory has significant implications in potential theory, geometric analysis, and inverse problems such as Calderón’s, indicating potential non-uniqueness in boundary measurements.

A function with unit gradient refers to a Lipschitz function $w$ defined on a bounded, connected Lipschitz domain $\Omega \subset \mathbb{R}^3$ such that $|\nabla w(x)| \equiv 1$ almost everywhere in $\Omega$ (Pedregal, 13 Feb 2025). Such functions are central in the study of relaxed conformality systems in three dimensions, particularly in connection to the existence of harmonic conjugate pairs (functions $u,v$) whose gradients, together with $\nabla w$, form an orthonormal frame at almost every point. This relaxation generalizes the Cauchy–Riemann equations to three dimensions and has deep implications for potential theory, geometric analysis, and inverse problems.

1. Relaxing Conformal Constraints in $\mathbb{R}^3$

The classical Cauchy–Riemann equations in the plane are associated with the conformality condition encoded as $D u \cdot (D u)^T = (\det D u) I_2$. In dimensions $N \geq 3$, the analogous system $V u \cdot V u^T = (\det V u)^{2/N} I_N$ admits only degenerate smooth solutions (see Liouville’s theorem). Pedregal introduced a relaxation in three dimensions: instead of full conformality, require that a Lipschitz function $\Omega \subset \mathbb{R}^3$0 has $\Omega \subset \mathbb{R}^3$1 almost everywhere, and seek two harmonic functions $\Omega \subset \mathbb{R}^3$2 such that $\Omega \subset \mathbb{R}^3$3 are mutually orthogonal. The precise system is given by imposing

• $\Omega \subset \mathbb{R}^3$4
• $\Omega \subset \mathbb{R}^3$5
• $\Omega \subset \mathbb{R}^3$6 This system can be equivalently encoded as

$\Omega \subset \mathbb{R}^3$7

Pairs $\Omega \subset \mathbb{R}^3$8 satisfying these are termed conjugate harmonic pairs with respect to $\Omega \subset \mathbb{R}^3$9 (Pedregal, 13 Feb 2025).

2. Existence of Conjugate Harmonic Pairs with Unit Gradient

Pedregal’s main theorem establishes that for any bounded, connected Lipschitz domain $|\nabla w(x)| \equiv 1$0 and any $|\nabla w(x)| \equiv 1$1 with $|\nabla w(x)| \equiv 1$2 almost everywhere, there exists a nontrivial pair $|\nabla w(x)| \equiv 1$3 (i.e., neither $|\nabla w(x)| \equiv 1$4 nor $|\nabla w(x)| \equiv 1$5 is constant) such that

• $|\nabla w(x)| \equiv 1$6, $|\nabla w(x)| \equiv 1$7 in $|\nabla w(x)| \equiv 1$8
• $|\nabla w(x)| \equiv 1$9, $\Omega$0 almost everywhere In this setting, $\Omega$1 equals the Jacobian determinant $\Omega$2. This yields infinitely many nontrivial harmonic conjugates of one another under the unit-gradient constraint, contrasting sharply with the rigidity of the classical conformality system in higher dimensions (Pedregal, 13 Feb 2025).

3. Variational Formulation and Proof Strategy

The existence proof employs a variational approach inspired by the two-dimensional theory. The energy functional is defined as

$\Omega$3

subject to the Jacobian-type constraint

$\Omega$4

Step 1 (Existence): Using direct methods in the calculus of variations, uniform estimates, weak compactness, and the Piola identity $\Omega$5, the existence of minimizers is proven for any prescribed nonzero $\Omega$6.

Step 2 (Euler–Lagrange System): First variations lead to the condition that, for some Lagrange multiplier $\Omega$7,

$\Omega$8

for all test functions $\Omega$9. Substituting test fields yields $u,v$0 and recovers the target system. Elliptic regularity then implies $u,v$1 (Pedregal, 13 Feb 2025).

4. Boundary Conditions for Harmonic Conjugate Pairs

The variational setting prescribes natural boundary conditions, which for $u,v$2 are:

• $u,v$3
• $u,v$4 on $u,v$5 Alternatively, the condition $u,v$6 can be imposed, representing a "mixed" boundary condition analogous to prescribing tangential derivatives, combining Dirichlet and Neumann aspects for $u,v$7. The trial space for the variational problem is:

$u,v$8

On this space, $u,v$9 is uniquely recoverable (up to constants) via a scalar variational problem, and analogously, $\nabla w$0 is determined given $\nabla w$1 (Pedregal, 13 Feb 2025).

5. Explicit Constructions and Examples

Explicit examples illustrate the framework:

• Taking $\nabla w$2 so that $\nabla w$3, the system reduces to classical 2D Cauchy–Riemann equations in $\nabla w$4. For example, choosing $\nabla w$5, $\nabla w$6, both extended independently of $\nabla w$7, yields mutually orthogonal unit gradients.
• For the unit ball $\nabla w$8 and $\nabla w$9, $\mathbb{R}^3$0 is the unit radial vector centered at $\mathbb{R}^3$1, and harmonic pairs $\mathbb{R}^3$2 can be constructed axisymmetrically or via variational means (Pedregal, 13 Feb 2025).

6. Implications for Calderón’s Inverse Problem

The Calderón inverse conductivity problem seeks to determine an unknown conductivity $\mathbb{R}^3$3 from the Dirichlet-to-Neumann map $\mathbb{R}^3$4, where $\mathbb{R}^3$5 solves $\mathbb{R}^3$6. In two dimensions, $\mathbb{R}^3$7 uniquely determines $\mathbb{R}^3$8 (Astala–Päivärinta). In three dimensions, uniqueness is unresolved and indeed conjectured to fail at low regularity. Pedregal's construction shows that for any $\mathbb{R}^3$9 and any unit-gradient $D u \cdot (D u)^T = (\det D u) I_2$0, one can construct nontrivial pairs $D u \cdot (D u)^T = (\det D u) I_2$1 with

• $D u \cdot (D u)^T = (\det D u) I_2$2
• $D u \cdot (D u)^T = (\det D u) I_2$3
• $D u \cdot (D u)^T = (\det D u) I_2$4
• $D u \cdot (D u)^T = (\det D u) I_2$5 Here, $D u \cdot (D u)^T = (\det D u) I_2$6 is "invisible" to boundary measurements, introducing a gauge freedom and suggesting that in 3D, the Dirichlet-to-Neumann map may not distinguish different internal structures. This opens avenues for potential non-uniqueness counterexamples in three-dimensional Calderón-type problems (Pedregal, 13 Feb 2025).

7. Structural Role of the Unit Gradient Constraint

The requirement $D u \cdot (D u)^T = (\det D u) I_2$7 enforces that $D u \cdot (D u)^T = (\det D u) I_2$8 is, locally, a distance-type function: its level sets form parallel surfaces at unit spacing. This "calibration" constraint (Editor's term) is ubiquitous in differential geometry, often simplifying PDEs by linearizing curvature. In the context of potential theory, it bridges the Laplace equation $D u \cdot (D u)^T = (\det D u) I_2$9 with the eikonal-type equation $N \geq 3$0, connecting the domains of wave propagation and harmonic functions. The orthogonality requirements among $N \geq 3$1 replace the full conformality of classical systems with a less rigid but structurally rich configuration, admitting infinitely many nontrivial solutions and providing robust analytic and variational tools for their study (Pedregal, 13 Feb 2025).