arXiv subjects

Dennis Kriventsov

Publications and source records attributed to Dennis Kriventsov.

At least 19 recordsLinked to original sources

arXiv2025

An Elliptic-Parabolic Free Boundary Problem with Discontinuous Data

We consider an elliptic-parabolic free boundary problem that models the fluid flow through a partially saturated porous medium. The free boundary arises as the interface separating the saturated and unsaturated regions. Our main goal is to investigate, for the 1+1 dimensional model, how jump discontinuities on the boundary and initial data influence the regularity of both the solution and the free boundary. We show that if the data is merely bounded, then weak solutions are Lipschitz in space and $C^{1/2}$ in time in the unsaturated region. Moreover, the free boundary is locally the graph of a $C^{1/2}$ function, and this regularity is optimal. We view this analysis as a stepping stone towards the study of local regularization for higher-dimensional elliptic-parabolic free boundaries.

math.AP↗

arXiv2025

A min-max variational approach to the existence of gravity water waves

We establish the existence of gravity water waves by applying a mountain pass theorem to a singular perturbation of the Alt-Caffarelli functional associated with the two-dimensional water wave equations. Our approach is formulated entirely in physical coordinates and does not require the air phase to be connected, nor does it rely on symmetry or monotonicity in the $x$ or $y$ directions. The framework presented allows for both a variational approach to a variety of fluid equilibrium problems and for construction of min-max solutions to Bernoulli-type free boundary problems.

math.AP↗

arXiv2025

Quantitative Resolvent and Eigenfunction Stability for the Faber-Krahn Inequality

For a bounded open set $\Omega \subset \mathbb{R}^n$ with the same volume as the unit ball, the classical Faber-Krahn inequality says that the first Dirichlet eigenvalue $\lambda_1(\Omega)$ of the Laplacian is at least that of the unit ball $B$. We prove that the deficit $\lambda_1(\Omega)- \lambda_1(B)$ in the Faber-Krahn inequality controls the square of the distance between the resolvent operator $(-\Delta_\Omega)^{-1}$ for the Dirichlet Laplacian on $\Omega$ and the resolvent operator on the nearest unit ball $B(x_\Omega)$. The distance is measured by the operator norm from $L^{\infty}$ to $L^2$. As a main application, we show that the Faber-Krahn deficit $\lambda_1(\Omega)- \lambda_1(B)$ controls the squared $L^2$ norm between $k$th eigenfunctions on $\Omega$ and $B(x_\Omega)$ for every $k \in \mathbb{N}.$ In both of these main theorems, the quadratic power is optimal.

math.AP↗

arXiv2024

The free boundary for semilinear problems with highly oscillating singular terms

We investigate general semilinear (obstacle-like) problems of the form $\Delta u = f(u)$, where $f(u)$ has a singularity/jump at $\{u=0\}$ giving rise to a free boundary. Unlike many works on such equations where $f$ is approximately homogeneous near $u = 0$, we work under assumptions allowing for highly oscillatory behavior. We establish the $C^\infty$ regularity of the free boundary $\partial \{u>0\}$ at flat points. Our approach is to first establish that flat free boundaries are Lipschitz, using a comparison argument with the Kelvin transform. For higher regularity, we study the highly degenerate PDE satisfied by ratios of derivatives of $u$, using changes of variable and then the hodograph transform. Along the way, we prove and make use of new Caffarelli-Peral type $W^{1, p}$ estimates for such degenerate equations. Much of our approach appears new even in the case of Alt-Phillips and classical obstacle problems.

math.AP↗

arXiv2024

A parabolic free transmission problem: flat free boundaries are smooth

We study a two-phase parabolic free boundary problem motivated by the jump of conductivity in composite materials that undergo a phase transition. Each phase is governed by a heat equation with distinct thermal conductivity, and a transmission-type condition is imposed on the free interface. We establish strong regularity properties of the free boundary: first, we prove that flat free boundaries are $C^{1,\alpha}$ by means of a linearization technique and compactness arguments. Then we use the Hodograph transform to achieve higher regularity. To this end, we prove a new Harnack-type inequality and develop the Schauder theory for parabolic linear transmission problems.

math.AP↗

arXiv2023

