In this note, we discuss an useful lemma and its beautiful proof given by Brezis and Cabré in a paper published in *Boll. Unione Mat. Ital. Sez. B Artic. Ric. Mat.* in 1998. The full article can be freely downloaded from here. Before saying anything further, let us state the lemma.

**Lemma 3.2**. Suppose that belongs to . Let be the solution of

Then

where is a constant depending only on .

This type of estimate frequently uses in the literature. We now show the proof of the lemma.

The proof basically consists of two steps:

Step 1. For any compact subset , we show

for any where the constant depends only on and . This and the fact that stays away from the boundary of allow us to have the desired estimate. To do so, let

and take balls of radius such that

This can be done since is compact. Now, instead of proving our estimate in the whole , we shall prove our estimate for each ball . To do that, let be the solutions of

where denotes the characteristic function of . The Hopf boundary lemma implies that there is a constant such that

for all and all . Let now and take a ball containing . Then

and since in , we conclude

Step 2. Fix a smooth compact subset , we need to prove

for any . Let be the solution of

The Hopf boundary lemma now gives

for any . Since is superharmonic and on , the maximum principle implies

for any . The proof is now complete.

### Like this:

Like Loading...

*Related*

Very nice. It’s amazing the power of the maximum principle.

Comment by Fran — April 19, 2013 @ 7:59

Hi, I have a question. is not a function, so Hopf lemma can not be used directly. Is there a smoothing argument?

Comment by fanicolas — April 28, 2013 @ 2:13

Hi, thanks for your question. It looks like we have a typo here since does not belong to any Sobolev space. I think we can change the definition of a little bit as follows

where is a cut-off function which equals in and outside the ball . Then the following estimate remains valid as shown below

Comment by Ngô Quốc Anh — April 28, 2013 @ 20:48

HI I have a query. How does the hopf lemma imply ? Thanks.

One more thing while constructing it should be in

Comment by Santu — July 24, 2016 @ 12:18

Hello Santu,

Thanks for asking. The use of Hopf’s lemma turns out to be standard for PDErs🙂.

You may argue in a “geometric way” as follows: Suppose there does not exist such a constant ; hence the function decays faster than the distance function to the boundary. By decay I mean there exists a sequence of points converging to the boundary. Therefore, if you compare the distance to the boundary and the amplitude of , you will get a curve which is convex. Therefore, the directional derivative with respect to the outer normal at the limit point (on the boundary) tends to be non-negative, which contradicts to what Hopf’s lemma says.

For the second part of you question, this is standard too. Let me know if you still cannot figure out how.

Comment by Ngô Quốc Anh — July 25, 2016 @ 3:32

Yeah I got it. Thanks a lot.

Comment by Santu — July 25, 2016 @ 20:30