On direct and inverse problems for odd-order systems of quasilinear evolution equations

A.V. Faminskii; O.S. Balashov

On direct and inverse problems for odd-order systems of quasilinear evolution equations

T0 review · 0 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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.

desk verdict 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. read the letter →

arxiv 2411.15810 v2 pith:GYAAD3KM submitted 2024-11-24 math.AP

O.S. Balashov , A.V. Faminskii This is my paper · ORCID

classification math.AP MSC 93B0535Q5335Q55

keywords initial-boundaryvalueprobleminversequasilinearevolutionequationsodd-ordersystemsintegraloverdeterminationweaksolutionssmall-datawell-posednessLipschitzstability

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

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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

Load-bearing premise

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.

Editorial extensions

If this is right

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.

Reading between the lines

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

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.

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.

Desk Editor's Note

read the 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.

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

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

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

Referee Report

0 major / 5 minor

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.

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.

minor comments (5)

[Remark 1.6] 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.
[Equation (2.16)] 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||_{(...)}.
[Lemma 4.1, equation (4.11)] 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.
[Introduction, page 1] 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 2, definition of H^s(R)] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proofs are conditional on explicit hypotheses and use independent scalar/linear estimates, not repackaged conclusions.

full rationale

The derivation chain is self-contained conditional on its explicitly stated assumptions. In the direct problem, the fixed-point map Theta (3.1) is shown to be a contraction using linear a priori estimates obtained in Lemmas 2.1 and 2.2, which are cited from previous works [8], [10] and [9]. Those cited results concern single odd-order linear equations and do not contain the target system well-posedness statement, so the citations are independent evidence rather than load-bearing circularity. In the inverse problem, Lemma 4.1 solves the linear equation Lambda F = phi by rewriting the overdetermination conditions as an equivalent fixed point AF = F and proving that A is a contraction in a weighted L1 norm; the determinant condition (1.19) is stated as a hypothesis on the data and is used to invert the instantaneous algebraic system at each time. It is not derived from the conclusion and is not an imported uniqueness theorem. The paper does not fit any parameter to data and then rename it a prediction: the unknown controls F_ki are genuinely reconstructed from the overdetermination data through an invertible operator Gamma. No self-definitional, fitted-input, ansatz-smuggling, or renaming pattern is present. The only mild presentation gap is that no worked example verifying (1.19) is given for the physical systems in Remark 1.6, but this is a completeness issue, not circularity.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The theorems are built on imported linear semigroup estimates and interpolation inequalities from prior literature; these are stated rather than re-proved. No numerical parameters are fitted, no new entities are introduced, and the smallness thresholds delta and T0 are existential constants chosen inside the contraction proofs, not model parameters.

assumptions (3)

standard math Interpolation inequality (2.1) for H^l(I) functions, taken from Besov, Il'in and Nikolskii [1].
Used in Lemma 2.2, Theorem 2.3, and Theorem 3.1 to control intermediate derivatives in L^p and to justify nonlinearity estimates; not proved in the paper.
domain assumption Linear scalar initial-boundary estimates (2.5) and (2.6), quoted from [10, Lemma 4.3] and [8, Lemma 4] via Lemmas 2.1 and 2.2.
The system results reduce to these scalar estimates componentwise because the principal coefficients are diagonal; the paper does not re-prove them.
domain assumption Nonlinear product inequality (2.2) from [9, Lemma 3.3] used to bound g_j(v,...,d^{l-1}v) in L^{2l/(2l-j)} spaces.
This is the main tool for the growth conditions (1.13) and (1.16); it is imported from the same research group's prior scalar paper.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On direct and inverse problems for odd-order systems of quasilinear evolution equations." pith.science (2026). https://pith.science/paper/GYAAD3KM

@misc{pith2026241115810,
  author       = {Pith},
  title        = {Pith review of: On direct and inverse problems for odd-order systems of quasilinear evolution equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GYAAD3KM}},
  note         = {Machine review of arXiv:2411.15810}
}

read the original abstract

