Source author record

John Andersson

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

10works
1topics
4close collaborators

Published work

10 publications

preprint2016arXiv

Almost Everywhere Regularity for the Free Boundary of the Normalized p-harmonic Obstacle problem p>2p>2

Let uu be a solution to the normalized p-harmonic obstacle problem with p>2p>2. That is, u∈W1,p(B1(0))u\in W^{1,p}(B_1(0)), 2<p<∞2<p<\infty, u≥0u\ge 0 and $$ \d\left( |\nabla u|^{p-2}\nabla u\right)=χ_{\{u>0\}}\textrm{ in }B_1(0) $$ where u(x)≥0u(x)\ge 0 and χAχ_A is the characteristic function of the set AA. Our main result is that for almost every free boundary point, with respect to the (n−1)−(n-1)-Hausdorff measure, there is a neighborhood where the free boundary is a C1,β−C^{1,β}-graph. That is, for $\H^{n-1}-$a.e. point x0∈∂{u>0}∩B1(0)x^0\in \partial \{u>0\}\cap B_1(0) there is an r>0r>0 such that Br(x0)∩∂{u>0}∈C1,βB_r(x^0)\cap \partial \{u>0\}\in C^{1,β}.

preprint2015arXiv

Optimal regularity for the obstacle problem for the pp-Laplacian

In this paper we discuss the obstacle problem for the pp-Laplace operator. We prove optimal growth results for the solution. Of particular interest is the point-wise regularity of the solution at free boundary points. The most surprising result we prove is the one for the pp-obstacle problem: Find the smallest uu such that div(∣∇u∣p−2∇u)≤0,u≥ϕ,in B1, \hbox{div} (|\nabla u|^{p-2}\nabla u) \leq 0, \qquad u\geq ϕ, \qquad \hbox{in } B_1, with ϕ∈C1,1(B1)ϕ\in C^{1,1}(B_1) and given boundary datum on ∂B1\partial B_1. We prove that the solution is uniformly C1,1C^{1,1} at free boundary points. Similar results are obtained in the case of an inhomogeneity belonging to L∞L^\infty. When applied to the corresponding parabolic problem, these results imply that any solution which is Lipschitz in time is C1,1p−1C^{1,\frac{1}{p-1}} in the spatial variables.

preprint2013arXiv

Equilibrium points of a singular cooperative system with free boundary

In this paper we initiate the study of maps minimising the energy ∫D(∣∇∣˘2+2∣∣˘) dx. \int_{D} (|\nabla \u|^2+2|\u|)\ dx. which, due to Lipschitz character of the integrand, gives rise to the singular Euler equations $$ Δ\u=\frac{\u}{|\u|}χ_{\left\lbrace |\u|>0\right\rbrace}, \qquad \u = (u_1, \cdots, u_m) \ . $$ Our primary goal in this paper is to set up a road map for future developments of the theory related to such energy minimising maps. Our results here concern regularity of the solution as well as that of the free boundary. They are achieved by using monotonicity formulas and epiperimetric inequalities, in combination with geometric analysis.

preprint2013arXiv

Optimal Regularity for The Signorini Problem and its Free Boundary

We will show optimal regularity for minimizers of the Signorini problem for the Lame system. In particular if =˘(u1,u2,u3)∈W1,2(B1+:R3)\u=(u^1,u^2,u^3)\in W^{1,2}(B_1^+:\R^3) minimizes J()˘=∫B1+∣∇+˘∇⊥∣˘2+λ÷()˘2 J(\u)=\int_{B_1^+}|\nabla \u+\nabla^\bot \u|^2+λ÷(\u)^2 in the convex set K={=˘(u1,u2,u3)∈W1,2(B1+:R3);  u3≥0onΠ, K=\big\{\u=(u^1,u^2,u^3)\in W^{1,2}(B_1^+:\R^3);\; u^3\ge 0 \textrm{on}Π, =˘f∈C∞(∂B1)on(∂B1)+}, \u=f\in C^\infty(\partial B_1) \textrm{on}(\partial B_1)^+ \big\}, where λ≥0λ\ge 0 say. Then ∈˘C1,1/2(B1/2+)\u\in C^{1,1/2}(B_{1/2}^+). Moreover the free boundary, given by $$ Γ_\u=\partial \{x;\;u^3(x)=0,\; x_3=0\}\cap B_{1}, $$ will be a C1,αC^{1,α} graph close to points where $\u$ is not degenerate. Similar results have been know before for scalar partial differential equations (see for instance \cite{AC} and \cite{ACS}). The novelty of this approach is that it does not rely on maximum principle methods and is therefore applicable to systems of equations.

preprint2012arXiv

