Extremal functions with vanishing condition

From MaRDI portal



Abstract: We determine the optimal majorant M+ and minorant M− of exponential type for the truncation of xmapsto(x2+a2)−1 with respect to general de Branges measures. We prove that [ int_mathbb{R} (M^+ - M^-) |E(x)|^{-2}dx = frac{1}{a^2 K(0,0)} ] where K is the reproducing kernel for mathcalH(E). As an application we determine the optimal majorant and minorant for the Heaviside function that vanish at a fixed point alpha=ia on the imaginary axis. We show that the difference of majorant and minorant has integral value (pia−anh(pia))−1pia.


Let \(E\) be a Hermite-Biehler function, i.e., an entire function \(E\) satisfying \(|E(z)| > |\overline{E(\overline{z})}|\) for all \(z\in \mathbb{C}\) with \(\mathrm{Im}\, z > 0\). For Hermite-Biehler functions of mean-type \(\tau\), the authors derive optimal majorants \(M_E^+\) and minorants \(M_E^-\) (in the sense of the de Branges measure of \(E\)) of exponential type \(\tau\) for the truncation \(x\mapsto (x^2+a^2)^{-1}\). Furthermore, they establish the formula \[ \int_\mathbb{R} (M_E^+ (x) - M_E^- (x)) \frac{dx}{|E(x)|^2} = \frac{1}{a^2 K(0,0)}, \] where \(K\) denotes the reproducing kernel for the de Branges space \(\mathcal{H} (E)\). As an application, the authors consider a Heaviside function that vanishes at a fixed point \(i a\) on the imaginary axis and show that the difference of the majorant and minorant has integral value \(a\,\pi\,(a\,\pi - \tanh (a\,\pi))^{-1}\).











This page was built for publication: Extremal functions with vanishing condition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q745851)