Ngô Quốc Anh

February 25, 2015

Continuous functions on subsets can be extended to the whole space: The Kirzbraun-Pucci theorem

Filed under: Uncategorized — Ngô Quốc Anh @ 1:22

Let f be a continuous function defined on a set E \subset \mathbb R^N with values in \mathbb R and with modulus of continuity

\displaystyle \omega_f (s) := \sup_{|x-y|\leqslant s,x,y\in E} |f(x) - f(y)| \quad s>0.

Obviously, the function s \mapsto \omega_f(s) is nonnegative and nondecreasing in [0,+\infty).

Our first assumption is that \omega_f is bounded from above in [0, \infty) by some increasing, affine function; that is to say there exists some a,b \in \mathbb R^+ such that

\displaystyle \omega_f (s) \leqslant a s +b \quad \forall s \geqslant 0.

Associated with \omega_f having the above first assumption is the concave modulus of continuity of f, i.e. some smallest concave function c_f lies above \omega_f. Such the function c_f can be easily constructed using the following

\displaystyle c_f (s) = \inf_\ell \{\ell(s) : \ell \text{ is affine and } \ell \geqslant \omega_f \text{ in } [0,+\infty)\}.

As can be easily seen, once \omega_f can be bounded from above by some affine function, the concave modulus of continuity of f exists and is well-defined.

By definition and the monotonicity of \omega_f, we obtain

\displaystyle |f(x)-f(y)| \leqslant \omega_f (|x-y|) \leqslant c_f (|x-y|).

In this note, we prove the following extension theorem.

Theorem (Kirzbraun-Pucci). Let f be a real-valued, uniformly continuous function on a set E \subset \mathbb R^N with modulus of continuity \omega_f satisfying the first assumption. There exists a continuous function \widetilde f defined on \mathbb R^N that coincides with f on E. Moreover, f and \widetilde f have the same concave modulus of continuity c_f and

\displaystyle \sup_{\mathbb R^N} \widetilde f = \sup_E f, \quad \inf_{\mathbb R^N} \widetilde f = \inf_E f.


February 22, 2015

The conditions (NN), (P), (NN+) and (P+) associated to the Paneitz operator for 3-manifolds

Filed under: Uncategorized — Tags: — Ngô Quốc Anh @ 18:54

Of recent interest is the prescribed Q-curvature on closed Riemannian manifolds since it involves high-order differential operators.

In a previous post, I have talked about prescribed Q-curvature on 4-manifolds. Recall that for 4-manifolds, this question is equivalent to finding a conformal metric \widetilde g =e^{2u}g for which the Q-curvature of \widetilde g equals the prescribed function \widetilde Q? That is to solving

\displaystyle P_gu+2Q_g=2\widetilde Q e^{4u},

where for any g, the so-called Paneitz operator P_g acts on a smooth function u on M via

\displaystyle {P_g}(u) = \Delta _g^2u - {\rm div}\left( {\frac{2}{3}{R_g} - 2{\rm Ric}_g} \right)du

which plays a similar role as the Laplace operator in dimension two and the Q-curvature of \widetilde g is given as follows

\displaystyle Q_g=-\frac{1}{12}(\Delta\text{Scal}_g -\text{Scal}_g^2 +3|{\rm Ric}_g|^2).

Sometimes, if we denote by \delta the negative divergence, i.e. \delta = - {\rm div}, we obtain the following formula

\displaystyle {P_g}(u) = \Delta _g^2u + \delta \left( {\frac{2}{3}{R_g} - 2{\rm Ric}_g} \right)du.

Generically, for n-manifolds, we obtain

\displaystyle Q_g=-\frac{1}{2(n-1)} \Big(\Delta\text{Scal}_g - \frac{n^3-4n^2+16n-16}{4(n-1)(n-2)^2} \text{Scal}_g^2+\frac{4(n-1)}{(n-2)^2} |{\rm Ric}_g|^2 \Big)


\displaystyle {P_g}(u) = \Delta _g^2u + {\rm div}\left( { a_n {R_g} + b_n {\rm Ric}_g} \right)du + \frac{n-4}{2} Q_g u,

where a_n = -((n-2)^2+4)/2(n-1)(n-2) and b_n =4/(n-2).


Blog at