A minimum problem with free boundary in Orlicz spaces

We consider the optimization problem of minimizing $\int_{\Omega}G(|\nabla u|)+\lambda \chi_{\{u>0\}} dx$ in the class of functions $W^{1,G}(\Omega)$ with $u-\phi_0\in W_0^{1,G}(\Omega)$, for a given $\phi_0\geq 0$ and bounded. $W^{1,G}(\Omega)$ is the class of weakly differentiable functions with $\int_\Omega G(|\nabla u|) dx<\infty$. The conditions on the function G allow for a different behavior at 0 and at $\infty$. We prove that every solution u is locally Lipschitz continuous, that they are solution to a free boundary problem and that the free boundary, $\partial\{u>0\}\cap \Omega$, is a regular surface. Also, we introduce the notion of weak solution to the free boundary problem solved by the minimizers and prove the Lipschitz regularity of the weak solutions and the $C^{1,\alpha}$ regularity of their free boundaries near ``flat'' free boundary points

Asymptotic Behavior for a Nonlocal Diffusion Equation in Domains with Holes

The paper deals with the asymptotic behavior of solutions to a non-local diffusion equation, $u_t=J*u-u:=Lu$, in an exterior domain, $\Omega$, which excludes one or several holes, and with zero Dirichlet data on $\mathbb{R}^N\setminus\Omega$. When the space dimension is three or more this behavior is given by a multiple of the fundamental solution of the heat equation away from the holes. On the other hand, if the solution is scaled according to its decay factor, close to the holes it behaves like a function that is $L$-harmonic, $Lu=0$, in the exterior domain and vanishes in its complement. The height of such a function at infinity is determined through a matching procedure with the multiple of the fundamental solution of the heat equation representing the outer behavior. The inner and the outer behavior can be presented in a unified way through a suitable global approximation

Asymptotic behavior for a nonlocal diffusion equation in exterior domains: the critical two-dimensional case

We study the long time behavior of bounded, integrable solutions to a nonlocal diffusion equation, $\partial _t u=J*u-u$, where $J$ is a smooth, radially symmetric kernel with support $B_d(0)\subset\mathbb{R}^2$. The problem is set in an exterior two-dimensional domain which excludes a hole $\mathcal{H}$, and with zero Dirichlet data on $\mathcal{H}$. In the far field scale, $\xi_1\le |x|t^{-1/2}\le \xi_2$ with $\xi_1,\xi_2>0$, the scaled function $\log t\, u(x,t)$ behaves as a multiple of the fundamental solution for the local heat equation with a certain diffusivity determined by $J$. The proportionality constant, which characterizes the first non-trivial term in the asymptotic behavior of the mass, is given by means of the asymptotic \lq logarithmic momentum' of the solution, $\lim_{t\to\infty}\int_{\mathbb{R}^2}u(x,t)\log|x|\,dx$. This asymptotic quantity can be easily computed in terms of the initial data. In the near field scale, $|x|\le t^{1/2}h(t)$ with $\lim_{t\to\infty} h(t)=0$, the scaled function $t(\log t)^2u(x,t)/\log |x|$ converges to a multiple of $\phi(x)/\log |x|$, where $\phi$ is the unique stationary solution of the problem that behaves as $\log|x|$ when $|x|\to\infty$. The proportionality constant is obtained through a matching procedure with the far field limit. Finally, in the very far field, $|x|\ge t^{1/2} g(t)$ with $g(t)\to\infty$, the solution is proved to be of order $o((t\log t)^{-1})$.Comment: 24 page