Isogeometrická analýza nad optimalizovanými křivočarými triangulacemi



Podobné dokumenty
15. listopadu Matematický ústav UK Matematicko-fyzikální fakulta. Hermitovská interpolace

Matematický ústav UK Matematicko-fyzikální fakulta

Bézierovy křivky Bohumír Bastl KMA/GPM Geometrické a počítačové modelování Bézierovy křivky GPM 1 / 26

Matematický ústav UK Matematicko-fyzikální fakulta

Kristýna Bémová. 13. prosince 2007

Jana Dannhoferová Ústav informatiky, PEF MZLU

X = A + tu. Obr x = a 1 + tu 1 y = a 2 + tu 2, t R, y = kx + q, k, q R (6.1)

5. Plochy v počítačové grafice. (Bézier, Coons)

Elementární křivky a plochy

5. Lokální, vázané a globální extrémy

Definice 13.1 Kvadratická forma v n proměnných s koeficienty z tělesa T je výraz tvaru. Kvadratická forma v n proměnných je tak polynom n proměnných s

Aplikovaná matematika I

Aproximační křivky. Trocha historie. geometrické modelování veliký pokrok v oblasti letectví 1944 Roy Liming

Učební texty k státní bakalářské zkoušce Matematika Základy lineárního programování. študenti MFF 15. augusta 2008

Plochy zadané okrajovými křivkami

Hledání extrémů funkcí

VE 2D A 3D. Radek Výrut. Abstrakt Tento článek obsahuje postupy pro výpočet Minkowského sumy dvou množin v rovině a pro výpočet Minkowského sumy

Zavedeme-li souřadnicový systém {0, x, y, z}, pak můžeme křivku definovat pomocí vektorové funkce.

Vzpěr jednoduchého rámu, diferenciální operátory. Lenka Dohnalová

Faculty of Nuclear Sciences and Physical Engineering Czech Technical University in Prague

Aproximační křivky. Trocha historie. geometrické modelování veliký pokrok v oblasti letectví 1944 Roy Liming

MATURITNÍ TÉMATA Z MATEMATIKY

Úlohy k přednášce NMAG 101 a 120: Lineární algebra a geometrie 1 a 2,

Maturitní otázky z předmětu MATEMATIKA

Hledáme lokální extrémy funkce vzhledem k množině, která je popsána jednou či několika rovnicemi, vazebními podmínkami. Pokud jsou podmínky

1. července 2010

Extrémy funkce dvou proměnných

Maturitní témata z matematiky

7. Derivace složené funkce. Budeme uvažovat složenou funkci F = f(g), kde některá z jejich součástí

vyjádřete ve tvaru lineární kombinace čtverců (lineární kombinace druhých mocnin). Rozhodněte o definitnosti kvadratické formy κ(x).

13. Lineární programování

Dnešní látka: Literatura: Kapitoly 3 a 4 ze skript Karel Rektorys: Matematika 43, ČVUT, Praha, Text přednášky na webové stránce přednášejícího.

Modelování ternárních systémů slitin

Aproximace posuvů [ N ],[G] Pro každý prvek se musí nalézt vztahy

1 Řešení soustav lineárních rovnic

21. Úvod do teorie parciálních diferenciálních rovnic

10 Funkce více proměnných

4EK213 LINEÁRNÍ MODELY

Funkce jedné reálné proměnné. lineární kvadratická racionální exponenciální logaritmická s absolutní hodnotou

Křivky a plochy technické praxe

INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.

Co jsme udělali: Au = f, u D(A)

Numerická matematika 1

Řešení "stiff soustav obyčejných diferenciálních rovnic

Gymnázium Česká a Olympijských nadějí, České Budějovice, Česká 64, 37021

Přijímací zkouška na MFF UK v Praze

Všechno, co jste kdy chtěli vědět o maticích, ale báli jste se zeptat

