Variational problems related to self-similar solutions of Hardy-Sobolev heat equation in RN
Pith reviewed 2026-06-30 00:16 UTC · model grok-4.3
The pith
Self-similar transformation yields infinitely many solutions to the elliptic problem from the Hardy-Sobolev heat equation in the subcritical case.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper establishes that the elliptic equation obtained from the self-similar change of variables admits infinitely many solutions in the subcritical range 2 < q < 2^*(s) and at least one solution when q equals 2^*(s), with the weighted Hardy and Sobolev inequalities supporting the variational arguments, while the Pohozaev identity rules out solutions under certain conditions on α and the parameters.
What carries the argument
The self-similar transformation converting the parabolic equation into the elliptic equation −Δv − (1/2) y · ∇v = α v + |v|^{q−2} v / |y|^s.
Load-bearing premise
The self-similar transformation is valid and the resulting elliptic problem accurately reflects the original parabolic dynamics for the given ranges of q and s.
What would settle it
Finding a solution to the elliptic equation when the Pohozaev identity predicts nonexistence, or showing that the variational functional has only finitely many critical points in the subcritical case, would falsify the main claims.
read the original abstract
In this paper, we apply a self-similar transformation to convert the parabolic equation with a Sobolev-Hardy term \begin{align*} u_t-\Delta u= \frac{|u|^{q-2}u}{\left|x\right|^s} & \text { in } \mathbb{R}^N \times(0, \infty), \end{align*} into the following elliptic equation \begin{equation*} -\Delta v-\frac{1}{2} y \cdot \nabla v=\alpha v+ \frac{|v|^{q-2} v}{|y|^s}, \end{equation*} where $2 < q \leq 2^*(s)=\frac{2 N-2 s}{N-2}, 0 \leq s < 2, \alpha=\frac{2-s}{2q-4}$. For this equation, we establish the weighted Hardy inequality and Sobolev inequality. Furthermore, by virtue of the variational methods, we obtain infinitely many solutions in the subcritical case, and prove the existence of solutions in the critical case. We also apply the Pohozaev identity to establish the nonexistence of solutions under certain conditions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper applies the self-similar change of variables u(x,t)=t^{-α}v(x t^{-1/2}) with α=(2-s)/(2q-4) to the parabolic Hardy-Sobolev equation u_t - Δu = |u|^{q-2}u/|x|^s, obtaining the elliptic problem -Δv - (1/2)y·∇v = αv + |v|^{q-2}v/|y|^s for 2<q≤2^*(s)=(2N-2s)/(N-2) and 0≤s<2. It establishes the associated weighted Hardy and Sobolev inequalities, then uses variational methods to prove infinitely many solutions when q is subcritical and existence when q is critical; the Pohozaev identity is applied to obtain nonexistence results under additional parameter restrictions.
Significance. If the claims hold, the work supplies a variational characterization of self-similar profiles for a parabolic equation with singular Hardy-Sobolev nonlinearity. The multiplicity result in the subcritical regime and the critical-case existence extend standard concentration-compactness or mountain-pass arguments to the drifted, weighted setting; the Pohozaev nonexistence statements give sharp parameter thresholds. These findings are relevant to the long-time asymptotics of the original parabolic flow.
major comments (2)
- [Section 3 (weighted inequalities) and Section 4 (variational arguments)] The functional setting for the drifted elliptic operator is not made explicit. The space in which the weighted Sobolev inequality is proved and the variational functional is defined must be specified (e.g., completion of C_c^∞ with respect to the norm induced by ∫|∇v|^2 + (1/4)|y|^2|v|^2 or an equivalent weighted space) before the mountain-pass or genus arguments can be applied; without this the Palais-Smale condition and the embedding statements remain formal.
- [Section 5 (critical case)] The critical-case existence argument relies on the weighted Sobolev inequality being sharp and on a suitable concentration-compactness lemma. The manuscript must verify that the constant in the inequality is attained only at zero or that the profile decomposition respects the drift term; otherwise the usual contradiction argument for the critical exponent may fail.
minor comments (2)
- [Abstract and Theorem 1.1] The abstract states the range 2<q≤2^*(s) but the definition of α requires q>2; the boundary q=2 should be excluded explicitly in the statement of the main theorems.
- [Section 2] Notation for the weighted norms and the precise statement of the Pohozaev identity (including the boundary terms that vanish at infinity) should be written out once in a preliminary section rather than repeated in each proof.
Simulated Author's Rebuttal
We thank the referee for the thorough review and valuable suggestions. We address each major comment below and will incorporate the necessary clarifications in the revised manuscript to strengthen the functional-analytic framework and critical-case arguments.
read point-by-point responses
-
Referee: [Section 3 (weighted inequalities) and Section 4 (variational arguments)] The functional setting for the drifted elliptic operator is not made explicit. The space in which the weighted Sobolev inequality is proved and the variational functional is defined must be specified (e.g., completion of C_c^∞ with respect to the norm induced by ∫|∇v|^2 + (1/4)|y|^2|v|^2 or an equivalent weighted space) before the mountain-pass or genus arguments can be applied; without this the Palais-Smale condition and the embedding statements remain formal.
Authors: We agree that the functional setting requires explicit definition. The natural space is the completion of C_c^∞(R^N) under the norm induced by the quadratic form of the drifted operator, namely ||v||^2 = ∫ |∇v|^2 + (1/4)|y|^2 |v|^2 dy, which is a Hilbert space equivalent to the weighted Sobolev space incorporating the drift. In the revision we will state this definition at the beginning of Section 3, prove the weighted inequalities directly in this space, and verify that the embeddings and Palais-Smale condition hold rigorously therein before applying the variational arguments in Section 4. revision: yes
-
Referee: [Section 5 (critical case)] The critical-case existence argument relies on the weighted Sobolev inequality being sharp and on a suitable concentration-compactness lemma. The manuscript must verify that the constant in the inequality is attained only at zero or that the profile decomposition respects the drift term; otherwise the usual contradiction argument for the critical exponent may fail.
Authors: We accept the need for additional verification. The weighted Sobolev constant is shown to be sharp but unattained except at zero by a strict inequality derived from the Hardy term and the drift; we will add an explicit lemma confirming this non-attainment. For the concentration-compactness, the profile decomposition will be adapted to the drifted operator by retaining the linear drift term in the limiting profiles, ensuring the standard contradiction argument carries through without loss of mass at infinity. These details will be inserted into Section 5. revision: yes
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper's chain begins with a direct self-similar substitution u(x,t)=t^{-α}v(xt^{-1/2}) that produces the stated elliptic equation by algebraic verification, followed by standard weighted Hardy/Sobolev inequalities and classical variational arguments (multiplicity in subcritical range, existence in critical range) plus the classical Pohozaev identity for nonexistence. No step reduces a claimed prediction or uniqueness result to a fitted input, self-citation, or ansatz smuggled from prior work by the same authors; the functional setting and inequalities are independent of the target existence statements.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Weighted Hardy inequality and Sobolev inequality hold in the space for the transformed elliptic equation
Reference graph
Works this paper leans on
-
[1]
Brezis, E
H. Brezis, E. Lieb, A Relation Between Point Convergence of Functions and Convergence of Functionals, Proc. Amer. Math. Soc., 88(1983) 486–490
1983
-
[2]
Catrina, M
F. Catrina, M. Furtado, M. Montenegro, Positive solutions for nonlinear elliptic equations with fast increasing weights, Proc. R. Soc. Edinb. A, 137(6) (2007) 1157–1178
2007
-
[3]
Chikami, M
N. Chikami, M. Ikeda, K. Taniguchi, Well-posedness and global dynamics for the critical Hardy-Sobolev parabolic equation, Nonlinearity, 34(11) (2021) 8094-8142
2021
-
[4]
Chikami, M
N. Chikami, M. Ikeda, K. Taniguchi, S. Tayachi, Unconditional uniqueness and nonuniqueness for Hardy-H ´enon parabolic equations, Math. Ann., 390(3) (2024) 3765– 3825,
2024
-
[5]
Escobedo, O
M. Escobedo, O. Kavian, Variational problems related to self-similar solutions of the heat equation, Nonlinear Anal., 11 (1987) 1103–1133
1987
-
[6]
Furtado, R
M. Furtado, R. Ruviaro, J. P. Silva, Two solutions for an elliptic equation with fast increas- ing weight and concave-convex nonlinearties, J. Math. Anal. Apll., 416 (2014) 698–709
2014
-
[7]
Frank, D.J
W.M. Frank, D.J. Land, R.M. Spector, Singular potentials, Rev. Moden Phys., 43 (1971) 36–98
1971
-
[8]
Furtado M, O.H
M.F. Furtado M, O.H. Myiagaki, J. P. P. da Silva. On a class of nonlinear elliptic equations with fast increasing weight and critical growth, J. Differential Equations, 249 (2010) 1035– 1055
2010
-
[9]
Ghoussoub, C
N. Ghoussoub, C. Yuan, Multiple solutions for quasi-linear PDEs involving the critical Sobolev and Hardy exponents, Trans. Amer. Math. Soc., 352, no12 (2000) 5703–5743
2000
-
[10]
Herraiz, Asymptotic behavior of solutions of some semilinear parabolic problems, Ann
L. Herraiz, Asymptotic behavior of solutions of some semilinear parabolic problems, Ann. Inst. H. Poincar´e Anal. Nonlin´eaire, 16 (1999) 49–105
1999
-
[11]
M. Ikeda, C ´esar J. Niche, G. Planas, Global dynamics for the energy-critical nonlinear heat equation, arXiv:2412.04238, 2024
-
[12]
M. Ikeda, C ´esar J. Niche, G. Planas, Dynamics of dissipative solutions to the Hardy- Sobole parabolic equation, arXiv:2503.02570v2
-
[13]
Kavian, Remarks on the large time behaviour of a nonlinear diffusion equation, Ann
O. Kavian, Remarks on the large time behaviour of a nonlinear diffusion equation, Ann. Inst. H. Poincar´e Anal. Nonlin´eaire 4 (1987) 423–452
1987
-
[14]
Kosloff, C´esar J
L. Kosloff, C´esar J. Niche, G. Planas. Decay rates for the 4D energy-critical nonlinear heat equation. Bull. Lond. Math. Soc., 56(4)( 2024)1468–1482
2024
-
[15]
Landau, E M
L.D. Landau, E M. Lifshitz, Quantum Mechanics, Pergamon Press Ltd., London-Paris, 1965
1965
-
[16]
Naito, Self-similar solutions for a semilinear heat equation with critical Sobolev expo- nent, Indiana Univ
Y . Naito, Self-similar solutions for a semilinear heat equation with critical Sobolev expo- nent, Indiana Univ. Math. J., 57 (2008) 1283–1315
2008
-
[17]
Naito, T
Y . Naito, T. Suziki, Radial symmetry of self-similar solutions for semilinear heat equation, J. Differential Equation, 163 (2000) 407–428
2000
-
[18]
Qi, The existence of ground states to a weakly coupled elliptic system, Nonlinear Anal., 48 (2002) 905-925
Y . Qi, The existence of ground states to a weakly coupled elliptic system, Nonlinear Anal., 48 (2002) 905-925
2002
-
[19]
Qian, J.Q
X.T. Qian, J.Q. Chen, Sign-changing solutions for elliptic equations with fast increasing weight and concave-convex nonlinearities. Electron. J. Differ. Equ., 229 (2017) 1–16
2017
-
[20]
Tan, Global solution and blowup of semilinear heat equation with critical Sobolev ex- ponent, Commun
Z. Tan, Global solution and blowup of semilinear heat equation with critical Sobolev ex- ponent, Commun. Partial Differ. Equ., 26(3–4) (2001) 717–741
2001
-
[21]
Willem, Minimax theorems, in: Progress in Nonlinear Differential Equations and their Applications, vol
M. Willem, Minimax theorems, in: Progress in Nonlinear Differential Equations and their Applications, vol. 24, Birkh¨auser Boston, Inc., Boston, MA, 1996. 27
1996
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.