{"id":"f3f01016-cc84-4b31-8637-a27ee19fc20f","arxiv_id":"1908.08182","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For nonlinear singular first-order PDEs t du/dt = F(t,x,u,du/dx) with Re lambda(0,0) < 0, the double-limit condition (2.3) forces any local solution to coincide with the distinguished solution u0, yielding uniqueness and analytic continuation criteria.","lead":"This paper proves that solutions of a class of singular nonlinear partial differential equations are unique if they grow slowly enough near the singular time. The result weakens earlier hypotheses and gives new criteria for continuing local holomorphic solutions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's ACCEPT verdict is well supported. The main theorems reduce uniqueness to a linear transport argument along characteristics, and the double-limit condition (2.3)/(3.5)/(4.6) supplies exactly the smallness needed for the coefficients. I checked the key steps: the reduction of w = u - u0 to a linear equation, the Cauchy estimates converting o(R^2) control of w into o(R) control of q = w_x, the characteristic estimates in Lemma 2.7, and the continuation argument in Corollary 2.9. The sign conditions on c are genuinely needed for the characteristic estimates; they are explicit hypotheses, not hidden assumptions. Case 2's proof is advertised as a sketch, and the characteristic ODE there contains an extra x c(t,x) term compared with Case 1, so the 'same argument' is not literally identical. However, a direct energy estimate using Re c ≤ 0 controls |x(t1)| uniformly without Gronwall blow-up, so the sketch is fillable. Case 3's Lemma 4.6 has a minor typo, but the intended estimate follows by applying the argument on a doubled sector. The paper's own admissions about the lack of examples for (4.6) and unclear higher-order generalization are honest scope limitations, not threats to the stated theorems. I therefore find no load-bearing concern that would change the verdict.","tokens_in":18472,"tokens_out":37188,"duration_ms":349994,"concrete_test":"Independently fill in the omitted proof of Theorem 3.2: derive a uniform bound for |x(t1)| along t dx/dt = -(b(t,x) + x c(t,x)) using Re c ≤ 0, and verify the analog of Lemma 2.8 holds with constants independent of t1 as t1 → 0; if this requires any unstated smallness condition beyond B0ϕ(σ) + ... < R/2, the proof of Theorem 3.2 would be incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The central claim is supported by a detailed characteristic proof in Case 1; Cases 2 and 3 are sketched, but the omitted estimates are standard and fillable using exactly the stated sign conditions (Re c ≤ 0 in (3.4), c(0,0) < 0 in (4.5)). Lemma 4.6 contains a harmless algebraic typo in the final displayed inequality (the preceding bound already yields the required o(η^(m-1)) estimate, and using 2η in place of η covers the full sector). The paper explicitly flags its own limitations: the higher-order generalization is unclear, and Remark 4.4(3) states that no examples are known to show condition (4.6) is natural; these are limitations of scope, not correctness defects. The counterexamples in Remarks 2.4, 3.4 and 4.4 confirm the sharpness of Re λ(0,0) < 0 and the R^2 scaling in the double-limit condition.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies uniqueness for nonlinear singular first-order PDEs of the form t u_t = F(t,x,u,u_x) with t ∈ R and x ∈ C, under a very weak double-limit growth condition (2.3). The author splits the analysis into three cases according to the structure of ∂F/∂v at (0,0): Case 1 (Briot–Bouquet type), Case 2 (regular singularity in x), and Case 3 (irregular singularity). In each case, under the sign condition Re λ(0,0) < 0 (plus Re c ≤ 0 in Case 2 and c(0,0) < 0 in Case 3), the only solution is the distinguished solution u0 from the corresponding existence theorem. The proofs use a characteristic method: after subtracting u0, the difference w satisfies a first-order linear equation along characteristics; estimates on the characteristic flow show that w(τ) decays like (t1/τ)^a, and the limit t1→0 yields w = 0. Applications to analytic continuation of local holomorphic solutions are given in Sections 2.3 and 3.3.","tokens_in":18557,"tokens_out":16697,"duration_ms":141182,"significance":"If the results hold, they are a significant contribution: condition (2.3) is far weaker than the previously known O(μ(t)^ε) decay conditions, and the counterexamples in Remarks 2.4, 3.4, and 4.4 show the sharpness of the sign of Re λ(0,0) and of the R^2 scaling. The characteristic estimates in Case 1 (Proposition 2.5) and Case 3 (Proposition 4.5) are written out in considerable detail, and the use of Nagumo's lemma in sectorial domains is appropriate. The paper is self-contained modulo three prior existence theorems from [1], [2], and [11], used as black boxes; this is acceptable because the uniqueness question concerns a single solution already known to exist. The main weakness is that the proof of Theorem 3.2 in Case 2 is presented only as a sketch; the missing estimate is, however, standard and easily supplied.","major_comments":[],"minor_comments":[{"comment":"The proof of Theorem 3.2 is only sketched. In the analogue of Lemma 2.8 one must additionally use Re c ≤ 0 to obtain d|x|/dt ≥ −|b(t,x)|/t along the characteristic (3.8), which gives the same bound on |x(t1)| as in Case 1; please add this one-line argument so that the reader is not left to infer it.","section":"§3.2, proof of Theorem 3.2"},{"comment":"In the final displayed inequality of the proof of Lemma 4.6, the right-hand side should be (2^m ε/θ) (η/2)^{m−1} rather than the printed expression. In addition, the estimate is proved on S((η/2)θ, (η/2)R); to cover the full sector S(ηθ, ηR) one should apply the result with η replaced by 2η. Both points are harmless for the conclusion, but should be corrected for clarity.","section":"§4.2, Lemma 4.6"},{"comment":"In the proof of Lemma 2.6, the passage from (2.10) to (2.11) via Cauchy's integral formula implicitly uses the supremum of w on a slightly larger disk than D_R (for instance D_{2R}); this should be stated explicitly.","section":"§2.2, Lemma 2.6"},{"comment":"There are a few typographical slips: 'Theroem 2.1' in the proof of Theorem 2.2 should be 'Theorem 2.1', and in Remark 4.4(1) the symbol x2 should be understood as x^2. These do not affect the mathematics.","section":"Throughout"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript relies on the author's own existence theorems [1], [2], and [11] as black boxes; this is acceptable for correctness, but it would strengthen the paper if the precise function-space hypotheses imported from those theorems were restated with the needed regularity. I found no circularity or unsupported claim beyond the minor presentation issues listed in the report."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a competent and honest uniqueness paper in a narrow area. The new thing is the double-limit growth condition (2.3)/(3.5)/(4.6), which is genuinely weaker than the earlier O(µ(t)^epsilon) or O(|t|^epsilon) hypotheses, and the sectorial Case 3 theorem, which I don't think exists before. The counterexamples in Remarks 2.4, 3.4, and 4.4 show the sign condition on Re lambda(0,0) is sharp, and the x^2/4 example is a nice calibration for the R^2 scaling.\n\nThe proof method is a characteristic-based argument, and for Cases 1 and 3 it is written out in enough detail that I could follow the estimates. The sign conditions Re c <= 0 in Case 2 and c(0,0) < 0 in Case 3 do real work; without them the proof would not close, and the paper says so itself. The cited existence theorems are used as black boxes to get the reference solution u0; that is fine, since uniqueness is not assumed in the proof. Self-citation is heavy but mostly to prior published results by the group, so I don't see circularity.\n\nSoft spots are real but minor in aggregate. Case 2's proof is explicitly a sketch: the analogue of Lemma 2.6 is asserted, not proved. I believe it fills in, because the added c term has negative real part and the x(dc/dx) term is controlled by taking R small, but the reader has to do the work. Lemma 4.6 has a harmless algebraic slip: the final displayed bound is not what the preceding line gives, but the preceding line already yields the needed o(eta^{m-1}) estimate, so the theorem is unaffected. More important, Remark 4.4(3) admits that condition (4.6) is not known to be natural: no example shows the scaling is right in the sectorial case. That does not break the theorem, but it means the main result of Section 4 is less motivated than Sections 2 and 3. Generalization to higher order is also explicitly left open.\n\nWho it is for: researchers working on singular first-order PDEs, Briot-Bouquet equations, and totally characteristic or irregular singular equations. It is not a broad-audience paper. It deserves a serious referee; I would send it out. If I refereed, I would ask the author to expand the Case 2 proof, fix Lemma 4.6, and say a bit more about whether (4.6) has supporting examples. None of this is fatal. The central claim holds up.","headline":"A technically sound, honest uniqueness paper for a narrow class of singular first-order PDEs; the double-limit condition is a real weakening and the sectorial case is new, but Case 2 is sketched and the sectorial condition lacks motivating examples.","tokens_in":19198,"tokens_out":2539,"would_cite":false,"duration_ms":24871,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35A02","35F20","35B60"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that a weak double-limit growth condition—after time tends to zero, the solution size on a disk divided by $R^2$ tends to zero as the disk shrinks—forces any solution of the singular first-order equation to coincide with…","keywords":["uniqueness of solutions","nonlinear singular partial differential equations","first-order PDE","Briot-Bouquet equations","totally characteristic equations","irregular singularity","characteristic method","double-limit growth condition"],"falsifier":"Compute the double limit for the explicit equation $t u_t=-u+(u_x)^2$: the nontrivial solution $u=x^2/4$ has limit $1/4$, not $0$, so condition (2.3) excludes it and the theorem predicts that any solution of this equation satisfying (2.3) must be $u\\equiv0$. A direct way to break the theorem would be to find any equation with $\\operatorname{Re}\\lambda(0,0)<0$ carrying a nonzero solution that satisfies (2.3) or (4.6); in the irregular case the paper reports no example showing whether condition (4.6) is sharp.","tokens_in":18144,"feed_emoji":"📐","tokens_out":15502,"duration_ms":131628,"temperature":0.7,"pith_summary":"This paper proves a uniqueness theorem for nonlinear singular first-order partial differential equations of the form $t\\,\\partial u/\\partial t=F(t,x,u,\\partial u/\\partial x)$, where $F$ is continuous in $t$ and holomorphic in the other variables. The result is that a very weak two-step smallness condition selects exactly one solution: after measuring the size of a solution on the time strip $(0,\\sigma)\\times D_R$, letting $\\sigma\\to 0$, and then letting the disk radius $R\\to 0$, the quotient $\\frac{1}{R^2}\\sup_{(0,\\sigma)\\times D_R}|u|$ must tend to zero. Under the sign assumption $\\operatorname{Re}\\lambda(0,0)<0$ for $\\lambda=\\partial F/\\partial u$ at the origin, any solution satisfying this condition agrees with the unique distinguished solution $u_0$ produced by earlier existence theory. The same conclusion is obtained for totally characteristic equations and for irregular singular equations on sectorial domains, with extra sign conditions on the coefficient $c$. A consequence is that local holomorphic solutions of Briot–Bouquet and totally characteristic type equations that satisfy this condition extend holomorphically to a full neighborhood of the origin.","feed_headline":"A weak double-limit condition forces unique solutions of singular PDEs","feed_subtitle":"Any solution shrinking faster than R² on small time slices equals the distinguished solution, in all three singularity classes.","key_machinery":"The load-bearing object is the double-limit growth condition (2.3), and the load-bearing mechanism is integration along characteristic curves of the linearized equation. Subtracting the distinguished solution reduces the equation to a linear first-order system for $w=u-u_0$ and $q=\\partial w/\\partial x$, of the form $t w_t - b(t,x)w_x = (\\lambda(t,x)+a(t,x))w$, with a companion equation for $q$. Along the characteristic curves $t\\,dx/dt=-b(t,x)$ the coefficient $\\lambda+a$ keeps real part below $-a$, so solutions decay by the factor $(t_1/\\tau)^a$ as the curve is followed backward in time. The smallness condition, through standard estimates on holomorphic functions, bounds $w$, $q$, and the characteristic coefficients so that every characteristic starting from a small disk or sector reaches $t=0$; letting $t_1\\to0$ then kills the terminal value. In the irregular singular case an additional explicit representation $x(t_1)=\\xi/\\varphi(t_1)\\bigl(1-p\\xi^p\\int_{t_1}^{t_0} c(\\tau,x(\\tau))/\\varphi(\\tau)^p\\,d\\tau/\\tau\\bigr)^{1/p}$, together with the sign $c(0,0)<0$ and a sectorial derivative estimate, keeps the characteristics inside the sector until $t=0$.","core_discovery":"The central discovery is that uniqueness near a singular point is controlled by a double limit rather than by a single decay rate in $t$: a solution is unique if it is $o(R^2)$ on the disks $D_R$ after all sufficiently small positive times are taken into account. In Case 1 (Briot–Bouquet type), Theorem 2.2 states that with $\\operatorname{Re}\\lambda(0,0)<0$, every $C^1$ solution holomorphic in $x$ that satisfies (2.3) is equal to $u_0$ on $(0,T_1)\\times D_{R_1}$. Theorems 3.2 and 4.2 extend the same statement to totally characteristic equations and to irregular singular equations on sectors $S(\\theta,R)$, using the sectorial analogue (4.6). The proof works by subtracting $u_0$, writing the difference as a linear transport equation, and integrating along characteristic curves that reach $t=0$; the weak smallness condition supplies the estimates that keep the characteristics inside the domain. Theorems 2.10 and 3.5 apply this uniqueness to show that local holomorphic solutions satisfying the condition can be continued analytically to the origin.","pith_inferences":["The $o(R^2)$ threshold looks sharp: since the explicit solution $u=x^2/4$ sits exactly at limit $1/4$, the theorem suggests that quadratic-in-$x$ growth is what permits non-uniqueness and that the condition cannot be relaxed to $O(R^2)$ without adding hypotheses.","The same characteristic-decay proof may extend to higher-order equations by differentiating enough times to close the system, but the paper explicitly leaves that extension open.","Read as a removable-singularity principle, the theorem predicts that for this class a solution which is sufficiently small on every $R$-disk near $t=0$ has no genuine singularity at the origin; only solutions with at least quadratic growth in $x$ can escape uniqueness.","A natural test in the irregular case is to search for nontrivial solutions satisfying (4.6) for equations like $t u_t=-u-x^2u_x+t(xu_x)^2$; the paper reports no example showing whether that condition is sharp."],"forward_implications":["With $\\operatorname{Re}\\lambda(0,0)<0$, any solution that is uniformly small as $t\\to0$ on a fixed disk is unique: Corollaries 2.3, 3.3, and 4.3.","Local holomorphic solutions of Briot–Bouquet type equations satisfying the double-limit condition extend holomorphically to a neighborhood of the origin (Theorem 2.10); the same holds for totally characteristic equations (Theorem 3.5).","The new uniqueness condition is weaker than earlier rates such as $u=O(\\mu(t)^\\varepsilon)$, so the theorem applies to solutions whose decay in $t$ is slower than any fixed power as long as their size on shrinking $x$-disks is $o(R^2)$.","In the irregular singular case, uniqueness holds on sectorial domains with arbitrarily small aperture for solutions satisfying the sectorial condition (4.6), not only for solutions that vanish uniformly as $t\\to0$."],"supporting_citations":[{"why":"Supplies the existence-uniqueness theorem for Case 1 from which the distinguished solution $u_0$ is taken.","marker":"[11]"},{"why":"Supplies the analogous solvability theorem for Case 2 (totally characteristic equations), producing the distinguished solution in Theorem 3.1.","marker":"[1]"},{"why":"Supplies the solvability theorem for Case 3 (irregular singular equations) and the sectorial derivative estimate used in the proof.","marker":"[2]"},{"why":"Supplies the standard ODE continuation theorem that lets characteristics be extended to $t=0$ once they stay inside a compact subset of the domain.","marker":"[7]"},{"why":"Establishes the unique holomorphic solution for Briot–Bouquet type equations that Theorem 2.10 then continues analytically.","marker":"[8]"},{"why":"Gives the earlier Case 1 uniqueness result under the stronger assumption $u=O(\\mu(t)^\\varepsilon)$, which the new condition replaces.","marker":"[13]"},{"why":"Gives the earlier Case 2 uniqueness result under a stronger rate assumption, the predecessor of Theorem 3.2.","marker":"[14]"}],"fun_headline_variants":["Double-limit condition yields unique singular PDE solutions","Weak double limit forces uniqueness in singular nonlinear PDEs","A weak double-limit condition singles out unique singular PDE solutions","Uniqueness for singular PDEs from a mere double limit","Double limit condition yields unique singular nonlinear PDE solutions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof stands on sign conditions: $\\operatorname{Re}\\lambda(0,0)<0$ must keep the decay coefficient negative along characteristics, and in Cases 2 and 3 the coefficient $c$ in $\\partial F/\\partial v=b(t)+x^{p+1}c(t,x)$ must keep non-positive real part (or $c(0,0)<0$), so that characteristics remain in the domain until $t=0$; without these signs the uniqueness conclusion is false in general.","fun_headline_variants_meta":{"raw":{"variants":["Double-limit condition yields unique singular PDE solutions","Weak double limit forces uniqueness in singular nonlinear PDEs","A weak double-limit condition singles out unique singular PDE solutions","Uniqueness for singular PDEs from a mere double limit","Double limit condition yields unique singular nonlinear PDE solutions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00137,"raw_usage":{"total_tokens":5523,"prompt_tokens":883,"completion_tokens":4640,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":499,"completion_tokens_details":{"reasoning_tokens":4562}},"tokens_in":499,"tokens_out":4640,"duration_ms":28351,"temperature":1.0,"reasoning_tokens":4562,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:48:21.663323+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the double limit for the explicit equation $t u_t=-u+(u_x)^2$: the nontrivial solution $u=x^2/4$ has limit $1/4$, not $0$, so condition (2.3) excludes it and the theorem predicts that any solution of this equation satisfying (2.3) must be $u\\equiv0$. A direct way to break the theorem would be to find any equation with $\\operatorname{Re}\\lambda(0,0)<0$ carrying a nonzero solution that satisfies (2.3) or (4.6); in the irregular case the paper reports no example showing whether condition (4.6) is sharp.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the existence-uniqueness theorem for Case 1 from which the distinguished solution $u_0$ is taken."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the analogous solvability theorem for Case 2 (totally characteristic equations), producing the distinguished solution in Theorem 3.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the solvability theorem for Case 3 (irregular singular equations) and the sectorial derivative estimate used in the proof."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the standard ODE continuation theorem that lets characteristics be extended to $t=0$ once they stay inside a compact subset of the domain."},{"cited_title":"G´ erard, H","cited_arxiv_id":null,"evidence_quote":"Establishes the unique holomorphic solution for Briot–Bouquet type equations that Theorem 2.10 then continues analytically."},{"cited_title":"Tahara, Uniqueness of the solution of non-linear sin gular partial differential equations, J","cited_arxiv_id":null,"evidence_quote":"Gives the earlier Case 1 uniqueness result under the stronger assumption $u=O(\\mu(t)^\\varepsilon)$, which the new condition replaces."},{"cited_title":"Tahara, Uniqueness of the solution of nonlinear tota lly characteristic partial differential equations, J","cited_arxiv_id":null,"evidence_quote":"Gives the earlier Case 2 uniqueness result under a stronger rate assumption, the predecessor of Theorem 3.2."}],"review_version":1}