Searcharxiv⌕ Search

arXiv subjects

Zinaida Lykova

Publications and source records attributed to Zinaida Lykova.

11 recordsLinked to original sources
arXiv2026

Boundary behavior of functions in the Schur-Agler class of the polydisc

We describe a generalization of the notion of a Hilbert space model of a function $φ$ in the Schur-Agler class of the polydisc. This generalization is well adapted to the investigation of boundary behavior of $φ$ at a mild singularity $τ$ on the $d$-torus. We prove the existence of a generalized model with an enhanced continuity property at such a singularity $τ$. We use this result to prove the directional differentiability of a function $φ$ in the Schur-Agler class at a singular point on the $d$-torus for which the Carathéodory condition holds and to calculate the corresponding directional derivative. The results of this paper extend to the polydisc $\mathbb{D}^d$ results of Agler, McCarthy, Tully-Doyle and Young which generalized to the bidisc the classical Julia-Wolff-Carathéodory theorem about analytic self-maps of $\mathbb{D}$.

math.CV↗
arXiv2025

Function theory on the annulus in the dp-norm

In this paper we shall use realization theory to prove new results about a class of holomorphic functions on an annulus \[R_δ\stackrel{\rm def}{=} \{z \in \mathbb{C}: δ<|z|<1\},\] where $0<δ<1$. The class of functions in question arises in the early work of R. G. Douglas and V. I. Paulsen on the rational dilation of a Hilbert space operator $T$ to a normal operator with spectrum in $\partial R_δ$. Their work suggested the following norm $\|\cdot\|_{\mathrm{dp}}$ on the space $\mathrm{Hol}(R_δ)$ of holomorphic functions on $R_δ$, \[ \|ϕ\|_{\mathrm{dp}} \stackrel{\rm def}{=} \sup\{ \|ϕ(T)\|: \|T\|\leq 1, \|T^{-1} \|\leq 1/δ\ \text{and} \ σ(T)\subseteq R_δ\}.\] By analogy with the classical Schur class of holomorphic functions $\mathcal{S} $ with supremum norm at most $1$ on the disc $\mathbb{D}$, it is natural to consider the dp-Schur class $\mathcal{S}_\mathrm{dp}$ of holomorphic functions of dp-norm at most $1$ on $R_δ$. Our central result is a Pick interpolation theorem for functions in $\mathcal{S}_\mathrm{dp}$ that is analogous to Abrahamse's Interpolation Theorem for bounded holomorphic functions on a multiply-connected domain. For a tuple $λ=(λ_1,\dots,λ_n)$ of distinct interpolation nodes in $R_δ$, we introduce a special set $\mathcal{G}_{\mathrm {dp}}(λ)$ of positive definite $n\times n$ matrices, which we call DP Szegő kernels. The DP Pick problem $λ_j \mapsto z_j, j=1,\dots,n$, is shown to be solvable if and only if, \[ [(1-\bar z_i z_j)g_{ij}] \ge 0 \; \text{ for all}\; g \in \mathcal{G}_{\mathrm {dp}} (λ).\] We prove further that a solvable DP Pick problem has a solution which is a rational function.

math.CV↗
arXiv2024

Function theory in the bfd-norm on an elliptical region

