On continuity and compactness of some nonlinear operators in the spaces of functions of bounded variation

In this paper, we deal with one of the basic problems of the theory of autonomous superposition operators acting in the spaces of functions of bounded variation, namely the problem concerning their continuity. We basically consider autonomous superposition operators generated by analytic functions or functions of $$C^1$$C1-class. We also investigate the problem of compactness of some classical linear and nonlinear operators acting in the space of functions of bounded variation in the sense of Jordan. We apply our results to the examination of the existence and the topological properties of solutions to nonlinear equations in those spaces.


Introduction
In the recently published monograph [2], on p. 6 there are stated three basic problems concerning nonautonomous superposition operators acting in the space of functions of bounded variation in the sense of Jordan. The first problem concerns necessary and sufficient conditions which would guarantee that the nonautonomous superposition operator maps the space of functions of bounded variation in the sense of Jordan into itself and is locally bounded. In the paper [7] Bugajewska et al. have given the answer to this problem proving, in particular, the following Theorem 1 Suppose that f : [0, 1] × R → R is a given function. The following conditions are equivalent: 1. the nonautonomous superposition operator F, generated by f , maps the space BV [0,1] into itself and is locally bounded; 2. for every r > 0, there exists a constant M r > 0 such that for every k ∈ N, every finite partition 0 = t 0 < · · · < t k = 1 of the interval [0, 1] and every finite sequence The third problem mentioned in the monograph [2] concerns the continuity of autonomous and nonautonomous superposition operators described above. In connection with this problem, we would like to draw the reader's attention to the paper by Morse [23]. In Remark 5, we provide more comments on Morse's results contained in that paper.
In the first part of this paper, we deal with the continuity of autonomous superposition operators acting in the space of functions of bounded variation in the sense of Jordan. In particular, we prove that if the generator of an autonomous superposition operator is analytic or of C 1 -class, then that operator is continuous. Let us emphasize that our approach to the problem of continuity of autonomous superposition operator is much simpler than that proposed by Morse. It is based on some techniques developed by us in connection with the investigation of mappings of higher order in the spaces of functions of bounded variation in the sense of Jordan as well as on Bernstein polynomials. In Chapter 7 of the monograph [2], the authors discuss some applications of functions of bounded variation and nonlinear superposition operators acting in such spaces of functions to the theory of nonlinear integral equations. These applications contain and develop the existence and uniqueness results from the paper [8]. Let us also add that the proofs of all those results are based on the Banach contraction principle.
In this paper, we are going to establish that the basic conditions considered in the paper [8] imply the compactness of the Hammerstein integral operator as well as the Volterra-Hammerstein integral operator. As a consequence of this fact, one can use the Schauder-type fixed-point theorems to prove the existence of solutions to nonlinear integral equations under consideration in the classes of functions of bounded variation in the sense of Jordan. In the case of nonlinear Volterra-Hammerstein integral equation, we are also able to describe the topological structure of continuous solution sets to that equation which are of bounded varia-tion in the sense of Jordan. According to our best knowledge, it is the first attempt to establish an Aronszajn-type result for such solutions.
Let us emphasize that the investigation of solutions to nonlinear integral equations in the spaces of functions of bounded variation seems to be interesting for at least a few reasons. First, solutions to many nonlinear equations which describe concrete physical phenomena are functions of bounded variation in the sense of Jordan. We refer the reader to the papers [5] and [18] in which the authors deal with bounded variation solutions to nonlinear Volterra integral equations which describe, in particular, models of behavior of population, where a probability of death depends on age.
Finally, let us mention that functions of bounded variation also possess essential applications, for example, in the geometric measure theory (see, e.g., [1,22]), in image processing, analysis and recovery (see, e.g., [11,12,15,16,27]) or in the theory of Fourier series (see [30]). Let us add that some of those applications are based on the usage of the Mumford-Shah functional.

