jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Adjusted organisation in the TVS chapter.

Browse Source
This commit is contained in:
Bokuan Li
2026-05-05 21:58:54 -04:00
parent 97372173e1
commit ce56f5d167
12 changed files with 267 additions and 253 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/dg/derivative/higher.tex
View File

@@ -3,7 +3,7 @@
\begin{definition}[$n$-Fold Differentiability]
\label{definition:n-differentiable-sets}
Let $E, F$ be TVSs over $K \in \RC$ with $F$ being separated, $\sigma \subset B(E)$ be a covering ideal, $\mathcal{H} \subset B_\sigma(E; F)$ be a subspace, and $\mathcal{R}_\sigma = \mathcal{R}_\sigma(E; F)$.
Let $E, F$ be TVSs over $K \in \RC$ with $F$ being separated, $\sigma \subset \mathfrak{B}(E)$ be a covering ideal, $\mathcal{H} \subset B_\sigma(E; F)$ be a subspace, and $\mathcal{R}_\sigma = \mathcal{R}_\sigma(E; F)$.
Let $U \subset E$ be open, $f: U \to F$, $x_0 \in U$, and $n > 1$, then $f$ is \textbf{$n$-fold $\sigma$-differentiable at $x_0$} if
\begin{enumerate}
@@ -31,7 +31,7 @@
A(h, k) = f(x + h + k) - f(x + h) - f(x + k) + f(x)
\]
then there exists $r_1 \in \mathcal{R}_{B(E)}$ such that
then there exists $r_1 \in \mathcal{R}_{\mathfrak{B}(E)}$ such that
\begin{align*}
A(h, k) &= Df(x + h)(k) + Df(x)(k) \\
&+ [f(x + h + k) - f(x + h) - Df(x + h)(k)] \\
@@ -55,7 +55,7 @@
\end{align*}
Now, there exists $r_2, r_3 \in \mathcal{R}_{B(E)}$ such that for any $k \in B(0, r)$,
Now, there exists $r_2, r_3 \in \mathcal{R}_{\mathfrak{B}(E)}$ such that for any $k \in B(0, r)$,
\begin{align*}
DB_h(k) &= Df(x + h + k) - Df(x + k) - Df(x + h) + Df(x) \\
&= D^2f(x)(h + k) + Df(x) - D^2f(x)(h) \\
@@ -88,12 +88,12 @@
\begin{theorem}[Symmetry of Higher Derivatives]
\label{theorem:derivative-symmetric}
Let $E$ be a topological vector space over $K \in \RC$, $\sigma \subset B(E)$ be an ideal that includes all bounded sets contained in finite-dimensional spaces, $F$ be a separated locally convex space over $K$, $U \subset E$ be open, and $f: E \to F$ be $n$-fold $\sigma$-differentiable at $x_0 \in U$, then $D_\sigma^nf(x_0) \in B_\sigma^n(E; F)$ is symmetric.
Let $E$ be a topological vector space over $K \in \RC$, $\sigma \subset \mathfrak{B}(E)$ be an ideal that includes all bounded sets contained in finite-dimensional spaces, $F$ be a separated locally convex space over $K$, $U \subset E$ be open, and $f: E \to F$ be $n$-fold $\sigma$-differentiable at $x_0 \in U$, then $D_\sigma^nf(x_0) \in B_\sigma^n(E; F)$ is symmetric.
\end{theorem}
\begin{proof}[Proof {{\cite[Proposition 4.5.14]{Bogachev}}}. ]
Let $\seqf{h_j} \subset E$, $E_0$ be the subspace generated by $\seqf{h_j}$, and $g = f|_{E_0 \cap U}: E_0 \cap U \to F$. Since $\sigma$ includes all bounded sets contained in finite-dimensional spaces, for any $\phi \in F^*$, the mapping $\phi \circ g: E_0 \cap U \to K$ is $n$-times Fréchet-differentiable, with
\[
D_{B(E_0)}^n(\phi \circ g)(x_0) = \phi \circ D_\sigma^n g(x_0)
D_{\mathfrak{B}(E_0)}^n(\phi \circ g)(x_0) = \phi \circ D_\sigma^n g(x_0)
\]
by the \hyperref[chain rule]{proposition:chain-rule-sets-conditions}. By \autoref{theorem:derivative-symmetric-frechet}, $\phi \circ D_\sigma^n g(x_0) \in L^n(E_0; K)$ is symmetric. As this holds for any $\seqf{h_j} \subset E$ and $\phi \in F^*$, $D_{\sigma}^n g(x_0) \in B_\sigma^n(E; F)$ is symmetric by the \hyperref[Hahn-Banach theorem]{proposition:hahn-banach-utility}.
@@ -101,7 +101,7 @@
\begin{proposition}[Power Rule]
\label{proposition:multilinear-derivative}
Let $E$ be a topological vector space, $\sigma \subset B(E)$ be an ideal that includes all bounded sets contained in finite-dimensional spaces, $F$ be a Hausdorff locally convex space, and
Let $E$ be a topological vector space, $\sigma \subset \mathfrak{B}(E)$ be an ideal that includes all bounded sets contained in finite-dimensional spaces, $F$ be a Hausdorff locally convex space, and
\[
T \in \underbrace{L(E; L(E; \cdots L(E; F) \cdots ))}_{n \text{ times}} \subset B^n(E; F)
\]