Sunday, July 11, 2021

Introduction to Manifolds - Notion of $C^\infty$ functions

 There are several types of functions. Functions that behave nicely when we differentiate them and those that behave nastily. Continuous everywhere and differential nowhere is an example of the later. See Weierstrass function

When we study Manifolds we would like to avoid nasty functions and restrict ourselves to nicer functions. "smooth" or $C^\infty$ functions meet this niceness criteria.

Then, the question is what are $C^\infty$ functions?

Before jumping into definition of $C^\infty$ functions, nice to look at another concept called "real-analytic".

"real-analytic" functions are functions that are equal to their Taylor series expansion in a neighborhood of a point $p$.

Taylor series expansion of a function $f(x)$ at a point $p$ is defined as 

$f(x) = f(p) + \sum_i \frac{\partial{f}}{\partial(x^i)}|_p (x^i -p^i)+\sum_{i,j}  \frac{1}{2!}\frac{\partial^2{f}}{\partial(x^i)\partial{x^j}}|_p (x^i-p^i)(x^j-p^j)+\cdots$

Clearly for a function to be real-analytic, we need the function to have infinite derivatives that are continuous at $p$. This leads to concept of $C^\infty$ functions.

For now, we consider that we are in $\mathcal{R}^n$ space. We represent coordinates in this space with superscripts - $(x^1,x^2\cdots,x^n)$. Thus a point $p$ is represented as $(p^1,p^2,\cdots ,p^n)$. We further assume that $p \in U \subset \mathcal{R^n}$ where $U$ is an open subset of $\mathcal{R^n}$.

To qualify as a $C^\infty$ function, we require function to have  partial derivatives of all orders (all the way to infinity) at a point $p \in U$ and at $p$ the derivative must be continuous. If this is true for every point $p \in U$, then the function is $C^\infty$  on $U$. 

Simplest examples of  $C^\infty$ function are $sin(x), cos(x)$ etc.,

One caution - not all $C^\infty$ functions are real-analytic.


Weak formulation of boundary value PDE and its meaning

Energy functional An energy functional is a mapping from a function space (often a Sobolev space) to the real numbers, which assigns a "...