diff --git a/semester3/analysis-ii/analysis-ii-cheat-sheet.pdf b/semester3/analysis-ii/analysis-ii-cheat-sheet.pdf index 1542ade..9c99f80 100644 Binary files a/semester3/analysis-ii/analysis-ii-cheat-sheet.pdf and b/semester3/analysis-ii/analysis-ii-cheat-sheet.pdf differ diff --git a/semester3/analysis-ii/parts/diffeq/linear-ode/02_constant-coefficient.tex b/semester3/analysis-ii/parts/diffeq/linear-ode/02_constant-coefficient.tex index 9d1804a..1ddf1a4 100644 --- a/semester3/analysis-ii/parts/diffeq/linear-ode/02_constant-coefficient.tex +++ b/semester3/analysis-ii/parts/diffeq/linear-ode/02_constant-coefficient.tex @@ -4,7 +4,7 @@ The coefficients $a_i$ are constant functions of form $a_i(x) = k$ with $k$ cons % \shade{gray}{Homogeneous Equation}\rmvspace \begin{enumerate}[noitemsep] - \item Find \textit{characteristic polynomial} (of form $\lambda^k + a_{k - 1} \lambda^{k - 1} + \ldots + a_1 \lambda + a_0$ for order $k$ lin. ODE with coefficients $a_i \in \R$). + \item Find \bi{characteristic polynomial} (of form $\lambda^k + a_{k - 1} \lambda^{k - 1} + \ldots + a_1 \lambda + a_0$ for order $k$ lin. ODE with coefficients $a_i \in \R$). \item Find the roots of polynomial. The solution space is given by $\{ z_j \cdot x^{v_j - 1} e^{\gamma_i x} \divides v_j \in \N, \gamma_i \in \R \}$ where $v_j$ is the multiplicity of the root $\gamma_i$. For $\gamma_i = \alpha + \beta i \in \C$, we have $z_1 \cdot e^{\alpha x}\cos(\beta x)$, $z_2 \cdot e^{\alpha x}\sin(\beta x)$, representing the two complex conjugated solutions. \end{enumerate} diff --git a/semester3/analysis-ii/parts/vectors/differentiation/01_partial_derivatives.tex b/semester3/analysis-ii/parts/vectors/differentiation/01_partial_derivatives.tex index 108a1d3..590afb3 100644 --- a/semester3/analysis-ii/parts/vectors/differentiation/01_partial_derivatives.tex +++ b/semester3/analysis-ii/parts/vectors/differentiation/01_partial_derivatives.tex @@ -1,2 +1,24 @@ \newsectionNoPB \subsection{Partial derivatives} +\shortdef $X \subseteq \R^n$ \bi{open} if for any $x = (x_1, \ldots, x_n) \in X$ $\exists \delta > 0$ s.t. +$\{ y = (y_1, \ldots, y_n) \in \R^n : |x_i - y_i| < \delta \smallhspace \forall i \}$ is contained in $X$. +(= changing a coordinate of $x$ by $< \delta \rightarrow x' \in X$) +\shortproposition $X \subseteq \R^n$ open $\Leftrightarrow$ \bi{complement} $Y = \{ x \in \R^n : x \notin X \}$ is closed +\shortcorollary If $f: \R^n \rightarrow \R^m$ cont. and $Y \subseteq \R^m$ open, then $f^{-1}(Y)$ is open in $\R^n$ +\shortex \bi{(1)} $\emptyset$ and $\R^n$ are both open and closed. +\bi{(2)} Open ball $D = \{ x \in \R^n : ||x - x_0|| < r \}$ is open in $\R^n$ ($x_0$ the center and $r$ radius) +\bi{(3)} $I_1 \times \dots \times I_n$ is open in $\R^n$ for $I_i$ open +\bi{(4)} $X \subseteq \R^n$ open $\Leftrightarrow$ $\forall x \in X \exists \delta > 0$ s.t. open ball of center $x$ and radius $\delta$ is contained in $X$ + +\compactdef{Partial derivative} Let $X \subseteq \R^n$ open, $f: X \rightarrow \R^m$ and $1 \leq i \leq n$. +Then $f$ has partial derivative on $X$ with respect to the $i$-th variable (or coordinate), +if $\forall x_0 = (x_{0, 1}, \ldots, x_{0, n}) \in X$, $g(t) = f(x_{0, 1}, \ldots, x_{0, i - 1}, t, x_{0, i + 1}, x_{0, n})$ on set +$I = \{ t \in \R : (x_{0, 1}, \ldots, x_{0, i - 1}, t, x_{0, i + 1}, \ldots, x_{0, n}) \in X \}$ is differentiable at $t = x_{0, i}$. +The derivative $g'(x_{0, i})$ at $x_{0, i}$ is denoted: +$\frac{\partial f}{\partial x_i}(x_0), \partial_{x_i} f(x_0) \text{ or } \partial_i f(x_0)$\\ +% +\shortproposition Let $X \subseteq \R^n$ open, $f, g : X \rightarrow \R^m$ and $1 \leq i \leq n$. Then: +\bi{(1)} If $f$ \& $g$ have $\partial_i$ on $X$, then so does $f + g$ and $\partial_{x_i} (f + g) = \partial_{x_i}(f) + \partial_{x_i}(g)$ +\bi{(2)} If $m = 1$ (i.e. $\R^1$) and $f$ \& $g$ have $\partial_i$ on $X$, then so does $fg$ and $\partial_{x_i} (fg) = \partial_{x_i}(f)g + f \partial_{x_i}(g)$ +and if $g(x) \neq 0 \smallhspace \forall x \in X$, then if $f \div g$ has $\partial_i$ on $X$, then so does $f \div g$ and +$\partial_{x_i}(f \div g) = (\partial_{x_i}(f) g - f \partial_{x_i}(g)) \div g^2$