Pith. sign in

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 →

arxiv 2506.01223 v1 pith:DA53TFU4 submitted 2025-06-02 math.AP

classification math.AP MSC 35Q3576A1535L7035D3035B44
keywords Ericksen-LesliesystemliquidcrystalsPoiseuilleflowweaksolutionspartialregularityblowupprofileharmonicmapsaxisymmetric
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

The paper studies axisymmetric Poiseuille flow of the hyperbolic Ericksen-Leslie system for nematic liquid crystals, in which the molecular director satisfies a damped wave equation coupled to a parabolic velocity equation. It proves that finite-energy weak solutions exist for all time even though singularities can form, and it describes the first singularity. Global existence is built by Ginzburg-Landau approximation and a fixed-point argument; an epsilon-regularity theorem then says small local energy in a backward cone forces continuous extension. At a first blowup time, rescaled solutions converge to a nonconstant, time-independent axisymmetric harmonic map, and with initial energy below 4 no $C^0$ blowup can occur.

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.

Watch

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

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

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 5 minor

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)
  1. [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.
  2. [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.
  3. [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_∞.
  4. [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)
  1. [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).
  2. [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.
  3. [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.
  4. [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.
  5. [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

0 steps flagged · score 2.0 of 10

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 1 free parameters · 4 assumptions · 0 invented entities

The derivation is mostly self-contained after the model reduction. The main external inputs are the special coefficient choices, the axisymmetric ansatz, the local well-posedness theorem from [14], and the energy estimate from the authors' preceding paper [3]. No fitted constants or machine-checked certificates are involved.

free parameters (1)
  • Special Leslie coefficient set (1.8) = mu1=mu5=mu6=0, mu2=-1, mu3=1, mu4=1, lambda1=2, lambda2=0
    Hand-chosen coefficient restriction that reduces (1.5) to the semilinear system (1.9). All theorems are for this special case; the general Leslie coefficients are not treated.
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
    Reduces the 2D system to the radial system (1.9); all proofs operate on this ansatz.
  • domain assumption Local well-posedness of smooth solutions from Jiang-Luo [14, Theorem 1.1]
    Invoked in Remark 1.4(1) so that the partial-regularity argument can start from classical local solutions.
  • domain assumption Energy inequality Lemma 3.1, quoted from the authors' preceding paper [3]
    Used as an input for the v,phi energy; not re-derived in this paper.
  • ad hoc to paper Additional boundary condition phi(infinity,t)=0 in Theorem 1.6
    Added in Theorem 1.6 to force the harmonic-map profile 2 arctan(r/C) to exceed pi/2 and contradict the no-blowup bound.

how reviews work

0 comments
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.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [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

  2. [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

  3. [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

  4. [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

  5. [5]

    Cˆ ote, C

    R. Cˆ ote, C. E. Kenig, F. Merle, Scattering below critica l energy for the radial 4D Yang-Mills equation and for the 2D corotational wave map system, Comm. Math. Phys. 284 (2008), no 1, 203–225

  6. [6]

    Cˆ ote, C

    R. Cˆ ote, C. E. Kenig, A. Lawrie and W. Schlag, Characteri zation of large energy solutions of the equivariant wave map problem: I. Amer. J. Math. 137 (2015), no 1, 139–207

  7. [7]

    J. L. Ericksen, Hydrostatic theory of liquid crystals. Arch. Ration. Mech. Anal. 9 (1962), 371–378

  8. [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

Show all 23 references
  1. [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

  2. [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

  3. [11]

    F. M. Leslie, Some thermal effects in cholesteric liquid c rystals. Proc. Roy. Soc. A. 307 (1968), 359-372

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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

  10. [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

  11. [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

  12. [20]

    Shatah and M

    J. Shatah and M. Struwe, Geometric wave equations . Courant Lecture Notes in Mathematics,

  13. [21]

    New York University, Courant Institute of Mathematical S ciences, New York, 1998

  14. [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

  15. [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

Pith tools

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