We introduce the theory of integrable functions in .
From the integrability of a function it will follow that it is differentiable infinite times, where it is holomorphic.
We will not consider generic integrals, but integrals along paths.
Therefore, we have to define and in .
A curve in is a function such that:
is edfined as the support of the curve
. The points
are respectivelty the first and the second extremum of the curve. If
we say that the curve is closed.''
is a path
if it is piecewise differentiable.
Now, we can give a meaning to the expression integrate along a path. The definition we will give is the same given in the course of Multivariable Calculus for the elements of an oriented path. All the remarks given in the case of a multivariable function follow: among them, we have the invariance of the integral with respect to the chosen oriented path. In the following, we can take .
Let be a path and a complex-valued function. We define integral of f along the path the quantity:
We define the length of the curve ( or the path ) as the quantity:
We have that:
An important concept, that distinguishes the integral along paths in from the one in is the index. In particular, we have the following:
Let be a closed path and . we define index of z with respect to the quantity:
In this defintion we go through in a counter-clockwise way. We set
We can see that every paths in satisfy an important property, analogous to the one given by the Jordan Theorem for simple and closed curves in .In fact, we have that always divides in two connected components, one bounded and the other unbounded.
There is an important relation between the function and the condition of holomorphism, as given by the following
is an holomorphic function in
. Moreover, we have that
, that is
is an interger valued function and has constant valued on each connencted component in which
is splitted by
. On the exterior of
the index is always zero.
As for the definition of interior and exterior, we follow the Jordan Theorem for simple and closed curves in We can refer to books of Multivariate Calucus about this topic.
We provide a proof of the previous theorem in a simple case:
Let and be a circumference with centre and radius . So, we have that
We obtain that:
We remind the defintions of connected, convex & simply connected set.
We say that
is connected if:
we have that
In general, for the other twoue definitions, we refer to textbooks of Multivariate Calculus, where one can find rigorous definitions for that can be easily extended to
We state two of the most important results in complex analysis, given the notion:
We consider and an holomorphic function in If is a closed path in such that then:
Equivalently, we have that:
Let be a simply connected set (and so is connected) and be a holomorphic function in If is a closed path in , then:
We see that the theorem provides a necessary condition for the integral along the path to be zero, in fact we could have cases in which the curve has a non-zero index and TEST TEST TEST so we could not say anything about the value of the integral a priori.
An important corollary of Cauchy theorem gives conditions for the comparison between integrals of the same holomorphic along two different closed paths in .
an holomorphic function in
be two closed paths in
Let be holomorphic in and be two closed paths.
We link and with two line segments with a distance between them.
It is not possible to have a closed path with zero index with respect to every . Let such given by:
By applying Cauchy's theorem to the function considered:
It follows that: