Compact Embedding Theorem Associated with Classical Weight Functions in Two Variables

B.J. Nkwamouo; J.L. Woukeng; M.K. Nangho

REVIEW 3 major objections 4 minor 23 references

Compact Embedding Theorem Associated with Classical Weight Functions in Two Variables

T0 review · 3 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For classical two-variable weights, the matrix-weighted Sobolev space embeds compactly into the weighted L² space, and this yields an orthogonal eigenbasis for a degenerate operator on a triangle.

desk verdict Density argument is plausible, but the compactness proof has a classic ε-dependent subsequence error, and the spectral application rests entirely on it. read the letter →

arxiv 2605.14732 v3 pith:2MIADCQB submitted 2026-05-14 math.CA

M.K. Nangho , B.J. Nkwamouo , J.L. Woukeng This is my paper · ORCID

classification math.CA MSC 46E3535J7033C50

keywords matrix-weightedSobolevspacescompactembeddingweightedL²spaceclassicalweightfunctionsdegenerateellipticoperatorsorthogonalbasistwovariablespolynomialdensity

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper develops matrix-weighted Sobolev spaces adapted to classical weight functions of two variables and establishes two structural facts about them: bivariate polynomials are dense in the associated weighted L² space, and the polynomial closure of the Sobolev space is compactly embedded in that weighted L² space. The compact embedding is the central claim, because it is what allows a degenerate second-order differential operator on a triangle to be treated variationally. From it the authors prove that the weighted L² space has an orthogonal basis of eigenfunctions of the operator, with positive eigenvalues tending to infinity. A sympathetic reader would care because degenerate elliptic operators, which lose ellipticity at boundary points, are out of reach of ordinary Sobolev-space tools; this paper proposes a two-variable framework in which the classical Hilbert-space spectral machinery still runs. The construction rests on an integration-by-parts identity that uses the structural weight equation and a boundary-type condition imposed on polynomials.

What carries the argument

The central objects are the weight ρ and the symmetric polynomial matrix Φ, tied together by the structural equation div(ρΦ)=ρψ and a boundary-type condition on polynomials, and the space W(Ω,ρ,ρΦ), the closure of bivariate polynomials under the norm that measures both u in L²(Ω,ρ) and ∇u in the matrix-weighted space L²(Ω,ρΦ). The integration-by-parts identity (Proposition 5) converts the divergence form div(ρΦv) into a gradient pairing, which is how weak gradients are defined and why the space is a Hilbert space. The compact embedding (Theorem 11) is the step that turns the associated operator into a compact self-adjoint map. In the application on the triangle, ρ is the three-parameter weig

What would settle it

Apply the same proof in the unweighted case ρ=1, Φ=I on a bounded open set: if the argument were valid, it would imply that the unit ball of L² is compact, which is false. Therefore the specific step of letting the mollification scale go to zero in inequality (22) must fail; locating that failure settles whether Theorem 11 is true.

Watch

Extended reading notes

Core claim

The paper proves that for a weight ρ and a symmetric polynomial matrix Φ satisfying the structural equation div(ρΦ)=ρψ and a zero-flux boundary condition on polynomials, the space W(Ω,ρ,ρΦ) — the closure of bivariate polynomials in the norm ∥u∥²=∫u²ρdx+∫(∇u)ᵀρΦ∇u dx — is compactly embedded in L²(Ω,ρ), and that the same space is dense in L²(Ω,ρ). This compactness is what makes the degenerate operator L=−(1/ρ)div(ρΦ∇·)+(2+x₁²+x₂²) on the triangle into one with a compact self-adjoint inverse, and hence yields an orthogonal basis of L²(Ω,ρ) made of its eigenfunctions, with positive eigenvalues going to infinity. The proof works by mollifying bounded sequences and applying a compactness criterion

Load-bearing premise

The compact embedding proof assumes that a subsequence selected after mollification can be held fixed while the mollification scale tends to zero; the text offers no justification for this interchange, and without it the argument would wrongly imply that every bounded sequence in L² is precompact.

Editorial extensions

If this is right

