Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The sub-supersolution method for the following semilinear equation $$ \left\{ \begin{alignedat}{2}\tag{1} - \Delta u & = f(x,u) \quad && \text{in }\Omega\\ u & = 0 \quad && \text{on }\partial \Omega \end{alignedat} \right. $$ states that:

Let $\underline{U}$ (resp., $\overline{U}$) be a subsolution (resp., a supersolution) to problem (1) such that $\underline{U} \leq \overline{U}$ in $\Omega$ . Then the following properties hold true:

(I) there exists a solution $u$ of (1) satisfying $\underline{U} \leq u \leq \overline{U}$;

(II) there exist minimal and maximal solutions $\underline{u}$ and $\overline{u}$ of problem (1) with respect to the interval $[ \underline{U}, \overline{U} ]$.

My question is: is there a sub-supersolution method for fractional Laplacian $(-\Delta)^s, 0<s<1$? Or for what operators there are sub-supersolution methods? For the $(-\Delta)^s$ case,if yes, how to prove it?

If we follow the standard "monotone iterations method", it seems that we need a maximum principle for $(-\Delta)^s+c(x)$, a $W^{2,p}$ estimate and a Schauder estimate for $(-\Delta)^s$. But I don't know those results.

Can anyone help me? Thanks!

share|cite|improve this question
It seems so: – Siminore Aug 2 '12 at 7:48

To use Perron's method, you only need a comparison principle. I suggest you look at Luis Silvestre's thesis ( ) for a nice proof of the maximum principle and other basic facts for the fractional Laplacian. The Schauder estimates for the fractional Laplacian also follow from the estimates presented by Luis.

The $W^{2,p}$ estimates for the fractional Laplacian follow from the Hardy-Littlewood-Sobolev inequality for Riesz potentials. So, e.g., Eli Stein's book on Singular Integrals for a nice study of how the Riesz potential maps from $L_p$ to $L_p$. The general question of $W^{2,p}$ style estimates for fractional-order operators is, so far as I know, still open.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.