REVIEW
Weighted potential and Green systems with Dini coefficients and primitive growth
Analysis of PDEs · Submitted 19 Oct 2026 · 48 references
Pith's verdict: A substantial paper whose master theorem is not proved as printed: Section 7's normalization algebra has a reversed monotonicity claim and an inconsistent amplitude/energy scaling, so the final contradiction needs a corrected rewrite before the result can be cited.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A single positive gap condition rules out all finite-energy positive pairs for weighted potential and Green systems with Dini-continuous coefficients, and the power case recovers the weighted subcritical Lane–Emden hyperbola.
The reading
What carries the argument
Three coupled mechanisms carry the argument. (1) A localized transport virial identity (Lemma 3.2) — a finite-interaction analogue of a Rellich–Pohozaev identity — converts infinitesimal radial dilations of the pair into the exact inequality $\int[(n+B_-)\eta-w]bP_F(u)+\int[(n+A_-)\eta-w]aP_G(v)\le\int\int\theta_K(|x-y|)\Phi_X\,d\pi$, where $\Phi_X$ is the directional factor of the radial cutoff field $X=x\eta$; it requires neither differentiable solutions nor differentiable coefficients. (2) A primitive pressure estimate (Proposition 5.4) bounds the primitive terms by the same interaction integral up to errors $\xi E+C_\xi$, through interval superlevel-set comparisons whose only coefficient regularity input is the modulus; Theorem 6.2 shows that, within this radial-cutoff class, admissibility holds exactly when the modulus is Dini, $\int_0^{1/2}\Omega(s)\,ds/s<\infty$. (3) Implicit amplitude normalization (Lemma 7.2) selects at each scale the unique amplitudes $s_R=R^\sigma a(Re_0)G(t_R)$, $t_R=R^\sigma b(Re_0)F(s_R)$ so that the normalized pair is dilation-stable; a uniform local-energy bound $E_R\le C_*$ over the whole normalized family is then contradicted by the divergence of $H_R=R^{-\lambda}s_Rt_R$ along dilations. For the Green kernel, homogeneity is replaced by the exact dilation correction $(x\cdot\nabla_x+y\cdot\nabla_y)H_R=-\lambda H_R+G_RQ_RG_R$ and by the relative composition budget $N_V$, which together retain local nonlinear energy as the only initial energy hypothesis.
Extended reading notes
Core claim
The paper's central claim is Theorem 1.1: if the radial kernel $K(z)=k(|z|)$ is Riesz-comparable, $c_Kr^{-\lambda}\le k(r)\le C_Kr^{-\lambda}$ with $\lambda=n-\sigma$, and has logarithmic slope $0\le -rk'(r)/k(r)\le\Lambda$; if the positive coefficients obey the distributional Euler lower bounds $\mathrm{div}(xa)\ge(n+A_-)a$ and $\mathrm{div}(xb)\ge(n+B_-)b$ with arbitrary real $A_-,B_-$ and a uniform Dini bound on their normalized logarithmic dilations; and if the responses satisfy $sF'(s)/F(s)\ge q_0$, $sG'(s)/G(s)\ge p_0$ almost everywhere with $p_0q_0>1$, plus the primitive ratios $P_F(s)\ge\mu_FsF(s)$, $P_G(s)\ge\mu_GsG(s)$, then there is no finite strictly positive pair continuous off zero solving $u=K\ast(aG(v))$, $v=K\ast(bF(u))$ at every nonzero point with $\int_{B_1}[bF(u)u+aG(v)v]<\infty$, provided $\Gamma_P=(n+B_-)\mu_F+(n+A_-)\mu_G-\Lambda>0$. The same normalized-family machinery proves Theorem 1.2 for the minimal positive Green kernel of $-\Delta+V$: the gap becomes $\Gamma_G=(n+B)\mu_F+(n+A)\mu_G-(n-2)$, and nonexistence holds as soon as it exceeds the relative Green composition defect $N_V$. For power nonlinearities these gaps reduce to the strict weighted subcritical hyperbola, which the authors convert into Liouville theorems for $\mathcal{L}_\sigma u=av^p$, $\mathcal{L}_\sigma v=bu^q$ in three PDE classes, including even integer orders with no initial tail, and for $(-\Delta)^m u=|x|^Av^p$, $(-\Delta)^m v=|x|^Bu^q$.
Load-bearing premise
The load-bearing premise is the amplitude-normalization algebra of Sections 7.2–7.3: the implicitly defined amplitudes must decay under dilation at the rates claimed in Lemma 7.2 so that $H_R=R^{-\lambda}s_Rt_R$ grows without bound, and if those monotonicity and growth inequalities fail, the final uniform-energy contradiction has no other support.
Editorial extensions
If this is right
- For power data the gap is the strict weighted subcritical hyperbola, so Corollaries 1.3 and 1.4 give Liouville theorems for $\mathcal{L}_\sigma u=av^p$, $\mathcal{L}_\sigma v=bu^q$ and for $(-\Delta)^m u=|x|^Av^p$, $(-\Delta)^m v=|x|^Bu^q$ across all $0<\sigma<n$, including even integer orders with no initial tail assumption and no maximum principle.
- Nonexistence survives coefficients whose normalized dilations have a Dini modulus but no uniform Hölder modulus (Proposition 8.2, Corollary 8.3), so the Dini integral, not a Hölder exponent, is the operative regularity boundary for the method.
- The full-range primitive ratio is load-bearing: a response regularly varying of subcritical index at both endpoints can still admit smooth positive entire pairs when its primitive gap fails (Example 7.7), while mixtures, slowly varying perturbations, and responses with unbounded logarithmic derivative are all covered when the gap holds (Corollaries 7.3–7.5, Proposition 7.6).
- For the actual Green kernel of $-\Delta+V$, nonexistence holds whenever $\Gamma_G>N_V$, with explicit noncompact potentials whose Newton budget $B(V)$ is arbitrarily large (Example 10.9); a compactly normalized response family also yields pointwise interior bounds $u(x)\le Cs_{d(x)}$, $v(x)\le Ct_{d(x)}$ for higher-order systems without regular variation (Theorem 12.1).
- Both the local-energy hypothesis and the strict gap are needed as stated: a pair singular at zero with infinite local energy exists in a strict-gap regime (Example 8.4), and an Euler condition imposed only outside a compact set does not suffice (Proposition 9.3, Remark 9.4).
Reading between the lines
- The effective exponents $q^*=\mu_F^{-1}-1$ and $p^*=\mu_G^{-1}-1$ that emerge from the primitive ratios suggest that the true critical threshold is set by the infimum of the full-range primitive-to-endpoint ratio rather than by any pointwise or asymptotic elasticity; this could be tested by comparing responses with identical endpoint indices but different primitive infima and checking whether the
- Theorem 6.2 gives an exact equivalence between Dini integrability and admissibility of the cutoff machinery, so the Dini integral marks the boundary of this particular method; since the paper asserts no necessity, constructing a non-Dini modulus that admits positive pairs, or proving none can, would delimit the true phenomenon.
- The representation theorem already handles unequal fractional orders, so the obstruction to an unequal-order Liouville theorem appears to sit in the amplitude normalization; a two-parameter analogue preserving the dilation growth might extend the criterion to systems with two distinct kernels.
- Because the Green-kernel theorem retains local nonlinear energy as its only initial energy hypothesis and the whole-space PDE result rests on exterior decay, the defect $N_V$ reads as the precise price a positive potential charges against the nonexistence gap, and the borderline inverse-square example suggests the criterion $\Gamma_G>N_V$ is close to sharp.
Original abstract
We prove a nonexistence theorem for positive potential systems with continuous coefficients satisfying distributional Euler lower bounds and a uniform Dini modulus on normalized logarithmic dilations. The nonlinearities have positive lower logarithmic derivatives and positive primitive-to-endpoint ratios. The common radial kernel is comparable with a Riesz kernel. A localized transport identity, a primitive pressure estimate and implicit amplitude normalization give uniform local energy bounds and a dilation contradiction. And we treats the genuine Green kernel of $-\Delta+V$ for nonnegative potentials under annular and Newton composition budgets and a strict gap corrected by the relative Green dilation defect. Relative endpoint differences and an exact virtual-energy cancellation retain local nonlinear energy as the only initial energy hypothesis. Independent representation arguments give these consequences, including even integer orders without initial tails. A compact family of normalized responses also yields universal interior bounds without regular variation.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We prove a nonexistence theorem for positive potential systems with continuous coefficients satisfying distributional Euler lower bounds and a uniform Dini modulus on normalized logarithmic dilations. The nonlinearities have positive lower logarithmic derivatives and positive primitive-to-endpoint ratios. The common radial kernel is comparable with a Riesz kernel. A localized transport identity, a primitive pressure estimate and implicit amplitude normalization give uniform local energy bounds and a dilation contradiction. And we treats the genuine Green kernel of $-\Delta+V$ for nonnegative potentials under annular and Newton composition budgets and a strict gap corrected by the relative Green dilation defect. Relative endpoint differences and an exact virtual-energy cancellation retain local nonlinear energy as the only initial energy hypothesis. Independent representation arguments give these consequences, including even integer orders without initial tails. A compact family of normalized responses also yields universal interior bounds without regular variation.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We prove a nonexistence theorem for positive potential systems with continuous coefficients satisfying distributional Euler lower bounds and a uniform Dini modulus on normalized logarithmic dilations. | result 0.80 | 0.94 | 0.85 | asserted 1.00 |
| s1 | The nonlinearities have positive lower logarithmic derivatives and positive primitive-to-endpoint ratios. | contribution 0.51 | 0.39 | 0.04 | asserted 1.00 |
| s2 | The common radial kernel is comparable with a Riesz kernel. | result 0.35 | 0.51 | 0.03 | asserted 1.00 |
| s3 | A localized transport identity, a primitive pressure estimate and implicit amplitude normalization give uniform local energy bounds and a dilation contradiction. | method 0.98 | 0.87 | 0.07 | asserted 0.97 |
| s4 | And we treats the genuine Green kernel of $-\Delta+V$ for nonnegative potentials under annular and Newton composition budgets and a strict gap corrected by the relative Green dilation defect. | contribution 0.85 | 0.78 | 0.09 | asserted 0.96 |
| s5 | Relative endpoint differences and an exact virtual-energy cancellation retain local nonlinear energy as the only initial energy hypothesis. | method 0.67 | 0.76 | 0.08 | asserted 0.99 |
| s6 | Independent representation arguments give these consequences, including even integer orders without initial tails. | result 0.47 | 0.75 | 0.05 | asserted 1.00 |
| s7 | A compact family of normalized responses also yields universal interior bounds without regular variation. | result 0.80 | 0.79 | 0.07 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.