Protonuetron stars with kaon condensate

A new formulation is presented to treat fluctuations around the kaon condensate. Equation of state (EOS) is given for isothermal and isentropic cases in the heavy-baryon-limit (HBL). The coexistent phase appears in the latter case. The mass-radius relation is given for protoneutron stars and the possibility of the delayed collapse is discussed.