Asymptotic expansions for harmonic functions at conical boundary points

We prove three theorems about the asymptotic behavior of solutions $u$ to the homogeneous Dirichlet problem for the Laplace equation at boundary points with tangent cones. First, under very mild hypotheses, we show that the doubling index of $u$ either has a unique finite limit, or goes to infinity; in other words, there is a well-defined order of vanishing. Second, under more quantitative hypotheses, we prove that if the order of vanishing of $u$ is finite at a boundary point $0$, then locally $u(x) = |x|^m \psi(x/|x|) + o(|x|^m)$, where $|x|^m \psi(x/|x|)$ is a homogeneous harmonic function on the tangent cone. Finally, we construct a convex domain in three dimensions where such an expansion fails at a boundary point, showing that some quantitative hypotheses are necessary in general. The assumptions in all of the results only involve regularity at a single point, and in particular are much weaker than what is necessary for unique continuation, monotonicity of Almgren's frequency, Carleman estimates, or other related techniques.

math.AP↗

arXiv2023

Rectifiability, finite Hausdorff measure, and compactness for non-minimizing Bernoulli free boundaries

While there are numerous results on minimizers or stable solutions of the Bernoulli problem proving regularity of the free boundary and analyzing singularities, much less in known about critical points of the corresponding energy. Saddle points of the energy (or of closely related energies) and solutions of the corresponding time-dependent problem occur naturally in applied problems such as water waves and combustion theory. For such critical points $u$ -- which can be obtained as limits of classical solutions or limits of a singular perturbation problem -- it has been open since [Weiss03] whether the singular set can be large and what equation the measure $\Delta u$ satisfies, except for the case of two dimensions. In the present result we use recent techniques such as a frequency formula for the Bernoulli problem as well as the celebrated Naber-Valtorta procedure to answer this more than 20 year old question in an affirmative way: For a closed class we call variational solutions of the Bernoulli problem, we show that the topological free boundary $\partial \{u > 0\}$ (including degenerate singular points $x$, at which $u(x + r \cdot)/r \rightarrow 0$ as $r\rightarrow 0$) is countably $\mathcal{H}^{n-1}$-rectifiable and has locally finite $\mathcal{H}^{n-1}$-measure, and we identify the measure $\Delta u$ completely. This gives a more precise characterization of the free boundary of $u$ in arbitrary dimension than was previously available even in dimension two. We also show that limits of (not necessarily minimizing) classical solutions as well as limits of critical points of a singularly perturbed energy are variational solutions, so that the result above applies directly to all of them.

math.AP↗

arXiv2022

Rectifiability and uniqueness of blow-ups for points with positive Alt-Caffarelli-Friedman limit

We study the regularity of the interface between the disjoint supports of a pair of nonnegative subharmonic functions. The portion of the interface where the Alt-Caffarelli-Friedman (ACF) monotonicity formula is asymptotically positive forms an $\mathcal{H}^{n-1}$-rectifiable set. Moreover, for $\mathcal{H}^{n-1}$-a.e. such point, the two functions have unique blowups, i.e. their Lipschitz rescalings converge in $W^{1,2}$ to a pair of nondegenerate truncated linear functions whose supports meet at the approximate tangent plane. The main tools used include the Naber-Valtorta framework and our recent result establishing a sharp quantitative remainder term in the ACF monotonicity formula. We also give applications of our results to free boundary problems.

math.AP↗

arXiv2022

Linear Stability Implies Nonlinear Stability for Faber-Krahn Type Inequalities

