On Sharp Estimates of Derivatives of Even Order

I.A.Sheipak; T.A.Garmanova

arxiv: 2606.22646 · v1 · pith:TQWS2H6Pnew · submitted 2026-06-21 · 🧮 math.FA

On Sharp Estimates of Derivatives of Even Order

T.A.Garmanova , I.A.Sheipak This is my paper

Pith reviewed 2026-06-26 09:39 UTC · model grok-4.3

classification 🧮 math.FA

keywords Sobolev embeddingsembedding normsLegendre polynomialssharp constantseven-order derivativespointwise estimatesW_2^n to W_infty^k

0 comments

The pith

The sharp constants for bounding even-order derivatives in Sobolev inequalities on [0,1] occur at the midpoint.

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

The paper studies the smallest numbers A^2_{n,k}(x) such that the square of any function's k-th derivative at a point x is controlled by the L2 norm of its n-th derivative. These numbers give the operator norms for the embeddings of W^n_2[0,1] into W^k_∞[0,1]. Using explicit links between A^2_{n,k}(x) and antiderivatives of Legendre polynomials, the authors determine where these functions reach their largest values on the closed interval. The global maximum always lies at the extremum nearest the center; when k is even this point is exactly x = 1/2. The same location supplies a closed-form expression for the embedding norms in the even-k case.

Core claim

The global maximum of the function A^2_{n,k} on [0,1] is the maximum point nearest the midpoint of the interval; in particular, for even k, x=1/2 is such a point. For the parameter k of even order, an explicit formula for the norms of the embedding operators is obtained.

What carries the argument

The functions A^2_{n,k}(x) obtained from antiderivatives of Legendre polynomials, used to locate their maxima and compute embedding norms.

If this is right

The embedding norm equals the value of A_{n,k}(1/2) when k is even.
The explicit formula reduces norm computation to direct evaluation at the midpoint rather than numerical maximization over the interval.
For every k the pointwise bound is realized at a location determined solely by proximity to the midpoint.
The same midpoint rule governs the location of the global maximum independently of the specific even value of k.

Where Pith is reading between the lines

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

The midpoint location may allow direct comparison of these constants with classical Markov-type inequalities on the same interval.
Similar antiderivative identities for other orthogonal polynomials could produce analogous location rules on different domains.
The explicit even-k formula supplies a concrete benchmark for checking numerical schemes that approximate embedding constants.
One could examine whether the nearest-to-midpoint property persists when the underlying measure is changed from Lebesgue to a weighted integral.

Load-bearing premise

The quantities A^2_{n,k}(x) are given exactly by the antiderivatives of the Legendre polynomials.

What would settle it

An explicit function f in W^n_2[0,1] for which |f^{(k)}(1/2)|^2 exceeds the value computed from the Legendre antiderivative expression at x=1/2 would falsify the claimed location of the maximum for even k.

read the original abstract

The norms of embedding operators of Sobolev spaces $\Wo^n_2[0;1]\hookrightarrow\Wo^k_\infty[0;1]$ ($0\leqslant k\leqslant n-1$) are considered. The least possible quantities $A^2_{n,k}(x)$ in the inequalities $|f^{(k)}(x)|^2\leqslant A^2_{n,k}(x)\|f^{(n)}\|^2_{L_2[0;1]}$ are studied. On the basis of the relations between the $A^2_{n,k}(x)$ and the antiderivatives of the Legendre polynomials, the properties of the maxima of the functions $A^2_{n,k}(x)$ are established. It is shown that, for all~$k$, the global maximum of the function $A^2_{n,k}$ on the closed interval $[0;1]$ is the maximum point nearest to the midpoint of the interval; in particular, for even~$k$, $x=1/2$ is such a point. For the parameter~$k$ of even order, an explicit formula for the norms of the embedding operators is obtained.

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 paper supplies an explicit formula for the sharp embedding norms when k is even and pins the global max of A^2_{n,k} at the point nearest 1/2.

