spec / calculus.mdon commit calculus (specialist & methods) (7090965)
   1# Differential calculus
   2
   3## Limits
   4
   5$$\lim_{x \rightarrow a}f(x)$$
   6
   7$L^-$ - limit from below
   8
   9$L^+$ - limit from above
  10
  11$\lim_{x \to a} f(x)$ - limit of a point  
  12
  13- Limit exists if $L^-=L^+$
  14- If limit exists, point does not.
  15
  16Limits can be solved using normal techniques (if div 0, factorise)
  17
  18## Limit theorems
  19
  201. For constant function $f(x)=k$, $\lim_{x \rightarrow a} f(x) = k$
  212. $\lim_{x \rightarrow a} (f(x) \pm g(x)) = F \pm G$
  223. $\lim_{x \rightarrow a} (f(x) \times g(x)) = F \times G$
  234. ${\lim_{x \rightarrow a} {f(x) \over g(x)}} = {F \over G}, G \ne 0$
  24
  25Corollary: $\lim_{x \rightarrow a} c \times f(x)=cF$ where $c=$ constant
  26
  27## Solving limits for $x\rightarrow\infty$
  28
  29Factorise so that all values of $x$ are in denominators.
  30
  31e.g.
  32
  33$$\lim_{x \rightarrow \infty}{{2x+3} \over {x-2}}={{2+{3 \over x}} \over {1-{2 \over x}}}={2 \over 1} = 2$$
  34
  35
  36## Continuous functions
  37
  38A function is continuous if $L^-=L^+=f(x)$ for all values of $x$.
  39
  40## Gradients of secants and tangents
  41
  42Secant (chord) - line joining two points on curve
  43
  44Tangent - line that intersects curve at one point
  45
  46given $P(x,y) \quad Q(x+\delta x, y + \delta y)$:
  47gradient of chord joining $P$ and $Q$ is ${m_{PQ}}={\operatorname{rise} \over \operatorname{run}} = {\delta y \over \delta x}$
  48
  49As $Q \rightarrow P, \delta x \rightarrow 0$. Chord becomes tangent (two infinitesimal points are equal).
  50
  51Can also be used with functions, where $h=\delta x$.
  52
  53## First principles derivative
  54
  55$$f^\prime(x) = \lim_{\delta x \rightarrow 0}{\delta y \over \delta x}={dy \over dx}$$
  56
  57$$m_{\operatorname{tangent}}=\lim_{h \rightarrow 0}f^\prime(x)$$
  58
  59
  60
  61$$m_{\operatorname{chord PQ}}=f^\prime(x)$$
  62
  63first principles derivative:
  64$${m_{\operatorname{tangent at P}} =\lim_{h \rightarrow 0}}{{f(x+h)-f(x)}\over h}$$
  65
  66## Gradient at a point
  67
  68Given point $P(a, b)$ and function $f(x)$, the gradient is $f^\prime(a)$
  69
  70
  71## Derivatives of $x^n$
  72
  73$${d(ax^n) \over dx}=anx^{n-1}$$
  74
  75If $x=$ constant, derivative is $0$
  76
  77If $y=ax^n$, derivative is $a\times nx^{n-1}$
  78
  79If $f(x)={1 \over x}=x^{-1}, \quad f^\prime(x)=-1x^{-2}={-1 \over x^2}$
  80
  81If $f(x)=^5\sqrt{x}=x^{1 \over 5}, \quad f^\prime(x)={1 \over 5}x^{-4/5}={1 \over 5 \times ^5\sqrt{x^4}}$
  82
  83If $f(x)=(x-b)^2, \quad f^\prime(x)=2(x-b)$
  84
  85$$f^\prime(x)=\lim_{h \rightarrow 0}{{f(x+h)-f(x)} \over h}$$
  86
  87## Derivatives of $u \pm v$
  88
  89$${dy \over dx}={du \over dx} \pm {dv \over dx}$$
  90where $u$ and $v$ are functions of $x$
  91
  92## Euler's number as a limit
  93
  94$$\lim_{h \rightarrow 0} {{e^h-1} \over h}=1$$
  95
  96## Chain rule for $(f\circ g)$
  97
  98$${dy \over dx} = {dy \over du} \cdot {du \over dx}$$
  99$${d((ax+b)^n) \over dx} = {d(ax+b) \over dx} \cdot n \cdot (ax+b)^{n-1}$$
 100
 101Function notation:
 102
 103$$(f\circ g)^\prime(x)=f^\prime(g(x))g^\prime(x),\quad \mathbb{where}\hspace{0.3em} (f\circ g)(x)=f(g(x))$$
 104
 105Used with only one expression.
 106
 107e.g. $y=(x^2+5)^7$ - Cannot reasonably expand  
 108Let $u-x^2+5$ (inner expression)  
 109${du \over dx} = 2x$  
 110$y=u^7$  
 111${dy \over du} = 7u^6$  
 112
 113
 114$7u^6 \times$
 115
 116## Product rule for $y=uv$
 117
 118$${dy \over dx} = u{dv \over dx} + v{du \over dx}$$
 119
 120Surds can be left on denomintaors.
 121
 122## Quotient rule for $y={u \over v}$
 123
 124$${dy \over dx} = {{v{du \over dx} - u{dv \over dx}} \over v^2}$$
 125
 126If $f(x)={u(x) \over v(x)}$, then $f^\prime(x)={{v(x)u^\prime(x)-u(x)v^\prime(x)} \over [v(x)]^2}$
 127
 128If $y={u(x) \over v(x)}$, then derivative ${dy \over dx} = {{v{du \over dx} - u{dv \over dx}} \over v^2}$
 129
 130## Logarithms
 131
 132$$\log_b (x) = n \quad \operatorname{where} \hspace{0.5em} b^n=x$$
 133
 134Wikipedia:
 135
 136> the logarithm of a given number $x$ is the exponent to which another fixed number, the base $b$, must be raised, to produce that number $x$
 137
 138### Logarithmic identities  
 139$\log_b (xy)=\log_b x + \log_b y$  
 140$\log_b x^n = n \log_b x$  
 141$\log_b y^{x^n} = x^n \log_b y$
 142
 143### Index identities
 144$b^{m+n}=b^m \cdot b^n$  
 145$(b^m)^n=b^{m \cdot n}$  
 146$(b \cdot c)^n = b^n \cdot c^n$  
 147
 148### $e$ as a logarithm
 149
 150$$\operatorname{if} y=e^x, \quad \operatorname{then} x=\log_e y$$
 151$$\ln x = \log_e x$$
 152
 153### Differentiating logarithms
 154$${d(\log_e x)\over dx} = x^{-1} = {1 \over x}$$
 155
 156## Solving $e^x$ etc
 157
 158| $f(x)$ | $f^\prime(x)$ |xs
 159| ------ | ------------- |
 160| $\sin x$ | $\cos x$ |
 161| $\sin ax$ | $a\cos ax$ |
 162| $\cos x$ | $-\sin x$ |
 163| $\cos ax$ | $-a \sin ax$ |
 164| $e^x$ | $e^x$ |
 165| $e^{ax}$ | $ae^{ax}$ |
 166| $ax^{nx}$ | $an \cdot e^{nx}$ |
 167| $\log_e x$ | $1 \over x$ |
 168| $\log_e {ax}$ | $1 \over x$ |
 169| $\log_e f(x)$ | $f^\prime (x) \over f(x)$ |
 170| $\sin(f(x))$ | $f^\prime(x) \cdot \cos(f(x))$ |
 171
 172<!-- $${d(ax^{nx}) \over dx} = an \cdot e^nx$$ -->
 173
 174## Antidifferentiation
 175
 176$$y={x^{n+1} \over n+1} + c$$
 177
 178## Integration
 179
 180$$\int f(x) dx = F(x) + c$$
 181
 182- area enclosed by curves
 183- $+c$ should be shown on each step without $\int$
 184
 185$$\int xn = {x^{n+1} \over n+1} + c$$
 186
 187### Integral laws
 188
 189$\int f(x) + g(x) dx = \int f(x) dx + \int g(x) dx$  
 190$\int k f(x) dx = k \int f(x) dx$  
 191
 192| $f(x)$                          | $\int f(x) \cdot dx$         |
 193| ------------------------------- | ---------------------------- |
 194| $k$ (constant)                  | $kc + c$                     |
 195| $x^n$         | ${1 \over {n+1}}x^{n+1} + c$ |
 196| $1 \over x$ | $\log_e x + c$ |
 197| $e^kx$ | ${1 \over k} e^{kx} + c$ |
 198| $\sin kx$ | $-{1 \over k} \cos (kx) + c$ |
 199| $\cos kx$ | ${1 \over k} \sin (kx) + c$ |
 200| ${f^\prime (x)} \over {f(x)}$ | $\log_e f(x) + c$ |
 201| $g^\prime(x)\cdot f^\prime(g(x)$ | $f(g(x))$ (chain rule)|
 202| $f(x) \cdot g(x)$ | $\int [f^\prime(x) \cdot g(x)] dx + \int [g^\prime(x) f(x)] dx$ |
 203
 204