For a domain $Ω\subset \mathbb{R}^n$ and a small number $\frak{T} > 0$, let \[ \mathcal{E}_0(Ω) = λ_1(Ω) + {\frak{T}} {\text{tor}}(Ω) = \inf_{u, w \in H^1_0(Ω)\setminus \{0\}} \frac{\int |\nabla u|^2}{\int u^2} + {\frak{T}} \int \frac{1}{2} |\nabla w|^2 - w \] be a modification of the first Dirichlet eigenvalue of $Ω$. It is well-known that over all $Ω$ with a given volume, the only sets attaining the infimum of $\mathcal{E}_0$ are balls $B_R$; this is the Faber-Krahn inequality. The main result of this paper is that, if for all $Ω$ with the same volume and barycenter as $B_R$ and whose boundaries are parametrized as small $C^2$ normal graphs over $\partial B_R$ with bounded $C^2$ norm, \[ \int |u_Ω - u_{B_R}|^2 + |Ω\triangle B_R|^2 \leq C [\mathcal{E}_0(Ω) - \mathcal{E}_0(B_R)] \] (i.e. the Faber-Krahn inequality is linearly stable), then the same is true for any $Ω$ with the same volume and barycenter as $B_R$ without any smoothness assumptions (i.e. it is nonlinearly stable). Here $u_Ω$ stands for an $L^2$-normalized first Dirichlet eigenfunction of $Ω$. Related results are shown for Riemannian manifolds. The proof is based on a detailed analysis of some critical perturbations of Bernoulli-type free boundary problems. The topic of when linear stability is valid, as well as some applications, are considered in a companion paper.

math.AP↗

arXiv2021

On a Rayleigh-Faber-Krahn inequality for the regional fractional Laplacian

We study a Rayleigh-Faber-Krahn inequality for regional fractional Laplacian operators. In particular, we show that there exists a compactly supported nonnegative Sobolev function $u_0$ that attains the infimum (which will be a positive real number) of the set \[ \left\{ \int\int_{\{u > 0\}\times\{u>0\}} \frac{|u(x) - u(y)|^2}{|x - y|^{n + 2 σ}}d x d y : u \in \mathring H^σ(\mathbb{R}^n), \int_{\mathbb{R}^n} u^2 = 1, |\{u > 0 \}| \leq 1\right\}. \] Unlike the corresponding problem for the usual fractional Laplacian, where the domain of the integration is $\mathbb{R}^n \times \mathbb{R}^n$, symmetrization techniques may not apply here. Our approach is instead based on the direct method and new a priori diameter estimates. We also present several remaining open questions concerning the regularity and shape of the minimizers, and the form of the Euler-Lagrange equations.

math.AP↗

arXiv2021

Sharp quantitative Faber-Krahn inequalities and the Alt-Caffarelli-Friedman monotonicity formula

The objective of this paper is two-fold. First, we establish new sharp quantitative estimates for Faber-Krahn inequalities on simply connected space forms. We prove that the gap between the first eigenvalue of a given set $\Omega$ and that of the ball quantitatively controls both the $L^1$ distance of this set from a ball {\it and} the $L^2$ distance between the corresponding eigenfunctions: \[ \lambda_1(\Omega) - \lambda_1(B) \gtrsim |\Omega \Delta B|^2 + \int |u_{\Omega} - u_B|^2, \] where $B$ denotes the nearest geodesic ball to $\Omega$ with $|B|=|\Omega|$ and $u_\Omega$ denotes the first eigenfunction with suitable normalization. On Euclidean space, this extends a result of Brasco-De Phillipis-Velichkov; the eigenfunction control largely builds upon new regularity results for minimizers of critically perturbed Alt-Cafarelli type functionals in our companion paper. On the round sphere and hyperbolic space, the present results are the first sharp quantitative results with respect to any distance; here the local portion of the analysis is based on new implicit spectral analysis techniques. Second, we apply these sharp quantitative Faber-Krahn inequalities in order to establish a quantitative form of the Alt-Caffarelli-Friedman (ACF) monotonicity formula. We show that the energy drop in the ACF monotonicity formula from one scale to the next controls how close a pair of admissible functions is from a pair of complementary half-plane solutions. In particular, when the square root of the energy drop summed over all scales is small, our result implies the existence of tangents (unique blowups) of these functions.

math.AP↗

arXiv2020

The Inhomogeneous Boundary Harnack Principle for Fully Nonlinear and p-Laplace equations

We prove a boundary Harnack principle in Lipschitz domains with small constant for fully nonlinear and $p$-Laplace type equations with a right hand side, as well as for the Laplace equation on nontangentially accessible domains under extra conditions. The approach is completely new and gives a systematic approach for proving similar results for a variety of equations and geometries.

math.AP↗

arXiv2020

Optimal regularity for a two-phase obstacle-like problem with logarithmic singularity

