Dirichlet sınır koşullarının sonlu hacim yöntemi ile Poisson denklemine uygulanması


10

Hücre merkezli tek tip olmayan bir ızgarada sonlu hacim yöntemi kullanılırken Dirichlet koşullarının normal olarak nasıl uygulandığını bilmek istiyorum,

Hücre merkezli ızgaranın sol tarafı.

Mevcut uygulamam, ilk hücrenin değerini sabitlediğim sınır koşulunu getiriyor,

φ1=gD(xL)

burada , çözüm değişkenidir ve , alan Dirichlet sınır koşulu değeridir ( NB ). Ancak bu yanlıştır, çünkü sınır koşulu hücrenin kendisinin değerini değil, hücre yüzünün değerini düzeltmelidir . Gerçekten başvurmam gereken şey,φx Lx 1 / 2gD(xL) xLx1/2

φL=gD(xL)

Örneğin, Poisson denklemini çözelim,

0=(φx)x+ρ(x)

başlangıç ​​koşulu ve sınır koşulları ile,

ρ=-1gD(xL)=0gN-(xR,)=0

(burada , sağ tarafta bir Neumann sınır koşuludur).gN-(xR,)

Poisson denkleminin sayısal çözümü

Sayısal çözümün hücre değişkeninin değerini sol taraftaki sınır koşulu değerine ( ) nasıl edin. Bu, tüm çözeltiyi yukarı kaydırma etkisine sahiptir. Etki çok sayıda ağ noktası kullanılarak en aza indirilebilir, ancak bu sorun için iyi bir çözüm değildir.gD(xL)=0

Soru

Sonlu hacim yöntemi kullanılırken Dirichlet sınır koşulları hangi şekillerde uygulanır? Ben (bir hayalet noktası) veya kullanarak enterpolasyon veya ekstrapolasyon değerini düzeltmek gerektiğini varsayıyorum , bu noktalardan geçen düz çizgi istenen değere sahip . Düzgün olmayan hücre merkezli bir ağ için bunun nasıl yapılacağına dair bir rehberlik veya örnek verebilir misiniz?ϕ 0 ϕ 2 x Lφ1φ0φ2xL


Güncelleme

İşte önerdiğiniz bir hayalet hücre yaklaşımını kullanma girişimim, makul görünüyor mu?

hücresi için denklem (burada akışını temsil eder ),F ϕΩ1Fφ

F3/2-FL=ρ¯

Biz yazmaya gerek hayalet hücre kullanarak sınır koşulu açısından , Ω 0FLΩ0

FL=φ1-φ0h-[1]

Ama sonuçta terimini denklemden gerekiyor . Bunu yapmak için, hücresinin merkezinden hücresinin merkezine doğrusal enterpolasyon olan ikinci bir denklem . Uygun olarak bu çizgi geçer , bu nedenle Dirichlet koşulları takdir yetkisine girer (çünkü bu noktadaki değer sadece ),Ω 0 Ω 1 x L g D ( x L )φ0Ω0Ω1xLgD(xL)

gD(xL)=h12h-φ0+h02h-φ1[2]

Denklem 1 ve 2'yi birleştirerek ortadan ve ve cinsinden için bir ifade bulabiliriz ,F L ϕ 1 g D ( x L )φ0FLφ1gD(xL)

FL=1h-(φ1-1h1(2gDh--h1φ1))

Hayalet hücrenin hacmini seçmekte özgür olduğumuzu varsayarak, yapabiliriz ,h0h1

FL=-2gDh1+2φ1h-

Bu daha da basitleştirilebilir, çünkü ve hücreleri aynı , nihayet verirken,Ω 1 sa -h 1Ω0Ω1h-h1

FL=2h1(φ1-gD)

Ancak, bu yaklaşım kararsız tanımı kurtardı , bu yüzden nasıl devam edeceğinden emin değilim? Tavsiyenizi yanlış mı yorumladım (@Jan)? Garip olan şey, işe yarıyor gibi görünüyor, aşağıya bakın,

Aşağıya bakın, işe yarıyor,

Güncellenmiş hesaplama, yeni yaklaşım analitik yaklaşımla çok iyi anlaşmaktadır.


Doğru, türetmen doğru. Ve cevabımda gerçekten (**) dediğim şeye benziyor. Ve böylece, kararlı olduğu kanıtlanmıştır. Cevabıma bir yorum ekleyeceğim.
Ocak

