The Kerman-Sawyer trace theorem for product Morrey spaces

Hiroki Saito; Hitoshi Tanaka; Naoya Hatano; Ryota Kawasumi

arxiv: 2604.17733 · v1 · submitted 2026-04-20 · 🧮 math.FA · math.CA

The Kerman-Sawyer trace theorem for product Morrey spaces

Naoya Hatano , Ryota Kawasumi , Hiroki Saito , Hitoshi Tanaka This is my paper

Pith reviewed 2026-05-10 04:21 UTC · model grok-4.3

classification 🧮 math.FA math.CA

keywords Morrey spacesproduct Morrey spacestrace inequalityKerman-Sawyercorona decompositionharmonic analysisfunctional analysis

0 comments

The pith

The Kerman-Sawyer trace inequality extends from Lebesgue to product Morrey spaces using parallel corona decomposition.

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

The paper establishes that the Kerman-Sawyer trace inequality, known for Lebesgue spaces, remains valid when the underlying space is replaced by product Morrey spaces. This is done by applying parallel corona decomposition, which breaks the domain into manageable pieces while preserving key measure and overlap controls. Readers interested in harmonic analysis would care because Morrey spaces capture local regularity better than Lebesgue spaces in many applications. If the extension succeeds, trace estimates become available for a broader family of functions without inventing entirely new techniques. The result follows directly from the decomposition behaving uniformly across these spaces.

Core claim

Using parallel corona decomposition, the Kerman-Sawyer trace inequality is extended from Lebesgue spaces to product Morrey spaces. The authors demonstrate that the same decomposition technique controls the constants in the inequality for the more general Morrey setting in the product case.

What carries the argument

Parallel corona decomposition, a method that partitions the product domain into dyadic rectangles with bounded overlap to estimate integrals and traces.

If this is right

The trace theorem applies to product Morrey spaces with the same form as in Lebesgue spaces.
The constants in the inequality remain controlled independently of the Morrey parameters.
This provides a direct way to handle trace problems in product settings for Morrey functions.
Applications to potential theory or embedding theorems in these spaces follow similarly.

Where Pith is reading between the lines

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

The method could be adapted to other non-homogeneous spaces or weighted versions.
It may connect to similar extensions for Besov-Morrey spaces or other function spaces used in PDE theory.
One could test if the same approach works for higher-order traces or nonlinear inequalities.

Load-bearing premise

The parallel corona decomposition applies to product Morrey spaces with the same control on decomposition constants as in the Lebesgue case.

What would settle it

A specific product Morrey space and a function where the trace integral exceeds the predicted bound from the Morrey norm, or where the corona constants grow with the Morrey parameter.

read the original abstract

By using parallel corona decomposition, the Kerman-Sawyer trace inequality is extended from Lebesgue spaces to product Morrey spaces.

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

Extends Kerman-Sawyer trace inequality to product Morrey spaces via parallel corona decomposition, but the constants need explicit verification against the Morrey exponents.

read the letter

The one thing to know is that this paper takes the Kerman-Sawyer trace theorem and extends it to product Morrey spaces using parallel corona decomposition. It's incremental work in a specialized corner of harmonic analysis. They do the extension competently by setting up the product Morrey norm and running the decomposition argument in that setting. The method is established, so the contribution is in verifying that the same tools apply and produce the trace bound with the right constants. That is useful for anyone who needs trace inequalities in these spaces. The soft spot is the one flagged in the stress test. The parallel corona decomposition relies on selecting rectangles where the average exceeds a threshold, and in Morrey spaces those averages are raised to a power q and normalized by the side lengths to a certain power. It is not immediate that the number of selected pieces or the measure estimates stay controlled independently of q. The paper needs to show that the decomposition constants do not blow up with the Morrey parameters. If they have done the calculation and the factors cancel or bound nicely, then the result holds. If not, the inequality might only hold with constants depending on the exponents, which would be a weaker statement than claimed. Since the full text is available, I assume they address this, but it is the place where a referee would look closely. The rest of the argument appears standard and the citations are appropriate for the topic. This paper is for people working on multiparameter harmonic analysis and function spaces. A specialist who has read the original Kerman-Sawyer work and knows corona decompositions will find it straightforward and potentially cite it when they need the product Morrey version. It is not for a broad audience. It deserves peer review because the extension is honest and the details are the kind of thing referees can check and improve.