We consider the semilinear problem \[ Δu = λ_+ \left(-\log u^+\right) 1_{\{u > 0\}} - λ_- \left(-\log u^- \right) 1_{\{u < 0\}} \qquad \hbox{ in } B_1, \] where $B_1$ is the unit ball in $\mathbb{R}^n$ and assume $λ_+, λ_- > 0$. Using a monotonicity formula argument, we prove an optimal regularity result for solutions: $\nabla u$ is a log-Lipschitz function. This problem introduces two main difficulties. The first is the lack of invariance in the scaling and blow-up of the problem. The other (more serious) issue is a term in the Weiss energy which is potentially non-integrable unless one already knows the optimal regularity of the solution: this puts us in a catch-22 situation.

math.AP↗

arXiv2018

A spiral interface with positive Alt-Caffarelli-Friedman limit at the origin

We give an example of a pair of nonnegative subharmonic functions with disjoint support for which the Alt-Caffarelli-Friedman monotonicity formula has strictly positive limit at the origin, and yet the interface between their supports lacks a (unique) tangent there. This clarifies a remark appearing in the literature (see \cite{cs05}) that the positivity of the limit of the ACF formula implies unique tangents; this is true under some additional assumptions, but false in general. In our example, blow-ups converge to the expected piecewise linear two-plane function along subsequences, but the limiting function depends on the subsequence due to the spiraling nature of the interface.

math.AP↗

arXiv2017

Regularity for Shape Optimizers: The Degenerate Case

We consider minimizers of \[ F(λ_1(Ω),\ldots,λ_N(Ω)) + |Ω|, \] where $F$ is a function nondecreasing in each parameter, and $λ_k(Ω)$ is the $k$-th Dirichlet eigenvalue of $Ω$. This includes, in particular, functions $F$ which depend on just some of the first $N$ eigenvalues, such as the often studied $F=λ_N$. The existence of a minimizer, which is also a bounded set of finite perimeter, was shown recently. Here we show that the reduced boundary of the minimizers $Ω$ is made up of smooth graphs, and examine the difficulties in classifying the singular points. Our approach is based on an approximation ("vanishing viscosity") argument, which--counterintuitively--allows us to recover an Euler-Lagrange equation for the minimizers which is not otherwise available.

math.AP↗

arXiv2017

A Free Boundary Problem Related to Thermal Insulation: Flat Implies Smooth

We study the regularity of the interface for a new free boundary problem introduced by Caffarelli and Kriventsov. We show that for minimizers of the functional \[ F_1(A,u) = \int_A |\nabla u|^2 d\mathcal{L}^n + \int_{\partial A} u^2 + \bar{C} \mathcal{L}^n(A) \] over all pairs $(A,u)$ of open sets $A$ containing a fixed set $Ω$ and functions $u\in H^1(A)$ which equal $1$ on $Ω$, the boundary $\partial A$ locally coincides with the union of the graphs of two $C^{1,α}$ functions near most points. Specifically, this happens at all points where the interface is trapped between two planes which are sufficiently close together. The proof combines ideas introduced by Ambrosio, Fusco, and Pallara for the Mumford-Shah functional with new arguments specific to the problem considered.

math.AP↗

arXiv2017

Regularity for Shape Optimizers: The Nondegenerate Case

We consider minimizers of \[ F(λ_1(Ω),\ldots,λ_N(Ω)) + |Ω|, \] where $F$ is a function strictly increasing in each parameter, and $λ_k(Ω)$ is the $k$-th Dirichlet eigenvalue of $Ω$. Our main result is that the reduced boundary of the minimizer is composed of $C^{1,α}$ graphs, and exhausts the topological boundary except for a set of Hausdorff dimension at most $n-3$. We also obtain a new regularity result for vector-valued Bernoulli type free boundary problems.

math.AP↗

arXiv2016

A Free Boundary Problem Related to Thermal Insulation

We study a free boundary problem arising from the theory of thermal insulation. The outstanding feature of this set optimization problem is that the boundary of the set being optimized is not a level surface of a harmonic function, but rather a hypersurface along which a harmonic function satisfies a Robin condition. We show that minimal sets exist, satisfy uniform density estimates, and, under some geometric conditions, have "locally flat" boundaries.

math.AP↗