Related papers: Orlicz-Sobolev versus H\"older local minimizer for…
In this paper, we investigate the regularity for mixed local and nonlocal degenerate elliptic equations in the Heisenberg group. Inspired by the De Giorgi-Nash-Moser theory, the local boundedness of weak subsolutions and the H\"{o}lder…
We derive global gradient estimates for $W^{1,p}_0(\Omega)$-weak solutions to quasilinear elliptic equations of the form $$ \mathrm{div\,}\mathbf{a}(x,u,Du)=\mathrm{div\,}(|F|^{p-2}F) $$ over $n$-dimensional Reifenberg flat domains. The…
We provide comprehensive regularity results and optimal conditions for a general class of functionals involving Orlicz multi-phase of the type \begin{align} \label{abst:1} v\mapsto \int_{\Omega} F(x,v,Dv)\,dx, \end{align} exhibiting…
We study energy functionals obtained by adding a possibly discontinuous potential to an interaction term modeled upon a Gagliardo-type fractional seminorm. We prove that minimizers of such non-differentiable functionals are locally bounded,…
In this paper, we study the regularity of the solution for the obstacle problem associated with the linearized Monge-Amp\`ere operator: \begin{align*} \begin{cases} &u\geq\varphi \text{\quad in } \Omega &L_{ w}u=\tr( W D^{2}u)\leq 0…
We show global and interior higher-order log-H\"older regularity estimates for solutions of Dirichlet integral equations where the operator has a nonintegrable kernel with a singularity at the origin that is weaker than that of any…
We study second order parabolic equations on Lipschitz domains subject to inhomogeneous Neumann (or, more generally, Robin) boundary conditions. We prove existence and uniqueness of weak solutions and their continuity up to the boundary of…
In this work, we revisit the study by M. E. Schonbek [11] concerning the problem of existence of global entropic weak solutions for the classical Boussinesq system, as well as the study of the regularity of these solutions by C. J. Amick…
We study the regularity of solutions of one dimensional variational obstacle problems in $W^{1,1}$ when the Lagrangian is locally H\"older continuous and globally elliptic. In the spirit of the work of Sychev ([Syc89, Syc91, Syc92]), a…
In this paper we prove the Lipschitz regularity for local minimizers of convex variational integrals of the form \[ \mathfrak{F}( v, \Omega )= \int_{\Omega} \! F(x, Dv(x)) \, dx, \] where, for ${n > 2}$ and $N\ge 1$, $\Omega$ is a bounded…
We present a formalization in Lean of the core interior De Giorgi--Nash--Moser theory for uniformly elliptic divergence-form equations with bounded measurable coefficients. The formalized results include local boundedness of weak…
We prove the local Lipschitz regularity of the minimizers of functionals of the form \[ \mathcal I(u)=\int_\Omega f(\nabla u(x))+g(x)u(x)\,dx\qquad u\in\phi+W^{1,1}_0(\Omega) \] where $g$ is bounded and $\phi$ satisfies the Lower Bounded…
We establish the $C^{1+\gamma}$-H\"older regularity of the regular free boundary in the stationary obstacle problem defined by the fractional Laplace operator with drift in the subcritical regime. Our method of the proof consists in proving…
In this paper, we delve into the well-known concentration-compactness principle in fractional Orlicz-Sobolev spaces, and we apply it to establish the existence of a weak solution for a critical elliptic problem involving the fractional…
In this paper, by applying the De Giorgi-Nash-Moser theory we prove nonlocal Harnack inequalities for (locally nonnegative in $\Omega$) weak solutions to nolocal double phase equations \begin{equation*}\begin{cases}\cL u =0 & \text{ in…
In this work, we show the existence of an unbounded sequence of minimax eigenvalues for the logarithmic $p$-Laplacian via the $\mathbb{Z}_2$-cohomological index of Fadell and Rabinowitz. As an application of these minimax eigenvalues and…
We prove that a local, weak Sobolev inequality implies a global Sobolev estimate using existence and regularity results for a family of $p$-Laplacian equations. Given $\Omega\subset\mathbb{R}^n$, let $\rho$ be a quasi-metric on $\Omega$,…
We investigate an inverse Robin spectral problem for the $p$-Laplace operator on a bounded domain with mixed Dirichlet-Robin boundary conditions. The aim is to identify an unknown Robin coefficient on an inaccessible boundary portion from…
In this paper, we study the existence and the summability of solutions to a Robin boundary value problem whose prototype is the following: $$ \begin{cases} -\text{div}(b(|u|)\nabla u)=f &\text{in }\Omega,\\[.2cm] \displaystyle\frac{\partial…
In this article we study solutions to the (interior) thin obstacle problem under low regularity assumptions on the coefficients, the obstacle and the underlying manifold. Combining the linearization method of Andersson \cite{An16} and the…