Preliminaries
Notation By N, we denote the set of positive integers. Moreover, throughout the paper by I , we will denote the unit interval [0, 1].
The closed ball in a normed space X with center at x and radius r ∈ (0, +∞) will be denoted by B X (x, r ). For simplicity, instead of B R (x, r ), we will simply write [x − r, x + r ]. As usual, by L p (J ) we will denote the Banach space of all the equivalence classes of real-valued functions defined on a bounded interval J ⊆ R which are either Lebesgue integrable with pth power, if p ∈ [1, +∞), or essentially bounded, if p = +∞, endowed with the norms f L p := J | f (t)| p dt 1/ p and f L ∞ := ess sup t∈J | f (t)|, respectively.
The Lebesgue measure will be denoted by μ. By B(I ), we will denote the Banach space of all bounded functions x : I → R, endowed with the supremum norm x ∞ = sup t∈I |x(t)|, and by C(I ) its closed subspace consisting of all the continuous functions defined on I . Throughout the paper by ' ,' we will denote the Lebesgue integral.
In the next two subsections, we collect basic definitions and facts which will be needed in the sequel.

Functions of bounded variation
Definition 1 Let p ∈ [1, +∞) and let x be a real-valued function defined on I . The number where the supremum is taken over all finite partitions 0 = t 0 < t 1 < · · · < t n = 1 of I , is called the p-variation of the function x over I .

Remark 1
If p = 1, then the number var 1 x is often referred to as the variation in the sense of Jordan of the function x and usually is denoted by the symbol 1 0 x. If 1 ≤ p ≤ q, then (var q x) 1/q ≤ (var p x) 1/ p (see for example [13,Remark 2.5] or [21, p. 55]).
where the supremum is taken over all finite partitions 0 = t 0 < t 1 < · · · < t n = 1 of I , is called the φ-variation (or variation in the sense of Young) of the function x over I .
In the sequel, unless stated otherwise, we will assume that all the φ-functions are convex.

Remark 2
It is well known that the following vector spaces of functions of bounded variation become Banach spaces, when endowed with the indicated norms: (see [25,Theorem 3.21]).
. If x ∈ X , then x is a Lebesgue measurable function (see [24,Theorem 10.7 (a) and Theorem 10.9]), and furthermore, there exists a positive constant c > 0 such that x ∞ ≤ c x X for every x ∈ X . For example, if X = BV 1 (I ), then c = 1.

Bernstein polynomials
Let us recall that the Bernstein polynomial of order n ∈ N of a function f ∈ C(I ) is defined by the formula If a > 0 and f : [−a, a] → R, we can modify the formula (1) to obtain Bernstein polynomials of the function f on the interval [−a, a], which are given by the formulas and n ∈ N.
In the sequel, we will use the following properties of Bernstein polynomials.  [19] for Bernstein polynomials of a function defined on the interval I , but they can be easily extended to Bernstein polynomials of functions defined on any interval of the form [−a, a].
For thorough treatment of approximation by Bernstein polynomials, we refer the reader to, for example, [14,19].

