Interpolation by holomorphic maps from the disc to the tetrablock
The tetrablock is the set The closure of is denoted by . A tetra-inner function is an analytic map from the unit disc to such that, for almost all points of the unit circle , \[ \lim_{r\uparrow 1} x(r λ) \mbox{ exists and lies in } b \overline{\mathcal{E}}, \] where denotes the distinguished boundary of . There is a natural notion of degree of a rational tetra-inner function ; it is simply the topological degree of the continuous map from to . In this paper we give a prescription for the construction of a general rational tetra-inner function of degree . The prescription exploits a known construction of the finite Blaschke products of given degree which satisfy some interpolation conditions with the aid of a Pick matrix formed from the interpolation data. It is known that if is a rational tetra-inner function of degree , then either is identically or has precisely zeros in the closed unit disc , counted with multiplicity. It turns out that a natural choice of data for the construction of a rational tetra-inner function consists of the points in for which and the values of at these points.