We introduce two kinds of quasi-inner functions. Since every rationally invariant subspace for a shift operator $S_K$ on a vector-valued Hardy space $H^{2}(Ω,K)$ is generated by a quasi-inner function, we also provide relationships of quasi-inner functions by comparing rationally invariant subspaces generated by them. Furthermore, we discuss fundamental properties of quasi-inner functions, and quasi-inner divisors.
We extend Beurling's invariant subspace theorem, by characterizing subspaces $K$ of the noncommutative $L^p$ spaces which are invariant with respect to Arveson's maximal subdiagonal algebras, sometimes known as noncommutative $H^\infty$. It is significant that a certain subspace, and a certain quotient, of $K$ are $L^p({\mathcal D})$-modules in the recent sense of Junge and Sherman, and therefore have a nice decomposition into cyclic submodules. We also give general inner-outer factorization formulae for elements in the noncommutative $L^p$. These facts generalize the classical ones, and shoul…
Let $H^2(\mathbb{D}^n)$ denote the Hardy space over the polydisc $\mathbb{D}^n$, $n \geq 2$. A closed subspace $\mathcal{Q} \subseteq H^2(\mathbb{D}^n)$ is called Beurling quotient module if there exists an inner function $θ\in H^\infty(\mathbb{D}^n)$ such that $\mathcal{Q} = H^2(\mathbb{D}^n) /θH^2(\mathbb{D}^n)$. We present a complete characterization of Beurling quotient modules of $H^2(\mathbb{D}^n)$: Let $\mathcal{Q} \subseteq H^2(\mathbb{D}^n)$ be a closed subspace, and let $C_{z_i} = P_{\mathcal{Q}} M_{z_i}|_{\mathcal{Q}}$, $i=1, \ldots, n$. Then $\mathcal{Q}$ is a Beurling quotient mod…
In a recent paper, M. Raghupathi has extended the famous theorem of Beurling to the context of subspaces that are invariant under the class of subalgebras of $H^\infty$ of the form $IH^\infty$, where $I$ is an inner function. In this paper, we provide analouges of the above mentioned $IH^\infty$ related extension of Beurling's theorem to the context of uniform algebras, on compact abelian groups with ordered duals, the Lebesgue space on the real line and in the setting of the space $BMOA$. We also provide a significant simplification of the proof of the Beurling's theorem in the setting of uni…
The aim of this paper is to establish a canonical decomposition of operator-valued strong $L^2$-functions by the aid of the Beurling-Lax-Halmos Theorem which characterizes the shift-invariant subspaces of vector-valued Hardy space. This decomposition invites us to coin a new notion of the "Beurling degree" of the inner function. Eventually, we establish a deep connection between the spectral multiplicity of the model operator and the Beurling degree of the corresponding characteristic function.
Let $\mathbb{D}$ be the open unit disk in $\mathbb{C}$, let $H^2$ denote the Hardy space on $\mathbb{D}$ and let $φ: \mathbb{D} \rightarrow \mathbb{D}$ be a holomorphic self map of $\mathbb{D}$. The composition operator $C_φ$ on $H^2$ is defined by \[ (C_φ f)(z)=f(φ(z)) \quad \quad (f \in H^2,\, z \in \mathbb{D}). \] Denote by $\mathcal{S}(\mathbb{D})$ the set of all functions that are holomorphic and bounded by one in modulus on $\mathbb{D}$, that is \[ \mathcal{S}(\mathbb{D}) = \{ψ\in H^\infty(\mathbb{D}): \|ψ\|_{\infty} := \sup_{z \in \mathbb{D}} |ψ(z)| \leq 1\}. \] The elements of $\mathca…
We prove sectorial extension theorems for ultraholomorphic function classes of Beurling type defined by weight functions with a controlled loss of regularity. The proofs are based on a reduction lemma, due to the second author, which allows to extract the Beurling from the Roumieu case, which was treated recently by Jiménez-Garrido, Sanz, and the third author. In order to have control on the opening of the sectors, where the extensions exist, we use the (mixed) growth index and the order of quasianalyticity of weight functions. As a consequence we obtain corresponding extension results for cla…
Let $\mathcal{E}$ be a Hilbert space and $H^2_{\mathcal{E}}(\mathbb{D})$ be the $\mathcal{E}$-valued Hardy space over the unit disc $\mathbb{D}$ in $\mathbb{C}$. The well known Beurling-Lax-Halmos theorem states that every shift invariant subspace of $H^2_{\mathcal{E}}(\mathbb{D})$ other than $\{0\}$ has the form $ΘH^2_{\mathcal{E}_*}(\mathbb{D})$, where $Θ$ is an operator-valued inner multiplier in $H^\infty_{B(\mathcal{E}_*, \mathcal{E})}(\mathbb{D})$ for some Hilbert space $\mathcal{E}_*$. In this paper we identify $H^2(\mathbb{D}^n)$ with $H^2(\mathbb{D}^{n-1})$-valued Hardy space $H^2_{H^…
Let $G$ be a bounded open subset in the complex plane and let $H^{2}(G)$ denote the Hardy space on $G$. We call a bounded simply connected domain $W$ perfectly connected if the boundary value function of the inverse of the Riemann map from $W$ onto the unit disk $D$ is almost 1-1 rwith respect to the Lebesgure on $\partial D$ and if the Riemann map belongs to the weak-star closure of the polynomials in $H^{\infty}(W)$. Our main theorem states: In order that for each $M\in Lat(M_{z})$, there exist $u\in H^{\infty}(G)$ such that $ M = \vee\{u H^{2}(G)\}$, it is necessary and sufficient that the …
In this paper, we study weak amenability of Beurling algebras. To this end, we introduce the notion inner quasi-additive functions and prove that for a locally compact group $G$, the Banach algebra $L^1(G, ω)$ is weakly amenable if and only if every non-inner quasi-additive function in $L^\infty(G, 1/ω)$ is unbounded. This provides an answer to the question concerning weak amenability of $L^1(G, ω)$ and improve some known results in connection with it.
We review how some multianalytic inner functions of the Beurling type theorem are associated to row contractions following works of G.Popescu. Motivated by a result on weak Markov dilations, we define a notion of characteristic function for ergodic and coisometric row contractions with a one-dimensional invariant subspace for the adjoints. Our characteristic function is a complete unitary invariant for such tuples. Thereafter we extend the analysis of characteristic functions to contractive liftings of row contractions. We apply our theory to completely positive maps and explore applications t…
Following Beurling's theorem and a study of the topology of invariant subspaces by R. Douglas and C. Pearcy description of path connected components of invariant subspace lattice for shift of multiplicity one has been given by R.Yang. This paper generalizes result to arbitrary finite multiplicity. We show that there exists one to one correspondence between the invariant subspace lattice of shift of arbitrary finite multiplicity and the space of inner functions.
Following Gorkin, Mortini, and Nikolski, we say that an inner function $I$ in $H^\infty$ of the unit disc has the WEP property if its modulus at a point $z$ is bounded from below by a function of the distance from $z$ to the zero set of $I$. This is equivalent to a number of properties, and we establish some consequences of this for $H^\infty/IH^\infty$. The bulk of the paper is devoted to "wepable" functions, i.e. those inner functions which can be made WEP after multiplication by a suitable Blaschke product. We prove that a closed subset $E$ of the unit circle is of finite entropy (i.e. is a…
For a matrix-valued function $Φ\in L^2_{M_{n\times m}}$, it is well-known that the kernel of a block Hankel operator $H_Φ$ is an invariant subspace for the shift operator. Thus, if the kernel is nontrivial, then $\ker H_Φ= ΘH^2_{\mathbb C^r}$ for a natural number $r$ and an $m\times r$ matrix inner function $Θ$ by Beurling-Lax-Halmos Theorem. It will be shown that the size of the matrix inner function $Θ$ associated with the kernel of a block Hankel operator $H_Φ$ is closely related with a certain independency of the columns of $Φ$, which is defined in this paper. As an important application o…
It is known that (i) a subspace ${\mathcal N}$ of the Hardy space $H^2$ which is invariant under the backward shift operator can be represented as the range of the observability operator of a conservative discrete-time linear system, (ii) the transfer-function of this conservative linear system in turn is the inner Beurling-Lax representer for the forward-shift invariant subspace ${\mathcal M} : = {\mathcal N}^\perp$, and (iii) this transfer function also serves as the Sz.-Nagy-Foias characteristic function of the pure contraction operator $T$ given by $T = P_{\mathcal N} M_z |_{\mathcal N}$. …
We consider the invariant subspace of composition operators on Hardy space $H^p$ where the composition operators corresponding to a function $φ$ that is a holomorphic self-map of $\mathbb D$. Firstly, we discuss composition operators $C_φ$ on subspace $H_{α,β}^p$ of Hardy space $H^p$. We will explore the invariant subspaces for $C_φ$ in various special cases. Secondly, we consider Beurling type invariant subspace for $C_φ$. When $θ$ is a inner function, we prove that $θH^p$ is invariant for $C_φ$ if and only if $\displaystyle{\frac{θ\circφ}θ}$ belongs to $\mathcal S(\mathbb D)$. Thirdly, we ob…
It was shown recently that the space isomorphic with an Gelfand Shilov space is well adapted for the use in quantum field theory with a fundamental length. It is our believe that all Gelfand Shilov spaces, especially those with quasianalytic test function spaces, are good domains for the quantum field theory. The theory requires technical results from the theory of generalized functions and not merely differential calculus and well defined Fourier transform, but also the kernel theorem and the structural theorem. In the paper we give the structural (regularity) theorem and kernel theorem for G…
We propose a unique way how to choose a new inner product in a Hilbert space with respect to which an originally non-self-adjoint operator similar to a self-adjoint operator becomes self-adjoint. Our construction is based on minimising a 'Hilbert-Schmidt distance' to the original inner product among the entire class of admissible inner products. We prove that either the minimiser exists and is unique, or it does not exist at all. In the former case we derive a system of Euler-Lagrange equations by which the optimal inner product is determined. A sufficient condition for the existence of the un…
The objective of this paper is to study wandering subspaces for commuting tuples of bounded operators on Hilbert spaces. It is shown that, for a large class of analytic functional Hilbert spaces $\mathcal{H}_K$ on the unit ball in $\mathbb C^n$, wandering subspaces for restrictions of the multiplication tuple $M_z = (M_{z_1}, \ldots ,M_{z_n})$ can be described in terms of suitable $\mathcal{H}_K$-inner functions. We prove that $\mathcal{H}_K$-inner functions are contractive multipliers and deduce a result on the multiplier norm of quasi-homogenous polynomials as an application. Along the way w…