Continuity of the autonomous superposition operator
Actually, the first result in this section is strongly connected with [9,Theorem 4.1] in which gives the necessary and sufficient condition for an autonomous superposition operator acting in the Banach space BV 1 (I ) to be a mapping of higher order.
Proposition 4 Let f : R → R be a sum of a power series centered at 0 with the radius of convergence ρ = +∞, that is, there exist real numbers a 0 , a 1 , . . . such that Then the autonomous superposition operator F, generated by f , which maps the Banach space BV 1 (I ) into itself, is continuous.
Proof Let us note that the operator F is well defined, since the function f satisfies a local Lipschitz condition (cf. also [3, Theorem 6.13, p. 174]). For simplicity, let us denote where u ∈ R and u 0 = 1. Furthermore, let x 0 (t) ≡ 1 and a i x i for every n ∈ N and x ∈ BV 1 (I ).
Since BV 1 (I ) is a Banach algebra under certain norm equivalent to · BV 1 (cf. [3, p. 173] and [21]), the mapping F n : BV 1 (I ) → BV 1 (I ) is continuous. Therefore, in order to show the continuity of F, it suffices to show that the sequence of mappings (F n ) n∈N converges to F uniformly on bounded sets. Since the function where a is an arbitrary but fixed positive real number. This ends the proof.
The assumption of the analyticity of the generator of the autonomous superposition operator which appears in Proposition 4 can be replaced by a weaker assumption that this generator is of C 1 -class.
Theorem 2 Let f : R → R be a continuously differentiable function. Then the autonomous superposition operator F : BV 1 (I ) → BV 1 (I ), generated by the function f , is continuous.
Proof First, let us observe that the autonomous superposition operator F is well defined. In order to show its continuity, similarly to the proof of Proposition 4, we will approximate F by an almost uniformly convergent sequence of continuous mappings on BV 1 (I ).
For a given a > 0, let ϕ a denote the restriction of the function the autonomous superposition operator generated by the n-th order Bernstein polynomial B a n (ϕ a ) of the function ϕ a . Since BV 1 (I ) is a Banach algebra under certain norm equivalent to · BV 1 , the operators F n are clearly continuous. Now, we are going to show that the sequence (F n ) n∈N converges uniformly to F on Therefore, by Proposition 1 and Proposition 2, for x ∈ B BV 1 (0, a), we get → 0, as n → +∞, which ends the proof.
It turns out that a result similar to Theorem 2 may also be established for a wider class of generators f : R → R, under the additional cost of weakening the topology of the target space.

Theorem 3
Suppose that a function f : R → R is absolutely continuous on each compact subinterval of R. Moreover, assume that there exists a number q ∈ (1, +∞) such that f ∈ L q [−a, a] for every a > 0. Then the autonomous superposition operator F : Proof Fix a > 0. First, let us observe that for arbitrary real numbers u, w ∈ [−a, a] such that u < w, by the Hölder inequality, we get Therefore which shows that the superposition operator F, generated by the function f , is well defined. Now, we proceed as in the proof of Theorem 2. Fix a > 0 and denote by ϕ a the restriction of f to the interval [−a, a]. Since, the Banach space BV 1 (I ) is continuously embedded into BV p (I ) (see Remark 1), we infer that the superposition operators F n : B BV 1 (0, a) → BV p (I ), generated by the Bernstein polynomials of the function ϕ a , are continuous.
As before, to end the proof, it suffices to show that the sequence (F n ) n∈N converges uniformly on B BV 1 (0, a) to F. Let us observe that for every n ∈ N, the function ψ a n = ϕ a − B a n (ϕ a ) is absolutely continuous on [−a, a] and its derivative is q-th power Lebesgue integrable. Hence (cf. the formula (2)). This in turn implies that for every x ∈ B BV 1 (0, a), we get By Proposition 3, we infer that d du ψ a n L q [−a,a] → 0 as n → +∞, which shows that F n → F uniformly on B BV 1 (0, a) and ends the proof.
Since the derivative of a Lipschitz continuous function is essentially bounded (cf. [20, Theorem 7.1.5, p. 150]), from Theorem 3 we obtain the following Corollary 1 If f : R → R is a function which satisfies a local Lipschitz condition, then the autonomous superposition operator F : Remark 4 Let us observe that in Theorems 2 and 3, the Bernstein polynomials may be replaced by any other approximation scheme built on the polynomials approximating the given function as well as its derivative.
Remark 5 It is worth noting that the issue concerning the continuity of a superposition operator in the space BV 1 (I ) was also addressed by Morse, who in [23] proved that, if a generator f can be decomposed into functions of certain regularity, then the nonautonomous superposition operator, corresponding to the function f , acts in the space BV 1 (I ) and is continuous (see [23,Theorem 7.1]). It can be easily verified that every locally Lipschitzian function exhibits the above-mentioned decomposition (just take U (y 1 , y 2 ) = y 2 , A(t) = t and B(x) = f (x)), and therefore, Morse's result provides the complete answer to the question concerning the continuity of an autonomous superposition operator in the space BV 1 (I ) raised by the authors of the monograph [2]. Unfortunately, the problem of the continuity of superposition operators in the nonautonomous case still seems far from being fully solved, since the conditions imposed on the generator f in [23, Theorem 7.1] imply its continuity, whereas it is easy to see that there are nonautonomous superposition operators generated by discontinuous functions which map the space BV 1 (I ) into itself continuously; it is enough, for example, to consider the function f : I × R → R given by the formula Finally, it should also be emphasized that the proof of Morse's theorem is highly non-trivial and, although formally it is only one page long, it is based on several preceding results (which, by the way, are interesting by themselves) and therefore may be considered to be nearly 30 pages long. On the other hand, the proofs of our results, the assumptions of which are sufficient for many applications, are quite short and simple.
Now, we will pass to the more general setting. We will start with recalling some notions connected with moduli of continuity.

