Analysis

• $lim sup$ , $\overline{lim}$
  • Supremum Limit, Limit Supremum, Limsup, Superior Limit, Upper Limit, Outer Limit.
• $lim inf$ , $\underset{―}{lim}$
  • Infimum Limit, Limit Infimum, Liminf, Inferior Limit, Lower Limit, Inner Limit

• A sequence $\{x_i{\}}_{i=1}^{\mathrm{\infty }}$ in a metric space $(X,d)$ is called Cauchy sequence if:

$$\mathrm{\forall }\epsilon >0,\mathrm{\exists }N>0:\mathrm{\forall }m,n>N,d(x_m,x_n)<\epsilon .$$

Useful in finding a root of a function.

Convert the problem $f(x)=0$ into the form $x=g(x)$. Initiate the iterations with $x_{n+1}=g(x_n)$. It may converge to root $\alpha$, since the root is the fixed point of the iteration.

The iteration is gueranteed to converge around the fixed-point if the slope is confined within -1 and 1. To be more precise, the graph of the function should not poke through the tops and bottoms of any square centered at the origin. Although there are possiblities that the point outside the square can converge.

The slope $m$ around the fixed-point can be used to approximate how fast the iteration converges: $O(|x_n-\alpha |)=|m{|}^n$.

• Monotone surjective function is continuous, and admits an inverse function.
• Given a sequence of functions $(f_n:I\to \mathbb{R}{)}_{n=1}^{\mathrm{\infty }}$ that converges pointwise, that is: $$\mathrm{\forall }x\in I,\underset{n\to \mathrm{\infty }}{lim}{f}_n(x)=:f(x)$$
  • the function $f(x)$ that is referred to as the pointwise limit of the sequence, need not be continuous, even if all functions $f_n$ are continuous.
  • $$f_n(x)\text{continuous}\text{⧸}\phantom{0}⟹\underset{n\to \mathrm{\infty }}{lim}(f_n(x))\text{continuous}$$
• https://en.wikipedia.org/wiki/Continuous_function

IVT

EVT

• For a continuously differentiable function $f:{\mathbb{R}}^{n+m}\to {\mathbb{R}}^m$, and a point $(\mathbf{a},\mathbf{b})$ with $f(\mathbf{a},\mathbf{b})=\mathbf{0}$,
• If the right-hand panel of the Jacobian ${\mathbf{J}}_{f,\mathbf{y}}$ is invertible, then:
  • there exists an open set $U\subset {\mathbb{R}}^n$ containing $\mathbf{a}$
  • such that there exists a unique continuously differentiable function $g:U\to {\mathbb{R}}^m$
  • such that $g(\mathbf{a})=\mathbf{b}$, and $f(\mathbf{x},g(\mathbf{x}))=\mathbf{0}$ for all $\mathbf{x}\in U$.
  • And the Jacobian matrix of partial derivatives of $g$ in $U$ is: $${[\frac{\partial g_i}{\partial x_j}(\mathbf{x})]}_{m\times n}=-[J_{f,\mathbf{y}}(\mathbf{x},g(\mathbf{x})){]}_{m\times m}^{-1}[J_{f,\mathbf{x}}(\mathbf{x},g(\mathbf{x})){]}_{m\times n}.$$

• For three interdependent variables $x,y,z$: $$\frac{\partial x}{\partial y}\frac{\partial y}{\partial z}\frac{\partial z}{\partial x}=-1.$$

• The interdependence implies the existence of a implicit function $f(x,y,z)=0$.
• By the implicit function theorem : $$\frac{\partial z}{\partial x}=-\frac{{\displaystyle \frac{\partial f}{\partial x}}}{{\displaystyle \frac{\partial f}{\partial z}}}.$$
• The same thing can be said for the others, yielding the formula.

• The result of the inverse function theorem for the derivative of an inverse.

• Generalized Chain Rule

• Generalized Product Rule

Also known as the Lagrange-Bürmann Formula. The formula for Taylor series expansion of the inverse function.

For a analytic function $f$ at a point $a$ and $f^{\prime }(a)\ne 0$, $$f^{-1}(z)=a+\sum _{n=1}^{\mathrm{\infty }}{g}_n\frac{(z-f(a){)}^n}{n!}$$ where $$g_n:=\underset{w\to a}{lim}\frac{d^{n-1}}{d{w}^{n-1}}\left[{\left(\frac{w-a}{f(w)-f(a)}\right)}^n\right].$$ Futher, $f^{-1}$ is also an analytic function at $f(a)$.

A function $f:D\to \mathbb{R}$ is real analytic on an open set $D\subset \mathbb{R}$ if for any $x_0\in D$ one can write $$f(x)=\sum _{n=0}^{\mathrm{\infty }}{a}_n(x-x_0{)}^n$$ in which the coefficients $(a_n{)}_n$ are real numbers and the series is convergent to $f(x)$ in a neighborhood of $x_0$.