If the compact embedding holds, bivariate polynomials are dense in the weighted L² space for every classical weight, giving a weighted analogue of polynomial approximation in two variables.
The variational form associated with the degenerate operator is coercive and continuous on W(Ω,ρ,ρΦ), so the corresponding boundary-value problem has a unique weak solution for every f in L²(Ω,ρ).
The inverse of the degenerate operator is compact and self-adjoint on L²(Ω,ρ); hence L²(Ω,ρ) has an orthogonal basis of eigenfunctions, and the eigenvalues are positive and accumulate only at infinity.
Because the third defining condition of a classical weight is never used, the class of weights for which the conclusions hold is probably larger than stated.
The template extends to any bounded domain that admits a weight ρ and a matrix Φ satisfying the structural equation and boundary condition, giving a general route to spectral theorems for degenerate operators.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial inference: the proof of the compact embedding exchanges two limiting processes — the mollification scale and the selection of a subsequence — in a way the text does not justify; a correct argument would need a diagonal construction or another compactness criterion, so the compactness claim is contingent on closing that gap.
Editorial inference: the boundary-type condition is imposed on gradients of scalar polynomials, but the integration-by-parts identity applies it to polynomial vector fields; the paper asserts this extension without proof, leaving the definition of the space dependent on an unstated assumption.
Editorial inference: if the spectral conclusion is right, the eigenfunctions on the triangle are natural candidates for the classical bivariate orthogonal polynomials for the weight x₁^α x₂^β (1−x₁−x₂)^γ, which would give an explicit diagonalisation that the paper does not compute.
Editorial inference: the polynomial-closure construction could in principle be carried to higher dimensions or to domains with more general corner singularities, provided a matrix polynomial satisfying the analogous structural equation can be found.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: the framework is workable and the triangle application is concrete, but the main theorem is not proved. In the proof of Theorem 11, Step 1, the authors fix ε, get an Arzelà–Ascoli subsequence of the mollified sequence {η_ε * (ρ^{1/2} u_n)}, and then let ε→0 while treating the subsequence indices as fixed. They are not fixed; the indices depend on ε. The two mollification-error terms in the triangle inequality are controlled only for the specific indices chosen at that ε, so the inequality does not pass to the original sequence. The argument never uses the W-gradient norm—only the L2 bound—so if it were valid, every bounded set in L2(Ω,ρ) would be precompact. That is false. The density result (Theorem 10) looks sound: it follows from the Whitney approximation argument and does not depend on this step. But the compact embedding and everything downstream (compact self-adjoint inverse, orthogonal basis of eigenfunctions for the degenerate Helmholtz operator) are unsupported.

There is a second load-bearing gap. Definition 1's Neumann condition (8) is stated for gradients of scalar polynomials, but Proposition 5 and the weak-gradient definition (10) need it for arbitrary polynomial vector fields. Remark 4.2 asserts that extension without proof, and it is not a consequence of (8) for non-gradient v. Without that, the integration-by-parts identity is not established.

One smaller point: the paper says 'without loss of generality' that ρ is a moment weight function. That is an extra hypothesis, not a normalization, especially for unbounded Ω.

Credit where due: the Pearson-type matrix-weighted setup is a reasonable angle, the construction of the Hilbert space W(Ω,ρ,ρΦ) is standard and mostly correct, and the triangle example with the explicit ρ and Φ is the kind of concrete application that would be valuable if the compactness were real. The citation pattern is honest; the authors point to the relevant existing compact-embedding work even though they don't demonstrate that their result is new relative to Rodney–Monticelli or Chua–Rodney–Wheeden.

Bottom line: I would send this to a serious referee because the subject is legitimate and the flaw is potentially fixable, but my own verdict would be reject. I would not cite it in its current form. If you teach a course or run a reading group, it is a very clean example of the 'subsequence depends on the parameter' fallacy.

Referee Report

3 major / 4 minor

Summary. The manuscript introduces a weighted Sobolev space W(Ω,ρ,ρΦ) associated with a matrix weight ρΦ and a "classical" weight ρ, defined as the closure of bivariate polynomials in W^{1,2}(Ω,ρ,ρΦ). The main theorem (Theorem 11) claims that W(Ω,ρ,ρΦ) embeds compactly into L^2(Ω,ρ) for simply connected Ω with piecewise C^1 boundary, bounded or unbounded. The paper then uses this compactness to construct, via Lax–Milgram, weak solutions of a degenerate Helmholtz operator on the triangle with Jacobi weight and to obtain an orthogonal basis of L^2(Ω,ρ) of eigenfunctions (Propositions 16 and 17).

Significance. If the compact embedding were correct, it would be a useful contribution to the theory of matrix-weighted Sobolev spaces, and the spectral application to a degenerate Helmholtz operator on a triangle is of independent interest. The density statement (Theorem 10) is straightforward and appears correct. However, the central compactness theorem is not proved: the proof of Theorem 11 is logically invalid, and a second foundational assumption (Remark 4.2) is asserted without proof. Since Proposition 17 depends entirely on Theorem 11, the main application is unsupported. The paper is not acceptable in its current form.

major comments (3)