Remark 6
Every continuous function f : [−a, a] → R admits a modulus of continuity, which is given by the following formula (cf. [14, p. 40]). The modulus of continuity defined by (3) is often referred to as the optimal modulus of continuity of the function f .
In the sequel, we will need the following technical lemma, whose proof we omit, since it is similar to the proof of [14, Lemma 6.1, p. 43].
Before we proceed further, we recall the following property of modulus of continuity of Bernstein polynomials. Proof For an arbitrary finite partition 0 = t 0 < t 1 < · · · < t n = 1 of the interval I , we have At the end of this section, we are going to prove another result concerning φ-variation in the proof of which we use a similar idea as in the proofs of Theorems 2 and 3. Proof First, we shall show that the superposition operators are well defined, that is, for every x ∈ B BV 1 (0, a) the functions F(x), F n (x) are of finite φ-variation. Indeed, if 0 = t 0 < · · · < t m = 1 is an arbitrary finite partition of the interval I , then Remark 1). This shows that F(x) is of finite φ-variation. To prove that var φ F n (x) < +∞, it suffices to apply Proposition 5 along with the fact that ω f (t) ≤ ω(t) for t ≥ 0 and to follow the above reasoning. Now, we are going to show that for a given ε > 0 and for all but finitely many n ∈ N, we have Fix ε > 0 and choose δ > 0 to be such that δ p−1 < ε/a. Moreover, for an arbitrary finite partition 0 = t 0 < · · · < t m = 1 of the interval I , let us introduce the following sets Therefore, for every n ∈ N, we have In order to estimate the sum over N 2 , let us choose a number η > 0 such that φ(2η) ≤ δε/a. Furthermore, assume that the inequality sup s∈[−a,a] | f (s) − B a n ( f )(s)| ≤ η holds for all n ≥ n 0 , where n 0 ∈ N is a certain positive integer (cf. Proposition 1). Then, for i ∈ N 2 and n ≥ n 0 , we have Hence, for all n ≥ n 0 , we obtain

Hammerstein integral equation
In this subsection, we will be interested in the problem of the existence of solutions of bounded variation in the sense of Jordan to the following nonlinear Hammerstein integral equation where λ ∈ R. Let us make the following assumptions: 1 • f : R → R is a continuous function such that: (a) f is absolutely continuous on each compact subinterval of R; (b) there exists a number q ∈ (1, +∞) such that f ∈ L q [−a, a] for every a > 0; (c) f is sub-linear, that is, lim |u|→+∞ | f (u)|/|u| = 0; 2 • the kernel k : I × I → R is such that: Remark 7 Let us recall that the condition of type 2 • was introduced in the paper [8]. Moreover, let us note that if the kernel k satisfies the assumptions 2 • (a)-(c), then for every t ∈ I , the function s → k(t, s) is Lebesgue integrable on I . Indeed, given any t ∈ I , we have |k(t, s)| ≤ |k(0, s) − k(t, s)| + |k(0, s)| ≤

