Expansion of analytic functions into series in consecutive derivatives (Q2386928)

Let \(G\subset\mathbb C\) be a bounded convex domain and let \(K\subset\mathbb C\) be a convex compact with \(0\in K\). Let \(L\) be an entire function such that: (i) \(L\) has a complete regular growth and the indicator \(H_G+H_K\) for order \(1\), where \(H_Q(z):=\sup_{t\in Q}\text{Re}(zt)\), (ii) every zero \(\lambda_j\) of \(L\) is simple, (iii) \(| L'(\lambda_j)| =\exp(H_G(\lambda_j)+H_K(\lambda_j)+o(| \lambda_j| ))\) when \(j\to+\infty\). The main result of the paper is the following theorem. Let \((c_j)_{j=1}^\infty\subset\mathbb C\setminus\{0\}\) be such that there exists an \(\varepsilon>0\) with \(\sup_{j\in\mathbb N}| c_j| \exp(H_G(\lambda_j)+H_K(\lambda_j)+ \varepsilon| \lambda_j| )<+\infty\) and \(\sum_{j=1}^\infty(| c_j| | L'(\lambda_j)| ^2)^{-1}<+\infty\). Put \(f:=\sum_{j=1}^\infty c_je_{\lambda_j}\), where \(e_\lambda(z):=\exp(\lambda z)\). Define \(g_n:=\sum_{j=1}^\infty(b_{n,j}/c_j)l_j\), where \(l_j(z):=L(z)/(L'(\lambda_j)(z-\lambda_j))\), \(b_{n,j}:=l_j(z^n/n!)\). Then \((g_n,f^{(n)})_{n=0}^\infty\) is a biorthogonal system, i.e. \(g_n(f^{(k)})=\delta_{n,k}\). If, moreover, \(\sup_{z\in\overline G+K}| z| \leq\text{dist}(\partial Q_c,\overline G+K)\), where \(Q_c\) is the unique convex domain with \(H_{Q_c}(z)=k_c(\arg z)| z| \) and \(k_c(\theta):=\lim_{\alpha\to0+}\limsup_{\substack{ k\to+\infty \\ \theta-\alpha\leq\arg\lambda_k\leq\theta+\alpha}} (1/| \lambda_k| )\log| c_k| \), then \(h=\sum_{n=0}^\infty g_n(h)f^{(n)}\) for any \(h\in\mathcal A(\overline G+K)\).