MathOverflow is a question and answer site for professional mathematicians. 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

Let $X$ be a bounded connected open subset of the $n$-dimensional real euclidean space. Consider the Laplace operator defined on the space of infinitely differentiable functions with compact support in $X$. What is the closure of this operator in the space $C_0(X)$ endowed with the supremum norm? Does its closure generate a strongly continuous semigroup on $C_0(X)$?

share|cite|improve this question
It is good to mention that you have already asked this at MSE, did not get reaction, and reposted here, see… – András Bátkai Jul 9 '13 at 20:16

If $X$ has the so-called Wiener-regularity, then it generates an analytic semigroup, see the paper by Arendt and Bénilan.

The paper shows this even for unbounded domains, along with the fact that if the regularity assumption is not satisfied, then the Dirichlet-Laplace operator has empty resolvent (hence it is not even a semigroup generator).

For bounded domains and well-posedness (=semigroup generation), see Gilbarg-Trudinger, Section 2.8.

share|cite|improve this answer
Thank you. But still I am not sure that the space of infinitely differentiable functions with compact support in X is a core for the Dirichlet Laplacian (If we suppose that the domain X is regular). If yes, this space should be dense in the domain of the laplacian with respect to the graph norm. – user36746 Jul 9 '13 at 13:38
@user36746: It seems to be, but I am not sure at the moment. I am sure that it is the case for sufficiently nice domains, but have to think about the general case. – András Bátkai Jul 9 '13 at 20:28

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.