[Theorem 11, Step 1, Eq. (22)] For each ε>0, the Arzelà–Ascoli theorem yields a subsequence {n_k(ε)} that depends on ε. Inequality (22) fixes k,j ≥ k_0 (with k_0 depending on ε and δ) and then lets ε→0 as if n_k,n_j were fixed. They are not fixed: different ε can select completely different subsequences, and the mollification errors ∥v_n − v_n^ε∥ are not controlled uniformly in n. The proof uses only the L^2 bound (19); if the argument were valid it would show every bounded sequence in L^2(Ω,ρ) is precompact, which is false for the infinite-dimensional space L^2(Ω,ρ) (e.g., for the triangle weight (24)). Thus Theorem 11 is unproved.
[Remark 4.2 / Proposition 5] The Neumann boundary condition (8) is stated for p ∈ P, i.e., for gradients of scalar polynomials. Remark 4.2 extends it to all polynomial vector fields v ∈ P×P without proof. This stronger condition is used in Proposition 5 and in the definition of the weak gradient (16). For non-gradient vector fields it does not follow from (8), and the paper gives no justification. Consequently the integration-by-parts identity (12) and the very construction of W(Ω,ρ,ρΦ) are not properly established.
[Proposition 5, unbounded case] The proof of (15) treats the boundary term ∫_{∂Ω_j} (uρΦv)·n_j dS as though it were ∫_{Ω} 1_{∂Ω_j}(...) dx_1dx_2, which is zero because ∂Ω_j has Lebesgue measure zero. The dominated-convergence argument therefore does not establish the required convergence of the surface integrals. Since Theorem 11 also covers unbounded Ω, this is a further gap in the generality claimed by the paper.

minor comments (4)

[Lemma 2] The statement that the eigenvalues of a symmetric positive-definite polynomial matrix Φ are positive polynomials is false in general; for a 2×2 polynomial matrix the eigenvalues are algebraic functions. The subsequent integrability of |ρΦ|_op can be obtained directly from the polynomial entries and the moment condition (6), so this does not destroy the lemma, but the stated reason is incorrect.
[Definition 1] The notation ψ_i(x) = x^t D_i + E_i with 'D_i ∈ R×R' is unclear; presumably D_i is a vector in R^2. Please clarify.
[Section 4] The claim that the triangle weight (24) is 'classical' is asserted by reference to the authors' own preprint [18]. Since the Neumann condition (8) is load-bearing, the paper should either include the verification or state explicitly that the result is conditional on [18].
[Throughout] There are many typographical and formatting errors: 'Azerlà-Ascoli' for Arzelà–Ascoli, repeated 'ρdx1dx2ρdx1dx2', missing spaces in expressions, and inconsistent use of 'n' vs 'k' as indices. A careful editorial pass is needed.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the compact embedding theorem is derived from the assumed classical-weight structure, not assumed in its own proof; the only self-citation is the certification of the triangle weight as classical from the authors' prior preprint [18].

full rationale

I find no step where a claimed prediction or first-principles result is equivalent by construction to its input. Theorem 11 proves compactness by a mollification/Arzelà–Ascoli argument; it does not invoke its conclusion, and there are no fitted parameters. Theorem 10's polynomial density follows from the independent Whitney approximation of C_c^1 functions and standard density of C_c^1 in L^2(Ω,ρ). Proposition 17 is conditional on Theorem 11 and uses Lax–Milgram plus the standard spectral theorem for compact self-adjoint operators. The only self-citation is Definition 1 from [18] and the application's assertion "One can check by direct computation that the weight function (24) is classical (see [18])"; this is a reliance on prior work for an example-check, not an equivalence-by-construction, so it is minor. Two non-circular correctness gaps are flagged and weighed: (i) In Step 1 of Theorem 11, the Arzelà–Ascoli subsequence is chosen for each fixed ε, and (22) is then used to let ε→0 as though the indices were fixed; as written the argument would make every bounded L^2(Ω,ρ) sequence precompact, so the proof is unsound. This is a proof error, not circularity. (ii) Remark 4.2 asserts that (8) 'can also be rewritten' for all v∈P×P, but the original condition (8) is for gradients of scalar polynomials; Proposition 5 and Definition 6 rely on the unproved extension. Again this is a missing proof, not a circular reduction. These issues would need correction but do not raise the circularity score above 2.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The theorems rest on the classical-weight framework taken from the authors' own prior work [18], on standard functional analysis tools, and on an extra moment-weight assumption. No physical entities are introduced. The only load-bearing but unproved premise is the extension of the boundary condition to all polynomial vector fields, which is needed for the integration-by-parts identity.