Let $E$ be the open region in the complex plane bounded by an ellipse. The B. and F. Delyon norm $\|\cdot\|_{\mathrm{bfd}}$ on the space $\mathrm{Hol}(E)$ of holomorphic functions on $E$ is defined by $$ \|f\|_{\mathrm{bfd}} \stackrel{\rm def}{=} \sup_{T\in \mathcal{F}_{\mathrm {bfd}}(E)}\|f(T)\|, $$ where $\mathcal{F}_{\mathrm {bfd}}(E)$ is the class of operators $T$ such that the closure of the numerical range of $T$ is contained in $E$. The name of the norm recognizes a celebrated theorem of the brothers Delyon, which implies that $\|\cdot\|_{\mathrm{bfd}}$ is equivalent to the supremum norm $\|\cdot\|_\infty$ on $\mathrm{Hol}(E)$. The purpose of this paper is to develop the theory of holomorphic functions of bfd-norm less than or equal to one on $E$. To do so we shall employ a remarkable connection between the bfd norm on $\mathrm{Hol}(E)$ and the supremum norm $\|\cdot\|_\infty$ on the space $\mathrm{H}^\infty(G)$ of bounded holomorphic functions on the symmetrized bidisc, the domain $G$ in $\mathbb{C}^2$ defined by \begin{align*} G & \stackrel{\rm def}{=} \{(z+w,zw): |z|<1, |w|<1\}. \end{align*} It transpires that there exists a holomorphic embedding $τ:E \to G$ having the property that, for any bounded holomorphic function $f$ on $E$, \[ \|f\|_{\mathrm{bfd}} = \inf\{\|F\|_\infty: F \in {\mathrm H}^\infty(G), F\circτ=f\}, \] and moreover, the infimum is attained at some $F \in \mathrm{H}^\infty(G)$. This result allows us to derive, for holomorphic functions of bfd-norm at most one on $E$, analogs of the well-known model and realization formulae for Schur-class functions. We also give a second derivation of these models and realizations, which exploits the Zhukovskii mapping from an annulus onto $E$.

math.CV↗
arXiv2022

A Hilbert space approach to singularities of functions

We introduce the notion of a pseudomultiplier of a Hilbert space $\mathcal H$ of functions on a set $Ω$. Roughly, a pseudomultiplier of $\mathcal H$ is a function which multiplies a finite-codimensional subspace of $\mathcal H$ into $\mathcal H$, where we allow the possibility that a pseudomultiplier is not defined on all of $Ω$. A pseudomultiplier of $\mathcal H$ has singularities, which comprise a subspace of $\mathcal H$, and generalize the concept of singularities of an analytic function, even though the elements of $\mathcal H$ need not enjoy any sort of analyticity. We analyse the natures of these singularities, and obtain a broad classification of them in function-theoretic terms.

math.FA↗
arXiv2022

Nonuniqueness of Carathéodory extremal functions on the symmetrized bidisc

We survey the Carathéodory extremal problem $\mathrm{Car} δ$ on the symmetrized bidisc $$ G = \{(z+w,zw):|z|<1, \, |w|<1\} = \{(s,p)\in \mathbb{C}^2: |s-\bar s p| < 1-|p|^2\}. $$ We also give some new results on this topic. We are particularly interested in cases of this problem in which the solution of the problem is not unique. It is known that, for any $δ=(λ,v)\in TG$ with $v\neq 0$, there is at least one $ω\in\mathbb{T}$ such that $Φ_ω$ solves $\mathrm{Car} δ$, where $Φ_ω(s,p) = \frac{2ωp-s}{2-ωs}$. Moreover, there is an essentially unique solution of $\mathrm{Car} δ$ if and only if $δ$ has exactly one Carathéodory extremal function of the form $Φ_ω$ for some $ω\in\mathbb{T}$. We give a description of Carathéodory extremals for $δ\in TG$ with more than one Carathéodory extremal function $Φ_ω$ for some values of $ω\in\mathbb{T}$. The proof exploits a model formula for the Schur class of $G$ which is an analog of the well-known network realization formula for Schur-class functions on the disc.

math.CV↗
arXiv2020

Intrinsic Directions, Orthogonality and Distinguished Geodesics in the Symmetrized Bidisc

