Approximate Diagonal Integral Representations and Eigenmeasures for Lipschitz Operators on Banach Spaces

Abstract

A new stochastic approach for the approximation of (nonlinear) Lipschitz operators in normed spaces by their eigenvectors is shown. Different ways of providing integral representations for these approximations are proposed, depending on the properties of the operators themselves whether they are locally constant, (almost) linear, or convex. We use the recently introduced notion of eigenmeasure and focus attention on procedures for extending a function for which the eigenvectors are known, to the whole space. We provide information on natural error bounds, thus giving some tools to measure to what extent the map can be considered diagonal with few errors. In particular, we show an approximate spectral theorem for Lipschitz operators that verify certain convexity properties.

1. Introduction

Diagonalization of operators is deeply tied to the linear character of the operators themselves. Indeed, interest in obtaining the eigenvectors of a given linear map implies that we can use them, together with the corresponding eigenvalues, to obtain an easy representation of the operator. If we think of the finite dimensional case, all symmetric operators are diagonalizable, so that for all of them one can find, after a change of basis, a diagonal form that gives the simplest representation of the map. Thus, a fruitful diagonalization theory has to provide a way to compute the eigenvectors, as well as a structural rule to extend the representation of the map (or at least an approximation) from the eigenvectors to the whole space. This is the point of view from which we develop the research presented in this paper: we consider the set of eigenvalues of a given map and use a given rule to approximate the original map starting from them.

What is fundamental in the present work is that we do not assume linearity, at least in its “full version”. Instead, we will use metric notions, approximating the value of the original endomorphism $T:E\to E$ in the Banach space E over complex field by using the “diagonal behavior” of functions at other points. The proximity of any other vectors in E to such points will then be used to find suitable approximate expressions. This is why the Lipschitz character of the functions involved is required, since we have to perform the extension/approximation formulas from the set of eigenvectors $ev\left(T\right)$ of T to the whole normed space $E.$ On the other hand, to be Lipschitz continuous seems to be a natural requirement for talking on the spectrum of a non-linear operator (see [1], Introduction, p. 3). Much research has been done for finding results on the spectrum of a Lipschitz operator that could be similar to those that hold in the linear case [1].

