1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
% !TeX program = xelatex
% !TeX encoding = utf8
% !TeX root = FuVar.tex
%% TODO: publish to CTAN
\documentclass[twocolumn]{tex/hsrzf}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Packages
%% TODO: publish to CTAN
\usepackage{tex/hsrstud}
%% Language configuration
\usepackage{polyglossia}
\setdefaultlanguage{english}
%% License configuration
\usepackage[
type={CC},
modifier={by-nc-sa},
version={4.0},
lang={english},
]{doclicense}
%% Math
\usepackage{amsmath}
\usepackage{amsthm}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Metadata
\course{Elektrotechnik}
\module{FuVar}
\semester{Spring Semseter 2021}
\authoremail{naoki.pross@ost.ch}
\author{\textsl{Naoki Pross} -- \texttt{\theauthoremail}}
\title{\texttt{\themodule} Notes}
\date{\thesemester}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Macros and settings
%% number sets
\newcommand\Nset{\mathbb{N}}
\newcommand\Zset{\mathbb{Z}}
\newcommand\Qset{\mathbb{Q}}
\newcommand\Rset{\mathbb{R}}
\newcommand\Cset{\mathbb{C}}
%% Theorems
\newtheoremstyle{fuvarzf} % name of the style to be used
{\topsep}
{\topsep}
{}
{0pt}
{\bfseries}
{.}
{ }
{ }
\theoremstyle{fuvarzf}
\newtheorem{theorem}{Theorem}
\newtheorem{definition}{Definition}
\newtheorem{lemma}{Lemma}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Document
\begin{document}
\maketitle
\tableofcontents
\section*{License}
\doclicenseThis
\section{Scalar Fields}
\begin{definition}[Scalar Field]
We call a function \(f\) a \emph{scalar field} when it maps values from
\(\Rset^n \to \Rset\).
\end{definition}
\begin{definition}[Partial derivative of a scalar field]
Let \(f: \Rset^n \to \Rset\), the \emph{partial} derivative of \(f\) with
respect to \(x_k\), (\(0 < k < n\)), is defined as
\[
\frac{\partial f}{\partial x_k} :=
\lim_{h \to 0} \frac{f(x_1, \dots, x_k + h, \dots, x_n)
- f(x_1, \dots, x_k, \dots, x_n)}{h}
= \partial_{x_k} f(x, y)
\]
That is, we keep all variables of \(f\) fixed, except for \(x_k\).
\end{definition}
\begin{definition}[Tangent plane]
For a scalar field \(f(x,y)\) we define the \emph{tangent plane} \(p(x,y)\)
at coordinates \((x_0, y_0)\) to be:
\[
p(x, y) =
f(x_0, y_0)
+ \partial_x f(x_0, y_0) (x - x_0)
+ \partial_y f(x_0, y_0) (y - y_0)
\]
\end{definition}
The above can be used to calculate the one dimensional derivative of an implicit curve.
\begin{lemma}[Implicit derivative]
The slope \(m\) of an implicit curve \(f(x,y)\) at the point \((x_0, y_0)\) is given by
\[
m = \partial_x f(x_0, y_0) / \partial_y f(x_0, y_0)
\]
of course only if \(\partial_y f(x_0, y_0) \neq 0\).
\end{lemma}
\begin{definition}[Total derivative]
\[
\dd{f}
\]
\end{definition}
\end{document}
|