Stokes Equtions with pure Dirichlet boundary

More
6 years 1 month ago - 6 years 1 month ago #1225 by noname
Hello everyone,

I am trying to solve Stokes equations on a unit square with pure Dirichlet boundary conditions. I know in this case I need to modify the bilinear form, otherwise the solution is unstable. I have taken a look to the tutorials but they all consider homogenous Neumann conditions in on of the boundaries, none of them is pure Dirichlet. I am trying something like this (adding a lagrange multiplier to the bilinear form to incorporate pure Dirichlet bcs)

from ngsolve import *
import netgen.gui

Code:
from netgen.geom2d import SplineGeometry geo = SplineGeometry() geo.AddRectangle( (-1, -1), (1, 1), bcs = ("wall" , "outlet", "wall", "inlet")) mesh = Mesh( geo.GenerateMesh(maxh=0.25)) mesh.Curve(3) Draw (mesh) V = VectorH1(mesh, order=2, dirichlet="wall|inlet|outlet") Q = H1(mesh, order=1) X = FESpace([V,Q]) u,p = X.TrialFunction() v,q = X.TestFunction() r = Q.TrialFunction() s = Q.TestFunction() a = BilinearForm(X) a += SymbolicBFI(InnerProduct(grad(u),grad(v))+div(u)*q+div(v)*p) a += SymbolicBFI(p*s+q*r) a.Assemble() gfu = GridFunction(X) res = gfu.vec.CreateVector() res.data = -a.mat * gfu.vec inv = a.mat.Inverse(freedofs=X.FreeDofs()) gfu.vec.data += inv * res



But the results makes no sense.. Anyone knows how to impose this kind of boundary condition?
Thanks in advance.
Last edit: 6 years 1 month ago by noname.
More
6 years 4 weeks ago - 6 years 4 weeks ago #1244 by plederer
You implemented Dirchlet BC on the whole domain correctly. I am not sure what's your intention behind adding the term
Code:
a += SymbolicBFI(p*s+q*r)
.

However, of course you need to add a driving force, otherwise your solution is zero. Your code without your mysterious term and an example force:
Code:
from netgen.geom2d import SplineGeometry geo = SplineGeometry() geo.AddRectangle( (-1, -1), (1, 1), bcs = ("wall" , "outlet", "wall", "inlet")) mesh = Mesh( geo.GenerateMesh(maxh=0.25)) #mesh.Curve(3) Draw (mesh) V = VectorH1(mesh, order=2, dirichlet="wall|inlet|outlet") Q = H1(mesh, order=1) X = FESpace([V,Q]) u,p = X.TrialFunction() v,q = X.TestFunction() r = Q.TrialFunction() s = Q.TestFunction() a = BilinearForm(X) a += SymbolicBFI(InnerProduct(grad(u),grad(v))+div(u)*q+div(v)*p) #a += SymbolicBFI(p*s+q*r) a.Assemble() f = LinearForm(X) f += SymbolicLFI(-x*v[1]) f.Assemble() gfu = GridFunction(X) res = gfu.vec.CreateVector() res.data = f.vec -a.mat * gfu.vec inv = a.mat.Inverse(freedofs=X.FreeDofs()) gfu.vec.data += inv * res Draw(gfu.components[0], mesh, "vel")
Last edit: 6 years 4 weeks ago by plederer.
Time to create page: 0.091 seconds