Ayrıca, genel bir açıklama olarak, stabilite sonuçları tipik olarak yeterli koşullardır. Bir şema koşulları karşılamıyorsa, bazı durumlarda güvenilir sonuçlar verebilir.
Ocak

Yanıtlar:


3

Dirichlet BC ile eliptik problemler için FVM ayrıklıklarının kararlılık analizinde merkezi bir varsayım, belirttiğiniz hücrelerin sınırla kesişmesidir, yani , bir de set olarak görülmesi halinde , alan ise , örneğin, bakınız, örneğin, [kitabından Grossmann ve Roos , s. 92]R n - 1 Ω R n

Ω¯iΓD=0()
Rn1ΩRn

Bu nedenle, kurulumunuzda bu, stabil olmayan herhangi bir bilinen stabilite sonuçları çelişir. EDIT : Belirli bir hacim ve mesafe seçimi için bir hayalet hücre ve içine doğrusal enterpolasyon kullanarak , akı olarak elde edilir . Dolayısıyla, gerçekten kararlı bir şemadır.( ) ( )

(dϕdx)1/2=2h1(φ1-φ1/2)(**)
(**)(**)

Poisson problemi için kararlılık ve yakınsama (ayrık maksimum normda birinci dereceden), 1D durumu için çizimimde gösterildiği gibi, gerçek sınırdaki "merkezleri" olan farklı sınır hücreleriyle , gridler için Grossmann & Roos tarafından kanıtlanmıştır . resim açıklamasını buraya girin

Burada, arayüzdeki diferansiyel bölüm düz bir şekilde tahmin edilir.

İki nedenden dolayı hayalet hücrelerin ortak yaklaşım olduğunu söyleyebilirim .

  • Çizimimde açıklanan kararlı durumu taklit ediyorlar, ancak enterpolasyonlu bir sınır koşulu ile
  • Basitçe fiziksel sınıra bağlanırlar. Bu nedenle, alanın bir üçgenlemesini de kullanabilirsiniz, ayrıca avantajlı olan, çünkü genellikle doğrudan arayüze dayatılan doğal BC'ler de vardır [ Grossmann & Roos , s. 101].

Bu yüzden, Dirichlet sınırı için hayalet hücreler kullanmanızı öneririm. , bu, sisteminize ve , ve belki de diğerleri arasındaki sınırlamanın eşit olması .ϕ 0 ϕ 1 g Dφ0φ0φ1gD


Teşekkür ederim Jan, bu gerçekten ilginç. Bu kesinlikle bazı yaklaşımların kararsız olmasıyla ilgili deneyimimi taklit eder. Haklı mıyım, eğer bir hayalet hücre yaklaşımı kullanırsam, merkezin sınırda olması için son hücreyi kaydırmam gerekmez mi? Ayrıca sınır hücresini kaydırma kavramı ile ilgili bir sorunum var; bu hücrenin sıfır hacme sahip olduğu anlamına gelmez mi?
boyfarrell

Evet, bir hayalet hücresini tanıtırsanız, örnek resminizin ızgarasını değiştirmenize gerek yoktur. Çizimimin durumunu belirlemek için bahsettiğiniz vardiya ile ilgili olarak. Hayır, dejenere bir hücre değil! ofseti , bu şerit, örneğin sağ tarafın integrallerinde görünmediği sürece denklemlere gerçekten girer. hΓ
Ocak

olarak ne olduğunu görmek ilginç olurdu , çünkü bu sınırlama ayrıklaştırma yaklaşımıdır (**). ( ve arasındaki doğrusal enterpolasyonu kullandığınızı .)ϕ 1 ϕ 0hΓ0φ1φ0
Ocak

Hayalet hücrenin değerine bağımlılık bu yaklaşımla ortadan kaldırılabilir mi? Sanırım denklemlere dahil edilmemeli , sadece sınır koşullarını yazmak için bir araç kullanılmalıdır. "Kaymış" sınır hücresi ile ilgili olarak. Görünüşe göre bu nokta sonlu hacim yöntemi yerine sonlu fark kullanıyor. Bu doğru olur mu?
boyfarrell