The symmetrized bidisc \[ G \stackrel{\rm{def}}{=}\{(z+w,zw):|z|<1,\ |w|<1\}, \] under the Carathéodory metric, is a complex Finsler space of cohomogeneity $1$ in which the geodesics, both real and complex, enjoy a rich geometry. As a Finsler manifold, $G$ does not admit a natural notion of angle, but we nevertheless show that there {\em is} a notion of orthogonality. The complex tangent bundle $TG$ splits naturally into the direct sum of two line bundles, which we call the {\em sharp} and {\em flat} bundles, and which are geometrically defined and therefore covariant under automorphisms of $G$. Through every point of $G$ there is a unique complex geodesic of $G$ in the flat direction, having the form \[ F^β\stackrel{\rm{def}}{=}\{(β+\barβz,z)\ : z\in\mathbb{D}\} \] for some $β\in\mathbb{D}$, and called a {\em flat geodesic}. We say that a complex geodesic \emph{$D$ is orthogonal} to a flat geodesic $F$ if $D$ meets $F$ at a point $λ$ and the complex tangent space $T_λD$ at $λ$ is in the sharp direction at $λ$. We prove that a geodesic $D$ has the closest point property with respect to a flat geodesic $F$ if and only if $D$ is orthogonal to $F$ in the above sense. Moreover, $G$ is foliated by the geodesics in $G$ that are orthogonal to a fixed flat geodesic $F$.

math.DG↗
arXiv2020

Exterior powers and pointwise creation operators

We develop a theory of pointwise wedge products of vector-valued functions on the circle and the disc, and obtain results which give rise to a new approach to the analysis of the matricial Nehari problem. We investigate properties of pointwise creation operators and pointwise orthogonal complements in the context of operator theory and the study of vector-valued analytic functions on the unit disc.

math.CV↗
arXiv2019

A Geometric Characterization of the Symmetrized Bidisc

The symmetrized bidisc \[ G \stackrel{\rm{def}}{=}\{(z+w,zw):|z|<1,\ |w|<1\} \] has interesting geometric properties. While it has a plentiful supply of complex geodesics and of automorphisms, there is nevertheless a unique complex geodesic $\mathcal{R}$ in $G$ that is invariant under all automorphisms of $G$. Moreover, $G$ is foliated by those complex geodesics that meet $\mathcal{R}$ in one point and have nontrivial stabilizer. We prove that these properties, together with two further geometric hypotheses on the action of the automorphism group of $G$, characterize the symmetrized bidisc in the class of complex manifolds.

math.CV↗
arXiv2018

Carathéodory extremal functions on the symmetrized bidisc

We show how realization theory can be used to find the solutions of the Carathéodory extremal problem on the symmetrized bidisc \[ G \stackrel{\rm{def}}{=} \{(z+w,zw):|z|<1, \, |w|<1\}. \] We show that, generically, solutions are unique up to composition with automorphisms of the disc. We also obtain formulae for large classes of extremal functions for the Carathéodory problems for tangents of non-generic types.

math.CV↗
arXiv2016

Geodesics, retracts, and the norm-preserving extension property in the symmetrized bidisc

A set $V$ in a domain $U$ in $\mathbb{C}^n$ has the {\em norm-preserving extension property} if every bounded holomorphic function on $V$ has a holomorphic extension to $U$ with the same supremum norm. We prove that an algebraic subset of the {\em symmetrized bidisc} \[ G := \{(z+w,zw):|z|<1, |w| < 1 \} \] has the norm-preserving extension property if and only if it is either a singleton, $G$ itself, a complex geodesic of $G$, or the union of the set $\{(2z,z^2): |z|<1\}$ and a complex geodesic of degree $1$ in $G$. We also prove that the complex geodesics in $G$ coincide with the nontrivial holomorphic retracts in $G$. Thus, in contrast to the case of the ball or the bidisc, there are sets in $G$ which have the norm-preserving extension property but are not holomorphic retracts of $G$. In the course of the proof we obtain a detailed classification of the complex geodesics in $G$ modulo automorphisms of $G$. We give applications to von Neumann-type inequalities for $Γ$-contractions (that is, commuting pairs of operators for which the closure of $G$ is a spectral set) and for symmetric functions of commuting pairs of contractive operators. We find three other domains that contain sets with the norm-preserving extension property which are not retracts: they are the spectral ball of $2\times 2$ matrices, the tetrablock and the pentablock. We also identify the subsets of the bidisc which have the norm-preserving extension property for symmetric functions.

math.CV↗