arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2009.03086math.CV
收藏

任意维上的Hartogs伴与全纯扩张

Hartogs companions and holomorphic extensions in arbitrary dimension

Vlad Timofte

摘要:

我们证明了每个全纯映射$f\in\mathcal{H}(Ω\setminus K)$($K\subsetΩ\subset\mathbb{C}^n$,其中$K$紧,$Ω$开,$n\ge2$)在开子集$C_{K,Ω}\subsetΩ\setminus K$上有唯一的“\emph{Hartogs companion}“$\tilde f\in\mathcal{H}(Ω)$匹配$f$.进一步地,$\tilde f$是$f$的推广,\emph{if and only if} $\mathbb{C}^n\setminus K$是一个连通集,这个等价性证明了Hartogs Kugelmann的逆蕴涵.在任意维上向量值Hartogs伴随的存在性给出了任意复向量空间中开集上Gâteaux全纯映射$f\in\mathcal{H}_\mathrm{G}(Ω\setminus K,Y)$的Hartogs型扩张定理。等价性与$K\subsetΩ\subset\mathbb{C}^n$的等价性非常相似,并导致任意维数的相应Hartogs Kugelmann和五种类型的全纯性的扩张定理(Gâteaux,Mackey/Silva,hypoanalytic,Fréchet,local bounded)。我们还表明,一个向量值Hartogs同伴的范围$\tilde f(Ω)$不能离开一个域的全纯包含$f(Ω\setminus K)$。建立了有界开集上映射$f\in\mathcal{H}_\mathrm{G}(Ω,Y)\cap\mathcal{C}(\barΩ,Y)$的边界原理.对于$Y=\mathbb{C}$,原则规定$f\big(\barΩ\big)=f(\partialΩ)$(因此为$\sup_{x\inΩ}|f(x)|=\sup_{x\in\partialΩ}|f(x)|$)。几个结果需要一个新的恒等式定理,它产生了一个最大范数原理和一个“最大-最小”范数原理。

英文摘要:

We show that every holomorphic map $f\in\mathcal{H}(Ω\setminus K)$ ($K\subsetΩ\subset\mathbb{C}^n$, with $K$ compact, $Ω$ open, and $n\ge2$), has a unique "\emph{Hartogs companion}" $\tilde f\in\mathcal{H}(Ω)$ matching $f$ on an open subset $C_{K,Ω}\subsetΩ\setminus K$. Furthermore, $\tilde f$ extends $f$, \emph{if and only if} $\mathbb{C}^n\setminus K$ is a connected set; this equivalence proves the converse implication from the Hartogs Kugelsatz. The existence of vector-valued Hartogs companions in any dimension yields a Hartogs-type extension theorem for Gâteaux holomorphic maps $f\in\mathcal{H}_\mathrm{G}(Ω\setminus K,Y)$ on finitely open sets in arbitrary complex vector spaces. The equivalence is very similar to that for $K\subsetΩ\subset\mathbb{C}^n$ and leads to a corresponding Hartogs Kugelsatz in arbitrary dimension and to extension theorems for five types of holomorphy (Gâteaux, Mackey/Silva, hypoanalytic, Fréchet, locally bounded). We also show that the range $\tilde f(Ω)$ of a vector-valued Hartogs companion cannot leave a domain of holomorphy containing $f(Ω\setminus K)$. We establish a boundary principle for maps $f\in\mathcal{H}_\mathrm{G}(Ω,Y)\cap\mathcal{C}(\barΩ,Y)$ on finitely bounded open sets. For $Y=\mathbb{C}$, the principle states that $f\big(\barΩ\big)=f(\partialΩ)$ (hence $\sup_{x\inΩ}|f(x)|=\sup_{x\in\partialΩ}|f(x)|$). Several results require a new identity theorem, which yields a maximum norm principle and a "max-min" seminorm principle.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