Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

If $\Omega$ is a bounded domain in $\mathbf{R}^n$ with $C^2$ boundary, show that $\Omega$ satisfies "exterior sphere condition".

Exterior sphere condition means that for each $z\in\partial\Omega$, there is a ball $B_r(\xi)$ satisfying $\overline{B_r(\xi)}\cap\overline{\Omega}=\{z\}$.

share|improve this question
1  
Could you provide context about why you are interested in this? –  Grumpy Parsnip Jun 4 '11 at 12:20
add comment

1 Answer

up vote 4 down vote accepted

Given a point on the boundary of $\Omega$, choose an orthogonal coordinate system $x_1,\ldots,x_n$ for $\mathbb{R}^n$ so that the point lies at $(0,0,\ldots,0)$ and the tangent hyperplane to $\partial\Omega$ at the point is the hyperplane $x_n = 0$.

In this case, by the Implicit Function Theorem, there is an $\epsilon$-neighborhood of the origin on which $\Omega$ is defined by $$ x_n \;<\; f(x_1,\ldots,x_{n-1}) $$ where $f\colon\mathbb{R}^{n-1}\to\mathbb{R}$ is a $C^2$ function and $f(0,\ldots,0)=0$. This function has a Hessian matrix $Hf$ at the origin, where $$ (Hf)_{ij} \;=\; \frac{\partial f}{\partial x_i\partial x_j}(0,\ldots,0). $$ This matrix is symmetric, and hence diagonalizable, with real eigenvalues $\lambda_1,\ldots,\lambda_n$. (These are the principal curvatures of $\partial\Omega$ at the origin.) Choose any radius $0<r<\epsilon/2$ satisfying $$ \frac{1}{r} \;\geq\; \max\{\lambda_1,\ldots,\lambda_n\}. $$ Then the closed ball of radius $r$ centered at the point $(0,\ldots,0,r)$ will intersect $\overline{\Omega}$ only at the origin.

share|improve this answer
    
Sorry, but why the condition $\frac{1}{r}\ge\max(\lambda_1,\ldots,\lambda_n)$ ensures that the closed ball intersects $\overline{\Omega}$ only at the origin? –  NGY Jun 6 '11 at 5:01
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.