In 9, Koranyi proved that the formal Poisson kernel is the Poisson kernel on the symmetric Siegel domains using the Lie 并证明了形式泊松核是泊松核函数. 9年,Koranyi用李群理论证明了形式泊松核是对称Siegel域上的泊松核.