从第一原理出发，构建了低温下与玻色子气体相互作用的有效大规模模型。 起点是在有限温度下随时间变化的格林函数的生成函数。 通过使用S矩阵函数生成函数，对有限时间间隔和大正则密度算符的一般情况进行了摄动展开。 指出了摄动扩展的明显红外散度。 提出了通过传播器衰减进行正则化的方法，并研究了其与物理耗散的关系。 分析了格林函数的功能积分表示问题。 所提出的大型模型以领先顺序明确地重新规格化。