Abstract
We study the incompressible limit of the porous medium equation with a right hand side representing either a source or a sink term, and an injection boundary condition. This model can be seen as a simplified description of non-monotone motions in tumor growth and crowd motion, generalizing the congestion-only motions studied in recent literature (Alexander et al. in Nonlinearity 27(4):823–858, 2014; Perthame et al. in Arch Ration Mech Anal 212(1):93–127, 2014; Kim and Požár in Trans Am Math Soc 370(2):873–909, 2018; Mellet et al. in J Funct Anal 273(10):3061–3093, 2017). We characterize the limit density, which solves a free boundary problem of Hele-Shaw type in terms of the limit pressure. The novel feature of our result lies in the characterization of the limit pressure, which solves an obstacle problem at each time in the evolution.
Similar content being viewed by others
References
Alexander, D., Kim, I., Yao, Y.: Quasi-static evolution and congested crowd transport. Nonlinearity 27(4), 823–858, 2014
Amann, H.: Compact embeddings of vector-valued Sobolev and Besov spaces. Glas. Mat. 35(55), 161–177, 2000 Dedicated to the memory of Branko Najman
Bénilan, P., Crandall, M.G.: The continuous dependence on \(\varphi \) of solutions of \(u_t- \Delta \varphi (u) =0\). Indiana Univ. Math. J. 30(2), 161–177, 1981
Bertsch, M., Gurtin, M.E., Hilhorst, D., Peletier, L.A.: On interacting populations that disperse to avoid crowding: the effect of a sedentary colony. J. Math. Biol. 19(1), 1–12, 1984
Bertsch, M., Hilhorst, D.: A density dependent diffusion equation in population dynamics: stabilization to equilibrium. SIAM J. Math. Anal. 17(4), 863–883, 1986
Blank, I., Korten, M., Moore, C.: The Hele-Shaw problem as a mesa limit of Stefan problems: existence, uniqueness, and regularity of the free boundary. Trans. Am. Math. Soc. 361(3), 1241–1268, 2009
Caffarelli, L.A.: The obstacle problem revisited. J. Fourier Anal. Appl. 4(4–5), 383–402, 1998
Caffarelli, L.A., Friedman, A.: Asymptotic behavior of solutions of \(u_t=\Delta u^m\) as \(m\rightarrow \infty \). Indiana Univ. Math. J. 36(4), 711–728, 1987
David, N., Perthame, B.: Free boundary limit of a tumor growth model with nutrient. J. Math. Pures Appl. 155, 62–82, 2021
Elliott, C.M., Herrero, M.A., King, J.R., Ockendon, J.R.: The mesa problem: diffusion patterns for \(u_t=\Delta u^m\) as \(m\rightarrow \infty \). IMA J. Appl. Math. 37(2), 147–154, 1986
Giusti, E.: Minimal Surfaces and Functions of Bounded Variation, Monographs in Mathematics, vol. 80. Birkhäuser Verlag, Basel (1984)
Gil, O., Quirós, F.: Boundary layer formation in the transition from the porous media equation to a Hele-Shaw flow. Annales de l’IHP Analyse non linéaire 20(1), 13–36, 2003
Kim, I.: Uniqueness and existence results on the Hele-Shaw and the Stefan problems. Arch. Ration. Mech. Anal. 168(4), 299–328, 2003
Kim, I., Mellet, A.: Liquid drops sliding down an inclined plane. Trans. Am. Math. Soc. 366(11), 6119–6150, 2014
Kim, I., Požár, N.: Porous medium equation to Hele-Shaw flow with general initial density. Trans. Am. Math. Soc. 370(2), 873–909, 2018
Kim, I., Požár, N., Woodhouse, B.: Singular limit of the porous medium equation with a drift. Adv. Math. 349, 682–732, 2019
Lions, J.-L.: Quelques méthodes de résolution des problèmes aux limites non linéaires. Dunod, Gauthier-Villars, Paris (1969)
Mellet, A., Perthame, B., Quiros, F.: A Hele-Shaw problem for tumor growth. J. Funct. Anal. 273(10), 3061–3093, 2017
Maury, B., Roudneff-Chupin, A., Santambrogio, F.: A macroscopic crowd motion model of gradient flow type. Math. Models Methods Appl. Sci. 20(10), 1787–1821, 2010
Murray, J.D.: Mathematical Biology: I. An Introduction, vol. 17. Springer (2007)
Perthame, B., Quirós, F., Vázquez, J.L.: The Hele-Shaw asymptotics for mechanical models of tumor growth. Arch. Ration. Mech. Anal. 212(1), 93–127, 2014
Quirós, F., Vazquez, J.L.: Asymptotic behaviour of the porous media equation in an exterior domain. Annali della Scuola Normale Superiore di Pisa-Classe di Scienze 28(2), 183–227, 1999
Santambrogio, F.: Crowd motion and evolution PDEs under density constraints. ESAIM: Proc. Surv. 64, 137–157, 2018
Vázquez, J.L.: The Porous Medium Equation—Mathematical Theory. Oxford Mathematical Monographs. Oxford University Press, Oxford (2007)
Witelski, T.P.: Segregation and mixing in degenerate diffusion in population dynamics. J. Math. Biol. 35(6), 695–712, 1997
Acknowledgements
The authors would like to acknowledge the generous support of the National Science Foundation. Inwon Kim was partially supported by National Science Foundation grant DMS-1900804 and Antoine Mellet was partially supported by National Science Foundation grant DMS-2009236.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by D. Kinderlehrer.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. Tumor Growth Model with Nutrient
In [21] (see also [9]), the following model for tumor growth is studied:
where
In this system, the evolution of the cell population density \(\rho _m\geqq 0\) is coupled to the concentration of nutrients \(c_m\geqq 0\) by the cell division rate G(p, c). Importantly, this function satisfies
(see [21] for a complete list of the assumptions necessary to get a good existence and uniqueness framework as well as the appropriate estimates to pass to the limit).
It is proved in [21] that \(\rho _m(x,t)\), \(p_m(x,t)\) and \(c_m(x,t)\) converge strongly in \(L^1(Q_T)\) (for all \(T>0\)) to \(\rho _\infty ,p_\infty , c_\infty \) in \(BV(Q_T)\)which solves the system
with the Hele-Shaw relation \(p_\infty \in P_\infty (\rho _\infty )\).
Remarkably, the solution of this system is unique, and one would like to interpret the system as a weak form of some geometric Hele-Shaw type free boundary problem. For this one needs to identify the pressure \(p_\infty \) as solution of an elliptic equation in \(\{\rho _\infty =1\}\).
In [9], it is proved that \(p_\infty \) solves the complementarity condition
This condition says that \(p_\infty \) solves an elliptic equation in \(\{p_\infty \}\) and is proved by deriving additional estimates on \(p_m\).
We will show below that the approach used in this paper can be used to characterize \(p_\infty (\cdot ,t)\) as the unique solution of an obstacle problem. First, we summarize the estimates proved in [21]:
Lemma A.1
Under the assumptions listed in [21], the following holds for all \(T>0\):
-
\(\rho _m(t)\) is uniformly compactly supported for \(t\in [0,T]\);
-
\(|\nabla p_m|\) is bounded in \(L^2(Q_T)\)
-
\(0\leqq p_m\leqq p_M\), \(0\leqq \rho _m\leqq \left( \frac{m-1}{m} p_M\right) ^\frac{1}{m-1}\), \(0<c_m<c_B\)
-
\(\rho _m\), \(p_m\) and \(c_B-c_m\) are bounded in \(BV(Q_T)\)
-
\(\rho _m\), \(p_m\) and \(c_B-c_m\) converge strongly in \(L^1\) and almost everywhere to \(\rho _\infty \), \(p_\infty \) and \(c_B-c_\infty \).
Furthermore, proceeding as in Lemma 3.7, it is not difficult to show that \(\{\rho _m\}_{m\in {\mathbb {N}}}\) is relatively compact in \(C^s(0,T;H^{-1}({\mathbb {R}}^n))\) for all \(s\in (0,1/2)\) and thus that \(\rho _\infty \in C(0,T;H^{-1}({\mathbb {R}}^n))\).
Finally, since \(p_\infty \) and \(c_B-c_\infty \) are in \(BV(Q_T)\), we can define the trace \(p^+(\cdot ,t)\) and \(c^+(\cdot ,t)\) for all \(t>0\) as in (2.10). We can then prove the following result:
Proposition A.2
For all \(t>0\), let \(E_t\) denote the space
Then for all \(t>0\), the function \(x\mapsto p^+(x,t)\) is the unique solution of the minimization problem:
where \({\mathcal {G}}\) is the (concave) function such that \(\partial _p {\mathcal {G}}(p,c) =G(p,c)\) and \({\mathcal {G}}(0,c)=0\). Furthermore \(p_\infty \) satisfies the complementarity condition
As mentioned in the introduction (see Proposition 2.8), if the complementarity condition (A.4) is known to hold, then one can derive the variational formulation (A.3) from the weak equation (A.2). In particular, this complementarity condition was derived for this particular model in [9] by using a generalized Aronson-Bénilan estimate and the \(L^2(W^{1,4})\) estimate on the pressure (but our proof here does not require either of these estimates).
Proof
First we recall the equation for the pressure \(p_m\):
We then proceed as in the proof of Theorem 2.7: Given \(t_0>0\) and a function v(x) in \(E_{t_0}\), we use the equation for the pressure (A.5) and density (A.2) to write that
in \({\mathcal {D}}'({\mathbb {R}}_+)\). Using the concavity of \({\mathcal {G}}\) to write
we deduce that
We can now proceed as in the proof of Theorem 2.7: Integrating this equality with respect to \(t\in [t_0,t_0+\delta )\) and using the weak \(L^2\) convergence of \(\nabla p_m\) and \(\rho _m \nabla p_m\) to \(\nabla p\), we get
(where we used the fact that \(v(x) \rho _\infty (x,t_0) = v(x)\) and \(v(x) \rho _\infty (x,t) \leqq v(x)\) for all t)
Finally, dividing by \(\delta \) and using Young’s inequality, we rewrite the inequality as
The continuity of \(t\mapsto \langle v, 1- \rho _\infty \rangle _{H^1,H^{-1}}\) and the fact that \(v\in E_t\) implies that the last term converges to zero as \(\delta \rightarrow 0\). We can now conclude as in the proof of Theorem 2.7.
Finally, given a test function \(\varphi \in {\mathcal {D}} ({\mathbb {R}}^n\times (0,\infty ))\), we take \(v = p_\infty + \varepsilon (p_\infty \varphi ) =p_\infty (1+\varepsilon \varphi )\) in (A.3), with \(|\varepsilon |\) small enough so that \(1+\varepsilon \varphi \geqq 0\). Passing to the limit \(\varepsilon \rightarrow 0^-\) and \(\varepsilon \rightarrow 0^+\) yields
and (A.4) follows. \(\square \)
Appendix B. The Complementarity Condition
Proof of Proposition 2.8
We note that \( \partial _t \rho = \Delta p + \lambda \rho \in L^2(0,T;H^{-1} (\Omega ))\). Given \(u\in E_t\), we have \(p-u \in L^2(0,T;H^1_0(\Omega ))\) and so we can write (in \({\mathcal {D}}'({\mathbb {R}}_+)\))
Next, proceeding as in the beginning of the proof of Lemma 8.1 (using the comparison principle for the limiting problem, Proposition 5.1), we can show that \(\rho =1\) in \(U\times {\mathbb {R}}_+\) for some neighborhood U of K and that \(\mathrm{supp}\,p\) is bounded in \(\Omega \times [0,T]\). In particular, \(\partial _t \rho \) vanishes in \(U\times {\mathbb {R}}_+\). Taking a smooth function \(\phi (x)\) which is equal to 1 in \(\mathrm{supp}\,p\setminus (U\times [0,T])\) and vanishes on \(\partial K\), we can write
where we used the fact that \( \langle p( \Delta p + \lambda \rho ) , \phi \rangle _{{\mathcal {D}}',{\mathcal {D}}}=0\) (this is the complementarity condition). Using (B.1), we deduce
Using the fact that \(\rho (x,t)p(x,t) = p(x,t)\), we deduce that
Integrating with respect to \(t\in [t_0,t_o+\delta ]\), we get
and the result now follows by proceeding as in the proof of Theorem 2.7. \(\square \)
Rights and permissions
About this article
Cite this article
Guillen, N., Kim, I. & Mellet, A. A Hele-Shaw Limit Without Monotonicity. Arch Rational Mech Anal 243, 829–868 (2022). https://doi.org/10.1007/s00205-021-01750-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00205-021-01750-4