pith. sign in

arxiv: 2604.17432 · v1 · submitted 2026-04-19 · 🧮 math.FA · math.CA

The Adams trace theorem for product Morrey spaces

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

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

classification 🧮 math.FA math.CA
keywords Adams trace inequalityproduct Morrey spacesHedberg-type inequalitytrace theoremMorrey spacesLebesgue spaces
0
0 comments X

The pith

The Adams trace inequality extends from Lebesgue spaces to product Morrey spaces via a Hedberg-type inequality.

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

This paper extends the Adams trace inequality from Lebesgue spaces to product Morrey spaces. Product Morrey spaces refine local integrability over rectangles in a scale-sensitive manner that goes beyond standard L^p norms. The extension rests on verifying that a Hedberg-type inequality continues to supply the necessary pointwise bound in the product setting. A reader would care because such trace controls appear in potential theory and in the analysis of singular operators on domains with product structure.

Core claim

By using a Hedberg-type inequality, the Adams trace inequality is extended from Lebesgue spaces to product Morrey spaces.

What carries the argument

Hedberg-type inequality in the product Morrey space setting, which provides the pointwise estimate that converts maximal-function control into the desired trace bound.

Load-bearing premise

A suitable Hedberg-type inequality can be established or applied directly in the product Morrey space setting.

What would settle it

A concrete counterexample consisting of a function in a product Morrey space where the expected trace inequality fails with the stated exponents would disprove the extension.

read the original abstract

By using a Hedberg-type inequality, the Adams 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.

Referee Report

2 major / 0 minor

Summary. The manuscript claims to extend the Adams trace inequality from Lebesgue spaces to product Morrey spaces by means of a Hedberg-type inequality.

Significance. If the central claim holds, the result would constitute a meaningful extension of trace inequalities into the multi-parameter setting of product Morrey spaces, which are relevant for applications in harmonic analysis involving rectangles rather than balls.

major comments (2)
  1. The abstract asserts that the extension is achieved via a Hedberg-type inequality but supplies no details on the adaptation or verification steps. The central claim therefore lacks visible derivation support for how the pointwise bound on the fractional integral is controlled by the product Morrey quasi-norm.
  2. Product Morrey spaces are defined via suprema over rectangles in each variable separately. The standard one-parameter Hedberg argument relies on radial maximal functions and covering lemmas that do not automatically transfer to the product geometry; the manuscript must therefore rework the choice of radii and covering arguments to ensure the right-hand side is bounded by the product Morrey quasi-norm rather than an L^p norm.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and indicate the revisions we will make to improve clarity.

read point-by-point responses

  1. Referee: The abstract asserts that the extension is achieved via a Hedberg-type inequality but supplies no details on the adaptation or verification steps. The central claim therefore lacks visible derivation support for how the pointwise bound on the fractional integral is controlled by the product Morrey quasi-norm.

    Authors: We agree that the abstract is concise and does not elaborate on the technical adaptations. The full derivation of the pointwise bound and its control by the product Morrey quasi-norm appears in Section 3 of the manuscript. To make this support more immediately visible, we will revise the abstract to include a brief outline of the key adaptation steps in the Hedberg-type inequality. revision: yes

  2. Referee: Product Morrey spaces are defined via suprema over rectangles in each variable separately. The standard one-parameter Hedberg argument relies on radial maximal functions and covering lemmas that do not automatically transfer to the product geometry; the manuscript must therefore rework the choice of radii and covering arguments to ensure the right-hand side is bounded by the product Morrey quasi-norm rather than an L^p norm.

    Authors: We acknowledge that the product geometry requires a reworked argument. In the proof, we adapt the Hedberg inequality by using separate radii in each variable and a product covering lemma based on rectangles to bound the expression directly by the product Morrey quasi-norm. We will add an explicit remark in the introduction or at the start of the proof section to highlight these modifications and contrast them with the classical one-parameter case. revision: yes

Circularity Check

0 steps flagged

No circularity: standard extension via external inequality

full rationale

The paper's central claim is an extension of the Adams trace inequality from Lebesgue to product Morrey spaces, achieved by applying a Hedberg-type inequality. This is a conventional mathematical proof strategy that adapts an established pointwise estimate (Hedberg) to a new function space setting without defining the target result in terms of itself, fitting parameters to the conclusion, or relying on self-citations for uniqueness or load-bearing steps. The product Morrey norm is defined independently via suprema over rectangles, and the derivation proceeds by verifying the inequality holds in that quasi-norm; no equation reduces to its own input by construction. The result remains falsifiable against external benchmarks in Morrey space theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the applicability of a Hedberg-type inequality within product Morrey spaces, which is invoked but not detailed in the abstract.

axioms (1)
  • domain assumption A Hedberg-type inequality holds or can be established in product Morrey spaces
    This is the key tool cited for extending the Adams trace inequality.

pith-pipeline@v0.9.0 · 5302 in / 1071 out tokens · 55210 ms · 2026-05-10T05:24:53.197556+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages

  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]

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

    work page 1972

  8. [8]

    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

  9. [9]

    ,Multilinear fractional integrals on Morrey spaces, Acta Math. Sin. (Engl. Ser.)28(2012), no. 7, 1375–1384. THE ADAMS TRACE THEOREM FOR PRODUCT MORREY SPACES 7

    work page 2012

  10. [10]

    2, 339–358

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

    work page 2012

  11. [11]

    Moen,Weighted inequalities for multilinear fractional integral operators, Collect

    K. Moen,Weighted inequalities for multilinear fractional integral operators, Collect. Math.60, 213–238 (2009). 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 Aramaki-machi,...

    work page 2009