Of course, this topic is not new [1,2]. A lot of research has been done, from the abstract and the applied points of view, to understand what diagonalization would be for non-linear maps, and a lot of applied procedures to solve concrete issues appearing in relation to this have also being published (which are normally centered on “almost” linear cases, as the ones that appear in linear processes with non-linear perturbations). Recently, diagonalization of bilinear maps has been attracting attention [3,4], although it is also a classical topic (see [5]). As in the classical works regarding these problems, we will deal with the point spectrum of a given operator, that is, the set of values that satisfy the equation $T\left(x\right)=\lambda ·x$ for a non-trivial $x\in E.$ However, it must be said that the theoretical investigation on this type of problem has focused the attention on the non-linear spectral theory, which is, in general, richer than the study of the equation $f\left(x\right)=\lambda ·x.$ Although the early works on the topic [6,7] were centered on the analysis of the pointwise eigenvalue equation for non-linear maps, after the work of Kachurovskij [8], the theoretical research has been directed to the abstract analysis of the different notions of spectrum that can be formulated for non-linear maps, and concretely for Lipschitz continuous maps (the Rhodius, Neuberger, and Kachurovskij spectra, among others [1] (Chapter 5), that is, the general subject of the present paper. In this sense, in this paper we focus on the point spectrum. We will restrict our attention to functions of real Banach spaces and only consider real eigenvalues. This is an important restriction for the results we present since in many cases we will not be able to obtain complete diagonal representations; of course, even in the linear case complex eigenvalues could appear. The interested reader can find a complete explanation of these subjects in [1] (see also [9]). Some relevant results connecting these notions with the extensions of the concepts of numerical range/numerical index, to non-linear operators, are also known, showing the interest in this relation even in the non-linear case, for example, it is known that the Kachurovskij spectrum (5.9) of a Lipschitz continuous operator is contained in the convex closure of the numerical range [10] (Theorem 2). A lot of research is still been developed in this direction [11,12].

Additionally, non-linear eigenvalue problems are still attracting attention, mainly due to the large class of applications that these results find in other mathematical fields (see, for example, [1] (Chapter 12)). The proposed formalism can also be used as an analytic tool for models in geometry and physics, mainly those in which vector-valued integrals allow the description of mechanic properties of materials (moment of inertia, center of mass, …). A recent review on related topics and applications of non-linear diagonalization can be found in [13].

So, due to these potential applications, in this paper we focus attention on low-dimensional eigenvalue problems for non-linear operators. A lot of references of this kind of research can be found in the scientific literature on this topic. For example, some probabilistic methods for finding estimates of eigenvalues and eigenvectors have been developed. This point of view is interesting for us since our interest lies in measure and integration theory, which supports probabilistic interpretations. This line of research comes from computational mathematics and physics. One relevant example is the so-called stochastic diagonalization, which appeared at the end of the XX Century as a computational tool in quantum mechanics, as explained in [14]. The main idea is to use Monte Carlo methods for the computation of eigenvectors of the Hamiltonian of physical systems; under the label probabilistic diagonalization, these ideas can be found in [15] (Section 4) and [16,17,18]. In general, in real-world applications Monte Carlo sampling provides satisfactory computational results, which allow one to develop sophisticate procedures in the application of quantum mechanics, for example, in quantum chemistry (see, for example, [19,20,21]). In this paper, we intend to provide some new theoretical ideas for finding approximate representations of Lipschitz maps when some eigenvectors are known and to show some examples and concrete situations for which these formulas can be explicitly given (we call the specific methods for getting them “rules”); we show, for example, an approximate spectral theorem for Lipschitz maps based on convexity in Section 5.

The present paper is divided in six sections. After this Introduction, we describe, in Section 2, our goal: to write the linear case using our tools and some fundamental results for Lipschiz operators. In Section 3, we show some general examples that, in a sense, intend to illustrate the generality of different normal situations that we are considering. Section 4 is devoted to the case of a concrete extension procedure, which we call the “proximity rule”, and in Section 5 we explain what we call the “convexity rule”. We finish the paper by providing some hints (Section 6) on how effective computations can be performed for finding approximations to eigenvectors and eigenvalues of Lipschitz maps.

As a main theoretical framework, we adopt the usual mathematical context of the non-linear spectral theory; we use [1] as reference book for this. Standard definitions and arguments of measure and integration theory, as well as Banach spaces, will be used [22,23,24]. Our main reference on Lipschitz maps is [25]. For the aim of simplicity, we will consider only the real case. If E is a Banach space with norm $\parallel ·\parallel$, we write $E^{\ast }$ for its dual space, which in the (finite dimensional) Euclidean space and in the (real) Hilbert space can be identified with $E.$ We will write x for the vectors in E and $x^{\ast }$ for the elements of $E^{\ast }.$ The unit ball of the dual space $B_{E^{\ast }}$ is a convex set that is compact with respect to the weak* topology (Alaoglu’s Theorem; see, for example, [22]). Then, we can consider the space $\mathcal{M}\left(B_{E^{\ast }}\right)$ of regular Borel measures on $B_{E^{\ast }}$, which will play a relevant role in the present paper. Let us recall that, for any $x^{\ast }\in E^{\ast }$, the Dirac’s delta ${\delta }_{x^{\ast }}$ belongs to this space. In the same way, if E is a dual space or E is reflexive, we will write $\mathcal{B}\left(B_E\right)$ for the corresponding Borel sets. This notion can be extended to any norm bounded subset of E instead of $B_E$ by including it in a larger ball. As usual, we denote by $S_E$ to the unit sphere of $E.$

2. Approximation Results for Linear and Non-Linear Maps and First Results for Lipschitz Functions

The aim of this section is to explain the motivation of our investigation and to provide the first general results. Let us start by presenting how we can rewrite the well-known context of diagonalization or linear operators in terms of integral expressions, under the formalism provided by the recently introduced eigenmeasures [26]. We expect to find the best diagonal approximation to a given (linear and continuous) operator $T:E\to E.$ Following the mentioned paper, we introduce first a measure on $B_{E^{\ast }}$. We start by considering a (regular Borel) probability measure $\nu \in \mathcal{P}\left(B_{E^{\ast }}\right)$. Roughly speaking, this gives formal support for those elements of the dual space that we want to keep “active”, i.e., those whose actions on the elements of E we are interested in “keeping running”. In the linear case, this set can actually be quite small; in the case of dual Banach spaces with unconditional basis (or finite-dimensional spaces), we choose the simplest: take an unconditional normalized basis ${\left\{e_k^{\ast }\right\}}_{k=1}^{+\infty }$ of the dual space and define $\nu$ as

$$\nu \left(A\right)=\sum _{k=1}^{+\infty }\frac{1}{2^k}{\delta }_{e_k^{\ast }},A\in \mathcal{B}\left(B_{E^{\ast }}\right)\mathrm{if}E\mathrm{is}\mathrm{infinite}\mathrm{dimensional},$$

and

$$\nu \left(A\right)=\frac{1}{n}\sum _{k=1}^n{\delta }_{e_k^{\ast }},A\in \mathcal{B}\left(B_{E^{\ast }}\right)\mathrm{if}E\mathrm{has}\mathrm{dimension}n.$$

Since case E is a (real) separable Hilbert space or a finite dimensional Euclidean space, we choose the same measures, but the basis are assumed to be also orthonormal. In the general case, as will be shown later on, this formalism provides a useful tool for choosing renormings for the Hilbert space that is considered by means of an inclusion $x\ni E\mapsto \langle x,·\rangle \in L^2\left(\nu \right)$, and so every element x is identified with the function $\langle x,·\rangle$ acting on the elements of the unit ball of the dual space. It is clearly seen that this map is always continuous: we also need it to be injective to obtain an alternate representation of the original space. Throughout the paper, we will write ${\parallel ·\parallel }_{\nu }$ for the norm induced on E by the norm of $L^2\left(\nu \right)$, that is, ${\parallel x\parallel }_{\nu }=({\int }_{B_{E^{\ast }}}{\left|\langle x,·\rangle \right|}^2{d\nu (·))}^{1/2}$, $x\in E.$

Let us fix now the measure structure on the measurable space $(B_E,\mathcal{B}\left(B_E\right))$ that is needed to complete the integral diagonal representation of the approximation to the operator T. Let us recall the definition of weak eigenmeasure (Definition 2 in [26]), adapted for the case of linear maps.

Definition 1.

Let E be a reflexive Banach space and let $T:E\to E$ be an operator. Fix a Borel regular measure ν on $B_{E^{\ast }}$, and let μ be a Borel regular measure on a bounded subset of $E.$ We say that μ is a weak eigenmeasure for T if for each $N\in \mathcal{B}\left(B_{E^{\ast }}\right)$ there is a μ-integrable function $x\mapsto {\lambda }_N\left(x\right)$ such that

$${\int }_N\langle T\left(x\right),x^{\ast }\rangle d\nu ={\lambda }_N\left(x\right){\int }_N\langle x,x^{\ast }\rangle d\nu ,\mu -a.e.x\in B_E,$$

and the functions ${\lambda }_N\left(x\right)$ are uniformly bounded in N and $x\in E.$

In this paper, we will use a stronger version of this notion, which has been also introduced in [26]. We say that a probability measure satisfying the requirement above is an eigenmeasure if ${\lambda }_N\left(x\right)$ does not depend on N, that is, it has a constant value once x is fixed. Note that the linearity requirement for T is not necessary for this definition. The same notion can be defined in the same way for the case of Lipschitz maps, and in general for any function that satisfies the conditions necessary for all integrals to make sense.

It can be seen that the existence of an eigenmeasure $\mu$ implies a diagonal representation $\mu$-a.e. That is, for $\mu$-a.e., all elements $x\in B_E$, once the set N is fixed, we have a diagonal representation of the operator. Indeed, consider the set $ev\left(T\right)$ of all the vectors that satisfy that there is a scalar value $\lambda$ such that $T\left(x\right)=\lambda x:$ we have that, if $\mu$ is an eigenmeasure, $\mu (A\setminus ev(T\left)\right)=0$ for every measurable set $A\subset E$. In this paper, we intend to show to what extent this tool can be used to obtain quasi-diagonal representations of T for the case of linear operators. We will tackle this question in the following subsection for the canonical case, i.e., the Euclidean case in which v is given by the average of Dirac’s deltas of the elements of an orthonormal basis.

2.1. Motivation: Minimization Procedure and Calculation of the Best Diagonal Approximation for a Linear Operator in a Euclidean Space

In this section, we show the canonical case, which will allow us to explain the geometric meaning of the diagonal approximation of an operator. Let us take the real n-dimensional Euclidean space E. Its dual space can be identified with E, so we do not write the superscript ${}^{\ast }$ for any space or any element of the orthonormal basis. Thus, for a given orthogonal basis $\{e_1,\dots ,e_n\}$ fix the measure

$$\nu \left(A\right):=\frac{1}{n}\sum _{k=1}^n{\delta }_{e_k},A\in \mathcal{B}\left(B_{E^{\ast }}\right).$$

Note that, for this case, we have that for every $x\in E$,

$${\parallel x\parallel }_{\nu }={\left({\int }_{B_{E^{\ast }}}{\left|\langle x,·\rangle \right|}^{2}d\nu (·)\right)}^{1/2}={\left(\frac{1}{n}\sum _{i=1}^n{\left|x_k\right|}^2\right)}^{1/2}=\sqrt{\frac{1}{n}}\parallel x\parallel ,$$

where $x_k$, $k=1,\dots ,n$, are the coordinates of x in the fixed basis. Let us compute the optimal value for every element $x_0$ of the sphere $S_E$, which is represented by the Dirac’s measure $x_0\mapsto {\delta }_{x_0}$. The stochastic eigenvalue equation is then written, for $x_0\in S_E$ and every $N\in \mathcal{B}\left(B_E\right)$, as

$${\displaystyle \frac{1}{n}}\sum _{e_k\in N}\langle T\left(x_0\right),e_k\rangle ={\int }_{B_E}\left({\int }_N\langle T\left(x\right),x^{\ast }\rangle d\nu \left(x^{\ast }\right)\right)d{\delta }_{x_0}$$

$$={\int }_{B_E}\left({\lambda }_N\left(x\right){\int }_N\langle x,x^{\ast }\rangle d\nu \right)d{\delta }_{x_0}={\lambda }_N\left(x_0\right)\frac{1}{n}\sum _{e_k\in N}\langle x_0,e_k\rangle .$$

For example, for $N=\left\{e_k\right\}$, $k=1,\dots ,n$, we obtain the equations

$$\langle T\left(x_0\right),e_k\rangle ={\lambda }_k·\langle x_0,e_k\rangle \mathrm{for}{\lambda }_k={\lambda }_{\left\{e_k\right\}}\left(x_0\right),$$

what gives ${\lambda }_k=\frac{\langle T\left(x_0\right),e_k\rangle }{\langle x_0,e_k\rangle }$ if $\langle x_0,e_k\rangle \ne 0$, and ${\lambda }_k=0$ otherwise.

Let us show an estimate of the best $\lambda$ for which the equation $T\left(x\right)=\lambda \left(x\right)x$ holds for a given $x\in E$ in the integral setting that has been fixed above. In other words, we want to minimize the error

$$\epsilon \left(x\right)={\parallel T\left(x\right)-\lambda x\parallel }_{\nu }^2={\int }_{B_E}{|\langle T\left(x\right),x^{\ast }\rangle -\lambda \langle x,x^{\ast }\rangle |}^{2}d\nu \left(x^{\ast }\right).$$

The result has a clear geometric meaning: once the point $x\in S_E$ is fixed, the best diagonal approximation to $T\left(x\right)$ is the projection of $T\left(x\right)$ on the subspace generated by x. It is given by a direct minimization argument, summarized in the next result.

Proposition 1.

Consider the measure ν fixed at the beginning of this section for the n-dimensional Euclidean space. Let $x\in E$. Then, the following assertions hold.

(i) 

The best diagonal approximation to T in x is given by $x\mapsto \lambda \left(x\right)x$, where

$$\lambda \left(x\right)=\frac{\langle T\left(x\right),x\rangle }{{\parallel x\parallel }^2}=\frac{1}{{\parallel x\parallel }^2}\sum _{k=1}^n\langle T\left(x\right),e_k\rangle \langle x,e_k\rangle =\frac{1}{{\parallel x\parallel }^2}\sum _{k=1}^n\langle T\left(x\right),e_k\rangle x_k.$$

(ii) 

The minimal integral error $\epsilon \left(x\right)$ is given by

$$\epsilon \left(x\right)=\frac{1}{n}\left(\parallel T\left(x\right){\parallel }^2-\frac{{\langle T\left(x\right),x\rangle }^2}{{\parallel x\parallel }^2}\right).$$

Proof. 

(i)

Since the basis ${\left\{e_k\right\}}_{k=1}^n$ is orthonormal, we have that the error $\epsilon \left(x\right)$ can be written as

$${\int }_{B_E}|\langle T\left(x\right),x^{\ast }\rangle -\lambda \langle x,x^{\ast }\rangle {|}^{2}d\nu \left(x^{\ast }\right)=\frac{1}{n}\sum _{k=1}^n{|\langle T\left(x\right),e_k\rangle -\lambda \langle x,e_k\rangle |}^2=\frac{1}{n}{\parallel T\left(x\right)-\lambda x\parallel }^2.$$

Therefore, we can rewrite the error as

$$\epsilon \left(x\right)\left(\lambda \right)=\frac{1}{n}\left(〈T\left(x\right)-\lambda x,T\left(x\right)-\lambda x〉\right)=\frac{1}{n}\left({\parallel T\left(x\right)\parallel }^2-2\lambda \langle T\left(x\right),x\rangle +{\lambda }^2\langle x,x\rangle \right),$$

which gives

$$\epsilon \left(x\right)\left(\lambda \right)=\frac{1}{n}\left({\parallel T\left(x\right)\parallel }^2-2\lambda \langle T\left(x\right),x\rangle +{\lambda }^2{\parallel x\parallel }^2\right).$$

Recall that the vector x is fixed. The critical points equation involving the derivative with respect to $\lambda$ are

$$\frac{d\epsilon \left(x\right)}{d\lambda }=-\frac{2}{n}\langle T\left(x\right),x\rangle +\frac{2}{n}\lambda {\parallel x\parallel }^2=0,$$

that is, $\lambda =\langle T\left(x\right),x\rangle /{\parallel x\parallel }^2$. Since $\frac{d^2\epsilon \left(x\right)}{d{\lambda }^2}=2{\parallel x\parallel }^2/n>0$, this value of $\lambda$ gives a minimum. Therefore, the best diagonal approximation for $T\left(x\right)$ is $x\mapsto (\langle T\left(x\right),x\rangle /\parallel x{\parallel }^2)·x$.

(ii)

Just writing this value of $\lambda$ in the expression of the error, we find that the minimal value of the error at x is given by

$$\begin{array}{cc}\hfill \epsilon \left(x\right)& =\frac{1}{n}\left({\parallel T\left(x\right)\parallel }^2-2\frac{\langle T\left(x\right),x\rangle \langle T\left(x\right),x\rangle }{{\parallel x\parallel }^2}+\frac{{\langle T\left(x\right),x\rangle }^2}{{\parallel x\parallel }^4}{\parallel x\parallel }^2\right)\hfill \\ & =\frac{1}{n}\left({\parallel T\left(x\right)\parallel }^2-\frac{{\langle T\left(x\right),x\rangle }^2}{{\parallel x\parallel }^2}\right).\hfill \end{array}$$

 □

The best approximation to a diagonal form for any vector x in the space given by $\lambda \left(x\right)$ provides a direct way of representation of an operator. Of course, the only vectors for which the error $\epsilon$ equals 0 are the eigenvectors of the operator $T;$ clearly, we have that a linear operator $T:E\to E$ is diagonalizable if and only if there is a basis ${\left\{x_k\right\}}_{k=1}^n$ such that $\epsilon \left(x_k\right)=0$ for all $k=1,\dots ,n$.

Let us remark that, under the assumption of the existence of an orthonormal basis of eigenvectors for T, an integral representation formula is provided: take such a basis ${\left\{e_k\right\}}_{k=1}^n$ and consider an associated eigenmeasure $\mu$ that coincides with the measure $\nu$ that have been considered above. Then, for every $x_0\in E$ we have that

$$T\left(x_0\right)=\sum _{k=1}^n\lambda \left(e_k\right)\langle x_0,e_k\rangle e_k={\int }_{B_E}n\langle T\left(x\right),x\rangle \langle x_0,x\rangle xd\mu \left(x\right),$$

where $\mu (·)=\frac{1}{n}{\sum }_{i=1}^n{\delta }_{e_k}(·)$. Therefore, we can write a representation of a diagonalizable operator T as a Bochner integral average associated with the diagonal function $x\mapsto \lambda \left(x\right)·x$. This is the linear version of the main idea that we use in the subsequent sections of the paper: even for non-linear cases, an integral approximation to a function can be obtained as an integral average, once a(n) (approximated) eigenmeasure is known.

2.2. General Finite Dimensional Case: Local Diagonal Approximation for Functions $T:E\to E$

In this section, we show the general equations for the finite dimensional case, without linearity assumptions: no restriction is imposed on the function T, apart from some weak measurability properties. For the sake of clarity, we revert to the notation E for the original finite dimensional space and $E^{\ast }$ for its dual, which is isomorphic to it because it is finite dimensional.

Let us fix again the measures for getting an integral representation of an equivalent norm for E. Take regular Borel probability measures $\nu$ and $\mu$ on the spaces $S_{E^{\ast }}$ and $S_E$, respectively. Suppose that the probability measure $\nu$ separates the points of $S_E$, that is, it satisfies that if $x\in S_E$ we have ${\int }_{B_{E^{\ast }}}{\left|\langle x,x^{\ast }\rangle \right|}^{2}d\nu \left(x^{\ast }\right)\ne 0$. This requirement implies the injectivity of the representation provided by the norm in $L^2\left(\nu \right)$ that was explained at the beginning of this section, and it is enough to get that the norm ${\parallel x\parallel }_{\nu }={\left({\int }_{B_{E^{\ast }}}{\left|\langle ·,x^{\ast }\rangle \right|}^{2}d\nu \left(x^{\ast }\right)\right)}^{1/2}$ gives an equivalent norm for the space $(E,\parallel ·\parallel )$. Let us write $(E_{\nu },\parallel ·{\parallel }_{\nu })$ for the resulting normed space, which inherits a Hilbert space structure from the inclusion $E\hookrightarrow L^2\left(\nu \right)$ given by $x\mapsto \langle x,·\rangle$. This is the key for the introduction of stochastic arguments for the estimate of diagonal approximations. However, note that the dual space (and thus its unit ball) that we consider in this section is endowed with the natural norm of $(E,\parallel ·{\parallel )}^{\ast }$, that is, ${\parallel ·\parallel }_{E^{\ast }}={sup}_{x\in B_E}\left|\langle x,·\rangle \right|$.

Let us start as in the linear case, considering the diagonal error, that is, the measure of how far the operator is at point x of being diagonal. Given a vector $x\in S_{E_{\nu }}$, the error committed when $T\left(x\right)$ is approximated as a line following the direction of x is

$$\epsilon \left(x\right)={\int }_{B_{E^{\ast }}}|\langle T\left(x\right),x^{\ast }\rangle -\lambda \langle x,x^{\ast }\rangle {|}^{2}d\nu \left(x^{\ast }\right).$$

This provides a simplified error formula, which generalizes the geometric idea based on the projection on x of $T\left(x\right)$ explained in the previous section. The computations that give the proof are similar to the ones that prove Proposition 1 but consider the duality relation in $L^2\left(\nu \right)$ instead of that in the original space E.

Proposition 2.

Let $x\in E$ be fixed. Then, the error $\epsilon \left(x\right)$ attains its minimum value for

$$\lambda \left(x\right)=\frac{1}{{\parallel x\parallel }_{\nu }^2}{\int }_{B_{E^{\ast }}}\langle T\left(x\right),x^{\ast }\rangle \langle x,x^{\ast }\rangle d\nu \left(x^{\ast }\right)$$

and has the minimum value for this $\lambda \left(x\right)$ given by

$$\epsilon \left(x\right)={\int }_{B_{E^{\ast }}}{\left|\langle T\left(x\right),x^{\ast }\rangle \right|}^{2}d\nu \left(x^{\ast }\right)-{\left(\frac{1}{{\parallel x\parallel }_{\nu }^2}{\int }_{B_{E^{\ast }}}\langle T\left(x\right),x^{\ast }\rangle \langle x,x^{\ast }\rangle d\nu \left(x^{\ast }\right)\right)}^2$$

$$=\parallel T\left(x\right){\parallel }_{\nu }^2-{\left(\frac{1}{{\parallel x\parallel }_{\nu }^2}{\int }_{B_{E^{\ast }}}\langle T\left(x\right),x^{\ast }\rangle \langle x,x^{\ast }\rangle d\nu \left(x^{\ast }\right)\right)}^2.$$

We are ready to give the local version of the diagonal approximation for T. Recall that we are searching for an approximation provided by an integral average involving measures on the Borel subsets of E, mainly eigenmeasures. This makes it relevant to obtain integral formulas for subsets A that, in the next sections, will be neighborhoods of the point on which we focus our attention.

Thus, given a measurable subset $A\subset E$, the error committed when the function T is approximated as a diagonal integral average is given by

$$\epsilon \left(A\right)={\int }_A\left({\int }_{B_{E^{\ast }}}|\langle T\left(x\right),x^{\ast }\rangle -\lambda \langle x,x^{\ast }\rangle {|}^{2}d\nu \left(x^{\ast }\right)\right)d\mu .$$

The proof of the next result also follows the same arguments than the ones of Propositions 1 and 2.

Proposition 3.

Let $A\subseteq E$ be a non-μ-null measurable set. Then, the minimal average error $\epsilon \left(A\right)$ for the diagonal approximation is given by the formula

$$\epsilon \left(A\right)={\int }_A\parallel T\left(x\right){\parallel }_{\nu }^{2}d\mu \left(x\right)-\frac{1}{{\int }_A{\parallel x\parallel }_{\nu }^{2}d\mu }{\left({\int }_A\left({\int }_{B_{E^{\ast }}}\langle T\left(x\right),x^{\ast }\rangle \langle x,x^{\ast }\rangle d\nu \left(x^{\ast }\right)\right)d\mu \left(x\right)\right)}^2,$$

and it is attained for the value

$$\lambda \left(A\right)=\frac{1}{{\int }_A{\parallel x\parallel }_{\nu }^{2}d\mu }{\int }_A\left({\int }_{B_{E^{\ast }}}\langle T\left(x\right),x^{\ast }\rangle \langle x,x^{\ast }\rangle d\nu \left(x^{\ast }\right)\right)d\mu .$$

Note that, for $A\subset S\left(E\right)$, this formula can be rewritten as an integral average, $\lambda \left(A\right)=\frac{1}{\mu \left(A\right)}{\int }_A\left({\int }_{B_{E^{\ast }}}\langle T\left(x\right),x^{\ast }\rangle \langle x,x^{\ast }\rangle d\nu \left(x^{\ast }\right)\right)d\mu$. This expression suggests the arguments used in the next sections.

2.3. Approximation Formulas Based on Eigenmeasures: Bochner Integration for Lipschitz Maps

Let us present the integral approximation procedure that can be constructed by adapting the previous framework for the case of Lipschitz functions. Thus, let us describe now how to get an approximation based on eigenmeasures in this case. In [26], it is shown, for the case of bilinear maps, how the calculus of eigenmeasures can be used to deal with non-linear diagonalization. Here, we assume that such an eigenmeasure $\mu$ is given for a certain non-linear map $f:E\to E$, where E is a (finite dimensional) Euclidean space, and we show how we can use it to obtain an approximation to f. In order to do this, we change the context of scalar integration used before, which has been useful for the computation of the error and to obtain the best diagonal pointwise approximation for a given map, by the vector-valued Bochner integration.

The idea is to consider f as a Bochner (locally) integrable function (see, for example, [23], Chapter II). In order to do this, if $f:E\to E$ is a strongly measurable function (see [23], Chapter II), we consider the vector-valued function $A\subset E\to E$ given by $x\mapsto f\left(x\right)$ as a Bochner integrable function with respect to the measure $\mu$. Integration of such a function provides a (countably additive) vector measure, which assures convergence of the limits of the integrals on sequences of disjoint sets (see [23,24]). In order to get the desired integral representation, we only need f to be bounded in the sets A, which will be a certain class of neighborhoods of the points in the Euclidean space E.

Definition 2.

Let $f:E\to E$ be a Lipschitz function, and let μ be an eigenmeasure for f. We define the eigenmeasure approximation of a strongly measurable Lipschitz function for a given $ϵ>0$, under the requirement $\mu \left(B_{ϵ}\left(x_0\right)\right)>0$, by the formula

$${\widehat{f}}_{ϵ}\left(x_0\right):=\frac{1}{\mu \left(B_{ϵ}\left(x_0\right)\right)}{\int }_{B_{ϵ}\left(x_0\right)}f\left(x\right)d\mu \left(x\right),x_0\in E.$$

Let us write ${\lambda }_f(·)$ and ${\lambda }_{{\widehat{f}}_{ϵ}}(·)$ for the best approximated eigenvalue fixed for the functions f and ${\widehat{f}}_{ϵ}$, respectively.

We need a previous lemma for the computation of the error committed when we approximate the value of $f\left(x\right)$ by its projection on the subspace defined by other vector $x_0$. It is similar to Proposition 2, but in this case we are considering two different points, $x_0$ and x.

Lemma 1.

Let $x_0,x\in E$ and $f:E\to E$ satisfying all the requirements of integrability explained above. The best value of λ that minimizes the error

$${\epsilon }_{x_0}\left(x\right)=\parallel f\left(x\right)-\lambda x_0{\parallel }_{\nu }^2={\int }_{B_E}|\langle f\left(x\right)-\lambda x_0,x^{\ast }\rangle {|}^{2}d\nu \left(x^{\ast }\right)$$

committed when we approximate $f\left(x\right)$ by its projection on the subspace generated by $x_0$ is given by

$${\lambda }_{x_0}\left(x\right)=\frac{1}{\parallel x_0{\parallel }_{\nu }^2}{\int }_{B_E}\langle x_0,x^{\ast }\rangle \langle f\left(x\right),x^{\ast }\rangle d\nu \left(x^{\ast }\right).$$

Proof. 

The computations are again similar to the ones that prove Proposition 1. We have that

$${\epsilon }_{x_0}\left(x\right)={\int }_{B_E}|\langle f\left(x\right)-\lambda x_0,x^{\ast }\rangle {|}^{2}d\nu \left(x^{\ast }\right)$$

$$=\parallel f\left(x\right){\parallel }_{\nu }^2-2\lambda {\int }_{B_E}\langle x_0,x^{\ast }\rangle \langle f\left(x\right),x^{\ast }\rangle d\nu \left(x^{\ast }\right)+{\lambda }^2{\int }_{B_E}{\langle x_0,x^{\ast }\rangle }^{2}d\nu \left(x^{\ast }\right),$$

and so, by computing the value of the derivative with respect to $\lambda$ to be equal to 0, we obtain

$${\lambda }_{x_0}\left(x\right)=\frac{1}{\parallel x_0{\parallel }_{\nu }^2}{\int }_{B_E}\langle x_0,x^{\ast }\rangle \langle f\left(x\right),x^{\ast }\rangle d\nu \left(x^{\ast }\right).$$

 □

Remark 1.

Lemma 1 allows one to introduce a new concept, in the line of the integral means that the eigenmeasures formalism provides. If $x_0\in E$, we can consider the integral average ${\lambda }_{x_0}^{ϵ}$ of the pointwise diagonal approximation to f, which is given by

$${\lambda }_{x_0}^{ϵ}=\frac{1}{\mu \left(B_{ϵ}\left(x_0\right)\right)}{\int }_{B_{ϵ}\left(x_0\right)}{\lambda }_{x_0}\left(x\right)d\mu$$

$$=\frac{1}{\parallel x_0{\parallel }_{\nu }^2\mu \left(B_{ϵ}\left(x_0\right)\right)}{\int }_{B_{ϵ}\left(x_0\right)}{\int }_{B_E}\langle x_0,x^{\ast }\rangle \langle f\left(x\right),x^{\ast }\rangle d\nu \left(x^{\ast }\right)d\mu \left(x\right),$$

where the function ${\lambda }_{x_0}\left(x\right)$ is given in Lemma 1.

This value does not allow one to find a new eigenvector but provides the natural way of controlling how far a given vector $x_0$ is from being an eigenvector for the function f. Next result covers the relevant information about the behavior of the eigenmeasure approximation introduced in this section: expected error, both in the pointwise approximation to the function f and in the corresponding eigenvalues, and bounds for the distance among the value of the approximating at a given point $x_0$ and its optimal diagonal form. Note that even for a linear and continuous operator, it may happen that the set of eigenvectors is not sufficient to represent the operator by eigenmeasures: a rotation in ${\mathbb{R}}^2$ does not have eigenvectors.

Theorem 1.

Let ν be a regular Borel probability measure on $(B_E,\mathcal{B}\left(B_{E^{\ast }}\right))$. Consider a Lipschitz map $f:E\to E$ with Lipschitz constant $Lip\left(f\right)$ and assume that $ev\left(f\right)$ is non-trivial. Consider an eigenmeasure μ for f, and suppose that f is a strongly measurable function with respect to μ.

Fix a vector $x_0\in E$, and let $\epsilon >0$ such that $\mu \left(B_{ϵ}\left(x_0\right)\right)>0$. Then,

(1) 

${\parallel {\widehat{f}}_{ϵ}\left(x_0\right)-f\left(x_0\right)\parallel }_{\nu }\le Lip\left(f\right)·ϵ$.

(2) 

$|{\lambda }_f\left(x_0\right)-{\lambda }_{{\widehat{f}}_{ϵ}}\left(x_0\right)|\le \frac{Lip\left(f\right)}{\parallel x_0\parallel }·ϵ$.

(3) 

The distance with respect to the diagonal approximation to f, ${\parallel {\widehat{f}}_{ϵ}\left(x_0\right)-{\lambda }_{x_0}^{ϵ}{x}_0\parallel }_{\nu }$, is bounded by $\frac{1}{\mu \left(B_{ϵ}\left(x_0\right)\right)}\left({\int }_{B_{ϵ}\left(x_0\right)}\left({\parallel f\left(x\right)\parallel }_{\nu }^2-{\lambda }_{x_0}^2\left(x\right)·{\parallel x_0\parallel }^2\right)d\mu \left(x\right)\right).$

Proof. 

Again a rewriting of the arguments around Theorem 1 gives the result. Let us show them step by step.

(1)

It is just a consequence of the integral domination provided by the Lipschitz inequality for f. Indeed,

$${\parallel {\widehat{f}}_{ϵ}\left(x_0\right)-f\left(x_0\right)\parallel }_{\nu }=\parallel \frac{1}{\mu \left(B_{ϵ}\left(x_0\right)\right)}{\int }_{B_{ϵ}\left(x_0\right)}\left(f\left(x\right)-f\left(x_0\right)\right)d\mu \left(x\right)\parallel$$

$$\le \frac{1}{\mu \left(B_{ϵ}\left(x_0\right)\right)}\underset{x\in B_{ϵ}\left(x_0\right)}{sup}\parallel f\left(x\right)-f\left(x_0\right)\parallel \mu \left(B_{ϵ}\left(x_0\right)\right)\le Lip\left(f\right)·ϵ.$$

(2)

Let us recall that for any function f, and at any point $x_0$, the optimal value for $\lambda$ is ${\lambda }_f\left(x_0\right)={\int }_{B_E}\langle f\left(x_0\right),x^{\ast }\rangle \langle x_0,x^{\ast }\rangle d\nu \left(x^{\ast }\right)/{\parallel x_0\parallel }_{\nu }^2$. We have to use the property of the Bochner integration that assures that, if $\varphi$ is a Bochner integrable function with respect to a measure $\eta$, $\langle \int \varphi d\eta ,x^{\ast }\rangle =\int \langle \varphi ,x^{\ast }\rangle d\eta$ (see, for example, [27] (Lemma 11.44), or [23] (Chapter II)). Consequently,

$${\lambda }_{{\widehat{f}}_{ϵ}}\left(x_0\right)=\frac{1}{{\parallel x_0\parallel }_{\nu }^2}\left({\int }_{B_E}〈\frac{1}{\mu \left(B_{ϵ}\left(x_0\right)\right)}{\int }_{B_{ϵ}\left(x_0\right)}f\left(x\right)d\mu \left(x\right),x^{\ast }〉\langle x_0,x^{\ast }\rangle d\nu \left(x^{\ast }\right)\right)$$

$$=\frac{1}{{\parallel x_0\parallel }_{\nu }^2\mu \left(B_{ϵ}\left(x_0\right)\right)}{\int }_{B_E}{\int }_{B_{ϵ}\left(x_0\right)}\langle f\left(x\right),x^{\ast }\rangle \langle x_0,x^{\ast }\rangle d\mu \left(x\right)d\nu \left(x^{\ast }\right).$$

Therefore, using Fubini’s Theorem, we get

$$|{\lambda }_f\left(x_0\right)-{\lambda }_{{\widehat{f}}_{ϵ}}\left(x_0\right)|=\left|\frac{1}{{\parallel x_0\parallel }^2\mu \left(B_{ϵ}\left(x_0\right)\right)}\right({\int }_{B_{ϵ}\left(x_0\right)}{\int }_{B_E}\langle f\left(x_0\right),x^{\ast }\rangle \langle x_0,x^{\ast }\rangle d\nu \left(x^{\ast }\right)d\mu \left(x\right)$$

$$-{\int }_{B_E}{\int }_{B_{ϵ}\left(x_0\right)}\langle f\left(x\right),x^{\ast }\rangle \langle x_0,x^{\ast }\rangle d\mu \left(x\right)d\nu \left(x^{\ast }\right)\left)\right|=\frac{1}{\parallel x_0{\parallel }^2\mu \left(B_{ϵ}\left(x_0\right)\right)}$$

$$\times \left|{\int }_{B_{ϵ}\left(x_0\right)}{\int }_{B_E}\langle f\left(x_0\right)-f\left(x\right),x^{\ast }\rangle \langle x_0,x^{\ast }\rangle d\nu \left(x^{\ast }\right)d\mu \left(x\right)\right|$$

$$\le \frac{1}{\parallel x_0{\parallel }^2}\underset{x\in B_{ϵ}\left(x_0\right)}{sup}{\left({\int }_{B_E}{\left|\langle f\left(x_0\right)-f\left(x\right),x^{\ast }\rangle \right|}^{2}d\nu \left(x^{\ast }\right)\right)}^{1/2}{\left({\int }_{B_E}{\left|\langle x_0,x^{\ast }\rangle \right|}^{2}d\nu \left(x^{\ast }\right)\right)}^{1/2}$$

$$\le \frac{1}{\parallel x_0{\parallel }^2}\underset{x\in B_{ϵ}\left(x_0\right)}{sup}\parallel f\left(x\right)-f\left(x_0\right){\parallel }_{\nu }·{\parallel x_0\parallel }_{\nu }\le \frac{1}{\parallel x_0\parallel }·Lip\left(f\right)·ϵ.$$

(3)

Using Hölder inequality, we have that

$${\parallel {\widehat{f}}_{ϵ}\left(x_0\right)-{\lambda }_{x_0}^{ϵ}{x}_0\parallel }_{\nu }={\int }_{B_{ϵ}\left(x_0\right)}|〈\frac{1}{\mu \left(B_{ϵ}\left(x_0\right)\right)}{\int }_{B_{ϵ}\left(x_0\right)}f\left(x\right)d\mu \left(x\right),x^{\ast }〉-{\lambda }_{x_0}^{ϵ}\langle x_0,x^{\ast }\rangle {|}^{2}d\nu \left(x^{\ast }\right)$$

$$={\int }_{B_E}{|\frac{1}{\mu \left(B_{ϵ}\left(x_0\right)\right)}{\int }_{B_{ϵ}\left(x_0\right)}\langle f\left(x\right),x^{\ast }\rangle d\mu \left(x\right)-\frac{1}{\mu \left(B_{ϵ}\left(x_0\right)\right)}{\int }_{B_{ϵ}\left(x_0\right)}\langle {\lambda }_{x_0}\left(x\right)x_0,x^{\ast }\rangle d\mu |}^{2}d\nu \left(x^{\ast }\right)$$

$$\le {\int }_{B_E}\frac{1}{\mu \left(B_{ϵ}\left(x_0\right)\right)}{\int }_{B_{ϵ}\left(x_0\right)}{\left|\langle f\left(x\right)-{\lambda }_{x_0}\left(x\right),x^{\ast }\rangle \right|}^{2}d\mu \left(x\right)d\nu \left(x^{\ast }\right).$$

Thus, applying the equation for the best approximation provided by Lemma 1 and doing some standard calculations, we obtain that the minimal expression for this bound is given by

$${\parallel {\widehat{f}}_{ϵ}\left(x_0\right)-{\lambda }_{x_0}^{ϵ}·x_0\parallel }_{\nu }^2\le \frac{1}{\mu \left(B_{ϵ}\left(x\right)\right)}\left({\int }_{B_{ϵ}\left(x_0\right)}{\parallel f\left(x\right)\parallel }_{\nu }^{2}d\mu -{\int }_{B_{ϵ}\left(x_0\right)}{\lambda }_{x_0}^2\left(x\right)d\mu \left(x\right)·{\parallel x_0\parallel }_{\nu }^2\right).$$

 □

Remark 2.

The eigenmeasure approximation gives a direct formula to compute diagonal-based representation of operators. Note that, the smaller ϵ is, the better the approximation, but ϵ cannot in general converge to 0. Indeed, in this case it may happen that $ev\left(f\right)\cap B_{ϵ}\left(x_0\right)$ is empty, and so by the definition of eigenmeasure, $\mu (ev\left(f\right)\cap B_{ϵ}\left(x_0\right))=0$, which implies that the integral formula that gives ${\widehat{f}}_{ϵ}\left(x_0\right)$ equals 0.

Notice that this provides a way to approximate a Lipschitz function f once the set of eigenvectors of f is known, at least partially. Since we are thinking about computational applications supported by these ideas, we also need a numerical way of finding an approximation to the set $ev\left(f\right)$. One of the most straightforward methods would be the minimization of the functions $\left|f\right(x)-\lambda (x\left)x\right|$, which can be performed by sampling methods and Monte Carlo approximations of the integrals involved. Although explanations of these procedures and the algorithms involved are not part of the content of this paper, some hints are given in the last section.

3. Diagonalizable Non-Linear Operators: Examples and Situations

Let E be a Banach space. Suppose that $T:E\to E$ is a (non-necessarily linear) map such that the set of its eigenvectors $ev\left(T\right)$ is not empty. For every non-empty subset $S\subset ev\left(T\right)$, consider the restriction $T_S:S\to E$. We will say that a procedure for extending the value of the function T from $ev\left(T\right)$ to the whole space E is an extension rule (ER) if for every non-empty subset $S\subset ev\left(T\right)$, (ER) produces a unique extension ${\widehat{T_S}}^{{}_{ER}}:E\to E$ of $T_S$ (that is, ${\widehat{T_S}}^{{}_{ER}}\left(x\right)$ is well-defined for all $x\in E$, and ${\widehat{T_S}}^{{}_{ER}}{|}_S=T_S$).

Thus, we can establish that a map T is ER-diagonalizable if there is an increasing sequence of subsets ${\left(S_k\right)}_{k=1}^{+\infty }$ of $ev\left(T\right)$ such that for every $x\in E$,

$$\underset{n}{lim}{\widehat{T_S}}^{{}_{ER}}\left(x\right)=T\left(x\right).$$

Application of the usual linear extension rule for linear operators gives that such equality can be achieved exactly. However, in general we cannot expect to find a complete representation and only approximate expressions can be obtained. We will look for such approximations in the subsequent sections, after showing some basic examples in the present one.

3.1. Linear and Quasi-Linear Rules

Let us explain a general setting for using the usual framework of spectral representation of linear operators. In the finite dimensional case, diagonalization of a linear map is essentially given by linearity, once a basis of eigenvectors is obtained. If the operator allows a diagonal representation, the extension rule is then provided by the linear combination of eigenvectors, which define a basis of the space. Let us see how this can be extended to the nonlinear case.

Let $T:E\to E$, where E is a Banach space with an unconditional (or finite) normalized basis $\mathcal{B}:=\{b_1,\dots ,b_k,\dots :k=1,\dots ,n\}$, where $n\in \mathbb{N}\cup \{+\infty \}$. Assume that $\{\tau b_k:\tau \in \mathbb{R}\}\subset ev\left(T\right)$ for every k. Consider the projections $P_{b_k}\left(v\right)={\alpha }_k\left(v\right)b_k$, $v\in E$, and take a probability measure as $\mu ={\sum }_{i=1}^{+\infty }{\beta }_k{\delta }_{b_k}$, for ${\beta }_k\ge 0$. Then, T is diagonalizable under a linear rule conditioned to the basis $\mathcal{B}$, if we can write by means of the integral formula

$$T\left(v\right)={\int }_{S_E}\frac{1}{\mu \left(\right\{x\left\}\right)}.T\left(P_x\left(v\right)\right)d\mu \left(x\right).$$

Note that $\mu \left(\left\{b_k\right\}\right)={\beta }_k$, and this term does not appear in the integral if ${\beta }_k=0$. This expression can be rewritten, for the finite dimensional case, as

$$T\left(v\right)=\sum _{k=1}^{n}T\left(P_{b_k}\left(v\right)\right)=\sum _{k=1}^n\lambda \left(P_{b_k}\left(v\right)\right)·P_{b_k}\left(v\right)=\sum _{k=1}^n\lambda \left({\alpha }_k\left(v\right)b_k\right)·{\alpha }_k\left(v\right)·b_k.$$

Example 1.

Let us see a particular example. Take $E={\mathbb{R}}^2$ and the canonical basis $\mathcal{C}=\{b_1,b_2\}$, $b_1=(1,0)$, $b_2=(0,1)$. Take the function $f:{\mathbb{R}}^2\to {\mathbb{R}}^2$ given by

$$f(x_1,x_2)=\left(\right|x_1|x_1,|x_2\left|x_2\right),(x_1,x_2)\in {\mathbb{R}}^2.$$

If we write the eigenvalue equations

$$|x_1|x_1=\lambda x_1,\left|x_2\right|x_2=\lambda x_2,$$

we directly get that $(x_1,0)$ and $(0,x_2)$ are eigenvectors for all $x_1,x_2\in \mathbb{R}$, and the corresponding eigenvalues are $|x_1|$ and $|x_2|$, respectively. That is, all the vectors in the subspaces $\{\tau b_1:\tau \in \mathbb{R}\}$ and $\{\tau b_2:\tau \in \mathbb{R}\}$ are eigenvectors of T. Moreover, note that for

$$|x_1|=|x_2|=\lambda ,$$

we obtain that the vectors as $(x,x)$ and $(x,-x)$ for $x\in \mathbb{R}$ are also eigenvectors with eigenvalues $\left|x\right|$. Figure 1 provides a representation of the eigenvectors of T.

Consider the orthonormal projections $P_{b_k}\left(v\right)=\langle v,b_k\rangle b_k$, $v\in E$, $k=1,2$. Then, T is diagonalizable under the linear rule since

$$T\left(v\right)=\sum _{k=1}^{2}T\left(P_{b_k}\left(v\right)\right)=\sum _{k=1}^2\lambda \left(P_{b_k}\left(v\right)\right)·P_{b_k}\left(v\right)=\left|x_1\right|\langle x_1,b_1\rangle b_1+\left|x_2\right|\langle x_2,b_2\rangle b_2.$$

According to the given definition, this map is diagonalizable under a linear rule, the one given by this equation. Let us note that there are other eigenvectors that are not used in the representation, with which we could also define a basis of the space.

Example 2.

Linearization techniques for nonlinear operators are interesting tools used in many applied contexts. A relevant example is given by the so-called Koopman nodes, which allow one to treat nonlinear systems by means of linear procedures. This method is used to find spectral representations of observables in dynamical systems (see, for example, [28]). In [29], Koopman nodes are used to describe the behavior of complex nonlinear flows, in the context of fluid mechanics.

Let us briefly explain this procedure. Consider a dynamical system given by a function $f:E\to E$, $f\left(x_k\right)=x_{k+1}$. The Koopman operator is a linear operator U that acts on the space of all scalar functions $\mathcal{F}:X\to \mathbb{R}$ as $U\left(\phi \right)\left(x\right)=\phi \left(f\right(x\left)\right)$. Since U is linear, we can consider its diagonalization in order to obtain a set of eigenfunctions ${\phi }_j$ associated with eigenvalues ${\lambda }_j\in \mathbb{C}$ belonging to a certain function space. Consider an observable g, that is, a function $g:E\to {\mathbb{R}}^p$ for a given natural number p. If a countable number of eigenfunctions is sufficient to act as a basis of the subspace to which the p coordinate functions of g belong, we can expand g as

$$g\left(x\right)=\sum _{j=1}^{\infty }{\phi }_j\left(x\right)v_j,x\in E,$$

where the p coordinates of the vectors $v_j$ are the corresponding coefficients of the representations on the system ${\left\{{\phi }_j\right\}}_{j=1}^{\infty }$ of each coordinate function of g. The functions ${\phi }_j$ are called Koopman eigenfunctions, and the vectors $v_j$ the Koopman modes of the map f.

Our setting is similar in various aspects to the ones of the Koopman method, but we use measures and integral representations to facilitate the further use of integral averages to get approximation formulas. Let us see what happens in the case where the function f is a symmetric linear map $f:E\to E$ on the Euclidean space E. Take an orthonormal basis of eigenvectors $v_1,\dots ,v_n$ for f with eigenvalues ${\lambda }_1,\dots ,{\lambda }_n$, and the dual basis $w_1,\dots ,w_n$ of functions of the dual space $E^{\ast }$. Note that in this case the Koopman operator $U:E^{\ast }\to E^{\ast }$ is just the adjoint $f^{\ast }$ of f since

$$U\left(x^{\ast }\right)\left(x\right)=\langle f\left(x\right),x^{\ast }\rangle =\langle x,f^{\ast }\left(x^{\ast }\right)\rangle ,x\in E,x^{\ast }\in E^{\ast }.$$

Take now the identity map $I:E\to E$ as $g:$ the expansion formula is

$$x=\sum _{j=1}^n\langle x,w_j\rangle v_j,$$

that is, the Koopman nodes are in this case the eigenvectors of f, and we get a representation of f as

$$f\left(x\right)=\sum _{j=1}^n{\lambda }_j\langle x,w_j\rangle v_j.$$

Using our finite measure integration formalism, we can consider the measure $\nu =\frac{1}{n}{\sum }_{j=1}^n{\delta }_{w_j}$ and the eigenmeasure $\mu =\frac{1}{n}{\sum }_{j=1}^n{\delta }_{v_j}$ to get an integral representation of f as the Bochner integral

$$f\left(x_0\right)=n^2{\int }_{B_E}\lambda \left(x\right)\left({\int }_{B_{E^{\ast }}}\langle x_0,x^{\ast }\rangle \langle x,x^{\ast }\rangle d\nu \left(x^{\ast }\right)\right)xd\mu \left(x\right),x_0\in E,$$

where $\lambda \left(x\right)={\lambda }_j$ for $x=v_j$ and 0 otherwise. This gives a result equivalent to that obtained by the Koopman operator method. This procedure, which can also be applied in the nonlinear case by following the same steps, shows another example of a linear rule; other examples of application of Koopman nodes to nonlinear problems (and which could be rewritten in our terms) can be found in [29] (see Section 2.2 for application to periodic solutions of dynamical systems).

Example 3

(Quasi-linear rules). More sophisticated adaptations of the linear rule could be necessary to cover more complex applications to non-linear operators of interest in physics and other sciences. For example, the moment of inertia is a fundamental magnitude that is used in mechanical systems, and sometimes its time dependence has to be modelled, for example, in the description of the vibratory motion [30]. Let us show a related operator here. Let us consider a 2-dimensional system and suppose that the time dependence of an moment of inertia is given by the operator $T:{\mathbb{R}}^3\to {\mathbb{R}}^3$ (the third coordinate for the variable time t), given by the formula

$$T\left(v\right)=\left(\begin{array}{ccc}2t& 1& 0\\ 1& 2t& 0\\ 0& 0& 3\end{array}\right)\left(\begin{array}{c}x\\ y\\ t\end{array}\right),v=(x,y,t),$$

where x and y are the usual Cartesian coordinates of the points in ${\mathbb{R}}^2$, and the third coordinate represents a weighted counter of the time t. After a diagonalization process of T, the analyst can get (time-dependent) information about the principal axis of inertia of the physical systems that are represented by this operator. As in the linear case, a direct computation involving the characteristic polynomial of the matrix above provides eigenvalues of T. Indeed, the (time-dependent) solutions of the equation

$$\left|\begin{array}{ccc}2t-\lambda & 1& 0\\ 1& 2t-\lambda & 0\\ 0& 0& 3-\lambda \end{array}\right|=0,\mathrm{for}\lambda \in {\mathbb{R}}^2,$$

are ${\lambda }_1\left(t\right)=2t-1$, ${\lambda }_2\left(t\right)=2t+1$, and ${\lambda }_3\left(t\right)=3$. Note that the system is not linear, so no information about the general structure of the sets of eigenvectors is available. However, the vectors $(1,-1,0)$, $(1,1,0)$, and $(0,0,1)$ provide a basis for ${\mathbb{R}}^3$ of eigenvectors of T associated with ${\lambda }_1$, ${\lambda }_2$, and ${\lambda }_3$, respectively. If we write $x^{\prime }$, $y^{\prime }$, and $t^{\prime }$ for the coordinates of the vectors in ${\mathbb{R}}^3$ with respect to this new basis, we get the change of variables are given by the equations $x^{\prime }=(x-y)/2$, $y^{\prime }=(x+y)/2$ and $t=t^{\prime }$. A straightforward calculation shows that it provides an “integral representation” of T as

$$T\left(v\right)=(2t-1)\left(\begin{array}{c}(x-y)/2\\ (y-x)/2\\ 0\end{array}\right)+(2t+1)\left(\begin{array}{c}(x+y)/2\\ (x+y)/2\\ 0\end{array}\right)+3\left(\begin{array}{c}0\\ 0\\ t\end{array}\right)$$

$$={\lambda }_1\left(t\right)x^{\prime }{e}_1+{\lambda }_2\left(t\right)y^{\prime }{e}_2+{\lambda }_3\left(t\right)t^{\prime }{e}_3.$$

Thus, a quasi-linear “integral representation" as

$$T\left(v\right)=\sum _{e_i\in S\subset ev\left(T\right)}{\lambda }_i\left(v\right)P_{e_i}\left(v\right)e_i$$

has been obtained, where ${\lambda }_i\left(v\right)$ is the eigenvalue associated with $e_i$ depending on v, and where $P_{e_i}\left(v\right)$ gives the coordinate of v in the new basis.

3.2. Topological Rules

Although the approximation of a linear operator is essentially a topological question, the usual methods and techniques are strongly influenced by linearity. Point approximation can also be performed using sequences of locally constant functions, and, in fact, these functions are primarily used for approximation in the context of vector-valued integrable functions. These functions can usually be written as pointwise limits of simple functions, provided they belong to any Köthe–Bochner function space under some weak requirements of density or order continuity.

Let us recall the definition of (strong) eigenmeasure $\mu$ for an operator, applied to the context of functions $f:E\to E$, that will be useful in the present section. Although the definition provided in [26] is rather abstract, for the aim of this paper we can use the following version: let $\mathcal{B}\left(E_0\right)$ be the sigma-algebra of Borel sets of a multiple $E_0$ of the unit ball of the Banach space E associated with the norm topology. A measure $\mu :\mathcal{B}\left(E_0\right)\to {\mathbb{R}}^{+}$ is an eigenmeasure for a Bochner $\mu$-integrable map $f:E_0\to E$ (that is, the restriction of $f:E\to E$ to $E_0$) if it is a regular Borel probability measure such that

• $ev\left(f\right)\in \mathcal{B}\left(E_0\right)$, and
• for every $A\in \mathcal{B}\left(E_0\right)$, $\mu \left(A\right)=0$ if $\mu \left(A\cap ev\left(f\right)\right)=0$.

Note that, in this case, the Bochner integral of $f\left(x\right)$ can be used to reconstruct the diagonal part of the function f by the integral equations

$${\int }_{A}f\left(x\right)d\mu \left(x\right)={\int }_A\lambda \left(x\right)xd\mu \left(x\right),A\in \mathcal{B}\left(E_0\right).$$

In the case that the set $ev\left(f\right)$ is finite, $\mu$ can always be defined as a proper convex combination of Dirac’s deltas ${\delta }_{x_i}$, $x_i\in ev\left(f\right)$. Let us use these integral equations for the next construction.

Consider a function $f:{\mathbb{R}}^n\to {\mathbb{R}}^n$, $n\in \mathbb{N}$, which has a finite set of eigenvectors $ev\left(f\right)=\{x_1,\dots ,x_m\}$. Define a probability measure $\mu :\mathcal{B}\left(E_0\right)\to {\mathbb{R}}^{+}$ by

$$\mu \left(A\right)=\sum _{i=1}^m{\alpha }_i{\delta }_{x_i}\left(A\right),\sum _{i=1}^m{\alpha }_i=1,{\alpha }_i>0\mathrm{for}\mathrm{every}i,\mathrm{and}A\in \mathbb{B}\left(E_0\right),$$

where $E_0={max}_{i=1,\dots ,m}\parallel x_i\parallel ·B_E$.

Let us define the metric rule for the extension of such a function $f_0:ev\left(f\right)\to {\mathbb{R}}^{+}$ as follows: for every point $x\in E$, we compute the (measurable) set

$$M_x:=\left\{x_i\in ev\left(f\right):\underset{k=1,\dots ,m}{min}\parallel x_k-x\parallel =\parallel x_i-x\parallel \right\}.$$

Then, we define the extension $\widehat{f}$ by

$$\widehat{f}\left(x\right):=\frac{1}{\mu \left(M_x\right)}{\int }_{M_x}\lambda \left(y\right)yd\mu \left(y\right).$$

Therefore, we say that a function $f:E\to E$ with a finite number of eigenvectors is diagonalizable under a metric rule if there is an eigenmeasure $\mu$ such that

$$f\left(x\right)=\frac{1}{\mu \left(M_x\right)}{\int }_{M_x}\lambda \left(y\right)yd\mu \left(y\right)\mathrm{for}\mathrm{all}x\in E.$$

Example 4.

Consider the function $\varphi :({\mathbb{R}}^2{,\parallel ·\parallel }_2)\to ({\mathbb{R}}^2{,\parallel ·\parallel }_2)$ given by

$$\varphi \left((x_1,x_2)\right)=\left\{\begin{array}{cc}(0,1)\hfill & \mathrm{if}{x}_2>max\{x_1,-x_1\}\hfill \\ (0,-1)\hfill & \mathrm{if}{x}_2<min\{x_1,-x_1\}\hfill \\ (-1,0)\hfill & \mathrm{if}{x}_1<min\{x_2,-x_2\}\hfill \\ (1,0)\hfill & \mathrm{if}{x}_1>max\{x_2,-x_2\}\hfill \end{array}\right.$$

and having in the diagonal lines the averages of the values of the adjacent sectors. Thus, it is a constant function inside any of the regions defined by the diagonal lines in Figure 2, for which the minimal distance to any of the reference points $(1,0)$, $(-1,0),$ $(0,1)$, and $(0,-1)$ provides the value of the constant image vector.

The description of the function ϕ is easy: if we divide ${\mathbb{R}}^2$ into four sectors by the diagonal lines that intersect at $(0,0)$ that can be seen in Figure 2, we have that the function is constant in each of them, and it is also constant in the diagonal lines themselves.

It can also be equivalently defined, as explained in the explanation of the metric rule above. Consider the points $e_1=(1,0),$ $e_2=(0,1),$ $e_3=(-1,0)$ and $e_4=(0,-1)$. It is clear that they are eigenvectors for ϕ with eigenvalues equal to 1. Consider the eigenmeasure $\mu (·)=\frac{1}{4}{\sum }_{k=1}^4{\delta }_{e_k}(·)$. For each point x that is not in the diagonal lines, there is a point $e_k$ of these ones such that the set $M_x$ is given by $M_x=\left\{e_k\right\}$ since the distance to these points actually defines in which sector the point x is (see Figure 2). Therefore, for every element x inside of a sector, we apply the linear rule

$$\varphi \left(x\right)=\frac{1}{\mu \left(M_x\right)}{\int }_{M_x}\varphi \left(x\right)d\mu =\frac{1}{1/4}\varphi \left(e_k\right)·\frac{1}{4}=e_k.$$

Case x belongs to the diagonal lines, but it is not $(0,0)$; we have that there are two eigenvectors $e_k$ and $e_j$ that are at the same distance to x, getting in this case $M_x=\{e_k,e_j\}$, and so

$$\varphi \left(x\right)=\frac{1}{\mu \left(M_x\right)}{\int }_{M_x}\varphi \left(x\right)d\mu =\frac{1}{1/2}\left(\varphi \left(e_k\right)·\frac{1}{4}+\varphi \left(e_j\right)·\frac{1}{4}\right)=\frac{1}{2}(e_k+e_j).$$

Finally, $M_{(0,0)}=\{e_1,e_2,e_3,e_4\}$ and then

$$\varphi \left((0,0)\right)=\frac{1}{\mu \left(M_{(0,0)}\right)}{\int }_{M_{(0,0)}}\varphi \left(x\right)d\mu =\left(\sum _{k=1}^4\varphi \left(e_k\right)·\frac{1}{4}\right)=(0,0).$$

Example 5.

This easy procedure can be adapted to other situations to approximate non-linear operators using the minimal distance criterion. The idea is to use the suitable inequalities appearing in the description of the operator to control the error committed. For instance, in [31] the authors analyze a nonlinear multiparameter eigenvalue problem arising in the theory of nonlinear multifrequency electromagnetic wave propagation. Under certain conditions, the problem can be written as a system of n nonlinear single parameter eigenvalue problems, with linear and non-linear components. It is proved that the corresponding linear problems have a finite number of positive eigenvalues; however, the nonlinear ones have infinite positive eigenvalues, which provide eigentuples of the original multiparemeter problem not related to the solutions of the linear one-parameter problems. After some transformation, an eigenvector equation appearing in the formalism is defined as

$$f^{″}+\alpha f^3+ϵf=\lambda f$$

with f belonging to the space of functions with continuous second derivatives (see Equation (6) in [31]; see also Equation (15) in [32]). We can then search for the eigenvectors of the operator $T\left(f\right)=f^{\prime \prime }+\alpha f^3+ϵf$. Once we get a set $ev{\left(T\right)}_0$ of these eigenfunctions, we can find a naive approximation to $T\left(f\right)$ the value $T\left(u\right)$ for the function $u\in ev{\left(T\right)}_0$ that minimizes a certain “error function", using the inequality

$${\parallel T\left(f\right)-T\left(u\right)\parallel }_2\le \parallel f^{\prime \prime }-u^{\prime \prime }{\parallel }_2+\left|\alpha \right|\parallel f^3-u^3{\parallel }_2+ϵ{\parallel f-u\parallel }_2,$$

where we consider for example the norm ${\parallel ·\parallel }_2$ of function space $L^2$. Suppose that we can assume that map $g\mapsto g^{\prime \prime }$ is a Lipschitz map when considered from $ev{\left(T\right)}_0\cup \left\{f\right\}$ to $L^2$ and that all these functions are pointwise uniformly bounded in their domains by a constant Q. Then, we can get a Lipschitz type estimate for ${\parallel T\left(f\right)-T\left(u\right)\parallel }_2$ as

$${\parallel T\left(f\right)-T\left(u\right)\parallel }_2\le {K\parallel f-u\parallel }_2+\left|\alpha \right|\parallel (f-u)(f^2+fu+u^2){\parallel }_2{+ϵ\parallel f-u\parallel }_2\le R{\parallel f-u\parallel }_2$$

for $R=\left(K+\left|\alpha \right|3Q^2+ϵ\right)$. The best approximation by the metric rule would be given in this case by $f\approx {\lambda }_{u}u$, where u is the function in $ev{\left(T\right)}_0$ for which the minimal $L^2$ distance to f is attained. A more precise calculation would lead to a domination by the norm of the Sobolev space $W^{2,2}$.

There are a lot of nonlinear problems directly connected to differential operators arising in physics, biology, economics, and other sciences. Just to mention some recent developments, the papers [33,34] study the principal eigenvalue of p-biharmonic and $(p,q)$-biharmonic operators, which is applied to various differential equation problems appearing in physics. More specific results could be obtained by setting some requirements on the functions involved beforehand. Deeper assumptions of the functional setting would provide more possibilities to find more concrete applications, both in terms of how to obtain the eigenvectors of the operators and the general metric structure of the function spaces under consideration. For example, fixed-point results are often used in the search for eigenvalues of nonlinear functions, and more general notions of distance and function spaces can be used, including order-based tools [35,36,37,38].

3.3. The Lipschitz Case

Let us show now how a diagonalization procedure can be implemented in the context of Lipschitz maps. Obviously, the essential requirement in this case is that the operators to be diagonalized have to be Lipschitz; let usnote the example of application of a linear rule proposed in Section 3.1 (Example 1 is not Lipschitz, so the method presented here is not an extension of a linear-type rule). In fact, metric topology is used instead as it corresponds to the use of Lipschitz operators, but an additional tool is available in this case, so this situation is not an extension of the metric rule shown in Section 3.2: note that Example 4 is not given by a Lipschitz map.

Let us show a non-trivial case of diagonalizable Lipschitz map.

Example 6.

Let E be a Banach space, and consider the function $T:E\to E$ given by

$$T\left(x\right):=min\{1,\parallel x\parallel \}x,x\in E.$$

Let us show that T is a Lipschitz map. First, suppose that $\parallel y\parallel \le 1$. Then, we have that

$$\begin{array}{cc}\hfill \parallel T\left(x\right)-T\left(y\right)\parallel & =\parallel min\{1,\parallel x\parallel \}x-\parallel y\parallel y\parallel \hfill \\ & =\parallel min\{1,\parallel x\parallel \}x-min\{1,\parallel x\parallel \}y+min\{1,\parallel x\parallel \}y-\parallel y\parallel y\parallel \hfill \\ & \le min\{1,\parallel x\parallel \}\parallel x-y\parallel +|min\{1,\parallel x\parallel \}-\parallel y\parallel |\parallel y\parallel \hfill \\ & \le \parallel x-y\parallel +|\parallel x\parallel -\parallel y\parallel |\parallel y\parallel \le 2\parallel x-y\parallel .\hfill \end{array}$$

Of course, the same computations give the same result in case $\parallel x\parallel \le 1$. Finally, if $\parallel x\parallel >1$ and $\parallel y\parallel >1$, we obtain

$$\parallel T\left(x\right)-T\left(y\right)\parallel =\parallel x-y\parallel \le 2\parallel x-y\parallel ,$$

which gives that T is Lipschitz with constant $K\le 2$.

The main property of the function T is that it is “absolutely" diagonalizable: indeed, all the vectors in the space are eigenvectors, and for each of them the eigenvalue is given by $min\{1,\parallel x\parallel \}$. Similar examples could be obtained for special operators defined as $T\left(x\right)=f\left(x\right)·x$, with f being a real bounded Lipschitz function.

4. Approximation of Lipschitz Maps by the Proximity Rule

In case we have no more information than that provided by the fact that T is Lipschitz, we have to apply direct algorithms for obtaining an approximation to T. Let us show two methods to do it.

4.1. The Minimal Distance Extension of ${T|}_{ev\left(T\right)}$

Take a strictly decreasing sequence of positive numbers ${\left({ϵ}_i\right)}_{i=1}^{+\infty }$ such that ${lim}_i{ϵ}_i=0$, and consider an eigenmeasure $\mu$ for T. We can get an approximation to T as follows. We have to assume that norm-bounded subsets of $ev\left(T\right)$ are relatively norm-compact, which is obviously true if E is finite dimensional.

• Fix an element $x\in E$ and define $d_0=inf\{\parallel x-y\parallel :y\in ev\left(T\right)\}$. Consider the set $M_{{ϵ}_1}\left(x\right)=\{y\in S:\parallel x-y\parallel \le d_0+{ϵ}_1\}$.
• Choose an element $y_1\in M_{{ϵ}_1}\left(x\right)$.
• We consider the value of the first extension of T as ${\lambda }_{y_1}·y_1$, where ${\lambda }_{y_1}$ is the eigenvalue associated with $y_1$.
• Repeat the procedure to get a sequence ${\left(y_i\right)}_{i=1}^n$ in $ev\left(T\right)$ with associated eigenvalues ${\left({\lambda }_{y_i}\right)}_{i=1}^{+\infty }$. By the assumption on compactness, and taking into account that the sequence of vectors is bounded, there is a subsequence that converges to an element y. Let us write again ${\left(y_i\right)}_{i=1}^{+\infty }$ for the subsequence. Note that for each $i\in \mathbb{N}$, we have

  $$\parallel {\lambda }_{y_i}·y_i-T\left(y\right)\parallel =\parallel T\left(y_i\right)-T\left(y\right)\parallel \le Lip\left(T\right)·\parallel y_i-y\parallel ,$$

  and ${lim}_i\parallel y_i-y\parallel =0$.
  This allows one to define the extension $\widehat{T}$ as $\widehat{T}\left(x\right)=T\left(y\right)={lim}_i{\lambda }_{y_i}·y_i$.
• Note that, due to the Lipschitz inequality for T, we can write the following bound for the error committed.

  $$\begin{array}{cc}\hfill \parallel T\left(x\right)-\widehat{T}\left(x\right)\parallel & =\parallel T\left(x\right)-T\left(y\right)\parallel =\parallel T\left(x\right)-\underset{i}{lim}T\left(y_i\right)\parallel \le Lip\left(T\right)·\underset{i}{lim}\parallel x-y_i\parallel \hfill \\ & =Lip\left(T\right)·inf\{\parallel x-y\parallel :y\in ev\left(T\right)\}=Lip\left(T\right)·d_0.\hfill \end{array}$$
  This gives a basic extension procedure, for which the only requirements are the existence of a convenient set of eigenvectors and the Lipschitz inequality for T. Indeed, in case we have no information about the map T other than it is Lipschitz; we have to choose the point y in $ev\left(T\right)$ that makes the bound ${inf}_{x_i\in ev\left(T\right)}\parallel x_i-x\parallel$ to be (at least almost) attained. That is, if a point $x_{i_0}\in ev\left(T\right)$ attains this infimum, we approximate $T\left(x\right)$ by $T\left(x_{i_0}\right)$.
  However, this is not the best way of obtaining a good approximation for $T\left(x\right)$ if we can assume certain convexity properties for the map T. Essentially, we have to assume that the map T is nearly convex, that is, we can approximate it by a convex combination of eigenvectors as

  $$T\left(\sum _{x_i\in ev\left(T\right)}{\alpha }_i{x}_i\right),\mathrm{by}\sum _{x_i\in ev\left(T\right)}{\alpha }_{i}T\left(x_i\right).$$
  In case if we assume such property, we can find better error bounds, which suggests other approximation methods instead of the one provided by the nearest point in $ev\left(T\right)$. Recall that for this point to exist and to be unique for the next definition makes sense, we need some strict convexity conditions on X; we are assuming that the space X is uniformly convex. This is explained in Section 5. Before doing it, let us present a most elaborated version of the minimal distance extension just explained.

4.2. The Average Value Extension of ${T|}_{ev\left(T\right)}$

As in the previous case, take a strictly decreasing sequence of positive numbers ${\left({ϵ}_i\right)}_{i=1}^{+\infty }$ such that ${lim}_i{ϵ}_i=+\infty$ and consider an eigenmeasure $\mu$ for T. We can get an approximation to T as follows.

Fix an element $x\in E$, define $d_0=inf\{\parallel x-y\parallel :y\in ev\left(T\right)\}$, and consider the sets $M_{{ϵ}_i}\left(x\right)=\{y\in S:\parallel x-y\parallel \le d_0+{ϵ}_i\}$ , $i\in \mathbb{N}$.

Let us assume first that

$$\underset{i}{lim}\mu \left(M_{{ϵ}_i}\left(x\right)\right)>0;$$

we will see after about what to do in the case ${lim}_i\mu \left(M_{{ϵ}_i}\left(x\right)\right)=0$.

Write $M_0\left(x\right)$ for the measurable set ${\cap }_{i=1}^{+\infty }{M}_{{ϵ}_i}\left(x\right)$. Note that, by the monotone convergence theorem,

$$\mu \left(M_0\left(x\right)\right)=\mu \left({\cap }_{i=1}^{+\infty }{M}_{{ϵ}_i}\left(x\right)\right)=\underset{i}{lim}\mu \left(M_{{ϵ}_i}\left(x\right)\right)>0$$

and so $M_0\left(x\right))$ is non-null.

• Write ${\widehat{T}}^{{ϵ}_1}\left(x\right)=\frac{1}{\mu \left(M_{{ϵ}_1}\left(x\right)\right)}{\int }_{M_{{ϵ}_1}\left(x\right)}{\lambda }_y·y·{\chi }_{\left\{y\right\}}d\mu \left(y\right)$, and define ${\widehat{T}}^{{\epsilon }_i}\left(x\right)$ in the same way, as

  $${\widehat{T}}^{{ϵ}_i}\left(x\right)=\frac{1}{\mu \left(M_{{ϵ}_i}\left(x\right)\right)}{\int }_{M_{{ϵ}_i}\left(x\right)}{\lambda }_y·y·{\chi }_{\left\{y\right\}}d\mu \left(y\right),$$

  for all $i\in \mathbb{N}$.
• The set $\{{\lambda }_y·y:y\in M_{{ϵ}_1}\left(x\right)\}$ is norm bounded: indeed, we have that for every $y\in M_{{ϵ}_1}\left(x\right)$,

  $$\begin{array}{cc}\hfill \parallel {\lambda }_y·y\parallel & \le \parallel T\left(x\right)\parallel +\parallel T\left(x\right)-T\left(y\right)\parallel \hfill \\ \hfill & \le \parallel T\left(x\right)\parallel +\parallel T\left(x\right)-{\lambda }_y·y\parallel \le \parallel T\left(x\right)\parallel +d_0+{ϵ}_1.\hfill \end{array}$$
• Note that, if $j<i$,

  $$\begin{array}{cc}\hfill & \parallel {\widehat{T}}^{{ϵ}_i}\left(x\right)-{\widehat{T}}^{{ϵ}_j}\left(x\right)\parallel \hfill \\ \hfill & \le \parallel \left(\frac{\mu \left(M_{{ϵ}_j}\left(x\right)\right)-\mu \left(M_{{ϵ}_i}\left(x\right)\right)}{\mu \left(M_{{ϵ}_i}\left(x\right)\right)·\mu \left(M_{{ϵ}_j}\left(x\right)\right)}\right){\int }_{M_{{ϵ}_i}\left(x\right)}{\lambda }_y·y·{\chi }_{\left\{y\right\}}d\mu \left(y\right)\parallel \hfill \\ \hfill & +\parallel \frac{1}{\mu \left(M_{{ϵ}_j}\left(x\right)\right)}\left({\int }_{M_{{ϵ}_i}\left(x\right)}{\lambda }_y·y·{\chi }_{\left\{y\right\}}d\mu \left(y\right)-{\int }_{M_{{ϵ}_j}\left(x\right)}{\lambda }_y·y·{\chi }_{\left\{y\right\}}d\mu \left(y\right)\right)\parallel \hfill \\ \hfill & \le \parallel \left(\frac{\mu (M_{{ϵ}_j}\left(x\right)\setminus M_{{ϵ}_i}\left(x\right))}{\mu \left(M_{{ϵ}_i}\left(x\right)\right)·\mu \left(M_{{ϵ}_j}\left(x\right)\right)}\right){\int }_{M_{{ϵ}_i}\left(x\right)}{\lambda }_y·y·{\chi }_{\left\{y\right\}}d\mu \left(y\right)\parallel \hfill \\ \hfill & +\parallel \frac{1}{\mu \left(M_{{ϵ}_j}\left(x\right)\right)}\left({\int }_{M_{{ϵ}_j}\left(x\right)\setminus M_{{ϵ}_i}\left(x\right)}{\lambda }_y·y·{\chi }_{\left\{y\right\}}d\mu \left(y\right)\right)\parallel \hfill \end{array}$$

  $$\begin{array}{cc}\hfill & \le \left|\frac{\mu (M_{{ϵ}_j}\left(x\right)\setminus M_{{ϵ}_i}\left(x\right))}{\mu \left(M_{{ϵ}_i}\left(x\right)\right)·\mu \left(M_{{ϵ}_j}\left(x\right)\right)}\right|·(\parallel T\left(x\right)\parallel +d_0+{ϵ}_1)·\mu \left(M_{{ϵ}_i}\left(x\right)\right)\hfill \\ \hfill & +\frac{1}{\mu \left(M_{{ϵ}_j}\left(x\right)\right)}·(\parallel T\left(x\right)\parallel +d_0+{ϵ}_1)·\mu (M_{{ϵ}_j}\left(x\right)\setminus M_{{ϵ}_i}\left(x\right))\hfill \\ \hfill & \le 2\frac{\mu (M_{{ϵ}_j}\left(x\right)\setminus M_{{ϵ}_i}\left(x\right))}{\mu \left(M_{{ϵ}_j}\left(x\right)\right)}·(\parallel T\left(x\right)\parallel +d_0+{ϵ}_1)\hfill \\ \hfill & \le 2\frac{\mu \left(M_{{ϵ}_j}\left(x\right)\right)-\mu \left(M_{{ϵ}_i}\left(x\right)\right)}{\mu \left(M_0\left(x\right)\right)}·(\parallel T\left(x\right)\parallel +d_0+{ϵ}_1)\hfill \\ \hfill & \le 2\frac{|\mu \left(M_{{ϵ}_j}\left(x\right)\right)-\mu \left(M_0\right)|+\left|\mu (M_0\left(x\right)-\mu (M_{{ϵ}_i}\left(x\right)\right|}{\mu \left(M_0\left(x\right)\right)}·(\parallel T\left(x\right)\parallel +d_0+{ϵ}_1),\hfill \end{array}$$

  that converges with $i,j$ to 0. Consequently, $\parallel {\widehat{T}}^{{ϵ}_i}\left(x\right)-{\widehat{T}}^{{ϵ}_j}\left(x\right)\parallel {\to }_{i,j}0$, and so we can define the approximation at x by

  $${\widehat{T}}^0\left(x\right):=\underset{i}{lim}{\widehat{T}}^{{ϵ}_i}\left(x\right)=\underset{i}{lim}\frac{1}{\mu \left(M_{{ϵ}_i}\left(x\right)\right)}{\int }_{M_{{ϵ}_i}\left(x\right)}{\lambda }_y·y·{\chi }_{\left\{y\right\}}d\mu \left(y\right).$$
  Finally, in case $\mu \left(M_0\left(x\right)\right)=0$, we fix a small $\delta >0$ and change $d_0$ in the definition of the sets $M_{{ϵ}_i}\left(x\right)$ by $d_0=inf\{\parallel x-y\parallel :y\in ev\left(T\right)\}+\delta$ to get a non-$\mu$-null set $M_0\left(x\right)$.

5. Approximation of Lipschitz Maps by the Convexity Rule

In this section, we show how a Lipschitz map T can be approximated using the evaluation of the function just in the set of eigenvectors, under some convexity assumptions on T. Although the explanation we develop here is of theoretical nature, we are thinking in effective algorithms to approximate functions by this method, so minimization of the errors explained in Section 2 of the paper for getting eigenvectors or “almost” eigenvectors to provide a general method for extending the idea of average reconstruction of a Lipschitz map by means of its eigenvectors. We assume here that the involved maps are “approximately convex”, that is, the values of the maps at all the points are near to a convex combination of the eigenvectors that are near them. This is the main difference with respect to the methods explained in the previous section.

In order to obtain reasonable error bounds, we need the functions to satisfy some requirements. The main idea is that we can perform approximations of the value of the function at a given point using its metric properties, which are essentially determined by the Lipschitz condition of the function if nothing else is assumed for the function. So, we have to argue in topological terms, in the line of what explained in Section 3.2. We propose to define the pointwise approximation to the Lipschitz map by convex combination of eigenvector evaluations. Consequently, the formalism of eigenmeasure, as well as the computation of nearest points to a given set in a Banach space endowed with a uniformly convex norm, and the inequalities associated with the Lipschitz character of the function, will be required.

Given a Lipschitz function $T:X\to X$, we will reconstruct the function T by convex combinations of eigenvectors. We have to assume that $ev\left(T\right)$ is non-empty. In order to do it, we need to find what is the convex hull of finite sets of eigenvectors that is as near as possible to the point x. In case a given point $x\in X$ belongs to any convex combination of elements $x_1,\dots ,x_n$ of $ev\left(T\right)$ with eigenvalues ${\lambda }_1,\dots ,{\lambda }_n$, we can approximate $T\left(x\right)$ as the convex combination

$$\sum _{i=1}^n{\alpha }_{i}T\left(x_i\right)={\alpha }_1{\lambda }_1{x}_1+\dots +{\alpha }_n{\lambda }_n{x}_n.$$

Since several convex combinations involving different elements of $ev\left(T\right)$ can occur, we have to choose one of them: the Lipschitz inequality for T gives the key of how to do it. The idea is to divide the error in two terms, with the first one corresponding to the distance of x to the convex hull of $x_1,\dots ,x_n$ and the other one measuring the error committed by the approximation of T as a convex function.

If we write $co\left(S\right)$ for the convex hull of any subset S of the Banach space X and $\overline{co\left(S\right)}$ for its norm closure, we should write $d(x,S)={inf}_{z\in S}\parallel x-z\parallel$ for the distance from S to x. Recall the following fundamental result on optimal approximations in Banach spaces: if X is a uniformly convex Banach space, and $x\in X$ and $C\subset X$ are closed and convex, then there is a unique $y\in C$ such that $\parallel x-y\parallel ={inf}_{z\in C}\parallel x-z\parallel =d(x,C)$. We say as usual that y is the nearest point to x in C. A direct consequence of this general fact is the following.

Proposition 4.

Let X be a uniformly convex Banach space, and let $T:E\to E$ be a Lipschitz map of norm $Lip\left(T\right)$. Suppose that $S=\{x_1,\dots ,x_n\}\in ev\left(T\right)$. Then, there exists a convex combination $z={\sum }_{i=1}^n{\alpha }_i^0{x}_i\in co\left(S\right)$, ${\alpha }_i^0\ge 0,$ such that

(i) 

The minimal distance $inf\left\{\parallel {\sum }_{i=1}^n{\alpha }_i{\lambda }_i{x}_i-T\left(x\right)\parallel :{\sum }_{i=1}^n{\alpha }_i=1,{\alpha }_i\ge 0\right\}$ is attained at z, and

(ii) 

there is a bound for this minimal distance as

$$\parallel \sum _{i=1}^n{\alpha }_i^0{\lambda }_i{x}_i-T\left(x\right)\parallel \le Lip\left(T\right)·\underset{i=1,\dots ,n}{min}\parallel x_i-x\parallel .$$

Proof. 

(i)

Consider the convex hull of the points ${\lambda }_1{x}_1,\dots ,{\lambda }_n{x}_n$. By the quoted result, there is an optimal point y in the convex hull in which the minimal distance to $T\left(x\right)$ is attained that is also an element of X; let us write it as the convex addition ${\sum }_{i=1}^n{\alpha }_i^0{\lambda }_i{x}_i$.

(ii)

Then, since $x_i$ are eigenvectors, if we consider any other convex combination ${\sum }_{i=1}^n{\alpha }_i{\lambda }_i{x}_i$ we obtain

$$\parallel \sum _{i=1}^n{\alpha }_i^0{\lambda }_i{x}_i-T\left(x\right)\parallel \le \parallel \sum _{i=1}^n{\alpha }_i{\lambda }_i{x}_i-T\left(x\right)\parallel =\parallel \sum _{i=1}^n{\alpha }_i{\lambda }_i{x}_i-\sum _{i=1}^n{\alpha }_{i}T\left(x\right)\parallel$$

$$=\parallel \sum _{i=1}^n{\alpha }_i\left(T\left(x_i\right)-T\left(x\right)\right)\parallel \le Lip\left(T\right)·\left(\sum _{i=1}^n{\alpha }_i\parallel x_i-x\parallel \right).$$

Thus, computing the infimum on the right hand side, we get

$$\parallel \sum _{i=1}^n{\alpha }_i^0{\lambda }_i{x}_i-T\left(x\right)\parallel \le Lip\left(T\right)·\underset{\sum {\alpha }_i=1}{inf}\left(\sum _{i=1}^n{\alpha }_i\parallel x_i-x\parallel \right)=Lip\left(T\right)·\underset{i=1,\dots ,n}{min}\parallel x_i-x\parallel ,$$

as we wanted to prove.

 □

Remark 3.

Proposition 4 provides an approximation tool for Lipschitz maps, which works best whenever T behaves more or less like a convex function. Note that the nearest point provides another way to produce an approximation of a Lipschitz map in terms of eigenmeasures, again as an integral average. Let us show this in the simple case of a finite set of eigenvalues; the general procedure is explained below, although we do not use the integral formalism in the subsequent explanation for the sake of clarity. Suppose that we have a set $S=\{x_1,\dots ,x_n\}$ of eigenvectors of a Lipschitz map T. Write $N_S\left(x\right)$ for the nearest point of $co\left(S\right)$ to x, and $P_{\left\{y\right\}}\left(N_S\left(x\right)\right)$ (where $y\in S$), for the coefficient ${\alpha }_i^0$ associated with $y=x_i$ of the convex combination that gives $N_S\left(x\right)$. Note that, by the requirements on E, these coefficients are unique so the expression is well-defined. Take an eigenmeasure μ associated with S, $\mu (·)={\sum }_{i=1}^n\mu \left(\left\{x_i\right\}\right)·{\delta }_{x_i}(·)$. Then, we have that the best approximation $\widehat{T}$ is given by the spectral integral

$$\widehat{T}\left(x\right):={\int }_E\frac{1}{\mu \left(\right\{y\left\}\right)}\lambda \left(y\right)P_{\left\{y\right\}}\left(N_S\left(x\right)\right)yd\mu \left(y\right).$$

Fixing T, and assuming that convexity is a good method for approximating it, we can define two different errors that can be controlled using complementary arguments. We have to point out that getting the exact value of $T\left(x\right)$ just knowing the eigenvectors of T is not possible in general: stronger requirements (such as linearity, for example) are needed. However, we provide an approximate value of $T\left(x\right)$ and fix small bounds for the errors committed.

Definition 3.

Let X be uniformly convex and consider a Lipschitz map $T:X\to X$. For each set, $S=\{x_1,\dots ,x_n\}\subset ev\left(T\right)$ and $x\in X$; if ${\sum }_{i=1}^n{\alpha }_i^0{x}_i$ is the nearest point of S to x, we define two approximation errors as follows .

(1) 

The convexity error ${\epsilon }_c$, which measures how far the map T is from being convex, is given by

$${\epsilon }_c(T,S,x):=\parallel T(\sum _{i=1}^n{\alpha }_i^0{x}_i)-\sum _{i=1}^n{\alpha }_i^0{\lambda }_i{x}_i\parallel .$$

(2) 

The distance error ${\epsilon }_d(T,S,x)$, which gives the distance of $T\left(x\right)$ to the value of the map to the nearest point in S, is given by

$${\epsilon }_d(T,S,x):=\parallel T\left(x\right)-T(\sum _{i=1}^n{\alpha }_i^0{x}_i)\parallel .$$

Next result gives the main tool for the approximation of T; the way the error is decomposed allows one to evaluate how far the image of the nearest point of S to x by T could be a good approximation for $T\left(x\right)$. On one hand, we have that the possibility of writing x as a convex combination of eigenvectors makes the distance error equal to 0, and so we only have to consider the convexity error, which measures how far the function T fails to be convex. Indeed, if it is convex, we have that $T\left({\sum }_{i=1}^n{\alpha }_i^0{x}_i\right)={\sum }_{i=1}^n{\alpha }_i^{0}T\left(x_i\right)$, and then ${\epsilon }_c(T,S,x)=0$.

On the other hand, in case T is convex, for getting an exact formula for T in terms of its eigenvectors, we only need the set $ev\left(T\right)$ of these eigenvectors to be big enough to cover all the space as convex combinations of the elements of $ev\left(T\right)$.

Let us write this explicitly in the next result, which can be considered as a basic form of an approximated Spectral Theorem for Lipschitz operators.

Theorem 2.

Let X be a uniformly convex Banach space. Let $T:X\to X$ be a Lipschitz map. Fix a set $S=\{x_1,\dots ,x_n\}\subset ev\left(T\right)$ and $x\in X$. Then, there is a convex combination ${\sum }_{i=1}^n{\alpha }_i^0{x}_i\in co\left(S\right)$ such that

$$\parallel T\left(x\right)-\sum _{i=1}^n{\alpha }_i^0{\lambda }_i{x}_i\parallel \le {\epsilon }_c(T,S,x)+{\epsilon }_d(T,S,x)$$

and both errors can be bounded as

$${\epsilon }_c(T,S,x)\le Lip\left(T\right)·\left(\sum _{i=1}^n{\alpha }_i^0\parallel x_i-\sum _{j=1}^n{\alpha }_j^0{x}_j\parallel \right)\mathit{and}{\epsilon }_d(T,S,x)\le Lip\left(T\right)·d(x,S).$$

Proof. 

Again, the requirements on X and T allow one to ensure that there is a unique point that attains the distance from $co\left(S\right)$ to x (note that the convex hull of S is also closed, since S is finite; otherwise, we would need to write a “limit version” of the present result, which we prefer to show in this version for the aim of clarity). So, we fix the point ${\sum }_{i=1}^n{\alpha }_i^0{\lambda }_i{x}_i$ by computing the nearest point ${\sum }_{i=1}^n{\alpha }_i^0{x}_i$ in S to x. Then,

$$\begin{array}{cc}\hfill \parallel \sum _{i=1}^n{\alpha }_i^0{\lambda }_i{x}_i-T\left(x\right)\parallel & =\parallel \sum _{i=1}^n{\alpha }_i^0{\lambda }_i{x}_i-T\left(\sum _{i=1}^n{\alpha }_i^0{x}_i\right)+T\left(\sum _{i=1}^n{\alpha }_i^0{x}_i\right)-T\left(x\right)\parallel \hfill \\ & \le \parallel \sum _{i=1}^n{\alpha }_i^0{\lambda }_i{x}_i-T\left(\sum _{i=1}^n{\alpha }_i^0{x}_i\right)\parallel +\parallel T\left(\sum _{i=1}^n{\alpha }_i^0{x}_i\right)-T\left(x\right)\parallel \hfill \\ & ={\epsilon }_c(T,S,x)+{\epsilon }_d(T,S,x).\hfill \end{array}$$

On the other hand,

$$\begin{array}{cc}\hfill {\epsilon }_c(T,S,x)& =\parallel \sum _{i=1}^n{\alpha }_i^{0}T\left(x_i\right)-T\left(\sum _{i=1}^n{\alpha }_i^0{x}_i\right)\parallel \le \parallel \sum _{i=1}^n{\alpha }_i^0·T\left(\sum _{i=1}^n{\alpha }_i^0{x}_i\right)-\sum _{i=1}^n{\alpha }_i^{0}T\left(x_i\right)\parallel \hfill \\ & \le Lip\left(T\right)·\left(\sum _{i=1}^n{\alpha }_i^0\parallel x_i-\sum _{j=1}^n{\alpha }_j^0{x}_j\parallel \right),\hfill \end{array}$$

and

$${\epsilon }_d(T,S,x)\le \parallel T\left(x\right)-T\left(\sum _{i=1}^n{\alpha }_i^0{x}_i\right)\parallel \le Lip\left(T\right)·\parallel x-\sum _{i=1}^n{\alpha }_i^0{x}_i\parallel =Lip\left(T\right)·d(x,S).$$

 □

Note that the bound obtained above for the convexity error ${\epsilon }_c(T,S,x)$ does not allow one to prove that it equals 0 in case T is convex: this has to be done directly by the assumption of certain convexity properties for T, which have to be applied in a second step. If we do not have such information, it could be better to approximate $T\left({\sum }_{i=1}^n{\alpha }_i^0{x}_i\right)$ by ${\lambda }_{i_0}{x}_{i_0}$, where $x_{i_0}$ is the nearest point in S to ${\sum }_{i=1}^n{\alpha }_i^0{x}_i$, in the line of the minimal distance approximation explained in Section 4.1.

Consequences of this result under reasonable assumptions can be directly obtained. We can control both errors separately since each of them has different meaning.

To obatin the definition of the approximation to T, we try to find a compromise between the approximate convexity expected for T and the error control by using the distance between points, taking into account that T is Lipschitz. We describe the construction of through several steps; as we explained before, we are searching for an extension $\widehat{T}:E\to E$ for the function T restricted to a subset $S\subseteq ev\left(T\right)$, $T_S$. For helping in the construction process, we first fix an eigenmeasure $\mu$ for the set S.

Let us define our general technique under certain restrictions. For the aim of simplicity, we choose a countable set $S\subseteq ev\left(T\right)$ to start with, which has the property that for every $R>0$, $S\cap R·B_E$ is finite. We will use metric tools through the entire process to obtain a pointwise definition of the function $\widehat{T}$. Take also a positive strictly increasing sequence ${\left({ϵ}_i\right)}_{i=1}^{+\infty }$ such that ${lim}_i{ϵ}_i=+\infty$. The approximation obtained will depend both on the elections of S and ${\left({ϵ}_i\right)}_{i=1}^{+\infty }$. Fix also $r>1$.

• Fix a point $x\in X$ and define $d_0={inf}_{y\in S}\parallel y-x\parallel$. Our aim is to work with a finite subset of S that is “around” the point x. To take it, consider the ratio $r\parallel x\parallel$ to get the set $S\cap (d_0+r\parallel x\parallel )·B_1\left(x\right)$. As we said, this ratio r is chosen at the beginning and has to be fixed in order the function $\widehat{T}$ to be univocally defined.
• Take $0<{\epsilon }_1<r\parallel x\parallel$, be sure that r is big enough for this to hold, and define the set $M_{{ϵ}_1}\left(x\right)=\{y\in S:\parallel x-y\parallel \le d_0+{ϵ}_1\}$. Let us write $n_{{ϵ}_1}$ for the finite cardinal of this set and write $x_1,\dots ,x_{n_{{ϵ}_1}}$ for the elements of $M_{{ϵ}_1}\left(x\right)$. Compute the best approximation in $co\left(M_{{ϵ}_1}\left(x\right)\right)$ to x, which is written as ${\sum }_{i=1}^{n_{{ϵ}_1}}{\alpha }_i^{{ϵ}_1}{x}_i$.
• We define the approximation ${\widehat{T}}^{{ϵ}_1}$ at the point x as ${\widehat{T}}^{{ϵ}_1}\left(x\right):={\sum }_{i=1}^{n_{{ϵ}_1}}{\alpha }_i^{{ϵ}_1}{\lambda }_i{x}_i$. We also compute the associated bounds for the errors ${\epsilon }_c(T,M_{{ϵ}_1},x)$ and ${\epsilon }_d(T,M_{{ϵ}_1},x)$, given by the product of $Lip\left(T\right)$ and

  $$v_c\left({ϵ}_1\right):=\sum _{i=1}^{n_{{ϵ}_1}}{\alpha }_i^{{ϵ}_1}\parallel x_i-\sum _{i=j}^{n_{{ϵ}_1}}{\alpha }_j^{{ϵ}_1}{x}_j\parallel ,\mathrm{and}{v}_d\left({ϵ}_1\right):=d(x,S)=\parallel x-\sum _{j=1}^{n_{{ϵ}_1}}{\alpha }_j^{{ϵ}_1}{x}_j\parallel$$

  respectively.
• We have to balance these errors to choose the best value for the approximation. In general, both bounds are independent, and since we want to obtain a decision rule, we choose a parameter $0\le \tau \le 1$ that will depend on the election of the decision maker. So we will use the value of

  $$V\left({ϵ}_i\right):={\tau }_1·v_c\left({ϵ}_i\right)+(1-\tau )·v_d\left({ϵ}_i\right)$$

  for further comparison.
• Consider now ${ϵ}_2$ and repeat the construction of the approximation obtained above for ${ϵ}_2$, which gives

  $${\widehat{T}}^{{ϵ}_2}\left(x\right):=\sum _{i=1}^{n_{{ϵ}_2}}{\alpha }_i^{{ϵ}_2}{\lambda }_i{x}_i.$$
  We compute also the associated bounds and the values of $V\left({ϵ}_1\right)$ and $V\left({ϵ}_2\right)$.
• After comparing $V\left({ϵ}_1\right)$ and $V\left({ϵ}_2\right)$, we consider the lower value as the better approximation.
• We follow the same procedure until the last approximation is computed; note that by the construction, the number of steps needed to finish it is finite.

6. Some Hints for Practical Application: An Algorithm for Convex Approximation of Lipschitz Maps in Euclidean Space

We have already fixed some general procedures for approximating a given map by means of the properties that it satisfies. We have focused our attention firstly on Lipschitz maps and secondly on those operators for which some convexity assumption can be assumed.

We assume that we have already fixed a method for computing a significant subset of eigenvectors; we have not developed this question in this paper, but we have suggested that Monte Carlo integration together with our error formulas would help for the determination of such a subset. The scientific literature provides a large source of procedures for doing this (see, for example, [10,14]; see also [17,18,20] for concrete applications in quantum physics).

• For the aim of simplicity, fix E to be a (finite dimensional) Euclidean space; we center the attention in this case because it is the standard case for applications. Once a Lipschitz map $T:E\to E$ is fixed, the first step consists on computing an approximation to the set $ev\left(T\right)$. In order to do it, we use any optimization method.
• The most basic one is a Monte Carlo calculation: just fix a certain $ϵ>0$ and define a set $e{v}_{ϵ}\left(T\right)$ by taking vectors around the region we want, and satisfying that $cos(x,T\left(x\right))=|〈\frac{x}{\parallel x)\parallel },\frac{T\left(x\right)}{\parallel T\left(x\right)\parallel }〉|>1-ϵ$. The idea is to minimize the diagonalization error provided in the first section using the norm, $\parallel T\left(x\right)-\lambda ·x\parallel$.
• The corresponding eigenvalues can be fixed by using the approximate equation $\parallel T\left(x\right)\parallel =\left|\lambda \right|\parallel x\parallel$ and taking the sign of the scalar product for these points.
• Use the set $e{v}_{ϵ}\left(T\right)$ and any of the methods explained in Section 4 and Section 5 to get an approximation of the errors. The error bounds explained there can be adapted for this case by including the error associated with the previously explained approximation to the set $ev\left(T\right)$, which is given by the numbers $\parallel T\left(x\right)-\lambda ·x\parallel$, $x\in e{v}_{ϵ}\left(x\right)$.