Direct and inverse initial-boundary problems on a bounded interval for systems of quasilinear evolution equations with general nonlinearities are considered. In the case of inverse problems conditions of integral overdetermination are introduced and right-hand sides of equations of special types are chosen as controls. Results on well-posedness of such problems are established. Assumptions on smallness of the input data or smallness of a time interval are required.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

[1]

Besov, V.P

O.V. Besov, V.P. Il’in, S.M. Nikolskii, Integral Representation of Functions and Embedding Theorems. J. Wiley, 1978

work page 1978
[2]

Bisognin, V

E. Bisognin, V. Bisognin, G.P. Menzala, Asymptotic behavior in time of of the solutions of a coupled system of KdV equations. Funkcialaj Ekvacioj, 40 (1997), 353–370

work page 1997
[3]

Bisognin, V

E. Bisognin, V. Bisognin, G.P. Menzala, Exponential stabilization of a coupled system of Korteweg–de Vries with localized damping. Adv. Diﬀerential Equ., 8 (2003), 443–469

work page 2003
[4]

J.L. Bona, J. Cohen, G. W ang, Global well-posedness for a system of KdV-type equations with coupled quadratic nonlinearities. Nagoya Math. J., 215 (2014), 67–149. 20 F AMINSKII

work page 2014
[5]

J.L. Bona, Z. Gruli´ c, H. Kalish, A KdV-type Boussinesq system: from the energy level to analytic spaces. Discr. Cont. Dyn. Syst., 26 (2010), no. 4, 1121–1139

work page 2010
[6]

J. Bona, G. Ponce, J.-C. Saut, M. Tom, A model system for strong interactions between internal solitary waves. Comm. Math. Phys., 143 (1992), 287–313

work page 1992
[7]

Faminskii, Controllability problems for the Korteweg–de Vries equati on with integral overdetermination

A.V. Faminskii, Controllability problems for the Korteweg–de Vries equati on with integral overdetermination. Diﬀerential Equ., 55 (2019), no. 1, 1–12

work page 2019
[8]

Faminskii, Odd-order quasilinear evolution equations with general no nlinearity on bounded intervals

A.V. Faminskii, Odd-order quasilinear evolution equations with general no nlinearity on bounded intervals. Lobachevskii J. Math., 42 (2021), no. 5, 875–888

work page 2021

Show all 23 references

[9]

Faminskii, On inverse problems for odd-order quasilinear evolution eq uations with gen- eral nonlinearity

A.V. Faminskii, On inverse problems for odd-order quasilinear evolution eq uations with gen- eral nonlinearity. J. Math. Sci., 271 (2023), no. 3, 281–299

2023
[10]

Faminskii, N.A

A.V. Faminskii, N.A. Larkin, Initial-boundary value problems for quasilinear dispersi ve equa- tions posed on a bounded interval. Electron. J. Diﬀerential Equ., 2010, no. 1, 1–20

2010
[11]

Faminskii, E.V

A.V. Faminskii, E.V. Martynov, Inverse problems for the higher order nonlinear Schr¨ odinger equation. J. Math. Sci., 274 (2023), no. 4, 475–492

2023
[12]

J.A. Gear, R. Grimshaw, Weak and strong interactions between internal solitary wav es. Stud. Appl. Math., 70 (1984), no. 3, 235–238

1984
[13]

Linares, M

F. Linares, M. Panthee, On the Cauchy problem for a coupled system of KdV equations. Commun. Pure Appl. Anal., 3 (2004), 417–431

2004
[14]

S. Lu, M. Chen, Q. Lui, A nonlinear inverse problem of the Korteweg–de Vries equati on. Bull. Math. Sci., 9 (2019), no. 3, 1950014

2019
[15]

Majda, J.A

A.J. Majda, J.A. Biello, The nonlinear interaction of barotropic and equatorial bar oclinic Rossby waves. J. Atmospheric Sci., 60 (2003), 1809–1821

2003
[16]

Marshall, J

J. Marshall, J. Cohen, G. W ang, On strongly interacting integral solitary waves. J. Fourier Anal. Appl., 2 (1996), 507–517