ICT podporuje moderní způsoby výuky CZ.1.07/1.5.00/ Matematika analytická geometrie. Mgr. Pavel Liška

Státní závěrečná zkouška z oboru Matematika a její použití v přírodních vědách

Numerické řešení diferenciálních rovnic

PŘÍMKA A JEJÍ VYJÁDŘENÍ V ANALYTICKÉ GEOMETRII

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

Úvod do analytické mechaniky

Cyklografie. Cyklický průmět bodu

CVIČNÝ TEST 15. OBSAH I. Cvičný test 2. Mgr. Tomáš Kotler. II. Autorské řešení 6 III. Klíč 15 IV. Záznamový list 17

JAK NA HYPERBOLU S GEOGEBROU


Projekt OPVK - CZ.1.07/1.1.00/ Matematika pro všechny. Univerzita Palackého v Olomouci

Aplikovaná numerická matematika

19 Hilbertovy prostory

Matematika pro informatiky

KŘIVKY A PLOCHY. Obrázky (popř. slajdy) převzaty od

1 Rozdělení mechaniky a její náplň

Obsah Obyčejné diferenciální rovnice

VYBRANÉ PARTIE Z NUMERICKÉ MATEMATIKY

Vzorce počítačové grafiky

Vlastní (charakteristická) čísla a vlastní (charakteristické) Pro zadanou čtvercovou matici A budeme řešit maticovou

Matematická analýza pro informatiky I.

Metoda nejmenších čtverců Michal Čihák 26. listopadu 2012

Maturitní témata profilová část

Rekonstrukce ploch: Polygonální a analytická reprezentace Vybrané metody aproximace ploch

KMA/GPM Barycentrické souřadnice a

9.1 Definice a rovnice kuželoseček

Soustavy linea rnı ch rovnic

Řešení 1b Máme najít body, v nichž má funkce (, ) vázané extrémy, případně vázané lokální extrémy s podmínkou (, )=0, je-li: (, )= +,

KOMPLEXNÍ ČÍSLA INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ

Požadavky k písemné přijímací zkoušce z matematiky do navazujícího magisterského studia pro neučitelské obory

Občas se používá značení f x (x 0, y 0 ), resp. f y (x 0, y 0 ). Parciální derivace f. rovnoběžného s osou y a z:

FP - SEMINÁŘ Z NUMERICKÉ MATEMATIKY. Katedra matematiky a didaktiky matematiky Technická univerzita v Liberci

NURBS REPREZENTACE KŘIVEK V MAPLE

na magisterský studijní obor Učitelství matematiky pro střední školy

Martin NESLÁDEK. 14. listopadu 2017

Definice globální minimum (absolutní minimum) v bodě A D f, jestliže X D f

Soustavy. Terminologie. Dva pohledy na soustavu lin. rovnic. Definice: Necht A = (a i,j ) R m,n je matice, b R m,1 je jednosloupcová.

Matematické modely a způsoby jejich řešení. Kateřina Růžičková

5. Statika poloha střediska sil

analytické geometrie v prostoru s počátkem 18. stol.

Plochy počítačové grafiky II. Interpolační plochy Bezierovy pláty nad obdélníkovou a trojúhelníkovou sítí Recionální Bezierovy pláty B-spline NURBS

Shodná zobrazení. bodu B ležet na na zobrazené množině b. Proto otočíme kružnici b kolem

Požadavky ke zkoušce

8. Okrajový problém pro LODR2

MATEMATIKA Maturitní témata společná část MZ základní úroveň (vychází z Katalogu požadavků MŠMT)

CZ 1.07/1.1.32/

Kapitola 11: Lineární diferenciální rovnice 1/15

Numerické metody 6. května FJFI ČVUT v Praze

