Nonexistence results for pseudo-parabolic equations in the Heisenberg group

We derive sufficient conditions for the nonexistence of global weak solutions to the nonlinear pseudo-parabolic equation ut-ΔHut-ΔHu=|u|p+f(t,ϑ),(t,ϑ)∈(0,∞)×H,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} u_t-\Delta _{\mathbb H}u_t-\Delta _{\mathbb H}u=|u|^p+f(t,\vartheta ), \quad (t,\vartheta )\in (0,\infty )\times \mathbb {H}, \end{aligned}$$\end{document}where ΔH\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Delta _\mathbb {H}$$\end{document} is the Kohn–Laplace operator on the (2N+1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(2N+1)$$\end{document}-dimensional Heisenberg group H\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {H}$$\end{document}, p>1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p>1$$\end{document} and f(t,ϑ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f(t,\vartheta )$$\end{document} is a given function. Next, we extend this result to the case of systems. Our technique of proof is based on the test function method.