assumptions (6)

domain assumption Ω is a simply connected open subset of R² with piecewise C¹ boundary
Used for the divergence theorem and Whitney approximation; stated at the start of Section 1.
domain assumption ρ is a positive measurable weight with finite integral and finite polynomial moments
The moment condition is needed for P ⊂ L²(Ω,ρ) and for integration by parts; introduced at the end of §1 as 'without loss of generality', which is actually an extra hypothesis.
domain assumption ρ satisfies the matrix Pearson equation div(ρΦ)=ρ(ψ1,ψ2), the Neumann boundary condition (8), and the differential system (9)
Definition 1 of a 'classical weight'; Remark 12 notes that (9) is not used in Theorem 11.
ad hoc to paper The Neumann boundary condition (8) extends to all polynomial vector fields v ∈ P×P
Remark 4.2 asserts this without proof; it is needed for the integration-by-parts in Proposition 5, but Definition 1 only gives (8) for gradients of scalar polynomials, which is a smaller class.
standard math Mollification converges in L² and Arzelà–Ascoli compactness criterion
Used in Step 1 of Theorem 11; applied incorrectly because the subsequence depends on ε.
standard math Whitney's approximation theorem for differentiable functions on closed sets
Used in Lemma 9 to approximate C¹_c functions by polynomials on compact sets.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Compact Embedding Theorem Associated with Classical Weight Functions in Two Variables." pith.science (2026). https://pith.science/paper/2MIADCQB

@misc{pith2026260514732,
  author       = {Pith},
  title        = {Pith review of: Compact Embedding Theorem Associated with Classical Weight Functions in Two Variables},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2MIADCQB}},
  note         = {Machine review of arXiv:2605.14732}
}

abstract

For a classical weight function $\rho$ defined on a simply connected open subset $\Omega$ of $\mathbb{R}^2$ (either bounded or unbounded) with piecewise $C^1$ boundary, we prove density of the space of bivariate polynomials and compact embedding of the matrix-weighted Sobolev space $W^{1,2}(\Omega,\rho,\rho\Phi)$ in the weighted Lebesgue space $L^2(\Omega,\, \rho)$. As an application, we investigate via a variational method, eigenvalue problem for a degenerate Helmholtz operator on triangle.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 1 linked inside Pith

[1]

R. A. Adams and J. J. F. Fournier:Sobolev spaces.2nd ed., Academic Press, Amsterdam, (2003)

2003
[2]

Barbu and G

V . Barbu and G. D. Prato:The Neumann problem on unbounded domains ofR d and stochastic variational inequalities.Comm. Partial Differential Equations,30(8)(2005), 1217-1248. Compact embedding theorem associated with classical weight functions in two variables15

2005
[3]

Boyer and P

F. Boyer and P. Fabrie:Mathematical tools for the study of the incompressible Navier-Stokes equations and related models.Springer Science and Business Media, Berlin and Heidelberg, (2012)

2012
[4]

Br ´ezis:Functional analysis, Sobolev spaces and partial differential equations.Springer, Berlin and Heidel- berg, (2011)

H. Br ´ezis:Functional analysis, Sobolev spaces and partial differential equations.Springer, Berlin and Heidel- berg, (2011)

2011
[5]

Cacciafesta, P

