DataMuseum.dk

top - metrics - download

    Length: 1881 (0x759)
    Types: TextFile
    Names: »chap2.tex«

└─⟦52210d11f⟧ Bits:30007239 EUUGD2: TeX 3 1992-12
    └─⟦e01e283ed⟧ »amstex/amslatex.tar.Z« 
        └─⟦d6381fb14⟧ 
            └─⟦this⟧ »amslatex/doc/chap2.tex« 

TextFile

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% CHAP2.TEX						    July 1990      %
%                                                                          %
% This file is part of the AMS-LaTeX Version 1.0 distribution              %
%   American Mathematical Society, Technical Support Group,                %
%   P. O. Box 6248, Providence, RI 02940                                   %
%   800-321-4AMS (321-4267) or 401-455-4080                                %
%   Internet: Tech-Support@Math.AMS.com                                    %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\chapter{Keldysh Pencils}
\section{Holomorphic operator-valued functions}

The main object of study in this book is polynomial operator pencils
(operator polynomials). However, it is more convenient for us to give
certain definitions and results for the more general case of
holomorphic operator-valued functions.

Let $U$ be a domain in $\bold C$, $\cal{B}$ be a complex Banach space,
and $f(\lambda)$ a $\cal{B}$-valued function defined in $U$. Such a
function $f(\lambda)$ is said to be {\it strongly \rom(weakly\rom)
holomorphic} in $U$ if for any $\lambda_0\in U$ the strong (weak)
limit
\begin{equation}
\lim_{\lambda\to\lambda_0}\frac{f(\lambda)-f(\lambda_0)}{\lambda-\lambda_0}\
(=f'(\lambda_0))
\end{equation}
exists.

Obviously,  $f(\lambda)$ is weakly holomorphic if and only if any function
$\psi(f(\lambda))$ is holomorphic, where $\psi\in\cal{B}^*$.

An operator-valued function $A(\lambda)$ $(\lambda\in U)$ with values in
$L(\cal H)$ is said to be {\it uniformly \rom(strongly, weakly\rom) holomorphic}
 if for any $\lambda_0\in U$ the uniform (strong, weak) limit
\begin{equation}
\lim_{\lambda\to\lambda_0}\frac{A(\lambda)-A(\lambda_0)}{\lambda-\lambda_0}
\ (=A'(\lambda_0))
\end{equation}
exists.

\endinput