Happy Lunar New Year, A Year of Dragon

A Hardy-Moser-Trudinger inequality: A conjecture by Wang and Ye

Let denote the standard unit disk in . The famous Moser–Trudinger inequality says that

holds. There is another important inequality in analysis, the Hardy inequality which claims that

holds. The one is usuall called the Hardy functional. One can immediately see that

for any . Recently, in a paper accepted in Advances in Mathematics journal, Wang and Ye proved that there exists a constant such that the following

where is the unit ball in , and is the complement of with respect to the following norm .

Let us go back to the case . They then defined

where is a regular, bounded and convex domain sitting in . They then conjectured that the following

still holds for some constant where denotes the completion of with the corresponding norm associated with . Apparently, the conjecture holds true for .

Conformal compactification

Start with a pseudo-Riemannian manifold , let be another pseudo-Riemannian metric on , we say that and are conformal if there exists a positive scalar function on such that (sufficient smoothness of the relevant quantities are always assumed).

Observe that two conformal metrics measure angles the same way: recall that on a pseudo-Riemannian manifold , given a point and two non-null vectors , the angle between the vectors can be defined by

(Notice that on Euclidean space, if form an angle , then .) Thus if is conformal to , they define the same angles

In fact, this inference works the other way too. If , are two pseudo-Riemannian metrics such that for any two vectors we have , then , are conformal (up to a change of sign) by the above definition (see e.g. Exercise 14, Chapter 2 from B.O’Neill, Semi-Riemannian Geometry).

So, in plain English, two metrics are conformal if they measure angles the same way.

Now, let be a pseudo-Riemannian manifold that is non-compact. A conformal compactification of is a choice of a metric such that can be isometrically embedded into a compact domain of a pseudo-Riemannian manifold (well, I am ignoring some regularity issues here). Let be the conformal factor as before. Then observe that any regular extension of to the conformal boundary must vanish on said boundary. This reflects the property of a conformal compactification that “brings infinity to a finite distance”.

The simplest example of conformal compactification is the one-point compactification of Euclidean space via the stereographic projection. In this case, the target manifold is compact itself, taken to be standard sphere. The source manifold is Euclidean space with the standard metric, and the image set is taken to be the sphere minus the north pole.

[Source]

A blowup proof of the Aubin theorem in the Yamabe problem

Yamabe’s approach was to consider first the perturbed functional

where

Set

By using a direct minimizing procedure, it can be shown that for , there exists a smooth positive function such that its -norm is equal to one, , and satisfies the equation

The direct method does not work when because the Sobolev embedding   is continuous but not compact. However, if one can show that is uniformly bounded, i.e. there exists a positive constant such that in for , then there exists a sequence such that and converges to a smooth positive function which satisfies the Yamabe equation .

MuPad: Heart in 3D

This is not mathematics. I just found an equation so that we can draw a heart in 3D. Indeed, the following equation

will generate a heart. I have tried and the following pictures show that fact.

An ODE appearing in the Nirenberg problem

It is well-known that the simplest form of the Nirenberg problem is equivalent to solving the following PDE

in . Using stereographic projection, one can see that the above PDE is equivalent to

in . If we assume that the solution has finite energy in the sense that

it is well-known that the preceding PDE has unique radial solution. In terms of ODE language, our PDE can be rewritten as

The purpose of this note is to find solutions to the above ODE. Our approach consists of several steps as shown below.

Step 1. Let . We then have which implies that

Locally conformally flat manifolds and Weyl and Cotton tensors, 2

The purpose of this note is to prove the following result that left in the previous entry

Lemma. Provided the Weyl tensor vanishes, equation

is locally solvable if and only if the following integrability condition is satised

That is, if and only if the Cotton tensor vanishes.

Proof. It is necessary and suffcient to find a 1-form locally such that

where is a symmetric 2-tensor depending only on and . To see this, by the symmetry of the RHS, we have

Locally conformally flat manifolds and Weyl and Cotton tensors

The purpose of this note is to prove the following

Theorem. A Riemannian manifold is locally conformally flat if and only if

• for , the Weyl tensor vanishes;
• for , the Cotton tensor vanishes.

To this purpose, let us briefly recall some definitions

The Weyl tensor. The Weyl tensor can be defined using the following formula

where and denotes the Kulkarni–Nomizu product of two symmetric (0,2) tensors. Writing the Weyl tensor in this way means that the Weyl tensor is actually a (0,4) tensor. It can be seen that the Weyl tensor can be rewritten in this form

where the part

is called the Schouten tensor. We have the following result

Concentration-Compactness principle, II

In this entry, we continue to talk about the Concentration-Compactness Principle discovered by P.L. Lions [here]. In the previous entry, we already discussed two forms of non-compactness due to unbounded domains. Here we discuss what happens when passing to the limit on those functionals along weakly convergent subsequences.

Theorem (Lions). Let be sequence in weakly convergent to and such that

• converges weak* to a nonnegative measure ,
• converges weak* to a nonnegative measure .

Then there exists an at most countable index set , sequence , , , , such that

and

and

where is the best Sobolev constant and are Dirac measures assigned to . If and

then is a singleton and

for some .

Apparently, the theorem does not provide any information about possible loss of mass at infinity of a weakly convergent minimizing sequence. We shall consider that case in the forthcoming topic.

See also:

• Concentration-Compactness principle, I.
• Concentration-Compactness Principle: The loss of mass at infinity in the subcritical case.
• Jan Chabrowski, Variational methods for potential operator equations, Walter de Gruyter, 1997.

The Riemannian Penrose inequality

In mathematical general relativity, the Penrose inequality, first conjectured by Sir Roger Penrose, estimates the mass of a spacetime in terms of the total area of its black holes and is a generalization of the positive mass theorem. The Riemannian Penrose inequality is the most important special case. Specifically, if  is an asymptotically flat Riemannian 3-manifold with nonnegative scalar curvature and ADM mass , and is the area of the outermost minimal surface (possibly with multiple connected components), then the Riemannian Penrose inequality asserts

This is purely a geometrical fact, and it corresponds to the case of a complete three-dimensional, space-like, totally geodesic submanifold of a (3 + 1)-dimensional spacetime. Such a submanifold is often called a time-symmetric initial data set for a spacetime. The condition of  having nonnegative scalar curvature is equivalent to the spacetime obeying the dominant energy condition.

This inequality was first proved by Gerhard Huisken and Tom Ilmanen in 1997 [here and here] in the case where  is the area of the largest component of the outermost minimal surface. Their proof relied on the machinery of weakly defined inverse mean curvature flow, which they developed. In 1999, Hubert Bray [here] gave the first complete proof of the above inequality using a conformal flow of metrics. Both of the papers were published in 2001 in the Journal of Differential Geometry.

Source: Wiki