F. Cacciafesta, P. D’Ancona and R. Luc `a:A limiting absorption principle for the Helmholtz equation with variable coefficients.J. Spectr. Theory,8(4)(2018), 1349-1392

2018
[6]

S. K. Chua, S. Rodney and R. Wheeden:A compact embedding theorem for generalised Sobolev spaces. Pacific J. Math.,265(1)(2013), 17-57

2013
[7]

Cruz-Uribe, K

D. Cruz-Uribe, K. Moen and S. Rodney:MatrixA p Weights, degenerate Sobolev spaces, and mappings of finite distortion.J. Geom. Anal.,26(4)(2016), 2797-2830

2016
[8]

C. F. Dunkl and Y . Xu:Orthogonal polynomials of several variables.Cambridge University Press, Cambridge, (2014)

2014

Show all 23 references

[9]

D. E. Edmunds and W. D. Evans:Spectral theory and differential operators.2nd ed., Oxford University Press, Oxford, (2018)

2018
[10]

L. C. Evans:Partial differential equations.2nd ed., American Mathematical Society, Providence, Rhode Island, ( 2010)

2010
[11]

Gol’dshtein and A

V . Gol’dshtein and A. Ukhlov:Weighted Sobolev spaces and embedding theorems.Trans. Amer. Math. Soc., 361(7)(2009), 3829-3950

2009
[12]

Grafakos:Modern Fourier analysis.V olume 250 of Graduate Texts in Mathematics

L. Grafakos:Modern Fourier analysis.V olume 250 of Graduate Texts in Mathematics. Springer, New York, (2009)

2009
[13]

J. G. Hooton:Compact Sobolev imbedding on finite measure spaces.J. Math. Anal. Appl.,83(2)(1981), 570- 581

1981
[14]

Kufner:Weighted Sobolev spaces.John Wiley and Sons, Hoboken, New Jersey, (1985)

A. Kufner:Weighted Sobolev spaces.John Wiley and Sons, Hoboken, New Jersey, (1985)

1985
[15]

Marriaga:On Sobolev orthogonal polynomials on a triangle.Proc

M. Marriaga:On Sobolev orthogonal polynomials on a triangle.Proc. Amer. Math. Soc.,151(02)(2023), 679- 691

2023
[16]

R. C. McOwen:Partial differential equations: methods and applications.Pearson Education, 2nd ed., Ts- inghua University Press Co. Ltd., Beijing, ( 2003)

2003
[17]

D. D. Monticelli and S. Rodney:Existence and spectral theory for weak solutions of Neumann and Dirichlet problems for linear degenerate elliptic operators with rough coefficients,J. Differential Equations. 259(8)(2015), 4009-4044

2015
[18]

M. K. Nangho, K. Jordaan and B. J. Nkwamouo:Characterization of classical orthogonal polynomials in two variables.arXiv e-prints. 2024 Jul:arXiv-2407

2024
[19]

Opic:Compact imbedding of weighted Sobolev space defined on an unbounded domain.II

B. Opic:Compact imbedding of weighted Sobolev space defined on an unbounded domain.II. ˇCas. pˇest. mat., 113(3)(1988), 293-308

1988
[20]

Rodney and D

S. Rodney and D. D. Monticelli:An improved compact embedding theorem for degenerate Sobolev spaces. arXiv preprint arXiv:1908.05642, (2019)

1908 arXiv
[21]

Rudin:Real and complex analysis.3rd ed., McGraw-Hill, Inc, New York, USA, (1987)

R. Rudin:Real and complex analysis.3rd ed., McGraw-Hill, Inc, New York, USA, (1987)

1987
[22]

E. T. Sawyer and R. L. Wheeden:Degenerate Sobolev spaces and regularity of subelliptic equations.Trans. Amer. Math. Soc.,362(4)(2010), 1869–1906. Compact embedding theorem associated with classical weight functions in two variables16

2010
[23]

Whitney:Analytic extensions of differentiable functions defined in closed sets.Trans

H. Whitney:Analytic extensions of differentiable functions defined in closed sets.Trans. Amer. Math. Soc., 36(1)(1934), 63-89

1934

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.

[1] [1]

R. A. Adams and J. J. F. Fournier:Sobolev spaces.2nd ed., Academic Press, Amsterdam, (2003)

2003

[2] [2]

Barbu and G

V . Barbu and G. D. Prato:The Neumann problem on unbounded domains ofR d and stochastic variational inequalities.Comm. Partial Differential Equations,30(8)(2005), 1217-1248. Compact embedding theorem associated with classical weight functions in two variables15

2005

[3] [3]

Boyer and P

F. Boyer and P. Fabrie:Mathematical tools for the study of the incompressible Navier-Stokes equations and related models.Springer Science and Business Media, Berlin and Heidelberg, (2012)

2012

[4] [4]

Br ´ezis:Functional analysis, Sobolev spaces and partial differential equations.Springer, Berlin and Heidel- berg, (2011)

H. Br ´ezis:Functional analysis, Sobolev spaces and partial differential equations.Springer, Berlin and Heidel- berg, (2011)

2011

[5] [5]

Cacciafesta, P

F. Cacciafesta, P. D’Ancona and R. Luc `a:A limiting absorption principle for the Helmholtz equation with variable coefficients.J. Spectr. Theory,8(4)(2018), 1349-1392

2018

[6] [6]

S. K. Chua, S. Rodney and R. Wheeden:A compact embedding theorem for generalised Sobolev spaces. Pacific J. Math.,265(1)(2013), 17-57

2013

[7] [7]

Cruz-Uribe, K

D. Cruz-Uribe, K. Moen and S. Rodney:MatrixA p Weights, degenerate Sobolev spaces, and mappings of finite distortion.J. Geom. Anal.,26(4)(2016), 2797-2830

2016

[8] [8]

C. F. Dunkl and Y . Xu:Orthogonal polynomials of several variables.Cambridge University Press, Cambridge, (2014)

2014