Trolls will not necessarily go away if ignored. We had trolls on one forum and we tried to do just that and it failed, the didn't settle down even after a period of weeks. We ended up just banning them for our sanity.