k(t, s)x(s)ds
exists and is finite for every t ∈ I . Moreover, if 0 = t 0 < t 1 < · · · < t n = 1 is an arbitrary finite partition of the interval I , then and therefore K x BV r ≤ c p k(0, ·) L 1 + m 1 x BV p . This proves that the operator K is well defined and continuous. Now, we will show that K is compact. If (x n ) n∈N is an arbitrary sequence of elements of B BV p (0, 1), then, in view of Helly's selection theorem (see [13, Theorem 6.1;26, Theorem 2.4]), there exists a subsequence (x n k ) k∈N , pointwise convergent to some x ∈ B BV p (0, 1). Let y k = x n k − x for k ∈ N. We will establish that K y k → 0 with respect to the BV r -norm. Given ε > 0 let k 0 ∈ N be such that by the dominated convergence theorem). If 0 = t 0 < t 1 < · · · < t m = 1 is an arbitrary finite partition of the interval I , then for k ≥ k 0 , we have which implies that which ends the proof. Now, we apply the above compactness result as well as the continuity result (Theorem 3) to prove the following existence theorem for Eq. (4). Proof If λ = 0, then the claim is obvious. Let us note that without the loss of generality, we may assume that λ = 1, and let us consider the operator G = K • F : where the integral operator K : BV p (I ) → BV 1 (I ), for p −1 + q −1 = 1, is given by (5), while the autonomous superposition operator F : BV 1 (I ) → BV p (I ) is generated by the function f . In view of Proposition 6 and Theorem 3, the operator G is continuous. Let us note that it is also completely continuous since F maps bounded sets of BV 1 (I ) into bounded sets of BV p (I ), which is a direct consequence of the inequality The sequence (u n ) n∈N may not be bounded, so there has to exist an appropriate subsequence (w n ) n∈N , such that |w n | → +∞ and then there exits λ > 0 such that the equation
Proof Let x ∈ L p (I ). First, let us observe that in view of Remark 8, the integral t 0

k(t, s)x(s)ds
exists and is finite for every t ∈ I , and thus the definition of the operator K does make sense. If 0 = t 0 < · · · < t n = 1 is an arbitrary finite partition of the interval I , then where ϑ : I × I → R is given by the following formula This proves that K x BV 1 ≤ m 2 L q · x L p , which means that K maps the space L p (I ) into BV 1 (I ) and is continuous.

Lemma 4 Let p ∈ (1, +∞]. Suppose that the assumptions 5 • (a) and (b) hold. If a bounded
sequence (x n ) n∈N in L p (I ) converges almost everywhere (or in measure) to a function x ∈ L p (I ), then the sequence (K x n ) n∈N , where K is given by (7), converges to K x with respect to the BV 1 -norm.
Proof First, let us note that K x, K x n ∈ BV 1 (I ) by Lemma 3. If 0 = t 0 < · · · < t n = 1 is an arbitrary finite partition of the interval I , then where the function ϑ : I × I → R is defined by (8).
(cf. the proof of Lemma 3), which, in view of the assumptions and Vitali's convergence theorem (see [20,Theorem 6.2.12]), shows that K x n − K x BV 1 → 0 as n → +∞.
The following example shows that Lemma 4 is false if p = 1.
Example 2 Let us consider a sequence (x n ) n∈N of Lebesgue integrable functions defined by the formulas x n (t) = n · χ [0,1/n] (t) for t ∈ I and n ∈ N.
Clearly, the sequence (x n ) n∈N is bounded in L 1 (I ) and converges almost everywhere to the zero function. If we take the kernel k equal identically to 1 on , then x n (s)ds = n · min(t, 1/n) for t ∈ I, which shows that 1 0 K x n = 1 for n ∈ N. Therefore, the sequence (K x n ) n∈N cannot converge to the zero function with respect to the BV 1 -norm.