Referee Report

1 major / 0 minor

Summary. The paper extends the Kerman-Sawyer trace inequality from Lebesgue spaces to product Morrey spaces by applying parallel corona decomposition.

Significance. If the decomposition constants remain independent of the Morrey parameters, the result would furnish a useful generalization of trace inequalities to product Morrey spaces, which are relevant for local integrability questions in harmonic analysis and PDE theory. The approach reuses an established decomposition technique rather than developing new machinery from scratch.

major comments (1)

[Proof of main theorem (parallel corona application)] In the proof of the main extension (the section applying parallel corona decomposition to the trace operator), the argument invokes the Lebesgue-space constants without an explicit estimate showing that the stopping-time selection and the measure of the selected rectangles remain controlled uniformly in the Morrey exponents. The product Morrey norm is defined via a supremum over rectangles of averaged |f|^q scaled by side-length powers; this structure can accumulate an extra factor depending on those exponents in the corona selection, and no bound independent of the parameters is supplied.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comment on the uniformity of the corona decomposition constants. The observation is valid, and we will revise the manuscript to supply the missing explicit estimates.

read point-by-point responses

Referee: In the proof of the main extension (the section applying parallel corona decomposition to the trace operator), the argument invokes the Lebesgue-space constants without an explicit estimate showing that the stopping-time selection and the measure of the selected rectangles remain controlled uniformly in the Morrey exponents. The product Morrey norm is defined via a supremum over rectangles of averaged |f|^q scaled by side-length powers; this structure can accumulate an extra factor depending on those exponents in the corona selection, and no bound independent of the parameters is supplied.

Authors: We agree that the current manuscript does not contain an explicit verification that the stopping-time selection and the measures of the selected rectangles are controlled uniformly in the Morrey exponents. In the revised version we will insert a short auxiliary lemma immediately before the main argument. The lemma will use the supremum definition of the product Morrey norm to bound the relevant averages and the total measure of the selected rectangles by constants that depend only on the dimension and the fixed Lebesgue exponents, independent of the Morrey parameters. This will be achieved by comparing the Morrey-controlled averages directly with the corresponding Lebesgue quantities on the same rectangles, showing that any potential accumulation of side-length powers is absorbed into the Morrey norm without introducing parameter-dependent factors. The rest of the proof then proceeds exactly as in the Lebesgue case with these uniform bounds. revision: yes

Circularity Check

0 steps flagged

No circularity in the extension via external decomposition technique

full rationale

The paper's central step is the application of parallel corona decomposition (an external technique) to extend the Kerman-Sawyer trace inequality from Lebesgue to product Morrey spaces. No equations or definitions in the abstract or described structure reduce the target inequality to a redefinition of Morrey norms, a fitted parameter renamed as prediction, or a self-citation chain that itself assumes the result. The derivation remains self-contained against the cited decomposition method, whose constants are invoked rather than derived internally from the Morrey setting.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are mentioned in the abstract; the argument rests on the applicability of parallel corona decomposition, whose details are not supplied.

pith-pipeline@v0.9.0 · 5308 in / 980 out tokens · 27671 ms · 2026-05-10T04:21:20.453787+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

[1]

D. R. Adams,Traces of potentials arising from translation invariant operators, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3)25(1971), 203–217

work page 1971
[2]

Chiarenza and M

F. Chiarenza and M. Frasca,Morrey spaces and Hardy-Littlewood maximal function, Rend. Math. Appl., 7(1987), 273–279

work page 1987
[3]

Two weight norm inequalities for fractional integral operators and commutators

D. Cruz-Uribe, SFO,Two weight norm inequalities for fractional integral operators and commutators, arXiv:1412.4157v1 [math.CA] 12 Dec 2014

work page Pith review arXiv 2014
[4]

Grafakos and A

L. Grafakos and A. Meskhi,Sharp Olsen’s inequality for multilinear Riesz potentials, Trans. A. Razmadze Math. Inst.175(2021), no. 3, 433–436

