Function spaces and potential theory in the Orlicz setting
Pith reviewed 2026-05-10 03:47 UTC · model grok-4.3
The pith
Bessel-Orlicz spaces coincide with Orlicz-Sobolev spaces for integer orders while fractional versions admit inclusions and atomic decompositions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By replacing the underlying Lebesgue norms with Orlicz norms in the definitions involving Bessel potentials and Fourier multipliers, the resulting spaces satisfy the classical Calderón-type identification when the smoothness order is an integer. Continuous inclusions hold between spaces of different fractional orders. A Strauss-type lemma supplies additional pointwise control, certain Orlicz-Lizorkin-Triebel spaces coincide with the Bessel-Orlicz spaces, and the functions admit atomic decompositions adapted to the Orlicz modular.
What carries the argument
Bessel potential operators equipped with Orlicz norms, which generate the spaces and carry the identities and decompositions from the classical setting.
If this is right
- Integer-order Bessel-Orlicz spaces equal Orlicz-Sobolev spaces, giving a potential-theoretic characterization of derivative integrability.
- Fractional-order inclusions supply embedding theorems between Orlicz potential spaces of different smoothness.
- The Strauss-type lemma yields pointwise bounds or decay for functions in these potential spaces.
- Coincidence of Lizorkin-Triebel-Orlicz and Bessel-Orlicz spaces permits interchangeable use of the two definitions.
- Atomic decompositions allow representation of functions by sums of atoms whose coefficients satisfy Orlicz modular conditions.
Where Pith is reading between the lines
- The spaces may serve as a setting for regularity results on PDEs whose growth is measured by an Orlicz function.
- Atomic decompositions could simplify proofs of boundedness for integral operators on these spaces.
- The same replacement of norms might extend to other classes of modular spaces beyond Orlicz.
Load-bearing premise
The Orlicz function must satisfy growth conditions such as the Δ₂ and ∇₂ conditions so that the potential operators remain bounded and the classical proof techniques carry over.
What would settle it
Exhibit an Orlicz function violating the Δ₂ condition together with a function that belongs to the integer-order Bessel-Orlicz space but not to the corresponding Orlicz-Sobolev space.
read the original abstract
In this article, we study certain transcendental function spaces arising in potential theory within the framework of Orlicz spaces. Specifically, we generalize Bessel and Lizorkin-Triebel spaces to the nonstandard setting of Orlicz spaces. We recover classical results from potential theory, such as the fact that Bessel-Orlicz spaces of integer order coincide with Orlicz-Sobolev spaces (Calder\'on type theorem), and we establish inclusion results for fractional orders. Moreover, we prove a Strauss-type lemma for potential spaces. In the last sections, we show that certain Orlicz-Lizorkin-Triebel spaces coincide with Bessel-Orlicz spaces, and we provide a useful atomic decomposition for these spaces.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper generalizes Bessel potential spaces and Lizorkin-Triebel spaces to the Orlicz setting. It proves a Calderón-type theorem showing that Bessel-Orlicz spaces of integer order coincide with Orlicz-Sobolev spaces, establishes inclusion results for fractional orders, proves a Strauss-type lemma for potential spaces, demonstrates that certain Orlicz-Lizorkin-Triebel spaces coincide with Bessel-Orlicz spaces, and provides an atomic decomposition for these spaces, all under standard technical conditions on the Orlicz function N.
Significance. If the results hold under the stated Δ₂ and ∇₂ conditions, this work provides a coherent extension of classical potential theory to Orlicz spaces, enabling the treatment of nonlinear PDEs with non-standard growth via familiar tools such as Bessel potentials, maximal functions, and atomic decompositions. The space coincidences and atomic decomposition are particularly useful for applications in harmonic analysis.
minor comments (3)
- [Abstract] Abstract: the phrase 'transcendental function spaces' is nonstandard and potentially confusing; replace with 'function spaces arising in potential theory' or similar for clarity.
- [Section 2] Section 2 (Preliminaries): the notation for the Orlicz function N and its complementary function should be introduced with a single consistent definition to avoid minor ambiguity when lifting Fourier multipliers.
- [Theorem 4.3] Theorem 4.3 (Calderón-type result): the statement of the integer-order coincidence could explicitly reference the precise range of p for which the Orlicz-Sobolev norm equivalence holds, even if it follows from the Δ₂ assumption.
Simulated Author's Rebuttal
We thank the referee for the careful summary of our work and the positive recommendation for minor revision. We are pleased that the potential applications to nonlinear PDEs with non-standard growth via Bessel potentials and atomic decompositions are recognized. No specific major comments were raised in the report, so we have no points requiring rebuttal or clarification at this time. We will incorporate any minor suggestions into the revised manuscript.
Circularity Check
No significant circularity
full rationale
The paper defines the Bessel-Orlicz spaces directly via the classical Bessel potential operator applied to the Orlicz space L^N (under explicitly stated Δ₂ and ∇₂ conditions on N, introduced in the preliminaries). All central results—the Calderón-type coincidence of integer-order Bessel-Orlicz spaces with Orlicz-Sobolev spaces, fractional-order inclusions, Strauss-type lemma, coincidence of certain Orlicz-Lizorkin-Triebel spaces with Bessel-Orlicz spaces, and atomic decompositions—are obtained by adapting standard Fourier-multiplier, maximal-function, and potential-theory arguments to this setting. No step reduces a claimed result to a self-definition, a fitted parameter renamed as a prediction, or a load-bearing self-citation whose justification is internal to the paper. The derivation chain remains self-contained against the external classical theory once the Orlicz-function hypotheses are fixed.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Orlicz functions N satisfy the Δ₂-condition (or equivalent) so that the associated spaces are well-behaved under the potential operators
Reference graph
Works this paper leans on
-
[1]
D. Adams, and L. Hedberg,Function spaces and potential theory, Springer-Verlag Berlin Heilderberg 1996. 23, 24, 29, 30
work page 1996
-
[2]
Aissaoui,On the continuity of Bessel potentials in Orlicz spaces
N. Aissaoui,On the continuity of Bessel potentials in Orlicz spaces. Collectanea Mathematica, 77-89. (1996). 2
work page 1996
-
[3]
Aissaoui,Bessel potentials in Orlicz spaces
N. Aissaoui,Bessel potentials in Orlicz spaces. Rev. Mat. Univ. Complut. Madrid, 10(1), 55-79. (1997). 2
work page 1997
-
[4]
Aissaoui,A survey on potential theory on Orlicz spaces
N. Aissaoui,A survey on potential theory on Orlicz spaces. In Recent Developments in Nonlinear Analysis (pp. 234-265). (2010). 2
work page 2010
-
[5]
A. Alberico, A. Cianchi, L. Pick and L. Slav´ ıkov´ a,Fractional orlicz-sobolev embeddings. Journal de Math´ ematiques Pures et Appliqu´ ees, 149, 216-253. (2021) 2
work page 2021
-
[6]
A. Alberico, A. Cianchi, L. Pick and L. Slav´ ıkov´ a,On fractional Orlicz-Sobolev spaces, Anal. Math. Phys. 11 (2021), no. 2, Paper No. 84, 21 pp. 2
work page 2021
-
[7]
N. Aronszajn and K. T. Smith,Theory of Bessel potentials. Part I. Ann. de l’Inst. Fourier, vol. XI (1961) pp. 385-475
work page 1961
-
[8]
N. Aronszajn, F. Mulla, and P. Szeptycki,On spaces of potentials connected withL p classes, Annales de l’institut Fourier, 1963 1
work page 1963
- [9]
-
[10]
S. Bahrouni, H. Ounaies and L. Tavares,Basic results of fractional Orlicz-Sobolev space and applications to non-local problems, Topol. Methods Nonlinear Anal. 55 (2020), no. 2, 681–695. 2
work page 2020
-
[11]
D. Breit and A. Cianchi,Inclusion Relations Among Fractional Orlicz-Sobolev Spaces and a Littlewood-Paley Characterization. Potential Anal 62 (2025), 271-302. 2
work page 2025
-
[12]
A.P. Calderon,Lebesgue spaces of differentiable functions and distributions, in Partial Differential Equations, Proc. Sympos. Pure Math. 4, 33-49, Amer. Math. Soc., Providence, Rhode Island, 1961. 2, 5 1
work page 1961
-
[13]
P. De N´ apoli and I. Drelichman,Elementary proofs of embedding theorems for potential spaces of radial functions.Methods of Fourier analysis and approximation theory, Appl. Numer. Harmon. Anal. (2016), 115-
work page 2016
-
[14]
J. Duoandikoetxea,Fourier Analysis, volume 29 of Graduate Studies in Mathematics (American Mathematical Society, Providence, RI, 2001). 1, 8, 9, 16, 24
work page 2001
-
[15]
D. Edmunds, P. Gurka and B. Opic,On embeddings of logarithmic Bessel potential spaces. Journal of Func- tional Analysis, 146(1), 116-150. (1997). 2
work page 1997
-
[16]
J. Fern´ andez Bonder and A. Salort,Fractional order orlicz-sobolev spaces,J. Funct. Anal. 277 (2019), no. 2, 333–367. 2
work page 2019
-
[17]
J. P. Gossez,Nonlinear elliptic boundary-value problems with rapidly (or slowly) increasing coefficients. Trans- actions of the American Mathematical Society 190 (1974), 163-205. 7
work page 1974
-
[18]
L. Grafakos and L. Ross,Modern Fourier analysis(Vol. 250, pp. xvi+-504). New York: Springer. (2009). 1, 17, 19
work page 2009
- [19]
-
[20]
P. Ochoa and A. Salort,A mixed local and nonlocal H´ enon problem inR N. arXiv:2512.09794. 3
-
[21]
P. Ochoa and A. Salort,The H´ enon equation in Orlicz-Sobolev spaces. arXiv:2509.17923. 3
-
[22]
P. Harjulehto and P. H¨ ast¨ o,Orlicz spaces and generalized Orlicz spaces. Lecture Notes in Mathematics. Springer Nature Switzerland 2019. 8, 10, 16, 24, 29, 30
work page 2019
- [23]
-
[24]
M. Krasnosel’skii and I. Rutickii,Convex functions and Orlicz spaces. P. Noordhoff (1961). 5
work page 1961
-
[25]
E. Lieb and M. Loss,Analysis, second edition, American Mathematical Society 2001. 14
work page 2001
-
[26]
Riesz,L’int´ egrale de Riemann-Liouville et le probl` eme de Cauchy.(1949)
M. Riesz,L’int´ egrale de Riemann-Liouville et le probl` eme de Cauchy.(1949). 1
work page 1949
-
[27]
Schechter,Potential estimates in Orlicz spaces
M. Schechter,Potential estimates in Orlicz spaces. Pacific J. Math. 133 (1988), no. 2, 381–399. 2, 6
work page 1988
-
[28]
E. M. Stein,Singular integrals and differentiability properties of functions, Princeton Univ. Press, 1970. 1, 2
work page 1970
-
[29]
Triebel,Theory of Function Spaces, Monographs in Mathematics Vol
H. Triebel,Theory of Function Spaces, Monographs in Mathematics Vol. 78 (Birkh¨ auser Verlag, Basel, 1983). 1, 2, 3 32 PABLO OCHOA AND ARIEL SALORT P. Ochoa. Universidad Nacional de Cuyo, Fac. de Ingenier ´ıa. CONICET. Universidad J. A. Maza, Parque Gral. San Mart´ın 5500, Mendoza, Argentina. Email address:pablo.ochoa@ingenieria.uncuyo.edu.ar A. Salort De...
work page 1983
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.