- #1

lmedin02

- 56

- 0

## Homework Statement

I am considering the space [itex]\tilde{W}^{1,2}(\Omega)[/itex] to be the class of functions in [itex]W^{1,2}(\Omega)[/itex] satisfying the property that its average value on [itex]\Omega[/itex] is 0. I would like to show that [itex]\tilde{W}^{1,2}(\Omega)[/itex] is a closed subspace of [itex]W^{1,2}(\Omega)[/itex].

## Homework Equations

[itex]W^{1,2}(\Omega)[/itex] is the space of [itex]L^2(\Omega)[/itex] so that their distributional derivative also lie in [itex]L^2(\Omega)[/itex].

## The Attempt at a Solution

It is clear that [itex]\tilde{W}^{1,2}(\Omega)[/itex] is a subspace of [itex]{W}^{1,2}(\Omega)[/itex]. So I now consider a convergent sequence of functions [itex]\tilde{w}_k[/itex] in [itex]\tilde{W}^{1,2}(\Omega)[/itex] converging to a function [itex]w[/itex] in [itex]W^{1,2}(\Omega)[/itex]. I am having trouble showing that [itex]w[/itex] has average value 0 and hence belongs in [itex]\tilde{W}^{1,2}(\Omega)[/itex]. Any suggestions.