Proof of a conjecture of Zahariuta concerning a problem of Kolmogorov on the \(\epsilon\)-entropy (Q706133)

If \(D\) is an open set in \(\mathbb{C}^n\) and \(E\) is a subset of \(D\), the relative extremal function for \(E\) in \(D\) is defined as \[ u_{E,D}(z)=\sup\{v(z): {\text{\(v\) is psh on \(D\)}},> v|_E\leq-1, v\leq 0\}, z\in D\,. \] We write psh for plurisubharmonic. The upper semicontinuous regularization \(u^*_{E,D}\) is plurisubharmonic on \(D\). Zahariuta formulated in the 80's what is usually called Zahariuta's conjecture: for a given holomorphically convex compact subset \(K\) in a pseudoconvex domain \(D\) in \textbf{C}\(^n\), the relative extremal function \(u^*_{K,D}\) can be approximated, uniformly on any compact subset of \(D\setminus K\), by pluricomplex Green functions on \(D\) with logarithmic poles in the compact subset \(K\). This was proved by Skiba and Zahariuta in the one dimensional case. The aim of this paper is to prove it in any dimension and in the most general context possible. Zahariuta's conjecture is in direct connection with Kolmogorov's problem. Let \(u_{K,D}\) be the relative extremal function for \(K\) in \(D\). Let \(\Gamma\) be a system of smooth contours separating \(K\) from \(\partial D\), and let \(n\) be the normal to \(\Gamma\) directed from \(K\) to \(\partial D\). The capacity associated to the compact \(K\) relative to the domain \(D\) is defined by \(C(K,D)=\int_\Gamma\partial_nu(z)\,|dz|\). Kolmogorov's problem can be written as follows: \[ \lim_{\varepsilon\to 0}\frac{H_\varepsilon\left(\mathcal{A}_K^D \right)} {\log_2^{n+1}(1/\varepsilon)}=C(K,D)/(2\pi)^n\, ?\,, \] where \(H_\varepsilon\) is \(\varepsilon\)-entropy. Skiba and Zahariuta have proved for \(n=1\) in the 76's and Zahariuta has proved for \(n\geq2\) in 85's that to solve Kolmogorov's problem, it is sufficient to prove that Zahariuta's conjecture is true.