arxiv: 2605.09576 · v1 · submitted 2026-05-10 · 🧮 math.CV

Recognition: 2 theorem links

· Lean Theorem

On an extremal problem for harmonic maps conformal at a point

David Kalaj, Franc Forstneric

Pith reviewed 2026-05-12 01:51 UTC · model grok-4.3

classification 🧮 math.CV

keywords harmonic mapsconformal differentialextremal problemconvex domainsholomorphic mapsunit discRiemann mapping

0 comments

The pith

Equality in the extremal problem for harmonic maps holds exactly for domains given by a specific family of holomorphic maps.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper characterizes the bounded convex domains D for which the supremum M_D(p) equals the derivative norm of a conformal map from the unit disc. This occurs if and only if, after normalization, D is the image of the unit disc under a holomorphic map whose derivative takes the form c divided by a quadratic polynomial in z, with the coefficients satisfying |λ| < 1 and a certain inequality involving a and λ. The result shows that the equality case includes strongly convex domains that are not round discs, giving a negative answer to whether only discs work. A reader sees how the convexity condition allows a complete description of when harmonic maps can match the extremal stretching of conformal maps at an interior point.

Core claim

Among bounded convex pointed domains p in D subset C, and up to translations, rotations, and reflections, M_D(p) equals the conformal derivative norm if and only if, after moving p to the origin, D equals F of the unit disc where F is holomorphic, F(0)=0, and F prime of z equals c over (1 plus a z plus λ z squared), with c positive, |λ| less than 1, and |a minus conjugate(a) λ| less than 1 minus |λ| squared. This family contains strongly convex examples which are not round discs.

What carries the argument

M_D(p) as the supremum of the norm of df at zero over all harmonic maps f from the unit disc to D with f(0)=p whose differential at zero is conformal, together with the explicit holomorphic maps F whose images realize equality.

If this is right

The unit disc itself is recovered when a and λ are both zero.
Strongly convex non-disc domains satisfy the equality condition.
The extremal harmonic maps in the equality case coincide with the holomorphic maps F.
Affine transformations preserve the equality property.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result suggests that convexity is the key restriction allowing an exhaustive list of equality cases.
One could test whether dropping boundedness produces additional families or breaks the characterization.
The explicit form of F may allow direct construction of new extremal examples for related boundary-value problems.

Load-bearing premise

The domain must be bounded and convex, and the maps must be harmonic with conformal differential at the origin.

What would settle it

A bounded convex domain not equal to any such F-image for which there exists a harmonic map with conformal df at zero whose norm equals the conformal map's norm would disprove the if-and-only-if statement.

read the original abstract

