Formulario di Analisi 1

Formulario completo di Analisi Matematica 1: insiemi, limiti, derivate, integrali, serie, ODE. Tutte le formule in PDF.

Number Sets and Functions
Number Sets — from N to R
NZQRC\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}
2Q\sqrt{2} \notin \mathbb{Q}
Supremum, Infimum, and Completeness of R
supA=min{M:xM  xA}\sup A = \min\{M : x \leq M\;\forall x\in A\}
A boundedsupA,infARA \text{ bounded} \Rightarrow \exists\,\sup A,\,\inf A \in \mathbb{R}
Real Functions — Definition and Properties
f:AB,xf(x)f: A\to B,\quad x\mapsto f(x)
(fg)(x)=f(g(x))(f\circ g)(x) = f(g(x))
f invertible    f bijectivef \text{ invertible} \iff f \text{ bijective}
Elementary Functions
ex+y=exey,ln(xy)=lnx+lnye^{x+y}=e^x e^y,\quad \ln(xy)=\ln x+\ln y
sin2x+cos2x=1\sin^2 x+\cos^2 x=1
sin(x±y)=sinxcosy±cosxsiny\sin(x\pm y)=\sin x\cos y\pm\cos x\sin y
Complex Numbers
Algebraic form and operations
z=a2+b2|z|=\sqrt{a^2+b^2}
z=abi\overline{z}=a-bi
Gauss plane and trigonometric form
z=r(cosθ+isinθ)=reiθz = r(\cos\theta + i\sin\theta) = r e^{i\theta}
eiθ=cosθ+isinθe^{i\theta} = \cos\theta + i\sin\theta
Product, quotient and power in exponential form
(reiθ)n=rneinθ(r e^{i\theta})^n = r^n e^{in\theta}
N-th roots of unity
zk=r1/nei(θ+2πk)/n,  k=0,,n1z_k = r^{1/n} e^{i(\theta+2\pi k)/n},\; k=0,\dots,n-1
Complex exponential and applications
ex+iy=ex(cosy+isiny)e^{x+iy}=e^x(\cos y+i\sin y)
Induction & Combinatorics
Principle of induction
i=1ni=n(n+1)/2\sum_{i=1}^n i = n(n+1)/2
P(1)[P(k)P(k+1)]nP(n)P(1)\land[P(k)\Rightarrow P(k+1)]\Rightarrow\forall n\,P(n)
Binomial coefficients and Newton formula
(nk)=n!/(k!(nk)!){n \choose k} = n!/(k!(n-k)!)
(a+b)n=k=0n(nk)ankbk(a+b)^n = \sum_{k=0}^n {n \choose k} a^{n-k} b^k
Sums and progressions
k=1nak=n(a1+an)/2\sum_{k=1}^n a_k = n(a_1+a_n)/2
k=1na1qk1=a1(1qn)/(1q)\sum_{k=1}^n a_1 q^{k-1} = a_1(1-q^n)/(1-q)
Limits of Sequences and Functions
Sequences — Definition and Convergence
limnan=L    ε>0  N:  n>NanL<ε\lim_{n\to\infty}a_n=L\iff\forall\varepsilon>0\;\exists N:\;n>N\Rightarrow|a_n-L|<\varepsilon
limn(1+1/n)n=e\lim_{n\to\infty}(1+1/n)^n=e
Function Limits — Definition and Properties
limx0sinxx=1,limx0ex1x=1,limx0ln(1+x)x=1\lim_{x\to 0}\frac{\sin x}{x}=1,\quad\lim_{x\to 0}\frac{e^x-1}{x}=1,\quad\lim_{x\to 0}\frac{\ln(1+x)}{x}=1
Indeterminate Forms and Techniques
Hierarchy: lnxxαex\text{Hierarchy: }\ln x\ll x^\alpha\ll e^x
limx0sin(αx)/(βx)=α/β\lim_{x\to0}\sin(\alpha x)/(\beta x)=\alpha/\beta
limx+xn/ex=0\lim_{x\to+\infty}x^n/e^x=0
Limits at Infinity and Asymptotes
m=limx±f(x)/x,q=limx±[f(x)mx]m=\lim_{x\to\pm\infty}f(x)/x,\quad q=\lim_{x\to\pm\infty}[f(x)-mx]
Vertical asymptote: limxx0f(x)=+\text{Vertical asymptote: }\lim_{x\to x_0}|f(x)|=+\infty
Derivatives and Differential Calculus Theorems
Definition of the Derivative
f(x0)=limh0f(x0+h)f(x0)hf'(x_0)=\lim_{h\to0}\frac{f(x_0+h)-f(x_0)}{h}
f differentiable at x0f continuousf\text{ differentiable at }x_0\Rightarrow f\text{ continuous}
Differentiation Rules
(fg)=fg+fg,(f/g)=(fgfg)/g2(fg)'=f'g+fg',\quad(f/g)'=(f'g-fg')/g^2
[f(g(x))]=f(g(x))g(x)[f(g(x))]'=f'(g(x))\cdot g'(x)
(ex)=ex,(lnx)=1/x(e^x)'=e^x,\quad(\ln x)'=1/x
Rolle's, Lagrange's, and Cauchy's Theorems
c(a,b):  f(c)=f(b)f(a)ba\exists c\in(a,b):\;f'(c)=\frac{f(b)-f(a)}{b-a}
f0    f non-decreasingf'\geq0\iff f\text{ non-decreasing}
L'Hôpital's Rule
limfg=0/0limfg\lim\frac{f}{g}\stackrel{0/0}{=}\lim\frac{f'}{g'}
Taylor and Maclaurin Series
f(x)=k=0nf(k)(x0)k!(xx0)k+o((xx0)n)f(x)=\sum_{k=0}^n\frac{f^{(k)}(x_0)}{k!}(x-x_0)^k+o((x-x_0)^n)
ex=xk/k!,sinx=xx3/6+o(x3)e^x=\sum x^k/k!,\quad\sin x=x-x^3/6+o(x^3)
Taylor Series
Power series and radius of convergence
R=1/limnannR = 1/\lim_{n\to\infty}\sqrt[n]{|a_n|}
R=limnan/an+1R = \lim_{n\to\infty}|a_n/a_{n+1}|
Taylor and MacLaurin series
f(x)=k=0f(k)(x0)k!(xx0)kf(x)=\sum_{k=0}^\infty\frac{f^{(k)}(x_0)}{k!}(x-x_0)^k
Rn(x)=f(n+1)(ξ)(xx0)n+1/(n+1)!R_n(x)=f^{(n+1)}(\xi)(x-x_0)^{n+1}/(n+1)!
Notable expansions
ex=k=0xk/k!e^x=\sum_{k=0}^\infty x^k/k!
sinx=k=0(1)kx2k+1/(2k+1)!\sin x = \sum_{k=0}^\infty(-1)^k x^{2k+1}/(2k+1)!
cosx=k=0(1)kx2k/(2k)!\cos x = \sum_{k=0}^\infty(-1)^k x^{2k}/(2k)!
Applications to limits
limx0sinxxx3=16\lim_{x\to0}\frac{\sin x - x}{x^3} = -\frac{1}{6}
f(x)=k=0nf(k)(x0)k!(xx0)k+o((xx0)n)f(x) = \sum_{k=0}^n \frac{f^{(k)}(x_0)}{k!}(x-x_0)^k + o((x-x_0)^n)
Complete Function Analysis (Curve Sketching)
2. Domain and Symmetries
Dom(f)={xR:f(x) is defined}\text{Dom}(f) = \{x\in\mathbb{R} : f(x)\text{ is defined}\}
f even    f(x)=f(x)  xDomf \text{ even} \iff f(-x)=f(x)\;\forall x\in\text{Dom}
f odd    f(x)=f(x)  xDomf \text{ odd} \iff f(-x)=-f(x)\;\forall x\in\text{Dom}
4. Axis Intercepts and Sign
f(0)=y-interceptf(0) = y\text{-intercept}
f(x)=0x-intercepts (zeros)f(x) = 0 \Rightarrow x\text{-intercepts (zeros)}
Sign: study sgn(num)sgn(den)\text{Sign: study }\text{sgn}(\text{num}) \cdot \text{sgn}(\text{den})
Limits at Domain Boundaries and Asymptotes
Vert. asymp. at x0    limxx0f(x)=+\text{Vert. asymp. at }x_0\iff\lim_{x\to x_0}|f(x)|=+\infty
Horiz. asymp. y=L    limx±f(x)=L\text{Horiz. asymp. }y=L\iff\lim_{x\to\pm\infty}f(x)=L
m=limxf(x)x,q=limx[f(x)mx]m=\lim_{x\to\infty}\frac{f(x)}{x},\quad q=\lim_{x\to\infty}[f(x)-mx]
First Derivative — Monotonicity, Maxima, Minima
f(x0)=0,  f changes +x0 local maxf'(x_0)=0,\;f'\text{ changes }+\to-\Rightarrow x_0\text{ local max}
f(x0)=0,  f changes +x0 local minf'(x_0)=0,\;f'\text{ changes }-\to+\Rightarrow x_0\text{ local min}
f(x0)=0,  f(x0)>0min;f(x0)<0maxf'(x_0)=0,\;f''(x_0)>0\Rightarrow\text{min};\quad f''(x_0)<0\Rightarrow\text{max}
Second Derivative — Concavity and Inflection Points
f(x)>0f convex ()f''(x)>0\Rightarrow f\text{ convex (}\cup\text{)}
f(x)<0f concave ()f''(x)<0\Rightarrow f\text{ concave (}\cap\text{)}
f(x0)=0 with sign changex0 inflection pointf''(x_0)=0\text{ with sign change}\Rightarrow x_0\text{ inflection point}
9. Summary Table and Graph
Table: x,  f(x),  f(x),  f(x)\text{Table: } x,\; f'(x),\; f(x),\; f''(x)
Graph: asymptotes \rightarrownotable points \rightarrowcurve\text{Graph: asymptotes \rightarrow notable points \rightarrow curve}
Integrals — Indefinite and Definite
Indefinite Integral — Antiderivative
xndx=xn+1/(n+1)+C,1/xdx=lnx+C\int x^n\,dx=x^{n+1}/(n+1)+C,\quad\int1/x\,dx=\ln|x|+C
exdx=ex+C,sinxdx=cosx+C\int e^x\,dx=e^x+C,\quad\int\sin x\,dx=-\cos x+C
Integration Methods
udv=uvvdu\int u\,dv=uv-\int v\,du
f(g(x))g(x)dx=f(t)dt\int f(g(x))g'(x)\,dx=\int f(t)\,dt
Definite Integral and Fundamental Theorem
abf(x)dx=F(b)F(a)\int_a^b f(x)\,dx=F(b)-F(a)
d/dxaxf(t)dt=f(x)d/dx\int_a^x f(t)\,dt=f(x)
Improper Integrals
1+xαdx=1/(α1)  (α>1)\int_1^{+\infty}x^{-\alpha}dx=1/(\alpha-1)\;(\alpha>1)
0+exdx=1\int_0^{+\infty}e^{-x}dx=1
Numerical Series
Definition and Convergence
n=0qn=1/(1q)  (q<1)\sum_{n=0}^\infty q^n=1/(1-q)\;(|q|<1)
1/nα:conv. if α>1, div. if α1\sum 1/n^\alpha:\text{conv. if }\alpha>1,\text{ div. if }\alpha\leq1
Convergence Tests
L=liman+1/an:  L<1conv.,  L>1div.L=\lim|a_{n+1}/a_n|:\;L<1\Rightarrow\text{conv.},\;L>1\Rightarrow\text{div.}
(1)nbn conv. if bn0\sum(-1)^n b_n\text{ conv. if }b_n\searrow0
Ordinary Differential Equations (ODEs)
First-Order Separable ODEs
y=kyy=y0ek(xx0)y'=ky\Rightarrow y=y_0e^{k(x-x_0)}
Second-Order Linear ODEs with Constant Coefficients
aλ2+bλ+c=0a\lambda^2+b\lambda+c=0
Δ<0:  y=eαx(C1cosβx+C2sinβx)\Delta<0:\;y=e^{\alpha x}(C_1\cos\beta x+C_2\sin\beta x)
First-Order Linear ODEs
General form and integrating factor
μ(x)=ea(x)dx\mu(x)=e^{\int a(x)\,dx}
y=1μμbdx+Cμy = \frac{1}{\mu}\int \mu b\,dx + \frac{C}{\mu}
Cauchy problem
y(x0)=y0!y solutiony(x_0)=y_0 \Rightarrow \exists!\,y\text{ solution}
y+a(x)y=b(x),  y(x0)=y0y'+a(x)y=b(x),\;y(x_0)=y_0
Applications
Ldi/dt+Ri=VL\,di/dt + Ri = V
i(t)=V/R(1eRt/L)i(t) = V/R(1-e^{-Rt/L})