Galerkin / Poisson / Fenics ไม่ต่อเนื่อง

ฉันพยายามที่จะแก้สมการปัวซอง 2D โดยใช้วิธีไม่ต่อเนื่อง Galerkin (DG) และการแยกประเภทต่อไปนี้ (ฉันมีไฟล์ png แต่ฉันไม่ได้รับอนุญาตให้อัปโหลดขออภัย):

สมการ:

$$\nabla \cdot( \kappa \nabla T) + f = 0$$

สมการใหม่:

$$q = \kappa \nabla T\\\nabla \cdot q = -f$$

รูปแบบที่อ่อนแอพร้อมฟลักซ์ตัวเลขและ : $\hat{T}$$\hat{q}$

$$\int q \cdot w dV = - \int T \nabla \cdot (\kappa w) dV +  \int \kappa \hat{T} n \cdot w dS\\ \int q \cdot \nabla v dV = \int v f dV +  \int \hat{q} \cdot n v dS$$

ฟลักซ์เชิงตัวเลข (วิธี IP):

$$\hat{q} = \{\nabla T\} – C_{11} [T]\\ \hat{T} = \{T\}$$

ด้วย

$$\{T\} = 0.5 (T^+ + T^-)\\ [T] = T^+ n^+ + T^- n^-$$

ฉันเขียนสคริปต์หลาม fenics ง่าย ๆ เพื่อแก้สมการ ทางออกที่ฉันได้รับไม่ดี ฉันจะขอบคุณจริง ๆ ถ้ามีคนคุ้นเคยกับวิธีการของ DG อาจดูสคริปต์ด้านล่างอย่างรวดเร็วและบอกฉันว่าฉันทำอะไรผิด

สูตรกาแลคคินอย่างต่อเนื่องที่ฉันเพิ่มเข้าไปในสคริปต์ให้ทางออกที่ดี

ขอบคุณมากในล่วงหน้า.

from dolfin import *

method = "DG" # CG / DG

# Create mesh and define function space
mesh = UnitSquare(32, 32)
V_q = VectorFunctionSpace(mesh, method, 2)
V_T = FunctionSpace (mesh, method, 1)
W = V_q * V_T

# Define test and trial functions
(q, T) = TrialFunctions(W)
(w, v) = TestFunctions(W)

# Define mehs quantities: normal component, mesh size
n = FacetNormal(mesh)

# define right-hand side
f = Expression("500.0*exp(-(pow(x[0] - 0.5, 2) + pow(x[1] - 0.5, 2)) / 0.02)")

# Define parameters
kappa = 1.0

# Define variational problem
if method == 'CG':
  a = dot(q,w)*dx \
       + T*div(kappa*w)*dx \
       + div(q)*v*dx

elif method == 'DG':
  #modele = "IP"
  C11 = 1.

  a = dot(q,w)*dx + T*div(kappa*w)*dx \
      - kappa*avg(T)*dot(n('-'),w('-'))*dS \
                                           \
      + dot(q,grad(v))*dx \
      - dot( avg(grad(T)) - C11 * jump(T,n) ,n('-'))*v('-')*dS

L = -v*f*dx

# Compute solution
qT = Function(W)
solve(a == L, qT)

# Project solution to piecewise linears
(q , T) = qT.split()

# Save solution to file
file = File("poisson.pvd")
file << T

# Plot solution
plot(T); plot(q)
interactive()

ในการใช้ปัญหาของคุณใน FEniCS คุณต้องแทนที่อินทิกรัลในแง่ของขอบเขตโดยอินทิกรัลในแง่ของขอบ สิ่งนี้จะแนะนำการกระโดด / ค่าเฉลี่ยในฟังก์ชั่นการทดสอบซึ่งคุณพลาดในการนำไปใช้ทั้งหมด ดังนั้นระบบจะไม่กลับด้านและโซลูชันของคุณดูไม่ถูกต้อง สมการ (3.3) ในอาร์โนลด์และ อัล 2002 ให้เครื่องมือในการเขียนรูปแบบที่อ่อนแอ:

$$\sum_{K\in\mathcal{T}_h}\int_{\partial K} q_K \cdot n_K \phi_K\,ds=\int_\Gamma [q] \cdot \{\phi\}\,ds + \int_{\Gamma^0} \{q\} \cdot [\phi]\,ds$$

ที่นี่คือการรวมกันของขอบของคุณและเหมือนกันโดยไม่มีขอบเขต$\Gamma$$\Gamma^0$

ตอนนี้ฟลักซ์ของคุณมีค่าเดียวซึ่งหมายความว่าคุณสามารถวางการกระโดดของฟลักซ์ของคุณได้ ดังนั้น

$$\sum_{K\in\mathcal{T}_h}\int_{\partial K} \hat{q}\cdot n_K v_K\,ds=\int_{\Gamma^0} \hat{q} \cdot [v]\,ds + \int_{\partial\Omega} \hat{q} \cdot n v\,ds\\ \sum_{K\in\mathcal{T}_h}\int_{\partial K} w\cdot n_K \kappa\hat{T}\,ds=\int_{\Gamma} [w] \cdot \kappa\hat{T}\,ds$$

สิ่งนี้นำเราไปสู่การแก้ไขโค้ดของคุณดังต่อไปนี้:

C11 = 1.
qhat = avg(grad(T)) - C11 * kappa*jump(T,n)
qhatbnd = grad(T) - C11 * kappa*T*n

a = dot(q,w)*dx + T*div(kappa*w)*dx \
  - kappa*avg(T)*jump(w,n)*dS \
  - kappa*T*dot(w,n)*ds \
  - dot(q,grad(v))*dx \
  + dot( qhat, jump(v,n))*dS \
  + dot( qhatbnd, v*n)*ds

ฉันยังไม่มีเวลาลองใช้จริง ๆ ดังนั้นโปรดระวังข้อผิดพลาดของการลงชื่อเข้าใช้ที่เป็นไปได้ ฯลฯ แต่ฉันหวังว่านี่จะช่วยได้

การอ้างอิง: DN Arnold, F. Brezzi, B. Cockburn, LD Marini: การวิเคราะห์แบบครบวงจรของวิธี Galerkin ที่ไม่ต่อเนื่องสำหรับปัญหาด้านรูปไข่ SIAM J. Num ก้น, 39 (2002), 1749-1779

ใช่ฉันพลาดอะไรบางอย่างจริงๆ!

มันทำงานได้ดีในขณะนี้

ขอบคุณมากสำหรับความช่วยเหลือของคุณ!