We consider a diffuse interface approximation for the lipid phases of rotationally symmetric twophase bilayer membranes and rigorously derive its -limit. In particular,we prove that limit vesicles are C1 across interfaces, which justifies a regularity assumption that is widely made in formal asymptotic and numerical studies. Moreover, a limit membrane may consist of several topological spheres…