{"id":"9a70e71a-0fca-4dfe-bc5f-ed212935497b","arxiv_id":"2601.06854","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new semilinear ODE-PDE single-track vehicle model with distributed bristle friction (FrBD) is derived, proved well-posed, linearised, and simulated to show micro-shimmy.","lead":"Tyres are modelled as a distributed patch of elastic bristles with friction, coupled to a simple two-wheel car model through a system of partial and ordinary differential equations. The paper proves such models are mathematically well-posed and uses them to simulate low-speed wheel wobble, but it does not validate them against experiments.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"FrBD physical foundation is the load-bearing unverified premise; the mathematical well-posedness argument itself appears internally sound.","rationale":"The reader's verdict is CONDITIONAL, with the weakest assumption being the physical validity of the FrBD model. My stress test did not uncover an internal mathematical flaw in Theorems 3.1–3.3: the abstract state-space form covers the presented rigid- and flexible-carcass models, the operator estimates in the appendix are plausible, and the global-existence hypotheses are reasonably satisfied for the main FrBD cases. The load-bearing concern is therefore not in the semigroup argument but in the unverified foundation: the entire model family inherits the fidelity of the distributed FrBD PDE and force integral, which rest on an unpublished manuscript [67]. The paper's own admission that the partial-derivative form 'does not have a clear physical meaning' (Sect. 2.1.2) highlights that the choice of total derivative is physically consequential yet not independently justified here. A concrete derivation from first principles or a direct experimental comparison would settle whether the FrBD model is a faithful first-order bristle approximation. Since this gap is external to the internal mathematics, the reader's CONDITIONAL verdict remains appropriate; no change is needed.","tokens_in":33416,"tokens_out":30972,"duration_ms":300519,"concrete_test":"Independently derive Eq. (1) from the bristle-element rheology in Rill et al. [68,69] (or from a first-principles force balance of a distributed bristle), and check whether the resulting PDE and force integral match Eqs. (1)–(7) with the Lagrangian total derivative dz/dt rather than the partial derivative. Specifically, verify whether the micro-damping contribution is σ1·dz/dt or σ1·∂z/∂t, and whether the leading-edge boundary condition z(0,t)=0 is the only boundary condition. If the derivation yields a different convective term, an additional boundary condition, or a different damping term, the FrBD foundation used in Theorems 3.1–3.3 is not the physically grounded model claimed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The semigroup proofs in Appendix A appear internally consistent: the abstract representation (32) matches both the rigid- and flexible-carcass variants, Propositions A.1–A.2 establish closedness and quasi-dissipativity, and Theorem 3.3's Lyapunov argument is a standard route to global existence under H1/H2. I find no algebraic or logical error in the derivation of Theorems 3.1–3.3 for the stated abstract system. However, the central claim that these theorems apply to a physically meaningful vehicle model depends entirely on the distributed FrBD model of Eqs. (1)–(7) being a faithful first-order approximation of bristle friction. That premise is not established in this manuscript: it is cited to the authors' unpublished work [67], and the paper itself notes in Sect. 2.1.2 that the alternative partial-derivative force form 'does not have a clear physical meaning' while the chosen total-derivative form is merely asserted to be the real deformation velocity. The well-posedness theorems are conditional on this unverified physical foundation; if the FrBD PDE does not correctly describe rolling-contact bristle dynamics, the mathematical results, while correct for the abstract ODE-PDE system, do not secure the intended vehicle-modelling claim. This is the single most load-bearing soft spot, and the reader's weakest assumption identifies it accurately.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a family of semilinear single-track vehicle models in which tyre friction is represented by the distributed FrBD PDE model, with two variants (rigid and flexible tyre carcass) cast into a unified abstract ODE–PDE form (32). The main theoretical claims are local/global well-posedness (Theorems 3.1–3.3), a linearisation procedure around equilibria, a spectral stability criterion via the characteristic function D(λ), and an explicit transfer function (Lemma 4.1). Numerical simulations illustrate micro-shimmy oscillations and transient steering responses. The appendices contain the semigroup and Lyapunov arguments supporting the well-posedness theorems, which appear internally coherent for the abstract system as stated.","tokens_in":33715,"tokens_out":8987,"duration_ms":91298,"significance":"If the results hold as claimed, the paper makes a useful contribution to vehicle-dynamics modelling: it provides a mathematically rigorous setting for distributed transient tyre models, extends the classical Dahl/LuGre framework, and produces control-oriented linearisations and transfer functions. The explicit resolvent computation and the detailed semigroup proofs in Appendix A are valuable, and the simulation of micro-shimmy is a concrete, falsifiable demonstration of the model's qualitative behaviour. However, the significance is partly conditional: the physical basis of FrBD is cited to an unpublished manuscript, and one of the two model variants appears to be misrepresented in the abstract state-space form. These issues need to be resolved before the claims can be accepted as stated.","major_comments":[{"comment":"The flexible-carcass representation does not match the PDE (21). With K2 = K3 = 0, the nonlocal term +σ0,i |vi|/μi ψi ∫ p̄i zi dξ from Eq. (21) is absent from (32b): the operator K4 defined by (34d) only contains ∫ K5 ζ dξ + K6 ζ(1), while the matrix K4(ξ) = −diag(ψi p̄i) is the kernel that would be needed inside K3, not K4. Since Σ in (37) is negative, the term appears only if K3 ≠ 0 with this kernel. Proposition 3.1's calculation in Eq. (42) implicitly assumes such a K3. As written, the flexible-carcass model is not equivalent to Eq. (21), and the well-posedness theorems do not apply to the intended flexible-carcass system. This needs a systematic correction and re-verification.","section":"Section 3.2.2, Eqs. (37) and (34c)–(34d)"},{"comment":"The physical foundation of the entire model family is the FrBD PDE (1), the boundary condition z(0,t)=0, and the force integral (7). The paper states that FrBD is a “first-order approximation” of bristle dynamics and cites the unpublished manuscript [67] for its derivation and properties. Since [67] is not available to the reader, the physical validity of the central premise cannot be independently checked. The manuscript should either provide a self-contained derivation of (1)/(7) from a bristle model or clearly state the extent to which the present results are conditional on [67]. This is not a mathematical flaw in the abstract system, but it is load-bearing for the claim that the models are “physically grounded”.","section":"Section 2.1, Eqs. (1)–(7); ref. [67]"},{"comment":"The matrix A2 has second row [1, −l1], but from Eq. (31b) the rear relative velocity is v2 = vy − l2 r − χ3 vx δ2, so the second row should be [1, −l2]. As printed, both axles use the front axle distance, which changes the vehicle model, the stability charts in Fig. 5, and the transfer function computations. This is presumably a typographical error, but it must be corrected because the abstract representation and all subsequent results depend on A2.","section":"Section 3.2.1, Eq. (36)"},{"comment":"The first component of (A − λI)(y1, ζ1) is written with −A~1 − λI2, while the same quantity in Eq. (57) and the original definition (32a) use A~1 − λI2. The extra minus sign is inconsistent and propagates into the resolvent formula (59) if taken literally. The derivation should be corrected and checked, including the effect on Lemma 4.1. This appears to be a sign typo, but given that the transfer function and stability criterion are central outputs, it should not remain.","section":"Section 4.2.1, Eq. (50)"}],"minor_comments":[{"comment":"The stationary solution (12) is stated without derivation and the complete transient solution is “omitted for brevity”. Since the manuscript is otherwise detailed, a short derivation of (12) would improve self-containedness, especially because the paper depends on it for steady-state force expressions.","section":"Section 2.2.1, Eq. (12)"},{"comment":"In the Lyapunov function (86), the term z^T(ξ,t)P(ξ)z^T(ξ,t) should read z^T(ξ,t)P(ξ)z(ξ,t). This is a typo, but it appears in a central proof and should be corrected.","section":"Section 3.3, Theorem 3.3 proof"},{"comment":"The statement that the assumptions on Σ, h1, h2 “are always verified in practice” is too strong without qualification. For ε = 0 and χ1 = 1, the functions involve |v|_0 and may not be C^1 at v = 0 for every parameter combination; the regularized case ε > 0 is safer. A short discussion or a counterexample-free justification would be helpful.","section":"Section 4.1.2"},{"comment":"The notation K4 is overloaded: K4(ξ) denotes a matrix kernel in Eq. (37), while K4 is also the operator defined by (34d) via K5 and K6. This overloading contributes to the inconsistency described in the first major comment. Renaming the kernel matrix would improve clarity.","section":"Notation, Sect. 3.2.2"}],"recommendation":"major_revision","confidential_remarks":"The semigroup and Lyapunov arguments in Appendix A appear internally sound, and the abstract well-posedness theorems are credible. The main problems are the apparent mismatch between Eq. (21) and the flexible-carcass state-space representation, the incorrect A2 entry, and the heavy reliance on the unpublished FrBD manuscript. These are fixable within the manuscript's scope, but they are load-bearing for the model claims and must be addressed before publication. If the flexible-carcass representation is corrected and the physical foundation is clarified, the paper would likely be acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main thing to know: the well-posedness work is solid and the semilinear ODE-PDE framework is a real step forward for single-track models with distributed transient tyre friction. But the physical foundation of the FrBD model is carried by the authors' own unpublished manuscript [67], and that is the soft spot that should shape how you read this.\n\nWhat is genuinely new: the integration of distributed FrBD friction into single-track vehicle models, including a flexible-carcass variant, the compact state-space representation (32), the local and global well-posedness theorems (3.1–3.3), and the linearisation plus transfer function formula (66). I checked the proofs in Appendix A. The semigroup arguments are standard and internally consistent; the quasi-dissipativity and Lumer–Phillips route is clean, and the Lyapunov argument for global existence is a standard approach. I did not find a gap there.\n\nThe paper is also honest about modelling choices. Section 2.1.2 explicitly discusses why the total derivative form is physically meaningful and the partial derivative form is not. The equilibrium analysis is careful, and using the fact that z*=0 when v=0 to handle the non-smooth linearisation is legitimate.\n\nThe main weakness is exactly what the stress-test note flags: equations (1)–(7) are the load-bearing physical model, and they are cited to [67], which is not yet available. The paper gives some physical rationale by citing [68,69] for the bristle rheology, but that is indirect. This means the well-posedness theorems are correct for the abstract ODE-PDE system, but the vehicle-modelling claim inherits an unverified premise. It is not fatal on its own, but it needs to be checked when [67] appears.\n\nMinor issues: the stationary solution (12) is stated without derivation; the linearisation assumes differentiability of h1 and h2 at v=0 with finite limits, asserted to be 'always verified in practice' but not proven; and the simulations are qualitative, with no experimental comparison. None of these undercut the mathematics, but they limit what we can conclude about real tyre behaviour. The heavy self-citation is not unfair here, since [60] is published and the stability charts align with it.\n\nThis paper deserves a serious referee. I would send it to peer review. Ask the authors to derive (12), provide a proof or reference for the smoothness assumption, and make clear the status of [67] — ideally a published version or a linked preprint. If the FrBD model checks out, this will be a useful contribution to distributed-parameter vehicle dynamics.","headline":"Careful semilinear ODE-PDE single-track models with a clean well-posedness proof, but the physical heart of the friction model is an unpublished companion paper — referee it, and ask for the missing derivation.","tokens_in":34171,"tokens_out":2131,"would_cite":true,"duration_ms":24514,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L60","93C20","35Q70","74M10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Distributed tyre friction as a PDE gives provably well-posed single-track vehicle models","keywords":["single-track vehicle model","distributed friction","FrBD model","semilinear PDE","transient tyre dynamics","well-posedness","micro-shimmy","transfer function"],"falsifier":"On an instrumented tyre test rig, hold a tyre at a fixed slip angle, measure steady-state lateral force over a range of slip velocities, and compare with Eqs. (15) and (16) using the paper's FrBD parametrisation (χ1=1, σ1>0). If the measured force saturates without the model's linear viscous growth, or if the stationary bristle deflection predicted by Eq. (12) cannot reproduce the measured force curve, the physical foundation on which every model in the paper is built would be contradicted.","tokens_in":33285,"feed_emoji":"🚗","tokens_out":7090,"duration_ms":75280,"temperature":0.7,"pith_summary":"This paper argues that transient tyre–road friction can be represented as a spatially distributed semilinear PDE—the Friction with Bristle Dynamics (FrBD) model—rather than as a lumped ODE or a stick-slip hybrid. Coupling this PDE with the classical two-state single-track vehicle equations yields a family of ODE-PDE models whose local and, under mild structural conditions, global well-posedness the paper proves rigorously. The paper further shows that linearising around equilibria produces spectral stability criteria, explicit transfer functions, and simulations that reproduce low-speed micro-shimmy oscillations and transient cornering responses. The intended contribution is a mathematically rigorous, physically motivated, and computationally tractable basis for including transient tyre deformation in lateral vehicle dynamics.","feed_headline":"Tyre friction as a PDE gives vehicle models provably well-posed","feed_subtitle":"If the new theorems hold, these distributed models give a rigorous base for shimmy prediction and control design.","key_machinery":"The load-bearing object is the distributed FrBD PDE (Eq. 19): each axle's bristle deformation z_i(ξ,t) evolves over a unit contact domain with transport speed v_x/L_i and a semilinear source encoding velocity-dependent friction. The force integral (Eq. 25) converts z_i into axle forces, closing the loop with the chassis ODEs (Eq. 18). For well-posedness, the paper uses semigroup theory: the linear transport operator with boundary condition is proved closed and quasi-dissipative (Propositions A.1–A.2), yielding a C0-semigroup, and the semilinear term is treated as a locally Lipschitz perturbation. Global results rest on a weighted L2 Lyapunov function with weight P(ξ)=diag(¯p_1,¯p_2); the dec","core_discovery":"The paper's central claim is that the distributed FrBD model—a first-order hyperbolic PDE with semilinear damping, boundary condition z(0,t)=0, and an integral expression for the axle force—can be systematically integrated into a single-track vehicle framework. The resulting semilinear ODE-PDE interconnection admits unique local mild and classical solutions (Theorems 3.1 and 3.2) and unique global mild solutions under one of two hypotheses: a pressure-weighted dissipativity inequality (H.1) or a bounded-source condition (H.2) (Theorem 3.3). The paper identifies the FrBD micro-damping term (χ1=1) as the mechanism that makes the source bounded and hence global well-posedness attainable, while","pith_inferences":["Editorial inference: the same ODE-PDE coupling could be carried over to combined-slip or load-transfer settings, since Theorems 3.1–3.3 rely on structural properties of the semilinear source rather than the specific single-track linearisation.","Editorial inference: the paper's split between Hypothesis H.1 (pressure-weighted dissipativity) and H.2 (bounded source) suggests a practical selection rule for control design—choose a friction model whose global well-posedness hypothesis matches the information available about the contact pressure distribution.","Editorial inference: the linearised transfer function (66) plus the spectral determinant D(λ) could be used as a grey-box identification tool, fitting tyre parameters to measured frequency-response data from steering-robot tests, which the paper does not explicitly propose.","Editorial inference: the stability charts of Fig. 5 predict that micro-shimmy occurs in discrete speed 'islands'; a targeted low-speed experiment sweeping v_x between 0.3 and 1 m/s while measuring yaw-rate power spectra would provide a direct test that separates distributed-transient effects from lumped relaxation effects."],"forward_implications":["The semilinear single-track family can be used directly for simulation and model-based control or observer design without tracking stick-slip boundaries inside the contact patch.","The linearised models provide explicit transfer functions from steering input to lateral acceleration and axle forces, enabling frequency-domain controller synthesis and stability analysis across operating speeds.","The proof that the FrBD model satisfies the bounded-source hypothesis (H.2) while the Dahl model satisfies the dissipativity hypothesis (H.1) gives a principled reason to prefer FrBD-type micro-damping in distributed tyre models.","The stability charts in Fig. 5 reproduce and extend earlier micro-shimmy results, yielding quantitative predictions of unstable islands in the speed/understeer plane.","Simulations show that flexible carcass and exponentially decreasing pressure alter oscillation amplitude and settling behaviour, providing testable signatures for model selection against experiments."],"fun_headline_variants":["Distributed tyre friction PDE: local and global well-posedness","PDE tyre friction model provably well-posed for vehicle dynamics","Semilinear ODE-PDE tyre model: well-posed and shimmy-sensitive","Tyre friction as PDE: rigorous base for shimmy prediction"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The entire model family inherits its physical content from the FrBD bristle PDE and force integral, whose validity as a first-order approximation of tyre friction is grounded in a companion manuscript by the authors that is not yet available for independent checking.","fun_headline_variants_meta":{"raw":{"variants":["Distributed tyre friction PDE: local and global well-posedness","PDE tyre friction model provably well-posed for vehicle dynamics","Semilinear ODE-PDE tyre model: well-posed and shimmy-sensitive","Tyre friction as PDE: rigorous base for shimmy prediction"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000319,"raw_usage":{"total_tokens":1662,"prompt_tokens":791,"completion_tokens":871,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":535,"completion_tokens_details":{"reasoning_tokens":792}},"tokens_in":535,"tokens_out":871,"duration_ms":7321,"temperature":1.0,"reasoning_tokens":792,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T11:15:45.803316+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On an instrumented tyre test rig, hold a tyre at a fixed slip angle, measure steady-state lateral force over a range of slip velocities, and compare with Eqs. (15) and (16) using the paper's FrBD parametrisation (χ1=1, σ1>0). If the measured force saturates without the model's linear viscous growth, or if the stationary bristle deflection predicted by Eq. (12) cannot reproduce the measured force curve, the physical foundation on which every model in the paper is built would be contradicted.","supporting_citations":[],"review_version":1}