one-dimensional symmetry result, phase transitions, elliptic PDEs