arXiv subjects

Inwon Kim

Publications and source records attributed to Inwon Kim.

At least 19 recordsLinked to original sources

arXiv2026

Space-time geometry of Hele-Shaw flow

We study the dynamic behavior of the free boundary of the Hele-Shaw flow with a nonnegative source, in which the pressure satisfies $-\Delta p=c$ in $\{p>0\}$ and the free boundary moves with normal velocity $V=|\nabla p|$. For initial domains satisfying an interior ball condition, we prove that the patch $\{p>0\}$ expands at a locally positive rate, so that its hitting time is locally Lipschitz; this is optimal, since distinct portions of the patch may collide. We also show that the free boundary is locally either regular, or of collision type, or undergoing parabolic-scale hole closings of various dimensions: such a space-time characterization of singularities is new in Hele-Shaw flow. We further show that, near any time at which no collision occurs, the space-time free boundary is a $C^1$ hypersurface. This implies that at such times every free boundary point has a space-time normal: the space-time unit normal is parallel to the time direction precisely where the spatial free boundary has singular geometry. The results apply in particular to the tumor growth model with nutrients introduced by Perthame, Quir\'os, and V\'azquez, but the analysis of singularities is new even for the classical injection problem.

math.AP↗

arXiv2025

Regularity of the free boundary for the supercooled Stefan problem in arbitrary dimensions

We study the free boundary in the supercooled Stefan problem, a classical model for the solidification of water below its freezing temperature. In contrast with the melting problem, physical experiments and heuristics indicate that the water--ice interface in the supercooled problem may exhibit fractal freezing sets, infinite-speed propagation of the frozen front, and nucleation (the spontaneous appearance of ice). Despite this, we show that the free boundary has a robust structure. We decompose the free boundary into three parts: (1) a regular part that advances with finite speed in time; (2) a singular part consisting of points where the front attains infinite speed or nucleates, but with controlled space-time (i.e., $\leq d-1$ parabolic) dimension; and (3) a jump component, which can have large dimension in a time slice, but which is contained in a space-time smooth graph and occurs only at a zero-dimensional set of times. Examples show that each of these parts can be nonempty. Furthermore, we prove that the free boundary is the graph $t=s(x)$ of a continuously differentiable freezing time $s$, and the singular set coincides with the critical set of $s$, proving that singularities in supercooled freezing always occur with infinite speed. These results provide the first free boundary regularity theory for the supercooled Stefan problem in arbitrary dimensions.

math.AP↗

arXiv2025

The supercooled Stefan problem: fractal freezing and the fine structure of maximal solutions

We study the supercooled Stefan problem in arbitrary dimensions. First, we study general solutions and their irregularities, showing generic fractal freezing and nucleation, based on a novel Markovian gluing principle. In contrast, we then establish regularity properties of maximal solutions, which are obtained by maximizing a suitable notion of "average" freezing time. Unexpectedly, we show that maximal solutions have a transition zone that is open modulo a low-dimensional set: this allows us to apply obstacle problem theory for a finer regularity analysis. We further show that maximal solutions are in general non-universal, and we obtain sharp stability results under perturbation of each maximal solution. Lastly, we study maximal solutions in both the radial and the one-dimensional setting. We show that in these cases the maximal solution is universal and minimizes nucleation, in agreement with phenomena observed in the physics literature.

math.AP↗

arXiv2025

On the singular limit of Brinkman's law to Darcy's law

In this paper we study singular limits of congestion-averse growth models, connecting different models describing the effect of congestion. These models arise in particular in the context of tissue growth. The main ingredient of our analysis is a family of energy evolution equations and their dissipation structures, which are novel and of independent interest. This strategy allows us to consider a larger family of pressure laws as well as proving the joint limit, from a compressible Brinkman's model to the incompressible Darcy's law, where the latter is a Hele-Shaw type free boundary problem.

math.AP↗

arXiv2024

Mean Field Limit for Congestion Dynamics in One Dimension

This paper addresses congested transport, which can be described, at macroscopic scales, by a continuity equation with a pressure variable generated from the hard-congestion constraint (maximum value of the density). The main goal of the paper is to show that, in one spatial dimension, this continuum PDE can be derived as the mean-field limit of a system of ordinary differential equations that describes the motion of a large number of particles constrained to stay at some finite distance from each others. To show that these two models describe the same dynamics at different scale, we will rely on both the Eulerian and Lagrangian points of view and use two different approximations for the density and pressure variables in the continuum limit.

math.AP↗

arXiv2024

Aggregation-diffusion phenomena: from microscopic models to free boundary problems

