Abstract
In this paper, we consider a class of finite horizon dynamic games in which the state equation is a Volterra integral equation with infinite delay. This may be viewed as a game with coupled state and control constraints and is viewed as a game with coupled constraints in the spirit of Rosen. Our existence result is obtained by a fixed point argument using normalized equilibria. The results rely on convexity and seminormality conditions popularized by L. Cesari in the 1960s and 1970s as well as many others. As an example to which our results are applicable, we consider a competitive economic model originally appearing in the works of C. F. Roos in 1925.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
The notation ≐ indicates the left-hand side of the expression is defined to be the right-hand side.
References
R. Isaacs, Differential games. A mathematical theory with applications to warfare and pursuit, control and optimization (John Wiley & Sons, Inc., New York-London-Sydney, 1965)
C.F. Roos, Amer. J. Math. 47(3), 163 (1925). DOI 10.2307/2370550. URL http://dx.doi.org/10.2307/2370550
C.F. Roos, Trans. Amer. Math. Soc. 30(2), 360 (1928). DOI 10.2307/1989126. URL http://dx.doi.org/10.2307/1989126
H.F. Bohnenblust, S. Karlin, in Contributions to the Theory of Games, Vol. 1, ed. by H.W. Kuhn, A.W. Tucker (Princeton University Press, Princeton, New Jersey, 1950), pp. 155–160
T. Angell, Journal of Optimization Theory and Applications 19(1), 29 (1976)
L. Cesari, Optimization-Theory and Applications: Problems with Ordinary Differential Equations, Applications of Applied Mathematics, vol. 17 (Springer-Verlag, New York, 1983)
S. Sethi, SIAM Review pp. 685–725 (1977)
R.T. Rockafellar, R.J.B. Wets, Variational analysis, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 317 (Springer-Verlag, Berlin, 1998). DOI 10.1007/978-3-642-02431-3. URL http://dx.doi.org/10.1007/978-3-642-02431-3
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendices
Appendix A: Proof of Theorem 6
1.1 Preliminaries
In this section we give a proof of the lower closure result, Theorem 6. To facilitate our presentation we begin by recalling the following two definition.
Definition A.1
A set-valued map \(R:A\rightrightarrows \mathbb R^{2+m}\) satisfies the upper semicontinuity property (Q) with respect to x if for almost every t ∈ [a, b] and all \(x\in \mathbb R^n\) one has
A related upper semicontinuity condition originally defined by L. Cesari is given in the following definition.
Definition A.2
A set-valued map \(R:A\rightrightarrows \mathbb R^{2+m}\) satisfies the upper semicontinuity property (K) with respect to x if for almost every t ∈ [a, b] and all \(x\in \mathbb R^n\) one has
where, for a set W, the notation co(W) denotes the convex hull of W.
Remark A.1
Clearly if a set-valued mapping R(⋅, ⋅) satisfies property (Q) with respect to x, it also satisfies property (K) with respect to x. Indeed if R(⋅, ⋅) satisfies property (Q) with respect to x one has
for almost every t ∈ [a, b] and \(x\in \mathbb R^{2+m}\) , since for any set co(W) is the smallest convex set containing W, which implies the inclusions become equalities.
To present the proof of Theorem 6, we need to introduce an additional set-valued mapping, \(R^*:A\rightrightarrows \mathbb R^{3+m}\) by the formula
where h : [0, ∞) → [0, ∞) is monotone decreasing, continuous, and convex and such that h(ζ)/ζ →∞ as ζ →∞, and \(\lambda ^1,\lambda ^2:[a,b]\to \mathbb R\) are Lebesgue integrable functions. This set-valued mapping is clearly related to the set-valued mapping R(t, x). However, from Cesari [6, 10.5.ii], it follows that the set-valued mapping R ∗ satisfies the stronger upper semicontinuity condition property (Q) with respect to x as given in the above definition. As we will see, this fact will enable us to prove Theorem 6.
1.2 The Proof
In what follows, we will find the need to extract a number of sequences. To avoid extensive detailed notations, we will always assume the sequences are relabeled with the same index.
To begin our proof, let T 0 ⊂ [a, b] be the set of Lebesgue measure zero where A(t) is not closed and, for i = 1, 2 and \(k\in \mathbb N\) put
and let \(\tau ^i=\liminf _{k\to \infty } j^i_k\). Observe that for i = 1, 2, we have τ i > −∞. Since x k → x in measure as k →∞, \(\lambda _k^i\to \lambda ^i\) weakly in \(L^1([a,b];\mathbb R)\) as k →∞ and \(\eta _k^i(t)\ge \lambda _k^i(t)\) for almost every t ∈ [a, b], we can extract subsequence so that x k (t) → x(t) pointwise almost everywhere on [a, b] and
We further observe that under our hypotheses, we have τ 1 ≤ E. Now, for \(s\in \mathbb N\), let \(\delta _s^i=\max \{|j_k^i-\tau ^i|:\ k\ge s+1\}\), and notice that \(\delta _s^i\to 0\) as s →∞.
Now let \(T_0^{\prime }\subset [a,b]\) be the set of Lebesgue measure zero for which x k (t)↛x(t) as k →∞ and observe that we have
The sequences \(\{\lambda _k^i\}\) (i = 1, 2) and {ξ k } converge weakly in L 1 to \(\lambda _k^i\) and ξ, respectively. By applying the Dunford-Pettis theorem (see Cesari [6, 10.3.i]), there exists a function h : [0, +∞) → [0, +∞) that is monotone nondecreasing, convex, continuous, and satisfying h(ζ)/ζ →∞ as ζ →∞, such that the sequence of functions {ρ k }, ρ k (t)≐h(|ξ k (t)|) converges weakly in \(L^1([a,b];\mathbb R)\) to some nonnegative integrable function \(\rho :[a,b]\to \mathbb R\).
For any \(s\in \mathbb N\), we have that the sequences {ρ s+k }, \(\{\lambda _{s+k}^i\}\) (i = 1, 2), and {ξ s+k } converge weakly in L 1 as k →∞, respectively, to ρ, λ i (i = 1, 2) and ξ. Consequently by appealing to the Banach-Saks-Mazur theorem (see [6, 10.1.i]), there is a set of real numbers \(c^{(s)}_{Nk}\ge 0\), k = 1, 2, …, N, \(N\in \mathbb N\) satisfying \(\sum {k=1}^N c^{(s)}_{Nk}=1\) such that the sequences of functions \(\{\rho ^{(s)}_N\}\), \(\{\lambda ^{i(s)}_N\}\) (i = 1, 2) and \(\{\xi ^{(s)}_N\}\), defined, for t ∈ [a, b] and \(N\in \mathbb N\) by the formulas
and
converges strongly in L 1, respectively, to ρ, λ i (i = 1, 2) and ξ. Moreover, this is true for every \(s\in \mathbb N\).
Now, for every \(s\in \mathbb N\), there exists a set T s ⊂ [a, b] of Lebesgue measure zero and a sequence of positive integers \(N^{(s)}_l\to \infty \) such that for every t ∈ [a, b] ∖ T s , one has that ρ(t), λ i(t) (i = 1, 2) and ξ(t) are finite and the sequences \(\{\rho ^{(s)}_{N^{(s)}_l}(t)\}\), \(\{\lambda _{N^{(s)}_l}^{i(s)}(t)\}\) (i = 1, 2) and \(\{\xi _{N^{(s)}_l}^{(s)}\}\) converge to ρ(t), λ i(t) (i = 1, 2) and ξ(t) as l →∞.
Let \(T=T_0\cup T_0^{\prime }\cup \{T_s:\ s\in \mathbb N\}\) and observe T has Lebesgue measure zero. Define the functions \(\eta _N^{i(s)}:[a,b]\to \mathbb R\), for i = 1, 2 and \(s,N\in \mathbb N\), by the formulas
and observe that for almost all t ∈ [a, b], we have
Consequently, for all \(s\in \mathbb N\) and all \(N\in \mathbb N\) we have
For \(s\in \mathbb N\) and i = 1, 2 define \(\eta ^{i(s)}:[a,b]\to \mathbb R\) by the formula
and zero elsewhere, and observe that η i(s)(t) ≥ λ i(t) (i = 1, 2 and \(s\in \mathbb N\)) for almost all t. By Fatou’s lemma, we now have
which implies that η i(s) is integrable and finite almost everywhere.
For \(s\in \mathbb N\) and i = 1, 2 let \(T_s^{i\prime }\subset [a,b]\) be the set of Lebesgue measure zero where η i(s)(t) is not finite and define the function \(\eta ^i:[a,b]\to \mathbb R\) by the formula η i(t) =liminf s→∞ η i(s)(t) for \(t\in T_s^{i\prime }\) and zero elsewhere and observe that we have η i(t) ≥ λ i(t) for almost all t ∈ [a, b] and that
For \(t\in [a,b]\setminus T^i_s\) we have that λ i(t) is finite so that for all \(l\in \mathbb N\) sufficiently large, say l ≥ l 0(t, s), we have \(\eta ^{i(s)}_{N^{(s)}_l}(t)\ge \lambda (t)-1\). This means we can drop finitely many terms (depending on t and s) so that \(\eta ^{i(s)}_{N^{(s)}_l}(t)\ge \lambda (t)-1\) for all \(l\in \mathbb N\). Let \(T_0^{i\prime \prime }\subset [a,b]\) be the set of measure zero where η i(t) is not finite. Finally let T ∗⊂ [a, b] be the set of measure zero defined as the union of the sets T 0, \(T_0^{\prime }\), \(T_0^{i\prime \prime }\), T s , and \(T_s^{i\prime }\) (\(s\in \mathbb N\) and i = 1, 2) and fix t 0 ∈ [a, b] ∖ T ∗ and set x 0 = x(t 0). Then (t 0, x k (t 0)) → (t 0, x 0) ∈ A as k →∞ and for any 𝜖 > 0 there exists \(s_0\in \mathbb N\) such that if s ≥ s 0 one has |x s (t 0) − x 0| < 𝜖. Now, for any s ≥ s 0 and \(k\in \mathbb N\), we have \((\eta _{s+k}^1(t_0),\eta _{s+k}^2(t_0),\xi _{s+k}(t_0))\in R(t_0,x_{s+k}(t_0))\) and |x s+k (t 0) − x 0| < 𝜖. Moreover, we also have for l ≥ l(t 0, s) that
which means that
where
in which R ∗(t 0, x) is given by (18) with t = t 0. The right side of (19) is a sequence of points in \(\mathbb R^{m+3}\) which has the vector (ρ(t 0), η 1(s)(t 0), η 2(s)(t 0), ξ(t 0)) as an accumulation point. This means
and since η i(t 0) =liminf s→∞ η i(s)(t 0) (i = 1, 2) is finite, it follows that
Since this holds for all 𝜖 > 0, it follows that
since the set-valued map R ∗ satisfies property(Q).
The desired conclusion now follows since t 0 ∈ [a, b] ∖ T ∗ is arbitrary, and the definition of R ∗ implies that for almost all t ∈ [a, b] that x(t) ∈ A(t), (η 1(t), η 2(t), ξ(t)) ∈ R ∗(t, x(t)) and that
as desired.\(\Box \)
Appendix B: Measurable Selections
In this section we present some well-known results concerning measurable set-valued maps. We begin with the following definitions.
Definition B.1
A set-valued map \(\mathcal {M}:[a,b]\rightrightarrows \mathbb R^m\) is said to be Lebesgue measurable if and only if for every open subset \(G\subset \mathbb R^m\) , the set \(\{t\in [a,b]:\ \mathcal {M}(t)\cap G\ne \emptyset \}\) is Lebesgue measurable.
Definition B.2
Given a set-valued mapping \(\mathcal {M}:[a,b]\rightrightarrows \mathbb R^m\) a Lebesgue measurable function \(m:[a,b]\to \mathbb R^m\) is called a Lebesgue measurable selection of \(\mathcal {M}\) if and only if \(m(t)\in \mathcal {M}(t)\) for almost all t ∈ [a, b].
Regarding the existence of Lebesgue measurable selections, we have the following theorem.
Theorem B.1
A closed-valued, Lebesgue measurable mapping \(\mathcal {M}:[a,b]\rightrightarrows \mathbb R^m\) always admits a Lebesgue measurable selection. That is, there exists a Lebesgue measurable function \(m:[a,b]\to \mathbb R^m\) such that \(m(t)\in \mathcal {M}(t)\) for almost every t ∈ [a, b]
Proof
See Rockafellar and Wets [8, Corollary 14.6] □
Regarding set-valued maps related to the set-valued maps \(\mathcal {M}\) defined in the proofs of Theorems 7 and 8 we have the following theorem.
Theorem B.2
Let \(\mathcal {V}:[a,b]\rightrightarrows \mathbb R^m\) be a Lebesgue measurable set-valued mapping such that \(\mathcal {V}(t)\subset \mathbb R^m\) is closed for almost every t ∈ [a, b], let \(g_1,g_2,\dots , g_l:[a,b]\times \mathbb R^m\to \mathbb R\) and \(f_1,f_2,\dots , f_k:[a,b]\times \mathbb R^m\to \mathbb R\) be continuous mappings, and let \(\alpha _i:[a,b]\to \mathbb R\) , i = 1, 2, …, l, and \(\beta _j:[a,b]\to \mathbb R\) , j = 1, 2, …, k, be Lebesgue measurable functions. Then the set-valued map \(\mathcal {M}:[a,b]\rightrightarrows \mathbb R^m\) defined by the formula
is a Lebesgue measurable set-valued mapping. Therefore, there exists a Lebesgue measurable function \(u^*:[a,b]\to \mathbb R^m\) such that \(u^*(t)\in \mathcal {M}(t)\) for almost every t ∈ [a, b].
Proof
See Rockafellar and Wets [8, Theorem 14.36]. □
Remark B.1
In Rockafellar and Wets [ 8 , Theorem 14.36], the theorem is stated for normal integrands. This notion includes continuous functions as a special case.
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Carlson, D.A. (2017). Open-Loop Nash Equilibria for Dynamic Games Involving Volterra Integral Equations. In: Apaloo, J., Viscolani, B. (eds) Advances in Dynamic and Mean Field Games. ISDG 2016. Annals of the International Society of Dynamic Games, vol 15. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-70619-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-70619-1_8
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-70618-4
Online ISBN: 978-3-319-70619-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)