Sharp multiplier estimates for the higher-order Schwarzian derivatives of the Koebe function

Jianjun Jin

arxiv: 2604.20326 · v6 · pith:DU7YUXDInew · submitted 2026-04-22 · 🧮 math.CV

Sharp multiplier estimates for the higher-order Schwarzian derivatives of the Koebe function

Jianjun Jin This is my paper

Pith reviewed 2026-05-21 00:26 UTC · model grok-4.3

classification 🧮 math.CV

keywords Schwarzian derivativeKoebe functionmultiplier estimatesweighted Bergman spacesunivalent functionsextremal problemshigher-order derivatives

0 comments

The pith

The Koebe function achieves sharp multiplier estimates for its higher-order Schwarzian derivatives between weighted Bergman spaces.

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

This paper proves sharp bounds on the norms of multiplication operators whose symbols are the higher-order Schwarzian derivatives of the Koebe function when these operators act between weighted Bergman spaces. The result extends an earlier theorem by Shimorin from low orders to all higher orders. The argument rests on an explicit formula for the derivatives of the Koebe function together with a multiplier theorem from the authors' prior work. The authors also record that the Koebe function remains the extremal example among univalent functions for certain of these higher-order quantities.

Core claim

We establish sharp multiplier estimates for the higher-order Schwarzian derivatives of the Koebe function. This extends a related result by Shimorin. The proof relies on an explicit formula for the higher-order Schwarzian derivatives of the Koebe function and a recent theorem from our earlier work. We finally point out that the Koebe function is still the extremal function for certain higher-order Schwarzians of the univalent functions.

What carries the argument

The explicit formula for the higher-order Schwarzian derivatives of the Koebe function, which permits direct application of a general multiplier-norm theorem to obtain the sharp constants.

If this is right

Sharp multiplier bounds hold for every order of the Schwarzian derivatives of the Koebe function.
The Koebe function remains the extremal function for the multiplier norms of these higher-order derivatives.
The extremal property among univalent functions carries over to the higher-order Schwarzians.

Where Pith is reading between the lines

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

The same explicit-formula approach might be tested on other classical univalent functions to see whether they attain comparable sharp constants.
The result raises the question of whether analogous sharp multiplier estimates exist in other spaces, such as Hardy spaces or Dirichlet spaces.

Load-bearing premise

The sharp bounds rest on the availability of a closed-form expression for the higher-order Schwarzian derivatives of the Koebe function.

What would settle it

A direct computation of the multiplier norm for the third-order Schwarzian derivative of the Koebe function that exceeds the value predicted by the explicit formula and the general theorem would disprove the sharpness claim.

read the original abstract

In this note we study the multiplier norm estimates for the multiplication operators between weighted Bergman spaces, whose symbols are the higher-order Schwarzian derivatives of univalent functions. We establish sharp multiplier estimates for the higher-order Schwarzian derivatives of the Koebe function. This extends a related result by Shimorin. The proof of our new theorem relies on an explicit formula for the higher-order Schwarzian derivatives of the Koebe function and a recent theorem from our earlier work. We finally point out that the Koebe function is still the extremal function for certain higher-order Schwarzians of the univalent functions.

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

This note gives sharp multiplier norms for higher-order Schwarzians of the Koebe function by feeding an explicit formula into a theorem from the authors' prior paper.

read the letter

Colleague, the central claim here is that the authors obtain sharp multiplier estimates for the n-th order Schwarzian derivatives of the Koebe function on weighted Bergman spaces. They do this with an explicit formula for those derivatives plus a direct application of a multiplier-norm result from their own recent work, which extends Shimorin's earlier estimates and keeps the Koebe function as the extremal example for univalent functions at these higher orders. The argument is short and mechanical once the formula is accepted. That is the main contribution: concrete constants for orders beyond the classical cases that were already known. The paper does this cleanly without extra machinery. The soft spots are modest and proportional to the scope. Everything rests on the explicit formula being accurate for arbitrary n and on the prior theorem's hypotheses holding for these particular symbols. The note does not spell out separate growth or integrability checks for large n, so a referee would reasonably ask to see the derivation of the formula and confirmation that no hidden restrictions appear when the order increases. This is not circular, just incremental self-reference, and it does not undermine the central computation if the formula checks out. The work is aimed at people already working on multipliers in Bergman spaces or higher-order derivatives in univalent function theory. A reader who knows Shimorin's result and the cited prior theorem will pick up the extension quickly and see where the constants come from. I would send this to peer review. The claim is narrow but precise enough that referees can verify the formula and the application in a straightforward way.