1996
[17]

Massarolo, A.F

C.P. Massarolo, A.F. Pazoto, Uniform stabilization of a coupled system of the Kortrweg– de Vries equations as singular limit of the Kuramoto–Sivash insky equations. Diﬀerential Integral Equ., 22 (2009), 53–68

2009
[18]

Massarolo, G.P

C.P. Massarolo, G.P. Menzala, A.F. Pazoto, A coupled system of Korteweg–de Vries equation as singular limit of the Kuramoto–Sivashinsky equation. Adv. Diﬀerential Equ., 12 (2007), 541–572

2007
[19]

Micu, J.H

S. Micu, J.H. Ortega, A.F. Pazoto, On the controllability of a coupled system of two Korteweg–de Vries equations. Comm. Contemp. Math., 11 (2009), no. 5, 799–827

2009
[20]

Nina, A.F

D. Nina, A.F. Pazoto, L. Rosier, Global stabilization of a coupled system of two generalized Korteweg–de Vries equations posed on a ﬁnite domain. Math. Control Relat. Fields, 1 (2011), no. 3, 353–389

2011
[21]

Pazoto, L

A.F. Pazoto, L. Rosier, Stabilization of a Boussinesq system of KdV–KdV type. Systems Control Lett., 57 (2008), 595–601

2008
[22]

A. I. Prilepko, D. G. Orlovsky and I. A. Vasin, Methods for solving inverse problems in mathematical physics. , Marcel Dekker Inc., New York–Basel, 1999

1999
[23]

J.-C. Saut, L. Xu, Long time existence for a strongly dispersive Boussinesq sy stem. SIAM J. Math. Anal., 52 (2020), no. 3, 2803–2848. RUDN University, 6 Miklukho-Maklaya St, Moscow, 117198, Russ ian Federation Email address : balashovos@s1238.ru, afaminskii@sci.pfu.edu.ru

2020

Pith tools

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

[1] [1]

Besov, V.P

O.V. Besov, V.P. Il’in, S.M. Nikolskii, Integral Representation of Functions and Embedding Theorems. J. Wiley, 1978

work page 1978

[2] [2]

Bisognin, V

E. Bisognin, V. Bisognin, G.P. Menzala, Asymptotic behavior in time of of the solutions of a coupled system of KdV equations. Funkcialaj Ekvacioj, 40 (1997), 353–370

work page 1997

[3] [3]

Bisognin, V

E. Bisognin, V. Bisognin, G.P. Menzala, Exponential stabilization of a coupled system of Korteweg–de Vries with localized damping. Adv. Diﬀerential Equ., 8 (2003), 443–469

work page 2003

[4] [4]

J.L. Bona, J. Cohen, G. W ang, Global well-posedness for a system of KdV-type equations with coupled quadratic nonlinearities. Nagoya Math. J., 215 (2014), 67–149. 20 F AMINSKII

work page 2014

[5] [5]

J.L. Bona, Z. Gruli´ c, H. Kalish, A KdV-type Boussinesq system: from the energy level to analytic spaces. Discr. Cont. Dyn. Syst., 26 (2010), no. 4, 1121–1139

work page 2010

[6] [6]

J. Bona, G. Ponce, J.-C. Saut, M. Tom, A model system for strong interactions between internal solitary waves. Comm. Math. Phys., 143 (1992), 287–313

work page 1992

[7] [7]

Faminskii, Controllability problems for the Korteweg–de Vries equati on with integral overdetermination

A.V. Faminskii, Controllability problems for the Korteweg–de Vries equati on with integral overdetermination. Diﬀerential Equ., 55 (2019), no. 1, 1–12

work page 2019

[8] [8]

Faminskii, Odd-order quasilinear evolution equations with general no nlinearity on bounded intervals

A.V. Faminskii, Odd-order quasilinear evolution equations with general no nlinearity on bounded intervals. Lobachevskii J. Math., 42 (2021), no. 5, 875–888

work page 2021