BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Andreas Minne contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We study the semilinear Poisson equation \begin{equation} \label{pro} Δu = f(x, u) \hskip .2 in \text{in} \hskip .2 in B_1. \end{equation} Our main results provide conditions on $f$ which ensure that weak solutions of this equation belong to $C^{1,1}(B_{1/2})$. In some configurations, the conditions are sharp.
In general, solutions $u$ to \[ Δu(\mathbf{x})=f(\mathbf{x})χ_{\{u>ψ\}} \] are not $C^{1,1}$, even for $f$ smooth and $ψ(\mathbf{x})\equiv0$. Points around which $u$ is not $C^{1,1}$ are called singular points, and the set of all such points, the singular set. In this article we analyze blow-ups, the free boundary $\partial\{u>ψ\}$, and the singular set close to singular points $\mathbf{x}^{0}=(x^{0},y^{0},z^{0})$ in $\mathbb{R}^{3}$. We show that blow-ups of the form \[ \lim_{j\to\infty}\frac{u(r_{j}\cdot+\mathbf{x}^{0})}{\|u\|_{L^{\infty}(B_{r_{j}}(\mathbf{x}^{0}))}}, \] $r_{j}\to0^{+}$ are unique, the free boundary $\partial\{u>ψ\}$ is up to rotations close to the surfaces $(x-x^{0})^{2}+(y-y^{0})^{2}=2(z-z^{0})^{2}$ or $(x-x^{0})^{2}=(z-z^{0})^{2}$, and that singular points are either isolated or contained in a $C^{1}$ curve. The methods of the proofs are based on projecting the solutions $u$ on the space of harmonic two-homogeneous polynomials.
In the study of classical obstacle problems, it is well known that in many configurations the free boundary intersects the fixed boundary tangentially. The arguments involved in producing results of this type rely on the linear structure of the operator. In this paper we employ a different approach and prove tangential touch of free and fixed boundary in two dimensions for fully nonlinear elliptic operators. Along the way, several $n$-dimensional results of independent interest are obtained such as BMO-estimates, $C^{1,1}$ regularity up to the fixed boundary, and a description of the behavior of blow-up solutions.
We introduce so called balanced quasi-monotone systems. These are systems $F(x,r,p,X)=(F_1(x,r,p,X),\ldots,F_m(x,r,p,X))$, where $x$ belongs to a domain $Ω$, $r=u(x)\in\mathbb{R}^m$, $p=Du(x)$ and $X=D^2u(x)$, that can be arranged into two categories that are mutually competitive but internally cooperative. More precisely, for all $i\neq j$ in the set $\{1,2,\ldots,m\}$, $F_j$ is monotone non-decreasing (non-increasing) in $r_i$ if and only if $F_i$ is monotone non-decreasing (non-increasing) in $r_j$ and $F_j$ is a monotone function in $r_i$. We prove the existence and uniqueness of viscosity solutions to systems of this type. For uniqueness we need to require that $F_j$ is monotone increasing in $r_j$, at an at least linear rate. This should be compared to the quasi-monotone systems studied by Ishii and Koike, where they assume that $F(x,r,p,X)\ge F(x,s,p,X)$ if $r\le s$.