Consider the solution $b(u) \in L^2(0,T;H^1)\cap H^1(0,T;H^{-1})$ with $u \in L^2(0,T;H^1)$ to
$$\frac{\partial}{\partial t}b(u) - \Delta u = f$$
where $b$ is continuous, increasing and locally Lipschitz and $f \in L^2(0,T;L^2)$.


How to obtain a comparison principle for this equations of this form? So I want to show that if $f\_1 \geq f\_2$ and $b(u\_{01}) \geq b(u\_{02})$ that $b(u\_1) \geq b(u\_2)$ a.e.


**When the solution is smoother, the standard technique is**: actually the solution $b(u)$ is constructed from a series of approximate problems where we consider the equation with $b\_m$ replacing $b$ where $b\_m$ is a smooth approximation of $b$. These approximations have solutions $b(u^m) \in H^1(0,T;L^2) \cap L^2(0,T;H^1)$ and we multiply the equation (which now holds pointwise) by $s\_\epsilon(u^m\_1 - u^m\_2)$ where $s\_\epsilon$ is an approximation of the function $\text{sign}^+(x) = \chi\_{(0,\infty)}(x)$. Then we can pass to the limit in $\epsilon$ (only require convergence in $L^2(0,T;L^2)$) and in $m$.


But in my particular case I only have $\partial\_t b(u\_m) \in L^2(0,T;H^{-1})$ so the equation does not hold pointwise and so we need to take duality pairings instead of multiplying with the $s\_\epsilon(\cdot)$. And we cannot pass to the limit in $\epsilon$ because we would need a convergence of the form $s\_\epsilon(u^m\_1-u^m\_2) \to \text{sign}^+(u^m\_1-u^m\_2)$ in $L^2(0,T;H^1)$ which doesn't hold. So how do you get around this?



Getting a comparison principle for parabolic equation when solution is not that smooth
You can use Holmgren's dual method for this kind of problems. Changing variables as $\Phi=b^{-1}$, $v=b(u)$ you can rewrite the PDE as the Generalized Porous Media Equation
$$
\partial\_t v=\Delta \Phi(v) +f,\hspace{2cm}(\text{GPME})
$$
which has been studied intensively and for which I recommend [Vazquez's book](http://books.google.fr/books?id=R7MrAAAAYAAJ&q=the%20porous%20medium%20equation&dq=the%20porous%20medium%20equation&hl=fr&sa=X&ei=O6adU5vlDcPX7AbP2oDwBw&ved=0CDQQ6AEwAA) [The Porous Media Equation - mathematical theory, Oxford science publications '07]. Your regularity assumptions give here $v\in L^2H^{-1}\cap L^2H^1$ and $\Phi(v)\in L^2H^1$, which means that your solution is a weak energy solution and in particular a very weak solution (see Vazquez's book for definitions). By monotonicity of $\Phi=b^{-1}$ your statement is equivalent to showing a comparison principle $v\_1\geq v\_2$ for (GPME). This is well known to hold even for very weak solutions: you'll find the precise statement in [Vazquez, Theorem 6.5], which also includes the case of ordered Dirichlet boundary conditions. Vazquez's proof strongly relies on the aforementioned Holmgren's duality method.


See also [this post](https://mathoverflow.net/questions/163574/a-comparison-principle-for-parabolic-equation/163946#163946) for a related discussion.


