the central topic of this paper is the discussion of pseudocontinuability for schur functions in the unit disk .
pseudocontinuability is a particular type of meromorphic continuation for functions from the meromorphic nevanlinna class in the unit disk .
this concept originated in shapiro s papers @xcite , @xcite and was then systematically discussed a little bit later in the context of invariant subspaces for the backward shift in the landmark paper douglas / shapiro / shields @xcite .
( regarding modern treatments of this area we refer the reader to the monographs cima / ross  @xcite and ross / shapiro @xcite . )    important applications of pseudocontinuability are contained in the work of d.z .
arov on darlington synthesis , @xmath4-inner functions , and related topics ( see , e.g. , @xcite and @xcite )
.    a further domain of application of pseudocontinuable functions is rational approximation .
this theme which originated from a series of papers by g.ts .
tumarkin ( see @xcite , @xcite , and @xcite ) was treated by katsnelson in @xcite .
the paper @xcite is recommended for some other reasons too .
it contains an extensive historical overview on the investigation of pseudocontinuable functions which also takes into account matrix - valued functions .
moreover , the paper @xcite is very well written from the pedagogical point of view .
it strongly influenced our approach to introducing pseudocontinuable functions ( see section  [ s2 ] ) .
the present paper continues recent investigations on several questions of pseudocontinuability of schur functions in the unit disk ( see @xcite and @xcite ) .
our main aim is to establish a direct relation between two well - known criteria for pseudocontinuability of non - inner schur functions in the unit disk ( see theorem  [ t3.9 ] and theorem [ t4.2 ] ) .
the main result of this paper is a new characterization of pseudocontinuability of a non  inner schur function @xmath0 in the unit disk .
this characterization is expressed in terms of a special orthogonal basis in an @xmath3 space on the unit circle , where @xmath1 is some probability measure on the unit circle which is canonically associated with @xmath0 ( see theorem [ 4.3 ] ) .
the paper is organized as follows . in section  [ s1 ]
, we recall that the set of schur functions in the unit disk stands in bijective correspondences to the set of normalized carathodory functions in the unit disk and to the set of probability measures on the borel @xmath5-algebra of the unit circle .
this will give us the possibility to study the pseudocontinuability of a given schur function in terms of the associated normalized carathodory function and in terms of the associated probability measure , respectively .
in section  [ s2 ] ( influenced by katsnelson @xcite ) , we summarize essential facts on meromorphic functions and the concept of pseudocontinuability which is due to h.s .
shapiro .
section  [ s3 ] contains a function
theoretic approach to the study of pseudocontinuability of non - inner schur functions in the unit disk .
we will recognize that a function of this class admits a pseudocontinuation if and only if the associated probability measure satisfies the szeg condition and the corresponding szeg function is pseudocontinuable ( see theorem  [ t3.9 ] ) .
the central theme of section  [ s4 ] is an operator
theoretic approach to the investigation of pseudocontinuability of non - inner schur functions in the unit disk .
the starting point there is the observation that an arbitrary schur function can be represented as a characteristic function of some completely non  unitary contraction in a separable complex hilbert space .
then the pseudocontinuability of a non - inner schur function @xmath0 can be characterized in terms of the contraction @xmath2 having @xmath0 as its characteristic function . more precisely , the maximal unilateral shifts @xmath6 and @xmath7 contained in @xmath2 and @xmath8 , respectively , have to fulfill certain conditions of mutual interrelations ( see theorem  [ t4.2 ] ) .    in section  [ s5 ] ,
we start from a probability measure @xmath1 on the borel @xmath5-algebra of the unit circle .
the main aim is to construct a unitary colligation @xmath9 , the characteristic function @xmath10 of which coincides with the schur function @xmath11 associated with the measure @xmath1 according to section  [ s1 ] .    in section  [ s6 ] , we consider a probability measure @xmath1 on the borel @xmath5-algebra of the unit circle for which the polynomials are non  complete in the space @xmath12 . in this case
the question arises as to the existence of a natural completion of the system of orthonormal polynomials in @xmath12 to a complete orthonormal system in @xmath12 .
the primary concern of section  [ s6 ] is to construct such a natural completion . in the particular case
that the measure @xmath1 is associated with a pseudocontinuable non - inner schur function @xmath0 , we will show that the functions obtained by completing the orthonormal system of polynomials are boundary values of functions belonging to the meromorphic nevanlinna class in the unit disk ( see propoisition [ p6.14a ] ) .
the goal of section  [ s7 ] is to reformulate the characterization of the pseudocontinuability of a non - inner schur function given by theorem  [ t4.2 ] in terms of the complete orthonormal system which was created in section  [ s6 ] ( see theorem [ 4.3 ] ) .
finally , section  [ s8 ] is aimed at determining and further clarifying a direct connection between the criteria of pseudocontinuability of a non - inner schur function which were pointed out in theorem  [ t3.9 ] and theorem [ t4.2 ] , respectively .
let @xmath13 and @xmath14 be the unit disk and the unit circle in the complex plane @xmath15 , respectively .
the central object in this paper is the schur class @xmath16 of all functions @xmath17 which are holomorphic in @xmath18 and satisfy @xmath19 .
our main aim is to study the phenomenon of pseudocontinuability for functions belonging to @xmath16 . in order to allow for a more effective treatment of this question ,
we first consider certain important objects that relate bijectively to the class @xmath16 .
this is the main content of the present section .
let @xmath20 .
then the function @xmath21 defined by @xmath22 is holomorphic in @xmath18 and satisfies @xmath23
> 0,\quad \zeta\in\mathbb d,\ ] ] and @xmath24 let @xmath25 be the carathodory class of all functions @xmath26 which are holomorphic in @xmath18 and satisfy @xmath27 \geq 0 $ ] and let @xmath28 in view of , , , and we have @xmath29 it can be easily verified that via a bijective correspondence between the classes @xmath16 and @xmath30 is established .
note that from it follows that @xmath31    the class @xmath25 is intimately related with the class @xmath32 of all finite nonnegative measures on the borel @xmath5-algebra @xmath33 of @xmath34 . according to the riesz - herglotz theorem ( see , e.g. , ( * ? ? ?
* theorem 2.2.2 ) ) : for each function @xmath35 there exists a unique measure @xmath36 and a unique number @xmath37 such that @xmath38 obviously , @xmath39 $ ] . on the other hand
, it can be easily checked that , for arbitrary @xmath36 and @xmath40 , the function @xmath41 , which is defined by the right hand side of ( [ nr.0.3 ] ) , belongs to @xmath25 .
if we consider the riesz - herglotz representation ( [ nr.0.3 ] ) for a function @xmath42 , then @xmath43 and @xmath1 belongs to the set @xmath44 of all probability measures belonging to @xmath32 ( i.e. @xmath45 .
actually , in this way we obtain a bijective correspondence between the classes @xmath30 and @xmath44 .    in the result of the above considerations we obtain special ordered triples @xmath46 $ ] consisting of a function @xmath20 , a function @xmath47 , and a measure @xmath48 which are interrelated in such way that each of these three objects uniquely determines the other two .
for that reason , if one of the three objects is given , we will say that the two others are associated with it . based on this procedure ,
in section  [ s3 ] we will characterize the pseudocontinuability of a function @xmath20 in terms of the associated objects @xmath47 and @xmath48 .
in this section , we summarize some facts on several classes of meromorphic functions which will be used later .
( a detailed treatment of this subject can be found , e.g. , in duren @xcite and nevanlinna @xcite . ) in particular , we will recall the concept of pseudocontinuation .
we will use @xmath49 and @xmath50 to denote the extended complex plane and the exterior of the closed unit disk , respectively , i.e. @xmath51 and @xmath52 .
furthermore , the symbol @xmath53 stands for the normalized linear lebesgue - borel measure on @xmath34 .
so we have @xmath54 , i.e. @xmath55 .
assume that @xmath56 is one of the domains @xmath18 or @xmath50 .
let @xmath57 be the nevanlinna class of all functions which are meromorphic in @xmath56 and which can be represented as a quotient of two bounded holomorphic functions in @xmath56 .
if @xmath58 ( resp .
@xmath59 ) , then a well - known theorem due to fatou implies that there is a set @xmath60 with @xmath61 and a borel measurable function @xmath62 such that @xmath63 for all @xmath64 . in the following
, we will continue to use the symbol @xmath65 to denote such a boundary function of a function @xmath66 which belongs to @xmath67 or @xmath68 .
there is a standard bijective correspondence between the sets @xmath67 and @xmath68 . in order to describe this
we introduce some further notation .
let @xmath56 be a nonempty subset of @xmath49 .
then @xmath69 denotes that subset of @xmath49 which is symmetric to @xmath56 with respect to the unit circle , i.e. @xmath70 with the usual conventions @xmath71 and @xmath72 . here
@xmath73 means the complex conjugate of @xmath74 .
if @xmath75 , then @xmath76 stands for the complex - valued function which is defined on @xmath69 by @xmath77 now the bijective correspondence between the sets @xmath67 and @xmath68 can be expressed as follows .
[ r2.1 ] if @xmath58 ( resp .
@xmath59 ) , then the function @xmath78 belongs to @xmath68 ( resp . to @xmath67 ) and @xmath79 is the boundary function of @xmath78 .
[ r2.2 ] let @xmath80 and let @xmath81 not vanish identically in @xmath56 .
then the function @xmath82 is @xmath53-integrable and @xmath83 .
the set @xmath67 ( resp .
@xmath68 ) is obviously an algebra over @xmath84 .
the subalgebra of all @xmath58 which are holomorphic in @xmath85 will be designated by @xmath86 .
the class @xmath86 can be characterized as the set of all functions @xmath66 which are holomorphic in @xmath85 and which satisfy @xmath87 where @xmath88 for each @xmath89 . if a function @xmath90 admits a representation @xmath91 \,m(dt ) \right\ } ,
\quad \zeta\in{{\mathbb d}},\ ] ] with some @xmath92 and some borel measurable function @xmath93 satisfying @xmath94 | \,m(dt ) < + \infty,\ ] ] then @xmath95 belongs to @xmath86 and @xmath96 holds @xmath53-a.e . on @xmath97
such functions @xmath95 are called outer functions in @xmath86 .
[ r2.3 ] let @xmath95 be an outer function in @xmath86 .
then @xmath98 for all @xmath99 and the function @xmath100 is an outer function in @xmath86 as well .
moreover , if @xmath101 and @xmath102 are outer functions in @xmath86 , then @xmath103 is an outer function in @xmath86 .
an outer function @xmath95 in @xmath86 is called normalized if @xmath104 .
[ r2.4 ] let @xmath105 be a function which does not vanish identically in @xmath85 .
then @xmath41 is an outer function in @xmath86 . if @xmath47 , then @xmath41 is a normalized outer function in @xmath86 .    in view of remark  [ r2.3 ] and
remark  [ r2.4 ] one can conclude the following .
[ r2.4b ] let @xmath105 .
then @xmath106 is a function belonging to @xmath25 which vanishes nowhere in @xmath85 .
thus , @xmath106 and @xmath107 are outer functions in @xmath86 .
[ p2.6 ] let @xmath108 be an @xmath53-integrable function which satisfies the szeg condition @xmath109 \,m(dt )   > -\infty .\
] ] then there is a unique normalized outer function @xmath95 in @xmath86 such that the relation @xmath110 holds @xmath53-a.e . on @xmath97
this function @xmath90 is given by @xmath111 \,m(dt)\right\ } .
\ ] ]    the function @xmath95 which appears in proposition  [ p2.6 ] is called the szeg function associated with @xmath112 ( see also nikishin / sorokin ( * ? ? ?
* chapter  5 in  5 ) ) .    clearly , the schur class @xmath16 is a subclass of @xmath86 .
a function @xmath113 is called an inner function if the relation @xmath114 holds @xmath53-a.e .
on @xmath97 .
we denote by @xmath115 the subclass of @xmath16 consisting of all inner functions .
[ p2.8 ] ( v. i. smirnov ) + let @xmath58 .
then there exists an outer function @xmath116 in @xmath86 and some functions @xmath117 such that @xmath118 in the case of @xmath119 , @xmath120 can be chosen as constant function with value @xmath121 .
[ r2.9 ] let @xmath116 be an outer function in @xmath86 which also belongs to @xmath115 .
then @xmath116 is a constant function with unimodular value .
now we recall the concept of pseudocontinuability .
let @xmath58 .
then one says that @xmath66 admits a pseudocontinuation into @xmath122 if there exists a function @xmath123 such that the boundary functions @xmath65 and @xmath124 coincide @xmath53-a.e . on @xmath97 . from remark  [ r2.2 ]
it follows that a function @xmath58 admits at most one pseudocontinuation into @xmath122 .
note that if @xmath58 admits a pseudocontinuation @xmath125 into @xmath122 and if @xmath66 is analytically continuable through some open arc of @xmath97 , then the analytic continuation coincides with @xmath125 . in the following
, the notation @xmath126 stands for the set of all functions belonging to @xmath67 which admit a pseudocontinuation into @xmath122 .
obviously , the restriction of a rational function onto @xmath85 belongs to @xmath126 .
if @xmath127 , then the symbol @xmath125 will be used to denote the pseudocontinuation of @xmath66 into @xmath122 .    based on remark  [ r2.1 ]
one can draw the following conclusion .
[ r2.10 ] if @xmath127 , then @xmath128 and @xmath129 @xmath53-a.e . on @xmath97
. moreover , if @xmath58 such that there is some @xmath130 fulfilling the relation @xmath131 @xmath53-a.e . on @xmath97 , then @xmath127 and @xmath132 .
remark  [ r2.10 ] shows , in particular , that a function @xmath58 belongs to @xmath126 if and only if there exists some @xmath130 fulfilling @xmath131 @xmath53-a.e . on @xmath97 .
thus , the pseudocontinuability of @xmath66 is determined by @xmath79 .
the following properties of the class @xmath126 can be easily checked .
[ r2.11 ] let @xmath133 .
if @xmath134 , then @xmath135 .
moreover , the function @xmath136 and , in the case that @xmath66 does not not vanish identically in @xmath85 , also @xmath137 and @xmath138 belong to @xmath126 .
a particular situation is met in the class @xmath115 of inner functions belonging to @xmath16 . in this case
we not only have pseudocontinuability , but can write down the corresponding pseudocontinuation , explicitly .
[ r2.12 ] the inclusion @xmath139 holds .
moreover , for some @xmath140 the function @xmath141 does not vanish identically in @xmath122 and @xmath142 .
a combination of remarks [ r2.11 ] and [ r2.12 ] yields the following .    [ r2.13 ] let @xmath58 and let the outer function @xmath116 in @xmath86 be chosen according to proposition [ p2.8 ] .
then @xmath127 if and only if @xmath143 .
remark  [ r2.13 ] indicates the importance of the study of pseudocontinuability of outer functions in @xmath86 .
this phenomenon can be characterized in the following way in terms of inner functions belonging to @xmath16 .
[ p2.14 ] let @xmath95 be an outer function in @xmath86 .
then @xmath144 if and only if there exist functions @xmath117 such that the identity @xmath145 is satisfied @xmath53-a.e . on @xmath97 .
let @xmath144 .
then the pseudocontinuation @xmath146 of @xmath95 into @xmath122 is well - defined and we set @xmath147 . from remark  [ r2.10 ]
we get @xmath130 and @xmath148 because of @xmath130 the canonical factorization theorem of smirnov ( see proposition  [ p2.8 ] ) provides us with the existence of an outer function @xmath116 in @xmath86 and two functions @xmath149 such that @xmath150 in view of remark  [ r2.3 ] the function @xmath116 vanishes nowhere in @xmath85 and @xmath151 is an outer function in @xmath86 . because of we obtain @xmath152 thus , using we infer @xmath153 @xmath53-a.e . on @xmath97 . since @xmath154 and @xmath155 are both unimodular @xmath53-a.e . on @xmath97 from one
can see that @xmath156 is unimodular @xmath53-a.e . on @xmath97 .
furthermore , since we already know that @xmath157 is an outer function in @xmath86 the maximum modulus principle of smirnov ( see , e.g. , duren ( * ? ? ?
* theorem  2.11 on page 25 ) ) implies that @xmath157 belongs to @xmath115 as well .
hence , remark  [ r2.9 ] shows that @xmath157 is a constant function with unimodular value .
consequently , the settings @xmath158 and @xmath159 yield functions belonging to @xmath115 such that holds @xmath53-a.e . on @xmath97 .
conversely , we assume that there exist functions @xmath117 such that is satisfied @xmath53-a.e . on @xmath97 .
let @xmath160 .
then @xmath130 and in view of we get @xmath161 this leads , in combination with remark  [ r2.10 ] , to @xmath144 .
it should be mentioned that in the above proof of the fact that the validity of @xmath53-a.e .
on @xmath97 implies @xmath144 we do not use the assumption that @xmath95 is an outer function in @xmath86 .
in the present section we investigate the pseudocontinuability of a non - inner function @xmath20 in terms of the function @xmath47 and the measure @xmath48 which is generated by @xmath0 as explained in section  [ s1 ] .
the following result provides us with further insight into the connection between functions @xmath0 and @xmath41 .
[ p3.1 ] let @xmath20 and let @xmath47 be defined via .
then @xmath163 if and only if @xmath164 .
taking into account and an application of remark  [ r2.11 ] yields the asserted equivalence .
the rest of this section is devoted to the study of pseudocontinuability of a non - inner function @xmath20 in terms of its associated measure @xmath48 .
our approach to that question will be based on an analysis of various aspects of the boundary behavior of @xmath0 .
in particular , the @xmath53-integrability of the function @xmath165 $ ] will be of importance .
[ p3.2 ] let @xmath166 and let @xmath167 .
then :    1 .
the function @xmath66 belongs to @xmath86 and satisfies @xmath168 @xmath53-a.e . on @xmath97 .
if @xmath169 , then the function @xmath170 is @xmath53-integrable .    using some elementary properties on the class @xmath67 with a view to remark  [ r2.10 ] , assertion ( a ) follows .
now let @xmath169 .
because of ( a ) one can see that the function @xmath65 does not vanish @xmath53-a.e . on @xmath97 . therefore
, the function @xmath66 does not vanish identically in @xmath85 .
consequently , remark  [ r2.2 ] provides finally assertion ( b ) .
let @xmath20 be embedded in the triple @xmath46 $ ] as in section  [ s1 ] .
motivated by proposition  [ p3.2 ] our next considerations are aimed at characterizing the @xmath53-integrability of the function @xmath165 $ ] in terms of the function @xmath41 or the measure @xmath1 .
[ r3.3 ] let @xmath20 and let @xmath47 be defined by .
then a straightforward calculation yields that the identity @xmath171}{|\underline{\phi}(t)+1|^2}\ ] ] holds @xmath53-a.e . on @xmath97 .
[ p3.4 ] let @xmath20 and let @xmath47 be defined by .
then the function @xmath165 $ ] is @xmath53-integrable if and only if @xmath172 $ ] is @xmath53-integrable .    because of remark  [ r3.3 ] we get @xmath173   = \ln 4 + \ln [ { \rm re}\,\underline{\phi } ] - 2 \ln_{\!}|\underline{\phi}+1|\ ] ] @xmath53-a.e . on @xmath97 . in view of remark  [ r2.4b ] we know that @xmath106 is an outer function in @xmath174 .
thus , remark  [ r2.3 ] implies in combination with remark  [ r2.2 ] that @xmath175 is @xmath53-integrable .
hence , the assertion is an immediate consequence of .
following d.z .
arov we denote by @xmath176 the subclass of pseudocontinuable functions of @xmath16 .    [ c3.5 ] let @xmath177 and let @xmath47 be defined by .
then the function @xmath172 $ ] is @xmath53-integrable .
combine part  ( b ) of proposition  [ p3.2 ] with proposition  [ p3.4 ] .
now we start from a function @xmath105 and look to characterize the @xmath53-integrability of @xmath172 $ ] in terms of its riesz - herglotz measure @xmath1 associated with @xmath41 , subject to . in order to realize this goal
we will apply the following result which is an immediate consequence of a theorem due to fatou on the boundary behavior of poisson integrals ( see , e.g. , rosenblum / rovnyak ( * ? ? ? * theorem  1.18 ) ) .
[ p3.6 ] let @xmath105 and let @xmath178 be associated with @xmath41 by the riesz - herglotz theorem , i.e. via with @xmath179 $ ] .
furthermore , let the lebesgue decomposition of @xmath1 with respect to @xmath53 be given by @xmath180 where @xmath181 stands for the singular part of @xmath1 with respect to @xmath53
. then the relation @xmath182 holds @xmath53-a.e . on @xmath97 .
proposition  [ p3.6 ] leads us to a particular subclass of @xmath183 .
let @xmath178 and let the lebesgue decomposition of @xmath1 with respect to @xmath53 be given by , where @xmath181 stands for the singular part of @xmath1 with respect to @xmath53 . then @xmath1 is said to satisfy the szeg condition if the function @xmath184 is @xmath53-integrable or equivalently if holds . in this case , the szeg function @xmath185 associated with @xmath112 is given by . if we start from a measure @xmath178 which satisfies the szeg condition , we will call @xmath95 also the szeg function associated with @xmath1 .
an application of proposition  [ p3.6 ] immediately provides the following result .
[ c3.7 ] let @xmath186 and let @xmath178 be associated with @xmath41 by the riesz - herglotz theorem via with @xmath179 $ ] .
then the function @xmath172 $ ] is @xmath53-integrable if and only if the measure @xmath1 satisfies the szeg condition .
[ l3.8 ] let @xmath41 and @xmath95 be functions belonging to @xmath67 which do not vanish identically in @xmath85 , where the relation @xmath187 is satisfied @xmath53-a.e . on @xmath97 .
then @xmath164 if and only if @xmath144 .
first suppose @xmath164 .
then we define @xmath188 \cdot d^{-1}\ ] ] in view of the choice of @xmath41 and @xmath95 , remark  [ r2.1 ] , and the fact that the set @xmath67 is an algebra over @xmath84 it follows that @xmath130
. moreover , an application of remark  [ r2.10 ] yields the equality @xmath189 @xmath53-a.e . on @xmath97 .
hence , @xmath190 @xmath53-a.e . on @xmath97 .
taking this and @xmath130 into account from remark  [ r2.10 ] we get @xmath144 .
conversely , we suppose now that @xmath144
. we then set @xmath191 similar to the above , using remark  [ r2.1 ] , one can reason that @xmath192 , where remark  [ r2.10 ] results firstly in @xmath193 @xmath53-a.e . on @xmath97 .
thus , from remark  [ r2.10 ] we can conclude @xmath164 .
the following criterion for the pseudocontinuability of a non - inner function @xmath20 is the main result of this section .
it is formulated in terms of the probability measure @xmath194 which is associated with @xmath0 as explained in section  [ s1 ] .
[ t3.9 ] let @xmath195 and let @xmath194 be the measure associated with @xmath0 according to section  [ s1 ] .
then the following statements are equivalent :    1 .
the measure @xmath1 satisfies the szeg condition and the szeg function @xmath95 associated with @xmath1 belongs to @xmath197 .
let @xmath47 be defined by .
assume that the measure @xmath1 satisfies the szeg condition .
hence , from proposition  [ p2.6 ] we infer that the szeg function @xmath95 associated with @xmath1 belongs to @xmath174 .
moreover , the combination of proposition  [ p2.6 ] and proposition  [ p3.6 ] yields the equality @xmath198 @xmath53-a.e . on @xmath97 .
suppose now that ( i ) holds .
then from proposition  [ p3.1 ] we get @xmath199 moreover , in view of ( i ) and corollary  [ c3.5 ] , the function @xmath172 $ ] is @xmath53-integrable .
thus , corollary  [ c3.7 ] shows that @xmath1 satisfies the szeg condition . consequently , is satisfied . by virtue of , , and
lemma  [ l3.8 ] it follows that @xmath200 .
so we have verified that ( i ) implies ( ii ) .
conversely , we suppose now that ( ii ) holds . from ( ii ) we obtain and @xmath200 . therefore , lemma  [ l3.8 ] yields . accordingly , an application of proposition  [ p3.1 ] supplies @xmath196 , i.e. ( i ) .
the starting point of this section is the observation that a given schur function @xmath20 can be represented as characteristic function of some contraction in a hilbert space .
that means that there exists a separable complex hilbert space and bounded linear operators @xmath201 , @xmath202 , @xmath203 , and @xmath204 such that the block operator @xmath205 is unitary and moreover that the equality @xmath206 is fulfilled .
note that in the complex plane @xmath84 is considered as the one - dimensional complex hilbert space with the usual inner product @xmath207    the unitarity of the operator @xmath208 implies that the operator @xmath2 is contractive ( i.e. @xmath209 ) .
thus , for all @xmath99 the operator @xmath210 is boundedly invertible .
the unitarity of the operator @xmath208 means that the ordered tuple @xmath211 is a unitary colligation . in view of the function @xmath0
is the characteristic operator function of the unitary colligation @xmath212 .
the following subspaces of @xmath213 will later play an important role @xmath214 by the symbol @xmath215 we mean the smallest closed subspace generated by the subsets @xmath216 of the corresponding vector spaces . the spaces @xmath217 and @xmath218 are called the subspaces of controllability and observability , respectively . we note that the unitary operator @xmath208 can be chosen such that @xmath219 holds . in this case
the unitary colligation @xmath212 is called simple .
the simplicity of a unitary colligation means that there does not exist a nontrivial invariant subspace of @xmath213 on which the operator @xmath2 induces a unitary operator .
such contractions , @xmath2 , are called completely non  unitary .    in the language of unitary colligations
the pseudocontinuability of a non - inner schur function @xmath20 has the following consequence .
[ p4.1 ] let @xmath177 and let @xmath212 be a simple unitary colligation , the characteristic operator function of which coincides with @xmath0 .
then the subspaces @xmath220 are nontrivial .    because of and it follows that the subspace @xmath221 @xmath222resp .
@xmath223 is invariant with respect to @xmath2 @xmath222resp .
@xmath224 . it can be shown ( see ( * ? ? ?
* chapter  1 ) ) that @xmath225 are unilateral shifts .
more precisely , @xmath6 ( resp .
@xmath226 ) is just the maximal unilateral shift contained in @xmath2 @xmath222resp .
this means that an arbitrary invariant subspace with respect to @xmath2 @xmath222resp .
@xmath224 on which @xmath2 @xmath222resp .
@xmath224 induces a unilateral shift is contained in @xmath221 @xmath222resp .
@xmath223 .    in terms of unitary colligations
the pseudocontinuability of a non - inner schur function @xmath20 was characterized in ( * ? ? ?
* theorem  3.17 ) as follows .
[ t4.2 ] let @xmath20 and let @xmath212 be a simple unitary colligation , the characteristic operator function of which coincides with @xmath0
. then the following statements are equivalent :    1 .
2 .   @xmath228 .
3 .   @xmath229 .
a comparison of theorem  [ t3.9 ] and theorem  [ t4.2 ] shows that they contain rather different characterizations of the pseudocontinuability of a non - inner schur function @xmath20 .
our subsequent considerations are aimed at establishing direct connections between the two different criteria .
let @xmath230 .
then our subsequent considerations are concerned with the investigation of the unitary operator @xmath231 which is defined for @xmath232 by @xmath233 denote by @xmath234 the embedding operator of @xmath15 into @xmath235 , i.e. @xmath236 and for each @xmath237 the image @xmath238 of @xmath239 is the constant function on @xmath34 with value @xmath239 .
denote by @xmath240 the subspace of @xmath235 which is generated by the constant functions and denote by @xmath241 the constant function on @xmath34 with value @xmath121 .
then obviously @xmath242 and @xmath243 .
we consider the subspace @xmath244 denote by @xmath245 the block representation of the operator @xmath231 with respect to the orthogonal decomposition @xmath246
. then ( see ( * ? ? ?
* section  2.8 ) ) the following result holds .
[ 2.1 ] let @xmath48 .
define @xmath247 , @xmath248 , @xmath249,and @xmath250 .
then @xmath251 is a simple unitary colligation , the characteristic function @xmath252 of which coincides with the schur function @xmath0 associated with @xmath1 .    in view of theorem  [ 2.1 ] the operator @xmath253 is a completely non  unitary contraction and if the function @xmath41 is given by ( [ nr.0.3 ] ) with @xmath254 , then from ( [ nr.0.1f ] ) it follows that @xmath255    let @xmath48 . then the simple unitary colligation given by is called the unitary colligation associated with @xmath1 .
let @xmath48 and suppose that the measure @xmath1 has infinitely many points of growth .
furthermore , we use , for all integers @xmath256 , the mapping @xmath257 defined by @xmath258 thus , we have @xmath259 , where @xmath231 is the operator defined by ( [ nr.2.0 ] ) .
we now consider the system @xmath260 . applying the gram - schmidt orthogonalization method in the space @xmath235 we get a unique sequence @xmath261 of polynomials , where @xmath262 such that the conditions @xmath263 are satisfied . here and in the following
, if @xmath264 is some family of elements of @xmath235 , then the symbol @xmath265 stands for the smallest closed subspace in @xmath235 which contains all elements of this family .
we note that the second condition in ( [ nr.3.2 ] ) is equivalent to @xmath266 and @xmath267 in particular , since @xmath268 from the construction of @xmath269 we see that @xmath270    we consider the case that the system @xmath261 is non  complete in the space @xmath235 . in this case
the question arises as to the existence of a natural completion of this system to a complete orthonormal system in @xmath235 .
the main goal of this section is to construct such a natural completion .    with a view to the lebesgue decomposition , where @xmath181 stands for the singular part of @xmath1 with respect to @xmath53 , it is well known ( see , e.g. , rosenblum / rovnyak ( * ?
* chapter  4 ) ) that the system of polynomials ( [ nr.3.1 ] ) is non  complete in @xmath235 if and only if the szeg condition is satisfied .
in particular , in the case studied below , the szeg function @xmath185 which is given by is well - defined .    [ 3.1 ] denote by @xmath271 a support of the measure @xmath181 on @xmath34 and denote by @xmath272 the set of all points of @xmath34 , where the function @xmath95 does not have non  tangential boundary values .
. then @xmath274 .
thus @xmath222see hoffman ( * ? ? ?
* exercise  3 in chapter  4)@xmath275 , we can choose a boundary function @xmath276 of @xmath95 which satisfies @xmath277 and @xmath278    to construct the above - mentioned completion we consider a simple unitary colligation @xmath279 of type ( [ nr.2.2 ] ) associated with the measure @xmath1 . here
the completion of the orthonormal system ( [ nr.3.1 ] ) of polynomials to a complete orthonormal system in @xmath235 will be determined in a natural way by properties of the operator @xmath253 .
we note that the controllability space ( cf . )
associated with the unitary colligation @xmath279 has the form @xmath280 let the sequence of functions @xmath281 be defined by @xmath282 in view of the formula @xmath283 it can be seen that the sequence @xmath284 can be obtained by applying the gram - schmidt orthonormalization procedure to @xmath281 with additional consideration of the normalization condition ( [ nr.3.3 ] ) .
thus , we obtain the following result .    [ 3.2 ] the system @xmath284 of orthonormal polynomials is a basis in the space @xmath285 . this system can be obtained by applying the gram - schmidt orthogonalization procedure to the sequence , taking into account the normalization condition .    [ 3.3 ] the orthonormal system of polynomials @xmath286 is non  complete in @xmath235 if and only if @xmath287 .
if @xmath2 is a contraction acting on some hilbert space @xmath213 , then we set @xmath288 where @xmath289 ( resp .
@xmath290 ) is the closure of the range of the defect operator @xmath291 ( resp .
@xmath292 ) .
let @xmath293 ( cf . ) .
then the space @xmath294 is invariant with respect to @xmath295 and moreover , if @xmath296 , then the restriction @xmath297 is the maximal unilateral shift contained in @xmath295 ( see ( * ? ? ? * theorem  1.6 ) ) .
we now suppose that @xmath296 . in view of @xmath298 ,
the multiplicity of the unilateral shift @xmath299 is equal @xmath121 and coincides with @xmath300 .
this is equivalent to the operator @xmath253 containing a maximal unilateral shift @xmath301 of multiplicity @xmath121 ( see ( * ? ? ?
* remark  1.11 ) ) .
thus , we obtain the following result .
[ 3.4 ] the orthonormal system of polynomials @xmath286 is non  complete in @xmath235 if and only if the contraction @xmath253 @xmath222resp .
@xmath302 contains a maximal unilateral shift @xmath301 @xmath222resp .
@xmath303 of multiplicity @xmath121 .
we consider the orthogonal decomposition @xmath304 denote by @xmath305 the wandering subspace which generates the subspace associated with the unilateral shift @xmath299 .
then @xmath306 and since @xmath299 is an isometric operator we have @xmath307 consequently , @xmath308^n ( \tilde{{{\mathfrak l}}}_0).\ ] ] there exists ( see ( * ? ? ?
* corollary  1.10 ) ) a unique unit vector @xmath309 which fulfills @xmath310 because of ( [ nr.3.10 ] ) , ( [ nr.3.11 ] ) , and ( [ nr.3.12 ] ) it follows that the sequence @xmath311 , where @xmath312^{k-1 } \psi_1 ,   \quad k\in\{1,2,\ldots\},\ ] ] is the unique orthonormal basis of the space @xmath294 which satisfies the conditions @xmath313 or equivalently @xmath314 as in the paper @xcite we introduce the following notion .    [ 3.5 ] the constructed orthonormal basis @xmath315 in the space @xmath235 which satisfies the conditions and is called the canonical orthonormal basis in @xmath235 .
obviously , the canonical orthonormal basis in @xmath235 is uniquely determined by the conditions and . here
the sequence @xmath286 is an orthonormal system of polynomials ( depending on @xmath316 ) .
the orthonormal system @xmath311 is built with the aid of the operator @xmath231 from the function @xmath317 @xmath222see @xmath275 in similar to the way the system @xmath286 was built from the function @xmath269 @xmath222see and @xmath275 .
the only difference is that the system @xmath318^k \psi_1 \right)_{k=0}^\infty$ ] is orthonormal , whereas in the general case the system @xmath319 is not orthonormal . in this respect
the sequence @xmath311 can be considered as a natural completion of the system of orthonormal polynomials @xmath286 to an orthonormal basis in @xmath235 .
it should be mentioned that the part @xmath311 of ( [ nr.3.16 ] ) has a clear interpretation in terms of prediction theory of stationary sequences
. a closer look at the papers wiener / masani @xcite and @xcite shows that @xmath311 is the spectral image of the sequence of so - called normalized innovations corresponding to some stationary sequence which is naturally associated with @xmath235 .
we hope to discuss this and related matters in a separate paper dedicated to a prediction - theoretical analysis of pseudocontinuability of schur functions .
[ 3.6 ] the orthonormal system @xmath320 is an orthonormal basis in the space @xmath321 , which takes the orthogonal decomposition of @xmath321 into account
. we will call it the canonical orthonormal basis in @xmath321 .    in view of ( [ nr.3.15 ] ) , to obtain a description of the sequence @xmath311 it suffices to determine @xmath317 . the above considerations
lead us to the following result .
[ 3.7 ] the function @xmath322 is completely characterized by the following four conditions :    1 .   @xmath323 .
2 .   @xmath324 .
@xmath325 is an orthonormal basis in @xmath294 .
4 .   @xmath326 .
[ 3.8 ] in view of theorem [ 3.2 ] condition ( a ) in lemma [ 3.7 ] is equivalent to the orthogonality conditions in @xmath235 which are expressed by @xmath327 or equivalently @xmath328    now we are going to prove another auxiliary result . here and in the following , for any function @xmath329 , we simply write @xmath330 instead of @xmath331 .
[ 3.9 ] assume that @xmath332 satisfies the following three conditions :    1 .
2 .   @xmath334 .
@xmath335 is an orthonormal system in @xmath294 .
suppose that @xmath1 has the lebesgue decomposition and let @xmath90 be the szeg function given by .
denote by @xmath116 the borel subset of @xmath34 which was introduced in remark [ 3.1 ] .
then there is a function @xmath336 such that the function @xmath337 has the form @xmath338    in view of remark [ 3.8 ] from condition ( @xmath339 ) we infer @xmath340 moreover , from ( @xmath341 ) and @xmath342 we also have @xmath343 .
thus , in view of we get @xmath344 .
this yields @xmath345 .
therefore , it follows that @xmath346 by using the riesz brothers theorem ( see , e.g. , hoffman ( * ? ? ?
* chapter  4 ) ) we obtain from and we obtain that the complex measure @xmath347 is absolutely continuous with respect to @xmath53 . according to the decomposition ( [ nr.3.4 ] ) this implies @xmath348 the function @xmath337 is determined @xmath53-a.e . on the set @xmath349 . for this reason , taking into account remark [ 3.1 ] and , we can assume that @xmath350 because of ( [ nr.3.4 ] ) , ( [ nr.3.18 ] ) , and the condition ( @xmath341 ) for each @xmath351 it follows @xmath352 consequently , taking complex conjugates for each non  zero integer @xmath256 , we get @xmath353 hence , there is a constant @xmath237 such that the identity @xmath354 holds @xmath53-a.e . on @xmath34 . combining ( @xmath355 ) with ( [ nr.3.4 ] ) , ( [ nr.3.18 ] ) , and ( [ nr.3.19 ] ) we can conclude @xmath356
therefore , from ( [ nr.3.19 ] ) it follows that @xmath357 @xmath53-a.e . on @xmath358 . from ( [ nr.3.20 ] ) and proposition  [ p2.6 ]
we see that @xmath359 . using ( [ nr.3.4 ] ) , ( [ nr.3.18 ] ) , , and we obtain @xmath360 thus , by setting @xmath361 we get @xmath362 in view of ( [ nr.3.20 ] ) , the identity @xmath363 holds @xmath53-a.e . on @xmath34 .
since @xmath95 is an outer function in @xmath364 , it follows from ( [ nr.3.21 ] ) , ( [ nr.3.22 ] ) and the inner - outer factorization ( see proposition  [ p2.8 ] ) that the function @xmath365 admits the representation @xmath366 @xmath53-a.e . on @xmath97 for some @xmath336 .
hence , the identity @xmath367 holds @xmath53-a.e . on @xmath97 . combining this with ( [ nr.3.18b ] ) we get the representation ( [ nr.3.17 ] ) .
[ 3.10 ] let @xmath90 be the szeg function given by
. denote by @xmath116 the borel subset of @xmath34 which was introduced in remark [ 3.1 ] .
then the unit vector @xmath309 which is uniquely determined via is given by @xmath368    the conditions ( a ) , ( b ) , and ( c ) in lemma [ 3.7 ] lead in combination with lemma  [ 3.9 ] to the relation @xmath369 because of condition ( c ) in lemma [ 3.7 ] , the sequence @xmath325 is an orthonormal basis in @xmath294 , where @xmath370 , @xmath371 .
now we are going to prove that this implies that the function @xmath372 is constant with unimodular value .
we prove this by contradiction .
assume that @xmath372 is not a unimodular constant function .
then beurling s theorem ( see , e.g. , garnett ( * ? ? ? * theorem 7.1 in chapter  2 ) implies that the system @xmath373 is not closed in @xmath374 .
thus , there exists an element @xmath375 which is orthogonal in @xmath374 to the sequence @xmath376 .
now we show that the function @xmath377 has the following properties @xmath378 @xmath379 indeed , since the functions @xmath380 and @xmath276 belong to @xmath374 from ( [ nr.3.24 ] ) , ( [ nr.3.23 ] ) , and the fact that @xmath336 for each @xmath381 we obtain @xmath382 this implies ( [ nr.3.25 ] ) .
moreover , taking into account ( [ nr.3.24 ] ) , ( [ nr.3.23 ] ) , and the choice of @xmath380 for each @xmath371 one can conclude @xmath383 thus , ( [ nr.3.26 ] ) is proved .
however , condition ( c ) in lemma [ 3.7 ] shows that from ( [ nr.3.25 ] ) and ( [ nr.3.26 ] ) it follows that @xmath384 . combining this with ( [ nr.3.23 ] ) and ( [ nr.3.24 ] ) we get @xmath385 @xmath53-a.e . on @xmath358 .
therefore , @xmath380 vanishes @xmath53-a.e . on @xmath358 . because @xmath274 , this implies that @xmath380 vanishes @xmath53-a.e . on @xmath34
this contradicts the assumption that @xmath380 belongs to @xmath386 .
hence , the function @xmath372 is constant .
since @xmath372 is an inner function , there is an @xmath387 such that @xmath372 is the constant function with value @xmath388 .
thus , formula ( [ nr.3.23 ] ) can be rewritten in the form @xmath389 denote by @xmath390 the orthoprojector in @xmath235 onto the closed subspace @xmath240 . using , ( [ nr.3.27 ] ) , and ( [ nr.3.12 ] ) we obtain @xmath391 \,m ( dt ) \right\ } .\end{aligned}\ ] ] consequently , it follows @xmath392 .
[ c3.9 ] for each @xmath393 , the function @xmath394 of the canonical orthonormal basis ( [ nr.3.16b ] ) in the space @xmath321 is given by @xmath395    [ c3.10 ] the canonical orthonormal basis in the space @xmath235 consists of the system @xmath286 of orthonormal polynomials @xmath222depending on @xmath396 given by and the orthonormal system @xmath311 given by .
[ 3.11 ] if @xmath1 coincides with the lebesgue - borel measure @xmath53 on @xmath34 , then the szeg condition for @xmath1 is satisfied and @xmath95 is the constant function with value @xmath121 .
thus , @xmath397 and @xmath398 in other words , the canonical orthonormal basis in that case is given by @xmath399 where for each integer @xmath256 the function @xmath257 is defined as in .    [ 3.12 ] the space @xmath294 consists of all functions @xmath400 of the form @xmath401 where @xmath402 is some function belonging to @xmath374 .
thereby , @xmath403 i.e. the mapping @xmath404 establishes a metric isomorphism between @xmath294 and @xmath374
.    now we consider the case that the measure @xmath48 is generated by the pseudocontinuable non  inner function @xmath0 .
[ p6.14a ] let @xmath405 and @xmath48 be the measure associated with @xmath0 according to section [ s1 ] .
then :    1 .
[ p6.14a - ta ] the measure @xmath1 satisfies the szeg condition and the szeg function @xmath95 associated with @xmath1 belongs to @xmath197 .
[ p6.14a - tb ] denote by @xmath146 the pseudocontinuation of @xmath95 .
let @xmath406 . for all @xmath407 such that @xmath146 is holomorphic at @xmath408 and satisfies @xmath409 , we define @xmath410^ *                    } \ ] ] then @xmath411 and its boundary values @xmath412
satisfy @xmath413 @xmath1a.e . on @xmath414 , where @xmath394 belongs to the canonical orthonormal basis in @xmath3 which was introduced in definition [ 3.5 ] and where @xmath116 stands for the borel subset of @xmath414 , which was introduced in remark [ 3.1 ] .
3 .   [ p6.14a - tc ]
let @xmath415 and let @xmath416 then @xmath417 and its boundary values @xmath418
satisfy @xmath419 and @xmath420 the mapping @xmath421 is a metric isomorphism between @xmath422 and @xmath294 .
[ p6.14a - ta ] this follows from theorem [ t3.9 ] .
[ p6.14a - tb ] in view of remark [ r2.10 ] we have @xmath423 and @xmath424 thus , in view of @xmath274 , the combination of , theorem [ 3.10 ] and shows that @xmath413 @xmath1a.e . on @xmath414 .
[ p6.14a - tc ] using corollary [ 3.12 ] , the assertion of [ p6.14a - tc ] can be obtained analogously .
[ 3.13 ] in @xcite a detailed description of the matrix representations of the operators @xmath253 , @xmath425 , @xmath426 , and @xmath427 @xmath222and , consequently , of the operator @xmath428 with respect to the canonical basis was given @xmath222see 2.8 comment , chapter  a , and theorems 2.13 , 2.15 , and 2.17 there@xmath275 .
these matrix representations are expressed in terms of schur parameters of the characteristic function @xmath252 of the unitary colligation which is associated with the probability measure @xmath1 .
we note that in chapter  4 of the monograph @xcite by b. simon some historical remarks concerning these matrix representations are presented .
in particular , the representation , abbreviated by @xmath429 , is used in @xcite . here
@xmath429 stands for geronimus , gragg , and teplyaev .
it is well known ( see , e.g. , brodskii @xcite ) that one can consider simultaneously together with the simple unitary colligation ( [ nr.2.2 ] ) the adjoint unitary colligation @xmath430 which is also simple . for @xmath431 , its characteristic function @xmath432 is given by @xmath433 we note that the unitary colligation ( [ nr.3.29 ] ) is associated with the operator @xmath434 .
it can be easily checked that the action of @xmath434 is given for each @xmath435 by @xmath436 ( t ) = t\cdot f(t),\quad t\in\mathbb t .\ ] ] if we replace the operator @xmath437 by @xmath434 in the preceding considerations , which have lead to the canonical orthonormal basis ( [ nr.3.16 ] ) , we obtain an orthonormal basis of the space @xmath235 which consists of two sequences @xmath438 of functions . from our treatments above
it follows that the orthonormal basis ( [ nr.onb ] ) is uniquely determined by the following conditions :    1 .
the sequence @xmath439 arises from the result of the gram - schmidt orthogonalization procedure of the sequence @xmath440^n { \bf 1}\right)_{n=0}^\infty$ ] while taking into account the normalization conditions @xmath441^n { \bf 1 } , \tilde{\varphi}_n \bigr)_{l_\mu^2 } > 0 , \quad n\in \{0,1,2,\ldots \}.\ ] ] 2 .
the relations @xmath442 hold .
it can be easily checked that @xmath443 and @xmath444 as in the paper @xcite , we introduce the following notion .    [ 3.14 ] the orthogonal basis @xmath445 is called the conjugate canonical orthonormal basis with respect to the canonical orthonormal basis .
similar to ( [ nr.3.8 ] ) , the identity @xmath446^k { \bf 1 }    = \left ( \bigvee_{k=0}^{n-1 } ( t_\mu^\ast)^k g_\mu^\ast ( 1 ) \right ) \oplus \mathbb c_\mathbb t\ ] ] can be verified .
thus , @xmath447 @xmath448    in ( * ? ? ?
* chapter 3 ) the unitary operator @xmath208 was introduced which maps the elements of the canonical basis ( [ nr.3.16 ] ) onto the corresponding elements of the conjugate canonical basis ( [ nr.3.31 ] ) .
more precisely , @xmath449 the operator @xmath208 is related to the conjugation operator in @xmath235 .
namely , if @xmath232  and @xmath450 then @xmath451 in ( * ? ?
* theorem  3.6 ) the matrix representation of the blocks of the operator @xmath208 with respect to the canonical basis ( [ nr.3.16 ] ) was expressed in terms of schur parameters of the characteristic function @xmath452 . a finer analysis of this matrix representation ( see ( * ? ? ?
* chapters 4 and 5 ) ) yields effective criteria for the pseudocontinuability of a non - inner function belonging to the schur class @xmath16 .
these criteria are formulated in terms of schur parameters .
let @xmath453 the relations ( [ nr.0.1f ] ) and ( [ nr.0.3 ] ) allow us to associate a measure @xmath454 with the function @xmath0 .
furthermore , we associate the simple unitary colligation @xmath279 given by ( [ nr.2.2 ] ) with the same measure @xmath1
. then theorem [ 2.1 ] implies @xmath455 .
the unitary colligation @xmath279 suggests that we consider the canonical basis ( [ nr.3.16 ] ) and the conjugate canonical basis ( [ nr.3.31 ] ) in @xmath235 . the equations ( [ nr.3.39 ] ) and ( [ nr.3.40 ] ) allow us to reformulate theorem [ t4.2 ] into the following criterion of pseudocontinuability of non - inner schur functions in terms of the canonical orthonormal basis of @xmath235 introduced in definition [ 3.5 ] .
[ 4.3 ] let @xmath195 and let @xmath48 be the measure associated with @xmath0 according to section [ s1 ] .
let @xmath279 be the simple unitary colligation which satisifies @xmath455 .
furthermore , let the canonical orthogonal basis in @xmath235 be given by .
then @xmath0 admits a pesudocontinuation if and only if @xmath456 ( where the symbol , , @xmath457  is used in the context of @xmath235 ) .
the combination of proposition [ p2.14 ] and theorem [ 4.3 ] shows that in order to establish a direct connection between the criteria of pseudocontinuability of functions belonging to @xmath162 which are contained in theorems [ t3.9 ] and [ t4.2 ] it is sufficient to verify the following statement .    [ 4.5 ] let @xmath195 and let @xmath194 be the measure associated with @xmath0 according to section  [ s1 ] .
then condition in theorem  [ 4.3 ] is fulfilled if and only if the measure @xmath1 satisfies the szeg condition and there exist functions @xmath117 such that the identity holds @xmath53-a.e . on @xmath97 .
let condition ( [ nr.4.2 ] ) be satisfied .
then the system @xmath261 is not complete in @xmath235 .
thus , as mentioned above , condition ( [ nr.3.4a ] ) is fulfilled . from the definition of the subspaces @xmath458 and @xmath459 ( see ( [ nr.d1.5c ] ) and section  [ s5 ] ) it follows that the subspaces @xmath459 and @xmath294 are invariant with respect to the operator @xmath460 . moreover , since the unitary colligation @xmath279 is simple we get @xmath461 taking into account ( [ nr.3.39 ] ) , ( [ nr.3.40 ] ) , and ( [ nr.4.2 ] ) it follows @xmath462 hence , the space @xmath463 is also invariant with respect to @xmath460 and the restriction of @xmath460 is a unilateral shift of multiplicity @xmath121 .
let @xmath337 be a basis function of the generating wandering subspace of the unilateral shift @xmath464 .
then the function @xmath337 satisfies the conditions in lemma [ 3.9 ] .
thus , there is a function @xmath465 such  that @xmath466 on the other hand , in view of @xmath467 there exists a sequence @xmath468 of polynomials such that the limit relation @xmath469 holds .
this implies @xmath470 combining this with ( [ nr.4.5 ] ) we obtain @xmath471 therefore , the unimodular function @xmath472 which is defined by @xmath473 is the @xmath474-limit of the sequence @xmath475 .
thus , since the sequence @xmath476 belongs to the hardy space @xmath364 and since @xmath477 is a unimodular function , we see that there is a function @xmath478 such that its boundary function @xmath479 coincides @xmath53-a.e . on @xmath97 with @xmath477 .
hence , the identity @xmath480 holds @xmath53-a.e . on @xmath97
this implies that @xmath481 holds @xmath53-a.e . on @xmath97
therefore , if we define the function @xmath482 by @xmath483 then @xmath484 is a function belonging to @xmath115 such that holds @xmath53-a.e . on @xmath97 .
conversely , we assume now that the conditions and are satisfied .
let @xmath116 be the set introduced in remark [ 3.1 ] .
in view of @xmath274 we can assume that the boundary functions @xmath485 and @xmath486 of the inner functions @xmath484 and @xmath120 vanish on @xmath116 .
thus , the functions @xmath485 and @xmath486 vanish @xmath181-a.e .
on @xmath97 . from it follows that @xmath487 holds @xmath53-a.e . on @xmath97 .
we are going to prove that the function @xmath337 defined by @xmath488 belongs to the intersection of the sets described on the left - hand side of formula ( [ nr.4.2 ] ) . indeed , in view of corollary [ 3.12 ] and ( [ nr.3.40 ] ) we infer @xmath489 on the other hand , using ( [ nr.4.8 ] ) , ( [ nr.4.7 ] ) , ( [ nr.3.28 ] ) , and @xmath274 for each @xmath490 one can conclude @xmath491 thus , we get @xmath492 in view of @xmath493 we have @xmath494 consequently , by using ( [ nr.4.11 ] ) , ( [ nr.4.8 ] ) , and @xmath495 we obtain @xmath496 since @xmath497 is an orthonormal basis of @xmath235 from ( [ nr.4.10 ] ) and ( [ nr.4.13 ] ) it follows that @xmath498 combining this with ( [ nr.4.9 ] ) we see that @xmath499 by using @xmath500 , @xmath274 , and ( [ nr.4.8 ] ) we obtain @xmath501 therefore , from ( [ nr.4.14 ] ) we see @xmath502 thus , ( [ nr.4.2 ] ) is fulfilled .
we now look to cast some light on an interesting aspect of pseudocontinuability of schur functions by considering our main result under the light of the following well - known douglas - rudin theorem ( see , e.g. , garnett ( * ? ? ?
* theorem 2.1 in chapter  v ) ) .
thus , the combination of theorem  [ 4.3 ] with theorem  [ 4.5 ] shows that the phenomenon of pseudocontinuability of a non - inner function @xmath20 is related to the fact that for the unimodular function @xmath507 an extremal situation can be met in theorem [ 4.7 ] .
namely , there exist functions @xmath505 satisfying the equation @xmath508 .
the authors are grateful to professor v.e .
katsnelson , who carefully read an older version of this manuscript .
his comments and remarks very much influenced and improved the conception and presentation of the content of this paper .
: _ regular j - inner matrix functions and related continuation problems _ , in : linear operators in function spaces ( eds .
: g. arsene , h. helson , b. sz .- nagy , f .- h . vasilescu ) , oper . theory . adv .
43 , birkhuser , basel , 1990 , pp .
6587 .            :
_ shift operators contained in contractions , schur parameters and pseudocontinuable schur functions _ , in : interpolation , schur functions and moment problems ( eds . :
d. alpay , i. gohberg ) , oper .
theory adv .
165 , birkhuser , basel , 2006 , pp .
175250 .
: _ description of a class of functions which admit an approximation by rational functions with preassigned poles i _ , in : matrix and operator valued functions - the vladimir petrovich potapov memorial volume ( eds .
i. gohberg , l.a .
sakhnovich ) , oper .
theory adv .
72 , birkhuser , basel , 1994 , pp .
87132 .            : _ weighted polynomial approximation and boundary behavior of analytic functions _
( in russian ) , in : contemporary problems in theory anal . functions ( internat . conf . ,
erevan , 1965 ) , nauka , moscow , 1966 , pp .
326335 .      :
_ orthogonal polynomials on the unit circle .
classical theory ; part 2 .
spectral theory _ , american mathematical society colloquium publications , vol .
54 , part 1 + 2 .
soc . , providence , r.i .
: _ approximation with respect to various metrics of functions defined on the circumference to sequences of rational functions with fixed poles _
( in russian ) , izv
nauk sssr , ser . mat . 30 ( 1966 ) , 721766 ; english transl . in : amer .
series 2 , volume 177 , 1968 , pp .
183233 .    :
_ necessary and sufficient conditions for the possibility of approximating a function on a circumference by rational functions , expressed in terms directly connected with the distribution of poles of the approximating functions _
( in russian ) , izv
nauk sssr , ser .
mat . 30 ( 1966 ) , 969980 ; english transl . in : amer .
transl . , series 2 , volume 177 , 1968 , pp . 235248 .