REVIEW 4 major objections 5 minor 23 references
Poiseuille flow of hyperbolic Ericksen-Leslie system in dimension two
T0 review · 4 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves global weak solutions exist for axisymmetric Poiseuille flow of the hyperbolic Ericksen-Leslie system, and that any first blowup rescales to a static harmonic map.
desk verdict A serious global-existence proof with a genuinely broken rescaling lemma; the flux-decay step is likely repairable, the h-boundedness step is not, and Theorems 1.3 and 1.5 currently do not follow. 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 key objects are the integrated velocity $h(r,t)=\frac1r\int_0^r v(R,t)R\,dR$, which rewrites the system as (1.16) and lets the wave equation couple to $h_t$ instead of the less regular $v_r$; the local energy density $e(r,t)=\frac12|\varphi_r|^2+\frac12|\varphi_t|^2+\frac{\sin^2\varphi}{2r^2}$ with energy $E(R,t)=\int_0^R e(r,t)r\,dr$; and the boundary flux $\mathrm{Flux}(s,s-\tau)=\int_{s-\tau}^s(e-\varphi_r\varphi_t)(T-t,t)(T-t)\,dt$ on the cone $r=T-t$. Existence is produced by penalizing the constraint $|d|=1$ with Ginzburg-Landau energy and solving the penalized system by a contraction mapping, then sending the penalty to zero. The blowup analysis rescales $\varphi_i(r,t)=\varphi(R_i r,T_i+R_i t)$ along the wave cone; the flux decay and time-integral estimates kill the time derivatives in the limit, leaving the static harmonic-map ODE $(\varphi_\infty)_{rr}+(\varphi_\infty)_r/r-\sin\varphi_\infty\cos\varphi_\infty/r^2=0$.
What would settle it
Look for a smooth local solution of (1.16) satisfying the small-energy assumption (1.17) for which the boundary flux $\mathrm{Flux}(T,T-\tau)$ has positive $\limsup$ as $\tau\to0^+$. Equivalently, numerically simulate (1.16) with near-critical data and measure $\int_{T-\tau}^T (e-\varphi_r\varphi_t)(T-t,t)(T-t)\,dt$; if this quantity fails to tend to zero while energies concentrate at $(0,T)$, Lemma 3.6 fails and Theorems 1.3 and 1.5 do not follow.
Extended reading notes
Core claim
On its own terms the paper establishes three results for the reduced axisymmetric Poiseuille system (1.9). First, for initial-boundary data (1.10), finite-energy weak solutions exist globally in time. Second, the solution is partially regular: if the local energy $E(R,t)=\int_0^R(\frac12|\varphi_r|^2+\frac12|\varphi_t|^2+\frac{\sin^2\varphi}{2r^2})r\,dr$ stays below a threshold $\epsilon_0$ throughout a backward cone $\{T_0-\delta<t<T_0,\ r>T_0-t\}$, the solution extends continuously across $T_0$. Third, if a genuine first blowup occurs at $T_0$, there are sequences $R_i\to0^+$, $T_i\to T_0^-$ such that the rescaled solutions $\varphi_i(r,t)=\varphi(R_i r,T_i+R_i t)$ converge in $H^1_{\rm loc}$ to a nonconstant time-independent axisymmetric harmonic map satisfying $(\varphi_\infty)_{rr}+(\varphi_\infty)_r/r-\sin\varphi_\infty\cos\varphi_\infty/r^2=0$, while $h_i\to0$ weakly. In addition, if the initial energy is below 4 and $\varphi(\infty,t)=0$, no $C^0$ blowup can occur.
Load-bearing premise
The partial-regularity and blowup-profile theorems both rest on the assumption that the energy flux across the shrinking cone boundary vanishes as the final time is approached; the proof establishes only a uniform bound, not the vanishing.
Editorial extensions
If this is right
- Global weak solutions exist for every positive time for the axisymmetric Poiseuille system (1.9) with data (1.10), so singularity formation does not stop the flow.
- If a first singularity occurs at $T_0$, any blowup sequence obtained by $(r,t)\mapsto(R_i r,T_i+R_i t)$ converges to a static axisymmetric harmonic map, so the singular mechanism is concentration of energy into a frozen bubble, not oscillation.
- A local energy condition, namely $E(R,t)<\epsilon_0$ in a backward cone, guarantees continuous extension across $T_0$; blowup therefore requires at least $\epsilon_0$ energy to concentrate in every such cone.
- When the initial energy is below 4 and $\varphi(\infty,t)=0$, no $C^0$ blowup can occur, because the required profile $\varphi_\infty=2\arctan(r/C)$ would violate the pointwise bound $|\varphi|\le\pi/2$.
Reading between the lines
- The energy threshold 4 in the no-blowup theorem equals the energy of the nontrivial profile $\varphi_\infty=2\arctan(r/C)$, suggesting, though the paper does not state it, that blowup energies are quantized in units of this bubble energy.
- The replacement of $v_r$ by $h_t$ is a structural trick that should transfer to other axisymmetric parabolic-hyperbolic couplings whenever the velocity lacks the regularity of its radial flux; testing it on the full Oseen-Frank energy is a natural next step.
- A numerical experiment with energy just above 4 should observe the stated rescaling, with $\varphi_i$ approaching $2\arctan(r/C)$ and $h_i$ approaching 0; the rate of approach and the selected constant $C$ are left open by the paper.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the axisymmetric Poiseuille reduction (1.9) of the hyperbolic Ericksen-Leslie system, with initial and boundary data (1.10). It first constructs global finite-energy weak solutions through a Ginzburg-Landau approximation and a fixed-point iteration (Theorem 1.2). It then claims a partial regularity criterion (Theorem 1.3): if the local energy is small near a potential singularity, the solution extends continuously over that time. It also claims a blow-up profile theorem (Theorem 1.5): at the first possible blow-up time, suitable rescalings converge to a nonconstant time-independent axisymmetric harmonic map. Theorem 1.6 excludes C^0 blow-up when the initial energy is below 4 and an extra boundary condition φ(∞,t)=0 is imposed.
Significance. If valid, the paper would extend the Struwe/Shatah-Tahvildar-Zadeh regularity and blow-up theory for equivariant wave maps to a coupled hyperbolic Ericksen-Leslie system, and would give global weak solutions for data that may develop singularities. The Ginzburg-Landau approximation and fixed-point construction in Section 2 are a substantial strength: they are presented in detail with explicit energy identities and a limit passage. The claimed partial regularity and blow-up structure, however, rest on estimates that are not justified in the manuscript; the gap in Lemma 4.5 is load-bearing for Theorems 1.3 and 1.5, and the proof of Lemma 3.6 is incomplete. The global-existence part appears more solid and does not depend on the disputed lemmas.
major comments (4)
- [Section 4, Lemma 4.5, Eqs. (4.15)-(4.17)] The scaling argument that proves the uniform bound (4.10) is not valid as written. After the change of variables (4.11), the integral in (4.15) becomes ∫_{T_i-λ_i^2 N}^{T_i}∫_{r_i-λ_i M}^{r_i+λ_i M} |h_T(R,T)|^2 (R-r_i) dR dT. The weight R-r_i changes sign on this interval, and for R<r_i it is not controlled by the available energy ∫|h_T|^2 R dR; indeed the uncontrolled quantity can be of order 1/r_i times the energy near the origin. The same defect occurs in (4.16). In (4.17), the printed right-hand side is not the correct change of variables either: the left-hand side equals ∫ |h_R|^2 (R-r_i) dR, which is not a positive energy for negative rescaled r. Consequently, the conclusion that the rescaled limit h_∞ is time-independent, the weak compactness on expanding domains containing negative r, and the contradiction leading to (h_∞)_r(0,0)=1 are unsupported. Since Theorem 1.3 is proved directly from Lemma 4.5 and Theorem 1.5 depends on Theorem 1.3, this is a load-bearing gap.
- [Section 3, Lemma 3.6] The proof does not establish the flux decay (3.8). The argument obtains only the uniform upper bound Flux(T,T-τ) ≤ E0 + CT; a uniform bound on a nonnegative quantity does not imply that its limit as τ→0+ is zero. The final displayed integral in the proof, involving χ and the expression F(χ)/ℓ^2, is not defined or derived from the preceding estimates. Because Lemmas 3.8, 3.9, and 4.4 all use (3.8), a genuine proof of the decay is required.
- [Section 4, Lemma 4.5, compactness step] The assertion that Lemma 3.2 and scale invariance yield a weak limit h_∞ is not justified. The physical energy ∫(|h_r|^2 + h^2/r^2) r dr rescales to ∫(|(h_{λ_i})_r|^2 + h_{λ_i}^2/(r_i/λ_i+r)^2)(r_i/λ_i+r) dr, which is not uniformly controlled on compact subsets when r_i/λ_i→∞. In addition, the Arzelà-Ascoli step requires a uniform bound on h_{λ_i} on the expanding domains, and such a bound is not established. These issues affect the case analysis (4.18)-(4.21) and the derivation of the limiting equations for h_∞.
- [Section 5, proof of Theorem 1.5, Eq. (5.18)] The proof that φ_i converges strongly to φ_∞ in H^1_loc is circular: the estimate for the first term on the right-hand side of (5.18) uses 'strong convergence of φ_i→φ∞ in L2' before that convergence has been established. A compactness argument from the available weighted H^1 bounds should be supplied. Without it, the conclusion that the blow-up limit is a nontrivial harmonic map is not fully proved. This is likely repairable, but as written the argument is incomplete.
minor comments (5)
- [Proposition 2.2] The statement of the proposition appears to reverse the two systems: the text says 'Assume (v,d) is a weak solution of (1.9)... Then (v,φ) is a weak solution of (2.1)', whereas the proof assumes a solution of (2.1) and concludes one of (1.9).
- [Lemma 3.6] The sentence 'Combining the estimates (3.5) and (3.5)' presumably refers to two different estimates, and the integral involving χ is left undefined.
- [Theorem 1.6] The theorem assumes an additional boundary condition φ(∞,t)=0 that is not part of the initial-boundary data (1.10); this extra hypothesis should be stated clearly in the theorem and its necessity discussed.
- [Lemma 4.3] The lemma is delegated to 'the arguments of Lemma 3.1 in Struwe's paper [21]' without detailing how the coupling terms h_t and φ_t in (1.16) are handled; please provide the adaptation or a precise reference.
- [Notation in Section 5] In the proof of Theorem 1.5, the quantity r_i is used before its definition is fully explained, and the identity R_i r_i = T_0 - (t_i + R_i) should be stated explicitly.
Circularity Check
No significant circularity: the global existence proof is self-contained via the Ginzburg-Landau approximation, and the regularity and blowup theorems are derived from the reduced system rather than defined into existence. The self-citations to the authors' prior work are technical energy lemmas with independent content.
full rationale
The derivation chain is not circular in any definitional sense. Theorem 1.2 is proved directly: Proposition 2.5 solves the epsilon-Ginzburg-Landau system by a fixed-point argument with explicit estimates, and the passage epsilon to 0 is carried out from the uniform energy equality (2.19) with compactness arguments; no target conclusion is assumed as an input. The change of variables h(r,t)=r^{-1} integral_0^r v(R,t)R dR is invertible and is used only to rewrite (1.9) as (1.16); it is not a renaming of the desired result. The partial-regularity and blowup theorems are obtained by contradiction rescaling and by passing to a limiting equation (5.17), whose nonconstant harmonic-map profiles are then solved explicitly; the limiting profile is not imposed by an ansatz from the authors' earlier papers. The paper does rely on the authors' own prior work [2,3] for the derivation of the reduced model and for the energy estimates recorded in Lemma 3.1 and Lemma 3.3; these are parameter-free mathematical statements with stated assumptions that do not include the target theorems, and they are not re-statements of Theorems 1.2-1.6. A referee should separately weigh two technical gaps: Lemma 3.6 passes from a uniform bound on Flux to the asserted limit (3.8) without an absolute-continuity or vanishing-atom argument, and Lemma 4.5 uses signed radial weights in (4.15) and (4.17) in the blow-up rescaling, so the asserted convergence to a time-independent limit is not fully justified by the displayed energy estimates. These are correctness risks in the proof chain, not circular reductions, because the contested conclusions are not assumed in the hypotheses. The overall circularity score is therefore low: the central claims retain independent analytic content.
Assumptions & free parameters
free parameters (1)
- Special Leslie coefficient set (1.8) =
mu1=mu5=mu6=0, mu2=-1, mu3=1, mu4=1, lambda1=2, lambda2=0
assumptions (4)
- domain assumption Axisymmetric Poiseuille ansatz (1.6)-(1.7): u=(0,0,v(r,t))^T and d=(sin phi cos theta, sin phi sin theta, cos phi)^T
- domain assumption Local well-posedness of smooth solutions from Jiang-Luo [14, Theorem 1.1]
- domain assumption Energy inequality Lemma 3.1, quoted from the authors' preceding paper [3]
- ad hoc to paper Additional boundary condition phi(infinity,t)=0 in Theorem 1.6
Cite this review
Pith. "Pith review of Poiseuille flow of hyperbolic Ericksen-Leslie system in dimension two." pith.science (2026). https://pith.science/paper/DA53TFU4
@misc{pith2026250601223,
author = {Pith},
title = {Pith review of: Poiseuille flow of hyperbolic Ericksen-Leslie system in dimension two},
year = {2026},
howpublished = {\url{https://pith.science/paper/DA53TFU4}},
note = {Machine review of arXiv:2506.01223}
}
read the original abstract
In this paper, we study the Poiseuille laminar flow in a tube for the full Ericksen-Leslie system. It is a parabolic-hyperbolic coupled system which may develop singularity in finite time. We will prove the global existence of energy weak solution, and the partial regularity of solution to system. We first construct global weak finite energy solutions by the Ginzburg- Landau approximation and the fixed-point arguments. Then we obtain the enhanced regularity of solution. Different from the solution in one space dimension, the finite energy solution of Poiseuille laminar flow in a tube may still form a discontinuity at the origin. We show that at the first possible blowup time, there are blowup sequences which converge to a non-constant time-independent (axisymmetric) harmonic map.
Reference graph
Works this paper leans on
-
[1]
Y. Cai, W. Wang, Global well-posedness for the three dime nsional simplified inertial Ericksen- Leslie systems near equilibrium. Journal of Functional Analysis , 279, no 2, (2020) 108521
work page 2020
-
[2]
G. Chen, T. Huang, and W. S. Liu. Poiseuille flow of nematic liquid crystals via the full Ericksen-Leslie model. Archive for Rational Mechanics and Analysis , 236 (2020) 839–891
work page 2020
-
[3]
G. Chen, T. Huang and X. Xu, Singularity formation for ful l Ericksen-Leslie system of nematic liquid crystal flows in dimension two. SIAM J. Math. Anal. , 56 (2024), no 3, :3968–4005
work page 2024
-
[4]
G. Chen, W. Liu and M. Sofiani, The Poiseuille flow of the ful l Ericksen-Leslie model for nematic liquid crystals: The general Case. Journal of Differential Equations 376 (2023) 538– 573
work page 2023
- [5]
- [6]
-
[7]
J. L. Ericksen, Hydrostatic theory of liquid crystals. Arch. Ration. Mech. Anal. 9 (1962), 371–378
work page 1962
-
[8]
J. X. Huang, N. Jiang, Y. L. Luo, and L. F. Zhao. Small data g lobal regularity for the 3-D Ericksen–Leslie hyperbolic liquid crystal model without k inematic transport. SIAM Journal on Mathematical Analysis , 53 (2021), no 1, 530–573
work page 2021
Show all 23 references
-
[9]
Jendrej and A
J. Jendrej and A. Lawrie, Two-bubble dynamics for thresh old solutions to the wave maps equation. Invent. Math. 213, (2018), no 3, 1249–1325
2018
-
[10]
Krieger, W
J. Krieger, W. Schlag and D. Tataru, Renormalization an d blow up for charge one equivariant critical wave maps, invent. Math. 171 (2008), no. 3, 543–615
2008
-
[11]
F. M. Leslie, Some thermal effects in cholesteric liquid c rystals. Proc. Roy. Soc. A. 307 (1968), 359-372
1968
-
[12]
F. M. Leslie, Theory of Flow Phenomena in Liquid Crystal s. Advances in Liquid Crystals , Vol. 4, 1-81. Academic Press, New York, 1979
1979
-
[13]
F. H. Lin, Nonlinear theory of defects in nematic liquid crystals; phase transition and phe- nomena. Comm. Pure Appl. Math. 42 (1989), 789–814
1989
-
[14]
Jiang and Y
N. Jiang and Y. L Luo. On well-posedness of Ericksen-Les lie’s hyperbolic incompressible liquid crystal model. SIAM Journal on Mathematical Analysis , 51 (2019), no 1, 403–434
2019
-
[15]
Rapha¨ el and I
P. Rapha¨ el and I. Rodnianski, Stable blow up dynamics f or the critical co-rotational wave maps and equivariant Yang-Mills problems. Publ. Math. Inst. Hautes ´Etudes Sci. 115 (2012), 1–122
2012
-
[16]
Rodnianski and J
I. Rodnianski and J. Sterbenz, On the formation of singu larities in the critical O(3) σ-model. Ann. of Math. 172 (2010), 187–242. 34
2010
-
[17]
Sacks and K
J. Sacks and K. Uhlenbeck The existence of minimal immer sions of 2-spheres. Ann. of Math. (2) 113 (1981), no. 1, 1–24
1981
-
[18]
Shatah, Weak solutions and development of singulari ties of the SU(2) σ-model
J. Shatah, Weak solutions and development of singulari ties of the SU(2) σ-model. Comm. Pure Appl. Math. 41 (1988), no. 4, 459–469
1988
-
[19]
Shatah and A
J. Shatah and A. Tahvildar-Zadeh, Regularity of harmon ic maps from the Minkowski space into rotationally symmetric manifolds. Comm. Pure Appl. Math. 45 (1992), no. 8, 947–971
1992
-
[20]
Shatah and M
J. Shatah and M. Struwe, Geometric wave equations . Courant Lecture Notes in Mathematics,
-
[21]
New York University, Courant Institute of Mathematical S ciences, New York, 1998
1998
-
[22]
Struwe, Equivariant wave maps in two space dimension s
M. Struwe, Equivariant wave maps in two space dimension s. Comm. Pure Appl. Math. , 56 (2003), 815-823
2003
-
[23]
Wang, Global solution of 2D hyperbolic liquid crysta l system for small initial data
X. Wang, Global solution of 2D hyperbolic liquid crysta l system for small initial data. arXiv:2403.18385. 35
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.