Applications of the Bielecki renorming technique

The renorming technique allows one to apply the Banach Contraction Principle for maps which are not contractions with respect to the original metric. This method was invented by Bielecki and manifested in an extremely elegant proof of the Global Existence and Uniqueness Theorem for ODEs. The present paper provides further extensions and applications of Bielecki's method to problems stemming from the theory of functional analysis and functional equations.


INTRODUCTION
The Banach Contraction Principle [2] provides a sufficient condition for the fixed point property of a self map of complete metric space in terms of contractivity. However, important situations occur when contractivity cannot be guaranteed whereas fixed point property is still expected. In such situations, the following idea may help: Find a metric in which the original space remains complete and in which the original map becomes a contraction. Then, the Contraction Principle applies. On the other hand, the fixed point property is a metric-independent, algebraic property. Thus our map must have a unique fixed point.
Another standard trick is to verify that some iterate of the given map is a contraction and then the unique fixed point property again follows from the Contraction Principle. In fact, this approach is less general than the remetrization technique: If, for T : X → X there exists k ∈ N such that T k is a q-contraction of the metric space (X, d), then T is a k √ q-contraction of the metric space (X, d k ), where d k (x, y) := d(x, y) + q − 1 k d(T x, T y) + · · · + q − k−1 k d(T k−1 x, T k−1 y) (x, y ∈ X).
Indeed, by the q-contractivity of T k , we have d k (T x, T y) = d(T x, T y) + q − 1 k d(T 2 x, T 2 y) + · · · + q − k−1 k d(T k x, T k y) ≤ d(T x, T y) + q − 1 k d(T 2 x, T 2 y) + · · · + q 1− k−1 k d(x, y) = q 1 k d k (x, y). The remetrization idea appears in the paper of Bielecki [6], and manifests in an extremely elegant proof of the Global Existence and Uniqueness Theorem for ODEs. In fact, this proof shows the unique solvability of an integral equation which is equivalent to the original Cauchy problem. Comparing this integral equation to that of Volterra, one can immediately discover their relationship. However, Volterra equations are handled quite differently: The standard approach is to show that some iterates of the map determined by the Volterra equation is a contraction in the original norm.
Therefore the question arises: Can we prove these results in the same way? In this paper, we give a positive answer to this question by Bielecki's method. We are going to investigate the nonlinear integral equation K t, s, x(s) dµ(s).
The unknown function x belongs to the space of continuous functions C (X, B), were B is a Banach space and X is a locally compact topological space with Radon measure µ. The integral is meant in the sense of Bochner. The domain of integration is given by a relation H ⊆ X 2 whose properties will be clarified later.
Our main results provide existence and uniqueness theorems for the solvability of the equation above. The sufficient condition that we need, the most important feature of the theorem, is the solvability of a homogeneous linear integral inequality which is connected to the Lipschitz property of the kernel function K. The advantage of this assumption is obvious: Finding a solution to a homogeneous linear integral inequality is much easier then finding the (unique) solution of an inhomogeneous nonlinear integral equation. Although this is not the aim of the paper, let us point out that our assumption can also be checked via standard numerical methods.
Let us point out, that several important particular cases of the above equation have been studied intensively. The monographs of Corduneanu [8], of Gripenberg, Londen, and Staffans [11], and of Guo, Lakshmikantham, and Liu [12] give an excellent overview of the topic. Corduneanu [8] presents a nice issue on the prehistory and the evolution of the seminal works of Fredholm [10] and Volterra [17].
Recent developments about integral equations basically extend the range of the functions beyond Banach spaces to fuzzy spaces [16] and so-called L-spaces [1]. However, the unknown functions are defined only on intervals. In our setup, the generalization concerns the domain, as well. This has an immediate effect even to the classical cases: we can treat the Volterra-and Fredholm-type equations with the Global Existence and Uniqueness Theorem simultaneously.
The paper is organized as follows. As preliminaries, we collect the most important tools from set theory, measure theory and functional analysis. The most important results in this section are an extension lemma which allows to change local fixed point properties to a global one, and a regularity lemma, which corresponds to the continuity of the classical integral function. An alternative approach to the Bochner integrability of continuous maps on compact domains is also presented. Finally, we introduce the spectral radius function and enlighten its connection to an integral equation. In the next section, we present our main results with their proofs. Finally, in the last three sections, we give several applications to Fredholm-and Volterra-type integral equations and to Presić-type functional equations. Our method allows us to present the Global Existence and Uniqueness Theorem of ODEs and of a Wawe-type Equation in a common, unique form.

