1.3 Let \psi and u be smooth functions with appropriate domain and co-domain s.t \psi @u is well-defined. Then
prove that for any minN
i[\psi @u]_(m)≲[\psi ]_(1)||Du||_(m-1)+||D\psi ||_(m-1)||u||_(0)^(m-1)||u||_(m).
ii[\psi @u]_(m)≲[\psi ]_(1)||Du||_(m-1)+||D\psi ||_(m-1)[u]_(1)^(m).