Let \(\mathbb D\) denote the unit disc in \(\mathbb C\). For a domain \(D\subset\mathbb C\) and a point \(p\in D\), let \(M_D(p)\) denote the supremum of \(\|df_0\|\) over all harmonic maps \(f:\mathbb D\to D\) with \(f(0)=p\) whose differential \(df_0\) at \(0\in \mathbb D\) is conformal. If \(f:\mathbb D\to D\) is a conformal diffeomorphism onto \(D\) with \(f(0)=p\), then \(\|df_0\|\le M_D(p)\). In a recent paper, the authors proved that equality holds when \(D=\mathbb D\), and they asked whether equality can hold only when \(D\) is a round disc. We give a negative answer by proving that, among bounded convex pointed domains \(p\in D\subset\mathbb C\) and up to translations, rotations, and reflections, equality holds if and only if, after moving \(p\) to the origin, \(D=F(\mathbb D)\) where \(F:\mathbb D\to\mathbb C\) is a holomorphic map with \(F(0)=0\) and \(F'(z)=\frac{c}{1+az+\lambda z^2}\), where \(c>0\), \(|\lambda|<1\), and \(|a-\bar a\lambda|<1-|\lambda|^2\). This family contains strongly convex examples which are not round discs.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a clean if-and-only-if characterization of bounded convex domains achieving equality in the extremal problem for harmonic maps conformal at a point, including an explicit family of non-disc examples.

read the letter

The main takeaway is that Forstneric and Kalaj have settled their own earlier question with a precise characterization: among bounded convex domains, equality in M_D(p) holds exactly when the domain is the image of the disc under a holomorphic map whose derivative has the stated rational form with quadratic denominator. The family includes strongly convex non-circular examples, which directly shows the round disc is not the only case. They normalize p to the origin and account for the usual symmetries, so the statement is concrete and usable. The derivation of the coefficient conditions on a and λ appears to come from enforcing the equality case through distortion control or boundary behavior for the harmonic maps, and the inequalities ensure univalence and convexity of the image. That part looks like the real work. The argument stays within the convex setting, which the abstract states clearly, so there is no overclaim. A minor limitation is that the result does not address non-convex domains, but the paper does not pretend to. The proof strategy seems to rest on standard tools from harmonic mapping theory rather than new machinery, which keeps it focused. This is useful for people already working on planar harmonic maps and extremal problems in complex analysis. The explicit examples could serve as test cases for related conjectures. I would bring it to a reading group only if the group has a few people interested in geometric function theory. It deserves peer review because the characterization is new, the statement is sharp, and the logical chain from the extremal condition to the rational form is internally consistent.

Referee Report

0 major / 3 minor

Summary. The paper defines M_D(p) as the supremum of the operator norm ||df_0|| over harmonic maps f from the unit disc to a domain D with f(0)=p and df_0 conformal at 0. It proves that, for bounded convex D with p in D, equality M_D(p) = ||df_0|| holds for a conformal diffeomorphism f onto D (after normalizations) if and only if D is the image of the unit disc under a holomorphic map F with F(0)=0 and F'(z)=c/(1+az+λz²) where c>0, |λ|<1, and |a - conj(a)λ| < 1-|λ|². This family includes strongly convex non-disc domains, providing a negative answer to the question of whether equality holds only for round discs.

Significance. If the characterization holds, the result enlarges the class of extremal domains beyond discs for this harmonic mapping problem, supplying an explicit holomorphic family that yields concrete strongly convex counterexamples. The explicit form of F' permits direct verification of convexity and univalence under the stated coefficient bounds, which strengthens the utility of the theorem for further analysis in complex analysis and geometric function theory.

minor comments (3)

The abstract and introduction should explicitly reference the previous paper in which the authors proved the equality case for D=unit disc and posed the question, to clarify the precise advance.
In the statement of the main theorem, confirm that the conditions |λ|<1 and |a - conj(a)λ|<1-|λ|² are both necessary and sufficient for the image domain to be bounded and convex; a brief remark on how these arise from the Schwarz lemma or coefficient bounds would aid readability.
Notation for the pointed domain (p in D) and the normalizations (translations, rotations, reflections) is clear in the abstract but should be restated verbatim at the beginning of the theorem statement for self-contained reading.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation to accept. The referee's summary accurately reflects the main results and the explicit characterization provided.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes a characterization theorem for equality cases in the extremal quantity M_D(p) among bounded convex domains. The argument proceeds from the definition of harmonic maps with conformal differential at the origin, combined with convexity to derive the explicit form of F via holomorphic functions satisfying the given differential equation. The reference to the authors' prior work is limited to the special case D equal to the unit disc (where equality is already known to hold), serving only as motivation for the open question; it is not invoked as a load-bearing step or uniqueness theorem in the new proof. No equation or claim reduces by construction to a fitted parameter, self-definition, or ansatz imported via self-citation. The result is externally falsifiable by direct verification on the stated family and is independent of the present paper's fitted values.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard background results in complex analysis and the geometric assumption that the domain is bounded and convex. No new entities are postulated; the parameters c, a, λ simply parametrize the holomorphic maps in the equality case.

axioms (2)

standard math Harmonic maps from the disc have well-defined differentials that can be conformal at a point
Standard fact from harmonic function theory and complex analysis invoked throughout the setup.
domain assumption The domain D is bounded and convex
The theorem is stated only for bounded convex pointed domains; convexity is used to guarantee the stated family works.

pith-pipeline@v0.9.0 · 5567 in / 1494 out tokens · 67335 ms · 2026-05-12T01:51:56.444122+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
M_D(p) = sup {∥df_0∥ : f:D→D harmonic, f(0)=p, df_0 conformal}; equality iff D=F(D) with F'(z)=c/(1+az+λz²) under |λ|<1 and |a−āλ|<1−|λ|² (Thm 1.1–1.2)
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
Proof via Poisson extension, support function h_D, perimeter formula, and separation argument yielding the quadratic denominator

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

[1]

Boyd and L

S. Boyd and L. Vandenberghe,Convex optimization, Cambridge University Press, Cambridge, 2004

work page 2004
[2]

Clunie and T

J. Clunie and T. Sheil-Small, Harmonic univalent functions,Ann. Acad. Sci. Fenn. Ser. A I Math.9(1984), 3–25

work page 1984
[3]

Cohn, Über die Anzahl der Wurzeln einer algebraischen Gleichung in einem Kreise,Math

A. Cohn, Über die Anzahl der Wurzeln einer algebraischen Gleichung in einem Kreise,Math. Z.14(1922), 110–148

work page 1922
[4]

Dragović and D

V. Dragović and D. Kalaj, Minimal surfaces over the Pitot quadrilaterals, preprint, arXiv:2512.01029, 2025

work page arXiv 2025
[5]

Drinovec Drnovšek and F

B. Drinovec Drnovšek and F. Forstnerič, Hyperbolic domains in real Euclidean spaces,Pure Appl. Math. Q. 19(2023), 2689–2735

work page 2023
[6]

Duren,Harmonic Mappings in the Plane, Cambridge Tracts in Mathematics, vol

P. Duren,Harmonic Mappings in the Plane, Cambridge Tracts in Mathematics, vol. 156, Cambridge University Press, Cambridge, 2004. 10 FRANC FORSTNERIČ AND DA VID KALAJ

work page 2004
[7]

P. L. Duren,Univalent Functions, Grundlehren der Mathematischen Wissenschaften, vol. 259, Springer-Verlag, New York, 1983

work page 1983
[8]

Forstnerič and D

F. Forstnerič and D. Kalaj, Schwarz–Pick lemma for harmonic maps which are conformal at a point,Anal. PDE17(2024), no. 3, 981–1003

work page 2024
[9]

Kalaj, On harmonic diffeomorphisms of the unit disc onto a convex domain,Complex Var

D. Kalaj, On harmonic diffeomorphisms of the unit disc onto a convex domain,Complex Var. Theory Appl. 48(2003), no. 2, 175–187

work page 2003
[10]

Kalaj, A sharp inequality for harmonic diffeomorphisms of the unit disk,J

D. Kalaj, A sharp inequality for harmonic diffeomorphisms of the unit disk,J. Geom. Anal.29(2019), 392–401

work page 2019
[11]

Lempert, La métrique de Kobayashi et la représentation des domaines sur la boule,Bull

L. Lempert, La métrique de Kobayashi et la représentation des domaines sur la boule,Bull. Soc. Math. France109(1981), 427–474

work page 1981
[12]

Pommerenke,Univalent Functions, Studia Mathematica/Mathematische Lehrbücher, vol

C. Pommerenke,Univalent Functions, Studia Mathematica/Mathematische Lehrbücher, vol. 25, Vandenhoeck & Ruprecht, Göttingen, 1975

work page 1975
[13]

L. A. Santaló, Integral geometry and geometric probability, Encyclopedia of Mathematics and its Applications, Vol. 1, Addison–Wesley, Reading, Mass.–London–Amsterdam, 1976

work page 1976
[14]

Schur, Über Potenzreihen, die im Innern des Einheitskreises beschränkt sind

I. Schur, Über Potenzreihen, die im Innern des Einheitskreises beschränkt sind. I, II,J. Reine Angew. Math. 147(1918), 205–232. Franc Forstnerič, F aculty of Mathematics and Physics, University of Ljubljana, Jadranska 19, 1000 Ljubljana, Slovenia Franc Forstnerič, Institute of Mathematics, Physics, and Mechanics, Jadranska 19, 1000 Ljubl- jana, Slovenia E...

work page 1918