Skip to content

Commit

Permalink
updated typos
Browse files Browse the repository at this point in the history
  • Loading branch information
victorballester7 committed Nov 19, 2023
1 parent 1befcae commit 0d28ad2
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 10 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -314,10 +314,7 @@
$$
\end{corollary}
\begin{corollary}
Assume $a_{ij},b_j,c,f\in\mathcal{C}^\infty(\Omega)$. Let $u\in H^1(\Omega)$ be a weak solution of $Lu=f$. Then, $u\in \mathcal{C}^\infty(\Omega)$ and $\forall m\in \NN$:
$$
\norm{u}_{H^{m}(\Omega)}\leq C\left(\norm{f}_{H^{m}(\Omega)}+\norm{u}_{L^2(\Omega)}\right)
$$
Assume $a_{ij},b_j,c,f\in\mathcal{C}^\infty(\Omega)$. Let $u\in H^1(\Omega)$ be a weak solution of $Lu=f$. Then, $u\in \mathcal{C}^\infty(\Omega)$.
\end{corollary}
\begin{theorem}[Regularity up to the boundary]
Assume that $\Fr{\Omega}$ is $\mathcal{C}^2$ and that $a_{ij}\in \mathcal{C}^1(\overline{\Omega})$, $b_j,c\in L^\infty(\Omega)$. Let $f\in L^2(\Omega)$ and $u\in H^1_0(\Omega)$ be a weak solution of $\mathcal{D}_f$. Then, $u\in H^2(\Omega)$ and:
Expand All @@ -342,12 +339,12 @@
Let $\Omega\subseteq\RR^d$ open and $u\in H^1(\Omega)$. Then:
$$
u^{+}:=\begin{cases}
u & \text{if }u\geq 0 \\
0 & \text{if }u<0
u & \text{if }u> 0 \\
0 & \text{if }u\leq 0
\end{cases}\qquad
u^{-}:=\begin{cases}
-u & \text{if }u\leq 0 \\
0 & \text{if }u>0
-u & \text{if }u< 0 \\
0 & \text{if }u\leq 0
\end{cases}
$$
are also in $H^1(\Omega)$ and:
Expand All @@ -366,7 +363,7 @@
Let $\Omega\subseteq\RR^d$ open and $u\in H^1(\Omega)$. Then, $\abs{u}\in H^1(\Omega)$ and $\grad{\abs{u}}=\sign\grad{u}$.
\end{corollary}
\begin{lemma}
Let $(u_n)\in H^1(\Omega)$ be such that $u_n\overset{H^1(\Omega)}{\longrightarrow} u$. Then, $u_n^\pm\overset{H^1(\Omega)}{\longrightarrow} u^\pm$.
Let $(u_n)\in H^1(\Omega)$ be such that $u_n\overset{H^1(\Omega)}{\longrightarrow} u$. Then, ${u_n}^\pm\overset{H^1(\Omega)}{\longrightarrow} u^\pm$.
\end{lemma}
\begin{corollary}
Let $u\in H^1(\Omega)$. Then, $\Tr_{\partial\Omega}(u^\pm)={(\Tr_{\partial\Omega}u)}^\pm$.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -285,7 +285,7 @@
$$
\end{proposition}
\begin{remark}
Note that ${(P_Nu)}'=P_Nu'$, but ${(I_Nu)}'\neq I_Nu'$. What we do in generall is to pass to the Fourier space, differentiate and then come back to the physical space.
Note that ${(P_Nu)}'=P_Nu'$, but ${(I_Nu)}'\neq I_Nu'$. What we do in general is to pass to the Fourier space, differentiate and then come back to the physical space.
\end{remark}
\subsubsection{Non-periodic problems}
\begin{remark}
Expand Down

0 comments on commit 0d28ad2

Please sign in to comment.