Game theory with integral equations as state dynamics

S. A. Belbas

arxiv: 1906.10778 · v1 · pith:TT3LQ5VCnew · submitted 2019-06-25 · 🧮 math.OC

Game theory with integral equations as state dynamics

S. A. Belbas This is my paper

Pith reviewed 2026-05-25 16:13 UTC · model grok-4.3

classification 🧮 math.OC

keywords game theoryVolterra integral equationslinear-quadratic gamespursuit-evasionnecessary conditionssufficient conditionsoptimal control

0 comments

The pith

Game theory problems with Volterra integral equation dynamics admit necessary and sufficient conditions when the costs are linear-quadratic.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper sets up game-theoretic problems in which the state evolves according to Volterra integral equations instead of ordinary differential equations. It derives and proves necessary and sufficient conditions for the linear-quadratic case and for the case linear-quadratic only in the control, together with necessary conditions for a class of pursuit-evasion games. A sympathetic reader cares because many applied systems exhibit memory or nonlocal effects that are naturally captured by integral equations rather than local differential laws. If the stated conditions hold, analysts can characterize optimal strategies directly from the integral formulation without first converting the dynamics to an approximating ODE system.

Core claim

For systems governed by Volterra integral equations, necessary and sufficient conditions are obtained and proved for linear-quadratic game problems and for problems that are linear-quadratic in the control; necessary conditions are also obtained for one type of pursuit-evasion Volterra games.

What carries the argument

Volterra integral equations used as the state dynamics, from which optimality conditions are derived by adapting classical variational arguments to the integral setting.

If this is right

Linear-quadratic Volterra games can be solved by direct verification of the stated conditions without reduction to differential form.
Games that remain linear only in the control variable still admit the same type of optimality characterization.
Pursuit-evasion games with Volterra dynamics possess necessary conditions that can be checked to rule out candidate strategies.
The integral-equation setting covers hereditary or nonlocal interactions that standard differential-game theory does not address directly.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same integral framework could be used to derive conditions for other cost structures beyond linear-quadratic.
Numerical schemes that discretize the Volterra kernels might be combined with the optimality conditions to compute approximate solutions.
Applications in which memory kernels appear naturally, such as certain economic or biological models, could be recast as Volterra games.
Extensions to stochastic Volterra equations would require additional technical steps but could follow the same variational pattern.

Load-bearing premise

The underlying systems must be governed by Volterra integral equations and the problems must belong to the linear-quadratic class or the specific pursuit-evasion class considered.

What would settle it

A concrete linear-quadratic game whose dynamics are given by a Volterra integral equation in which the derived necessary and sufficient conditions fail to identify the optimal controls or trajectories.

read the original abstract

We formulate and analyze game-theoretic problems for systems governed by integral equations. For Volterra integral equations, we obtain and prove necessary and sufficient conditions for linear-quadratic problems, and for problems that are linear-quadratic in the control. Also, we obtain necessary conditions for one type of pursuit-evasion Volterra games.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper sets up linear-quadratic games with Volterra integral equation dynamics and claims to prove necessary and sufficient conditions for those cases.

read the letter

The main takeaway is that Belbas formulates game problems where the state follows a Volterra integral equation instead of an ODE, then derives and proves necessary and sufficient conditions for the linear-quadratic versions and for problems that are linear-quadratic only in the control. He also gives necessary conditions for one pursuit-evasion variant. That move to integral dynamics is the concrete step forward, since it directly incorporates memory effects that differential games do not capture by default. Within the stated limits the approach looks consistent: the author restricts to Volterra kernels and LQ structure, where one can reasonably expect the usual completion-of-squares or Riccati-type arguments to go through with suitable modifications. The fact that both necessity and sufficiency are claimed for the LQ case is a positive sign; sufficiency is often the harder part to establish cleanly. The soft spots are modest but real. The abstract gives no sample equations or proof sketches, so it is impossible to judge whether the conditions are genuinely new or largely routine translations of existing integral-equation control results. The pursuit-evasion result stops at necessary conditions, which leaves the sufficiency question open. If the kernels are allowed to be fairly general, one would want to see explicit handling of any regularity or positivity assumptions that keep the proofs from breaking. This work is aimed at the small group of control theorists who already work with hereditary or integral dynamics, for example in viscoelasticity or certain population models. A reader focused on standard differential games or on broad applications will find little to take away. It is worth sending to a specialized journal for refereeing because the claims are scoped tightly, the author states that proofs are supplied, and the topic is a natural incremental extension rather than an overreach. Referees can check the derivations directly; if they hold, the paper adds a usable reference for that niche.

