89 lines
2.8 KiB
TeX
89 lines
2.8 KiB
TeX
\documentclass{article}
|
|
\input{../note-setup-leftsidebox}
|
|
|
|
\title{\LaTeX{} Note Template}
|
|
\author{}
|
|
\date{}
|
|
|
|
\begin{document}
|
|
|
|
\section{Demo}
|
|
|
|
\begin{theorem}[xxx]
|
|
If $1<p<\infty$ and $m > n/p$, or $p=1$ and $m \ge n$, there exist a constant $C = C(m,n,\gamma,p)$, such that
|
|
\begin{equation*}
|
|
\Vert R^m u \Vert_{L^\infty(\Omega)} \le C d^{m-n/p} |u|_{W^m_p(\Omega)}
|
|
\end{equation*}
|
|
for all $u \in W^m_p(\Omega)$.
|
|
\end{theorem}
|
|
\begin{proof}[\upshape\bfseries Proof of xxx]
|
|
First, we assume that $u \in C^m(\Omega) \cap W^m_p(\Omega)$. We can use the pointwise representation of $R^mu(x)$.
|
|
\begin{align*}
|
|
|R^mu(x)| ={} m \left| \sum_{|\alpha| = m} \int_{C_x} k_{\alpha}(x,z) D^\alpha u(z)\,dz \right|
|
|
\le{} C \sum_{|\alpha|=m} \int_{\Omega} |x-z|^{-n+m} |D^\alpha u(z)|\,dz
|
|
\le{} C' d^{m-\frac{n}{p}} |u|_{W^m_p(\Omega)}.
|
|
\end{align*}
|
|
The proof can be completed via a density argument.
|
|
\end{proof}
|
|
|
|
\begin{proposition}[xxx]
|
|
\begin{equation*}
|
|
Q^m u(x) = \sum_{|\lambda| < m} \left( \int_B \psi_\lambda(y) u(y)\,dy \right) x^\lambda
|
|
\end{equation*}
|
|
where $\psi_\lambda \in C_0^\infty(\mathbb{R}^n)$ and $\mathrm{supp}(\phi_\lambda) \in \overline{B}$.
|
|
\end{proposition}
|
|
|
|
|
|
\begin{corollary}[xxx]
|
|
Under the assumption of xxx, the following inequality holds
|
|
\begin{equation*}
|
|
\inf_{v \in P^{m-1}} \Vert u - v \Vert_{W^k_p(\Omega)} \le C_{m,n,\gamma} d^{m-k} |u|_{W^k_p(\Omega)}, \,\, k = 0,1,\dots,m,
|
|
\end{equation*}
|
|
\end{corollary}
|
|
|
|
\begin{lemma}[xxx]
|
|
Let $f \in L^p(\Omega)$ for $p \ge 1$ and $m \ge 1$ and let $g(x) = \int_\Omega |x-z|^{-n+m} |f(z)|\,dz$.
|
|
Then $\Vert g \Vert_{L^p(\Omega)} \le C_{m,n} d^m \Vert f\Vert_{L^p(\Omega)}$.
|
|
\end{lemma}
|
|
|
|
\begin{claim}[xxx]
|
|
$Q^m u$ is a polynomial of degree less than $m$ in $x$.
|
|
\end{claim}
|
|
|
|
|
|
\begin{definition}[xxx]
|
|
$\Omega$ is star-shaped with respect to the ball $B$ if , for all $x \in \Omega$, the closed convex hull of $\{x\} \cup B$ is a subset of $\Omega$.
|
|
\end{definition}
|
|
|
|
|
|
\begin{example}[xxx]
|
|
The integral form of the Taylor remainder for $f \in C^m([0,1])$ is given by
|
|
\begin{equation*}
|
|
f(s) = \sum_{k=0}^{m-1}\frac{1}{k!} f^{(k)}(0) + \int_0^s \frac{1}{(m-1)!} f^{(m)}(t)(s-t)^{m-1}\,dt.
|
|
\end{equation*}
|
|
\end{example}
|
|
|
|
|
|
\begin{problem}[xxx]
|
|
Calculate the integral of the function $g(x) = 3x^2$ with respect to $x$.
|
|
\end{problem}
|
|
\begin{solution}[xxx]
|
|
To calculate the integral of $g(x) = 3x^2$, we use the power rule for integration:
|
|
\[
|
|
\int 3x^2 \, dx = x^3 + C
|
|
\]
|
|
where $C$ is the constant of integration.
|
|
\end{solution}
|
|
|
|
|
|
\begin{remark}[xxx]
|
|
Such a polynomial is not unique, due to the choice od cut-off function $\phi$.
|
|
\end{remark}
|
|
|
|
|
|
\begin{note}[xxx]
|
|
The degree of $Q^m u$ is at most $m-1$.
|
|
\end{note}
|
|
|
|
\end{document}
|