Zeju Sun, Songlin Zhou, and Stephen S.-T. Yau establish a weighted Sobolev framework for three nonlinear filtering equations, with AIM assisting proof exploration.