01MKP:Kapitola7: Porovnání verzí

Z WikiSkripta FJFI ČVUT v Praze
Přejít na: navigace, hledání
m
 
Řá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}_{\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).
+
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*}
  

Aktuální verze z 23. 6. 2016, 16:20

PDF [ 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.
ZIPKompletní zdrojový kód včetně obrázků.

Součásti dokumentu 01MKP

součástakcepopisposlední editacesoubor
Hlavní dokument editovatHlavní stránka dokumentu 01MKPKrasejak 23. 6. 201615:59
Řídící stránka editovatDefiniční stránka dokumentu a vložených obrázkůKrasejak 22. 6. 201617:18
Header editovatHlavičkový souborKrasejak 23. 6. 201617:31 header.tex
Kapitola1 editovatÚvodní poznámkyKrasejak 22. 6. 201617:20 kapitola1.tex
Kapitola2 editovatPraktická realizace metody konečných prvkůKrasejak 22. 6. 201617:21 kapitola2.tex
Kapitola3 editovatKonstrukce prostoru konečných prvků $V_h$Krasejak 22. 6. 201617:21 kapitola3.tex
Kapitola4 editovatEkvivalence prvkůKrasejak 23. 6. 201617:30 kapitola4.tex
Kapitola5 editovatInterpolační teorie v Sobolevových prostorechKrasejak 22. 6. 201617:21 kapitola5.tex
Kapitola6 editovatEvoluční úlohyKrasejak 22. 6. 201617:21 kapitola6.tex
Kapitola7 editovatSeznam tvrzeníKrasejak 23. 6. 201616: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,p} 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) \afeq (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}