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)$?
$\begingroup$
$\endgroup$
1
-
1$\begingroup$ 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/… $\endgroup$– András BátkaiCommented Jul 9, 2013 at 20:16
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
2
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.
answered Jul 8, 2013 at 14:46
-
$\begingroup$ 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. $\endgroup$ Commented Jul 9, 2013 at 13:38
-
$\begingroup$ @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. $\endgroup$ Commented Jul 9, 2013 at 20:28