I. Diferenciální rovnice. 3. Rovnici y = x+y+1. převeďte vhodnou transformací na rovnici homogenní (vzniklou

pouze u některých typů rovnic a v tomto textu se jím nebudeme až na

Gymnázium Jiřího Ortena, Kutná Hora

Vysoké učení technické v Brně, Fakulta strojního inženýrství MATEMATIKA 2

Geometrie pro počítačovou grafiku - PGR020

Transkript:

Isogeometrická analýza nad optimalizovanými křivočarými triangulacemi Kateřina Čech Dobiášová, Zbyněk Šír Katedra didaktiky matematiky, MFF UK Sokolovská83,18675Praha8 kacedobi@gmail.com Matematický ústav UK, MFF UK Sokolovská83,18675Praha8 zbynek.sir@mff.cuni.cz Abstrakt. Isogeometrický přístup k metodě konečných prvků spočívá v užití téže báze funkcí pro parametrizaci oblasti, na které je úloha řešena a pro popis řešení. V současnosti se využívá téměř výhradně báze tensor-product Bernsteinových polynomů. V našem příspěvku popisujeme alternativní přístup založený na trojúhelníkových Bernsteinových polynomech dvou proměnných. Díky tomu získáváme možnost lepšího srovnání s klasickou FEM založenou na přímočaré triangulaci. Používáme postupně tři typy bázových funkcí: kvadratické polynomiální, kvadratické racionální s přídavnou podmínkou vynucující kruhové hranice trojúhelníků a konečně kubické polynomiální bázové funkce. Pro všechny typy bázových funkcí provádíme optimalizaci parametrizace oblasti, přičemž vycházíme z dané přímočaré triangulace. Srovnání užití různých bázových funkcí představujeme na jednom numerickém příkladě. Klíčová slova: konečné prvky, konvexní optimalizace, isogeometrická analýza, Bézierův trojúhelníkový plát 1Úvod V článku se budeme zabývat aplikací obloukových triangulací v metodě konečných prvků. Metoda konečných prvků je numerická metoda pro hledání přibližného řešení parciálních diferenciálních rovnic. Pomocí obloukových trojúhelníků optimalizujeme parametrizaci oblasti. Tuto optimalizovanou parametrizaci oblasti popíšeme stejnou bází funkcí jakou použijeme pro popsání řešení, což je podstata isogeometrické analýzy. Rozšíříme optimalizaci triangulace pomocí kruhových oblouků[1] na optimalizaci pomocí parabolických a kubických oblouků. V případě kruhových oblouků jsme vázáni podmínkou, že odchylka oblouku od původní hrany musí být u obou vrcholů shodná, aby tyto úhly definovaly kruhový oblouk nad touto hranou. Pokud uvažujeme parabolické hrany, mohou být tyto odchylky různé, avšak oblouk nesmí hranu protnout, proto jsou odchylky vázány podmínkou shodného znaménka. Získáme tedy více stupňů volnosti a minimální úhel v trojúhelnících potom může být lépe optimalizován. Konečně uvažujeme kubické hrany. Odchylky v koncových bodech jedné hrany nejsou svázány žádnou podmínkou. Po optimalizaci úhlů v triangulaci dojde k nejlepšímu možnému rozložení velikostí úhlů.

Obrázek 1: Konstrukce obloukového trojúhelníka 2 Optimalizace parametrizace oblasti Mějme přímočarou triangulaci τ v dané oblasti v rovině. Optimalizace úhlů je formulována následovně: Nahraďme každou vnitřní hranu v τ obloukem(kruhovým, parabolickým,čikubickým)tak,abynejmenšíúhelbylvnovétriantulaci τ maximalizován.výslednáoptimálnítriangulace τ nemůžeobsahovatzáporné úhly a pořadí hran zůstává též zachováno, proto je úloha správně definována a nehrozí křížení hran v nové triangulaci(viz[1]). Pro kruhové a kubické oblouky zformulujeme optimalizaci triangulace jako lineární program, pro kubické oblouky jako nelineární program. Pro každou rovnou hranu, která spojuje body p, r v triangulaci τ zavedemedvěproměnné φ pr a φ rp.proměnná φ pr představujeúhel,který svíráoblouk prshranou prubodu paφ rp ubodu r(obr.1). Prokaždouhranuvτ,kteráležínahranici δ,zafixujemeoběodchylkysohledemna δ. Pro optimalizaci pomocí lineárního(resp. nelineárního) programování vytvoříme vstupní nerovnosti. Úhly mezi oblouky v optimalizované triangulacioznačíme β qpr ajejichvelikostvyjádřímepomocíúhlů α qpr = qpr, které označují úhly mezi hranami v původní triangulaci, a pomocí úhlů φ pr a φ pq. Vyjádřímeúhel β qpr mezidvěmaoblouky β qpr = φ pq +α qpr +φ pr. Položme δ β qpr.prokaždýúheloptimalizovnétriangulacevytvoříme tuto nerovnici. Všechny nerovnice vytvoří soustavu lineárních nerovnic S. Pro různé typy oblouků přidáme další podmínky.

Kruhové hrany Abybylobloukuhranyprkruhový,musíbýtúhly φ pr a φ rp ukaždé hranyprshodné.vytvořímesoustavunerovnics 1 tak,žeprokaždou hranu prprovedemesubstituci φ rp = φ pr vsoustavě S.Protožeje systémnerovnics 1 lineárníbudemeoptimalizovatpomocílineárního programováníapoužijemelineárnífunkci L 1 = δ. Parabolické hrany V případě, že požadujeme, aby oblouky v optimalizované triangulaci byly parabolické, není potřeba, aby úhly u jedné hrany byly shodné.jepotřebazajistit,abyobaúhly φ pr a φ rp bylynastejné straně hrany, tedy, aby měly shodná znaménka. Soustavu nerovnic S 2 vytvořímepřidánímvhodnýchnerovnicksoustavě S.Prokaždé takovédvaúhlyujednéhranypřidámenerovnici φ rp φ pr 0.Soustavanerovic S 2 jejižnelineárníaprooptimalizacimusímepoužít nelineárníprogramování.nelineárnífunkce L 2 bude L 2 = δ. Kubické hrany Prokubickéhranynemusímeomezovatúhly φ pr a φ rp žádnoupodmínkou. Použijeme lineární programování se systémem nerovnic S alineárnífunkcí L 3 = δ. Optimalizacízískámehodnotyúhlů φ pr a φ rp,kteréurčujíúhlyvnové triangulaci τ.vpřípaděkruhovýchhranjsouhranypřesněurčenyjen pomocíúhlů φ pr a φ rp.pokudjsoutytodvaúhlynulové,zůstanehrana rovná. V případě parabolických a kubických hran nejsou přesně oblouky hran určeny. Známe pouze úhel, který má oblouk svírat s odpovídající hranou původní triangulace τ. Přesné určení oblouků provedeme dle potřeby při aplikaci optimalizované triangulace. Pokud jsou oba úhly nulové jehranavτ shodnásodpovídajícíhranouvτ. Dálemůženastat,žeúhel φ pr = 0azároveňúhel φ rp 0.Tyto hodnoty neurčují ani rovnou hranu avšak ani parabolickou či kubickou hranu. Abychom zachovali nenulový úhel, změníme nulový úhel na nějakou nízkouhodnotu,kterápřílišnezměnívelikostvýslednéhoúhlu β qpr akterá nám umožní reprezentovat hranu jako oblouk. V optimalizaci triangulací pomocí parabolických a kubických hran je možné stejným způsobem aplikovat další podmínky popsané v článku[1], jako je omezení součtu vnitřních úhlů v jednotlivých trojúhelnících, prohazování hran, minimalizace největšího úhlu, atd. 3 Metoda konečných prvků a isogeometrická analýza Princip metody konečných prvků sestává ze dvou základních kroků. Prvním je přepis zadané úlohy do odpovídající slabé formy. V druhém kroku slabou formu diskretizujeme v konečně dimenzionálním prostoru.

ŘešmenapříkladPoissonovuúlohu,kdekdanéfunkci fnaoblasti hledáme funkci u tak, aby u(x 1,x 2 ) = f(x 1,x 2 )v, u(x 1,x 2 ) = 0na, kde = 2 + 2 je Laplaceův operátor. x 2 1 x 2 2 Vhodnými úpravami získáme tak zvanou slabou formulaci úlohy. V té mámenalézt u(x 1,x 2 ) C 1 f(x 1,x 2 )v(x 1,x 2 )dx 1 dx 2 = u(x 1,x 2 ) v(x 1,x 2 )dx 1 dx 2, provšechnytestovacífunkce v C 1, v = 0na δ. VdruhémdiskretizačnímkrokunahradímeprostorC 1 konečnědimenzionálnímpodprostorem V.Mámenalézt u(x 1,x 2 ) V f(x 1,x 2 )v(x 1,x 2 )dx 1 dx 2 = u(x 1,x 2 ) v(x 1,x 2 )dx 1 dx 2, provšechnytestovacífunkce v V, v = 0na δ,kde V C 1. Po tomto diskretizačním kroku získáváme konkrétní vztahy pro velký, ale konečně dimenzionální lineární problém, jehož řešení aproximuje řešení původní úlohy. Existuje mnoho způsobů jak volit podprostor V. Klasická MKP obvykle volí tento prostor jako prostor po částech lineárních nebo polynomiálních funkcí nad přímočarou triangulací funkcí. V isoparametrickém přístupu k metodě konečných prvků je oblast popsánasouboremzákladníchprvků P i,kdekaždýjeobrazemnapř.trojúhelníku i přizobrazení G i.přesněji,množinabázovýchfunkcí ψ ij,které definujíprostor V jena i definovánotakto: G i = ψ ij c ijj. Koeficienty c ij jsouobvykleodvozenyzvrcholůastředůhranzákladních prvků. Testovací funkce získáme složením bázových funkcí s inverzním zobrazením f ij = ψ ij G 1 i. Vhodným souborem funkcí definovaných na sousedních trojúhelnících získáme spojité testovací funkce. Každý obloukový trojúhelník můžeme repezentovat jako Béziérův trojúhelník. Bázové funkce jsou Bernsteinovy bázové funkce. Předpokládáme, že takový trojúhelník je ve standartní formě, tedy že váhy ve vrcholech jsou rovny jedné. Libovolnou obloukovou triangulaci můžeme takto použít

Obrázek 2: Řídící body pro kubické hrany pro metodu konečných prvků. V případě kruhových hran reprezentujeme obloukový trojúhelník jako racionální kvadratický Béziérův trojúhelník. Trojúhelník s parabolickými hranami reprezentujeme jako kvadratický Béziérův trojúhelník. Řídící body mezi vrcholy leží na průsečících tečen z vrcholů k obloukovým hranám. Váhy v těchto bodech volíme rovny jedné. Trojúhelník s kubickými hranami reprezentujeme jako kubický Béziérův trojúhelník. Pro tuto reprezentaci musíme vhodně zvolit řídící body P 102,P 201,P 210,P 120,P 021,P 012 (obr. 2).Abychomzachovaliodchylky φ od původních hran získané optimalizací, musí tečny k oblouku svírat s původní hranou tuto odchylku φ. Řídící body tedy volíme na těchto tečnách. Dálemusímezvolitřídícíbod P 111 tak,abytrojúhelníkovýbéziérůvplát byl regulární. Nejdříve tento řídící bod zvolíme v těžišti původního trojúhelníka. Pokud tento bod nevyhovuje, volíme dále body na těžnicích blíže k vrcholům dokud nezískáme bod, který určuje spolu s ostatními řídícími body regulární Béziérův trojúhelníkový plát. 4 Numerický příklad Mějmeoblast,jejížhranici δtvoříjednotkovákružniceanatétooblasti mějme triangulaci τ. Tuto triangulaci optimalizujeme vzhledem k úhlům pomocí metody popsané v části 1. Tabulka níže ukazuje velikosti nejmenších a největších úhlů v původní triangulaci a v triangulacích optimalizovaných pomocí kruhových, parabolických a kubických oblouků. Všechny triangulace jsou znázorněné na obrázcích 3-6. Uvažujemefunkciu(x,y) = ( x 2 +y 2 1 ) cos(x+1)sin(y)najednotkovém kruhu splňující homogenní Dirichletovu hraniční podmínku. Aproximujeme ji konečnými prvky odvozenými z obloukových triangulací s kruhovými, parabolickými a kubickými hranami. Použijeme vyhovující

kvadratické racionální, kvadratické polynomiální a kubické funkce konečných prvků. Výsledek je ukázán na obrázcích 3 6. Tabulka uvádí porovnání chyb pro jednotlivé optimalizované triangulace i pro původní přímočarou triangulaci. Poznamenejme, že mnohem lepší chyba pro kubické hrany vzniká také tím, že testovací funkce jsou kubické oproti ostatním kvadratickým. Obrázek 3: Klasická triangulace Obrázek 4: Kruhové hrany Obrázek 5: Parabolické hrany Obrázek 6: Kubické hrany rovné paraboly kružnice kubiky nejmenší úhel 10, 92 27, 869 21, 16 47, 36 největší úhel 157, 08 128 137,67 90,00 maximální chyba 0,22 0,1858 0,1433 0,0725 L2 chyba 0,18 0,00814 0,00709 0,000939 5Závěr V tomto článku jsme představili alternativní metodu pro isogeometrickou analýzu. Vycházíme z dané přímočaré triangulace dané oblasti a úsečky nahradíme polynomálními křivkami druhého nebo třetího stupně. Přitom

optimalizujeme úhly této křivočaré triangulace. Vnitřky vznikých křivočarých trojúhelníků pak přirozeně parametrizujeme Bézierovými pláty a tuto parametrizaci využijeme k řešení PDE metodou isogeometrické analýzy. Počáteční numerické testy ukázují, že takto optimalizovaná geometrická parametrizace přináší přesnější řešení dané PDE. V budoucnu chceme studovat optimalizaci kubických plátů z hlediska absence skoro singulárních bodů a dále metody pro zajištění vyšší spojitosti spočítaného řešení. Reference [1] O. Aichholzer, W. Aigner, F. Aurenhammer, K. Čech Dobiášová, B. Jüttler. Arc triangulations. In Proc. 26th European Workshop on Computational Geometry EuroCG 2010, 17-20. [2] J. Shewchuk. What is a good linear element? Interpolation, conditioning, and quality measures. Proc. 11th International Meshing Roundtable, 2002, 115-126. [3] T.J.R Hughes. The Finite Element Method Linear Static and Dynamic Finite Element Analysis. Reprint, Dover Publications, New York. [4] Victoria Germandez-Mederos, Jorge Estrada-Sarlabous, Dionne Leon Madrigal On local injectivity of 2D triangular cubic Bezier functions, Revista Investigación Operacional 01/2006; 27(3):261-275. [5] M. Randrianarivony, G. Brunnett Sufficient and necessary conditions for the regularity of planar Coons maps, 2004. [6] Michael S. Floater, Jiří Kosinka On the injectivity of Wachspress and mean value mappings between convex polygons, Advances in Computational Mathematics(Impact Factor: 1.47). 04/2012; 32(2):163-174. [7] Kateřina Čech Dobiášová, Zbyněk Šír Triangulace pomocí kruhových oblouků a metoda konečných prvků, Sborník 32. Konference o geometrii a počítačové grafice