# Question on Sobolev spaces in domains with boundary

Let $$\Omega\subset \mathbb{R}^n$$ be a bounded domain with infinitely smooth boundary. Define the Sobolev norm on $$C^\infty(\bar \Omega)$$ $$||u||_{W^{1,2}}:=\sqrt{\int_\Omega (|\nabla u|^2+u^2)dx}.$$ Let us denote by $$W_0^{1,2}$$ the closure in $$W^{1,2}$$ of infinitely smooth functions with compact support in $$\Omega$$.

Let $$u\in W^{1,2}_0\cap C(\bar \Omega)$$. Is it true that $$u$$ vanishes on $$\partial \Omega$$?

Apologies if this question is not of the research level.
{"ft_lang_label":"__label__en","ft_lang_prob":0.6028387,"math_prob":0.9999598,"size":480,"snap":"2021-04-2021-17","text_gpt3_token_len":163,"char_repetition_ratio":0.1197479,"word_repetition_ratio":0.0,"special_character_ratio":0.36666667,"punctuation_ratio":0.11,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99995947,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-01-26T14:22:03Z\",\"WARC-Record-ID\":\"<urn:uuid:33cdce9e-30f8-4d0d-a6ce-acbcb6989e4c>\",\"Content-Length\":\"23275\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:88caee6f-7b91-4e16-aa08-8748081c4679>\",\"WARC-Concurrent-To\":\"<urn:uuid:a33063d7-4008-414e-aab4-58d4b8f4dcf2>\",\"WARC-IP-Address\":\"173.212.203.156\",\"WARC-Target-URI\":\"https://proxieslive.com/question-on-sobolev-spaces-in-domains-with-boundary/\",\"WARC-Payload-Digest\":\"sha1:5SQVMJ6736EMYIKDAZJB42BIFBSGKYG7\",\"WARC-Block-Digest\":\"sha1:A7G2PJWOYEIXN6P3TGNOORCACL4ZW32E\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-04/CC-MAIN-2021-04_segments_1610704800238.80_warc_CC-MAIN-20210126135838-20210126165838-00152.warc.gz\"}"}