Existence of cut-off functions in metric spaces

2012-03-15T10:34:29Z

Let $X_1,\ldots,X_m$ be Lipchitz continuous vector fields in an open set $\Omega \subset \Re^n$, Let $d(\cdot, \cdot)$ denote the control distance associated to $X$. With respect to this control distance we can define balls etc.

Let us also define the Sobolev spaces $W^{1,p} (\Omega) = [u \in L^p (\Omega) | Xu := (X_1 u, \ldots, X_m u) \in L^p(\Omega) ]$ (in a weak sense), let also $W_0^{1,p}$ be the closure of $C_0^\infty (\Omega)$ under the norm $||u||_{1,p}^p = ||u||_p + ||Xu||_p$. Let us also assume that for every compact set $K \subset \Omega$ there exists positive constants $C_D = C_D(X,K), C_L = C_L(X,K), C_P = C_P (X,K), R = R(X,K)$ such that for every $x \in K$ and $0 < r < R$ one has

(D) $|B(x,r)| \geq C_D |B(x,2r)|$

(L) $d(\cdot, x)$ is differentiable a.e. in $\Omega$ and $||Xd(\cdot,x)||_{L^\infty (\Omega)} \leq C_L$ for every $x \in K$.

(P) $\int_{B(x,r)} |u - u_B|^2 dx \leq C_P \int_{B(x,2r)} |Xu|^2 dx$.

As such we have a doubling metric measure space $(K,d,dx)$, with Poincare' inequality.

I am currently reading a paper stating that in the above setting we obtain the existence of cutoff functions in metric balls satisfying the common $|X u| < C/r$, and $u = 1$ on $B(x,r)$ and $u = 0$ outside $B(x,2r)$, and $u \in W_0^{1,\infty}(\Omega)$.

I have never seen this result, and to me it seems strange. Why would one otherwise mess about with balls defined from level surfaces of the fundamental solution to the real part of the Kohn-Laplacian in Hörmander vector-fields?

Answer by Bynne for Existence of cut-off functions in metric spaces

2012-03-22T15:46:40Z

Apparently one can compose a 1-d cutoff function with the metric to obtain this.

Answer by Bynne for Moser regularity proof avoiding John-Nirenberg lemma

2012-03-22T11:59:11Z

Check this paper Moser. On a pointwise estimate for parabolic differential equations. Comm. Pure Appl. Math (1971) vol. 24 (5) pp. 727-740

The purpose of the above paper, is to avoid the use of the parabolic John-Nirenberg lemma.

Comment by Bynne

2012-03-22T12:38:44Z

The parabolic implies the elliptic

User bynne - MathOverflow

Existence of cut-off functions in metric spaces

Answer by Bynne for Existence of cut-off functions in metric spaces

Answer by Bynne for Moser regularity proof avoiding John-Nirenberg lemma

Comment by Bynne