work page 2021
[5]

3, 1039–1050

,On sharp Olsen’s and trace inequalities for multilinear fractional integrals, Potential Anal.59 (2023), no. 3, 1039–1050

work page 2023
[6]

Gilbarg and S

D. Gilbarg and S. N. Trudinger,Elliptic Partial Differential Equations of Second Order, 2nd edn. (Springer, Berlin, 1983)

work page 1983
[7]

H¨ anninen, T

T. H¨ anninen, T. P. Hyt¨ onen and K. Li,Two-weightLp-Lq bounds for positive dyadic operators: unified approach top≤qandp > q, Potential Anal.,45(2016), no. 3, 579–608

work page 2016
[8]

Hatano, R

N. Hatano, R. Kawasumi, H. Saito and H. Tanaka,Multilinear embedding theorem for fractional sparse operators, submitted

work page
[9]

,The Adams trace theorem for product Morrey spaces, submitted

work page
[10]

L. I. Hedberg,On certain convolution inequalities, Proc. Amer. Math. Soc.36(1972), 505–510

work page 1972
[11]

T. P. Hyt¨ onen,TheA 2 theorem: Remarks and complements, Harmonic analysis and partial differential equations, 91–106. American Mathematical Society, Providence, RI, 2014. arXiv:1212.3840 [math.CA]

work page arXiv 2014
[12]

T. Iida, E. Sato, Y. Sawano and H. Tanaka,Weighted norm inequalities for multilinear fractional operators on Morrey spaces, Studia Math.205(2011), no. 2, 139–170

work page 2011
[13]

,Multilinear fractional integrals on Morrey spaces, Acta Math. Sin. (Engl. Ser.)28(2012), no. 7, 1375–1384

work page 2012
[14]

2, 339–358

,Sharp bounds for multilinear fractional integral operators on Morrey type spaces, Positivity16 (2012), no. 2, 339–358

work page 2012
[15]

and Sawyer E.,The trace inequality and eigenvalue estimates for Schr¨ odinger operators, Ann

Kerman R. and Sawyer E.,The trace inequality and eigenvalue estimates for Schr¨ odinger operators, Ann. Inst. Fourier (Grenoble),36(1986), 207-228

work page 1986
[16]

Moen,Weighted inequalities for multilinear fractional integral operators, Collect

K. Moen,Weighted inequalities for multilinear fractional integral operators, Collect. Math.60, 213–238 (2009)

work page 2009
[17]

Saito and H

H. Saito and H. Tanaka,Introduction to Potential Theory: Maximal Operators and Weights, (Advances in Analysis and Geometry) de Gruyter , 2024, (ISBN: 3110725967)

work page 2024
[18]

Tanaka,A characterization of two-weight trace inequalities for positive dyadic operators in the upper triangle case, Potential Anal.,41(2014), 487–499

H. Tanaka,A characterization of two-weight trace inequalities for positive dyadic operators in the upper triangle case, Potential Anal.,41(2014), 487–499

work page 2014
[19]

3, 238–249

,The trilinear embedding theorem, Studia Math.,227(2015), no. 3, 238–249

work page 2015
[20]

4, 793–809

,Thenlinear embedding theorem, Potential Anal.,44(2016), no. 4, 793–809. 16 N. HATANO, R. KA W ASUMI, H. SAITO, AND H. TANAKA Graduate School of Information Science and Technology, The University of Osaka, 1-5, Ya- madaoka, Suita-shi, Osaka 565-0871, Japan Email address:n.hatano.chuo@gmail.com Center for Mathematics and Data Science, Gunma University, 4-2...

work page 2016

[1] [1]

D. R. Adams,Traces of potentials arising from translation invariant operators, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3)25(1971), 203–217

work page 1971

[2] [2]

Chiarenza and M

F. Chiarenza and M. Frasca,Morrey spaces and Hardy-Littlewood maximal function, Rend. Math. Appl., 7(1987), 273–279

work page 1987

[3] [3]

Two weight norm inequalities for fractional integral operators and commutators

