Nonlinear diffusion with a bounded stationary level surface

Abstract

We consider nonlinear diffusion of some substance in a container (not necessarily bounded) with bounded boundary of class C^2. Suppose that, initially, the container is empty and, at all times, the substance at its boundary is kept at density 1. We show that, if the container contains a proper C^2-subdomain on whose boundary the substance has constant density at each given time, then the boundary of the container must be a sphere. We also consider nonlinear diffusion in the whole R^N of some substance whose density is initially a characteristic function of the complement of a domain with bounded C^2 boundary, and obtain similar results. These results are also extended to the heat flow in the sphere S^N and the hyperbolic space H^N.Comment: 26 page

The Matzoh Ball Soup Problem: A complete characterization

“…In a subsequent series of papers, the same authors extended their result in several directions: spherical symmetry also holds for certain evolution nonlinear equations [11,13,15,16]; a hyperplane can be characterized as an invariant equipotential surface in the case of an unbounded solid that satisfies suitable sufficient conditions [12,14]; for a certain Cauchy problem, a helicoid is a possible invariant equipotential surface [9]; spheres, infinite cylinders and planes are characterized as (single) invariant equipotential surfaces in R 3 [8]; similar symmetry results can also be proven in the sphere and the hyperbolic space [13].…”

Asymptotics for the resolvent equation associated to the game-theoreticp-laplacian

“…For p = 2, this approach is no longer possible. However, an approach based on the method of moving planes, as considered in [MS4] and [CiMS], may still be possible.…”

Solutions of elliptic equations with a level surface parallel to the boundary: Stability of the radial configuration

“…To assist the reader to understand the proof of Theorem 1.1, here we summarize the arguments developed in [MS2], [MS3] and [CMS] to prove the symmetry of a domain Ω admitting a solution u of (1.1) and (1.2). This will be the occasion to set up some necessary notations.…”

“…It has been noticed in [MS2]- [MS3], [Sh] and [CMS] that positive solutions of homogeneous Dirichlet boundary value problems or initial-boundary value problems for certain elliptic or, respectively, parabolic equations must be radially symmetric (and the underlying domain Ω be a ball) if just one of their level surfaces is parallel to ∂Ω (that is, if the distance of its points from ∂Ω remains constant).…”

“…The property was first identified in [MS2], motivated by the study of invariant isothermic surfaces of a nonlinear non-degenerate fast diffusion equation (designed upon the heat equation), and was used to extend to nonlinear equations the symmetry results obtained in [MS1] for the heat equation. The proof hinges on the method of moving planes developed by J. Serrin in [Se] upon A.D. Aleksandrov's reflection principle ( [Al]).…”