read the letter

The punchline is that the authors use the known link between the sharp constants A^2_{n,k}(x) and antiderivatives of Legendre polynomials to locate the global maximum of those functions and, for even k, to write down a closed-form expression for the embedding norm.

What they do cleanly is exploit parity: when k is even the representation is even, so x=1/2 is immediately a candidate, and the oscillatory character of the Legendre family then makes the nearest-to-midpoint point the global one for any k. The explicit formula for even k follows by substituting that point back into the expression. This is the sort of incremental sharpening that specialists actually use.

The soft spot is modest but real: the entire argument sits on the initial representation via Legendre antiderivatives. If that step contains any normalization choices or requires separate verification for the location of interior maxima, the paper does not flag it in the abstract. The even-k case looks robust once the representation is granted, but the odd-k claim about the nearest point would need the full derivation to confirm it is not just plausible but proven.

The work is aimed at people who already care about sharp constants in one-dimensional Sobolev embeddings. A reader who needs the numerical value for a concrete even-order inequality will find something usable; someone looking for new conceptual machinery will not. The claims are precise enough that a functional-analysis referee can check them in a sitting, so the paper deserves peer review.

Referee Report

0 major / 0 minor

Summary. The paper examines the sharp constants A²_{n,k}(x) appearing in the pointwise inequality |f^{(k)}(x)|² ≤ A²_{n,k}(x) ‖f^{(n)}‖_{L₂[0,1]}² for f in the Sobolev space Wⁿ₂[0,1]. It invokes the known representation of these constants via antiderivatives of Legendre polynomials, then uses symmetry and oscillation properties of the polynomials to locate the global maximum of A²_{n,k}(x) on [0,1] at the extremum nearest the midpoint (in particular at x=1/2 when k is even) and, for even k, to derive an explicit formula for the associated embedding norms.

Significance. If the central representation and the subsequent extremal analysis hold, the results supply explicit, closed-form expressions for the norms of the embeddings Wⁿ₂[0,1] ↪ Wᵏ_∞[0,1] when k is even. Such formulas are useful in approximation theory and in the analysis of boundary-value problems; the symmetry argument for even k is a direct consequence of parity once the Legendre connection is granted.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity; derivation rests on standard Legendre relations

full rationale

The paper begins from the established relation between the sharp constants A²_{n,k}(x) and antiderivatives of Legendre polynomials (a standard fact in approximation theory, not derived within the paper). It then applies symmetry and extremal properties of those polynomials to locate the global maximum (nearest to midpoint, with x=1/2 for even k) and obtain an explicit norm formula for even k. No step reduces a claimed result to a fitted parameter, self-definition, or self-citation chain; the central claims follow directly from the granted representation and known polynomial behavior without internal redefinition or statistical forcing. The work is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; the central claims rest on an unverified relation between A^2_{n,k}(x) and antiderivatives of Legendre polynomials together with standard facts about Sobolev spaces and orthogonal polynomials.

axioms (1)

domain assumption The quantities A^2_{n,k}(x) admit an expression in terms of antiderivatives of Legendre polynomials.
This relation is invoked in the abstract to establish the maxima properties and explicit formula.

pith-pipeline@v0.9.1-grok · 5741 in / 1292 out tokens · 26947 ms · 2026-06-26T09:39:40.712005+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

7 extracted references

[1]

G. A. Kalyabin,Sharp Estimates for Derivatives of Functions in the Sobolev Classes ◦ W r 2(−1; 1), inTrudy Mat. Inst. Steklova(MIAN, Moscow, 2010), Vol. 269, pp. 143–149 [Proc. Steklov Inst. Math.269, ??–??, (2010)]

2010
[2]

On exact constant in the generalized Poincar´ e inequality,

A. I. Nazarov, “On exact constant in the generalized Poincar´ e inequality,” J. Math. Sci.112(1), 4029–4047, (2002)

2002
[3]

On the Symmetry of the Extremal in Some Embedding Theorems,