PRELIMINARIES
Throughout in this paper, N and R + stand for the set of positive integers and the set of positive reals, respectively. The aim of this section is to give a brief overview of the needed theoretical background. In the first well-known statement let us recall the basic fixed point theorem which was established by Banach [2] in 1922.
Contraction Principle. If T is a self-map of a nonempty set S such that S can be equipped with a complete metric in which T is a contraction, then T has a unique fixed point in S. Furthermore, for all x 1 ∈ S, the sequence (x n ) n∈N defined by the Banach-Piccard iteration x n+1 := T x n converges to the unique fixed point of T .
In the sequel, some set-theoretical tools are presented. As usual, B X stands for all maps acting on X and having values in B. The restriction of x ∈ B X to a set H ⊆ X is denoted by x↾ H . Let F be a subset of B X and let T be a self-map of F . For a subset H of X, denote the set {x↾ H : In this case, T H (x ↾ H ) := (T x) ↾ H defines a function T H : F H → F H , which we call the natural restriction of T to F H . Our first extension result gives a sufficient condition in order to local fixed point properties be a global one.
(v) for all H ∈ H , the natural restriction T H has a unique fixed point x H ∈ F H . Then T has a unique fixed point in F .
follows. In particular, if x H 0 is the unique fixed point of T H 0 , we arrive at Thus x H 0 ↾ H is a fixed point of T H in F H . However, the fixed point of T H is unique, yielding x H 0 ↾ H = x H . This property enables us to define a function in the following way. If t ∈ X, then there exists H 0 ∈ H such that t ∈ H 0 . Then let x(t) := x H 0 (t). The definition is correct: If H 1 and H 2 share these properties, then there exists H ∈ H such that H ⊂ H 1 ∩ H 2 and t ∈ H. Hence, using the previous observation, Obviously, x↾ H = x H holds for all H ∈ H , and hence x belongs to F . Moreover, we show that x is a fixed point of T . Indeed, if t ∈ X and H ∈ H contains t, then On the other hand, any fixed point x ∈ F of T possesses x↾ H = x H . Therefore the uniqueness of x H provides the uniqueness of x, as well.
Using relations instead of covering families can be more convenient: It turns out that some wellknown properties of relations imply the first three properties of Proposition 1. We summarize these in the next result. As usual, any subset H of X 2 is termed a relation on X.  (ii) If H is reflexive and transitive, then, for all t 1 , t 2 ∈ X, Assume that X, Y are topological spaces, and H is a strongly surjective relation on X. If a map x : X → Y satisfies x↾ H(t) ∈ C (H(t), Y ) for all t ∈ X, then x ∈ C (X, Y ).
Proof. Assume that H is transitive. Fix s ∈ H(t) and choose u ∈ H(s). Then, (t, s) ∈ H and (s, u) ∈ H. By transitivity, (t, u) ∈ H. Thus u ∈ H(t), and hence H(s) ⊆ H(t) follows. Assume that H is reflexive. Then, t ∈ H(t) for all t ∈ X, in particular, for all t ∈ H(t 1 ) ∩ H(t 2 ). On the other hand, the transitivity implies that H(t) ⊂ H(t 1 ) ∩ H(t 2 ) also holds for all t ∈ H(t 1 ) ∩ H(t 2 ). Therefore, The reversed inclusion is trivial.
Assume that X, Y are topological spaces and H is strongly surjective on X. Consider a function x : X → Y fulfilling our requirement. Fix t 0 ∈ X and let V ⊂ Y be a neighborhood of where U is open (in the original topology) and contains t 0 . Thus W ⊂ X is a neighborhood of t 0 in the original topology, as well. Therefore, x ∈ C (X, Y ).
Consider the space B(X, B) of all bounded maps from a nonempty set X to a metric space (B, d).
In what follows, we will equip this space by a family of equivalent norms parametrized by admissible weight functions. A function p : X →]0, +∞[ is termed an admissible weight function on X if it satisfies 0 < inf X p ≤ sup X p < +∞; the collection of such functions is denoted by W (X). For an arbitrary p ∈ W (X) and x, y ∈ B(X, B), define The following result summarizes the properties of the function d p which will play a key role in the renorming processes.
Proposition 3. Let X be a nonempty set and (B, d) be a metric space. Then {d p | p ∈ W (X)} is a family of pairwise equivalent metrics on the space B(X, B). In addition, if (B, d) is complete, then (B(X, B), d p ) is also complete for all p ∈ W (X). Furthermore, the space C (X, B) of all continuous maps from a compact topological space X to a complete metric space Proof. It is elementary to see that d p is a metric on B(X, B) for all p ∈ W (X). For simplicity, the constant weight function p(t) = 1 on X will be denoted by 1. One can verify that which proves that d p is equivalent to d 1 for all p ∈ W (X). Hence {d p | p ∈ W (X)} is a family of pairwise equivalent metrics.
Let (B, d) be a complete metric space. In view of the equivalence of the metrics d p , it is sufficient to show that (B(X, B), d 1 ) is a complete metric space.
As previously, denote the set of all functions from X to B by B X . Then, the Cauchy criterion of uniform convergence holds in B X : A sequence (x n ) tends to x ∈ B X in the supremum distance d 1 if and only if, for all ε > 0 there exists δ > 0 such that holds, whenever n, m > δ and t ∈ X.
Consider now a Cauchy sequence in (B(X, B), d 1 ). This sequence fulfills the Cauchy criterion and hence converges uniformly to some element of B X . The triangle inequality guarantees that this element belongs to B(X, B), which then yields completeness.
If X is a compact topological space, then C (X, B) is a linear subspace of B(X, B). Therefore any Cauchy sequence (x n ) of C (X, B) is a Cauchy sequence also in B(X, B). By the previous part, (x n ) tends to some element x ∈ B(X, B) in the supremum distance. Now fix t 0 ∈ H arbitrarily. By the triangle inequality, x n (t 0 ) holds for any t ∈ X. This estimation gives the continuity of x at t 0 . Therefore C (X, B) is complete.
In a part of the investigations, we will use the Bochner integral [7]. For convenience, we recall its definition and its most important properties based on Yosida's book [18]. Let (X, Σ, µ) be a measure space and let (B, · ) be a Banach space. Consider a simple function x : X → B of the form where E 1 , . . . , E n are pairwise disjoint members of the σ-algebra Σ, the elements b 1 , . . . , b n belong to B, and χ E is the characteristic function of E. If µ(E k ) is finite whenever b k = 0, then x is called Bochner integrable, and its Bochner integral is defined by where the integral on the left-hand side is the usual Lebesgue integral. In this case, the Bochner integral of x is given by It can be shown that the definitions of Bochner integrability and the Bochner integral are independent on the choice of the approximating sequence. The Bochner integral shares many properties with the Lebesgue integral: It is linear, σ-additive and fulfills the triangle inequality.
Bochner's majorant condition for integrability plays a distinguished role. A function f : The last proposition gives a sufficient condition under which continuous functions are Bochner integrable. Its statement turns out to be crucial in our investigations.
Proposition 4. If X is a compact topological space with a finite Borel measure and B is a Banach space, then C (X, B) consists of Bochner integrable maps.
Proof. Let x ∈ C (X, B) be arbitrary. Since x is continuous and X is compact, x(X) is compact. In particular, x(X) is completely bounded and thus contains a countable dense subset D. The linear hull of D provides a separable subspace L: The rational linear combinations of D is a countable dense subset in L. Hence the range of x is contained in a separable linear subspace of B. By the continuity of x, the inverse image Using the compactness of X, the continuity of x, and the finiteness of the Borel measure µ, we arrive at Thus the desired statement follows from Bochner's majorant condition.
Assume that X is a topological space with a Radon measure µ.
As it is well-known, the integral of an integrable function is continuous at its upper limit. The next proposition extends this fact and, what is more important, will justify those integral equations which we are going to study.
Proposition 5. Let X be a topological space with a Radon measure µ, and let H ⊂ X 2 be a transitive, compact valued, strongly surjective, and µ-continuous relation. If B is a Banach space and R : H → B is continuous, then Proof. Note that the definition of Φ makes sense in view of Proposition 4. Fix t 0 ∈ X. The triangle inequality for the Bochner integral guarantees that Here the last term tends to zero as t → t 0 by the absolute continuity of the integral and by the µcontinuity of H at t 0 . Next we prove the same property of the first term by showing the boundedness of the integrand at a neighborhood of t 0 . Since H generates a strongly surjective map, there exists t * ∈ X such that t 0 ∈ H(t * ) • . By transitivity, since the right-hand side is the continuous image of a compact set. Using the µ-continuity, we arrive at the desired statement.
Finally, we show that the middle term tends to zero as t → t 0 . Clearly, it is sufficient to prove that . On the other hand, by the continuity of R, there exists a neighborhood U s of t 0 and a neighborhood V s of s, such that This completes the proof.
Observe that the existence of a compact-valued strongly surjective relation H ⊆ X 2 has a serious consequence: the underlying topological space X must be locally compact. Although this fact will not be stated explicitly, our results remain true in such spaces.
Let X be a topological space with a Radon measure µ and let H ⊆ X 2 be a reflexive, transitive, compact-valued, strongly surjective, and µ-continuous relation. Then, by Proposition 5, the map Λ H,µ defined by xdµ is a linear selfmap of the space C (X, R). This we will be called the core map associated to the pair (H, µ). In this context, it is also natural to introduce the spectral radius function of Λ H,µ by . . .
The spectral radius function is monotonic in the following sense: If s ∈ H(t), then the transitivity of H implies that H(s) ⊆ H(t), and hence, ρ H,µ (s) ≤ ρ H,µ (t).
Proposition 6. Let X be a topological space with a Radon measure µ, and let H ⊂ X 2 be a reflexive, transitive, compact valued, strongly surjective, and µ-continuous relation. Let L 0 ≥ 0 and t 0 ∈ X such that L 0 · ρ H,µ (t 0 ) < 1.
Then, (ℓ n ) is a nondecreasing sequence whose members belong to the space C (H(t 0 ), R) by Proposition 5. Moreover ℓ 0 = 1, which implies that 1 = ℓ 0 ≤ ℓ n . It is also easy to see that, for all t ∈ H(t 0 ) and n ∈ N, which shows that (ℓ n ) is a Banach-Piccard iteration sequence. The Cauchy-Hadamard Theorem and the assumption L 0 · ρ H,µ (t 0 ) < 1 guarantee that the series is convergent. On the other hand, for t ∈ H(t 0 ), the transitivity of H implies that H(t) ⊆ H(t 0 ), hence, for all k ∈ N, Therefore, the Weierstrass convergence theorem yields that is uniformly convergent for t ∈ H(t 0 ). The members of (ℓ n ) are continuous, therefore the pointwise limit function ℓ := lim n→∞ ℓ n is also continuous on H(t 0 ). The inequality 1 ≤ ℓ n implies that ℓ is positive everywhere. Finally, upon taking the limit n → ∞ in (2), it follows that ℓ satisfies the integral equation of the theorem.
If the spectral radius function of the core map associated to (H, µ) is equal to zero at some t 0 ∈ X, then as an immediate consequence of the Proposition 6, we get that the integral equation (1) has a positive continuous solution on H(t 0 ).

NONLINEAR INTEGRAL EQUATIONS
Our main results are presented in three theorems. The first one concludes the unique resolvability of nonlinear integral equations provided that there exists a solution of the corresponding linear homogeneous integral inequality. This assumption makes possible to apply the renorming technique of Bielecki. Moreover, it can easily be checked in practice via numerical methods.
Theorem 1. Let X be a topological space with a Radon measure µ, and let H ⊂ X 2 be a reflexive, transitive, compact valued, strongly surjective, and µ-continuous relation. Let B be a Banach space, and assume that the continuous kernel K : H × B → B fulfills the Lipschitz condition K t, s, x − K t, s, y ≤ L(t, s) x − y for all (t, s) ∈ H and x, y ∈ B with a continuous function L : H → R + . If f ∈ C (X, B) and, for all t 0 ∈ X, the linear homogeneous integral inequality

L(t, s)ℓ(s)dµ(s) < ℓ(t)
has a positive solution ℓ in : H(t 0 ) → R, then the nonlinear integral equation has a unique solution x in C (X, B).

K(t, s, x(s))dµ(s).
By Proposition 5, the right-hand side above is a continuous function of t. Thus, T is a self-map of the space C (X, B). Fix now t 0 ∈ X. If x, y ∈ C (X, B) fulfill x↾ H(t 0 ) = y ↾ H(t 0 ) , then by the transitivity of H, for all t ∈ H(t 0 ), we obtain

K(t, s, y(s))dµ(s) = (T y)↾ H(t 0 ) (t).
This shows that T is restrictable to C (H(t 0 ), B). Next we prove that this restriction, denoted by T as well, has a unique fixed point in C (H(t 0 ), B). Let ℓ : H(t 0 ) → R + be a positive and continuous solution of (3). By the compactness of H(t 0 ) and by Proposition 5 again, L(t, s)ℓ(s)dµ(s) < 1.
For x, y ∈ C (H(t 0 ), B), we have T x, T y ∈ C (H(t 0 ), B). Applying the Lipschitz-condition, with the notation p := 1/ℓ, we get that, for all t ∈ H(t 0 ), K(t, s, x(s)) − K(t, s, y(s)) dµ(s) Taking supremum in t ∈ H(t 0 ) in the initial term, we arrive at T x − T y p ≤ q x − y p . This means that the restriction of T to C (H(t 0 ), B) is a contraction in the p-norm. Thus T has a unique fixed point in C (H(t 0 ), B) by the Contraction Principle. Finally, Proposition 2 and Proposition 1 complete the proof.
It is important to observe that, under these assumptions, our theorem implies that the integral equation Then, (ℓ n ) is nondecreasing with respect to the pontwise ordering, it converges to ℓ, and the convergence is uniform on H(t 0 ) for all t 0 ∈ X. Therefore, 1 = ℓ 0 ≤ ℓ shows that ℓ is a positive continuous solution of (5) and thus also of (3) over the entire set X. The next result is a global existence and uniqueness theorem for the solvability of nonlinear integral equations. The role of the inequality (3) is hidden: Instead, we use the spectral radius function.
Theorem 2. Let X be a topological space with a Radon measure µ, and let H ⊂ X 2 be a reflexive, transitive, compact valued, strongly surjective, and µ-continuous relation. Let B be a Banach space, and assume that the continuous kernel K : H × B → B fulfills the Lipschitz condition K t, s, x − K t, s, y ≤ L(t) x − y for all (t, s) ∈ H and x, y ∈ B with a continuous function L : X → R + . If f ∈ C (X, B) and the spectral radius function ρ H,µ is identically zero on X, then the nonlinear integral equation (4) has a unique solution x in C (X, B).
Proof. Obviously, the Lipschitz condition of this theorem implies the weaker Lipschitz condition of Theorem 1. In order to draw the conclusion of this theorem, it is enough to verify the existence of a positive continuous solution of the integral inequality (3) for all t 0 ∈ X. For this goal, it is sufficient to prove the solvability of the integral inequality where L 0 = sup t∈H(t 0 ) L(t). This assertion, however, directly follows from ρ H,µ (t 0 ) = 0 and Proposition 6 because any solution of (1) is also a solution of the above inequality.
Finally, we state a theorem which allows multivariable kernels. Let us emphasize that, due to this property, it allows even retardations in the nonlinear integral equation.
Theorem 3. Let X be a topological space with a Radon measure µ, and let H ⊂ X 2 be a reflexive, transitive, compact valued, strongly surjective, and µ-continuous relation. Let B be a Banach space, and assume that the continuous kernel K : H × B n → B fulfills the Lipschitz condition K t, s, x 1 , . . . , x n − K t, s, y 1 , . . . , y n ≤ n k=1 L k (t, s) x k − y k for all (t, s) ∈ H and x k , y k ∈ B with continuous functions L k : H → R + . If f ∈ C (X, B), the functions ϕ 1 , . . . , ϕ n ∈ C (X, X) satisfy ϕ k • H ⊆ H for all k ∈ {1, . . . , n}, and, for all t 0 ∈ X, the linear homogeneous integral inequality has a positive solution ℓ in : H(t 0 ) → R, then the nonlinear retarded integral equation has a unique solution x in C (X, B).
Obviously, Theorem 3 implies Theorem 1. However, the proof of the above result is completely similar to that of Theorem 1, therefore it is omitted.

APPLICATIONS TO FREDHOLM-TYPE EQUATIONS
If X is a compact topological space with a Radon measure µ, then H = X 2 is a reflexive, transitive, and µ-continuous relation on X. Using this easy observation, Theorem 1 reduces to the next Fredholmtype result: Theorem 4. Let X be a compact topological space with a Radon measure µ, and let B be a Banach space. Assume that the continuous kernel K : X 2 × B → B fulfills the Lipschitz condition K(t, s, x) − K(t, s, y) ≤ L(t, s) x − y for all t, s ∈ X and x, y ∈ B with a continuous function L : X 2 → R + . If the linear homogeneous integral inequality X L(t, s)ℓ(s)dµ(s) < ℓ(t) has a positive solution ℓ in : X → R + , then the nonlinear Fredholm-type equation (6) x(t) = f (t) + X K(t, s, x(s))dµ(s) has a unique solution x in C (X, B).
Not claiming completeness, we sketch two consequences of this result. The first corollary is a special case of Theorem 4 if ℓ ≡ 1. In the second one, we assume that the Lipschitz modulus has a product form.
Corollary 1. Let X be a compact topological space with a Radon measure µ, and let B be a Banach space. Assume that the continuous functions K : X 2 × B → B and L : X 2 → R + fulfill the conditions K(t, s, x) − K(t, s, y) ≤ L(t, s) x − y and X L(t, s)dµ(s) < 1 for all t, s ∈ X and x, y ∈ B. Then the nonlinear integral equation (6) has a unique continuous solution x : X → B.
Corollary 2. Let X be a compact topological space with a Radon measure µ, and let B be a Banach space. Assume that the continuous functions K : X 2 × B → B and L 1 , L 2 : X → R + fulfill the conditions for all t, s ∈ X and x, y ∈ B. Then the nonlinear integral equation ( The particular cases of Corollary 1 and Corollary 2, when the kernel is the linear transform of the unknown function, may also be mentioned: Corollary 3. Let X be a compact topological space with a Radon measure µ. If f : X → R m and A : X 2 → R m×m are continuous and satisfy X A(t, s) dµ(s) < 1, then the inhomogeneous linear integral equation has a unique continuous solution x : X → R m . Corollary 4. Let X be a compact topological space with a Radon measure µ. If f : X → R m , further A 1 : X → R m×k and A 2 : X → R k×m are continuous such that X A 1 (s) A 2 (s) dµ(s) < 1, then the inhomogeneous linear integral equation has a unique continuous solution x : X → R m .
Observe that the original result of Fredholm follows from Corollary 3 in the special setting when X is a compact interval, µ is the Lebesgue measure, and the kernel takes real values.

APPLICATIONS TO VOLTERRA-TYPE EQUATIONS
The standard exposition of Volterra's result proves that a suitable iterate of the map defined via Volterra's equation is a contraction. Instead of the standard approach, we use the renorming technique and obtain a more general result. Now the solvability of the corresponding homogeneous linear inequality (3) remains hidden.
Consider the standard partial order ≤ on R n induced by the nonnegative orthant [0, ∞[ n : For a, b ∈ R n , the inequality a ≤ b means that the coordinates of b − a are nonnegative. In this case, we define the n-dimensional interval (rectangle) [a, b] ⊆ R n by We say that a set D ⊆ [0, ∞[ n is rectangular (with respect to the origin) if, for all u ∈ D, the rectangle  In what follows, we show that the spectral radius function ρ H,λ is identically zero on D. To accomplish this goal, first we prove by induction on k that, for all t ∈ D, Now assume that (8) holds for some k, and let t = (t 1 , . . . , t n ). Then, by Fubini's theorem, Finally, using the just have proved equality (8), for the spectral radius function ρ H,λ , we obtain Thus, the assertion directly follows from Theorem 2.
As the most important applications to Theorem 5, we present here two Corollaries. The first one extends the classical result of Volterra. In this extension, the Lipschitz property of the kernel can be checked directly, therefore we omit the details of the proof. The second application of Theorem 5 is an existence and uniqueness result for a boundary value problem for a special kind of partial differential equation. In the particular case when n = 1, it reduces to the Global Existence and Uniqueness Theorem, while for n = 2, it extends the one-dimensional Wave Equation.
Corollary 6. Let D ⊆ [0, ∞[ n be a rectangular set and denote Let F : D × R m → R m be a continuous map which fulfills the Lipschitz condition for all t ∈ D and x, y ∈ R m with a continuous function L : D → R + and let ϕ : D 0 → R m be a continuous function such that partial derivatives ∂ n ϕ, ∂ n−1 ∂ n ϕ, . . . , ∂ 2 · · · ∂ n ϕ exist on D 0 . Then there exists precisely one continuous solution x : D → R m of the Cauchy problem (9) ∂ 1 · · · ∂ n x(t) = F t, x(t) on D, Proof. Denote the set of singular and diagonal n × n matrices with entries in {0, 1} by Π n . First we show that (9) is equivalent to the integral equation For a fixed τ ∈ [0, ∞[ and k ∈ {1, . . . , n} such that D ∩ (D − τ e k ) = ∅, introduce the difference operator ∆ k;τ : where e k stands for the kth member of the standard base of R n .
Assume that x : D → R m is a continuous solution of the Cauchy problem (9). Then x is partially differentiable with respect to its nth variable on D. Similarly, ∂ n x is partially differentiable with respect to its (n−1)st variable on D. Finally, ∂ 2 · · · ∂ n x is partially differentiable with respect to its first variable on D and (9) hold on the indicated domains. The first equality shows that ∂ 1 · · · ∂ n x is continuous on D.
On the other hand, using the boundary condition of (9), one can see that For the converse statement, observe that the partial derivatives ∂ n f , ∂ n−1 ∂ n f , . . . , ∂ 2 · · · ∂ n f exist on D by the similar properties of ϕ. Furthermore, each term in the definition of f is independent of one of the variables, thus ∂ 1 · · · ∂ n f = 0 on D. On the other hand, by Fubini Theorem, . . . , s n , x(s 1 , . . . , s n ))ds 1 · · · ds n holds for any continuous solution x : D → R m of (10) and for all t = (t 1 , . . . , t n ) ∈ D. Differentiating both sides with respect to t n , . . . , t 1 , we obtain the first equality in (9). For the second equality, let t = (t 1 , . . . , t n ) ∈ D 0 be fixed. Then there exists k ∈ {1, . . . , n} such that t k = 0. In this case, the above equation yields x(t) = f (t). Thus it remains to show that f (t) = ϕ(t) holds.
Let E k ∈ Π n be that matrix whose entries are zero, except for the kth member of its diagonal. Let P k := E − E k , where E is the n × n unit matrix. Consider the transformation T : Π n → Π n given by T (P ) := P . + E k , where . + stands for the addition in the set {0, 1} modulo 2. Clearly, T is a bijection on Π n \ {P k }, and t k = 0 ensures T (P )t = P t. Furthermore, the parity of the ranks of P and T (P ) are the opposite, and P k t = t. Thus, Applying Theorem 5 to the equivalent integral form of our Cauchy problem, we get the statement of the Corollary.
As we have pointed out, the Global Existence and Uniqueness Theorem of ODEs is a direct consequence of Corollary 6. However, it is also worth mentioning that the original approach of Bielecki to this result manifests in the proof of Theorem 1. Indeed, let H ⊆ R 2 be defined by H(t) := [τ, t] for τ < t, and let f ≡ ξ ∈ R n be fixed initial value. Assume that the Lipschitz-modulus depends only on the second variable of the kernel. If Thus ℓ solves the corresponding inequality of (3) in this particular setting. Observe also, that the formula (8) in Theorem 2 shows a tight analogue with the standard approach to Volterra's result. However, this standard approach proves that a suitable iterate of the map defined by the original integral equation is a contraction in the original supremum norm.

APPLICATIONS TO PRESIĆ-TYPE EQUATIONS
Finally we investigate a class of single valued functional equations introduced by Presić in [15] and [14]. An excellent English exposition of his results can be found in [13]. The interaction of algebraic and analytic aspects of this topic is elaborated in [3] and [4]. The pure algebraic feature of the linear Presić-type equation is completely described in [5]. The next result is a sufficient condition for the unique solvability of the Presić-type equation, with no algebraic restrictions on the substituting functions. Let us emphasize, that both its philosophy and idea of proof are the same as in Theorem 4. Theorem 6. Let H be a reflexive, compact valued, strongly surjective relation on a topological space X, and let (B, d) be a complete metric space. Assume that ϕ 1 , . . . , ϕ n ∈ C (X, X) are such that ϕ k • H ⊆ H for all k ∈ {1, . . . , n}, and F ∈ C (X × B n , B) satisfies the Lipschitz condition d F (t, x 1 , . . . , x n ), F (t, y 1 , . . . , y n ) ≤ n k=1 L k (t)d(x k , y k ) for all t ∈ X and x k , y k ∈ B with continuous functions L k : X →]0, +∞[. If there exists a positive function ℓ in C (X, R) satisfying n k=1 L k (t)ℓ ϕ k (t) < ℓ(t) for all t ∈ X, then there exists a unique solution f in C (X, B) of the Presić-type functional equation (11) f (t) = F t, f (ϕ 1 (t)), . . . , f (ϕ n (t)) .
Thus T is restrictable to C (H(t), B). Now we prove that every natural restriction, denoted by T as well, has a unique fixed point. The compactness of H(t), the continuity of L k and ℓ, furthermore our assumption imply q := max s∈H(t) 1 ℓ(s) n k=1 L k (s)ℓ ϕ k (s) < 1.
Taking supremum for s ∈ H(t) in the left-hand-side term, we arrive at the desired contractivity property. Therefore, T has a unique fixed point in C (H(t), B) by the Contraction Principle. Finally, Proposition 2 and Proposition 1 show that T has a unique fixed point in C (X, B). This fixed point is the unique continuous solution of the Presić-equation.
The following result is an immediate consequence of the previous theorem.

Corollary 7.
Let H be a reflexive, compact valued, strongly surjective relation on a topological space X, and let B be a Banach space. Assume that ϕ 1 , . . . , ϕ n ∈ C (X, X) fulfill ϕ k (H(t)) ⊆ H(t) for all k ∈ {1, . . . , n} and t ∈ X, and F ∈ C (X × B n , B) satisfies the Lipschitz condition F (t, x 1 , . . . , x n ) − F (t, y 1 , . . . , y n ) ≤ The Presić equation was thoroughly treated and discussed in the monograph [9] by Czerwik. Our results are parallel to those in [9], however, our assumptions are less technical and our theorems are more general in many aspects, but these results are not comparable in general.