--- abstract: | Properties of the mappings $$\begin{aligned} C&\mapsto\frac1{(2\pi i)^2}\int_{\Gamma_1}\int_{\Gamma_2}f(\lambda,\mu)\,R_{1,\,\lambda}\,C\, R_{2,\,\mu}\,d\mu\,d\lambda,\\ C&\mapsto\frac1{2\pi i}\int_{\Gamma}g(\lambda)R_{1,\,\lambda}\,C\, R_{2,\,\lambda}\,d\lambda\end{aligned}$$ are discussed; here $R_{1,\,(\cdot)}$ and $R_{2,\,(\cdot)}$ are pseudo-resolvents, i. e., resolvents of bounded, unbounded, or multivalued linear operators, and $f$ and $g$ are analytic functions. Several applications are considered: a representation of the impulse response of a second order linear differential equation with operator coefficients, a representation of the solution of the Sylvester equation, and an exploration of properties of the differential of the ordinary functional calculus. address: - | Department of Mathematical Physics, Voronezh State University\ 1, Universitetskaya Square, Voronezh 394036, Russia - | Department of Mathematics, Air Force Academy of the Ministry of Defense of the Russian Federation\ 54 "A", Starykh Bol'shevikov Str., Voronezh 394064, Russia - | Department of Applied Mathematics, Lipetsk State Technical University\ 30, Moskovskaya Str., Lipetsk 398600, Russia author: - 'V.G. Kurbatov' - 'I.V. Kurbatova' - 'M.N. Oreshina' title: Analytic functional calculus for two operators --- Introduction ============ Let $A$ and $B$ be matrices of the sizes $n\times n$ and $m\times m$ respectively. The result $p(A,B)$ of the substitution of these matrices into a polynomial $p(\lambda,\mu)=\sum_{i,j=0}^Nc_{ij}\lambda^i\mu^j$ of *two* variables is usually understood to be the mapping $C\mapsto\sum_{i,j=0}^Nc_{ij}A^iCB^j$ acting on $n\times m$-matrices, or to be the block matrix $\{a_{ij}B\}$. This article is devoted to extensions and applications of this construction. First, the matrices $A$ and $B$ can be replaced by bounded linear operators acting in (infinite-dimensional) Banach spaces $X$ and $Y$ respectively. In this case, the number of interpretations of the object $p(A,B)$ increases. The most natural abstract interpretation is considering $p(A,B)$ as an operator acting in the completion of the algebraic tensor product @Defant-Floret [@Schatten; @Helemskii:eng] $X\otimes Y$ with respect to some cross-norm. This interpretation embraces many spaces of functions of two variables. For example @Defant-Floret [@Schatten; @Helemskii:eng], $L_1[a,b]\overline{\otimes}_\pi L_1[c,d]$ is isometrically isomorphic to $L_1[a,b]\times[c,d]$, and $C[a,b]\overline{\otimes}_\varepsilon C[c,d]$ is isometrically isomorphic to $C[a,b]\times[c,d]$. But unfortunately, $L_\infty[a,b]\overline{\otimes}_\varepsilon L_\infty[c,d]$ is isomorphic only to a subspace of the space $L_\infty[a,b]\times[c,d]$. Another example, which can not be treated directly in terms of tensor products, is the interpretation of $p(A,B)$ as the transformation $C\mapsto\sum_{i,j=0}^Nc_{ij}A^iCB^j$ of the operators $C:\,Y\to X$. From the point of view of applications, the last example seems to be the most important. Therefore, in all cases, we call the operator that corresponds to $p(A,B)$ a *transformator*; this term is conventional @Gohberg-Krein:eng for the mappings of the type $C\mapsto\sum_{i,j=0}^Nc_{ij}A^iCB^j$ acting on operators $C$. In order to embrace the last example and some others, our treatment is based on the notion of an extended tensor product (Section \[s:extended tensor product\]) proposed in @Kurbatov-Kurbatova-IM-2015:eng. Second, one may replace the polynomial $p$ by an analytic function $f$. In this case, it is convenient to define $f(A,B)$ by means of a contour integral. For our main interpretation of $f(A,B)$ as a transformator acting on operators $C:\,Y\to X$, the relevant formula looks as follows: $$\label{e:*} f(A,B)C=\frac1{(2\pi i)^2}\int_{\Gamma_1}\int_{\Gamma_2}f(\lambda,\mu)(\lambda\mathbf1-A)^{-1}C (\mu\mathbf1-B)^{-1}\,d\mu\,d\lambda.\tag{*}$$ We call a correspondence of the type $f\mapsto f(A,B)$ that maps functions $f$ to transformators (operators) $f(A,B)$ a *functional calculus*. From the algebraic point of view, the functional calculus $f\mapsto f(A,B)$ possesses properties of the tensor product $\varphi_1\otimes\varphi_2$ of two ordinary functional calculi $$\varphi_1(f)=\frac1{2\pi i}\int_{\Gamma_1}f(\lambda)(\lambda \mathbf1-A)^{-1}\,d\lambda,\qquad\varphi_2(f)=\frac1{2\pi i}\int_{\Gamma_2}f(\mu)(\mu \mathbf1-B)^{-1}\,d\mu.$$ To emphasise this fact, we use the notation $\varphi_1\boxtimes\varphi_2$ and write $\bigl[(\varphi_1\boxtimes\varphi_2)f\bigr]C$ instead of $f(A,B)C$ when the transformator $f(A,B)$ acts in an extended tensor product. An important and nontrivial property of the transformation $\varphi_1\boxtimes\varphi_2$ is the spectral mapping theorem (Theorem \[t:spectral map:R\_1,R\_2->C\]). Third, the basic properties of the functional calculus $\varphi_1\boxtimes\varphi_2$ are preserved when one replaces the resolvents $R_\lambda=(\lambda\mathbf1-A)^{-1}$ of operators by *pseudo-resolvents* @Hille-Phillips:eng, i. e. operator-valued functions $R_{(\cdot)}$ that satisfy the Hilbert identity $$R_\lambda-R_\mu=-(\lambda-\mu)R_\lambda R_\mu.$$ This generalization enables one to cover some additional examples. For example, a special case of a pseudo-resolvent is @Hille-Phillips:eng the resolvent of an unbounded operator, and the most general example of a pseudo-resolvent is the resolvent of a linear relation or, in other terminology, a multivalued linear operator @Arens61 [@Baskakov2004:eng; @Bichegkuev:eng; @Cross; @Favini-Yagi; @Haase2006; @Kurbatova-PMM09:eng]. Moreover, in this article, we adhere to the point of view that a pseudo-resolvent is as a fundamental object as an operator (bounded, unbounded or multivalued) that generates it. The reason for this stems from the fact that when speaking of unbounded operators and linear relations we often actually work with their resolvents. For example, an unbounded operator is a generator of a strongly continuous or analytic semigroup if and only if @Hille-Phillips:eng [@Yosida:eng; @Dunford-Schwartz-I:eng] its resolvent satisfies a special estimate of the decay rate at infinity; in @Kato:eng [Theorem 2.25] and @Reed-Simon1:eng [VIII.7], the natural convergence of unbounded operators is defined as the convergence of their resolvents in norm; and in @Reed-Simon:BAMS72 [@Reed-Simon:JFA73], a function $f$ of unbounded operators $A$ and $B$ is defined as an (unbounded) operator $f(A,B)$ that possesses the following property: there exist sequences of bounded operators $A_n$ and $B_n$ such that the resolvents of $A_n$, $B_n$, and $f(A_n,B_n)$ converge in norm to the resolvents of $A$, $B$, and $f(A,B)$ respectively. Another argument (not used in this article) is that there is no analogue of unbounded and multivalued operators in Banach algebras, but, nevertheless, there are evident analogues of the resolvents of such operators. This approach enables one to extend the notion of $f(A,B)$ to meromorphic functions $f$ (Theorem \[t:mero f:2\]): we define the result of the action of a meromorphic function on $A$ and $B$ to be a new pseudo-resolvent and do not discuss which operator it is generated by. Along the way, we answer (Corollary \[c:mero f:2\]) the question of the independence of the definition of $f(A,B)$ for unbounded $A$ and $B$ posed in @Reed-Simon:BAMS72 [@Reed-Simon:JFA73] (see the previous paragraph) from the choice of approximating sequences $A_n$ and $B_n$. Many important applications are connected with the special cases of construction and their modifications. For example, it often occurs that the function $f$ depends on the difference or the sum of its arguments: the transformator $C\mapsto AC-CB$ generated by the function $f(\lambda,\mu)=\lambda-\mu$ is related to the Sylvester equation (Section \[s:Sylvester\]), and the transformator $C\mapsto e^{At}Ce^{Bt}$ generated by the function $f(\lambda,\mu)=e^{t(\lambda+\mu)}$ is connected with the stability theory of differential equations @Antoulas [@Daletskii-Krein:eng]. The version (Section \[s:boxdot\]) $$\label{e:**} f^{[1]}(A,B)C=\frac1{2\pi i}\int_{\Gamma}f(\lambda)(\lambda\mathbf1-A)^{-1}C (\lambda\mathbf1-B)^{-1}\,d\lambda\tag{**}$$ of functional calculus frequently occurs in applications; it involves functions $f$ of one variable. For example, expression with $f(\lambda)=e^{\lambda t}$ forms the principal part of the representation of a solution of the second order differential equation $\bigl(\frac d{dt}-A\bigr)C\bigl(\frac d{dt}-B\bigr)y=0$ (Section \[s:pulse char\]). Further (Section \[s:df\]), the differential of the ordinary functional calculus $A\mapsto f(A)$ at a point $A$ can be represented in the form (Theorem \[t:differential\]) $$df(\cdot,A)=f^{[1]}(A,A).$$ It turns out that (Theorems \[t:Theta\]) $f^{[1]}(A,B)C$ coincides with provided $f^{[1]}$ is understood to be the divided difference $$f^{[1]}(\lambda,\mu)= \begin{cases} \frac{f(\lambda)-f(\mu)}{\lambda-\mu}, & \text{if $\lambda\neq\mu$},\\ f'(\lambda), & \text{if $\lambda=\mu$},\\ 0,& \text{if $\lambda=\infty$ or $\mu=\infty$}. \end{cases}$$ When choosing the level of generality of our exposition, we proceed from the following principles. First, in order that a specialist in the classical operator theory can use the article we are trying to minimize explicit mention of Banach algebras and linear relations (multivalued operators) at least in main statements. At the same time, when using the operator language, we aspire the maximal generality and, in particular, where possible, consider the case of an arbitrary pseudo-resolvent (and thereby, implicitly, the cases of unbounded operators and linear relations). Second, we are trying not to fall outside the framework of the theory of analytic functions of an operator and thus, for example, do not discuss issues related to the generators of semigroups. Third, as far as possible, we avoid the implicit use of operator pencils $\lambda\mapsto\lambda F-G$ with $F\neq\mathbf1$ because this approach leads to very cumbersome formulae. Finally, we restrict ourselves to the consideration of functions of two variables, suggesting that the generalization to three and more variables will not cause significant difficulties. The literature on the subject under discussion is extremely extensive. Therefore, the bibliography can not be made comprehensive; the presented references reflect authors' tastes and interests. Many additional references can be found in the cited articles and books. Sections \[s:Banach algebras\]–\[s:extended tensor product\] outlines preliminary information. Here we recall and fix notation and the main facts in a convenient form. In Section \[s:Banach algebras\], the terminology connected with Banach algebras and their properties is recalled. In Section \[s:mathoo O\], the basic properties of algebras of analytic functions of one and two variables are described. In Section \[s:pseudo-resolvents\], we discuss the notion of pseudo-resolvent and recall the construction of the functional calculus of analytic functions of one variable (Theorems \[t:functional\_calculas:infty in rho\] and \[t:functional\_calculas:infty in sigma\]) including the spectral mapping theorem (Theorem \[t:spectral mappping\]). In Section \[s:extended tensor product\], the definition of the extended tensor product is given, the main examples are described, and the construction of the functional calculus of operator-valued analytic functions of one variable (Theorems \[t:functional\_calculas:infty in rho:R:otimes\] and \[t:functional\_calculas:infty in sigma:R:otimes\]) is recalled as well as the relevant spectral mapping theorem (Theorem \[t:spectral map:Res\]). In Section \[s:boxtimes\], we present the construction of the functional calculus of functions of two variables (Theorems \[t:functional\_calculas:infty in rho:R\_1,R\_2->C\], \[t:functional\_calculas:infty in rho+sigma:R\_1,R\_2->C\], and \[t:functional\_calculas:infty in sigma:R\_1,R\_2->C\]) and prove the corresponding spectral mapping theorem (Theorem \[t:spectral map:R\_1,R\_2->C\]). In Section \[s:mero\], we extend these results to meromorphic functions. A well-known example of a meromorphic function of an operator is a polynomial of an unbounded operator (a polynomial has a pole at infinity, and the point at infinity belongs to the extended spectrum of an unbounded operator). This example shows that the result of applying a meromorphic function cannot be a bounded transformator; as a convenient tool for its description we use not the resulting object itself, but its resolvent, and we interpret the extended singular set of this resolvent as its spectrum (Theorem \[t:mero f:2\]). In Section \[s:boxdot\], we discuss modified variant of the functional calculus of functions of two variables. The connection between functional calculi and is established as well as some properties of functional calculus . The subsequent sections are devoted to applications. In Section \[s:pulse char\], the pencil $\lambda\mapsto\lambda^2E+\lambda F+H$ of the second order is considered; it is induced by the equation $E\ddot y(t)+F\dot y(t)+Hy(t)=0$; we assume that the pencil admits a factorization, i. e. the representation in the form of a product of two linear pencils. In such a case, the solution of the differential equation is expressed by a transformation of the kind (Theorem \[t:pulse char:2\]). In Section \[s:Sylvester\], we discuss the properties of the transformator $Q:\,C\mapsto Z$ generated by the Sylvester equation $AZ-ZB=C$ (Theorem \[t:Sylvester\]). Finally, in Section \[s:df\], it is shown that the differential of the ordinary functional calculus $A\mapsto f(A)$ is also a kind of transformator (Theorem \[t:differential\]). Banach algebras {#s:Banach algebras} =============== In this Section, we clarify the terminology connected with Banach algebras @Hille-Phillips:eng [@Rudin:eng; @Bourbaki_Theories_Spectrales:eng] and recall some of their properties. In this article, all linear spaces and algebras are assumed to be complex. Let $X$ and $Y$ be Banach spaces. We denote by $\mathoo B(X,Y)$ the set of all bounded linear operators $A{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}X\to Y$. When $X=Y$, we use the shorthand symbol $\mathoo B(X)$. The symbol $\mathbf1=\mathbf1_X$ stands for the identity operator. We adhere to the following notations: $X^*$ denotes the conjugate space of $X$; $\langle x,x^*\rangle$ denotes the value of the functional $x^*\in X^*$ on $x\in X$, and $\langle x^{**},x^*\rangle$ is the value of $x^{**}\in X^{**}$ on $x^*\in X^*$; $A^*$ denotes the conjugate operator of $A\in\mathoo B(X,Y)$. The *preconjugate* of an operator $A\in\mathoo B(Y^*,X^*)$ is an operator $A^0\in\mathoo B(X,Y)$ such that $(A^0)^*=A$. The *unit* @Hille-Phillips:eng [@Rudin:eng; @Bourbaki_Theories_Spectrales:eng] of an algebra $\mathoo B$ is an element $\mathbf1\in\mathoo B$ such that $\mathbf{1}A=A\mathbf1$ for all $A\in\mathoo B$. If an algebra $\mathoo B$ has a unit, it is called *an algebra with a unit* or *unital*. A subset $\mathoo R$ of an algebra $\mathoo B$ is called a *subalgebra* if $\mathoo R$ is stable under the algebraic operations (addition, scalar multiplication, and multiplication), i. e. $A+B,\lambda A,AB\in\mathoo R$ for all $A,B\in\mathoo R$ and $\lambda\in\mathbb C$. If the unit $\mathbf1$ of an algebra $\mathoo B$ belongs to its subalgebra $\mathoo R$, then $\mathoo R$ is called a *subalgebra with a unit* or a *unital subalgebra*. Let $\mathoo B$ be a non-unital algebra. The set $\widetilde{\mathoo B}=\mathbb C\oplus\mathoo B$ with the componentwise linear operations and the multiplication $(\alpha,A)(\beta,B)=(\alpha\beta,\alpha B+\beta A+AB)$ is obviously an algebra with the unit $(1,\mathbf0)$, where $\mathbf0$ is the zero of the algebra $\mathoo B$. The algebra $\widetilde{\mathoo B}$ is called the algebra derived from $\mathoo B$ by adjoining a unit or an algebra with an *adjoint unit*. The symbol $\mathbf1$ stands for the element $(1,\mathbf0)$, and the symbol $\alpha\mathbf1+A$ denotes the element $(\alpha,A)$. If $\mathoo B$ is a normed algebra, we set $\Vert(\alpha,A)\Vert=|\alpha|+\Vert A\Vert$. Clearly, this formula defines a norm on $\widetilde{\mathoo B}$. It is also clear that $\widetilde{\mathoo B}$ is complete provided that $\mathoo B$ is complete. If $\mathoo B$ is unital, then $\widetilde{\mathoo B}$ means the algebra $\mathoo B$ itself. \[t:Neumann\] Let $\mathoo B$ be a unital Banach algebra and $A,B\in\mathoo B$. If $A$ is invertible and $$\Vert B\Vert\cdot\Vert A^{-1}\Vert<1,$$ then the element $A-B$ is also invertible and $$(A-B)^{-1}=A^{-1}+A^{-1}BA^{-1}+A^{-1}BA^{-1}BA^{-1} +A^{-1}BA^{-1}BA^{-1}BA^{-1}+\ldots\,.$$ In this case $$\begin{aligned} \Vert(A-B)^{-1}\Vert&\le\frac{\Vert A^{-1}\Vert}{1-\Vert B\Vert\cdot\Vert A^{-1}\Vert},\notag\\ \Vert(A-B)^{-1}-A^{-1}\Vert&\le\frac{\Vert B\Vert\cdot\Vert A^{-1}\Vert^{2}}{1-\Vert B\Vert\cdot\Vert A^{-1}\Vert},\label{e:(A-B)-1-A-1}\\ \Vert(A-B)^{-1}-A^{-1}-A^{-1}BA^{-1}\Vert&\le\frac{\Vert B\Vert^2\cdot\Vert A^{-1}\Vert^{3}}{1-\Vert B\Vert\cdot\Vert A^{-1}\Vert}.\notag\end{aligned}$$ We consider the series $$A^{-1}+A^{-1}BA^{-1}+A^{-1}BA^{-1}BA^{-1} +A^{-1}BA^{-1}BA^{-1}BA^{-1}+\ldots\,.$$ We represent this series in the form $A^{-1}\bigl(\mathbf1+BA^{-1}+BA^{-1}BA^{-1} +BA^{-1}BA^{-1}BA^{-1}+\ldots\bigr).$ Since $\Vert BA^{-1}\Vert\le\Vert B\Vert\cdot\Vert A^{-1}\Vert<1$, the series converges absolutely. We denote its sum by $C$. It is straightforward to verify that $C$ coincides with the inverse of $A-B$. Estimates follow from the geometric series formula $\sum_{k=0}^\infty q^k=\frac1{1-q}$, $|q|<1$. For example, let us prove the second estimate: $$\Vert(A-B)^{-1}-A^{-1}\Vert\le\sum_{k=1}^\infty\Vert B\Vert^k\cdot\Vert A^{-1}\Vert^{k+1}=\frac{\Vert B\Vert\cdot\Vert A^{-1}\Vert^{2}}{1-\Vert B\Vert\cdot\Vert A^{-1}\Vert}.\qed$$ Let $\mathoo B$ be a (nonzero) unital algebra and $A\in\mathoo B$. The set of all $\lambda\in\mathbb C$ such that the element $\lambda\mathbf1-A$ is not invertible is called the <span>*spectrum*</span> of the element $A$ (in the algebra $\mathoo B$) and is denoted by the symbol $\sigma(A)$. The complement $\rho(A)=\mathbb C\setminus\sigma(A)$ is called the *resolvent set* of $A$. The function $ R_\lambda=(\lambda\mathbf1-A)^{-1} $ is called the *resolvent* of the element $A$. \[<span>@Hille-Phillips:eng [Theorem 4.8.1]</span>\]\[p:resolvent proprties\] The resolvent $R_{(\cdot)}$ of any element $A\in\mathoo B$ satisfies the <span>*Hilbert identity*</span> $$\label{e:Hilbert identity:alg} R_\lambda-R_\mu=-(\lambda-\mu)R_\lambda R_\mu,\qquad\lambda,\mu\in\rho(A).$$ \[<span>@Bourbaki_Theories_Spectrales:eng [ch.1, § 2, п. 5], @Rudin:eng [Theorem 10.13]</span>**\]\[p:spectra properties\] The spectrum of any element $A$ of a nonzero unital Banach algebra $\mathoo B$ is a compact and nonempty subset of the complex plane $\mathbb C$.** Let $\mathoo A$ and $\mathoo B$ be algebras. A mapping $\varphi{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}\mathoo A\to\mathoo B$ is called @Bourbaki_Theories_Spectrales:eng a <span>*morphism of algebras*</span> if $$\begin{aligned} \varphi(A+B)&=\varphi(A)+\varphi(B),\\ \varphi(\alpha A)&=\alpha\varphi(A),\\ \varphi(AB)&=\varphi(A)\varphi(B).\end{aligned}$$ If, in addition, $\mathoo A$ and $\mathoo B$ are unital and $$\varphi(\mathbf 1_{\mathoo A})=\mathbf 1_{\mathoo B},$$ $\varphi$ is called a <span>*morphism of unital algebras*</span>. If $\mathoo A$ and $\mathoo B$ are Banach algebras @Hille-Phillips:eng [@Rudin:eng; @Bourbaki_Theories_Spectrales:eng] and, in addition, the morphism $\varphi$ is continuous, then $\varphi$ is called a <span>*morphism of Banach algebras*</span>. A unital subalgebra $\mathoo R$ of a unital algebra $\mathoo B$ is called @Bourbaki_Theories_Spectrales:eng [ch. 1, § 1.4] <span>*full*</span> if every $B\in\mathoo R$ which is invertible in $\mathoo B$ is also invertible in $\mathoo R$. Since the inverse is unique, the last definition is equivalent to the following: if for $B\in\mathoo R$ there exists $B^{-1}\in\mathoo B$ such that $BB^{-1}=B^{-1}B=\mathbf 1$, then $B^{-1}\in\mathoo R$. \[ex:preconjugate\] Let $X$ be a Banach space. The set $\mathoo B_0(X^*)$ of all operators that have a preconjugate is a full subalgebra of the algebra $\mathoo B(X^*)$. \[<span>@Bourbaki_Theories_Spectrales:eng [ch. 1, § 2.5]</span>\]\[p:closure of full\] The closure of a full subalgebra of a Banach algebra is also a full subalgebra. The closure of the least full subalgebra of a Banach algebra that contains a set $M$ is the least full closed subalgebra that contains $M$. An algebra $\mathoo B$ is called *commutative* if $AB=BA$ for all $A,B\in\mathoo B$. A *character* of a unital commutative algebra $\mathoo B$ @Bourbaki_Theories_Spectrales:eng [ch. 1, § 1.5] is a morphism $\chi{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern- \thinmuskip{:}\hskip.3333emplus.0555em\relax}\mathoo B\to\mathbb C$ of unital algebras. A *character* of a commutative non-unital algebra $\mathoo B$ @Bourbaki_Theories_Spectrales:eng [ch. 1, § 1.5] is a morphism of (non-unital) algebras $\chi{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern- \thinmuskip{:}\hskip.3333emplus.0555em\relax}\mathoo B\to\mathbb C$. If an algebra $\mathoo B$ is non-unital, we denote by $\chi_0$ the character $\chi_0{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern- \thinmuskip{:}\hskip.3333emplus.0555em\relax}\mathoo B\to\mathbb C$ that is equal to zero on all elements of $\mathoo B$. We call $\chi_0$ the *zero character*. We stress that the character $\chi_0$ exists only if the algebra $\mathoo B$ is non-unital. \[p:char and adj unit\] All characters of a non-unital algebra $\mathoo B$ are extendable uniquely to characters of the algebra $\widetilde{\mathoo B}$ derived from $\mathoo B$ by adjoining a unit. The extension is defined by the formula $\chi(\alpha\mathbf1+A)=\alpha+\chi(A)$. Conversely, the restriction of any character of the algebra $\widetilde{\mathoo B}$ to $\mathoo B$ is a character of the algebra $\mathoo B$. In particular, the zero character $\chi_0$ is the restriction of the character $\alpha\mathbf1+A\mapsto\alpha$<span>;</span> we will denote it by the same symbol $\chi_0$. The proof is obvious. We denote by $X(\mathoo B)$ the set of all *nonzero* characters of a commutative algebra $\mathoo B$ (unital or non-unital), and we denote by $\widetilde{X}(\mathoo B)$ the set of all characters of a commutative algebra $\mathoo B$ (including the zero character $\chi_0$ if the algebra is non-unital). If an algebra $\mathoo B$ is unital, then $\widetilde{X}(\mathoo B)$ obviously coincides with $X(\mathoo B)$. The set $X(\mathoo B)$ is called @Bourbaki_Theories_Spectrales:eng the *character space* of the algebra $\mathoo B$. \[<span>@Bourbaki_Theories_Spectrales:eng [ch. 1, § 3.3, Proposition 3]</span>\]\[t:Gelfand\] Let $\mathoo B$ be a unital commutative Banach algebra. Then for all $A\in\mathoo B$, $$\sigma(A)=\{\,\chi(A){\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern- \thinmuskip{:}\hskip.3333emplus.0555em\relax}\chi\in \widetilde{X}(\mathoo B)\,\}.$$ \[<span>@Bourbaki_Theories_Spectrales:eng [ch. 1, § 3, Theorem 1]</span>\]\[c:contin of characters\] Every character of a commutative Banach algebra is continuous<span>;</span> namely, its norm is less than or equal to unity. \[c:continuity of spr\] In a unital commutative Banach algebra $\mathoo B$, the spectrum continuously depends on an element<span>;</span> more precisely, if $A,B\in\mathoo B$ and $\Vert A-B\Vert<\varepsilon$, then $\sigma(B)$ is contained in the $\varepsilon$-neighbourhood of $\sigma(A)$. Algebras of analytic functions {#s:mathoo O} ============================== This Section is a preparation for a discussion of analytic functional calculi. Here we collect some preliminaries on algebras of analytic functions defined on subsets of $\overline{\mathbb C}$ and $\overline{\mathbb C}^2$. We denote by $\overline{\mathbb C}$ the one-point compactification $\mathbb C\cup\{\infty\}$ of the complex plane $\mathbb C$, and we denote by $\overline{\mathbb C}^2$ the Cartesian product $\overline{\mathbb C}\times\overline{\mathbb C}$. \[p:U times V\] Let $\sigma_1,\sigma_2\subseteq\overline{\mathbb C}$ be closed sets, and let an open set $W\subseteq\overline{\mathbb C}^2$ contains $\sigma_1\times\sigma_2$. Then there exist open sets $U,V\subseteq\overline{\mathbb C}$ such that $\sigma_1\times\sigma_2\subseteq U\times V\subseteq W$. For an arbitrary $\lambda\in\sigma_1$, we consider the set $\{\lambda\}\times\sigma_2$. We consider a finite cover of $\{\lambda\}\times\sigma_2$ by the sets of the form $U_i\times V_i$, where $U_i,V_i\subseteq\overline{\mathbb C}$ are open and $U_i\times V_i\subseteq W$. We put $\widetilde{U}=\cap_iU_i$ and $\widetilde{V}=\cup_iV_i$. It is clear that the set $\widetilde{U}\times\widetilde{V}\subseteq W$ also covers the set $\{\lambda\}\times\sigma_2$, namely, $\{\lambda\}\subseteq\widetilde{U}$, $\sigma_2\subseteq\widetilde{V}$. Further, we cover every subset of the form $\{\lambda\}\times\sigma_2$ of the set $\sigma_1\times\sigma_2$ by a set of the form $\widetilde{U}\times\widetilde{V}\subseteq W$. We choose a finite subcover $\{\,\widetilde{U}_k\times\widetilde{V}_k\,\}$ and put $U=\cup_k\widetilde{U}_k$, $V=\cap_k\widetilde{V}_k$. Obviously, $\sigma_1\times\sigma_2\subseteq U\times V\subseteq W$. \[p:U times V 2\] Let $U_1,U_2\subseteq\overline{\mathbb C}$ be open sets. Then for every compact set $N\subset U_1\times U_2$ there exist compact sets $N_1\subseteq U_1$ and $N_2\subseteq U_2$ such that $N\subseteq N_1\times N_2$. It is sufficient to take for $N_1$ the image of the set $N$ under the projection $(\lambda,\mu)\mapsto\lambda$ onto the first coordinate, and for $N_2$ the image of the set $N$ under the projection $(\lambda,\mu)\mapsto\mu$ onto the second coordinate. Let $K$ be a closed subset of $\overline{\mathbb C}^2$ or $\overline{\mathbb C}$ and $\mathoo B$ be a unital Banach algebra. We denote by $\mathoo O(K,\mathoo B)$ the set of all analytic[^1] @Shabat2:eng [@Greene-Krantz] functions $f{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}U\to\mathoo B$, where $U$ is an open neighbourhood of the set $K$ (it is implied that the neighbourhood $U$ may depend on $f$). Two functions $f_1{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}U_1\to\mathoo B$ and $f_2{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}U_2\to\mathoo B$ are called <span>*equivalent*</span> if there exists an open neighbourhood $U\subseteq U_1\cap U_2$ of the set $K$ such that $f_1$ and $f_2$ coincide on $U$, i. e. $f_1(\lambda)=f_2(\lambda)$ for all $\lambda\in U$. It can be easily shown that this is really an equivalence relation. Thus, strictly speaking, elements of $\mathoo O(K,\mathoo B)$ are classes of equivalent functions. The notation $\mathoo O(K,\mathbb C)$ is abbreviated to $\mathoo O(K)$. \[e:O is an algebra:Z2\] The set $\mathoo O(K,\mathoo B)$ is an algebra with respect to pointwise operations with the unit $u(\lambda)=1$, $\lambda\in U\supset K$. \[p:spec in O:Z2\] <span>(a)</span> For $f\in\mathoo O(K,\mathoo B)$, the following conditions are equivalent: the function $f$ is invertible in the algebra $\mathoo O(K,\mathoo B)$<span>;</span> the element $f(\lambda)\in\mathoo B$ is invertible at all points $\lambda\in K$<span>;</span> the element $f(\lambda)$ is invertible at all points $\lambda\in U$, where $U\supset K$ is some open set. <span>(b)</span> The spectrum of a function $f\in\mathoo O(K,\mathoo B)$ in the algebra $\mathoo O(K,\mathoo B)$ is given by the formula $$\bigcup_{\lambda\in K}\sigma\bigl(f(\lambda)\bigr).$$ We recall the definition of the natural topology on the algebra $\mathoo O(K,\mathoo B)$ @Bourbaki_Theories_Spectrales:eng [ch. 1, § 4.1]. For each open set $U\supset K$, we denote by $\mathoo O(U,\mathoo B)$ the linear space of all analytic functions $f{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}U\to\mathoo B$. We endow $\mathoo O(U,\mathoo B)$ with the *topology of compact convergence* @Bourbaki_Topologie_Generale-10:eng [ch. X, § 3.6], @Schaefer:eng [ch. III, § 3]. A fundamental system of neighbourhoods of zero in this topology is formed by the sets $T(N,\delta)=\{\,f{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}\Vert f(N)\Vert<\delta\,\}$, where $N\subset U$ is compact and $\delta>0$; clearly, when $N$ enlarges, the neighbourhood $T(N,\delta)$ shrinks; therefore, it is enough to consider only those sets $N$, the interior of which contains $K$. There are evident canonical mappings $g_U:\,\mathoo O(U,\mathoo B)\to\mathoo O(K,\mathoo B)$. The mappings $g_U$ are not always injective. Nevertheless, by misuse of language, we will regard $\mathoo O(U,\mathoo B)$ as subspaces of the space $\mathoo O(K,\mathoo B)$. We endow $\mathoo O(K,\mathoo B)$ with the inductive topology @Schaefer:eng [ch. II, § 6] induced by the mappings $g_U$ (one may restrict himself to a decreasing sequence of open sets $U\supset K$). A fundamental system of neighbourhoods of zero in $\mathoo O(K,\mathoo B)$ consists of all balanced, absorbent, and convex sets $W\subseteq\mathoo O(K,\mathoo B)$ such that the inverse image $g_U^{-1}(W)$ is a neighbourhood of zero in $\mathoo O(U,\mathoo B)$. Thus, for all $U\supset N\supset K$ such that the interior of the compact set $N$ contains $K$, the inverse image $g_U^{-1}(W)$ must contain the set $T(N,\delta)=\{\,f{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}\Vert f(N)\Vert<\delta\,\}\subset\mathoo O(U,\mathoo B)$. We recall @Schaefer:eng [ch. 2, Theorem 6.1] that a linear mapping $\varphi{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}\mathoo O(K,\mathoo B)\to\mathbb E$, where $\mathbb E$ is a Banach space, is continuous if and only if all the compositions $\varphi\circ g_U{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}\mathoo O(U,\mathoo B)\to\mathbb E$, where $U\supset K$, are continuous, i. e. for any neighbourhood $W\subseteq\mathbb E$ of zero there exist a compact set $N\subset U$ and a number $\delta>0$ such that the interior of $N$ contains $K$ and $\varphi\circ g_U\bigl(T(N,\delta)\bigr)\subseteq W$. We note that since $\mathbb E$ is a Banach space, it is sufficient to restrict ourselves to the consideration of $\varepsilon$-neighbourhoods of zero for $W$. Below, by misuse of language, we denote $\varphi\circ g_U$ by the abbreviated symbol $\varphi$. \[<span>@Ichinose75 [Proposition 1.3]</span>\]\[p:dense\] Let $U_1\subseteq\overline{\mathbb C}$ and $U_2\subseteq\overline{\mathbb C}$ be open sets. Then the natural image of the algebraic tensor product $\mathoo O(U_1)\otimes\mathoo O(U_2)$ is everywhere dense in $\mathoo O(U_1\times U_2)$. Pseudo-resolvents and functional calculus {#s:pseudo-resolvents} ========================================= We call a mapping that converts functions to operators (or transformators) a *functional calculus*. Of course, the most interesting are functional calculi that possess special properties (for example, morphisms of algebras). A *pseudo-resolvent* is a function that takes values in a Banach algebra and satisfies the Hilbert identity , like a resolvent. Every pseudo-resolvent generates a functional calculus (Theorems \[t:functional\_calculas:infty in rho\] and \[t:functional\_calculas:infty in sigma\]) which is a morphism of algebras and possesses the property of preserving the spectrum (Theorem \[t:spectral mappping\]). Let $\mathoo B$ be a Banach algebra and $U\subseteq\mathbb C$ be a subset. A function (family) $\lambda\mapsto R_\lambda$ defined on $U$ and taking values in $\mathoo B$ is called @Hille-Phillips:eng [ch. 5, § 2] a *pseudo-resolvent* if it satisfies the *Hilbert identity* $$\label{e:Hilbert identity:pseudo} R_\lambda-R_\mu=-(\lambda-\mu)R_\lambda R_\mu,\qquad\lambda,\mu\in U.$$ A pseudo-resolvent is called @Baskakov2004:eng [p. 103] *maximal*\[text:def of max pseudo-resolvent\] if it cannot be extended to a larger set with the preservation of the Hilbert identity . Below (Theorem \[t:pseudoresovent\]) we will see that every pseudo-resolvent can be extended to a unique maximal one. The domain $\rho(R_{(\cdot)})$ of the maximal extension of a pseudo-resolvent $R_{(\cdot)}$ is called a *regular set* of the original pseudo-resolvent. The complement $\sigma(R_{(\cdot)})$ of the regular set $\rho(R_{(\cdot)})$ is called @Arendt, @Baskakov2004:eng [p. 103] the *singular set*. \[ex:pseudo-resolvent\] The examples of pseudo-resolvents are: (a) the resolvent of an element of a unital Banach algebra (Proposition \[p:res of A is max res\]); (b) a constant function $\lambda\mapsto N$, where $N\in\mathoo B$ is an arbitrary element whose square equals zero (Proposition \[c:pseudo in an infinite point\]); (c) in particular, the identically zero function; (d) the resolvent of a closed linear operator @Hille-Phillips:eng [Theorem 5.8.1]; (e) the resolvent of a linear relation @Arens61 [@Baskakov2004:eng; @Bichegkuev:eng; @Cross; @Favini-Yagi; @Haase2006; @Kurbatova-PMM09:eng]; this example is the most general, because every pseudo-resolvent is a resolvent of some linear relation @Baskakov2004:eng [Theorem 5.2.4], @Haase2006 [Proposition A.2.4]; (f) direct sums of pseudo-resolvents from the previous examples. A simple example of a maximal pseudo-resolvent is given in the following proposition. \[\]\[p:res of A is max res\] The resolvent of an arbitrary element $A\in\mathoo B$ is a maximal pseudo-resolvent, i. e. it cannot be extended to a set larger than $\rho(A)$ with the preservation of the Hilbert identity . We note that identity can be equivalently written in the form (here $\mathbf1$ is an adjoint unit if the original algebra has no unit) $$\label{e:Hilbert identity':alg} R_\lambda\bigl(\mathbf1+(\lambda-\mu)R_\mu\bigr)=R_\mu.$$ Below in this Section, we will adjoin a unit to $\mathoo B$ when it has no unit. \[\]\[p:mathbf1+(lambda-mu)\] Let $R_\lambda,R_\mu\in\mathoo B$ be two commuting elements that satisfy identity . Then the element $\mathbf1+(\lambda-\mu)R_\mu\in\widetilde{\mathoo B}$ is necessarily invertible. \[\]\[t:pseudoresovent\] Every pseudo-resolvent whose domain contains at least one point $\mu\in\mathbb C$ can be extended to a maximal pseudo-resolvent<span>;</span> this extension is unique. The domain of the maximal extension is the set of all $\lambda\in\mathbb C$ such that the element $\mathbf1+(\lambda-\mu)R_\mu$ is invertible in $\widetilde{\mathoo B}$. This extension can be defined by the formula $$\label{e: restore res} R_\lambda=R_\mu\bigl(\mathbf1+(\lambda-\mu)R_\mu\bigr)^{-1}=\bigl(\mathbf1+(\lambda-\mu)R_\mu\bigr)^{-1}R_\mu.$$ We will denote the original pseudo-resolvent and its continuation to a maximal pseudo-resolvent by the same symbol $R_{(\cdot)}$. Moreover, we will generally assume that all pseudo-resolvents under consideration are already extended to maximal pseudo-resolvents. \[<span>@Hille-Phillips:eng [Theorem 5.8.2], @Cross [ch. 6, § 1]</span>\]\[c:holom Rlambda\] The domain of a maximal pseudo-resolvent is an open set and the maximal pseudo-resolvent is an analytic function <span>(</span>with values in $\mathoo B$<span>)</span>.[^2] More precisely, in a neighbourhood of any point $\mu\in\rho(R_{(\cdot)})$, the maximal pseudo-resolvent admits the power series expansion $$R_\lambda=\sum_{n=0}^\infty(\mu-\lambda)^nR_\mu^{n+1}.$$ \[<span>@Hille-Phillips:eng [Theorem 5.8.3]</span>\]\[p:pseudo is res:alg\] A pseudo-resolvent $R_{(\cdot)}$ in a Banach algebra $\mathoo B$ is a resolvent of some element $A\in\mathoo B$ if and only if $\mathoo B$ is unital and the element $R_\mu$ is invertible for at least one <span>(</span>and, consequently, for all<span>)</span> $\mu\in\rho(R_{(\cdot)})$. A pseudo-resolvent $R_{(\cdot)}$ in $\mathoo B(X)$, where $X$ is a Banach space, is a resolvent of some unbounded operator $A:\,D(A)\subset X\to X$ if and only if the operator $R_\mu:\,X\to\operatorname{Im}R_\mu$ is invertible for at least one <span>(</span>and, consequently, for all<span>)</span> $\mu\in\rho(R_{(\cdot)})$. In this case $A=\lambda\mathbf1-(R_{\lambda})^{-1}$ for all $\lambda\in\rho(R_{(\cdot)})$. In a similar way, a linear relation can also be recovered from the value of its resolvent at one point. Thus, the resolvent contains all information about a linear relation or an operator that generates it. On the other hand, the conditions on unbounded operators and linear relations are often imposed in terms of their resolvents (the nonemptiness of the resolvent set, the estimate of decay rate at infinity etc.). Besides, functions of linear relations and unbounded operators are often expressed directly via their resolvents. For this reason, the resolvent can be considered as a more fundamental object than an operator or relation that generates it. This is the viewpoint we adhere to in this article. We fix a pseudo-resolvent $R_{(\cdot)}$. We denote by $\mathoo B_R$ the smallest closed subalgebra of the algebra $\mathoo B$ that contains all elements $R_\lambda$, $\lambda\in\rho(R_{(\cdot)})$, of the extension of the pseudo-resolvent $R_{(\cdot)}$ to a maximal pseudo-resolvent. \[<span>@Kurbatov-Kurbatova-IM-2015:eng [Proposition 21]</span>\]\[p:B\_R is commutative\] The algebra $\mathoo B_R$ coincides with the closure of the linear span of the family of all elements $R_\lambda$, $\lambda\in\rho(R_{(\cdot)})$, and is commutative. If the algebra $\mathoo B_R$ does not contain the unit of the algebra $\mathoo B$ (this is certainly the case if $\mathoo B$ is not unital), then we will, as usual, denote by $\widetilde{\mathoo B}_R$ the algebra $\mathoo B_R$ with an adjoint unit from $\mathoo B$[^3] (or the algebra $\widetilde{\mathoo B}$ with an adjoint unit). If $\mathoo B_R$ contains the unit of the algebra $\mathoo B$, the symbol $\widetilde{\mathoo B}_R$ is understood to be $\mathoo B_R$. \[<span>@Kurbatov-Kurbatova-IM-2015:eng [Theorem 22]</span>\]\[p:B\_R=B(R)\] The subalgebra $\widetilde{\mathoo B}_R$ is commutative and full. \[p:chi\_infty\] If a character $\chi$ of the algebra $\mathoo B_R$ equals zero at least at one element $R_\mu$, $\mu\in\rho(R_{(\cdot)})$, then it is identically equal to zero on $\mathoo B_R$, i. e. coincides with $\chi_0$. The proof follows from formula and the description of $\mathoo B_R$ <span>(</span>Proposition \[p:B\_R is commutative\]<span>)</span> as the closure of the linear span of the family $R_\lambda$, $\lambda\in\rho(R_{(\cdot)})$. We say that a sequence of maximal pseudo-resolvents $R_{n,\,(\cdot)}$ *converges*\[page:conv of Res\] to a maximal pseudo-resolvent $R_{(\cdot)}$ if there exists a point $\mu\in\mathbb C$ such that all the pseudo-resolvents $R_{n,\,(\cdot)}$ are defined at $\mu$ (for $n$ sufficiently large) and the sequence $R_{n,\,\mu}$ converges to $R_{\mu}$ in norm, cf. @Kato:eng [Theorem 2.25]. The following lemma shows that this definition does not depend on the choice of the point $\mu\in\mathbb C$. \[l:limit of pseudo-resolvents\] Let a sequence $R_{n,\,(\cdot)}$ of maximal pseudo-resolvents converge to a maximal pseudo-resolvent $R_{(\cdot)}$ at a point $\mu\in\mathbb C$ <span>(</span>it is assumed that the pseudo-resolvents $R_{n,\,\mu}$ are defined at the point $\mu$ for all $n$ large enough<span>)</span>. Then for any point $\lambda\in\rho(R_{(\cdot)})$, the sequence $R_{n,\,\lambda}$ is defined for all $n$ large enough and converges to $R_{\lambda}$ in norm. Moreover, given a compact set $\Gamma\subset\rho\bigl(R_{(\cdot)}\bigr)$, the elements $R_{n,\,\lambda}$ are defined for $n$ large enough at all $\lambda\in\Gamma$ and converges to $R_{\lambda}$ uniformly with respect to $\lambda\in\Gamma$. Let $R_{n,\,\mu}$ converge to $R_{\mu}$. By Theorem \[t:pseudoresovent\], the element $\mathbf1+(\lambda-\mu)R_\mu$ is invertible for all $\lambda\in\Gamma$. Since the function $\lambda\mapsto\mathbf1+(\lambda-\mu)R_\mu$ is continuous, from Theorem \[t:Neumann\] it follows that $$\min_{\lambda\in\Gamma}\bigl\Vert\bigl(\mathbf1+(\lambda-\mu)R_\mu\bigr)^{-1}\bigr\Vert>0.$$ Since $R_{n,\,\mu}$ converges to $R_{\mu}$, the sequence $\lambda\mapsto\mathbf1+(\lambda-\mu)R_{n,\,\mu}$ converges to $\lambda\mapsto\mathbf1+(\lambda-\mu)R_\mu$ uniformly with respect to $\lambda\in\Gamma$. Therefore, again by Theorem \[t:Neumann\], the elements $\mathbf1+(\lambda-\mu)R_{n,\,\mu}$ are invertible for all $\lambda\in\Gamma$ provided $n$ is large enough; in this case, by estimate , the inverses also converge uniformly. It remains to apply formula . We note that the limit of a sequence of resolvents of bounded operators can be the resolvent of a non-bounded operator, see @Reed-Simon:JFA73 [Lemma 7]. \[<span>@Hille-Phillips:eng [Theorem 5.9.2]</span>\]\[c:pseudo in an infinite point\] Let a pseudo-resolvent $R_{(\cdot)}$ admit an analytic continuation in a neighbourhood of the point $\infty$.[^4] Then there exist elements $P,A,N\in\mathoo B_R$ such that $$N^{2}=\mathbf0,\qquad P^{2}=P,\qquad AP=PA=A,\qquad NP=PN=\mathbf0$$ and the expansion of the pseudo-resolvent into the Laurent series with centre $\infty$ has the form $$\label{e:sigma_R:infty} R_\lambda=-N+\frac P\lambda+\frac A{\lambda^2}+\frac{A^2}{\lambda^3}+\frac{A^3}{\lambda^4}+\ldots\,.$$ We call the *extended regular set* $\bar\rho(R_{(\cdot)})\subseteq\overline{\mathbb{C}}$ of a pseudo-resolvent $R_{(\cdot)}$ (in the algebra $\mathoo B$) either the regular set $\rho(R_{(\cdot)})$ or the union $\rho(R_{(\cdot)})\cup\{\infty\}$; more precisely, we add the point $\infty$ to $\bar\rho(R_{(\cdot)})$ if the algebra $\mathoo B$ is unital, the regular set $\rho(R_{(\cdot)})$ contains a (deleted) neighbourhood of $\infty$, and $\lim_{\lambda\to\infty}\lambda R_\lambda=\mathbf1$. We call the *extended singular set* of the pseudo-resolvent the complement $\bar\sigma(R_{(\cdot)})=\overline{\mathbb{C}}\setminus\bar\rho(R_{(\cdot)})$ of the extended regular set. \[p:1 in B\_R\] The following properties of a maximal pseudo-resolvent are equivalent: - \[(a)\] $\infty\in\bar\rho(R_{(\cdot)})$<span>;</span> - \[(b)\] the maximal pseudo-resolvent is the resolvent of some element $A\in\mathoo B_R$ <span>(</span>see Proposition \[p:pseudo is res:alg\]<span>)</span><span>;</span> - \[(c)\] the algebra $\mathoo B$ is unital and the subalgebra $\mathoo B_R$ contains the unit of the algebra $\mathoo B$. The equivalence of (a) and (b) is proved in @Kurbatov-Kurbatova-IM-2015:eng [Proposition 23]. Let assumption (b) be fulfilled, i. e. $R_\lambda=(\lambda\mathbf1-A)^{-1}$, where $A\in\mathoo B_R$. Then, by virtue of Theorem \[t:Neumann\], the power series expansion $$(\lambda\mathbf1-A)^{-1}=\frac{\mathbf1}\lambda+\frac{A}{\lambda^2}+\frac{A^2}{\lambda^3}+\ldots\,$$ holds in a neighbourhood of infinity, which shows that $\mathbf1\in\mathoo B_R$, i. e., assumption (c) holds. Let assumption (c) be fulfilled, i. e. the subalgebra $\mathoo B_R$ contain the unit of the algebra $\mathoo B$. There are no identically zero characters on a unital commutative algebra, because $\chi(\mathbf1)=1$. Therefore, by Proposition \[p:chi\_infty\], $\chi(R_\mu)\neq0$ for all $\chi\in\widetilde{X}(\mathoo B_R)$ and $\mu\in\rho(R_{(\cdot)})$. Hence, by Theorem \[t:Gelfand\], all values $R_\mu$ of the pseudo-resolvent are invertible. Then, by virtue of Proposition \[p:pseudo is res:alg\], the pseudo-resolvent is the resolvent of some element $A\in\mathoo B_R$, i. e. assumption (b) holds. Below in this Section, we assume that $X$ is a Banach space and we are given a maximal pseudo-resolvent $R_{(\cdot)}$ in $\mathoo B(X)$. Let $\sigma$ and $\Sigma$ be two disjoint closed subsets of $\overline{\mathbb C}$. A contour $\Gamma$ is called @Hille-Phillips:eng [ch. V, § 5.2] an *oriented envelope* of the set $\sigma$ *with respect* to the set $\Sigma$ if $\Gamma$ is an oriented boundary of an open set $U$ that contains $\sigma$ and is disjoint from $\Sigma$. Thus, $\Gamma$ surrounds the set $\sigma$ in the counterclockwise direction and surrounds the set $\Sigma$ in the clockwise direction. \[t:functional\_calculas:infty in rho\] Assume that $\infty\notin\bar\sigma(R_{(\cdot)})$. We define the mapping $\varphi{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}\mathoo O\bigl(\sigma(R_{(\cdot)})\bigr)\to\mathoo B_R$ by the formula $$\label{e:functional calculus_1} \varphi(f)=\frac1{2\pi i}\int_\Gamma f(\lambda)R_\lambda\,d\lambda,$$ where $\Gamma$ <span>(</span>see left fig. <span>\[f:Gamma0\])</span> is an oriented envelope of the singular set $\sigma(R_{(\cdot)})$ with respect to the point $\infty$ and the complement of the domain of the function $f$. We assert that $\varphi$ is a continuous morphism of unital algebras. The morphism $\varphi$ maps the function $u(\lambda)=1$ to the identity operator $\mathbf1_X$. The function $v_1(\lambda)=\lambda$ is mapped by $\varphi$ to the operator $A\in\mathoo B(X)$ that generates the maximal pseudo-resolvent $R_{(\cdot)}$ in accordance with Proposition <span>\[p:1 in B\_R\]</span><span>;</span> and the function $r_{\lambda_0}(\lambda)=\frac1{\lambda_0-\lambda}$, where $\lambda_0\in\rho(R_{(\cdot)})$, is mapped by $\varphi$ to $R_{\lambda_0}$. The proof is analogous to that of the theorem on analytic functional calculus for bounded operators @Bourbaki_Theories_Spectrales:eng [ch. 1, § 4, Theorem 3], @Hille-Phillips:eng [Theorem 5.2.5], @Rudin:eng [Theorem 10.27]. When it is desirable to stress that the functional calculus $\varphi$ considered in Theorem \[t:functional\_calculas:infty in rho\] is generated by the resolvent of an operator $A\in\mathoo B(X)$, we will use the notation $R_{A,\,\lambda}$ instead of $R_\lambda$, the notation $\varphi_A$ instead of $\varphi$, and the notation $f(A)$ instead of $\varphi(f)$. =1.mm (50,30) (22.5,17) (21,14) (18,17) (20,15)<span>(34,22)</span> (37,15)<span>(0,1)<span>3</span></span> (32,15)<span>$\Gamma$</span> (20,8)<span>$\sigma$</span> (40,12) (65,30) (27,19) (26,16) (25,14) (23,17) (50,15) (43,14)<span>(0,1)<span>2</span></span> (39, 12)<span>$\Gamma$</span> (25,7)<span>$\bar\sigma$</span> (50,12) \[t:functional\_calculas:infty in sigma\] Assume that $\infty\in\bar\sigma(R_{(\cdot)})$. We define the mapping $\varphi{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}\mathoo O\bigl(\bar\sigma(R_{(\cdot)})\bigr)\to\widetilde{\mathoo B}_R$ by the formula $$\label{e:functional calculus:infty in sigma} \varphi(f)=\frac1{2\pi i}\int_\Gamma f(\lambda)R_\lambda\,d\lambda+f(\infty)\mathbf1,$$ where $\Gamma$ is an oriented envelope of the extended singular set $\bar\sigma(R_{(\cdot)})$ with respect to the complement of the domain of $f$ <span>(</span>see the right fig. <span>\[f:Gamma0\])</span>. We assert that $\varphi$ is a continuous morphism of unital algebras. The morphism $\varphi$ maps the function $u(\lambda)=1$ to the identity operator $\mathbf1$. The function $r_{\lambda_0}(\lambda)=\frac1{\lambda_0-\lambda}$, where $\lambda_0\in\rho(R_{(\cdot)})$, is mapped by $\varphi$ to $R_{\lambda_0}$. The proof is analogous to that of the theorem on analytic functional calculus for unbounded operators @Hille-Phillips:eng [Theorem 5.11.2]. When it is desirable to stress that the functional calculus $\varphi$ considered in Theorem \[t:functional\_calculas:infty in sigma\] is generated by a pseudo-resolvent $R_{(\cdot)}$, we will use the notation $\varphi_{R_{(\cdot)}}$ instead of $\varphi$ and the notation $f(R_{(\cdot)})$ instead of $\varphi(f)$. A unified notation for formulae and is suggested in @Hille-Phillips:eng: $$\varphi(f)=\frac1{2\pi i}\int_\Gamma f(\lambda)R_\lambda\,d\lambda+\delta f(\infty)\mathbf1,$$ where $\delta=0$ if $\Gamma$ does not enclose $\infty$, and $\delta=1$ if $\Gamma$ encloses $\infty$. The following theorem is a version of the spectral mapping theorem for the case of pseudo-resolvents. \[t:spectral mappping\] For any function $f\in\mathoo O\bigl(\bar\sigma(R_{(\cdot)})\bigr)$ we have the equality $$\sigma_{\widetilde{\mathoo B}}\bigl(\varphi(f)\bigr)=\sigma_{\widetilde{\mathoo B}_R}\bigl(\varphi(f)\bigr)=\{\,f(\lambda){\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern- \thinmuskip{:}\hskip.3333emplus.0555em\relax}\lambda\in\bar\sigma(R_{(\cdot)})\,\}.$$ The proof is analogous to that of the spectral mapping theorem for unbounded operators @Hille-Phillips:eng [теорема 5.12.1] and for linear relations @Baskakov2004:eng [теорема 5.2.17]. An analytic functional calculus for bounded operators was created in @Dunford43a [@Dunford43b; @Taylor43]. It was carried over to unbounded operators in @Dunford39 [@Hille-Phillips:eng] and to linear relations in @Arens61 [@Baskakov2004:eng; @Cross; @Favini-Yagi; @Haase2006]. Extended tensor products {#s:extended tensor product} ======================== The notion of an extended tensor product is a generalization of the notion of a completion of an algebraic tensor product with respect to a uniform cross-norm @Grothendieck [@Schatten; @Defant-Floret; @Diestel-Fourie-Swart; @Helemskii:eng]. It enables one to extend some constructions which are natural for the usual tensor products to supplementary applications. We recall an example which is the most important for our applications. It is known (see, e. g., @Graham) that in the case of finite-dimensional Banach spaces $X$ and $Y$, the space $\mathoo{B}(Y,X)$ can be identified with the tensor product $X\otimes Y^*$. If $X$ and $Y$ are infinite-dimensional, then $X\otimes Y^*$ corresponds only to the subspace of $\mathoo{B}(Y,X)$ consisting of operators that have a finite-dimensional image. Therefore the completion of $X\otimes Y^*$ with respect to any reasonable norm cannot coincide with the whole $\mathoo{B}(Y,X)$. Nevertheless, $\mathoo{B}(Y,X)$ can be represented (see example \[ex:TP of cat\](e) below) as an extended tensor product $X\boxtimes Y^*$ which enables one to treat it almost as a usual tensor product. The exposition in this Section is based on @Kurbatov-Kurbatova-IM-2015:eng. We denote by $X\otimes Y$ the usual tensor product of linear spaces $X$ and $Y$. In order to distinguish $X\otimes Y$ from its extensions, we call $X\otimes Y$ an *algebraic tensor product*. Let $X$ and $Y$ be Banach spaces. A norm $\alpha(\cdot)=\Vert\cdot\Vert_\alpha$ on $X\otimes Y$ is called a *cross-norm* if $$\Vert x\otimes y\Vert_\alpha=\Vert x\Vert\cdot\Vert y\Vert$$ for all $x\in X$ and $y\in Y$. We denote by $X\overline{\otimes}_\alpha\,Y$ the completion of the tensor product $X\otimes Y$ by the cross-norm $\alpha$. Every element $v^*=\sum_{l=1}^m x_l^*\otimes y_l^*\in X^*\otimes Y^*$ induces the linear functional $$\label{e:nat imbedding j} v^*{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}\sum_{k=1}^n x_k\otimes y_k\mapsto\sum_{l=1}^m\sum_{k=1}^n\langle x_k,x_l^*\rangle\cdot\langle y_k,y_l^*\rangle$$ on the space $X\otimes Y$. We define the norm $\alpha^*$ on $X^*\otimes Y^*$, *conjugate to the cross-norm* $\alpha$, by the formula $$\Vert v^*\Vert_{\alpha^*}=\sup\{\,|\langle v,v^*\rangle|{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}v\in X\otimes Y,\,\Vert v\Vert_\alpha\le1\,\}.$$ A cross-norm $\alpha$ is called $*$-*uniform* if $\alpha^*$ is finite and is a cross-norm. The space $\mathoo B(X)\otimes\mathoo B(Y)$ has the natural structure of an algebra. Every element $T=\sum_{l=1}^m A_l\otimes B_l\in\mathoo B(X)\otimes\mathoo B(Y)$ induces the linear operator $$T{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}\sum_{k=1}^n x_k\otimes y_k\mapsto\sum_{l=1}^m\sum_{k=1}^n(A_lx_k)\otimes (B_ly_k)$$ in $X\otimes Y$. A cross-norm $\alpha$ on the space $X\otimes Y$ induces the norm $\tilde\alpha$ of the operator $T\in\mathoo B(X)\otimes\mathoo B(Y)$ by the formula $$\Vert T\Vert_{\tilde\alpha}=\sup\{\,\Vert Tv\Vert{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}v\in X\otimes Y,\,\Vert v\Vert_\alpha\le1\,\}.$$ A cross-norm $\alpha$ is called @Schatten *uniform* if $\tilde\alpha$ is finite and is a cross-norm. Every uniform cross-norm is $*$-uniform, see @Simon-1973. Let $X$ and $Y$ be Banach spaces. We call an *extended tensor product* @Kurbatov-Kurbatova-IM-2015:eng of $X$ and $Y$ a collection consisting of three objects: a Banach space $X\boxtimes Y$ (which we briefly refer to as the extended tensor product) and two (not necessarily closed) full unital subalgebras $\mathoo B_0(X)$ and $\mathoo B_0(Y)$ of the algebras $\mathoo B(X)$ and $\mathoo B(Y)$ respectively that satisfy assumptions (A), (B), and (C) listed below. - \[(A)\] We are given a linear mapping $j$ from the algebraic tensor product $X\otimes Y$ to $X\boxtimes Y$. In the sequel, we denote $j(x\otimes y)$ by the symbol $x\boxtimes y$. It is assumed that $$\label{e:C2} \Vert x\boxtimes y\Vert_{X\boxtimes Y}=\Vert x\Vert_{X}\cdot\Vert y\Vert_{Y}$$ for all $x\in X$ and $y\in Y$. - \[(B)\] We are given a linear mapping $J$ from the algebraic tensor product $X^*\otimes Y^*$ to $(X\boxtimes Y)^*$. In the sequel, we denote $J(x^*\otimes\,y^*)$ by the symbol $x^*\boxtimes\,y^*$. It is assumed that $$\label{e:D1} \langle x\boxtimes y,x^*\boxtimes\,y^*\rangle=\langle x,x^*\rangle\langle y,y^*\rangle$$ for all $x^*\in X^*$, $y^*\in Y^*$, $x\in X$, and $y\in Y$, and $$\label{e:D2} \Vert x^*\boxtimes y^*\Vert_{(X\boxtimes Y)^*}=\Vert x^*\Vert_{X^*}\cdot\Vert y^*\Vert_{Y^*}$$ for all $x^*\in X^*$ and $y^*\in Y^*$. - \[(C)\] We are given a morphism $\mathfrak J$ of unital algebras from the algebraic tensor product $\mathoo B_0(X)\otimes\mathoo B_0(Y)$ to $\mathoo B(X\boxtimes Y)$. In the sequel, we denote $\mathfrak J(A\otimes B)$ by the symbol $A\boxtimes B$. It is assumed that $$\label{e:C1} \bigl(A\boxtimes B\bigr)(x\boxtimes y)=(Ax)\boxtimes(By)$$ for all $A\in\mathoo B_0(X)$, $B\in\mathoo B_0(Y)$, $x\in X$, and $y\in Y$, and $$\label{e:D3} \bigl(A\boxtimes B\bigr)^*(x^*\boxtimes y^*)=(A^*x^*)\boxtimes(B^*y^*)$$ for all $A\in\mathoo B_0(X)$, $B\in\mathoo B_0(Y)$, $x^*\in X^*$, and $y^*\in Y^*$, and $$\label{e:A otimes B le} \Vert A\boxtimes B\Vert_{\mathoo B(X\boxtimes Y)}=\Vert A\Vert_{\mathoo B(X)}\cdot\Vert B\Vert_{\mathoo B(Y)}$$ for all $A\in\mathoo B_0(X)$ and $B\in\mathoo B_0(Y)$. \[ex:TP of cat\] We recall @Kurbatov-Kurbatova-IM-2015:eng some examples of extended tensor products. \(a) Let $\alpha$ be a cross-norm on an algebraic tensor product $X\otimes Y$. We take for $X\boxtimes Y$ the completion $X\overline{\otimes}_\alpha\,Y$ of the space $X\otimes Y$ with respect to the cross-norm $\alpha$, and we take for $\mathoo B_0(X)$ and $\mathoo B_0(Y)$ the algebras $\mathoo B(X)$ and $\mathoo B(Y)$ respectively. In such a case, assumption means that the cross-norm $\alpha$ is $*$-*uniform*, and assumption means that the cross-norm $\alpha$ is *uniform*. \(b) Let $X$ and $Y$ be Banach spaces. We denote by $\mathoo K(X,Y)$ the Banach space of all bilinear forms $K{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}X\times Y\to\mathbb C$ that are bounded with respect to the norm $\Vert K\Vert=\sup\{\,|K(x,y)|{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}\Vert x\Vert\le1,\,\Vert y\Vert\le1\,\}$. In order to represent $\mathoo K(X,Y)$ as an extended tensor product $X^*\boxtimes Y^*$, we take for $\mathoo B_0(X^*)$ and $\mathoo B_0(Y^*)$ the subalgebras of algebras $\mathoo B(X^*)$ and $\mathoo B(Y^*)$ consisting of all operators that have a preconjugate. We define the mappings $j$, $J$, and $\mathfrak J$ by the rules (extended by linearity) $$\begin{aligned} [x^*\boxtimes y^*](x,y)&=\langle x,x^*\rangle\langle y,y^*\rangle,\\ \langle x^{**}\boxtimes y^{**},K\rangle &=\overline{K}(x^{**},y^{**}),\\ \bigl[(A\boxtimes B)K\bigr](x,y)&=K(A^0x,B^0y),\end{aligned}$$ where $\overline{K}$ is the canonical extension @Arens51 of $K$ to $X^{**}\times Y^{**}$. \(c) Let $X$ and $Y$ be Banach spaces, and $X\overline{\otimes}_\alpha\,Y$ be a completion of the space $X\otimes Y$ with respect to a uniform cross-norm $\alpha$. The conjugate space $(X\overline{\otimes}_\alpha\,Y)^*$ can be regarded as an extended tensor product $X^*\boxtimes Y^*$ if one takes for $\mathoo B_0(X^*)$ and $\mathoo B_0(Y^*)$ the subalgebras of the algebras $\mathoo B(X^*)$ and $\mathoo B(Y^*)$ consisting of all operators that have a preconjugate. We notice that this example is a generalization of the previous one, since $\mathoo K(X,Y)\cong(X\overline{\otimes}_\pi\,Y)^*$, where $\pi$ is the largest cross-norm @Defant-Floret [@Schatten; @Helemskii:eng]. We define $j{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}X^*\otimes Y^*\to X^*\boxtimes Y^*=(X\overline{\otimes}_\alpha\,Y)^*$ as the canonical embedding . Next, we define $J{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}X^{**}\otimes Y^{**}\to (X^*\boxtimes Y^*)^{*}=(X\overline{\otimes}_\alpha\,Y)^{**}$. To this end, we assign to each functional $w^*\in X^*\boxtimes Y^*=(X\overline{\otimes}_\alpha\,Y)^{*}$ the bilinear form $K_{w^*}(x,y)=\langle x\otimes\,y,w^*\rangle$ on $X\times Y$. For $\sum_{k=1}^n x_k^{**}\otimes y_k^{**}\in X^{**}\otimes Y^{**}$, we set $$\Bigl\langle J\Bigl(\sum_{k=1}^n x_k^{**}\otimes y_k^{**}\Bigr),w^{*}\Bigr\rangle=\sum_{k=1}^n \overline{K_{w^*}}(x_k^{**},y_k^{**}),$$ where $\overline{K_{w^*}}$ is the canonical extension of the bilinear form $K_{w^*}$ to $X^{**}\times Y^{**}$. We define the operator $\mathfrak J\bigl(\sum_{k=1}^n A_k\otimes B_k\bigr)\in\mathoo B\bigl((X\overline{\otimes}_\alpha\,Y)^*\bigr)$ as the conjugate of the operator $\sum_{k=1}^n A_k^0\otimes B_k^0{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}X\overline{\otimes}_\alpha\,Y\to X\overline{\otimes}_\alpha\,Y$. \(d) Let $X=L_\infty[a,b]$ and $Y=L_\infty[c,d]$. By example (c), the space $L_\infty[a,b]\times[c,d]$ can be regarded as the extended tensor product $L_\infty[a,b]\boxtimes L_\infty[c,d]$ (we recall that the space $L_\infty[a,b]$ is conjugate of the space $L_1[a,b]$). We notice that one should take for $\mathoo B_0(X)$ and $\mathoo B_0(Y)$ the subalgebras of the algebras $\mathoo B(X)$ and $\mathoo B(Y)$ consisting of all operators that have a preconjugate. \(e) Let $X$ and $Y$ be Banach spaces. We represent the space $\mathoo B(Y,X)$ as an extended tensor product $X\boxtimes Y^*$. To this end, we take for $\mathoo B_0(X)$ the whole algebra $\mathoo B(X)$ and we take for $\mathoo B_0(Y^*)$ the subalgebra of the algebra $\mathoo B(Y^*)$ consisting of all operators that have a preconjugate. We define the mappings $j$, $J$, and $\mathfrak J$ by the rules (extended by linearity) $$\begin{aligned} (x\boxtimes y^*)y&=x\langle y,y^*\rangle,\\ \langle U,x^*\boxtimes\,y^{**}\rangle&=\langle y^{**},U^*x^*\rangle,\\ (A\boxtimes B)U&=AUB^0.\end{aligned}$$ Note that in this example the subalgebra $\mathoo B_0(Y^*)$ can be thought of as $\mathoo B(Y)$, but the action of $\mathoo B(Y)$ on $U\in\mathoo B(Y,X)$ should be understood as contravariant, i. e., $$(A_1\boxtimes B_1)\bigl((A_2\boxtimes B_2)U\bigr)=A_1A_2UB_2B_1.$$ Below in this Section, we assume that we are given an extended tensor product $X\boxtimes Y$ of Banach spaces $X$ and $Y$, and a pseudo-resolvent $R_{(\cdot)}$ in the algebra $\mathoo B_0(Y)$. \[<span>@Kurbatov-Kurbatova-IM-2015:eng [Theorem 26]</span>\]\[t:functional\_calculas:infty in rho:R:otimes\] Assume that $\infty\notin\bar\sigma(R_{(\cdot)})$. We define the mapping $\Phi{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}\mathoo O\bigl(\sigma(R_{(\cdot)}),\mathoo B_0(X)\bigr)\to\mathoo B(X\boxtimes Y)$ by the formula $$\label{e:Phi(f):infty in bar rho} \Phi(F)=\frac1{2\pi i}\int_\Gamma F(\lambda)\boxtimes R_\lambda\,d\lambda,$$ where $\Gamma$ is an oriented envelope of the singular set $\sigma(R_{(\cdot)})$ of the pseudo-resolvent with respect to the point $\infty$ and the complement of the domain of $F$. We assert that $\Phi$ is a continuous morphism of unital algebras. For all $A\in\mathoo B_0(X)$ and $h\in\mathoo O\bigl(\sigma(R_{(\cdot)})\bigr)$the morphism $\Phi$ maps the function $F(\lambda)=Ah(\lambda)$ to the operator $A\boxtimes\varphi(h)$, where $\varphi$ is defined as in Theorem <span>\[t:functional\_calculas:infty in rho\]</span>. We stress that the function $F$ in takes its values in $\mathoo B_0(X)$, but not in $\mathbb C$. \[<span>@Kurbatov-Kurbatova-IM-2015:eng [Theorem 27]</span>\]\[t:functional\_calculas:infty in sigma:R:otimes\] Assume that $\infty\in\bar\sigma(R_{(\cdot)})$. We define the mapping $\Phi{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}\mathoo O\bigl(\bar\sigma(R_{(\cdot)}),\mathoo B_0(X)\bigr)\to\mathoo B(X\boxtimes Y)$ by the formula $$\label{e:Phi(f):infty in bar sigma} \Phi(F)=\frac1{2\pi i}\int_\Gamma F(\lambda)\boxtimes R_\lambda\,d\lambda+F(\infty)\boxtimes\mathbf1,$$ where $\Gamma$ is an oriented envelope of the extended singular set $\bar\sigma(R_{(\cdot)})$ of the pseudo-resolvent with respect to the complement of the domain of $F$. We assert that $\Phi$ is a continuous morphism of unital algebras. For all $A\in\mathoo B_0(X)$ and $h\in\mathoo O\bigl(\sigma(R_{(\cdot)})\bigr)$the morphism $\Phi$ maps the function $F(\lambda)=Ah(\lambda)$ to the operator $A\boxtimes\varphi(h)$, where $\varphi$ is defined as in Theorem <span>\[t:functional\_calculas:infty in sigma\]</span>. \[<span>@Kurbatov-Kurbatova-IM-2015:eng [Theorem 41]</span>\]\[t:1:Res\] Let $F\in\mathoo O\bigl(\bar\sigma(R_{(\cdot)}),\mathoo B_0(X)\bigr)$. We define the operator $\Phi(F)$ by formula if $\infty\notin\bar\sigma(R_{(\cdot)})$<span>;</span> and we define the operator $\Phi(F)$ by formula if $\infty\in\bar\sigma(R_{(\cdot)})$. We assert that the operator $\Phi(F){\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}X\boxtimes Y\to X\boxtimes Y$ is not invertible if and only if for some $\lambda\in\bar\sigma(R_{(\cdot)})$ the operator $F(\lambda)\in\mathoo B_0(X)$ is not invertible. \[<span>@Kurbatov-Kurbatova-IM-2015:eng [Theorem 42]</span>\]\[t:spectral map:Res\] Let $F\in\mathoo O\bigl(\bar\sigma(R_{(\cdot)}),\mathoo B_0(X)\bigr)$. We define the operator $\Phi(F)$ by formula if $\infty\notin\bar\sigma(R_{(\cdot)})$<span>;</span> and we define the operator $\Phi(F)$ by formula if $\infty\in\bar\sigma(R_{(\cdot)})$. We assert that the spectrum of the operator $\Phi(F){\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern-\thinmuskip{:}\hskip.3333emplus.0555em\relax}X\boxtimes\,Y\to X\boxtimes\,Y$ is given by the formula $$\sigma\bigl[\Phi(F)\bigr]=\bigcup_{\lambda\in\bar\sigma(R_{(\cdot)})}\sigma\bigl(F(\lambda)\bigr).$$ Functional calculus $\varphi_1\boxtimes\varphi_2$ {#s:boxtimes} ================================================= In this Section, we discuss the product $\varphi_1\boxtimes\varphi_2$ of functional calculi $\varphi_1$ and $\varphi_2$ that were defined in Section \[s:pseudo-resolvents\]; it acts in the extended tensor product $X\boxtimes Y$. Keeping in mind the space $\mathoo B(Y,X)$ (see Example 3(e)) as the main example of an extended tensor product, we call *transformators* operators acting in $X\boxtimes Y$. In this Section, we assume that we are given an extended tensor product $X\boxtimes Y$ of Banach spaces $X$ and $Y$, and we are given pseudo-resolvents $R_{1,\,(\cdot)}$ and $R_{2,\,(\cdot)}$ in the algebras $\mathoo B_0(X)$ and $\mathoo B_0(Y)$ respectively. \[t:functional\_calculas:infty in rho:R\_1,R\_2-&gt;C\] Assume that $\infty\notin\bar\sigma(R_{1,\,(\cdot)})$ and $\infty\notin\bar\sigma(R_{2,\,(\cdot)})$. We define the mapping $\varphi_1\boxtimes\varphi_2{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern- \thinmuskip{:}\hskip.3333emplus.0555em\relax}\mathoo O\bigl(\sigma(R_{1,\,(\cdot)})\times\sigma(R_{2,\,(\cdot)})\bigr)\to\mathoo B(X\boxtimes Y)$ by the formula $$\bigl(\varphi_1\boxtimes\varphi_2\bigr)f=\frac1{(2\pi i)^2}\int_{\Gamma_1}\int_{\Gamma_2}f(\lambda,\mu)R_{1,\,\lambda}\boxtimes R_{2,\,\mu}\,d\mu\,d\lambda,$$ where $\Gamma_1$ and $\Gamma_2$ are oriented envelopes of the singular sets $\sigma(R_{1,\,(\cdot)})$ and $\sigma(R_{2,\,(\cdot)})$ with respect to the point $\infty$ and the complements $\overline{\mathbb C}\setminus U_1$ and $\overline{\mathbb C}\setminus U_2$<span>;</span> here $U_1\times U_2$ is an open neighbourhood of the set $\sigma(R_{1,\,(\cdot)})\times\sigma(R_{2,\,(\cdot)})$ that lies in the domain of the function $f$ <span>(</span>see Proposition \[p:U times V\]<span>)</span>. We assert that $\varphi_1\boxtimes\varphi_2$ is a continuous morphism of unital algebras. For all $g\in\mathoo O\bigl(\sigma(R_{1,\,(\cdot)})\bigr)$ and $h\in\mathoo O\bigl(\sigma(R_{2,\,(\cdot)})\bigr)$ the morphism $\varphi_1\boxtimes\varphi_2$ maps the function $f(\lambda,\mu)=g(\lambda)h(\mu)$ to the transformator $\varphi_1(g)\boxtimes\varphi_2(h)$, where $\varphi_1$ and $\varphi_2$ are scalar functional calculi <span>(</span>Theorem \[t:functional\_calculas:infty in rho\]<span>)</span> generated by the pseudo-resolvents $R_{1,\,(\cdot)}$ and $R_{2,\,(\cdot)}$. The proof is analogous to that of Theorem \[t:functional\_calculas:infty in sigma:R\_1,R\_2-&gt;C\], see below. \[t:functional\_calculas:infty in rho+sigma:R\_1,R\_2-&gt;C\] Assume that $\infty\notin\bar\sigma(R_{1,\,(\cdot)})$, but $\infty\in\bar\sigma(R_{2,\,(\cdot)})$. We define the mapping $\varphi_1\boxtimes\varphi_2{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern- \thinmuskip{:}\hskip.3333emplus.0555em\relax}\mathoo O\bigl(\sigma(R_{1,\,(\cdot)})\times\bar\sigma(R_{2,\,(\cdot)})\bigr)\to\mathoo B(X\boxtimes Y)$ by the formula $$\begin{aligned} \bigl(\varphi_1\boxtimes\varphi_2\bigr)f=\frac1{(2\pi i)^2}\int_{\Gamma_1}\int_{\Gamma_2}f(\lambda,\mu)R_{1,\,\lambda}\boxtimes R_{2,\,\mu}\,d\mu\,d\lambda+\frac1{2\pi i}\int_{\Gamma_1}f(\lambda,\infty)R_{1,\,\lambda}\boxtimes\mathbf 1_Y\,d\lambda,\end{aligned}$$ where $\Gamma_1$ is an oriented envelope of the singular set $\sigma(R_{1,\,(\cdot)})$ with respect to the point $\infty$ and the complement $\overline{\mathbb C}\setminus U_1$, and $\Gamma_2$ is an oriented envelope of the extended singular set $\bar\sigma(R_{2,\,(\cdot)})$ with respect to the complement $\overline{\mathbb C}\setminus U_2$<span>;</span> here $U_1\times U_2$ is an open neighbourhood of the set $\sigma(R_{1,\,(\cdot)})\times\bar\sigma(R_{2,\,(\cdot)})$ that lies in the domain of the function $f$ <span>(</span>see Proposition \[p:U times V\]<span>)</span>. We assert that $\varphi_1\boxtimes\varphi_2$ is a continuous morphism of unital algebras. For all $g\in\mathoo O\bigl(\sigma(R_{1,\,(\cdot)})\bigr)$ and $h\in\mathoo O\bigl(\bar\sigma(R_{2,\,(\cdot)})\bigr)$ the morphism $\varphi_1\boxtimes\varphi_2$ maps the function $f(\lambda,\mu)=g(\lambda)h(\mu)$ to the transformator $\varphi_1(g)\boxtimes\varphi_2(h)$, where $\varphi_1$ and $\varphi_2$ are scalar functional calculi <span>(</span>Theorems \[t:functional\_calculas:infty in rho\] and \[t:functional\_calculas:infty in sigma\]<span>)</span> generated by the pseudo-resolvents $R_{1,\,(\cdot)}$ and $R_{2,\,(\cdot)}$. The proof is analogous to that of Theorem \[t:functional\_calculas:infty in sigma:R\_1,R\_2-&gt;C\], see below. \[t:functional\_calculas:infty in sigma:R\_1,R\_2-&gt;C\] Assume that $\infty\in\bar\sigma(R_{1,\,(\cdot)})$ and $\infty\in\bar\sigma(R_{2,\,(\cdot)})$. We define the mapping $\varphi_1\boxtimes\varphi_2{\nobreak\hskip.1111em\mathpunct{}\nonscript\mkern- \thinmuskip{:}\hskip.3333emplus.0555em\relax}\mathoo O\bigl(\bar\sigma(R_{1,\,(\cdot)})\times\bar\sigma(R_{2,\,(\cdot)})\bigr)\to\mathoo B(X\boxtimes Y)$ by the formula $$\begin{aligned} \bigl(\varphi_1\boxtimes\varphi_2\bigr)f&=\frac1{(2\pi i)^2}\int_{\Gamma_1}\int_{\Gamma_2}f(\lambda,\mu)R_{1,\,\lambda}\boxtimes R_{2,\,\mu}\,d\mu\,d\lambda+\frac1{2\pi i}\int_{\Gamma_1}f(\lambda,\infty)R_{1,\,\lambda}\boxtimes \mathbf1\,d\lambda\\ &+\frac1{2\pi i}\int_{\Gamma_2}f(\infty,\mu)\mathbf1\boxtimes R_{2,\,\mu}\,d\mu+f(\infty,\infty)\mathbf 1_{X\boxtimes Y},\end{aligned}$$ where $\Gamma_1$ and $\Gamma_2$ are oriented envelopes of the singular sets $\bar\sigma(R_{1,\,(\cdot)})$ and $\bar\sigma(R_{2,\,(\cdot)})$ with respect to the complements $\overline{\mathbb C}\setminus U_1$ and $\overline{\mathbb C}\setminus U_2$<span>;</span> here $U_1\times U_2$ is an open neighbourhood of the set $\bar\sigma(R_{1,\,(\cdot)})\times\bar\sigma(R_{2,\,(\cdot)})$ that lies in the domain of the function $f$ <span>(</span>see Proposition \[p:U times V\]<span>)</span>. We assert that $\varphi_1\boxtimes\varphi_2$ is a continuous morphism of unital algebras. For all $g\in\mathoo O\bigl(\bar\sigma(R_{1,\,(\cdot)})\bigr)$ and $h\in\mathoo O\bigl(\bar\sigma(R_{2,\,(\cdot)})\bigr)$ the morphism $\varphi_1\boxtimes\varphi_2$ maps the function $f(\lambda,\mu)=g(\lambda)h(\mu)$ to the transformator $\varphi_1(g)\boxtimes\varphi_2(h)$, where $\varphi_1$ and $\varphi_2$ are scalar functional calculi <span>(</span>Theorem \[t:functional\_calculas:infty in sigma\]<span>)</span> generated by the pseudo-resolvents $R_{1,\,(\cdot)}$ and $R_{2,\,(\cdot)}$. For each $\mu\in U_2$ we consider the operator $$\label{e:g=half f:2} G(\mu)=\varphi_2\bigl(f(\cdot,\mu)\bigr)=\frac1{2\pi i}\int_{\Gamma_1}f(\lambda,\mu)R_{1,\,\lambda}\,d\lambda+f(\infty,\mu)\mathbf1_X.$$ By Theorem \[t:functional\_calculas:infty in sigma\], for any fixed $\mu\in U_2$ the correspondence $f\mapsto G(\mu)$ preserves the three operations: addition, scalar multiplication, and multiplication. We change the interpretation: formula defines a mapping $f\mapsto G$ from $\mathoo O\bigl(\sigma(R_{1,\,(\cdot)})\times\sigma(R_{2,\,(\cdot)})\bigr)$ to $\mathoo O\bigl(\sigma(R_{2,\,(\cdot)}),\mathoo B_0(X)\bigr)$. Since the three operations in $\mathoo O\bigl(\sigma(R_{2,\,(\cdot)}),\mathoo B_0(X)\bigr)$ are understood in the pointwise sense, it follows that the correspondence $f\mapsto G$ is a morphism of algebras. In accordance with Theorem \[t:functional\_calculas:infty in sigma:R:otimes\] we put $$\label{e:f via g} \begin{split} \Phi_1(G)&=\frac1{2\pi i}\int_{\Gamma_2}G(\mu)\boxtimes R_{2,\,\mu}\,d\mu+G(\infty)\boxtimes\mathbf1_Y\\ &=\frac1{2\pi i}\int_{\Gamma_2}\Bigl(\frac1{2\pi i}\int_{\Gamma_1}f(\lambda,\mu)R_{1,\,\lambda}\,d\lambda+f(\infty,\mu)\mathbf1_X\Bigr)\boxtimes R_{2,\,\mu}\,d\mu\\ &+\Bigl(\frac1{2\pi i}\int_{\Gamma_1}f(\lambda,\infty)R_{1,\,\lambda}\,d\lambda+f(\infty,\infty)\mathbf1_X\Bigr)\boxtimes\mathbf1_Y\\ &=\frac1{2\pi i}\int_{\Gamma_2}\Bigl(\frac1{2\pi i}\int_{\Gamma_1}f(\lambda,\mu)R_{1,\,\lambda}\,d\lambda\Bigr)\boxtimes R_{2,\,\mu}\,d\mu\\ &+\frac1{2\pi i}\int_{\Gamma_2}\Bigl(f(\infty,\mu)\mathbf1_X\Bigr)\boxtimes R_{2,\,\mu}\,d\mu\\ &+\Bigl(\frac1{2\pi i}\int_{\Gamma_1}f(\lambda,\infty)R_{1,\,\lambda}\,d\lambda+f(\infty,\infty)\mathbf1_X\Bigr)\boxtimes\mathbf1_Y\\ &=\frac1{(2\pi i)^2}\int_{\Gamma_1}\int_{\Gamma_2}f(\lambda,\mu)R_{1,\,\lambda}\boxtimes R_{2,\,\mu}\,d\mu\,d\lambda+ \frac1{2\pi i}\int_{\Gamma_2}f(\infty,\mu)\mathbf1_X\boxtimes R_{2,\,\mu}\,d\mu\\ &+\frac1{2\pi i}\int_{\Gamma_1}f(\lambda,\infty)R_{1,\,\lambda}\boxtimes\mathbf1_Y\,d\lambda+f(\infty,\infty)\mathbf1_X\boxtimes\mathbf1_Y. \end{split}$$ By Theorem \[t:functional\_calculas:infty in sigma:R:otimes\], the correspondence $G\mapsto\Phi_1(G)$ also preserves the three operations. Clearly, the mapping $\varphi_1\boxtimes\varphi_2$ from the formulation of the theorem is the composition of the correspondences $f\mapsto G$ and
{'source': 'arXiv_out/1604'}