Gain of regularity in extension problem on convex domains (Q490928)

Let \(D\subset\mathbb C^n\) be a bounded smooth convex domain of finite type and let \(A\subset\mathbb C^n\) be a complex linear hyperplane, \(\dim A=n-m\). Let \(H^p(D):=L^p(D)\cap\mathcal O(D)\), \(H^p(D\cap A):=L^p(D\cap A)\cap\mathcal O(D\cap A)\), \(H^p(D\cap A,\omega):=\{f\in\mathcal O(D\cap A): \int_{D\cap A}|f|^pd\omega<+\infty\}\), where \(\omega\) is a positive Borel measure on \(D\cap A\). The author studies the phenomena of gaining regularity during holomorphic extension from \(H^p(D\cap A,\omega)\) to \(H^p(D)\). He proves the following two results: Theorem: If \(p>1\) and \(1+1/(p-1)>\min\{n-m,n\}>1\), then there exists a positive Borel measure \(\omega\) on \(D\cap A\) such that \(H^p(D\cap A)\varsubsetneq H^p(D\cap A,\omega)\), and there exists an extension operator \(H^p(D\cap A,\omega)\longrightarrow H^p(D)\). Theorem:There exists a positive Borel measure \(\omega\) on \(D\cap A\) such that \(H^1(D\cap A)\varsubsetneq H^1(D\cap A,\omega)\), and there exists an extension operator \(H^1(D\cap A,\omega)\longrightarrow H^1(D)\).