Abstract
In this paper, convergence theorems involving convex inequalities of Copson’s type (less restrictive than monotonicity assumptions) are given for varying measures, when imposing convexity conditions on the integrable functions or on the measures. Consequently, a continuous dependence result for a wide class of differential equations with many interesting applications, namely measure differential equations (including Stieltjes differential equations, generalized differential problems, impulsive differential equations with finitely or countably many impulses and also dynamic equations on time scales) is provided.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Convergence results for varying measures have significant applications to various fields of pure and applied sciences including stochastic processes, statistics, control and game theories, transportation problems, neural networks, signal and image processing (see, for example, [2, 5,6,7,8, 15, 20, 24, 28, 34]).
E.T. Copson in [4], weakening the monotonicity of a sequence of real numbers by changing it in a convex inequality involving k consecutive terms of the sequence, gave a sufficient condition to guarantee the convergence of bounded sequences of real numbers.
Recently, following this idea, in [23] the classical Monotone Convergence Theorem has been generalized by changing the monotonicity with a convexity condition on the involved functions.
In the present paper, we go further and continue the investigation started in [11, 14,15,16,17, 21, 22, 25, 32], providing conditions to ensure convergence results for a sequence of functions \((f_n)_n\) integrable with respect to the measures of a sequence \((m_n)_n\), when the functions satisfy a convexity condition. If the sequence of measures \((m_n)_n\) satisfies a convexity condition, convergence theorems for the integrals are obtained as well.
The paper is organized as follows.
In Sect. 2, after the Introduction, convergence theorems for varying measures are given when the sequence of functions \((f_n)_n\) satisfies inequalities of Copson’s type (in both increasing or decreasing manners) and the sequence of measures is setwisely or weakly convergent.
In Sect. 3, the convergence of the sequence \(\left( \int _{\Omega } f d m_n\right) _n\) under a convexity condition on the sequence of measures \((m_n)_n\) is obtained, when again \((m_n)_n\) converges in setwise sense.
Finally, Sect. 4 provides a continuous dependence result for measure differential equations under Copson’s type assumptions on the measures driving the equations. Such outcomes are important in applications since they allow one to approximate the solutions of a differential problem driven by a general finite Borel measure by solutions of differential problems driven by measures with nicer behavior (e.g. [13, 33] or [9, 10, 31] for the more general, set-valued setting).
Measure differential equations (which can be equivalently written as Stieltjes differential equations, see [19, 27]) proved themselves very useful in studying real life processes with dead times or abrupt changes occurring in their dynamics, e.g. [1, 19] or [29].
We remark that the main theorem of this section, proved for measure differential equations, could be used to get new continuous dependence results for generalized differential problems ( [33]), for impulsive differential equations with finitely or countably many impulses ( [19, 33]) and also for dynamic equations on time scales ( [13]).
2 Convergence Results Under Convexity Conditions on the Functions
Let \((\Omega , {\mathcal {A}}) \) be a measurable space and we denote by \({\mathcal {M}}^+(\Omega )\) the family of finite nonnegative measures on \((\Omega , {\mathcal {A}}).\) Let \(m, m_n \in {\mathcal {M}}^+ (\Omega )\) for \(n \in {\mathbb {N}}\) and let \(f, f_n: \Omega \rightarrow {\mathbb {R}}\), for \(n \in {\mathbb {N}}\), be measurable functions. The symbol \(L^1(m)\) stands for the family of Lebesgue integrable functions with respect to (briefly w.r.t. ) the measure m while \(\int _A f dm\) is the Lebesgue integral of f over a set \(A \in {\mathcal {A}}\).
We recall the following result.
Lemma 2.1
([4, 23, Lemmas 1, 2]) Let \((x_n)_n\) be a sequence of real numbers which satisfies the inequalities
(\(x_{n+k} \le \sum _{j=1}^k \alpha _j x_{n+k-j}, \ \ \mathrm{for \ all } \ n \ge 1\), respectively), where k is a fixed positive integer, the coefficients \(\alpha _j\) are strictly positive and \(\sum _{j=1}^k \alpha _j =1\).
Then the sequence \(y_n=\min \{x_{n-1}, \dots ,x_{n-k}\}\), \(n \ge k+1\), is increasing (\(y_n=\max \{x_{n-1}, \dots ,x_{n-k}\}\), \(n \ge k+1\) is decreasing, respectively). Moreover, if the sequence \((x_n)_n\) satisfies (1) and if \(\lambda = \lim _{n \rightarrow \infty }x_n \) then \(x_n \le k \lambda \) for all \(n \ge 1\).
In the whole Section we will consider a sequence of functions \((f_n)_n\) satisfying
or, respectively, the reverse inequalities
where k is a fixed positive integer, the coefficients \(\alpha _j\) are strictly positive and \(\sum _{j=1}^k \alpha _j =1\).
2.1 Setwisely Convergent Measures
We are now giving convergence theorems with convexity conditions on the functions and setwise converging measures.
We recall that a sequence \((m_n)_n\) converges setwisely to m (\(m_n \xrightarrow []{s} m\)) if for every \(A \in {\mathcal {A}}\)
([21, Sect. 2.1], [17, Definition 2.3])
Definition 2.2
Let \((m_n)_n \subseteq {\mathcal {M}}(^+\Omega )\). We say that a sequence \((f_n)_n: \Omega \rightarrow {\mathbb {R}}\) is uniformly \((m_n)\)-integrable on \(\varOmega \) if
If \(f_n=f\) for all \(n\in {{\mathbb {N}}}\), then we say that f is uniformly \((m_n)\)-integrable on \(\varOmega \).
In the proof of our convergence results, we will use the following proposition:
Proposition 2.3
( [11, Proposition 2.10 and Corollary 2.8]) Let \((m_n)_n \subseteq {\mathcal {M}}^+(\Omega )\) converge setwisely to \(m \in {\mathcal {M}}^+(\Omega )\). Moreover, let \(f: \varOmega \rightarrow {\mathbb {R}}\) be uniformly \((m_n)\)-integrable on \(\varOmega \). Then \(f \in L^1(m)\) and for all \(A \in {{\mathcal {A}}}\)
We show that if \((f_n)_n\) satisfies a convexity condition of Copson’s type the convergence holds for the sequence \((f_n)_n\), not only for the function f (see (6) below).
Theorem 2.4
Let \(f_n: \Omega \rightarrow [0, +\infty ]\), \(n \in {{\mathbb {N}}}\), be a sequence of measurable functions satisfying (2) and let m and \(m_n\), \(n \in {{\mathbb {N}}}\), belong to \({\mathcal {M}}^+(\Omega )\). Then there exists a measurable function \(f: \Omega \rightarrow [0, +\infty ]\) such that \(\lim _{n \rightarrow \infty } f_n(x) =f(x)\) for all \(x \in \Omega \). Suppose that
(2.4.i) f is uniformly \((m_n)\)-integrable on \(\varOmega \);
(2.4.ii) \((m_n)_n\) is setwisely convergent to m.
Then, for all \(A \in {{\mathcal {A}}}\),
Proof
According to Copson’s theorem applied to each \(x \in \Omega \), we can find a function \( f: \Omega \rightarrow [0, + \infty ]\) such that
Since each function \(f_n\) is measurable, the function f is also measurable.
To prove the assertion, it is sufficient to prove the equality (6) for \(A= \varOmega \). Fix \(x \in \Omega \) and define for each \(n \ge k+1\)
Now by (2) and Lemma 2.1 it follows that
and \(\lim _{n \rightarrow +\infty } g_n(x) =f(x).\)
Therefore, applying the monotone convergence theorem for setwise converging measures ( [17, Corollary 6.2]) to the increasing sequence \((g_n)_n\) we get
Observe that \(\int _{\Omega }f dm \in [0, + \infty ]\). If \(\int _{\Omega }f dm = + \infty \), then since for all \(n \in {{\mathbb {N}}}\) \(g_n(x) \le f_n(x)\), passing to the limit we obtain
Assume that \(\int _{\Omega } f dm < + \infty \) and consider \(h_n(x)=\min \{ l_{n-1}(x), \dots , l_{n-k}(x)\}\) for \(n>k\), where \(l_n(x) = \sum _{j=1}^k f_{n-j}(x)\). The sequence \((l_n)_n\) satisfies the inequality
therefore, by Lemma 2.1 it follows that \((h_n)_n\) is an increasing sequence with
for all \(x \in \Omega \). Moreover, for every \(n>k\)
therefore, applying the Dominated Convergence Theorem for varying measures [30, Proposition 18, p.232] we conclude that
\(\square \)
If we consider now the decreasing case (3), we have the following
Theorem 2.5
Let \(f_n: \Omega \rightarrow [0, +\infty ]\) be a sequence of measurable functions such that (3) holds and let m and \(m_n\), \(n \in {{\mathbb {N}}}\), belong to \({\mathcal {M}}^+(\Omega )\). Then there exists a measurable function \(f: \Omega \rightarrow [0, +\infty ]\) such that \(\lim _{n \rightarrow \infty } f_n(x) =f(x)\) for all \(x \in \Omega \).
Suppose that
(2.5.i) \(f_1,f_2,\dots ,f_k \) are uniformly \((m_n)\)-integrable on \(\varOmega \) and \(f_1,f_2,\dots , f_k \in L^1(m) \);
(2.5.ii) \((m_n)_n\) is setwisely convergent to m.
Then, for all \(A \in {{\mathcal {A}}}\),
Proof
The existence of \( f: \Omega \rightarrow [0, + \infty ]\) such that \(\lim _{n \rightarrow +\infty }f_n(x)=f(x)\) for all \(x \in \Omega \) can be proved as in Theorem 2.4. It is sufficient now to show the equality (7) for \(A= \varOmega \). Fix \(x \in \Omega \) and define for \(n \ge k+1\),
By Lemma 2.1, \((g_n(x))_n\) is a decreasing sequence satisfying
moreover, by the definition of \(g_n(x)\) we get
Now observe that if \(f_1\) and \(f_2\) are in \(L^1(m)\) and are uniformly \((m_n)\)-integrable on \(\varOmega \), then the same is true for \(\max \{f_1,f_2\}= \frac{|f_1+f_2|+|f_1-f_2|}{2}\). Therefore, the function \(g_{k+1}(x)=\max \{f_{k}(x), \dots , f_{1}(x)\} \in L^1(m)\) and it is uniformly \((m_n)\)-integrable.
By Proposition 2.3 it follows that
Besides, \(f_n(x) \le g_{n+1}(x) \le g_{k+1}(x)\) for \(n>k\), so applying the Lebesgue convergence theorem for setwise convergent measures ( [30, Proposition 18, p.232]) we get
\(\square \)
2.2 Weakly Convergent Measures
We are now considering convergence theorems with convexity conditions on the functions and weakly converging measures.
For the following two results we suppose that \(\Omega \) is a locally compact Hausdorff space and \( {\mathcal {A}}\) will be its Borel \(\sigma \)-algebra. We denote by \(C_b(\Omega )\) the family of all bounded continuous functions on \(\Omega \).
We recall that a sequence \((m_n)_n\) converges weakly to m (\(m_n \xrightarrow []{w} m\), [21, Sect. 2.1]) if
We have the following
Theorem 2.6
Let \(f_n: \Omega \rightarrow [0, +\infty ]\), \(n \in {{\mathbb {N}}}\) be a sequence of lower semicontinuous functions satisfying (2) and let m and \(m_n\), \(n \in {{\mathbb {N}}}\), belong to \({\mathcal {M}}^+(\Omega )\).Then there exists a measurable function \(f: \Omega \rightarrow [0, +\infty ]\) such that \(\lim _{n \rightarrow \infty } f_n(x) =f(x)\) for all \(x \in \Omega \). Suppose that
(2.6.i) f is uniformly \((m_n)\)-integrable on \(\varOmega \);
(2.6.ii) f is continuous;
(2.6.iii) \((m_n)_n\) is weakly convergent to m.
Then, for all \(A \in {{\mathcal {A}}}\),
Proof
The proof follows as in Theorem 2.4, but in this case we have to apply the monotone convergence theorem for weakly convergent measures ( [17, Theorem 6.1]) when \(\int _{\Omega }f dm = \infty \).
If \(\int _{\Omega } f dm < + \infty \) then, as in the previous result, we have that
and since by (2.6.i) the function f is uniformly \((m_n)\)-integrable it follows that the sequence \((f_n)_n \) is uniformly \((m_n)\)-integrable on \(\varOmega \). Consequently, by the Lebesgue convergence theorem for weakly convergent measures ([17, Corollary 5.1]), we get
\(\square \)
If condition (3) holds instead, then the following can be proved.
Theorem 2.7
Let \(f_n: \Omega \rightarrow [0, +\infty ]\), \(n \in {{\mathbb {N}}}\), be a sequence of lower semicontinuous functions such that (3) holds and let m and \(m_n\), \(n \in {{\mathbb {N}}}\), belong to \({\mathcal {M}}^+(\Omega )\).Then there exists a measurable function \(f: \Omega \rightarrow [0, +\infty ]\) such that \(\lim _{n \rightarrow \infty } f_n(x) =f(x)\) for all \(x \in \Omega \).
Suppose that
(2.7.i) \(f_1,f_2,\dots ,f_k \) are uniformly \((m_n)\)-integrable on \(\varOmega \) and \(f_1,f_2,\dots , f_k \in L^1(m) \);
(2.7.ii) f is continuous;
(2.7.iii) \((m_n)_n\) is weakly convergent to m.
Then, for all \(A \in {{\mathcal {A}}}\),
Proof
The proof follows as that of Theorem 2.5. Since
and since by (2.7i) the function \(g_{k+1}\) is uniformly \((m_n)\)-integrable on \(\Omega \), it follows that the sequence \((f_n)_n \) is uniformly \((m_n)\)-integrable as well. Therefore, applying the Lebesgue convergence theorem for weakly converging measures ( [17, Corollary 5.1]) we deduce that
\(\square \)
3 Convergence Results for Measures Satisfying Convexity Conditions
In this section we will consider limit theorems of the following type:
where the sequence of measures \((m_n)_n\) satisfies a convexity condition.
It is known (see [12], p 30) that if \((m_n)_n\) is a sequence of measures converging setwise to a set function m, then m is a measure if one of the following holds:
-
1)
\((m_n)_n\) is an increasing sequence;
-
2)
(Vitali–Hahn–Saks) m is finite-valued.
We want first to prove that if we substitute the monotonicity condition by one of the following inequalities of Copson type,
or
where k is a fixed positive integer, the coefficients \(\alpha _j\) are strictly positive and \(\sum _{j=1}^k \alpha _j =1\), we still obtain that m is a measure.
Proposition 3.1
Let \((m_n)_n\) be a sequence in \({\mathcal {M}}^+(\Omega )\) converging setwisely to a set function \(m:{{\mathcal {A}}} \rightarrow {{\mathbb {R}}}\). If (10) holds then m is a measure.
Proof
Fix \(A \in {{\mathcal {A}}}\) and for \(n \ge k+1\) let
Then \(\nu _n(A) \le m_n(A)\) for each \(n>k\); indeed,
Moreover, \(\nu _n(A) \le \nu _{n+1}(A)\) for all \(n \in {{\mathbb {N}}}\), since
Therefore, \((\nu _n)_n\) is an increasing sequence of measures, thus it converges to a measure \(\nu \). We want to prove that the sequence \((m_n)_n\) converges to \(\nu \) as well. Fix \(A \in {{\mathcal {A}}}\). If \(\nu (A) \rightarrow +\infty \) then as
also \(m_n(A) \rightarrow +\infty \). Assume that \(\lim _{n \rightarrow + \infty } \nu _n(A)=\nu (A) < +\infty \). Then for every \(\varepsilon >0 \) there exists \(n_{\varepsilon } \in {{\mathbb {N}}}\) such that whenever \(n >n_{\varepsilon }\)
If \(1 \le s \le k\),
For each \(n > n_{\varepsilon }\) there is \(1 \le {\bar{s} }\le k\) for which \(m_{n+{\bar{s}}}(A)= \nu _{n+k+1}(A)\). Then
Also \(\nu (A) -\varepsilon < \nu _n(A) \le m_n(A)\), so if \(\alpha \) is the least of the coefficients \(\alpha _{\bar{s}}\) satisfying
we get
Therefore
whence
This implies that the sequence \((m_n)_n\) setwise converges to \(\nu \) which is a measure, and since by hypothesis \((m_n)_n\) converges to m, it follows that \(m=\nu \) is a measure. \(\square \)
An analogous result holds in the case of the reverse inequality in the convex combination, assuming that the measures \(m_1, m_2, \dots , m_k\) are finite-valued.
Proposition 3.2
Let \((m_n)_n\) be a sequence in \({\mathcal {M}}^+(\Omega )\) converging setwise to a set function \(m:{{\mathcal {A}}} \rightarrow {{\mathbb {R}}}\). If (11) holds and \(m_1, m_2, \dots , m_k\) are finite-valued, m is a measure.
Proof
The proof is similar to that of Proposition 3.1. In this case considering for \(n>k\) \(\nu _n(A)=\max \{m_{n-1}(A), \dots , m_{n-k}(A)\}\),
Since \(\nu _{k+1}(A)=\max \{m_{k}(A), \dots , m_{1}(A)\}\) is finite-valued, reasoning as before we obtain that there is a coefficient \(0< \alpha <1\) such that
and the thesis follows. \(\square \)
Besides, a sequence \((m_n)_n\) for which (10) holds can be shown to satisfy a domination condition.
Proposition 3.3
Let \((m_n)_n\) be a sequence in \({\mathcal {M}}^+(\Omega )\) converging setwise to a set function \(m: {{\mathcal {A}}} \rightarrow {{\mathbb {R}}}\) and satisfying (10). Then for all \(A \in {{\mathcal {A}}}\) and \(n\ge 1\), \(m_n(A) \le k m(A) \).
Proof
Fix \(A \in {{\mathcal {A}}}\). For \(n \ge k+1\) consider the sequence of measures \((\nu _n)_n\) defined by
Then
so also the sequence \((\nu _n(A))_n\) verifies the Copson’s inequality and if for \(n \ge k+1\)
then \(\eta _n(A) \le \eta _{n+1}(A)\) for all \(n >k\), and it follows by Lemma 2.1 that the sequence \(\eta _n(A)\) is divergent or it converges to some \(\lambda (A)\). If it is divergent there is nothing to prove, otherwise assume that it is convergent to \(\lambda (A)\) and so by the previous Proposition 3.1 it follows that \(\lambda \) is a measure and the sequence \((\nu _n)_n\) is also setwise convergent to \(\lambda \).
On the other hand by Proposition 3.1 the sequence \((m_n(A))_n\) converges to m(A), and from the definition of the sequence of measures \((\nu _n)_n\) it follows that \(\lambda (A)= k m(A)\).
To prove that \(m_n(A) \le k m(A) \), we observe that
and since the term \(m_{n-k-1}(A)\) is an addend in every term we get
Therefore
and the thesis follows. \(\square \)
Now we are able to prove the convergence results of this section.
Theorem 3.4
Let \(f:\Omega \rightarrow {{\mathbb {R}}}\) be a nonnegative measurable function and let \((m_n)_n\) be a sequence in \({\mathcal {M}}^+(\Omega )\) convergent setwisely to a set function \(m:{{\mathcal {A}}} \rightarrow {{\mathbb {R}}}\) and satisfying (10). Then for all \(E \in {{\mathcal {A}}}\)
Proof
It is sufficient to prove the equality (12) for \(E= \varOmega \). For every \(A \in {{\mathcal {A}}}\) and for all \(n \ge k+1\) let
Then as in Proposition 3.1 we get that the sequence \((\nu _n(A))_n\) is increasing and \(\nu _n(A) \le m_n(A)\) for all \(n>k\). Moreover, the sequence \((\nu _n)_n\) converges to m. So it follows by the convergence theorem for monotone measures ( [21, Theorem 2.1 (c)]) that
If \(\int _{\Omega } fdm = + \infty \), then one can see that
and the assertion is proved.
Assume now that \(\int _{\Omega } fdm < + \infty \), i.e. \(f \in L^1(m)\). It follows by Proposition 3.3 that \(m_n(A) \le k m(A) \) for all \(n \in {{\mathbb {N}}}\) and \(A \in {{\mathcal {A}}}\), also
therefore, the statement follows from [21, Theorem 2.1 (b)] \(\square \)
For the opposite inequality we have the next result.
Theorem 3.5
Let \(f:\Omega \rightarrow {{\mathbb {R}}}\) be a nonnegative measurable function and let \((m_n)_n\) be a sequence in \({\mathcal {M}}^+(\Omega )\) converging setwise to a set function \(m: {{\mathcal {A}} } \rightarrow {{\mathbb {R}}}\). Assume that (11) holds and \(\int _{\Omega } f dm_j < \infty \), for \(j=1, \dots , k\). Then for all \(E \in {{\mathcal {A}}}\)
Proof
It is sufficient to prove the equality (13) for \(E= \varOmega \). For every \(A \in {{\mathcal {A}}}\) and for all \(n \ge k+1\) let
Then as in Proposition 3.2 we get that the sequence \((\nu _n(A))_n\) is decreasing and for all \(n>k\) \(\nu _n(A) \ge m_n(A)\). Moreover, the sequence \((\nu _n)_n\) converges to the measure m. Also for all \(n>k\)
so it follows by [21, Theorem 2.1 (b)] that
\(\square \)
4 Application to Measure Differential Equations
We apply in this last section a previously obtained convergence result in order to get a continuous dependence feature of a measure differential equation
where \(\Omega =[0,1]\) and \({\mathcal {A}}\) is its Borel \(\sigma \)-algebra, \(m\in {\mathcal {M}}^+([0,1])\) and \(f:[0,1]\times {\mathbb {R}}^d\rightarrow {\mathbb {R}}^d\).
A function \(x:[0,1]\rightarrow {\mathbb {R}}^d\) is a solution of this problem if
where the integral is understood in Lebesgue sense.
We recall that every finite Borel measure on the real line coincides with the Lebesgue–Stieltjes measure induced by some non-decreasing left-continuous function (see [3, Theorem 3.21]), consequently looking for solutions in the described sense for such an equation is equivalent to looking for solutions of a Stieltjes differential equation (we refer to [19] or [27]).
A global existence and uniqueness result for measure differential equations under Lipschitz assumptions on the right-hand side, stated for the equivalent formulation with Stieltjes derivative, was given in [19, Theorem 7.3] (see also [13, Theorem 5.3], [19, Theorem 7.4] for local results). We can also refer to [33, Theorem 5.4].
Theorem 4.1
Let \(f:[0,1]\times {\mathbb {R}}^d\rightarrow {\mathbb {R}}^d\) satisfy:
-
i)
for every \(x\in {\mathbb {R}}^d\), \(f(\cdot ,x)\) is measurable;
-
ii)
\(f(\cdot ,x_0)\) is Lebesgue-integrable w.r.t. m;
-
iii)
there exists a map \(L:[0,1]\rightarrow [0, + \infty )\) Lebesgue-integrable with respect to m such that
$$\begin{aligned} \Vert f(t,x)-f(t,y)\Vert \le L(t)\Vert x-y\Vert ,\quad \textrm{for} \; m-a.e.\; t\in [0,1],\;x,y\in {\mathbb {R}}^d. \end{aligned}$$Then (14) has a unique solution on [0, 1].
We remind the reader that a function \(h: [0,1] \rightarrow {\mathbb {R}}\) is called regulated (we refer to [18] for a detailed discussion on this notion) if there exist
The following related concept ( [18]) is very useful for getting compactness for regulated functions; a set \({\mathcal {F}}\) of \({\mathbb {R}}^d\)-valued regulated functions on [0, 1] is said to be equi-regulated if for every \(\varepsilon >0\) and every \(t_0\in [0,1]\) there exists \(\delta >0\) such that, for all \(f\in {\mathcal {F}}\),
-
i)
\(\Vert f(t)-f(t_0-)\Vert <\varepsilon \) whenever \(t_0-\delta<t<t_0\);
-
ii)
\(\Vert f(s)-f(t_0+)\Vert <\varepsilon \) whenever \(t_0<s<t_0+\delta \).
We also recall, for completeness, a recent Gronwall inequality for measure differential equations.
Theorem 4.2
([26, Corollary 4.5]) Let \(u,K,L:[0,1)\rightarrow [0, + \infty )\) be such that \(L, K \cdot L, u \cdot L\) are Lebesgue-integrable w.r.t. the measure \(m\in {\mathcal {M}}^+([0,1])\). If
then
We present now the main result of this section on the behavior of the solution of (14) when the measure m is varying.
Theorem 4.3
Let \(f:[0,1]\times {\mathbb {R}}^d\rightarrow {\mathbb {R}}^d\) satisfy:
-
i)
for every \(x\in {\mathbb {R}}^d\), \(f(\cdot ,x)\) is measurable;
-
ii)
\(f(\cdot ,x_0)\in L^1(m)\);
-
iii)
there exists a map \(L:[0,1]\rightarrow [0, + \infty )\) Lebesgue-integrable with respect to m such that
$$\begin{aligned} \Vert f(t,x)-f(t,y)\Vert \le L(t)\Vert x-y\Vert ,\quad \mathrm{for\; all\;}t\in [0,1],\;x,y\in {\mathbb {R}}^d; \end{aligned}$$ -
iv)
there exists a map \(M:[0,1]\rightarrow [0, + \infty )\) Lebesgue-integrable with respect to m such that
$$\begin{aligned} \Vert f(t,x)\Vert \le M(t), \quad \mathrm{for\; all\;}t\in [0,1],\;x\in {\mathbb {R}}^d. \end{aligned}$$Let \((m_n)_n\) be a sequence in \({\mathcal {M}}^+([0,1])\) setwise convergent to \(m\in {\mathcal {M}}^+ ([0,1])\) and satisfying (10).
Then the sequence \((x_n)_n\) of solutions of the measure differential problems
converges uniformly on [0, 1] to the solution x of (14).
Proof
Let us first note that by Proposition 3.3, \(f(\cdot ,x_0)\), L and M are also Lebesgue-integrable w.r.t. every \(m_n\) since \(m_n\le k m\) for all \(n\in {\mathbb {N}}\).
Besides, the assumptions on f ensure that for any function \(y:[0,1]\rightarrow {\mathbb {R}}^d\), the map \(f(\cdot ,y(\cdot ))\) is measurable (therefore, by hypothesis iv) and the previous observation, Lebesgue-integrable w.r.t. m and also w.r.t. \(m_n\), for every \(n\in {\mathbb {N}}\)).
Then let us see that \((\Vert x_n-x\Vert )_n\) is bounded on [0, 1]. Indeed, for any \(n \in {{\mathbb {N}}}\) and \(t \in [0,1]\),
and using Proposition 3.3 brings us to
We can write, for each \(t\in [0,1]\),
Applying Theorem 3.4,
But the sequence \(\left( \int _{[0,\cdot )}f(s,x(s))d m_n(s)\right) _n\) is equi-regulated by [18, Theorem 3.10], as there is a nondecreasing function given on [0, 1] by
satisfying, for every \(0\le t<t'\le 1\) and every \(n \in {\mathbb N}\),
As it is well-known ( [18, Theorem 3.3]), any equi-regulated, pointwisely convergent sequence of regulated functions converges uniformly, therefore
i.e. for every \(\varepsilon >0\) one can find \(n_{\varepsilon }\in {\mathbb {N}}\) such that
Using now the Lipschitz assumption on f, for every such n we get
As \((\Vert x_n-x\Vert )_n\) is bounded on [0, 1], we can apply, for each \(n\ge n_{\varepsilon }\), the Gronwall type result ( [26, Corollary 4.5]), in order to deduce that
Again by Theorem 3.4, the sequence \((\int _{[0,1)}L(\tau )d m_n(\tau ))_n\) is convergent, therefore bounded, say by \(M_1>0\), whence
Consequently, for all \(t \in [0,1]\),
and so
Due to the left-continuity of \(x_n\) and x we get
and the proof is over. \(\square \)
References
Area, I., Fernández, F.J., Nieto, J.J., Tojo, F.A.F.: Concept and solution of digital twin based on a Stieltjes differential equation, Math. Methods Appl. Sci., (2022)
Avendaño-Garrido, M.L., Gabriel-Argüelles, J.R., Torres Quintana, L., González-Hernández, J.: An approximation scheme for the Kantorovich-Rubinstein problem on compact spaces. J. Numer. Math. 26(2), 63–75 (2018)
Bruckner, A.M., Bruckner, J.B., Thomson, B.S.: Real Analysis. Prentice-Hall, Upper Saddle River (1997)
Copson, E.T.: On a generalisation of monotonic sequences. Proc. Edinb. Math. Soc. 17, 159–164 (1970)
Costarelli, D., Croitoru, A., Gavriluţ, A., Iosif, A., Sambucini, A.R.: The Riemann-Lebesgue integral of interval-valued multifunctions. Mathematics 8(12), 1–17 (2020)
Croitoru, A., Gavriluţ, A., Iosif, A., Sambucini, A.R.: Convergence Theorems in Interval-Valued Riemann-Lebesgue Integrability, Mathematics, 10 (3), (2022), art. 450; https://doi.org/10.3390/math10030450
Croitoru, A., Gavrilut, A., Iosif, A., Sambucini, A.R.: A note on convergence results for varying interval valued multisubmeasures. Mathematical Foundation of Computing (2021). https://doi.org/10.3934/mfc.2021020
Dȩbicki, K., Engelke, S., Hashorva, E.: Generalized Pickands constants and stationarymax-stable processes. Extremes 20, 493–517 (2017)
Di Piazza, L., Marraffa, V., Satco, B.: Closure properties for integral problems driven by regulated functions via convergence results. J. Math. Anal. Appl. 466, 690–710 (2018)
Di Piazza, L., Marraffa, V., Satco, B.: Approximating the solutions of differential inclusions driven by measures. Ann. Mat. Pura Appl. 198, 2123–2140 (2019)
Di Piazza, L., Marraffa, V., Musiał, K., Sambucini, A.: Convergence for varying measures, J. Math. Anal. Appl., https://doi.org/10.1016/j.jmaa.2022.126782; ArXiv:2209.00354 (2022)
Doob, J.L.: Measure Theory, Springer-Verlag, 1994
Federson, M., Mesquita, J.G., Slavík, A.: Measure functional differential equations and functional dynamic equations on time scales. J. Diff. Eqs. 252, 3816–3847 (2012)
Feinberg, E.A., Kasyanov, P.O., Zgurovsky, M.Z.: Uniform Fatou Lemma. J. Math. Anal. Appl. 144, 550–567 (2016)
Feinberg, E.A., Kasyanov, P.O., Zgurovsky, M.Z.: Partially observable total-cost Markov decision processes with weakly continuous transition probabilities. Math. Oper. Res. 41, 656–681 (2016)
Feinberg, E.A., Kasyanov, P.O., Liang, Y.: Fatou’s Lemma for weakly converging measures under the uniform integrability condition. Theory Prob. Appl. 64(4), 615–630 (2020)
Feinberg, E.A., Kasyanov, P.O., Liang, Y.: Fatou’s Lemma in its classic form and Lebesgue’s Convergence Theorems for varying measures with applications to MDPs. Theory Prob. Appl. 65(2), 270–291 (2020)
Fraňková, D.: Regulated functions. Math. Bohem. 116, 20–59 (1991)
Frigon, M., López Pouso, R.: Theory and applications of first-order systems of Stieltjes differential equations. Adv. Nonlinear Anal. 6, 13–36 (2017)
García Trillos, N., Sanz-Alonso, D.: Continuum limits of posteriors in graph Bayesian inverse problems. SIAM J. Math. Anal. 50, 4020–4040 (2018)
Hernandez-Lerma, O., Lasserre, J.B.: Fatou’s Lemma and Lebesgue’s Convergence Theorem for measures. J. Appl. Math. Stoch. Anal. 13(2), 137–146 (2000)
Lasserre, J.B.: On the setwise convergence of sequences of measures. J. Appl. Math. and Stoch. Anal. 10(2), 131–136 (1997)
Linero-Bas, A., Nieves-Roldán, D.: A generalization of the monotone convergence theorem. Mediterr. J. Math. 8, 158 (2021)
Liu, S., Bousquet, O., Chaudhuri, K.: Approximation and convergence properties of generative adversarial learning, NIPS’17: Proceedings of the 31st International Conference on Neural Information Processing Systems, (2017), 5551-5559
Ma, L.: Sequential convergence on the space of Borel measures, arXiv preprint arXiv:2102.05840 (2021)
Marquez, I.A.: Notes on the linear equation with Stieltjes derivative, Electronic Journ. of qualitative Theory of Differential equations, 42, (2021), 1-18
Monteiro, G.A., Satco, B.: Distributional, Differential and Integral Problems: Equivalence and Existence Results. Electronic Jour. Qualit. Theory Differ, Equ (2017)
Pap, E., Gavriluţ, A.: Integrability of an Interval-valued Multifunction with respect to an Interval-valued Set Multifunction. Iranian Journal of Fuzzy Systems 15(3), 47–63 (2018)
Pouso, R.L., Márquez, I.A.: General existence principles for Stieltjes differential equations with applications to mathematical biology. J. Differential Equations 264, 5388–5407 (2018)
Royden, H.L.: Real Analysis, Collier-Macmillan Canada, 1968
Satco, B.: Continuous dependence results for set-valued measure differential problems. Electr. Jour. Qualit. Th. Diff. Equat. 79, 1–15 (2015)
Serfozo, R.: Convergence of Lebesgue integrals with varying measures, Indian J. Stat., Serie A, 44 (39), (1982), 380-402
Slavík, A.: Well-posedness results for abstract generalized differential equations and measure functional differential equations. J. Differ. Eqs. 259, 666–707 (2015)
Thorpe, M., Theil, F., Johansen, A.M., Cade, N.: Convergence of the k-means minimization problem using \(\Gamma \)-convergence. SIAM J. Appl. Math. 75, 2444–2474 (2015)
Acknowledgements
The authors express their thanks to the referee for his/her remarks and comments.
Funding
Open access funding provided by Università degli Studi di Palermo within the CRUI-CARE Agreement. This research has been accomplished within the UMI Group TAA ‘Approximation Theory and Applications’. It was supported by F.F.R. 2021 dell’Università degli Studi di Palermo: Marraffa and by INDAM-GNAMPA, prot. U-UFMBAZ-2022-000032 12-01-2022, Prof. Bianca Satco.
Author information
Authors and Affiliations
Contributions
All authors have contributed equally to this work for writing, review and editing. All authors have read and agreed to the published version of the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This research has been accomplished within the UMI Group TAA “Approximation Theory and Applications”. It was supported by F.F.R. 2021 dell’Università degli Studi di Palermo: Prof. Valeria Marraffa and by INDAM-GNAMPA,prot. U-UFMBAZ-2022-000032 12-01-2022, Prof. Bianca Satco.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Marraffa, V., Satco, B. Convergence Theorems for Varying Measures Under Convexity Conditions and Applications. Mediterr. J. Math. 19, 274 (2022). https://doi.org/10.1007/s00009-022-02196-y
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-022-02196-y