Metoda konečných prvků - Finite element method
Diferenciální rovnice | |||||
---|---|---|---|---|---|
Navier – Stokesovy diferenciální rovnice slouží k simulaci proudění vzduchu kolem překážky. | |||||
Klasifikace | |||||
Typy
| |||||
Řešení | |||||
Obecná témata | |||||
Metody řešení | |||||
The Metoda konečných prvků (FEM) je nejpoužívanější metodou pro řešení problémů strojírenství a matematické modely. Typické problémové oblasti zájmu zahrnují tradiční pole strukturální analýza, přenos tepla, proudění tekutin, hromadná doprava a elektromagnetický potenciál. FEM je zvláštní numerická metoda k řešení parciální diferenciální rovnice ve dvou nebo třech prostorových proměnných (tj. některé problémy s hraniční hodnotou ). K vyřešení problému rozdělí MKP velký systém na menší a jednodušší části, které se nazývají konečné prvky. Toho je dosaženo konkrétním prostorem diskretizace v prostorových rozměrech, který je realizován výstavbou a pletivo objektu: numerická doména řešení, která má konečný počet bodů. Formulace metody konečných prvků problému okrajové hodnoty nakonec vyústí v systém algebraické rovnice. Metoda aproximuje neznámou funkci přes doménu.[1]Jednoduché rovnice, které modelují tyto konečné prvky, se poté sestaví do většího systému rovnic, který modeluje celý problém. MKP poté použije variační metody z variační počet přiblížit řešení minimalizací přidružené chybové funkce.
Studium nebo analyzovat jev s MKP se často označuje jako analýza konečných prvků (FEA).
Základní pojmy
Rozdělení celé domény na jednodušší části má několik výhod:[2]
- Přesné znázornění složité geometrie
- Zahrnutí různých materiálových vlastností
- Snadné znázornění celkového řešení
- Zachycení místních účinků.
Typické zpracování metody zahrnuje (1) rozdělení domény problému do souboru subdomén, přičemž každá subdoména je představována množinou elementových rovnic původního problému, následovanou (2) systematickým rekombinováním všech sad rovnic prvků do globální systém rovnic pro konečný výpočet. Globální systém rovnic má známé techniky řešení a lze jej vypočítat z počáteční hodnoty původního problému získat číselnou odpověď.
V prvním kroku výše jsou rovnice prvků jednoduché rovnice, které se místně přibližují původním komplexním rovnicím, které mají být studovány, přičemž původní rovnice jsou často parciální diferenciální rovnice (PDE). Pro vysvětlení aproximace v tomto procesu je metoda konečných prvků běžně představována jako speciální případ Galerkinova metoda. Proces, v matematickém jazyce, je postavit integrál z vnitřní produkt zbytku a váhové funkce a nastavte integrál na nulu. Jednoduše řečeno, jedná se o postup, který minimalizuje chybu aproximace vložením zkušebních funkcí do PDE. Zbytkem je chyba způsobená zkušebními funkcemi a váhovými funkcemi polynomiální aproximační funkce, které promítají reziduum. Proces eliminuje všechny prostorové deriváty z PDE, čímž se PDE lokálně přiblíží
- sada algebraické rovnice pro ustálený stav problémy,
- sada obyčejné diferenciální rovnice pro přechodný problémy.
Tyto sady rovnic jsou rovnice prvků. Oni jsou lineární pokud je základní PDE lineární a naopak. Sady algebraických rovnic, které vznikají v úlohách ustáleného stavu, jsou řešeny pomocí numerická lineární algebra metody, zatímco obyčejná diferenciální rovnice množiny, které vznikají při přechodných problémech, jsou řešeny numerickou integrací pomocí standardních technik jako např Eulerova metoda nebo Runge-Kutta metoda.
V kroku (2) výše je generován globální systém rovnic z rovnic prvků transformací souřadnic z místních uzlů subdomén na globální uzly domény. Tato prostorová transformace zahrnuje vhodné úpravy orientace jak je použito ve vztahu k referenci souřadnicový systém. Proces se často provádí pomocí softwaru FEM pomocí koordinovat data generovaná ze subdomén.
MKP lze nejlépe pochopit z její praktické aplikace známé jako analýza konečných prvků (FEA). FEA, jak byla použita v inženýrství je výpočetní nástroj pro provádění inženýrská analýza. Zahrnuje použití generování sítě techniky dělení složitý problém na malé prvky, stejně jako použití software program kódovaný pomocí algoritmu FEM. Při použití FEA je komplexním problémem obvykle fyzický systém s podkladem fyzika tak jako Euler-Bernoulliho rovnice paprsku, rovnice tepla, nebo Navier-Stokesovy rovnice vyjádřeno buď v PDE, nebo integrální rovnice, zatímco rozdělené malé prvky komplexního problému představují různé oblasti ve fyzickém systému.
FEA je dobrou volbou pro analýzu problémů na složitých doménách (jako jsou automobily a ropovody), když se doména mění (jako během reakce v pevné fázi s pohyblivou hranicí), když se požadovaná přesnost mění v celé doméně, nebo když řešení postrádá hladkost. Simulace FEA poskytují cenný zdroj, protože odstraňují více instancí vytváření a testování tvrdých prototypů pro různé situace s vysokou věrností.[3] Například v simulaci čelního nárazu je možné zvýšit přesnost predikce v „důležitých“ oblastech, jako je přední část vozu, a snížit ji v jeho zadní části (čímž se sníží náklady na simulaci). Další příklad by byl v numerická předpověď počasí, kde je důležitější mít přesné předpovědi vývoje vysoce nelineárních jevů (např tropické cyklóny v atmosféře, nebo víry v oceánu) spíše než v relativně klidných oblastech.
Dějiny
I když je obtížné citovat datum vynálezu metody konečných prvků, metoda pocházela z potřeby řešení složitých pružnost a strukturální analýza problémy v civilní a letecké inženýrství. Jeho vývoj lze vysledovat zpět k práci A. Hrennikoff[4] a R. Courant[5] na počátku 40. let. Další průkopník byl Ioannis Argyris. V SSSR je zavedení praktické aplikace metody obvykle spojeno s názvem Leonard Oganesyan.[6] V Číně na konci 50. a na počátku 60. let na základě výpočtů přehradních konstrukcí K. Feng navrhla systematickou numerickou metodu řešení parciální diferenciální rovnice. Metoda se nazývala metoda konečných rozdílů založená na variačním principu, což byl další nezávislý vynález metody konečných prvků.[7] Přestože se přístupy těchto průkopníků liší, sdílejí jednu podstatnou vlastnost: pletivo diskretizace spojité domény do sady diskrétních subdomén, obvykle nazývaných prvky.
Hrennikoffova práce diskretizuje doménu pomocí a mříž analogie, zatímco Courantův přístup rozděluje doménu na konečné trojúhelníkové podoblasti, které je třeba vyřešit druhá objednávka eliptický parciální diferenciální rovnice (PDE), které vznikají z problému kroucení a válec. Courantův příspěvek byl evoluční a vycházel z velkého množství dřívějších výsledků pro PDE vyvinutých společností Rayleigh, Ritz, a Galerkin.
Metoda konečných prvků získala svůj skutečný impuls v 60. a 70. letech vývojem J. H. Argyris se spolupracovníky na University of Stuttgart, R. W. Clough se spolupracovníky v UC Berkeley, O. C. Zienkiewicz se spolupracovníky Ernest Hinton, Bruce Irons[8] a další na Swansea University, Philippe G. Ciarlet na univerzitě v Paříž 6 a Richard Gallagher se spolupracovníky v Cornell University. Další podnět v těchto letech poskytly dostupné softwarové programy konečných prvků open source. NASA sponzorovala původní verzi NASTRAN a UC Berkeley vytvořili program konečných prvků SAP IV[9] široce dostupný. V Norsku společnost pro klasifikaci lodí Det Norske Veritas (nyní DNV GL ) vyvinut Sesam v roce 1969 pro použití při analýze lodí.[10] Důsledný matematický základ metody konečných prvků byl poskytnut v roce 1973 publikací Strang a Opravit.[11] Metoda byla od té doby zobecněna pro numerické modelování fyzických systémů v široké škále inženýrství obory, např. elektromagnetismus, přenos tepla, a dynamika tekutin.[12][13]
Technická diskuse
Struktura metod konečných prvků
Metodu konečných prvků charakterizuje a variační formulace, diskretizační strategie, jeden nebo více algoritmů řešení a postupy post-processingu.
Příklady variační formulace jsou Galerkinova metoda, diskontinuální Galerkinova metoda, smíšené metody atd.
Diskretizační strategií se rozumí jasně definovaný soubor postupů, které pokrývají (a) vytváření sítí konečných prvků, (b) definici základní funkce na referenčních prvcích (nazývané také tvarové funkce) a (c) mapování odkazu prvky na prvky sítě. Příklady diskretizačních strategií jsou verze h, verze p, hp verze, x-FEM, izogeometrická analýza atd. Každá diskretizační strategie má určité výhody a nevýhody. Rozumným kritériem při výběru diskretizační strategie je realizace téměř optimálního výkonu pro nejširší sadu matematických modelů v konkrétní třídě modelů.
Různé numerické algoritmy řešení lze rozdělit do dvou širokých kategorií; přímé a iterativní řešitele. Tyto algoritmy jsou navrženy tak, aby využívaly řídkost matic, které závisí na volbách variační formulace a diskretizační strategii.
Postupy po zpracování jsou navrženy pro extrakci dat, která nás zajímají, z řešení konečných prvků. Aby bylo možné splnit požadavky na ověření řešení, je třeba zajistit postprocesory a posteriori odhad chyb z hlediska sledovaných veličin. Pokud jsou chyby aproximace větší než to, co je považováno za přijatelné, musí se diskretizace změnit buď automatizovaným adaptivním procesem, nebo akcí analytika. Existuje několik velmi efektivních postprocesorů, které zajišťují realizaci superkonvergence.
Ilustrativní problémy P1 a P2
Metodu konečných prvků si předvedeme pomocí dvou vzorových úloh, ze kterých lze extrapolovat obecnou metodu. Předpokládá se, že čtenář je obeznámen s počet a lineární algebra.
P1 je a jednorozměrný problém
kde je dáno, je neznámá funkce , a je druhý derivát s ohledem na .
P2 je a dvourozměrný problém (Dirichletův problém )
kde je propojená otevřená oblast v letadlo, jehož hranice je hezké (např hladké potrubí nebo a polygon ), a a označit druhé deriváty s ohledem na a , resp.
Problém P1 lze vyřešit přímo výpočtem antiderivativa. Tato metoda řešení problém mezní hodnoty (BVP) funguje pouze v případě, že existuje jedna prostorová dimenze, a nezobecňuje se na problémy vyšší dimenze nebo podobné problémy . Z tohoto důvodu vyvineme metodu konečných prvků pro P1 a načrtneme její zobecnění na P2.
Naše vysvětlení bude probíhat ve dvou krocích, které odrážejí dva základní kroky, které je třeba podniknout k vyřešení problému s hraniční hodnotou (BVP) pomocí MKP.
- V prvním kroku přeformuluje původní BVP v jeho slabé formě. Pro tento krok je obvykle zapotřebí malý nebo žádný výpočet. Transformace se provádí ručně na papíře.
- Druhým krokem je diskretizace, kdy je slabá forma diskretizována v konečně-dimenzionálním prostoru.
Po tomto druhém kroku máme konkrétní vzorce pro velký, ale konečněrozměrný lineární problém, jehož řešení přibližně vyřeší původní BVP. Tento konečně-dimenzionální problém je poté implementován na a počítač.
Slabá formulace
Prvním krokem je převod P1 a P2 na jejich ekvivalent slabé formulace.
Slabá forma P1
Li řeší P1, pak pro jakoukoli hladkou funkci který splňuje okrajové podmínky posunutí, tj. na a , my máme
(1)
Naopak, pokud s vyhovuje (1) pro každou hladkou funkci pak se může ukázat, že tohle vyřeší P1. Důkaz je jednodušší pro dvakrát nepřetržitě rozlišitelné (věta o střední hodnotě ), ale může být prokázáno v a distribuční smysl také.
Definujeme nového operátora nebo mapu používáním integrace po částech na pravé straně (1):
(2)
kde jsme použili předpoklad, že .
Slabá forma P2
Pokud integrujeme po částech pomocí formy Greenovy identity, vidíme, že pokud řeší P2, pak můžeme definovat pro všechny podle
kde označuje spád a označuje Tečkovaný produkt v dvourozměrné rovině. Ještě jednou lze na vhodném prostoru přeměnit na vnitřní produkt kdysi diferencovatelných funkcí které jsou nulové . To jsme také předpokládali (vidět Sobolevovy prostory ). Lze také ukázat existenci a jedinečnost řešení.
Důkazní obrys existence a jedinečnosti řešení
Můžeme volně myslet být absolutně kontinuální funkce to jsou na a (vidět Sobolevovy prostory ). Takové funkce jsou (slabě) jednou diferencovatelné a ukázalo se, že jsou symetrické bilineární mapa pak definuje vnitřní produkt který se otočí do Hilbertův prostor (podrobný důkaz je netriviální). Na druhé straně na levé straně je také vnitřní produkt, tentokrát na LP prostor . Aplikace Rieszova věta o reprezentaci pro Hilbertovy prostory ukazuje, že existuje jedinečný řešení (2) a tedy P1. Toto řešení je a priori pouze členem , ale pomocí eliptický pravidelnost, bude hladká, pokud je.
Diskretizace
P1 a P2 jsou připraveny k diskriminaci, což vede ke společnému dílčímu problému (3). Základní myšlenkou je nahradit nekonečně rozměrný lineární problém:
- Nalézt takhle
s konečně-dimenzionální verzí:
- (3) Najít takhle
kde je konečně-dimenzionální podprostor z . Existuje mnoho možných možností (jedna možnost vede k spektrální metoda ). Pro metodu konečných prvků však vezmeme být prostorem po částech polynomiálních funkcí.
Pro problém P1
Bereme interval , Vybrat hodnoty s a definujeme podle:
kde definujeme a . Pozorujte, že funkce v nejsou rozlišitelné podle základní definice počtu. Opravdu, pokud pak derivát obvykle není definován vůbec , . Derivát však existuje při všech ostatních hodnotách a lze tento derivát použít pro účely integrace po částech.
Pro problém P2
Potřebujeme být soubor funkcí . Na obrázku vpravo jsme ilustrovali a triangulace z 15 stran polygonální kraj v rovině (dole) a a po částech lineární funkce (výše, barevně) tohoto mnohoúhelníku, který je lineární na každém trojúhelníku triangulace; prostor by se skládal z funkcí, které jsou lineární na každém trojúhelníku zvolené triangulace.
Jeden doufá, že jakmile bude podkladová trojúhelníková síť jemnější a jemnější, řešení diskrétního problému (3) se v určitém smyslu sblíží s řešením původního problému okrajové hodnoty P2. K měření této jemnosti sítě je triangulace indexována pomocí parametru se skutečnou hodnotou který z nich je velmi malý. Tento parametr bude souviset s velikostí největšího nebo průměrného trojúhelníku v triangulaci. Jak zpřesňujeme triangulaci, prostor po částech lineárních funkcí musí také změnit s . Z tohoto důvodu se často čte namísto v literatuře. Protože takovou analýzu neprovádíme, nebudeme tuto notaci používat.
Výběr základu
K dokončení diskretizace musíme vybrat a základ z . V jednorozměrném případě pro každý kontrolní bod zvolíme po částech lineární funkci v jehož hodnota je na a nula u každého , tj.,