E. V. Mukoseeva and A. I. Nazarov, “On the Symmetry of the Extremal in Some Embedding Theorems,” Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklova (POMI)425, 35–45 (2014) [J. Math. Sci. (New York)425, ??–?? (2014)]

2014
[4]

Explicit Form of Extremals in the Problem of Embedding Constants in Sobolev Spaces,

T. A. Garmanova and I. A. Sheipak, “Explicit Form of Extremals in the Problem of Embedding Constants in Sobolev Spaces,” Trudy Moskov. Mat. Obshch.80(2), 221–246 (2019) [Trans. Moscow Math. Soc.80(2), ??–?? (2019)]

2019
[5]

K. V. Kholshchevnikov and V. Sh. Shaidulin,On the Properties of Integrals of Legendre PolynomialsVestnik St. Petersburg Univ. Ser. I Mat. Mekh. Astronom.1 (59)(1), 55–67 (2014)

2014
[6]

Tricomi,Differential Equations(Hafner Publ., New York, 1961; Inostr

F. Tricomi,Differential Equations(Hafner Publ., New York, 1961; Inostr. Lit., Moscow, 1962)

1961
[7]

L. Ya. Adrianova,Introduction to Linear Systems of Differential EquationsinTranslations of Mathematical Monographs(Izd. S.-Petersbg. Univ., St. Petersburg, 1992; Amer. Math. Soc., Providence, RI, 1995), Vol. 146. F aculty of Mechanics and Mathematics, Lomonosov Moscow State University, Moscow, 119991 Russia Email address:garmanovata@gmail.com, iasheip@yandex.ru

1992

[1] [1]

G. A. Kalyabin,Sharp Estimates for Derivatives of Functions in the Sobolev Classes ◦ W r 2(−1; 1), inTrudy Mat. Inst. Steklova(MIAN, Moscow, 2010), Vol. 269, pp. 143–149 [Proc. Steklov Inst. Math.269, ??–??, (2010)]

2010

[2] [2]

On exact constant in the generalized Poincar´ e inequality,

A. I. Nazarov, “On exact constant in the generalized Poincar´ e inequality,” J. Math. Sci.112(1), 4029–4047, (2002)

2002

[3] [3]

On the Symmetry of the Extremal in Some Embedding Theorems,

E. V. Mukoseeva and A. I. Nazarov, “On the Symmetry of the Extremal in Some Embedding Theorems,” Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklova (POMI)425, 35–45 (2014) [J. Math. Sci. (New York)425, ??–?? (2014)]

2014

[4] [4]

Explicit Form of Extremals in the Problem of Embedding Constants in Sobolev Spaces,

T. A. Garmanova and I. A. Sheipak, “Explicit Form of Extremals in the Problem of Embedding Constants in Sobolev Spaces,” Trudy Moskov. Mat. Obshch.80(2), 221–246 (2019) [Trans. Moscow Math. Soc.80(2), ??–?? (2019)]

2019

[5] [5]

K. V. Kholshchevnikov and V. Sh. Shaidulin,On the Properties of Integrals of Legendre PolynomialsVestnik St. Petersburg Univ. Ser. I Mat. Mekh. Astronom.1 (59)(1), 55–67 (2014)

2014

[6] [6]

Tricomi,Differential Equations(Hafner Publ., New York, 1961; Inostr

F. Tricomi,Differential Equations(Hafner Publ., New York, 1961; Inostr. Lit., Moscow, 1962)

1961

[7] [7]

L. Ya. Adrianova,Introduction to Linear Systems of Differential EquationsinTranslations of Mathematical Monographs(Izd. S.-Petersbg. Univ., St. Petersburg, 1992; Amer. Math. Soc., Providence, RI, 1995), Vol. 146. F aculty of Mechanics and Mathematics, Lomonosov Moscow State University, Moscow, 119991 Russia Email address:garmanovata@gmail.com, iasheip@yandex.ru

1992