[Paper Review] Bi-Harmonic mappings and J. C. C. Nitsche type conjecture

David Kalaj, Saminathan Ponnusamy|arXiv (Cornell University)|Feb 12, 2011

Analytic and geometric function theory13 references3 citations

TL;DR

This paper formulates a bi-harmonic analogue of J. C. C. Nitsche's conjecture for harmonic mappings, proposing that radial bi-harmonic diffeomorphisms between annuli $ A(1,t) $ and $ A(1,s) $ exist only if $ s /geq au(t) $, where $ \sigma(t) $ is a sharp lower bound derived from radial bi-harmonic solutions. The authors establish that such mappings exist precisely when $ s \geq \sigma(t) $, with $ \sigma(t) < \sigma_0(t) $, the corresponding bound for harmonic mappings, and construct the critical bi-harmonic mapping explicitly.

ABSTRACT

In this note it is formulated the J. C. C. Nitsche type conjecture for bi-harmonic mappings. The conjecture has been motivated by the radial bi-harmonic mappings between annuli.

Motivation & Objective

• To extend J. C. C. Nitsche’s conjecture for harmonic mappings to the bi-harmonic setting.
• To characterize radial bi-harmonic mappings between planar annuli using explicit parametric forms.
• To determine the sharp lower bound $ \sigma(t) $ for the modulus $ s $ of the target annulus $ A(1,s) $, ensuring existence of radial bi-harmonic diffeomorphisms from $ A(1,t) $.
• To compare the bi-harmonic threshold $ \sigma(t) $ with the harmonic Nitsche bound $ n(t) $, showing $ \sigma(t) < \sigma_0(t) $.
• To prove that the class of such radial bi-harmonic diffeomorphisms is non-empty if and only if $ s \geq \sigma(t) $, and to construct the critical mapping achieving equality.

Proposed method

• Derive the general form of radial bi-harmonic mappings in the complex plane using separation of variables in polar coordinates.
• Express radial bi-harmonic solutions as $ f(z) = \frac{d}{\bar{z}} + a z + b z \log|z| + c |z|^2 z $, with real coefficients.
• Use the transformation $ t = \log r $ to reduce the bi-harmonic equation to a linear ODE: $ G''(t) - G(t) = A e^{3t} + B e^{t} $, solvable via undetermined coefficients.
• Apply boundary conditions $ g(1) = 1 $, $ g(t) = s $, $ g'(1) = x \geq 0 $, $ g'(t) = y \geq 0 $, and express $ g(r) $ as a linear combination of functions $ A(r), B(r), U(r), V(r) $ with coefficients $ 1, s, x, y $.
• Define $ \sigma(t) = \inf_{x,y \geq 0} \sup_{r \in [1,t]} \left( \frac{-A'(r)}{B'(r)} + x \frac{-U'(r)}{B'(r)} + y \frac{-V'(r)}{B'(r)} \right) $, representing the infimum over all admissible initial and final speeds.
• Prove that $ \sigma(t) > 1 $, $ \sigma(t) < \sigma_0(t) $, and that equality is achieved by a critical mapping with $ g_0'(1) > 0 $, $ g_0'(t) > 0 $, using asymptotic and monotonicity analysis of the ratio functions.

Experimental results

Research questions

• RQ1 Is there a sharp lower bound $ \sigma(t) $ for the modulus $ s $ such that a radial bi-harmonic diffeomorphism exists between annuli $ A(1,t) $ and $ A(1,s) $?
• RQ2 How does the bi-harmonic threshold $ \sigma(t) $ compare to the harmonic Nitsche bound $ n(t) $ and the corresponding bi-harmonic extremal bound $ \sigma_0(t) $?
• RQ3 Can the class of radial bi-harmonic diffeomorphisms from $ A(1,t) $ to $ A(1,s) $ be non-empty only when $ s \geq \sigma(t) $, and is this condition sufficient?
• RQ4 What is the structure of the critical bi-harmonic mapping that achieves the sharp bound $ s = \sigma(t) $, and what are its derivative conditions at the boundaries?
• RQ5 Does the existence of such a critical mapping imply that $ \sigma(t) $ is the optimal threshold, and is it unique?

Key findings

• The class of radial bi-harmonic diffeomorphisms from $ A(1,t) $ to $ A(1,s) $ is non-empty if and only if $ s \geq \sigma(t) $, where $ \sigma(t) $ is defined as the infimum over all non-negative initial and final speeds of the supremum of a certain ratio of derivatives.
• The critical bi-harmonic mapping achieving $ s = \sigma(t) $ satisfies $ g_0'(1) > 0 $ and $ g_0'(t) > 0 $, indicating non-zero initial and final speeds, and is explicitly constructed via the parametric form involving $ A(r), B(r), U(r), V(r) $.
• The bound $ \sigma(t) $ is strictly less than $ \sigma_0(t) $, the corresponding extremal bound for homogeneous bi-harmonic mappings (zero initial and final speeds), implying that allowing non-zero speeds reduces the minimal required modulus.
• The function $ \sigma(t) $ is strictly greater than 1 for all $ t > 1 $, ensuring that the target annulus is not too thin, analogous to the harmonic case.
• The critical mapping exists and is unique under the given boundary and monotonicity conditions, and the infimum defining $ \sigma(t) $ is achieved in the limit as sequences of initial and final speeds $ x_n, y_n $ converge to positive values.
• The analysis confirms that $ \sigma(t) $ is the sharp threshold, as $ \sigma(t) < \sigma_0(t) $ and $ \sigma(t) > 1 $, with $ \sigma(t) $ being continuous and increasing in $ t $, consistent with the harmonic Nitsche conjecture's behavior.