User bynne - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T05:27:21Z http://mathoverflow.net/feeds/user/22152 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/91265/existence-of-cut-off-functions-in-metric-spaces Existence of cut-off functions in metric spaces Bynne 2012-03-15T10:34:29Z 2012-05-03T16:22:01Z <p>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.</p> <p>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 &lt; r &lt; R$ one has</p> <p>(D) $|B(x,r)| \geq C_D |B(x,2r)|$</p> <p>(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> <p>(P) $\int_{B(x,r)} |u - u_B|^2 dx \leq C_P \int_{B(x,2r)} |Xu|^2 dx$.</p> <p>As such we have a doubling metric measure space $(K,d,dx)$, with Poincare' inequality.</p> <p>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| &lt; C/r$, and $u = 1$ on $B(x,r)$ and $u = 0$ outside $B(x,2r)$, and $u \in W_0^{1,\infty}(\Omega)$.</p> <p>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?</p> http://mathoverflow.net/questions/91265/existence-of-cut-off-functions-in-metric-spaces/91926#91926 Answer by Bynne for Existence of cut-off functions in metric spaces Bynne 2012-03-22T15:46:40Z 2012-03-22T15:46:40Z <p>Apparently one can compose a 1-d cutoff function with the metric to obtain this.</p> http://mathoverflow.net/questions/91892/moser-regularity-proof-avoiding-john-nirenberg-lemma/91903#91903 Answer by Bynne for Moser regularity proof avoiding John-Nirenberg lemma Bynne 2012-03-22T11:59:11Z 2012-03-22T11:59:11Z <p>Check this paper Moser. On a pointwise estimate for parabolic differential equations. Comm. Pure Appl. Math (1971) vol. 24 (5) pp. 727-740</p> <p>The purpose of the above paper, is to avoid the use of the parabolic John-Nirenberg lemma.</p> http://mathoverflow.net/questions/91892/moser-regularity-proof-avoiding-john-nirenberg-lemma/91903#91903 Comment by Bynne Bynne 2012-03-22T12:38:44Z 2012-03-22T12:38:44Z The parabolic implies the elliptic