Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
1  
It is good to mention that you have already asked this at MSE, did not get reaction, and reposted here, see math.stackexchange.com/questions/438166/… –  András Bátkai Jul 9 '13 at 20:16
add comment

1 Answer

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|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
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.