• $$f(x)=\{\begin{array}{ll}{e}^{-\frac{1}{x}}& x\ge 0\\ 0& \text{otherwise}.\end{array}$$
  • Smooth but not analytic.
• Fabius function
  • Another example

• A holomorphic function is analytic.
• At all non-zero point, the tranfromation given by the function is conformal.

Many definitions of the integral does not define what $dx$ is, although the intuition is there. Therefore, the formalism must come separately.

Method for assigning values to certain improper integrals.

For a differentiable function $f:{\mathbb{R}}^n\to \mathbb{R}$, if the transformation $$p_i=\frac{\partial f}{\partial x_i}(x_1,x_2,\dots ,x_n)$$ is invertible, that is at least for the active variables the function has to be convex, then the Legendre transformation of $f$ exists, and is defined by $$f^{\ast }(p_1,p_2,\dots ,p_n)=\sum _{i=1}^n{p}_i{x}_i-f(x_1,x_2,\dots ,x_n),$$ where, $x_i$s are thought of as functions of $p_i$s, which then satisfies $$\frac{\partial f^{\ast }}{\partial p_i}=x_i.$$

This can be done on subset of variables. The variables participating in the transformation are called active variables, and the variables that are not are called passive variables.

The negative y-intercept in terms of the slope is the Legendre transformation.

• For integrable function $f$ and $g$: $$(f\ast g)(t)={\int }_{P}f(\tau )g(t-\tau )d\tau .$$
• Note that this is also the case for the complex functions.

• Commutativity
• Associativity
• Distributivity
• It is multiplication within L1 space $L^1({\mathbb{R}}^n)$, since: $$\Vert f\ast g{\Vert }_1\le \Vert g{\Vert }_1\cdot \Vert g{\Vert }_1,$$ forming the algebra $(L^1({\mathbb{R}}^n),+,\ast )$ over $\mathbb{R}$.

• The kernel $\omega$ is convolved with the image $f$ to produce the filtered image $g$: $$\omega \ast f=g.$$
• The kernel and the image are often represented with matrices.

• For a complex number $z$ the Möbius transformation $f$ is: $$f(z)=\frac{az+b}{cz+d}.$$
  • with a invertible matrix $$A=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in \mathrm{GL}(2,\mathbb{C})$$

• is one of the ingredients.
• Any Möbius map can be mapped to a rigid motion of the .
• It is the projective transformations of the complex projective line.

  • \[

    $$\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]$$$$\left[\begin{array}{c}z\\ 1\end{array}\right]$$ \sim $$\left[\begin{array}{c}{\displaystyle \frac{az+b}{cz+d}}\\ 1\end{array}\right]$$

    \]

  • and forms the projective linear group $\mathrm{PGL}(2,\mathbb{C})$.
• The subgroup projective special linear group $\mathrm{PSL}(2,\mathbb{C})$ is isomorphic to the ((66ade534-e14a-4d82-b5b9-e5a712e29779)) ${\mathrm{SO}}^{+}(1,3)$.

• Replace the partials ${\partial }_{x_i}$ by variables ${\xi }_i$ in the differential operator.

• The linear operator $P:C^{\mathrm{\infty }}(E)\to C^{\mathrm{\infty }}(F)$ on a smooth section of the vector bundles $E$ and $F$ of a manifold $X$, is a differential operator of order $k$ if, in local coordinates of $X$:
  • $$Pu(x)=\sum _{|\alpha |=k}{P}^{\alpha }(x)\frac{{\partial }^{\alpha }u}{\partial x^{\alpha }}+\text{lower-order terms}$$
  • where $P^{\alpha }(x):E\to F$ is a bundle map symmetric on the multi-indices $\alpha$.
• The $k$th order coefficients of $P$ transforms as a symmetric tensor:
  • $${\sigma }_P:S^k(T^{\ast }X)\otimes E\to F$$
  • where $S^k(T^{\ast }X)$ is the $k$th ((66e0ee31-071d-416a-a891-060ff6efd962)) of the cotangent bundle of $X$.
• This symmetric tensor ${\sigma }_P$ is known as the principal symbol of $P$.
• The principal symbol is obtained by replacing the partials ${\partial }_{x_i}$ by variables ${\xi }_i$ which is the covectors:
  • $${\sigma }_P(x,\xi )=\sum _{|\alpha |=k}{P}^{\alpha }(x){\xi }^{\alpha }$$

$$\Vert fg{\Vert }_1\le \Vert f{\Vert }_p\Vert g{\Vert }_q$$ where $f,g$ are functions on a measure space and $p,q\in [1,\mathrm{\infty }],1/p+1/q=1$ and $$\Vert \cdot {\Vert }_p={({\int }_S|\cdot {|}^{p}d\mu )}^{\frac{1}{p}}.$$