Referee Report

0 major / 1 minor

Summary. The manuscript formulates game-theoretic problems in which the state evolves according to Volterra integral equations. It states that necessary and sufficient conditions are obtained and proved for linear-quadratic problems and for problems that remain linear-quadratic in the control; necessary conditions are also derived for one class of pursuit-evasion games under the same dynamics.

Significance. If the stated conditions and their proofs are correct, the work extends classical differential-game results to a dynamics class that naturally incorporates memory or hereditary effects. The explicit treatment of the linear-quadratic case is potentially useful because such problems often admit explicit solutions or Riccati-type equations; the pursuit-evasion variant broadens the scope to non-LQ settings.

minor comments (1)

The abstract asserts that proofs are supplied, yet the visible text contains no equations, kernel assumptions, or derivation steps; this prevents verification of the claimed necessity and sufficiency results.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for noting the potential significance of extending classical differential-game results to Volterra integral dynamics. No specific major comments were provided in the report, so we have no individual points to address. The recommendation of 'uncertain' appears to stem from the need to verify the correctness of the stated conditions and proofs; we stand by the derivations as presented in the manuscript.

Circularity Check

0 steps flagged

No circularity: claims of proving conditions are self-contained

full rationale

The provided abstract and text claim formulation and proof of necessary/sufficient conditions for LQ Volterra integral games and necessary conditions for one pursuit-evasion case. No equations, derivations, fitted parameters, or self-citations are exhibited that reduce any result to its inputs by construction. The work is scoped explicitly to this dynamics class and cost structure, with proofs asserted as supplied; absent any visible self-definitional or fitted-input steps, the derivation chain is independent and self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are stated. The work implicitly relies on standard assumptions of optimal control theory for integral equations, but none are detailed.

pith-pipeline@v0.9.0 · 5557 in / 1144 out tokens · 52378 ms · 2026-05-25T16:13:30.724476+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

For Volterra integral equations, we obtain and prove necessary and sufficient conditions for linear-quadratic problems... quadratic functional over L2... joint positive definite... Fredholm integral equation of the second kind
IndisputableMonolith/Foundation/BranchSelection.lean branch_selection unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

state equation y(t)=y0 + ∫[A(t,s)y(s)+B(t,s)u(s)+C(t,s)v(s)]ds... performance functional quadratic in y,u,v

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

Linear-quadratic, two-person, zero-sum differential games: necessary and sufficient conditions

[B]. P. BERNHARD, “Linear-quadratic, two-person, zero-sum differential games: necessary and sufficient conditions”, J. Optimz. Th. Applic., Vol. 68, no. 1, 1979, pp. 51-69. [E]. J. ENGWERDA, LQ dynamic optimization and differential games, J. Wiley & Sons, Chichester,

work page 1979
[2]

Functions of positive and negative type, and their connection with the theory of integral equations

[M]. J. MERCER, “Functions of positive and negative type, and their connection with the theory of integral equations”, Philos. Transactions Royal Soc. of London, Ser. A, Vol. 209, 1909, pp. 415-446. [P1]. L. S. PONTRYAGIN, “On the theory of differential games” (in Russian), Uspekhi Matem. Nauk, Vol. 21, no. 4(130), 1966, pp. 219-274. [P2]. L. S. PONTRYAGI...

work page 1909

[1] [1]

Linear-quadratic, two-person, zero-sum differential games: necessary and sufficient conditions

[B]. P. BERNHARD, “Linear-quadratic, two-person, zero-sum differential games: necessary and sufficient conditions”, J. Optimz. Th. Applic., Vol. 68, no. 1, 1979, pp. 51-69. [E]. J. ENGWERDA, LQ dynamic optimization and differential games, J. Wiley & Sons, Chichester,

work page 1979

[2] [2]

Functions of positive and negative type, and their connection with the theory of integral equations

[M]. J. MERCER, “Functions of positive and negative type, and their connection with the theory of integral equations”, Philos. Transactions Royal Soc. of London, Ser. A, Vol. 209, 1909, pp. 415-446. [P1]. L. S. PONTRYAGIN, “On the theory of differential games” (in Russian), Uspekhi Matem. Nauk, Vol. 21, no. 4(130), 1966, pp. 219-274. [P2]. L. S. PONTRYAGI...

work page 1909