Search arXivSearch

arXiv · 1109.6765

On the gradient flow of a one-homogeneous functional

Abstract

We consider the gradient flow of a one-homogeneous functional, whose dual involves the derivative of a constrained scalar function. We show in this case that the gradient flow is related to a weak, generalized formulation of the Hele-Shaw flow. The equivalence follows from a variational representation, which is a variant of well-known variational representations for the Hele-Shaw problem. As a consequence we get existence and uniqueness of a weak solution to the Hele-Shaw flow. We also obtain an explicit representation for the Total Variation flow in one dimension and easily deduce basic qualitative properties, concerning in particular the "staircasing effect".

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ariela Briani, Antonin Chambolle, Matteo Novaga, Giandomenico Orlandi. 2011-10-11. On the gradient flow of a one-homogeneous functional. https://doi.org/10.1142/s1793744211000461

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Around the Quantum Lenard-Balescu equation

In the mean-field regime, a gas of quantum particles with Boltzmann statistics can be described by the Hartree-Fock equation. This dynamics becomes trivial if the initial distribution of particle is invariant by translation. However, the first correction is given on time of order $O(N)$ by the quantum Lenard--Balescu equation. In the first part of the present article, we justify this equation until time of order $O((\log N)^{1-δ})$ (for any $δ\in(0,1)$). A similar phenomenon exists in the classical setting (with a similar validity time obtained by Duerinckx \cite{Duerinckx}). In a second time, we prove the convergence for dimension $d\geq 2$ of the solutions of the quantum Lenard--Balescu equation to the solutions of its classical counterpart in the semi-classical limit. This problem can be interpreted as a grazing collision limit: the quantum Lenard--Balescu equation looks like a cut-off Boltzmann equation, when the classical one looks like the Landau equation.

math.AP

Linear Stability of the Lamb-Chaplygin Dipole

We describe the linearized dynamics near the Lamb-Chaplygin dipole, a classical traveling solution of the two-dimensional Euler equations. Exploiting the Hamiltonian structure of the system together with its symmetries, we identify all possible sources of linear instability. For general perturbations in $L^1\cap L^p$, $p>2$, growth can occur through two explicit mechanisms triggered by: {\rm (i)} a nonzero circulation on the core of the dipole, and {\rm (ii)} a nontrivial component along the generalized eigenvectors associated with the eigenvalue $0$. In particular, we completely classify the spectrum and the Jordan chains of the operator associated with the linear dynamics. Both mechanisms hint for a nonlinear dynamics that may drift along the symmetry-generated family of traveling dipoles without moving away from it.

math.AP

Liouville Rigidity and Universal Spacelikeness Estimates for a Lorentzian Prescribed Mean Curvature Equation

We prove a Liouville theorem for nonnegative entire strictly spacelike solutions of \[ \operatorname{div}\left(\frac{\nabla u}{\sqrt{1-|\nabla u|^2}}\right)+u^p=0 \qquad\text{in }\mathbb R^n. \] If $n=2$ and $p\geqslant1$, or if $n\geqslant3$ and $1\leqslant p\leqslant\frac{n+2}{n-2}$, every nonnegative $C^2$ solution satisfying $|\nabla u|<1$ vanishes identically. This resolves, in the classical strictly spacelike setting, the nonexistence conjecture of Byeon, Ikoma, Malchiodi, and Mari, including the critical endpoint. No symmetry, decay, integrability, or uniform spacelike gap is assumed. A key ingredient is a universal bound, valid for every $n\geqslant2$ and $p\geqslant1$, for both the height $u$ and the Lorentz factor $(1-|\nabla u|^2)^{-1/2}$. Then a weighted trace-free tensor identity from the invariant-tensor approach, combined with a common cutoff estimate, a core-counting argument and Souplet-type feedback inequality, yields a unified proof in the subcritical and critical ranges. The upper endpoint is sharp for $n\geqslant3$, as supercritical radial solutions exist. The theorem also gives half-space rigidity for complete spacelike hypersurfaces, including at the critical exponent.

math.AP