{"id":"c5671c18-49ba-4ed3-b58b-d11881a8a533","arxiv_id":"2411.15810","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For odd-order quasilinear evolution systems on a bounded interval, unique weak solutions exist under smallness assumptions, and inverse problems with several integral overdetermination conditions have unique controls.","lead":"This paper proves that a broad family of odd-order quasilinear wave-type systems has small-data solutions on an interval, and that several unknown forcing terms can be recovered at the same time from weighted-average measurements. It extends earlier single-equation results to whole systems and to arbitrary numbers of recovery conditions, which makes it a useful reference for inverse problems in dispersive wave models.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified.","rationale":"The reader's weakest-assumption analysis points to condition (1.19), which is indeed the least externally supported premise in the inverse part. I agree that the proof would collapse if the determinant vanished: the formula (4.6) for F_ki and the definition of the operator A in (4.8) both divide by Delta_i(t), and uniqueness of the controls would in general fail when the weighted observations are linearly dependent. However, this is an explicit hypothesis of Theorems 1.4 and 1.5, not an unstated assumption. The proof of Lemma 4.1 is internally coherent: continuity of the moments follows from h_ki in C([0,T];L2) and omega in H^{2l+1}; the lower bound Delta_0 > 0 follows from compactness and (1.19); and the weighted-L1 contraction argument is standard. The direct-problem estimates and the fixed-point construction in Theorems 1.2-1.5 also appear consistent, with the smallness conditions chosen exactly to make the nonlinear terms contractive. The absence of a numerical or explicit symbolic example for (1.19) is a caveat about applicability, not a logical flaw in the central claim. Accordingly, the reader's ACCEPT verdict should stand.","tokens_in":20392,"tokens_out":21404,"duration_ms":197124,"concrete_test":"As a verification step, verify (1.19) for a nontrivial example on I=(0,1) with l=1, n=1, m=2: take h_1(t,x)=x(1-x), h_2(t,x)=x^2(1-x)^2, omega_1(x)=x^2(1-x)^2, omega_2(x)=x^3(1-x)^2, all satisfying condition (1.12), and symbolically compute the 2x2 Gram determinant det(integral h_j omega_k dx) to confirm it is bounded away from zero on [0,T]. This settles whether the nondegeneracy assumption is satisfiable in the intended setting.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The inverse-problem theorems are explicitly contingent on the determinant nondegeneracy condition (1.19), and this is a genuine identifiability hypothesis rather than a hidden gap. Lemma 4.1 correctly uses (1.19) to define the inverse operator Gamma: if Delta_i(t) != 0 for all t, the linear system (4.4) can be solved for F_ki at each time, and the contraction estimate (4.11) with the weighted L1 norm makes the inversion of Lambda rigorous. The theorem does not claim anything when (1.19) fails, so no internal inconsistency arises. The only real weakness is that no worked example satisfying (1.19) is supplied for the physical systems mentioned in Remark 1.6, which is a presentation issue rather than a correctness defect.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies direct and inverse initial-boundary value problems on a bounded interval for an n-component system of odd-order quasilinear evolution equations of the form (1.1). For the direct problem, the authors prove global existence, uniqueness, and Lipschitz dependence of weak solutions in the space (X(Q_T))^n, either under smallness of the combined input norm c_0 (Theorem 1.2) or under smallness of the time interval T (Theorem 1.3), assuming coefficient conditions (1.8)-(1.9) and nonlinearity growth conditions (1.13) or (1.16). For the inverse problem, with right-hand sides of the special form (1.4) and integral overdetermination conditions (1.5), they prove existence, uniqueness in a ball, and Lipschitz stability of the controls F_ki in L^1(0,T), under the same smallness alternatives and a time-dependent determinant nondegeneracy condition (1.19) on the weighted averages of the given functions h_ki (Theorems 1.4 and 1.5). The proofs combine a contraction mapping argument in X(Q_T)^n with linear theory quoted from prior scalar results and an inversion of a linear observation operator via a weighted L^1 contraction.","tokens_in":20477,"tokens_out":8875,"duration_ms":81589,"significance":"If the results are correct, this is a meaningful extension of the scalar theory for odd-order quasilinear equations to systems, and the inverse-problem formulation with an arbitrary number of integral overdetermination conditions is new even in the scalar case. The paper is honest about its hypotheses: the inverse-problem theorems are explicitly conditional on the nondegeneracy condition (1.19), which is a genuine identifiability assumption rather than a hidden normalization, and the proofs are coherent contraction arguments with no fitted parameters or circular steps. The claimed applicability to physical models such as the Majda-Biello system and coupled KdV-type systems is plausible, though condition (1.19) is not illustrated for any concrete choice of weights.","major_comments":[],"minor_comments":[{"comment":"The remark states that Theorems 1.2 and 1.4 are verified for the Majda-Biello system and for a more general coupled system, but it does not verify condition (1.19) for any admissible choice of the weight functions omega_ki; because (1.19) is not automatic, the claimed applicability of the inverse-problem results to these physical systems is incomplete and should either be illustrated with an explicit example or explicitly left as an open verification.","section":"Remark 1.6"},{"comment":"In the estimate for the norm of U in the proof of Theorem 2.3, the right-hand side appears to be missing a plus sign between the term involving f and the sum over j of the norms of ~G_j; the intended expression should read ||f||_{(L^1(0,t;L^2(I)))^n} + sum_{j=0}^l ||~G_j||_{(...)}.","section":"Equation (2.16)"},{"comment":"The integral limits in the displayed estimate for the weighted L^1 contraction appear to be reversed: the inner integral should be from tau to T rather than from T to tau, since after Fubini one obtains integral_0^T |F_1 - F_2| (integral_tau^T e^{-gamma t} dt) dtau.","section":"Lemma 4.1, equation (4.11)"},{"comment":"There is a typographical artifact in the author line reading 'F AMINSKII'; this should be corrected to the author's name. Similarly, 'Kortewes–de Vries–Burgers' should read 'Korteweg–de Vries–Burgers'.","section":"Introduction, page 1"},{"comment":"The Fourier definition of H^s(R) uses the multiplier (1+|xi|^s), which is nonstandard for negative s; since the paper only appears to use nonnegative orders in the spaces H^{(l-j)/(2l+1)}(0,T), the definition is acceptable, but it would be clearer to use the standard multiplier (1+|xi|^2)^{s/2} or to state explicitly that s is nonnegative.","section":"Section 2, definition of H^s(R)"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a solid contribution to the well-posedness theory of quasilinear odd-order systems and their inverse problems. The main theorems are conditional on the determinant condition (1.19), which is a strong but standard identifiability hypothesis; the authors should, however, provide some explicit example or indication of how (1.19) can be satisfied for the physical systems mentioned in Remark 1.6, as this would substantially strengthen the applicability of the inverse results. The remaining requested changes are typographical and presentational."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a competent, careful extension of the authors' own scalar results to n-component odd-order quasilinear systems, and it makes the inverse problem genuinely more general by allowing any number of integral overdetermination conditions per component. The direct system result is new because systems had not been treated in this framework, and the inverse result is new even for a single equation, since the prior scalar paper only handled one condition. The proofs are standard contraction arguments in X(QT)^n; they are coherent, and while the main estimates are quoted from earlier lemmas rather than re-derived, the dependency is explicit and clear.\n\nCredit where it is due: the structure is clean. The direct problem gives existence, global uniqueness via a Gronwall argument, and Lipschitz dependence in one package. The inverse problem is set up correctly: the observation operator is linear at a fixed solution, the determinant condition (1.19) is used exactly where needed—to invert the linear system—and the weighted-L1 contraction in Lemma 4.1 makes recovery of the controls rigorous. I checked the stress-test concern and it lands correctly: (1.19) is a genuine identifiability hypothesis, not a hidden gap, and the theorems do not overclaim when it fails.\n\nSoft spots: the determinant condition is imposed on data, and no example verifying it for the physical systems in Remark 1.6 is supplied. That is a presentation gap, not a correctness defect. A referee should ask for a simple example or an explicit remark that (1.19) is the expected generic condition. Also, because the key estimates are imported from scalar papers, the system-specific nonlinearity estimates in (3.23)-(3.27) deserve a careful check; nothing looks broken, but this is the part I would ask another pair of eyes to inspect. The paper ships no code and offers no predictions—it is pure theory, which is fine, but it narrows the audience to specialists.\n\nBottom line: this paper is for people working on initial-boundary problems and inverse problems for dispersive or odd-order evolution equations. It deserves a serious referee. I would send it to review, and my own verdict would be an accept with minor-to-moderate revision suggestions, mainly asking for examples and a bit more detail on the system-specific estimates.","headline":"Solid, honest extension of the authors' scalar framework to systems and multi-condition inverse problems; worth refereeing, but the load-bearing determinant condition is an assumption, not a derived property.","tokens_in":20998,"tokens_out":1962,"would_cite":true,"duration_ms":18721,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["93B05","35Q53","35Q55"],"pacs":[],"model":"deepseek-v4-flash","headline":"Systems of odd-order quasilinear evolution equations on an interval have unique weak solutions, and their unknown forcing terms can be recovered from integral observations of the solution.","keywords":["initial-boundary value problem","inverse problem","quasilinear evolution equations","odd-order systems","integral overdetermination","weak solutions","small-data well-posedness","Lipschitz stability"],"falsifier":"In the scalar case $l = 1$, $n = 1$, $m_1 = 1$, choose $h_{11}$ and $\\omega_{11}$ satisfying (1.12) with $\\psi_{11}(t) = \\int_I h_{11}(t,x)\\omega_{11}(x)dx \\equiv 0$ on a subinterval of $[0,T]$; then the identity $q' = r + F_{11}\\psi_{11}$ shows that two different controls $F_{11}$ produce the same observation $\\phi_{11}$, so a single example of this form demonstrates that condition (1.19) is essential rather than technical.","tokens_in":20187,"feed_emoji":"🌊","tokens_out":22767,"duration_ms":162662,"temperature":0.7,"pith_summary":"This paper proves well-posedness for initial-boundary value problems on a bounded interval for systems of odd-order quasilinear evolution equations, covering the direct problem of existence, uniqueness, and Lipschitz stability of weak solutions, and the inverse problem of recovering unknown forcing factors $F_{ki}(t)$ from prescribed integral averages of the solution. The results hold either when the combined norm of the initial, boundary, and forcing data is small (Theorems 1.2 and 1.4) or when the time interval is short (Theorems 1.3 and 1.5), under growth restrictions on the nonlinearities. The inverse part is new even for a single equation because an arbitrary number of overdetermination conditions per component is allowed, and it covers the coupled dispersive systems described in Remark 1.6, for which no such boundary-value theory previously existed.","feed_headline":"Recover hidden wave forces from weighted averages","feed_subtitle":"Small data or short time give unique weak solutions, with errors in the data staying proportional in the answer.","key_machinery":"The direct problem is solved as a fixed point of the map $\\Theta v = \\tilde S W + S_0 f - \\sum_{j=0}^l \\tilde S_j g_j(t,x,v,\\ldots,\\partial_x^{l-1}v)$, where $\\tilde S$, $S_0$, $\\tilde S_j$ are the solution operators of the linearized problem (Theorem 2.3). An interpolation inequality on the interval $I$ bounds each nonlinearity $g_j$ in the space $L^{2l/(2l-j)}(0,T;L^2(I))$, and these bounds scale either with powers of the data norm $c_0$ or carry a positive power of the time $T$ (inequalities (2.2) and (3.30)), which makes $\\Theta$ a contraction on a ball in the space $X(Q_T) = C([0,T];L^2(I)) \\cap L^2(0,T;H^l(I))$. The inverse problem rests on differentiating the observation $q(t;u_i,\\omega_{ki}) = \\int_I u_i(t,x)\\omega_{ki}(x)dx$ along a weak solution: the weak formulation yields $q' = r(t;u_i,\\omega_{ki}) + \\sum_{j=1}^{m_i} F_{ji}(t)\\psi_{kji}(t)$ with $\\psi_{kji}(t) = \\int_I h_{ji}(t,x)\\omega_{ki}(x)dx$ (Lemma 4.1). Under the nondegeneracy condition $\\Delta_i(t) = \\det(\\psi_{kji}(t)) \\neq 0$ on $[0,T]$, this is an invertible linear system at each time, the determinant formulas express $F_{ki}$ through the observed data, and the resulting operator is a contraction in an exponentially weighted $L^1$ norm, proving the control-to-observation map invertible with a bounded inverse $\\Gamma$ that the nonlinear fixed point incorporates.","core_discovery":"The paper's claim is that the initial-boundary problem (1.1)–(1.3) for an $n$-component system of quasilinear evolution equations of odd order $2l+1$ is well-posed in the class of weak solutions $u \\in (X(Q_T))^n$, where $X(Q_T) = C([0,T];L^2(I)) \\cap L^2(0,T;H^l(I))$: under the coefficient conditions (1.8)–(1.9) and the nonlinearity growth condition (1.13), smallness of the combined data norm $c_0$ guarantees a unique weak solution and a Lipschitz data-to-solution map (Theorem 1.2), while under the strict bound (1.16) the same conclusion holds for any prescribed data bound provided the time horizon $T$ is sufficiently short (Theorem 1.3). For the inverse problem, where each component has the form $f_i = h_{0i} + \\sum_{k=1}^{m_i} F_{ki}(t)h_{ki}$, the unknown controls $F_{ki}$ are recovered uniquely in $L^1(0,T)$ from the overdetermination data $\\phi_{ki}(t) = \\int_I u_i(t,x)\\omega_{ki}(x)dx$ whenever the determinant condition (1.19) is satisfied, and the solution together with the controls depends Lipschitz-continuously on all the data (Theorem 1.4, with the small-time counterpart in Theorem 1.5).","pith_inferences":["If the determinant condition (1.19) fails only on a set of isolated times, the inversion proof no longer applies; a natural extension would be to test whether a piecewise or regularized reconstruction restores uniqueness, which the paper does not address.","The small-time theorem suggests a controllability reading: on sufficiently short horizons the integral observations determine the controls without smallness of the data, so the construction could seed controllability statements for coupled systems.","The paper treats the observation weights $\\omega_{ki}$ and control shapes $h_{ki}$ as given, but condition (1.19) is an explicit quantitative test for sensor placement: an observer can check in advance whether a chosen set of weights resolves the unknown controls.","Because the recovered controls lie in $L^1(0,T)$ rather than a smoother class, the method tolerates discontinuous driving terms, a regularity level well matched to actuation problems, though the paper does not pursue that interpretation."],"forward_implications":["For a fixed time horizon $T$, the direct theorems give global weak solutions whenever the data norm lies below a threshold, with no restriction on the length $R$ of the interval.","Lipschitz continuity of the maps (1.15) and (1.21) means errors in the initial, boundary, or forcing data, and in the observed averages, propagate at worst proportionally into the solution and the recovered controls, the stability needed for numerical reconstruction.","The inverse results allow an arbitrary number $m_i$ of controls and observations per component, so several unknown forcing terms can be recovered simultaneously, which the scalar theory did not cover.","Under the strict growth bound (1.16), uniqueness and recovery hold locally in time for data of any fixed size, so the theorems combine a global small-data regime with a local large-data regime."],"supporting_citations":[{"why":"Supplies the interpolation inequality (2.1) for fractional-order Sobolev spaces that underlies every nonlinearity estimate in the paper.","marker":"[1]"},{"why":"Treats the scalar direct problem for (1.1)–(1.3); the paper extends its contraction method and uses [8, Lemma 4] for the linear estimate (2.6)–(2.7).","marker":"[8]"},{"why":"Treats scalar inverse problems with integral overdetermination, supplying inequality (2.2) (its Lemma 3.3) and the inversion strategy generalized here.","marker":"[9]"},{"why":"Provides the base linear initial-boundary estimate for the principal odd-order operator via [10, Lemma 4.3], on which Theorem 2.3 rests.","marker":"[10]"}],"fun_headline_variants":["Odd-order quasilinear waves: unique recovery from integrals","Well-posed inverse problems for odd-order wave systems","Small data or short time guarantees unique wave controls","Lipschitz-stable recovery in quasilinear odd-order systems"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the determinant condition (1.19): the matrix of weighted averages $\\Delta_i(t) = \\det(\\int_I h_{ji}(t,x)\\omega_{ki}(x)dx)$ must stay invertible at every time so that the observed averages really determine the controls, and the paper imposes it on the data without deriving it from the dynamics or verifying it for the physical systems of Remark 1.6.","fun_headline_variants_meta":{"raw":{"variants":["Odd-order quasilinear waves: unique recovery from integrals","Well-posed inverse problems for odd-order wave systems","Small data or short time guarantees unique wave controls","Lipschitz-stable recovery in quasilinear odd-order systems"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000562,"raw_usage":{"total_tokens":2658,"prompt_tokens":922,"completion_tokens":1736,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":538,"completion_tokens_details":{"reasoning_tokens":1671}},"tokens_in":538,"tokens_out":1736,"duration_ms":11755,"temperature":1.0,"reasoning_tokens":1671,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T13:53:34.372070+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In the scalar case $l = 1$, $n = 1$, $m_1 = 1$, choose $h_{11}$ and $\\omega_{11}$ satisfying (1.12) with $\\psi_{11}(t) = \\int_I h_{11}(t,x)\\omega_{11}(x)dx \\equiv 0$ on a subinterval of $[0,T]$; then the identity $q' = r + F_{11}\\psi_{11}$ shows that two different controls $F_{11}$ produce the same observation $\\phi_{11}$, so a single example of this form demonstrates that condition (1.19) is essential rather than technical.","supporting_citations":[{"cited_title":"Besov, V.P","cited_arxiv_id":null,"evidence_quote":"Supplies the interpolation inequality (2.1) for fractional-order Sobolev spaces that underlies every nonlinearity estimate in the paper."},{"cited_title":"Faminskii, Odd-order quasilinear evolution equations with general no nlinearity on bounded intervals","cited_arxiv_id":null,"evidence_quote":"Treats the scalar direct problem for (1.1)–(1.3); the paper extends its contraction method and uses [8, Lemma 4] for the linear estimate (2.6)–(2.7)."},{"cited_title":"Faminskii, On inverse problems for odd-order quasilinear evolution eq uations with gen- eral nonlinearity","cited_arxiv_id":null,"evidence_quote":"Treats scalar inverse problems with integral overdetermination, supplying inequality (2.2) (its Lemma 3.3) and the inversion strategy generalized here."},{"cited_title":"Faminskii, N.A","cited_arxiv_id":null,"evidence_quote":"Provides the base linear initial-boundary estimate for the principal odd-order operator via [10, Lemma 4.3], on which Theorem 2.3 rests."}],"review_version":1}