具奇点的分别全纯函数的延拓定理

设 $D_j\subset\Bbb C^{k_j}$ 为伪凸域，且设 $A_j\subset D_j$ 为局部多次调和极集，$j=1,...,N$。令 $$X:=\bigcup_{j=1}^N A_1\times...\times A_{j-1}\times D_j\times A_{j+1}\times...\times A_N\subset\Bbb C^{k_1+...+k_N}.$$ 设 $U$ 是 X 的一个连通开邻域，且设 $M\varsubsetneq U$ 为解析子集。则存在 X 的全纯包 $\hat X$ 的一个解析子集 $\hat M$，满足 $\hat M\cap X\subset M$，使得对每一个在 $X\setminus M$ 上分别全纯的函数 $f$，存在在 $\hat X\setminus\hat M$ 上全纯的 $\hat f$，满足 $\hat f|_{X\setminus M}=f$。该结果推广了 \cite{\"Okt 1998}、\cite{\"Okt 1999}、\cite{Sic 2000} 与 \cite{Jar-Pfl 2001} 中所研究的特例。