Double Obstacle Problems with obstacles given by non-C2C^2 Hamilton-Jacobi equations

We prove optimal regularity for the double obstacle problem when obstacles are given by solutions to Hamilton-Jacobi equations that are not C2C^2. When the Hamilton-Jacobi equation is not C2C^2 then the standard Bernstein technique fails and we loose the usual semi-concavity estimates. Using a non-homogeneous scaling (different speed in different directions) we develop a new pointwise regularity theory for Hamilton-Jacobi equations at points where the solution touches the obstacle. A consequence of our result is that C1C^1-solutions to the Hamilton-Jacobi equation ±∣∇h−a(x)∣2=±1inB1,h=fon∂B1, \pm |\nabla h-a(x)|^2=\pm 1 \textrm{in} B_1, \qquad h=f \textrm{on} \partial B_1, are in fact C1,α/2C^{1,α/2} provided that a∈Cαa \in C^α. This result is optimal and to the authors' best knowledge new.

preprint2012arXiv

Optimal Regularity for the parabolic No-Sign Obstacle Problem

We study the parabolic free boundary problem of obstacle type $$ \lap u-\frac{\partial u}{\partial t}= fχ_{u\ne 0}. $$ Under the condition that f=Hvf=Hv for some function vv with bounded second order spatial derivatives and bounded first order time derivative, we establish the same regularity for the solution uu. Both the regularity and the assumptions are optimal. Using this result and assuming that ff is Dini continuous, we prove that the free boundary is, near so called low energy points, a C1C^1 graph. Our result completes the theory for this type of problems for the heat operator.

preprint2011arXiv

Optimal regularity for the no-sign obstacle problem

In this paper we prove the optimal C1,1(B12)C^{1,1}(B_\frac12)-regularity for a general obstacle type problem $$ \lap u = fχ_{\{u\neq 0\}}\textup{in $B_1$}, $$ under the assumption that f∗Nf*N is C1,1(B1)C^{1,1}(B_1), where NN is the Newtonian potential. This is the weakest assumption for which one can hope to get C1,1C^{1,1}-regularity. As a by-product of the C1,1C^{1,1}-regularity we are able to prove that, under a standard thickness assumption on the zero set close to a free boundary point x0x^0, the free boundary is locally a C1C^1-graph close to x0x^0, provided ff is Dini. This completely settles the question of the optimal regularity of this problem, that has been under much attention during the last two decades.

preprint2010arXiv

On the singularities of a free boundary through Fourier expansion

In this paper we are concerned with singular points of solutions to the {\it unstable} free boundary problem Δu=−χ{u>0}inB1. Δu = - χ_{\{u>0\}} \qquad \hbox{in} B_1. The problem arises in applications such as solid combustion, composite membranes, climatology and fluid dynamics. It is known that solutions to the above problem may exhibit singularities - that is points at which the second derivatives of the solution are unbounded - as well as degenerate points. This causes breakdown of by-now classical techniques. Here we introduce new ideas based on Fourier expansion of the nonlinearity χ{u>0}χ_{\{u>0\}} . The method turns out to have enough momentum to accomplish a complete description of the structure of the singular set in R3{\mathbb R}^3. A surprising fact in R3{\mathbb R}^3 is that although $$\frac{u(r\x)}{\sup_{B_1}|u(r\x)|}$$ can converge at singularities to each of the harmonic polynomials xy,x2+y22−z2andz2−x2+y22, xy, {x^2+y^2\over 2}-z^2 \textrm{and} z^2-{x^2+y^2\over 2}, it may {\em not} converge to any of the non-axially-symmetric harmonic polynomials α((1+δ)x2+(1−δ)y2−2z2)α((1+ δ)x^2 +(1- δ)y^2 - 2z^2) with δ≠1/2δ\ne 1/2. We also prove the existence of stable singularities in R3{\mathbb R}^3.

preprint2009arXiv

Uniform Regularity close to Cross Singularities in an Unstable Free Boundary Problem

We introduce a new method for the analysis of singularities in the unstable problem Δu=−χ{u>0},Δu = -χ_{\{u>0\}}, which arises in solid combustion as well as in the composite membrane problem. Our study is confined to points of "supercharacteristic" growth of the solution, i.e. points at which the solution grows faster than the characteristic/invariant scaling of the equation would suggest. At such points the classical theory is doomed to fail, due to incompatibility of the invariant scaling of the equation and the scaling of the solution. In the case of two dimensions our result shows that in a neighborhood of the set at which the second derivatives of uu are unbounded, the level set {u=0}\{u=0\} consists of two C1C^1-curves meeting at right angles. It is important that our result is not confined to the minimal solution of the equation but holds for all solutions.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.