This paper reviews (and expands) some recent results on the modeling of aggregation-diffusion phenomena at various scales, focusing on the emergence of collective dynamics as a result of the competition between attractive and repulsive phenomena - especially (but not exclusively) in the context of attractive chemotaxis phenomena. At microscopic scales, particles (or other agents) are represented by spheres of radius $\delta>0$ and we discuss both soft-sphere models (with a pressure term penalizing the overlap of the particles) and hard-sphere models (in which overlap is prohibited). The first case leads to so-called ``blob models" which have received some attention recently as a tool to approximate non-linear diffusion by particle systems. The hard-sphere model is similar to a classical model for congested crowd motion. We review well-posedness results for these models and discuss their relationship to classical continuum description of aggregation-diffusion phenomena in the limit $\delta\to0$: the classical nonlinear drift diffusion equation and its incompressible counterpart. In the second part of the paper, we discuss recent results on the emergence and evolution of sharp interfaces when a large population of particles is considered at appropriate space and time scales: At some intermediate time scale, phase separation occurs and a sharp interface appears which evolves according to a Stefan free boundary problem (and the density function eventually relaxes to a characteristic function - metastable steady state for the original problem). At a larger time scale the attractive forces lead to surface tension phenomena and the evolution of the sharp interface can be described by a Hele-Shaw free boundary problem with surface tension. At that same time scale, we will also discuss the emergence of contact angle conditions for problems set in bounded domains.

math.AP↗

arXiv2023

The Nonlocal Stefan Problem via a Martingale Transport

We study the nonlocal Stefan problem, where the phase transition is described by a nonlocal diffusion as well as the change of enthalpy functions. By using a stochastic optimization approach introduced for the local case, we construct global-time weak solutions and give a probabilistic interpretation for the solutions. An important ingredient in our analysis is a probabilistic interpretation of the enthalpy and temperature variables in terms of a particle system. Our approach in particular establishes the connection between the parabolic obstacle problem and the Stefan Problem for the nonlocal diffusions. For the melting problem, we show that our solution coincides with those studied in the literature, and obtain a new exponential convergence result.

math.AP↗

arXiv2023

Free boundary regularity for tumor growth with nutrients and diffusion

In this paper, we study a tumor growth model where the growth is driven by nutrient availability and the tumor expands according to Darcy's law with a mechanical pressure resulting from the incompressibility of the cells. Our focus is on the free boundary regularity of the tumor patch that holds beyond topological changes. A crucial element in our analysis is establishing the regularity of the hitting time T, which records the first time the tumor patch reaches a given point. We achieve this by introducing a novel Hamilton-Jacobi-Bellman (HJB) interpretation of the pressure, which is of independent interest. The HJB structure is obtained by viewing the model as a limit of the Porous Media Equation (PME) and building upon a new variant of the AB estimate. Using the HJB structure, we establish a new Hopf-Lax type formula for the pressure variable. Combined with barrier arguments, the formula allows us to show that T is C^{\alpha}, where \alpha depends only on the dimension, which translates into a mild nondegeneracy of the tumor patch evolution. Building on this and obstacle problem theory, we show that the tumor patch boundary is regular in spacetime except on a set of Hausdorff dimension at most $d-\alpha$. On the set of regular points, we further show that the tumor patch is locally $C^{1,\alpha}$ in space-time. This conclusively establishes that instabilities in the boundary evolution do not amplify arbitrarily high frequencies.

math.AP↗

arXiv2022

Tumor growth with nutrients: stability of the tumor patches

In this paper, we study a tumor growth model with nutrients. The contact inhibition for the tumor cells, presented in the model, results in the evolution of a congested tumor patch. We study the regularity of the tumor patch as the nutrients' diffusion strength $D$ diminishes. In particular, we show that for small $D>0$ the boundary of the tumor patch stays in a small neighborhood of the smooth tumor patch boundary obtained with $D=0$, uniformly with respect to the Hausdorff distance.

math.AP↗

arXiv2022

Regularity of Hele-Shaw Flow with source and drift

In this paper we study the regularity property of Hele-Shaw flow, where source and drift are present in the evolution. More specifically we consider H\"{o}lder continuous source and Lipschitz continuous drift. We show that if the free boundary of the solution is locally close to a Lipschitz graph, then it is indeed Lipschitz, given that the Lipschitz constant is small. When there is no drift, our result establishes $C^{1,\gamma}$ regularity of the free boundary by combining our result with the obstacle problem theory. In general, when the source and drift are both smooth, we prove that the solution is non-degenerate, indicating higher regularity of the free boudary.

math.AP↗

arXiv2022

Incompressible limit of porous medium equation with bistable and monostable reaction terms

