Related papers: Characterizing compact coincidence sets in the obs…
This paper deals with the obstacle problem for the fractional infinity Laplacian with nonhomogeneous term $f(u)$, where $f:\mathbb{R}^+ \mapsto \mathbb{R}^+$: $$\begin{cases} L[u]=f(u) &\qquad in \{u>0\}\\ u \geq 0 &\qquad in\, \Omega\\ u=g…
Our purpose is to find positive solutions $u \in D^{1,2}(\rz^N)$ of the semilinear elliptic problem $-\laplace u = h(x) u^{p-1}$ for $2<p$. The function $h$ may have an indefinite sign. Key ingredients are a $h$-dependent…
We classify nontrivial, nonnegative, positively homogeneous solutions of the equation \begin{equation*} \Delta u=\gamma u^{\gamma-1} \end{equation*} in the plane. The problem is motivated by the analysis of the classical Alt-Phillips free…
We consider fully nonlinear obstacle-type problems of the form \begin{equation*} \begin{cases} F(D^{2}u,x)=f(x) & \text{a.e. in}B_{1}\cap\Omega,|D^{2}u|\le K & \text{a.e. in}B_{1}\backslash\Omega, \end{cases} \end{equation*} where $\Omega$…
We show, using symmetrization techniques, that it is possible to prove a comparison principle (we are mainly focused on $L^1$ comparison) between solutions to an elliptic partial differential equation on a smooth bounded set $\Omega$ with a…
We study sharp conditions for the existence and nonexistence of infinitely many nonnegative solutions to the problem $-\Delta_p u = \lambda f(u)$ in a bounded domain with Dirichlet boundary conditions, where $f$ is a continuous function…
A design is a finite set of points in a space on which every "simple" functions averages to its global mean. Illustrative examples of simple functions are low-degree polynomials on the Euclidean sphere or on the Hamming cube. We prove lower…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
We say that X x Y satisfies the Uniquely Universal property (UU) iff there exists a set U open in X x Y such that for every open set W in Y there is a unique cross section U_x of U with U_x=W. Michael Hrusak raised the question of when does…
We give a direct analytic proof of the classical Boundary Harnack inequality for solutions to linear uniformly elliptic equations in either divergence or non-divergence form.
We show that the solutions to the nonlocal obstacle problems for the nonlocal $-\Delta_p^s$ operator, when the fractional parameter $s\to\sigma$ for $0<\sigma\leq1$, converge to the solution of the corresponding obstacle problem for…
We establish the existence of positive solutions to a general class of overdetermined semilinear elliptic boundary problems on suitable bounded open sets $\Omega\subset\mathbb{R}^n$. Specifically, for $n\leq 4$ and under mild technical…
Given a two--dimensional mapping $U$ whose components solve a divergence structure elliptic equation, we give necessary and sufficient conditions on the boundary so that $U$ is a global diffeomorphism.
A singularly perturbed free boundary problem arising from a real problem associated with a Radiographic Integrated Test Stand concerns a solution of the equation $\Delta u = f(u)$ in a domain $\Omega$ subject to constant boundary data,…
The set splittability problem is the following: given a finite collection of finite sets, does there exits a single set that contains exactly half the elements from each set in the collection? (If a set has odd size, we allow the floor or…
Given any asymptotically flat 3-manifold $(M,g)$ with smooth, non-empty, compact boundary $\Sigma$, the conformal conjecture states that for every $\delta>0$, there exists a metric $g' = u^4 g$, with $u$ a harmonic function, such that the…
We consider the boundary value problem \begin{equation} - \Delta u = \lambda c(x)u+ \mu(x) |\nabla u|^2 + h(x), \qquad u \in H^1_0(\Omega) \cap L^{\infty}(\Omega), \leqno{(P_{\lambda})} \end{equation} where $\Omega \subset \R^N, N \geq 3$…
Suppose that $A$ and $B$ are closed subsets of a Euclidean space such that $A\cap B\neq\varnothing$, and we aim to find a point in this intersection with the help of the sequences $(a_n)_\nnn$ and $(b_n)_\nnn$ generated by the \emph{method…
New partial results are obtained related to the following old problem of Erd\"os: for any infinite set $X$ of real numbers to show that there is always a measurable (or, equivalently, closed) subset of reals of positive Lebesgue measure…
Let $\Omega \subset \mathbb{R}^d$ be a quasiconvex Lipschitz domain and $A(x)$ be a $d \times d$ uniformly elliptic, symmetric matrix with Lipschitz coefficients. Assume a nontrivial $u$ solves $-\nabla \cdot (A(x) \nabla u) = 0$ in…