1
$\begingroup$

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?

$\endgroup$

1 Answer 1

1
$\begingroup$

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 [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 for a related discussion.

$\endgroup$
1
  • $\begingroup$ Thanks Leo. You may be interested in an answer in my other thread where a different technique can be used for more general problems. $\endgroup$
    – mathias_l
    Jun 15, 2014 at 18:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.