D. Cruz-Uribe, SFO,Two weight norm inequalities for fractional integral operators and commutators, arXiv:1412.4157v1 [math.CA] 12 Dec 2014

work page Pith review arXiv 2014

[4] [4]

Grafakos and A

L. Grafakos and A. Meskhi,Sharp Olsen’s inequality for multilinear Riesz potentials, Trans. A. Razmadze Math. Inst.175(2021), no. 3, 433–436

work page 2021

[5] [5]

3, 1039–1050

,On sharp Olsen’s and trace inequalities for multilinear fractional integrals, Potential Anal.59 (2023), no. 3, 1039–1050

work page 2023

[6] [6]

Gilbarg and S

D. Gilbarg and S. N. Trudinger,Elliptic Partial Differential Equations of Second Order, 2nd edn. (Springer, Berlin, 1983)

work page 1983

[7] [7]

H¨ anninen, T

T. H¨ anninen, T. P. Hyt¨ onen and K. Li,Two-weightLp-Lq bounds for positive dyadic operators: unified approach top≤qandp > q, Potential Anal.,45(2016), no. 3, 579–608

work page 2016

[8] [8]

Hatano, R

N. Hatano, R. Kawasumi, H. Saito and H. Tanaka,Multilinear embedding theorem for fractional sparse operators, submitted

work page

[9] [9]

,The Adams trace theorem for product Morrey spaces, submitted

work page

[10] [10]

L. I. Hedberg,On certain convolution inequalities, Proc. Amer. Math. Soc.36(1972), 505–510

work page 1972

[11] [11]

T. P. Hyt¨ onen,TheA 2 theorem: Remarks and complements, Harmonic analysis and partial differential equations, 91–106. American Mathematical Society, Providence, RI, 2014. arXiv:1212.3840 [math.CA]

work page arXiv 2014

[12] [12]

T. Iida, E. Sato, Y. Sawano and H. Tanaka,Weighted norm inequalities for multilinear fractional operators on Morrey spaces, Studia Math.205(2011), no. 2, 139–170

work page 2011

[13] [13]

,Multilinear fractional integrals on Morrey spaces, Acta Math. Sin. (Engl. Ser.)28(2012), no. 7, 1375–1384

work page 2012

[14] [14]

2, 339–358

,Sharp bounds for multilinear fractional integral operators on Morrey type spaces, Positivity16 (2012), no. 2, 339–358

work page 2012

[15] [15]

and Sawyer E.,The trace inequality and eigenvalue estimates for Schr¨ odinger operators, Ann

Kerman R. and Sawyer E.,The trace inequality and eigenvalue estimates for Schr¨ odinger operators, Ann. Inst. Fourier (Grenoble),36(1986), 207-228

work page 1986

[16] [16]

Moen,Weighted inequalities for multilinear fractional integral operators, Collect

K. Moen,Weighted inequalities for multilinear fractional integral operators, Collect. Math.60, 213–238 (2009)

work page 2009

[17] [17]

Saito and H

H. Saito and H. Tanaka,Introduction to Potential Theory: Maximal Operators and Weights, (Advances in Analysis and Geometry) de Gruyter , 2024, (ISBN: 3110725967)

work page 2024

[18] [18]

Tanaka,A characterization of two-weight trace inequalities for positive dyadic operators in the upper triangle case, Potential Anal.,41(2014), 487–499

H. Tanaka,A characterization of two-weight trace inequalities for positive dyadic operators in the upper triangle case, Potential Anal.,41(2014), 487–499

work page 2014

[19] [19]

3, 238–249

,The trilinear embedding theorem, Studia Math.,227(2015), no. 3, 238–249

work page 2015

[20] [20]

4, 793–809

,Thenlinear embedding theorem, Potential Anal.,44(2016), no. 4, 793–809. 16 N. HATANO, R. KA W ASUMI, H. SAITO, AND H. TANAKA Graduate School of Information Science and Technology, The University of Osaka, 1-5, Ya- madaoka, Suita-shi, Osaka 565-0871, Japan Email address:n.hatano.chuo@gmail.com Center for Mathematics and Data Science, Gunma University, 4-2...

work page 2016