Referee Report

2 major / 1 minor

Summary. The manuscript establishes sharp multiplier estimates for the higher-order Schwarzian derivatives of the Koebe function k(z)=z/(1-z)^2 acting as symbols for multiplication operators between weighted Bergman spaces. It derives an explicit formula for these derivatives, invokes a multiplier-norm theorem from the authors' earlier work to conclude that the operator norm is attained at k, and extends a related result of Shimorin while noting that k remains extremal for certain higher-order Schwarzians of univalent functions.

Significance. If substantiated, the result would supply sharp constants for these multiplier norms and identify the Koebe function as extremal in a higher-order setting, providing a concrete benchmark that could guide further work on symbols arising from univalent functions in geometric function theory.

major comments (2)

[Proof of the main theorem] The central sharpness claim rests on an explicit formula for the n-th order Schwarzian derivative S_n(k). The manuscript must supply a complete derivation or induction that confirms the formula holds for every positive integer n (not merely formal computation for small n), together with any necessary error estimates or growth controls that justify passing to the limit in the multiplier norm.
[Application of the prior multiplier theorem] The hypotheses of the cited multiplier-norm theorem from the authors' prior work (growth, integrability, or weight restrictions on the symbol) must be verified explicitly for the functions S_n(k) and the specific weights under consideration. Without this check, it is unclear whether the theorem applies directly for all n or whether additional restrictions appear for large n.

minor comments (1)

[Introduction] The abstract and introduction should clarify the precise range of weights and the exact statement of the prior theorem being applied, to make the self-contained nature of the note easier to assess.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below.

read point-by-point responses

Referee: [Proof of the main theorem] The central sharpness claim rests on an explicit formula for the n-th order Schwarzian derivative S_n(k). The manuscript must supply a complete derivation or induction that confirms the formula holds for every positive integer n (not merely formal computation for small n), together with any necessary error estimates or growth controls that justify passing to the limit in the multiplier norm.

Authors: We agree that a complete inductive derivation of the formula for S_n(k) is required for rigor. In the revised manuscript we will insert a full induction on n, beginning with the base cases n=1,2 and proceeding to the inductive step, together with explicit bounds on the growth of the Taylor coefficients of S_n(k) that justify interchanging the limit and the multiplier-norm computation. revision: yes
Referee: [Application of the prior multiplier theorem] The hypotheses of the cited multiplier-norm theorem from the authors' prior work (growth, integrability, or weight restrictions on the symbol) must be verified explicitly for the functions S_n(k) and the specific weights under consideration. Without this check, it is unclear whether the theorem applies directly for all n or whether additional restrictions appear for large n.

Authors: We accept the need for explicit verification. The revised version will contain a direct check that each S_n(k) satisfies the growth, integrability, and weight hypotheses of the multiplier-norm theorem from our earlier work, uniformly in n, with no additional restrictions arising for large n. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation combines explicit formula with prior theorem without tautological reduction

full rationale

The paper's proof chain states an explicit formula for the higher-order Schwarzian derivatives of the Koebe function and applies a theorem from earlier work to obtain the sharp multiplier estimates on weighted Bergman spaces. This structure does not reduce the claimed result to its inputs by construction, nor does it involve self-definition, fitted parameters renamed as predictions, or an ansatz smuggled via citation. The cited theorem supplies independent support from prior work, and the application to higher-order Schwarzians of the Koebe function adds new content. No load-bearing step equates the final estimates to a rephrasing of the inputs alone.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background results in univalent function theory and Bergman space operator theory together with an explicit formula whose derivation is not detailed in the abstract.

axioms (2)

standard math Standard properties of the Koebe function and higher-order Schwarzian derivatives in the unit disk
Invoked to obtain the explicit formula used in the estimates.
domain assumption Existence and properties of the recent theorem from the author's earlier work
Cited as the second main ingredient of the proof.

pith-pipeline@v0.9.0 · 5617 in / 1248 out tokens · 33728 ms · 2026-05-21T00:26:08.691026+00:00 · methodology

Review history (2 revisions) →

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

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We establish sharp multiplier estimates for the higher-order Schwarzian derivatives of the Koebe function... explicit formula for the higher-order Schwarzian derivatives of the Koebe function and a recent theorem from our earlier work.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.