Corollary 2
If the kernel k : → R satisfies the assumptions 5 • (a) and (b) with q = 1, then the integral operator K : BV 1 (I ) → BV 1 (I ) given by (7) is compact.
In the proof of the main result of this subsection, we will need a Vidossich-type result. Assume that D is a bounded and convex subset of a normed space, and E is a Banach space. Denote by C(D, E) the space of all bounded and continuous functions x : D → E, endowed with the supremum norm, similarly as in the case of real-valued functions. (ii) there exist t 0 ∈ D and x 0 ∈ E such that F(x)(t 0 ) = x 0 for every x ∈ C(D, E); (iii) for every ε > 0 and x, y ∈ C(D, E) the following implication holds (iv) every sequence (x n ) n∈N in C(D, E) such that lim n→∞ (x n − F(x n )) = 0 has a limit point.
Then the set of fixed points of the mapping F is a compact R δ , that is, it is homeomorphic to the intersection of a decreasing sequence of compact absolute retracts.
Let us refer the reader interested in other important results, similar to Theorem 7, to the papers [6] and [29]. Proof The proof falls into two parts. First, we shall show that the mapping defined for x ∈ C(I ) satisfies the assumptions of Theorem 7; let us note that the mapping F is well defined, that is, the above integral exists and is finite for every x ∈ C(I ) and t ∈ I (cf. Remark 8).
Let x ∈ C(I ). Given ε > 0, in view of the assumptions, there exists δ > 0 such that: This shows that F(x) ∈ C(I ). Furthermore, let us observe that the number δ in the above reasoning is independent of x, which implies that the set F(C(I )) is equiuniformly continuous. The continuity of the mapping F is a consequence of Lemma 4 and the fact that if a sequence (x n ) n∈N in C(I ) is uniformly convergent to x ∈ C(I ), then the sequence f (·, x n (·)) n∈N , which is bounded in L p (I ), converges a.e. to the function t → f (t, x(t)), t ∈ I .
The assumptions (ii) and (iii) of Theorem 7 are obviously satisfied, if we set t 0 = 0 and x 0 = g(0).
Hence, it suffices to prove that the mapping F satisfies the Palais-Smale condition. Let (x n ) n∈N be a sequence in C(I ) such that lim n→∞ (x n − F(x n )) = 0 with respect to the supremum norm. In view of the assumption 4 • and Lemma 3, we get F(x) BV 1 ≤ g BV 1 + m 1 L p · m 2 L q for x ∈ C(I ).
Therefore, by Helly's selection theorem there exists a subsequence (F(x n k )) k∈N of (F(x n )) n∈N pointwise convergent to a function y ∈ BV 1 (I ). Thus, (x n k ) k∈N is also pointwise convergent to y. Hence, for a.e. t ∈ I , we have f (t, x n k (t)) → f (t, y(t)) as k → +∞, and the sequence ( f (·, x n k (·))) k∈N is bounded in L p (I ). This, by Lemma 4, implies that (F(x n k )) k∈N converges to F(y) = y with respect to the BV 1 -norm, and so, since the supremum norm is weaker than the BV 1 -norm, the sequence (x n ) n∈N has a limit point in C(I ).
All the assumptions of Theorem 7 are satisfied, and therefore, the set S of all continuous solutions to Eq. (6) is a compact R δ in C(I ). To end the proof, it suffices to show that S endowed with the metric d ∞ induced by the supremum norm is homeomorphic to the set T of all continuous solutions to (6) of bounded Jordan variation, endowed with the metric d BV 1 induced by the BV 1 -norm. Note that S = T as sets (cf. the formula (9)), and since the BV 1 -norm is stronger than the supremum norm, we get that the identity map id : T → S is continuous. Now, we shall show that id : S → T is also continuous. Let us take a sequence (x n ) n∈N in S convergent to x 0 ∈ S. Reasoning as above, we infer that the sequence (F(x n )) n∈N converges to F(x 0 ) with respect to d BV 1 . But F(x n ) = x n for all n ∈ N ∪ {0}, and hence x n − x 0 BV 1 → 0 as n → +∞. This shows that the identity map constitutes a homeomorphism between the metric spaces T and S and, in consequence, it proves that the set of all continuous solutions to (6) of bounded variation in the sense of Jordan is a compact R δ set in C(I ) ∩ BV 1 (I ) with respect to the BV 1 -norm.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.