In this entry, we are interested in the following result

Theorem(Moser-Trudinger’s inequality for domains with holes). Let be a bounded smooth domain in . Let and be two subsets of satisfyingand let be a number satisfying . Then for any , there exists a constant such that

holds for all satisfying

.

*Proof*. Let and be two smooth functions such that

and

.

It suffices to show that for all with

we have

.

There are two possible cases

**Case 1**. If

then by our hypothesis

.

It follows from the original Moser-Trudinger inequality that

.

Precisely, from

we have

.

Thus

In order to get rid of the term on the right hand side of the above inequality, we employ the condition .

Given any , choose such that

.

We then have

.

By the Sobolev inequality,

.

By the Poincare inequality,

.

Hence for any ,

.

The proof now follows.

**Case 2**. If

then by an argument similar to that in Case 1 we obtain the desired inequality.

**Remark**. This kind of inequality plays a central role in studying Riemannian surfaces with conical singularities. The proof above is adapted from a paper due to W.C and C.L [here] published in the *Journal of Geometric Analysis* in 1991.

This improved Moser Trudinger inequality is really crucial in the beautiful works of Malchiodi and others.

Do you Know this papers? I’m trying to understand a little bit of this stuff but it is very very hard (at least for me!).

http://people.sissa.it/~malchiod/degsumnewrevised.pdf

and all the related results.

Comment by Fab — February 14, 2012 @ 19:15

Hi Fab, thanks for the paper. Please raise your question here then we can discuss.

Comment by Ngô Quốc Anh — February 14, 2012 @ 19:17

First of all, Malchiodi rewrite the inequality above in your notes for holes then he show a criterion which implies the situation described in your third inequalities. As a consequence, if belongs to where is the real parameter in the mean field equation on compact surface and if the Euler Lagrange functional associated to this equation attains large negative values then has to concentrate near at most points of the surface.

Comment by Fab — February 14, 2012 @ 19:42

Hi Ngo,

why don’t you post something about the Lyapunov Schmidt reduction?

Comment by Fab — February 23, 2012 @ 17:07

Dear Fab, you can read my honours project done when I was an undergraduate student here . I have used that method in that paper.

Comment by Ngô Quốc Anh — February 23, 2012 @ 17:12

Dear Ngo,

in your opinion is it possible to extend this argument to all ?

Comment by Fab — October 18, 2013 @ 23:51

Clearly for a bounded smooth domain in !

Comment by Fab — October 18, 2013 @ 23:54

In the second line of the proof there is a misprint, are .

Comment by Fab — October 19, 2013 @ 0:00

Thanks Fab, yes you are right, it should be

as you said.

Comment by Ngô Quốc Anh — October 19, 2013 @ 3:03

Sorry Ngo, what about my previous question?

I’m quite sure of this.

Comment by Fab — October 19, 2013 @ 17:00

Dear Fab,

I still need time to think about your question. My first feeling is that it should be okay.

Comment by Ngô Quốc Anh — October 20, 2013 @ 23:56

This is my feeling too!

Comment by Fab — October 21, 2013 @ 20:46

Dear Fab,

Except the singularities, the following result found in http://dx.doi.org/10.1016/j.na.2013.10.010 could be useful for you.

This could help you to state a similar result with holes.

Comment by Ngô Quốc Anh — November 2, 2013 @ 0:09