1
Tamam anlıyorum! Teşekkür ederim. Bir yazım hatası var. 2 paragrafta "Böylece, Kurulumunuzda eğer yaklaşım [eqn] şudur, kararsız hiçbir bilinen istikrar sonuçlarına çelişki." "Hayır" olmalıdır "in" . Bu cümlenin anlamını istediğinizi tersine çevirir (sanırım)!
boyfarrell

4

"Düz çizgi" yaklaşımınız anlamına gelirφ1-φ2-φ1x2-x1(x1-x0)=0x0xbenφbenφ1φ2φ1

Burada bulduğunuz şey, Dirichlet koşullarını oluşturan eliptik denklemler için sonlu hacimlerin neden sık kullanılmadığıdır. Akılar açısından daha doğal koşulların belirtildiği koruma yasaları için kullanılırlar.


3

d2φdx2=f
(dφdx)3/2-(dφdx)1/2=x1/2x3/2fdx
(dφdx)3/2=φ2-φ1h+

(dφ/dx)1/2φ1/2x1/2x1x2h

(dφdx)1/2=1h(-13φ2+3φ1-83φ1/2)
(dφdx)1/2=2h1(φ1-φ1/2)

Tabii ki, kontrol edilmesi gereken bir şey de sınırlamadaki ikinci dereceden yaklaşım ile takdirinizin kararlılığıdır. Başımın üstünden, iç kısımda ortalanmış ikinci dereceden bir yaklaşımla birlikte kararlı olup olmayacağını bilmiyorum. Bir matris kararlılık analizi size kesin olarak söyleyecektir. (Sınırdaki birinci dereceden yaklaşımın kararlı olacağından neredeyse eminim.)

Hayalet noktaları kullanma olasılığından bahsediyorsunuz. Bu, iç mekandan hayalet noktasına ekstrapolate etmeniz ve bc'yi işlemde kullanmanız gereken soruna yol açar. En azından bazı hayalet noktası tedavilerinin yukarıda özetlediğim türden bir yaklaşımı kullanmaya eşdeğer olduğundan şüpheleniyorum, ancak "kanıtlamadım".

Umarım bu biraz yardımcı olur.


Merhaba Brian. Akı formunu (yani zayıf) kullanarak Dirichlet sınır koşullarının uygulanmasının mümkün olduğunu düşünmüyordum. Aslında bu soruyu birkaç ay önce sordum, scicomp.stackexchange.com/questions/7777/… O zamanlar böyle bir şey uygulamaya çalıştım ama hangi sebepten dolayı uygulama kararsızdı ve her zaman başarısız oldu. Dirichlet koşullarının Poisson denklemine uygulandığı bir referans biliyor musunuz, standart nedir bilmek istiyorum ? Belki bu eliptik denklemler için yapılmaz?
boyfarrell

Bir standart bilmiyorum, ancak bu tür uygulamaların kararsız olduğunu hayal edemiyorum. Matris analizini denediniz mi? Bu durumda yapılması çok basit olmalıdır. İnsanlar Navier-Stokes denklemlerini hayalet nokta tedavileri ve yukarıdaki gibi tedavilerle çözerler. (Elbette, viskoz etkiler, Poisson denklemini iyi bir model olarak kabul edebileceğiniz ölçüde baskın değildir.) Belki de bu referanslar yardımcı olur: ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/ … Ve nas.nasa.gov/assets/pdf/techreports/1997/nas-97-011.pdf
Brian Zatapatique

Merhaba Brian. Hayır matris analizini denemedim. Dürüst olmak gerekirse, bunu nasıl yapacağımdan pek emin değilim. Önümüzdeki hafta bu sorunu tekrar gözden geçirmek için zamanım olacak.
boyfarrell

Anladığım kadarıyla, hayalet noktası (kuadratik) ekstrapolasyon , düzensiz (kavisli) Dirichlet sınır koşulları için klasik Shortley-Weller sonlu fark takdirine eşittir, örneğin Morton ve Meyers Kısmi Diferansiyel Denklemlerin p74'ünde açıklandığı gibi (2. baskı). (. Doğrusal ekstrapolasyon versiyonu Gibou et al basit yöntem eşdeğerdir sciencedirect.com/science/article/pii/S0021999101969773 Ayrıca): doğrusal ve ikinci dereceden extrapolants hem 2. sıra doğru çözümler verir, ama sadece 1. sipariş gradyanlar doğrusal.
batty
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.