01MKP:Kapitola7: Porovnání verzí
Z WikiSkripta FJFI ČVUT v Praze
Řádka 16: | Řádka 16: | ||
\begin{tvrz*} | \begin{tvrz*} | ||
− | Nechť $\te$ je triangulace $\Omega\subset\R^n$. Pak existuje volba uzlů na hranách oblastí $K\in\te$ tak, že $\forall f \in C^(m)}(\overline{\Omega}) (\frak{I} | + | Nechť $\te$ je triangulace $\Omega\subset\R^n$. Pak existuje volba uzlů na hranách oblastí $K\in\te$ tak, že $\forall f \in C^(m)}(\overline{\Omega}) (\frak{I}_{\te} f \in C^{(r)}(\Omega)$, kde $m\in\N_0$ určuje společný definiční obor všech funkcionálů v $(K, \en, \pe)$ pro $K\in\te$ a $r\in\N_0$ je stupeň regularity. Přitom $r=0$, $m=0$ pro Lagrange, $r=0 a $m=1$ pro Hermita a $r=1$, $m=2$ pro Argyrise. Navíc $\frak{I}_{\te} f \in W_{\infty}^{(r+1)}(\omega). |
\end{tvrz*} | \end{tvrz*} | ||
Verze z 22. 6. 2016, 23:50
[ znovu generovat, | výstup z překladu ] | Kompletní WikiSkriptum včetně všech podkapitol. | |
PDF Této kapitoly | [ znovu generovat, | výstup z překladu ] | Přeložení pouze této kaptioly. |
ZIP | Kompletní zdrojový kód včetně obrázků. |
Součásti dokumentu 01MKP
součást | akce | popis | poslední editace | soubor | |||
---|---|---|---|---|---|---|---|
Hlavní dokument | editovat | Hlavní stránka dokumentu 01MKP | Krasejak | 23. 6. 2016 | 15:59 | ||
Řídící stránka | editovat | Definiční stránka dokumentu a vložených obrázků | Krasejak | 22. 6. 2016 | 17:18 | ||
Header | editovat | Hlavičkový soubor | Krasejak | 23. 6. 2016 | 17:31 | header.tex | |
Kapitola1 | editovat | Úvodní poznámky | Krasejak | 22. 6. 2016 | 17:20 | kapitola1.tex | |
Kapitola2 | editovat | Praktická realizace metody konečných prvků | Krasejak | 22. 6. 2016 | 17:21 | kapitola2.tex | |
Kapitola3 | editovat | Konstrukce prostoru konečných prvků $V_h$ | Krasejak | 22. 6. 2016 | 17:21 | kapitola3.tex | |
Kapitola4 | editovat | Ekvivalence prvků | Krasejak | 23. 6. 2016 | 17:30 | kapitola4.tex | |
Kapitola5 | editovat | Interpolační teorie v Sobolevových prostorech | Krasejak | 22. 6. 2016 | 17:21 | kapitola5.tex | |
Kapitola6 | editovat | Evoluční úlohy | Krasejak | 22. 6. 2016 | 17:21 | kapitola6.tex | |
Kapitola7 | editovat | Seznam tvrzení | Krasejak | 23. 6. 2016 | 16:20 | seznamtvrzeni.tex |
Zdrojový kód
%\wikiskriptum{01MKP} \chapter{Seznam tvrzení} \begin{lemma*}[Céa] Nechť pro $a(\cdot,\cdot)$ a $F(\cdot)$ v úloze $(2)$ platí předpoklady Laxovy--Milgramovy věty. Pak existuje konstanta $K_c > 0$ tak, že $$ \norm{z-z_h}_V \leq K_c \min_{v\in V_h} \norm{z-v}_V. $$ \end{lemma*} \begin{lemma*} Nechť $P(x_1, \ldots, x_n)$ je polynom $n$ proměnných stupně $k\geq 1$, který je roven nule na množině $M\subset\R^n$, kde $M$ je podprostor dimenze $n-1$. Pak existuje polynom $Q$ stupně $k-1$ tak, že $P=LQ$, kde $M \equiv \{x \colon L(x)=0\}. \end{lemma*} \begin{tvrz*} Nechť $\te$ je triangulace $\Omega\subset\R^n$. Pak existuje volba uzlů na hranách oblastí $K\in\te$ tak, že $\forall f \in C^(m)}(\overline{\Omega}) (\frak{I}_{\te} f \in C^{(r)}(\Omega)$, kde $m\in\N_0$ určuje společný definiční obor všech funkcionálů v $(K, \en, \pe)$ pro $K\in\te$ a $r\in\N_0$ je stupeň regularity. Přitom $r=0$, $m=0$ pro Lagrange, $r=0 a $m=1$ pro Hermita a $r=1$, $m=2$ pro Argyrise. Navíc $\frak{I}_{\te} f \in W_{\infty}^{(r+1)}(\omega). \end{tvrz*} \begin{tvrz*} Pro každý Lagrangeův prvek existuje afinně ekvivalentní rozmístění uzlů. \end{tvrz*} \begin{tvrz*} Konečné prvky $(K,\mathcal P,\en)$ a $(K,\mathcal P, \widetilde{\en})$ jsou interpolačně ekvivalentní právě tehdy, když lze každé $N \in \en$ vyjádřit lineární kombinací prvků z $\widetilde{\en}$. \end{tvrz*} \begin{tvrz} $Q^m u(x)$ je polynom stupně ostře menšího než $m$. \end{tvrz} \begin{tvrz} Pro každé $u \in L_1(B(x_0,\rho))$ platí $$ Q^m u(x) = \sum\limits_{\abs{\lambda}<m} x^\lambda \int\limits_{B(x_0,\rho)} \psi_\lambda(y)u(y) \dif{y}, $$ kde $\psi_\lambda \in C_0^{(\infty)}(\R^n)$ a $\supp \psi_\lambda \subset \overline{B(x_0,\rho)}$. \end{tvrz} \begin{tvrz} Pokud $\Omega \subset \R^n$ je omezená oblast, pak $\forall k \in \N_0$ a $\forall u \in L^1(B(x_0,\rho))$ platí $$ \norm{Q^m u}_{W_\infty^k(\Omega)} \leq C_{m,n,\rho}(\Omega) \norm{u}_{L_1(B(x_0,\rho))}. $$ \end{tvrz} \begin{tvrz} Nechť $m \in \N$, $\alpha \in (\N_0)^n$, $\abs{\alpha} \leq m-1$ a $u \in W_1^{\abs{\alpha}}$. Pak $$ D^\alpha(Q^m u)(x) = Q^{m-\abs{\alpha}}(D^\alpha u)(x). $$ \end{tvrz} \begin{dusl} $$ R^m u(x) = \int\limits_{B(x_0,\rho)} \Phi(y)m\left[\int\limits_0^1s^{m-1}\sum\limits_{\abs{\alpha}=m} \frac{1}{\alpha!}D^\alpha u(x+s(y-x))(x-y)^\alpha \dif{s}\right] \dif{y}. $$ \end{dusl} \begin{veta} Zbytek $R^m u(x)$ splňuje $$ R^m u(x) = m \sum\limits_{\abs{\alpha}=m}\,\int\limits_{C_x} k_\alpha(x,z)D^\alpha u(z) \dif{z}, $$ kde $z = x + s(y-x)$, $k_\alpha(x,z) = \frac{1}{\alpha !}(x-z)^\alpha k(x,z)$ a funkce $k(x,z)$, tzv. Rieszovo jádro (potenciál), splňuje odhad $$ \abs{k(x,z)} \leq C \left(1+\frac{\abs{x-x_0}}{\rho}\right) ^n \abs{z-x}^{-n}. $$ \end{veta} \begin{tvrz} Koule $B(x_0, \rho)$ může být vybrána tak, aby funkce $k$ splňovala $\forall x \in \Omega$ vztah $$ \abs{k(x,z)} \leq \widetilde{C}(1+\gamma)^n\abs{z-x}^{-n}. $$ \end{tvrz} \begin{lemma} Nechť $f \in L_p(\Omega)$ a buď $p > 1$, $m > \frac{n}{p}$, nebo $p=1$ a $m\geq n$. Pak $\forall x \in \Omega$ platí $$ \int\limits_\Omega \abs{x-z}^{m-n} \abs{f(z)} \dif{z} \leq C_{p,n,m}d^{m-\frac{n}{p}} \norm{f}_{L_p(\Omega)}, $$ kde $d = \diam \Omega$. \end{lemma} \begin{tvrz} Pro $u \in W_p^m(\Omega)$ platí $$ \norm{R^m u}_{L_\infty(\Omega)} \leq C_{m,n,\gamma} d^{m - \frac{n}{p}} \abs{u}_{W_p^m(\Omega)}, $$ pokud $p>1$, $m > \frac{n}{p}$, nebo $p=1$, $m \geq n$. \end{tvrz} \begin{veta}[Sobolevova nerovnost] Nechť $\Omega \subset \R^n$ omezená, $d = \diam \Omega$ a je $\star B$. Nechť platí buď $p>1$, $m > \frac{n}{p}$, nebo $p=1$, $m \geq n$. Nechť $u \in W_p^m(\Omega)$. Pak $u$ je na $\overline{\Omega}$ spojité a platí $$ \norm{u}_{L_\infty(\Omega)} \leq C_{m,n,\gamma,d,p} \norm{u}_{W_p^m(\Omega)}. $$ \end{veta} \begin{lemma} Nechť $f \in L^p(\Omega)$, $p\geq 1$, $m\geq 1$ a $g(x) = \int_\Omega \abs{x-z}^{m-n}\abs{f(z)}dz$. Pak $\exists C_{m,n} >0$ tak, že $$ \norm{g}_{L^p(\Omega)} \leq C_{m,n} d^m \norm{f}_{L^p(\Omega)}. $$ \end{lemma} \begin{veta}[Bramble--Hilbert] Nechť $\Omega \subset \R^n$ je omezená oblast, $d = \diam \Omega$, $B(x_0,\rho) \subset \Omega$, $\Omega$ je $\star B(x_0,\rho)$, $\rho > \frac{1}{2}\rho_{\mathrm{max}}$, $p \geq 1$, $m\geq 1$. Pak existuje $C_{m,n,\gamma}>0$ tak, že pro $u \in W_p^m (\Omega)$ platí $$ \abs{u-Q^m u}_{W_p^k (\Omega)} \leq C_{m,n,\gamma} d^{m-k} \abs{u}_{W_p^m (\Omega)}, \quad k=0,1,\dots,m. $$ \end{veta} \begin{lemma} Pokud $\en \subset \left[ C^{(l)} (\overline{K}) \right]^\star$, pak $I_K: C^{(l)} (\overline{K}) \rightarrow W_p^m(K)$ pro $p\geq 1$ je omezený lineární operátor. \end{lemma} \begin{veta} Nechť pro $(K,\mathcal P,\en)$ platí: \begin{enumerate} \item K je $\star B(x_0,\rho)$, \item $\mathcal P$ obsahuje polynomy stupně $< m$, \item $\en \subset \left[ C^{(l)} (\overline{K}) \right]^\star$. \end{enumerate} Nechť platí buď $p>1$, $m-l > \frac{n}{p}$, nebo $p=1$, $m-l \geq n$. Pak existuje $C_{m,n,\gamma,\sigma(\widehat{K})} >0$ tak, že pro $v \in C^{(\Red{m})} (\overline{K})$ a $i=0,\dots,m$ platí $$ \abs{v - I_K v}_{W_p^i(K)} \leq C_{m,n,\gamma,\sigma(\widehat{K})} \left(\diam K\right)^{m-i} \abs{v}_{W_p^m(K)}. $$ \end{veta} \begin{veta} Nechť $\left\{ \te^h \right\}_{h \in (0,1)}$ je nedegenerovaný systém rozdělení polyhedrální oblasti $\Omega \subset \R^n$ a $(K,\mathcal P,\en)$ referenční prvek splňující: \begin{itemize} \item $K$ je $\star B(x_0,\rho)$, \item $\mathcal P$ obsahuje polynomy stupně $< m$, \item $\en \subset \left[ C^{(l)} (\overline{K}) \right]^\star$, \item $p>1$, $m-l- \frac{n}{p} >0$ nebo $p=1$, $m-l- n \geq 0$. \end{itemize} Nechť $(\forall h \in (0,1])(\forall T \in \te^h)( (T,\pe_T,\en_T)$ je afinně ekvivalentní s $(K,\pe, \te$. Pak existuje $C(K,n,m,p,\rho)$, kde $B_T \geq \rho \diam T$ tak, že $\forall s = 0,1,\dots,m$ a $\forall v \in W_p^m (\Omega)$ platí $$ \left[ \sum\limits_{T \in \te^h} \norm{v - I_T v}_{W_p^s(T)}^p \right]^{1/p} \leq C(K,n,m,p,\rho) h^{m-s} \abs{v}_{W_p^m(\Omega)}. $$ \end{veta}