[Paper Review] Explicit Solving of the System of Natural PDE's of Minimal Space-like Surfaces in Minkowski Space-time

Georgi Ganchev, Krasimir Kanchev|arXiv (Cornell University)|Dec 20, 2016

Advanced Differential Geometry Research3 references4 citations

TL;DR

This paper provides an explicit solution to the system of natural partial differential equations (PDEs) governing minimal space-like surfaces of general type in Minkowski space-time ℝ⁴₁. Using canonical Weierstrass representations and holomorphic functions, it shows that all solutions for Gauss curvature $K$ and normal curvature $κ$ are generated by pairs of holomorphic functions, with a complete characterization of equivalence classes via Möbius-type transformations.

ABSTRACT

A minimal space-like surface in Minkowski space-time is said to be of general type if it is free of degenerate points. The fact that minimal space-like surfaces of general type in Minkowski space-time admit canonical parameters of the first (second) type implies that any minimal space-like surface is determined uniquely up to a motion in space-time by the Gauss curvature and the normal curvature, satisfying a system of two PDE's (the system of natural PDE's). In fact this solves the problem of Lund-Regge for minimal space-like surfaces. Using canonical Weierstrass representations of minimal space-like surfaces of general type in Minkowski space-time we solve explicitly the system of natural PDE's, expressing any solution by means of two holomorphic functions in the Gauss plane. We find the relation between two pairs of holomorphic functions (i.e. the class of pairs of holomorphic functions) generating one and the same solution to the system of natural PDE's, i.e. generating one and the same minimal space-like surface in Minkowski space-time.

Motivation & Objective

• To solve explicitly the system of natural PDEs that characterize minimal space-like surfaces of general type in Minkowski space-time ℝ⁴₁.
• To establish a complete holomorphic representation for all such surfaces by expressing curvature invariants $K$ and $\u03ba$ in terms of holomorphic data.
• To determine the equivalence relation between different holomorphic pairs that generate the same surface, up to Lorentzian isometries.
• To resolve the Lund-Regge problem for minimal space-like surfaces in ℝ⁴₁ by providing a constructive, explicit parametrization.

Proposed method

• Transform the original system of PDEs (1.1) into a complex form via the substitution $\alpha = e^{X+iY}$, reducing it to $\Delta \log \alpha = 2\alpha$.
• Utilize canonical Weierstrass representations of minimal space-like surfaces in ℝ⁴₁ to express the surface in terms of holomorphic functions $g_1, g_2$.
• Derive explicit formulas for $K$ and $\u03ba$ as $K = |\alpha| \operatorname{Re} \alpha$, $\u03ba = |\alpha| \operatorname{Im} \alpha$, with $\alpha = \frac{-4g_1' \bar{g}_2'}{(1 + g_1 \bar{g}_2)^2}$.
• Establish equivalence between holomorphic pairs via Möbius-type transformations: $\hat{g}_1 = \frac{a g_1 + b}{c g_1 + d}$, $\hat{g}_2 = \frac{\bar{d} g_2 - \bar{c}}{-\bar{b} g_2 + \bar{a}}$, where $ad - bc \neq 0$.
• Re-express solutions using a complex harmonic function $\theta$ or $\eta$, leading to alternative parametrizations such as $\alpha = \frac{{\eta'_u}^2 + {\eta'_v}^2}{\eta^2}$.
• Prove that all solutions to the system (1.1) are captured by these holomorphic or harmonic function representations, with well-defined non-degeneracy conditions.

Experimental results

Research questions

• RQ1 How can the system of natural PDEs for minimal space-like surfaces in ℝ⁴₁ be solved explicitly?
• RQ2 What is the complete holomorphic representation of all such surfaces, and how are the curvature invariants $K$ and $\u03ba$ expressed in terms of holomorphic data?
• RQ3 Which transformations of holomorphic pairs yield the same surface, and how is this equivalence characterized?
• RQ4 Can the solution be re-expressed using complex harmonic functions, and what is the resulting parametrization?
• RQ5 Does this parametrization fully capture all solutions to the system (1.1), and what are the necessary non-degeneracy conditions?

Key findings

• All solutions to the system of natural PDEs (1.1) are explicitly constructed via holomorphic functions $g_1, g_2$ satisfying $g_1'g_2' \neq 0$ and $g_1\bar{g}_2 \neq -1$.
• The Gauss curvature $K$ and normal curvature $\u03ba$ are given by $K = |\alpha| \operatorname{Re} \alpha$, $\u03ba = |\alpha| \operatorname{Im} \alpha$, where $\alpha = \frac{-4g_1' \bar{g}_2'}{(1 + g_1 \bar{g}_2)^2}$.
• Two holomorphic pairs $(g_1, g_2)$ and $(\hat{g}_1, \hat{g}_2)$ generate the same surface if and only if they are related by the Möbius-type transformation (1.5) with $ad - bc \neq 0$.
• An alternative parametrization exists using a complex harmonic function $\eta$, where $\alpha = \frac{{\eta'_u}^2 + {\eta'_v}^2}{\eta^2}$, valid when $\eta \neq 0$ and $\eta'_u{}^2 + \eta'_v{}^2 \neq 0$.
• The solution via $\eta$ fully captures all solutions to (1.1), confirming the completeness of the holomorphic representation.
• The system (1.1) is equivalent to the complex PDE $\Delta \log \alpha = 2\alpha$, which is formally identical to the equation for minimal surfaces in ℝ³₁, but with $\alpha$ complex-valued.