arXiv2019
We study an inhomogeneous minimization problems associated to the $p(x)$-Laplacian. We make a thorough analysis of the essential properties of their minimizers and we establish a relationship with a suitable free boundary problem. On the one hand, we study the problem of minimizing the functional $J(v)=\int_Ω\Big(\frac{|\nabla v|^{p(x)}}{p(x)}+λ(x)χ_{\{v>0\}}+fv\Big)\,dx$. We show that nonnegative local minimizers $u$ are solutions to the free boundary problem: $u\ge 0$ and \begin{equation} \label{fbp-px}\tag{$P(f,p,λ^*)$} \begin{cases} Δ_{p(x)}u:=\mbox{div}(|\nabla u(x)|^{p(x)-2}\nabla u)= f & \mbox{in }\{u>0\}\\ u=0,\ |\nabla u| = λ^*(x) & \mbox{on }\partial\{u>0\} \end{cases} \end{equation} with $λ^*(x)=\Big(\frac{p(x)}{p(x)-1}\,λ(x)\Big)^{1/p(x)}$ and that the free boundary is a $C^{1,α}$ surface. On the other hand, we study the problem of minimizing the functional $J_{\varepsilon}(v)= \int_Ω\Big(\frac{|\nabla v|^{p_\varepsilon(x)}}{p_\varepsilon(x)}+B_{\varepsilon}(v)+f_\varepsilon v\Big)\, dx$, where $B_\varepsilon(s)=\int _0^sβ_\varepsilon(τ) \, dτ$, $\varepsilon>0$, $β_{\varepsilon}(s)={1 \over \varepsilon} β({s \over \varepsilon})$, with $β$ a Lipschitz function satisfying $β>0$ in $(0,1)$, $β\equiv 0$ outside $(0,1)$. We prove that if $u_\varepsilon$ are nonnegative local minimizers, then any limit function $u$ ($\varepsilon\to 0$) is a solution to the free boundary problem $P(f,p,λ^*)$ with $λ^*(x)=\Big(\frac{p(x)}{p(x)-1}\,M\Big)^{1/p(x)}$, $M=\int β(s)\, ds$, $p=\lim p_\varepsilon$, $f=\lim f_\varepsilon$, and that the free boundary is a $C^{1,α}$ surface. In order to obtain our results we need to overcome deep technical difficulties and develop new strategies, not present in the previous literature for this type of problems.