Amaliy matematikada, uzluksiz Galerkin usullari (DG usullari) sinfini tashkil qilish raqamli hal qilish usullari differentsial tenglamalar. Ular xususiyatlarini birlashtiradi cheklangan element va cheklangan hajm ramka va muvaffaqiyatli qo'llanildi giperbolik, elliptik, parabolik va keng ko'lamdagi dasturlardan kelib chiqadigan aralash shakldagi muammolar. DG usullari, xususan, birinchi darajali ustunlik bilan bog'liq muammolar uchun katta qiziqish uyg'otdi, masalan. yilda elektrodinamika, suyuqlik mexanikasi va plazma fizikasi.
Uzluksiz Galerkin usullari birinchi marta 70-yillarning boshlarida qisman differentsial tenglamalarni sonli echish usuli sifatida taklif qilingan va tahlil qilingan. 1973 yilda Rid va Xill giperbolik neytron tashish tenglamasini echish uchun DG usulini joriy etishdi.
Elliptik muammolar uchun DG usulining kelib chiqishini bitta nashrdan qidirib bo'lmaydi, chunki zamonaviy ma'noda sakrashni jazolash kabi xususiyatlar asta-sekin ishlab chiqilgan. Biroq, dastlabki nufuzli yordamchilar orasida edi Babushka, J.-L. Sherlar, Yoaxim Nitsche va Milosh Zmalal. Elliptik masalalar bo'yicha DG usullari 1977 yilda 4-darajali tenglamalarni o'rnatishda Gart Beyker tomonidan yozilgan maqolada ishlab chiqilgan. Tarixiy rivojlanish haqida to'liqroq ma'lumot va Elliptik masalalar uchun DG usullari bilan tanishtirish Arnold, Brezzi tomonidan nashr etilgan. , Kokburn va Marini. DG uslublari bo'yicha bir qator tadqiqot yo'nalishlari va muammolari Kokburn, Karniadakis va Shu tomonidan tahrir qilingan ish hajmida to'plangan.
Umumiy nuqtai
Shunga o'xshash uzluksiz Galerkin (CG) usuli, uzluksiz Galerkin (DG) usuli a cheklangan element usuli a ga nisbatan tuzilgan zaif formulalar ma'lum bir model tizimining. An'anaviy CG usullaridan farqli o'laroq mos keladigan, DG usuli faqat funktsiyalarning sinov maydonida ishlaydi uzluksizva shu sababli ko'pincha ko'proq inklyuzivni o'z ichiga oladi funktsiya bo'shliqlari mos keladigan usullarda ishlatiladigan cheklangan o'lchovli ichki mahsulot pastki maydonlaridan ko'ra.
Misol tariqasida uzluksizlik tenglamasi noma'lum skalar uchun 
 fazoviy sohada 
 "manbalar" yoki "lavabolar" holda:

qayerda 
 ning oqimi 
.
Endi uzluksiz bo'lakli polinom funktsiyalarning fazoviy domen ustidagi cheklangan o'lchovli maydonini ko'rib chiqing 
 diskret bilan cheklangan uchburchak 
sifatida yozilgan

uchun 
 darajadan kichik yoki unga teng polinomlarning fazosi 
 element ustida 
 tomonidan indekslangan 
. Keyin cheklangan element shakli funktsiyalari uchun 
 yechim bilan ifodalanadi

Keyin xuddi shunday sinov funktsiyasini tanlang

uzluksizlik tenglamasini ko'paytirib 
 va kosmosdagi qismlar bo'yicha integratsiya, yarim diskret DG formulasi quyidagicha bo'ladi:

Skalyar giperbolik saqlanish qonuni
Skalar giperbolik saqlanish qonuni shakldadir

bu erda noma'lum skalar funktsiyasi uchun echim topishga harakat qiladi 
va funktsiyalari 
 odatda beriladi.
Kosmik diskretizatsiya
The 
- bo'shliq diskretlashtiriladi

Bundan tashqari, biz quyidagi ta'riflarga muhtojmiz

Funktsiya maydoni uchun asos
Biz echimimizning funktsional maydoni uchun asosni keltiramiz 
.Funktsiya maydoni quyidagicha aniqlanadi

qayerda 
 belgisini bildiradi cheklash ning 
 intervalgacha 
va 
 maksimal polinomlar fazosini bildiradi daraja 
.Indeks 
 tomonidan berilgan asosiy diskretizatsiya bilan bog'liqligini ko'rsatishi kerak 