We study the incompressible limit of the porous medium equation with a reaction term that is non-monotone with respect to the pressure variable. More specifically we consider reaction terms that are either bistable or monostable. We show that this type of reaction term generates many interesting differences in the qualitative behavior of solutions, in contrast to the problem with monotone reaction terms that have been extensively studied in recent literature. After characterizing the limit problem, we embark on a comprehensive study of the problem in one space dimension, to illustrate the delicate nature of the problem, including the generic nature of non-uniqueness and instability. For compactly supported initial data, we show that the density can either perish or thrive, even if it starts from the same initial data, depending on its initial pressure configuration. When the initial pressure is a characteristic function, we establish the existence of the sharp threshold separating the two behaviors. Lastly we present a detailed analysis of the behavior of traveling waves in this incompressible limit. We study the existence of traveling waves for the limiting model and prove convergence results in the incompressible limit (depending on the reaction term).

math.AP↗

arXiv2022

Density-constrained Chemotaxis and Hele-Shaw flow

We consider a model of congestion dynamics with chemotaxis, where the density of cells follows the chemical signal it generates, while observing an incompressibility constraint. We show that when the chemical diffuses slowly and attracts the cells strongly, then the dynamics of the congested cells is well approximated by a surface-tension driven free boundary problem. More precisely, we show that in this limit the density of cell converges to the characteristic function of a set whose evolution is described by a Hele-Shaw free boundary problem with surface tension. Our problem is set in a bounded domain, which leads to an interesting analysis on the limiting boundary conditions for the density function. Namely, we prove that the assumption of Robin boundary conditions for the chemical potential leads to a contact angle condition for the free interface.

math.AP↗

arXiv2022

A density-constrained model for Chemotaxis

We consider a model of congestion dynamics with chemotaxis: The density of cells follows a chemical signal it generates, while subject to an incompressibility constraint. The incompressibility constraint results in the formation of patches, describing regions where the maximal density has been reached. The dynamics of these patches can be described by either Hele-Shaw or Richards equation type flow (depending on whether we consider the model with diffusion or the model with pure advection). Our focus in this paper is on the construction of weak solutions for this problem via a variational discrete time scheme of JKO type. We also establish the uniqueness of these solutions. In addition, we make more rigorous the connection between this incompressible chemotaxis model and the free boundary problems describing the motion of the patches in terms of the density and associated pressure variable. In particular, we obtain new results characterizing the pressure variable as the solution of an obstacle problem and prove that in the pure advection case the dynamic preserves patches.

math.AP↗

arXiv2022

Tumor Growth with Nutrients: Regularity and Stability

In this paper we study a tumor growth model with nutrients. The model presents dynamic patch solutions due to the contact inhibition among the tumor cells. We show that when the nutrients do not diffuse and the cells do not die, the tumor density exhibits regularizing dynamics. In particular, we provide contraction estimates, exponential rate of asymptotic convergence, and boundary regularity of the tumor patch. These results are in sharp contrast to the models either with nutrient diffusion or with death rate in tumor cells.

math.AP↗

arXiv2020

On volume-preserving crystalline mean curvature flow

In this work we consider the global existence of volume-preserving crystalline curvature flow in a non-convex setting. We show that a natural geometric property, associated with reflection symmetries of the Wulff shape, is preserved with the flow. Using this geometric property, we address global existence and regularity of the flow for smooth anisotropies. For the non-smooth case we establish global existence results for the types of anisotropies known to be globally well-posed.

math.AP↗

arXiv2020

A Hele-Shaw limit without monotonicity

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 (\cite{AKY}, \cite{PQV}, \cite{KP}, \cite{MPQ}). 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

math.AP↗

arXiv2020

Well-posedness and Regularity for a Polyconvex Energy

We prove the existence, uniqueness, and regularity of minimizers of a polyconvex functional in two and three dimensions, which corresponds to the $H^1$ projection of measure-preserving maps. Our result introduces a new criteria on the uniqueness of the minimizer, based on the smallness of the lagrange multiplier. No estimate on the second derivatives of the pressure is needed to get a unique global minimizer. As an application, we construct a minimizing movement scheme to construct $L^r$ solutions of the Navier-Stokes equation for a short time interval.

math.AP↗

arXiv2020

The $L^1$-contraction principle in optimal transport

In this work, we use the JKO scheme to approximate a general class of diffusion problems generated by Darcy's law. Although the scheme is now classical, if the energy density is spatially inhomogeneous or irregular, many standard methods fail to apply to establish convergence in the continuum limit. To overcome these difficulties, we analyze the scheme through its dual problem and establish a novel $L^1$-contraction principle for the density variable. Notably, the contraction principle relies only on the existence of an optimal transport map and the convexity structure of the energy. As a result, the principle holds in a very general setting, and opens the door to using optimal-transport-based variational schemes to study a larger class of non-linear inhomogeneous parabolic equations.

math.AP↗