Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What is the definition of smooth domains? Is there is intuitive understanding?

share|cite|improve this question

Smooth domain $\Omega$ is an open and connected subset of the whole domain, say $\mathbb{R}^n$, of which the boundary $\partial \Omega$ is "smooth".

The smoothness of the boundary, intuitively speaking, is:

The boundary of a smooth domain can be viewed as the graph of a smooth function locally.

How smooth this function is determines the smoothness of the boundary. For example, $C^{k,\alpha}$-domain. Formal definition please refer to Gilbarg and Trudinger's book section 6.2. For any point on the boundary of a $C^{k,\alpha}$-domain, the boundary of domain within this point's neighborhood is the graph of a $C^{k,\alpha}$ function of $(n-1)$ variables. To visualize this a bit you could think the domain being in $\mathbb{R}^2$, a domain having $C^{k,\alpha}$ smoothness says each small piece of the boundary is a $C^{k,\alpha}$ function's graph, i.e., a smooth 1 dimension curve.

Another example would be Lipschitz domain, polygon and polyhedra are Lipschitz domains in $\mathbb{R}^2$ and $\mathbb{R}^3$ respectively.

The motivation of formalization of the smooth domain originates from the idea of the estimates measuring how smooth the solution of a boundary value problem is.

share|cite|improve this answer

Your Answer


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.