直积分

direct integral