本文旨在探讨孤子的量子化问题。经典理论中的孤子是一类非线性经典场方程的时间无关解,而在量子理论中,孤子将会被某种算符所表示,该算符作用于某个态可以得到孤子态。我们想要找到这类量子化的孤子,它们是一种能够产生孤子态的算符。由于低维的孤子可以比较容易地推广到高维的情形,因此我们主要关注低维的情形,这有助于我们进行显式的计算。本文的主要内容是以φ4双势阱理论为例,该理论在经典情形下的孤子解被称为“kink”,在量子的情形,我们先微扰地计算了该理论的真空态,然后构造了一个kink算符:它作用于φ4真空产生kink态,并推导出了 kink的量子质量。在这个过程中,我们发现构成kink算符的一个重要部分是压缩算符。最后,我们希望通过计算一般化的压缩算符,将该量子化方案推广到其它标量场理论。