Let $\mu$ be a probability measure on $\mathbb{R}^d$ which is absolutely continuous with respect to the Lebesgue measure with density $\rho$. Assume that, for all $t>0$, \begin{align*} \exp \left(t \rho\right), \exp \left(t \rho^{-1}\right) \in L^1_{loc}. \end{align*} Then, a conjecture of De Giorgi asserts that the Meyers-Serrin theorem holds for the weighted Sobolev spaces associated with $\mu$, namely $H=W$. The only reference I know speaking of this conjecture is this paper


Thus, I would like to know if there have been recent advances in proving or disproving this conjecture.

Thanks in advance.

  • 2
    $\begingroup$ It might make sense making the title for specific with something like “A conjecture of De Giorgi on weighted Sobolev spaces”. $\endgroup$ Jun 10, 2020 at 11:31

2 Answers 2


On De Giorgi’s conjecture: Recent progress and open problems by Chan and Wei reviews the status of the problem in 2017.

A second attempt to locate this elusive conjecture: De Giorgi gave a talk in Lecce (Italy) in 1995 entitled "Congetture sulla continuità delle soluzioni di equazioni lineari ellittiche autoaggiunte a coefficienti illimitati" (Conjectures on the continuity of solutions of selfadjoint elliptic linear equations with unbounded coefficients"). The talk was typed out but never published.$^\ast$ Progress on these conjectures is discussed in

$^\ast$ De Giorgi's Bibliography says: "De Giorgi, in particular in the last years of his life, used to circulated his writings among friends and colleagues, asking for opinions. We plan in the future to collect and to make available all these unpublished writings." I tried to contact professor Zhong for a copy, but the email bounced.

  • 7
    $\begingroup$ It appears De Giorgi has more than a single conjecture. $\endgroup$
    – Mr Pie
    Jun 10, 2020 at 6:49

I did some diggings and some readings and found out that the conjecture has been solved here


and extended recently to a wider context in


  • $\begingroup$ in his paper Zhikov deals with a bounded domain $\Omega$, have you understand how to pass to the whole $\mathbb R^N$ ? $\endgroup$
    – tituf
    Jul 11, 2021 at 7:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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