Table of Contents
Fetching ...

Higher integrability for the singular porous medium system

Verena Bögelein, Frank Duzaar, Christoph Scheven

Abstract

In this paper we establish in the fast diffusion range the higher integrability of the spatial gradient of weak solutions to porous medium systems. The result comes along with an explicit reverse Hölder inequality for the gradient. The novel feature in the proof is a suitable intrinsic scaling for space-time cylinders combined with reverse Hölder inequalities and a Vitali covering argument within this geometry. The main result holds for the natural range of parameters suggested by other regularity results. Our result applies to general fast diffusion systems and includes both, nonnegative and signed solutions in the case of equations. The methods of proof are purely vectorial in their structure.

Higher integrability for the singular porous medium system

Abstract

In this paper we establish in the fast diffusion range the higher integrability of the spatial gradient of weak solutions to porous medium systems. The result comes along with an explicit reverse Hölder inequality for the gradient. The novel feature in the proof is a suitable intrinsic scaling for space-time cylinders combined with reverse Hölder inequalities and a Vitali covering argument within this geometry. The main result holds for the natural range of parameters suggested by other regularity results. Our result applies to general fast diffusion systems and includes both, nonnegative and signed solutions in the case of equations. The methods of proof are purely vectorial in their structure.

Paper Structure

This paper contains 16 sections, 12 theorems, 145 equations.

Key Result

Theorem \oldthetheorem

Assume that and $\sigma>2$. Then, there exists $\varepsilon_o=\varepsilon_o(n,m,\nu,L)\in (0,1]$ such that whenever $F\in L^\sigma(\Omega_T,\mathbb{R}^{Nn})$ and $u$ is a weak solution of Equation por-med-eq in the sense of Definition def:weak_solution under the assumptions growth, then with $\varepsilon_1:=\mi Moreover, for every $\varepsilon\in(0,\varepsilon_1]$ and every cylinder $Q_{2R}(z_o)\

Theorems & Definitions (19)

  • Definition \oldthetheorem
  • Theorem \oldthetheorem
  • Remark \oldthetheorem
  • Remark \oldthetheorem
  • Corollary \oldthetheorem
  • Lemma \oldthetheorem
  • Lemma \oldthetheorem
  • Lemma \oldthetheorem
  • Lemma \oldthetheorem
  • Lemma \oldthetheorem
  • ...and 9 more