.Bu narsaga e'tibor bering 
 kesishish nuqtalarida yagona aniqlanmagan 
.
Dastlab biz intervalda ma'lum bir polinom asosidan foydalanamiz 
, Legendre polinomlari 
, ya'ni,

Ayniqsa, ortogonallik munosabatlariga e'tibor bering 
![{displaystyle leftlangle P_ {i}, P_ {j} aightangle _ {L ^ {2} ([- 1,1])} = = frac {2} {2i + 1}} delta _ {ij} quad forall, i , jin mathbb {N} _ {0} ,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/047ab4c461c39325d103b96d60634fe690fef639)
Intervalgacha konvertatsiya qilish 
, va normalizatsiya funktsiyalar orqali erishiladi 
![{displaystyle varphi _ {i} (x): = {sqrt {2i + 1}} P_ {i} (2x-1) quad {ext {for}} quad xin [0,1] ,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b830ef93a569c6bcafe8a84e8d1e0d496fd1fdf)
ortonormallik munosabatini bajaradigan
![{displaystyle leftlangle varphi _ {i}, varphi _ {j} aightangle _ {L ^ {2} ([0,1])} = delta _ {ij} quad forall, i, jin mathbb {N} _ {0} ,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7eb4f3e94973b7a13f03e996734fcc4ee26f0420)
Intervalga o'tish 
 tomonidan berilgan 

bajaradigan

Uchun 
-normalizatsiya 
va uchun 
-normalizatsiya 
, s.t.
![{displaystyle | varphi _ {ki} | _ {L ^ {infty} (I_ {k})} = | varphi _ {i} | _ {L ^ {infty} ([0,1])} =: c_ { i, infty} quad {ext {and}} quad | {ilde {varphi}} _ {ki} | _ {L ^ {1} (I_ {k})} = | varphi _ {i} | _ {L ^ {1} ([0,1])} =: c_ {i, 1} ,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b41c5c3724e8a0552bc15efa4d726e3bd0ff6be1)
Va nihoyat, biz echimlarimizning asosini aniqlay olamiz 

Shunga e'tibor bering 
 interfeys pozitsiyalarida aniqlanmagan.
Bundan tashqari, prizma asoslari planarga o'xshash tuzilmalar uchun ishlatiladi va 2-D / 3-D gibridlash qobiliyatiga ega.
DG-sxemasi
Saqlanish qonuni test funktsiyalari bilan ko'payish va sinov oralig'ida integratsiya qilish orqali zaif shaklga aylanadi

Qisman integratsiyani qo'llash orqali bitta qoladi

Interfeyslardagi oqimlar sonli oqimlar bilan taxmin qilinadi 
 bilan

qayerda 
 chap va o'ng qirralarning chegaralarini bildiradi, nihoyat DG-sxemasi sifatida yozilishi mumkin

Skalyar elliptik tenglama
Skalyar elliptik tenglama shaklga ega

Ushbu tenglama barqaror holatdagi issiqlik tenglamasidir, bu erda 
 haroratdir. Kosmik diskretizatsiya yuqoridagi kabi. Biz intervalni eslaymiz 
 bo'linadi 
 uzunlik oraliqlari 
.
Biz sakrashni joriy qilamiz 
 va o'rtacha 
 tugundagi funktsiyalar 
:
![{displaystyle [v] {Big |} _ {x_ {k}} = v (x_ {k} ^ {+}) - v (x_ {k} ^ {-}), to'rtinchi {v} {Big |} _ {x_ {k}} = 0,5 (v (x_ {k} ^ {+}) + v (x_ {k} ^ {-}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfcdb395b1485b02499399a9a232d297771791b1)
Ichki penalti to'xtatilgan Galerkin (IPDG) usuli bu: topish 
 qoniqarli

qaerda bilinear shakllanadi 
 va 
 bor
![{displaystyle A (u_ {h}, v_ {h}) = sum _ {k = 1} ^ {N + 1} int _ {x_ {k-1}} ^ {x_ {k}} qisman _ {x} u_ {h} qisman _ {x} v_ {h} -sum _ {k = 1} ^ {N} {qisman _ {x} u_ {h}} _ {x_ {k}} [v_ {h}] _ {x_ {k}} + varepsilon sum _ {k = 1} ^ {N} {qisman _ {x} v_ {h}} _ {x_ {k}} [u_ {h}] _ {x_ {k}} + {frac {sigma} {h}} sum _ {k = 1} ^ {N} [u_ {h}] _ {x_ {k}} [v_ {h}] _ {x_ {k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f606507d3beee4beca56d3d6c13b1ab5cbc17ed)
va

Chiziqli shakllar 
 va 
 bor

va

Jarima parametri 
 ijobiy doimiy. Uning qiymatini oshirish uzluksiz eritmadagi sakrashlarni kamaytiradi. Atama 
 ga teng qilib tanlangan 
 nosimmetrik ichki penalti uchun Galerkin usuli; u tengdir 
 nosimmetrik bo'lmagan ichki penalti uchun Galerkin usuli.
To'g'ridan-to'g'ri uzilgan Galerkin usuli
The to'g'ridan-to'g'ri uzilishli Galerkin (DDG) usuli diffuziya muammolarini hal qilish uchun yangi uzluksiz Galerkin usuli. 2009 yilda Liu va Yan diffuziya tenglamalarini echish uchun DDG usulini birinchi marta taklif qilishdi.[1][2] Ushbu usulning uzluksiz Galerkin usuli bilan taqqoslaganda afzalliklari shundaki, to'g'ridan-to'g'ri uzilishli Galerkin usuli oraliq o'zgaruvchilarni kiritmasdan to'g'ridan-to'g'ri funktsiya sonining oqimini va birinchi hosila atamasini olish orqali raqamli formatni hosil qiladi. Ushbu usuldan foydalanib, biz hali ham oqilona raqamli natijalarni olishimiz mumkin va hosila olish jarayoni ancha sodda, hisoblash miqdori ancha kamayadi.
To'g'ridan-to'g'ri uzluksiz cheklangan element usuli bu uzluksiz Galerkin usullarining bir bo'lagi.[3]  Bunga asosan muammoni variatsion shaklga o'tkazish, mintaqaviy bo'linish, asos funktsiyalarini yaratish, uzluksiz cheklangan elementlar tenglamalarini shakllantirish va echish, yaqinlashuv va xatolarni tahlil qilish kiradi.
Masalan, bir o'lchovli bo'lmagan chiziqli diffuziya tenglamasini ko'rib chiqing:
, unda 
Kosmik diskretizatsiya
Birinchidan, aniqlang 
va 
. Shuning uchun biz kosmik diskretizatsiyani amalga oshirdik 
. Shuningdek, aniqlang 
.
Biz taxminiy sonni topmoqchimiz 
 ga 
 shu kabi 
, 
,
, 
 in polinomlar fazosi 
 daraja bilan 
 va undan past 
.
Sxemani shakllantirish
Oqim: 
.
: tenglamaning aniq echimi.
Tenglamani silliq funktsiya bilan ko'paytiring 
 biz quyidagi tenglamalarni olamiz:
,

Bu yerda 
 o'zboshimchalik bilan, aniq echim 
 tenglamaning taxminiy echimi bilan almashtiriladi 
, ya'ni bizga kerak bo'lgan raqamli echim differentsial tenglamalarni echish yo'li bilan olinadi.
Raqamli oqim
To'g'ri raqamli oqimni tanlash DDG usulining aniqligi uchun juda muhimdir.
Raqamli oqim quyidagi shartlarni qondirishi kerak:
♦ Bunga mos keladi 
♦ Raqamli oqim bitta qiymatda konservativdir 
.
♦ Unda mavjud 
- barqarorlik;
♦ Bu usulning aniqligini oshirishi mumkin.
Shunday qilib, raqamli oqim uchun umumiy sxema berilgan:
![{displaystyle {widehat {h}} = D_ {x} b (u) = eta _ {0} {frac {left [bleft (uight) ight]} {Delta x}} + {overline {{bleft (uight)} _ {x}}} + sum _ {m = 1} ^ {frac {k} {2}} eta _ {m} {chap (Delta xight)} ^ {2m-1} chap [qisman _ {x} ^ {2m} beft (uight) ight]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8c535c781250b2d2610eed1bd30ce2a2a312183)
Ushbu oqimda, 
 - ikkita qo'shni hisoblash birligidagi polinomlarning maksimal tartibi. 
 ajralmas funktsiya. Bir xil bo'lmagan tarmoqlarda, 
 bo'lishi kerak 
 va 
 bir xil katakchalarda.
Xatolarni taxmin qilish
To'liq echim o'rtasidagi xato ekanligini ko'rsating 
 va raqamli echim 
 bu 
 .
Xatolikni quyidagi me'yor bilan o'lchaymiz:
![{displaystyle left | left | left | v (cdot, t) ight | ight | ight | = {left (int _ {0} ^ {1} v ^ {2} dx + left (1-gamma ight) int _ { 0} ^ {t} sum _ {j = 1} ^ {N} int _ {I_ {j}} v_ {x} ^ {2} dxd au + alfa int _ {0} ^ {t} sum _ {j = 1} ^ {N} {left [vight]} ^ {2} / Delta xcdot d au ight)} ^ {0.5}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d9709616aeb010abe4de1ed482378709af4fc7b)
va bizda bor 
,
Shuningdek qarang
Adabiyotlar
- ^ Xailiang Lyu, Jyu Yan, Diffuziya muammolari uchun to'g'ridan-to'g'ri uzilishli Galerkin (DDG) usullari, SIAM J. RAQAMI. ANAL. Vol. 47, № 1, 675-698 betlar.
 - ^ Xailiang Lyu, Jyu Yan, Interfeysni to'g'rilash bilan diffuziya uchun to'g'ridan-to'g'ri uzilishli Galerkin (DDG) usuli, Commun. Hisoblash. Fizika. Vol. 8, № 3, 541-564 betlar.
 - ^ Mengping Zhang, Jue Yan, To'g'ridan-to'g'ri uzluksiz Galerkin usuli va uning diffuziya tenglamalari uchun o'zgarishini Fourier tipidagi xatolarni tahlil qilish, Scientific Computing jurnali, 2012,52 (3).
 
- D.N. Arnold, F. Brezzi, B. Kokbern va L.D. Marini, Uzluksiz Galerkin usullarini elliptik masalalar bo'yicha yagona tahlil qilish, SIAM J. Numer. Anal. 39 (5): 1749–1779, 2002 yil.
 - G. Beyker, Mos kelmaydigan elementlardan foydalangan holda elliptik tenglamalar uchun yakuniy element usullari, Matematik. Komp. 31 (1977), yo'q. 137, 45-59.
 - A. Cangiani, Z. Dong, E.H. Jorgoulis va P. Xyuston, hp-versiyali ko'pburchak va ko'p qirrali mashlarda uzluksiz Galerkin usullari, SpringerBriefs in Mathematics, (dekabr 2017).
 - V. May, J. Xu, P. Li va X. Chjao, “Parchalanuvchi parallel plastinka juftidagi o'zboshimchalik shaklidagi antipadlar uchun moslashuvchan mezonga ega bo'lgan samarali va barqaror 2-D / 3-D gibrid uzluksiz Galerkin vaqt-domen tahlili.,” IEEE Trans. Mikrow. Nazariya Techn., vol. 65, yo'q. 10, 3671-3881 betlar, 2017 yil oktyabr.
 - V. May va boshq., “Qiyosiy xatoni boshqaruvchi 2-D / 3-D gibrid uzluksiz Galerkin vaqt-domeni usuli uchun to'g'ridan-to'g'ri yangilanish mezonlari,” IEEE Trans. Mikrow. Nazariya Techn., vol. 66, yo'q. 4, 1713–1722 betlar, 2018 yil aprel.
 - B. Kokburn, G. E. Karniadakis va C.-W. Shu (tahrir), Uzluksiz Galerkin usullari. Nazariya, hisoblash va dasturlar, Hisoblash fanlari va muhandislikdagi ma'ruzalar, 11. Springer-Verlag, Berlin, 2000.
 - P. Lesaint va P. A. Raviart. "Neytron transport tenglamasini echishning cheklangan element usuli to'g'risida". Qisman differentsial tenglamalarda cheklangan elementlarning matematik jihatlari 33 (1974): 89-123.
 - D.A. Di Pietro va A. Ern, Uzluksiz Galerkin usullarining matematik jihatlari. Mathématiques et Applications, Vol. 69, Springer-Verlag, Berlin, 2011 yil.
 - J.S. Xestaven va T. Uorberton, Tugunli uzluksiz Galerkin usullari: algoritmlar, tahlillar va qo'llanmalar. Amaliy matematikadagi Springer matnlari 54. Springer Verlag, Nyu-York, 2008 yil.
 - B. Riviere, Elliptik va parabolik tenglamalarni echishning uzluksiz Galerkin usullari: nazariya va amalga oshirish. Amaliy matematikada SIAM Frontiers, 2008 yil.
 - CFD Wiki http://www.cfd-online.com/Wiki/Discontinuous_Galerkin
 - W.H. Rid va T.R. Tepalik, Neytron transport tenglamasi uchun uchburchak to'rli usullar, Texnik. Hisobot LA-UR-73-479, Los Alamos ilmiy laboratoriyasi, 1973 y.