Hello.
I really need your help. I have the following problem:
Let Omega be connected Lipschitz domain. The boundary of Omega is Gamma. It has two disjoint smooth open subsets Gamma_1 and Gamma_2. Gamma_i (i=1,2) is of class C^{1,1}.
Let us defined space:
V= { v in H1(omega)^3 | div v = 0 in Omega, v= 0 on Gamma_1, v x n = 0 on Gamma_2}
I want to proof thic implication:
If v in V and curl v = 0 in Omega, then v = 0 in Omega.
So far, I have introduce to Omega smooth cuts to make simply connected domain Omega0. Since v is rotation-free function, there exist unique class q in H1(Omega0)/R such that: v = grad q in Omega 0
Since v is divergence - free, laplace q = 0 in Omega0.
What should be the next step to get q = 0 in Omega0. This would imply that v=0 in Omega.
I really need your help. Thank you so much!