REVIEW 4 major objections 6 minor 19 references
On generalized Sobolev-Orlicz spaces associated to the Riesz fractional gradient
T0 review · 4 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The paper builds fractional Sobolev-Orlicz spaces around the Riesz fractional gradient and proves they support a full PDE theory: embeddings, Poincaré inequality, compactness, and existence, uniqueness, and continuous dependence of…
desk verdict A genuinely new fractional Sobolev-Orlicz framework worth refereeing, but the proof chain rests on an unverified compatibility between the revised (A2) condition and the [HH19] results it invokes. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying mechanism is the Riesz fractional gradient $D^s u=D(I^{1-s}u)$, which is, up to a constant, the unique rotationally and translationally invariant operator of order $s$ mapping scalars to vectors and generating the fractional Laplacian through $-D^s\cdot D^s u=(-\Delta)^s u$. The argument combines the fractional fundamental theorem $u=I_s(R\cdot D^s u)$ with boundedness of the Riesz potential, the Riesz transform $R$, and Calderón–Zygmund singular integrals on generalized Orlicz spaces $L^A$. The generalized $\Phi$-function $A(x,\ell)$ encodes position-dependent, non-power growth; the conditions $(\mathrm{Inc})_p$ and $(\mathrm{Dec})_q$ control its growth, while $(A0)$, $(A1)$, $(A2)$ make the harmonic-analysis estimates available.
What would settle it
Take a double-phase $\Phi$-function $A(x,\ell)=\ell^p+\alpha(x)\ell^q$ with $\alpha\in L^\infty$ but $\alpha\notin C^{d/(q-p)}$, and check numerically or analytically whether the compact embedding $\Lambda^{s,A}_0(\Omega)\hookrightarrow L^A(\Omega)$ still holds for some $s\in(0,1)$; a failure would show that $(A1)$ is load-bearing. Equivalently, look for a $\Phi$-function satisfying $(\mathrm{Inc})_p$ and $(\mathrm{Dec})_q$ but violating $(A2)$ on an unbounded domain for which the Poincaré inequality of Theorem 2 breaks down.
Extended reading notes
Core claim
The central claim is that $\Lambda^{s,A}_0(\Omega)$ is a complete functional-analytic setting for PDEs built on the Riesz fractional gradient, in the same way that $W^{1,A}_0$ serves local problems. Under growth conditions $(\mathrm{Inc})_p$ and $(\mathrm{Dec})_q$ on the generalized $\Phi$-function $A$, together with three technical assumptions $(A0)$, $(A1)$ and $(A2)$, the paper establishes a Sobolev embedding into a companion Orlicz space, a Poincaré inequality with constant $C/(1-2^{-s})$, continuity of $D^s$ as $s\to\sigma$, a Gagliardo–Nirenberg-type interpolation inequality, and two compactness theorems. On this basis it proves that the quasilinear problem (23) has a unique weak solution for every $F\in\Lambda^{-s,A'}(\Omega)$, and that solutions depend continuously on $s$ as $s\to\sigma\in(0,1]$.
Load-bearing premise
The load-bearing premise is that the generalized $\Phi$-function $A$ satisfies the abstract technical conditions $(A1)$ and $(A2)$, which guarantee that $A$ and its inverse vary in a controlled pointwise way across the domain; the paper assumes these conditions rather than deriving them from simpler growth assumptions, and they are needed for the Riesz-potential and Calderón–Zygmund bounds that power the Sobolev, Poincaré, and compactness theorems.
Editorial extensions
If this is right
- The Sobolev embedding $\Lambda^{s,A}_0(\Omega)\subset L^B(\Omega)$ controls lower-integrability Orlicz norms by the fractional gradient, exactly as in the classical case.
- The Poincaré inequality makes $\|D^s u\|_{L^A}$ an equivalent norm on $\Lambda^{s,A}_0$, with a constant that stays uniform in $s$ apart from the factor $1/(1-2^{-s})$.
- The compact embeddings give the precompactness needed for direct-method existence proofs and for extracting convergent subsequences when $s$ varies.
- The interpolation inequality and continuity of $D^s$ in $s$ permit passing to limits $s_n\to\sigma$, which is what makes continuous dependence of PDE solutions possible.
- The quasilinear problem (23) has a unique weak solution, and the solution map is continuous in the fractional parameter $s$.
Reading between the lines
- The same machinery should extend to obstacle problems and variational inequalities in the Orlicz setting, as the author notes in Remark 6; the monotonicity and compactness tools already point in that direction.
- The explicit $s$-dependence of the constants (such as $1/(1-2^{-s})$) suggests quantitative bounds on how fast solutions change as $s\to 0$ or $s\to 1$, which could be tested computationally.
- Relaxing $(A1)$ and $(A2)$ would likely require a weighted generalized Orlicz theory, analogous to the role of Muckenhoupt weights in the variable-exponent case.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a new family of function spaces, Λ^{s,A}_0(Ω), defined as the completion of C_c^∞(Ω) with respect to the norm ‖u‖_{L^A(R^d)} + ‖D^s u‖_{L^A(R^d;R^d)}, where A is a generalized Φ-function satisfying growth conditions (Inc)_p and (Dec)_q and the technical hypotheses (A0), (A1), (A2). The main results are: a Sobolev embedding (Theorem 1), a fractional Poincaré inequality (Theorem 2), continuity of D^s in s (Theorem 3), an interpolation inequality (Proposition 2), compact embeddings (Theorems 4 and 5), and an application to existence, uniqueness and continuous dependence of solutions to a quasilinear Dirichlet problem driven by the Riesz fractional gradient (Theorems 6 and 7). The proofs rely on harmonic-analysis results for generalized Orlicz spaces from [HH19] and [HHS23].
Significance. If the main results are correct, the paper provides a useful functional-analytic framework that extends Lions–Calderón spaces Λ^{s,p}_0 to a generalized Orlicz setting with the Riesz fractional gradient. The structure is clear and the intended application to nonlocal problems with nonstandard growth is natural. Among the strengths: the use of the fractional fundamental theorem and the Riesz transform to reduce fractional-gradient estimates to classical Riesz-potential estimates; an explicit Poincaré constant depending on s in a transparent way; the construction of an interpolation inequality; and a complete variational existence and uniqueness argument for the PDE application. However, the proof chain is heavily dependent on an unverified compatibility between the revised condition (A2) taken from [HHS23] and the theorems from [HH19] that are invoked throughout. Several estimates, especially the far-field term in Theorem 3 and the interpolation step in Proposition 2, are asserted rather than proved in detail. These are load-bearing issues, not mere presentation problems.
major comments (4)
- [Definition 2, Remark 2] The paper explicitly adopts the revised condition (A2) from [HHS23], while most harmonic-analysis results are quoted from [HH19], which were formulated with the original (A2). Remark 2 states that the [HH19] results used 'hold true' for the revised definition, but no proof or precise statement from [HHS23] is supplied. This is load-bearing: Theorem 1 invokes [HH19, Corollary 5.4.5], Theorem 2 invokes [HH19, Theorem 4.4.3], Theorem 4 invokes [HH19, Corollary 5.4.3], and Theorems 5 and 7 inherit these dependencies. Moreover, Examples 1–3 are justified by citations to [HH19], not by a check against the revised (A2). The authors must either prove that every [HH19] result used remains valid under the revised (A2), or replace each invocation by the corresponding theorem from [HHS23], and verify the examples under the revised condition.
- [Theorem 3, equations (13)–(16)] The proof of the far-field bound in Theorem 3 is incomplete. The passage from ‖∫_Ω |u(y)|/|x−y|^{d+σ} dy‖_{L^A((Ω')^c)} to ∫_Ω |u(y)| ‖ |x−y|^{-(d+σ)} ‖_{L^A((Ω')^c)} dy is asserted with the phrase 'Jensen's inequality, Lemma 2, and [HH19, Lemma 3.7.7]', but no justification is given for moving the Luxemburg norm inside the integral or for replacing the L^A norm of the kernel by the maximum of its L^p and L^q norms. The displayed estimate max{(C/((d+σ)p−d))^{1/p}, (C/((d+σ)q−d))^{1/q}} ≤ max{(C/σ)^{1/p}, (C/σ)^{1/q}} ≤ max{1, C/σ} also omits the computation of the relevant norms. Since Theorem 3 is used in Theorem 5 and Theorem 7, this gap needs to be closed with a detailed derivation.
- [Proposition 2, equation (21)] The proof of the interpolation inequality is not complete. The step ‖u + (−Δ)^{t/2}u‖_{L^A} ≤ C‖u‖_{L^A}^{(t−s)/t}‖(−Δ)^{t/2}u‖_{L^A}^{s/t} is justified only by 'an argument where we optimize the dilation of u', which is not carried out. In the following displayed inequality the exponent on ‖D^s u‖ appears as s/σ, which should presumably be σ/s for interpolation between 0 and s; no derivation is given. The relation D^σ u = R(−Δ)^{σ/2}u is also used without stating the relevant boundedness result for R. As (21) is a key tool for Propositions 3–4 and for Theorems 5 and 7, the proof must be supplied in full.
- [Theorem 5 and proof] The statement of Theorem 5 allows σ to be an arbitrary limit point in [0,1], but the proof requires choosing 0 < s_* < 1 with s_* < s_n for every n; this is impossible when s_n → 0. If the theorem is intended only for σ > 0, that assumption must be stated, since the later application in Theorem 7 is for σ ∈ (0,1]. In the identification step, after taking limits one obtains ∫ v·φ = −∫ u div^σ φ, not 'div^{s_n} φ' as written; the displayed formula appears to contain a typo that obscures the argument.
minor comments (6)
- [Theorem 5, statement] The conclusion states 'D^{s_n}u_n ⇀ Du in L^A(R^d)', but the limiting object should be D^σ u. Please correct this typo.
- [Theorem 7, equation (24) and proof] Equation (24) has an unbalanced parenthesis in 'a(x,D^{s_n}u_n)D^{s_n}u_n · D^{s_n}w) dx'. In the limiting equation, 'D^σu_n' should read 'D^σu' and 'D^sσ w' should read 'D^σ w'.
- [Proposition 4, proof] The notation 'L^A(R^d; R^s)' appears in the sentence 'D^{s_n}g_n → D^σu in L^A(R^d; R^s)'; the target space should be R^d. Also, the construction of the sequence {u_n} would benefit from a clearer definition of the indices q(k).
- [Example 2] In the logarithmic perturbation example, the function A is written as ℓ^{p(x)} log(e+r), but the variable r is not defined; it should be ℓ. This makes the example hard to parse.
- [References] In the reference [HHS23], the author name appears corrupted as 'Artur S/suppress labuszewski'; it should be corrected (presumably Artur Słabuszewski).
- [Remark 3] The equality 'A(x,r)=Cr^p' when p=q requires also the normalization A(x,1) constant in x; as stated, the conclusion is immediate only with the additional condition (A0). This may be worth clarifying.
Circularity Check
No significant circularity: the results are deduced from independent harmonic-analysis theorems; the unproved compatibility of the revised (A2) condition is a correctness risk, not a circular reduction.
full rationale
The derivation chain is not circular. The spaces Λ^{s,A}_0(Ω) are defined as completions with respect to the norm ‖u‖_{L^A} + ‖D^s u‖_{L^A}, and the main embedding, compactness, interpolation, and PDE results are deduced from independent theorems in [HH19] and [HHS23] — boundedness of the Riesz potential, uniform L^A bounds for dyadic operators, and Calderón-Zygmund estimates — together with the representation formula (9) from [SS15]/[Pon16]. These are external, parameter-free results whose assumptions do not include the paper's target theorems. The appeal to the author's earlier [CR23] is explicitly as the result being generalized, not as justification for the new conclusions. The one genuinely load-bearing step that is not adequately supported is Remark 2: the paper replaces (A2) by the revised version from [HHS23] and asserts without proof that the [HH19] results 'hold true' for this definition. That is an unverified external dependency and a legitimate correctness concern, but it is not circularity: the quoted [HH19] theorems do not reduce to the paper's conclusions, and no fitted parameter or self-referential definition forces the results. Accordingly the circularity score is 0.
Assumptions & free parameters
free parameters (2)
- The constants p and q in the (Inc)_p and (Dec)_q growth conditions =
A parameter pair (p,q) with 1 < p <= q < infinity, e.g., p- and p+ in the variable-exponent example
- The constant C in the inequalities =
Generic, usually not explicit
assumptions (6)
- domain assumption The Riesz fractional gradient D^s defined on test functions by D^s phi = D(I^{1-s} phi), and the identification D^1 = D, D^0 = -R, are taken as the fundamental operators.
- domain assumption The generalized Phi-function A satisfies (A0), (A1), (A2) in addition to (Inc)_p and (Dec)_q.
- standard math The Riesz potential I^{1-s} and the vector Riesz transform R are bounded on the generalized Orlicz spaces L^A.
- standard math The dyadic averaging operators T_k are uniformly bounded on L^A.
- domain assumption The space Lambda^{s,A}_0(Omega) can be defined as the completion of C_c^infty(Omega), and the Riesz fractional gradient extends by continuity.
- standard math The vector-valued Riesz transform satisfies R . R = -Id and the fractional fundamental theorem of calculus phi(x) = I_s(R . D^s phi)(x).
invented entities (2)
-
The fractional generalized Sobolev-Orlicz space Lambda^{s,A}_0(Omega)
-
The dual space (Lambda^{s,A}_0(Omega))' = Lambda^{-s,A'}(Omega)
Cite this review
Pith. "Pith review of On generalized Sobolev-Orlicz spaces associated to the Riesz fractional gradient." pith.science (2026). https://pith.science/paper/GIU4PWQQ
@misc{pith2026241206346,
author = {Pith},
title = {Pith review of: On generalized Sobolev-Orlicz spaces associated to the Riesz fractional gradient},
year = {2026},
howpublished = {\url{https://pith.science/paper/GIU4PWQQ}},
note = {Machine review of arXiv:2412.06346}
}
abstract
We introduce a new family of function spaces, the fractional generalized Sobolev-Orlicz spaces $\Lambda^{s,A}_0(\Omega)$, where $A$ is a generalized $\Phi$-function satisfying the $(\mathrm{Inc})_{p}$ and $(\mathrm{Dec})_{q}$ conditions for $1<p\leq q<\infty$, as an extension of the Lions-Calder\'on spaces (also known as Bessel potential spaces) $\Lambda^{s,p}_0(\Omega)$ when $0<s<1$ to the generalized Orlicz framework. We obtain some continuous and compact embeddings for these spaces and study the continuous dependence of the Riesz fractional gradient $D^s$ with respect to $s\in[0,1]$ as $s\to \sigma\in[0,1]$. Finally, we apply these results to study the existence, uniqueness and continuous dependence of a family of partial differential equations depending on the Riesz fractional gradient as $s\to\sigma\in(0,1]$.
Reference graph
Works this paper leans on
-
[1]
Pseudodifferential and singular integral operators
Helmut Abels. Pseudodifferential and singular integral operators . De Gruyter Graduate Lectures. De Gruyter, Berlin, 2012. An introduction with applications
work page 2012
-
[2]
Elia Bru\`e, Mattia Calzi, Giovanni E. Comi, and Giorgio Stefani. A distributional approach to fractional S obolev spaces and fractional variation: asymptotics II . C. R. Math. Acad. Sci. Paris , 360:589--626, 2022
work page 2022
-
[3]
Bellido, Javier Cueto, and Carlos Mora-Corral
Jos\' e C. Bellido, Javier Cueto, and Carlos Mora-Corral. Fractional P iola identity and polyconvexity in fractional spaces. Ann. Inst. H. Poincar\' e C Anal. Non Lin\' e aire , 37(4):955--981, 2020
work page 2020
-
[4]
Bellido, Javier Cueto, and Carlos Mora-Corral
Jos\' e C. Bellido, Javier Cueto, and Carlos Mora-Corral. -convergence of polyconvex functionals involving s-fractional gradients to their local counterparts . Calculus of Variations and Partial Differential Equations , 60(1): Paper No. 7 , 2021
work page 2021
-
[5]
Unilateral Problems for Quasilinear Operators with Fractional Riesz Gradients
Pedro M. Campos and Jos \'e F. Rodrigues. Unilateral problems for quasilinear operators with fractional R iesz gradients. arXiv preprint arXiv:2311.18428 , 2023
work page Pith review arXiv 2023
-
[6]
Giovanni E. Comi and Giorgio Stefani. A distributional approach to fractional S obolev spaces and fractional variation: existence of blow-up. J. Funct. Anal. , 277(10):3373--3435, 2019
work page 2019
-
[7]
Giovanni E. Comi and Giorgio Stefani. A distributional approach to fractional S obolev spaces and fractional variation: asymptotics I . Revista Matem \'a tica Complutense , pages 1--79, 2022
work page 2022
-
[8]
Lebesgue and S obolev spaces with variable exponents , volume 2017 of Lecture Notes in Mathematics
Lars Diening, Petteri Harjulehto, Peter H\" a st\" o , and Michael R u z i c ka. Lebesgue and S obolev spaces with variable exponents , volume 2017 of Lecture Notes in Mathematics . Springer, Heidelberg, 2011
work page 2017
Show all 19 references
-
[9]
Bonder and Ariel M
Juli\' a n F. Bonder and Ariel M. Salort. Fractional order O rlicz- S obolev spaces. J. Funct. Anal. , 277(2):333--367, 2019
2019
-
[10]
Classical F ourier analysis , volume 249 of Graduate Texts in Mathematics
Loukas Grafakos. Classical F ourier analysis , volume 249 of Graduate Texts in Mathematics . Springer, New York, third edition, 2014
2014
-
[11]
Combinatorics of partial derivatives
Michael Hardy. Combinatorics of partial derivatives. Electron. J. Combin. , 13(1):Research Paper 1, 13, 2006
2006
-
[12]
Orlicz spaces and generalized O rlicz spaces , volume 2236 of Lecture Notes in Mathematics
Petteri Harjulehto and Peter H\" a st\" o . Orlicz spaces and generalized O rlicz spaces , volume 2236 of Lecture Notes in Mathematics . Springer, Cham, 2019
2019
-
[13]
A revised condition for harmonic analysis in generalized orlicz spaces on unbounded domains
Petteri Harjulehto, Peter H \"a st \"o , and Artur S abuszewski. A revised condition for harmonic analysis in generalized orlicz spaces on unbounded domains. Mathematische Nachrichten , 2023
2023
-
[14]
Quasiconvexity in the fractional calculus of variations: characterization of lower semicontinuity and relaxation
Carolin Kreisbeck and Hidde Sch\" o nberger. Quasiconvexity in the fractional calculus of variations: characterization of lower semicontinuity and relaxation. Nonlinear Anal. , 215:Paper No. 112625, 26, 2022
2022
-
[15]
Catharine W. K. Lo and Jos\' e F. Rodrigues. On the obstacle problem in fractional generalised O rlicz spaces. Math. Eng. , 6(5):676--704, 2024
2024
-
[16]
Augusto C. Ponce. Elliptic PDE s, measures and capacities , volume 23 of EMS Tracts in Mathematics . European Mathematical Society (EMS), Z\" u rich, 2016. From the Poisson equations to nonlinear Thomas-Fermi problems
2016
-
[17]
Tien-Tsan Shieh and Daniel E. Spector. On a new class of fractional partial differential equations. Adv. Calc. Var. , 8(4):321--336, 2015
2015
-
[18]
Tien-Tsan Shieh and Daniel E. Spector. On a new class of fractional partial differential equations II . Adv. Calc. Var. , 11(3):289--307, 2018
2018
-
[19]
Fractional vector analysis based on invariance requirements (critique of coordinate approaches)
Miroslav S ilhav\' y . Fractional vector analysis based on invariance requirements (critique of coordinate approaches). Contin. Mech. Thermodyn. , 32(1):207--228, 2020
2020
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.