Maximum principle for weak solutions - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T03:13:46Z http://mathoverflow.net/feeds/question/61044 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/61044/maximum-principle-for-weak-solutions Maximum principle for weak solutions Marc 2011-04-08T10:36:28Z 2011-04-08T11:49:57Z <p>Hello,</p> <p>maximum principles for parabolic PDEs seem to be well-known, if the solution is a priori C^2 (cf. Protter, Weinberger: Maximum principles in differential equations). However, what about weak solutions? To be specific, are there any maximum principles on the nonnegativity of solutions $u\in W^{1,p}(0,T;L^p(\Omega))\cap L^p(0,T;W^{2,p}(\Omega))$, $p\in(1,\infty)$, where $\Omega\subset R^n$ is a bounded domain? For given nonnegative initial data, does the solution remain positive, as long as it exists?</p> <p>I assume yes, since there are numerous authors that use the results from Weinberger/Protter just for weak solutions. I would appreciate any hints on this topic.</p> <p>Best regards, Marc</p> http://mathoverflow.net/questions/61044/maximum-principle-for-weak-solutions/61047#61047 Answer by András Bátkai for Maximum principle for weak solutions András Bátkai 2011-04-08T11:05:37Z 2011-04-08T11:05:37Z <p>Yes. If you use operaor semigroups to represent the solutions, you can infer the positivity of the mild solutions (which are the same as the weak solutions) immediately. </p> <p>There is an extensive treatment of positive semigroups in R. nagel (ed.): One-parameter semigroups of positive operators, Springer, 1986. </p> <p>You can find a nice introduction, with a short discussion of this topic in Engel-Nagel: A short course on operator semigroups, Springer, 2006. ChapterVI. </p> <p>Of course, there are less functional analytic arguments as well, but this is what I am familiar with</p> http://mathoverflow.net/questions/61044/maximum-principle-for-weak-solutions/61052#61052 Answer by Hans Engler for Maximum principle for weak solutions Hans Engler 2011-04-08T11:49:57Z 2011-04-08T11:49:57Z <p>You might want to distinguish between maximum principles (which assert typically things like "the max of the solution is attained on the boundary / parabolic boundary of the set") and positivity, which assert things like "if the data are non-negative on the (parabolic) boundary, then so is the solution in the entire domain". The latter often can be shown with functional analytic techniques (see previous post). </p> <p>As to maximum principles for generalized solutions, there is work by Jensen on viscosity solutions of fully nonlinear elliptic problems. And there is work in the 70s that extends maximum principles for elliptic equations to solutions in $W^{2,n}$ where $n$ is the spatial dimension (if I remember correctly). </p>