Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Lecture 13/latex
\setcounter{section}{13}
In this lecture, we introduce further important functions via their power series.
\zwischenueberschrift{The hyperbolic functions}
\inputdefinition
{ }
{
The function defined for
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
by
\mavergleichskettedisp
{\vergleichskette
{ \sinh x
}
{ \defeq} { { \frac{ 1 }{ 2 } } { \left( e^x - e^{-x} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}
\inputdefinition
{ }
{
The function defined for
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
by
\mavergleichskettedisp
{\vergleichskette
{ \cosh x
}
{ \defeq} { { \frac{ 1 }{ 2 } } { \left( e^x + e^{-x} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}
\inputfaktbeweis
{Hyperbolic functions/R/Elementary properties/Fact}
{Lemma}
{}
{
\faktsituation {The functions
hyperbolic sine
and
hyperbolic cosine
have the following properties.}
\faktfolgerung {\aufzaehlungdrei {
\mavergleichskettedisp
{\vergleichskette
{ \cosh x + \sinh x
}
{ =} { e^x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
} {
\mavergleichskettedisp
{\vergleichskette
{ \cosh x - \sinh x
}
{ =} { e^{-x }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
} {
\mavergleichskettedisp
{\vergleichskette
{ ( \cosh x )^2 - ( \sinh x )^2
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
{See Exercise 13.1 . }
\inputfaktbeweis
{Hyperbolic function/R/Monotonicity properties/Fact}
{Lemma}
{}
{
\faktsituation {}
\faktfolgerung {The function
hyperbolic sine
is
strictly increasing,
and the function
hyperbolic cosine
is strictly decreasing on \mathl{\R_{\leq 0}}{} and strictly increasing on \mathl{\R_{\geq 0}}{.}}
\faktzusatz {}
}
{
See Exercise 13.3 and Exercise 13.29 .
\inputdefinition
{ }
{
The function
\mathdisp {\R \longrightarrow \R
, x \longmapsto \tanh x = { \frac{ \sinh x }{ \cosh x } } = { \frac{ e^x - e^{-x} }{ e^x + e^{-x } }}} { , }
}
\inputdefinition
{ }
{
A
function
$f \colon \R \rightarrow \R$
is called \definitionswort {even}{,} if for all
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
the identity
\mavergleichskettedisp
{\vergleichskette
{ f(x)
}
{ =} { f(-x)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
holds.
A function
$f \colon \R \rightarrow \R$
is called \definitionswort {odd}{,} if for all
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
the identity
\mavergleichskettedisp
{\vergleichskette
{ f(x)
}
{ =} { -f(-x)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
}
The hyperbolic cosine is an even and the hyperbolic sine is an odd function.
\zwischenueberschrift{The circle and the trigonometric functions}
In $\R^2$, the distance between two points
\mavergleichskette
{\vergleichskette
{P,Q
}
{ \in }{ \R^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is a positive real number
\zusatzklammer {or equals $0$ in case the points coincide} {} {.}
If for both points the coordinates are given, say
\mathkor {} {P=(x_1,y_1)} {and} {Q=(x_2,y_2)} {,}
then the distance equals
\mavergleichskettedisp
{\vergleichskette
{ d(P,Q)
}
{ =} { \sqrt{ (x_2-x_1)^2+ (y_2-y_1)^2 }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
This equation rests on the Pythagorean theorems. In particular, the distance of every point
\mavergleichskette
{\vergleichskette
{P
}
{ = }{ (x,y)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
to the zero point \mathl{(0,0)}{} is
\mathdisp {\sqrt{x^2 +y^2}} { . }
As the coordinates are real numbers, so are the distances. If a point $M$ and a positive real number $r$ are given, then the set of all points in the plane, which have to $M$ the distance $r$, is the circle around $M$ with radius $r$. Written in coordinates, the definition is as follows.
\inputdefinition
{ }
{
Let
\mavergleichskette
{\vergleichskette
{M
}
{ = }{(a,b)
}
{ \in }{\R^2
}
{ }{
}
{ }{
}
}
{}{}{}
and
\mavergleichskette
{\vergleichskette
{ r
}
{ \in }{ \R_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Then the set
\mathdisp {{ \left\{ (x,y) \in \R^2 \mid (x-a)^2+(y-b)^2 = r^2 \right\} }} { }
}
We stress that we mean the circumference and not the full disk. All circles are essentially the same, for the most important properties neither the center nor the radius are relevant. From this perspective, the unit circle is the simplest circle.
\inputdefinition
{ }
{
The set
\mavergleichskettedisp
{\vergleichskette
{E
}
{ \defeq} { { \left\{ (x,y) \in \R^2 \mid x^2+y^2 = 1 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
}
The unit circle has radius $1$ and center
\mavergleichskette
{\vergleichskette
{0
}
{ = }{(0,0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
In a naive approach, the trigonometric functions \stichwort {sine} {} and \stichwort {cosine} {} are defined with the help of the unit circle.
An \anfuehrung{angle}{} $\alpha$ at the zero point
\zusatzklammer {measured starting with the positive \anfuehrung{$x$-axis}{} and going \anfuehrung{counterclockwise}{}} {} {}
defines a ray. Since this ray has a unique intersection point
\mavergleichskette
{\vergleichskette
{ P(\alpha)
}
{ = }{ (x,y)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
with the unit circle, the angle defines a unique point on the unit circle. The coordinates of this point are by definition
\mavergleichskettedisp
{\vergleichskette
{ P(\alpha)
}
{ =} { (\cos \alpha, \sin \alpha )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
that is, the $x$-coordinate is given by cosine, and the $y$-coordinate is given by sine. Hence, many important properties are immediately clear:
\aufzaehlungfuenf {We have
\mavergleichskettedisp
{\vergleichskette
{ { \left( \cos \alpha \right) }^2 + { \left( \sin \alpha \right) }^2
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
} {We have
\mathkor {} {\cos 0 =1} {and} {\sin 0 =0} {.}
} {If the angle $\beta$ represents a quarter turn, then
\mathkor {} {\cos \beta = 0} {and} {\sin \beta = 1} {.}
} {We have
\mathkor {} {\cos { \left( -\alpha \right) } = \cos \alpha} {and} {\sin { \left( -\alpha \right) } = - \sin \alpha} {.}
Here $- \alpha$ means the opposite angle and the opposite ray.
} {The values of sine and cosine repeat themselves after a complete turn.
}
This definition of the trigonometric functions is intuitively clear, however, it is not satisfactory in several respects. \aufzaehlungdrei {It is not clear how to measure an angle. } {There is no analytic \anfuehrung{computable}{} expression how to calculate for a given angle the values of sine and cosine. } {Hence, there is no fundament to prove properties about these functions. }
Related with these deficits, is that we do not yet have a precise definition for the number $\pi$. This number equals the area of the unit circle and equals half of the length of the circumference. However, the concepts of an \anfuehrung{area bounded by curves}{} and of the \anfuehrung{length of a curve}{} are not easy. Hence, it is all in all better to define the trigonometric functions with the help of their power series, and then to prove step by step the relations with the circle. In this way, one can also introduce the number $\pi$ via these functions, and introduce the angle as the length of the circular arc, after we have established the length of a curve(what we will do in the second semester).
\zwischenueberschrift{Polar coordinates and cylindrical coordinates}
We discuss several important applications of trigonometric functions like polar coordinates, understanding angles and the trigonometric functions in a naive way.
\inputbeispiel{}
{
An angle $\alpha$ and a positive real number $r$ define a unique point
\mavergleichskettedisp
{\vergleichskette
{ P
}
{ =} { (x,y)
}
{ =} { (r \cos \alpha, r \sin \alpha )
}
{ =} { r ( \cos \alpha, \sin \alpha )
}
{ } {
}
}
{}{}{}
in the real plane $\R^2$. Here, $r$ is the distance between the point $P$ and the zero point \mathl{(0,0)}{} and \mathl{( \cos \alpha, \sin \alpha )}{} means the intersecting point of the ray through $P$ with the unit circle. Every point
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{ (x,y)
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
}
{}{}{}
has a unique representation with
\mavergleichskette
{\vergleichskette
{ r
}
{ = }{ \sqrt{x^2+y^2}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and with an angle $\alpha$, which has to be chosen accordingly
\zusatzklammer {the zero point is represented by
\mavergleichskette
{\vergleichskette
{ r
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and an arbitrary angle} {} {.}
The components \mathl{(r, \alpha)}{} are called the \stichwort {polar coordinates} {} of $P$.
}
\inputbeispiel{}
{
Every complex number
\mathbed {z \in \Complex} {}
{z \neq 0} {}
{} {} {} {,}
can be written uniquely as
\mavergleichskettedisp
{\vergleichskette
{ z
}
{ =} { r ( \cos \alpha, \sin \alpha )
}
{ =} { (r \cos \alpha , r \sin \alpha )
}
{ =} { r \cos \alpha + (r \sin \alpha) { \mathrm i}
}
{ } {
}
}
{}{}{}
with a positive real number $r$, which is the distance between $z$ and the zero point
\zusatzklammer {thus,
\mavergleichskette
{\vergleichskette
{ r
}
{ = }{ \betrag { z }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
and an angle $\alpha$ between $0$ and below $360$ degree, measured counterclockwise starting with the positive real axis. The pair \mathl{(r, \alpha)}{} constitutes the \stichwort {polar coordinates} {} of the complex number.
Polar coordinates in the real plane and for complex numbers are the same. However, the polar coordinates allow a new interpretation of the multiplication of complex numbers: Because of
\mavergleichskettealign
{\vergleichskettealign
{ (r \cos \alpha + { \mathrm i} r \sin \alpha ) \cdot (s \cos \beta + { \mathrm i} s \sin \beta )
}
{ =} { rs (\cos \alpha \cos \beta - \sin \alpha \sin \beta) + { \mathrm i} rs (\cos \alpha \sin \beta + \sin \alpha \cos \beta)
}
{ =} { rs (\cos (\alpha + \beta) + { \mathrm i} \sin (\alpha + \beta) )
}
{ } {
}
{ } {
}
}
{}
{}{}
\zusatzklammer {where we have used the addition theorems for sine and cosine} {} {,}
one can multiply two complex numbers by multiplying their modulus and adding their angles.
}
This new way of looking at the multiplication of complex numbers, yields also a new understanding of roots of complex numbers, which exist, due to the fundamental theorem of algebra. If
\mavergleichskette
{\vergleichskette
{z
}
{ = }{r \cos \alpha +r { \mathrm i} \sin \alpha
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
then
\mavergleichskettedisp
{\vergleichskette
{w
}
{ =} { \sqrt[n]{r}\cos { \frac{ \alpha }{ n } } + \sqrt[n]{r} { \mathrm i} \sin { \frac{ \alpha }{ n } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
is an $n$-th root of $z$. This means that one has to take the real $n$-th root of the modulus of the complex number and one has to divide the angle by $n$.
\inputbeispiel{}
{
A spatial variant of
the polar coordinates
are the so-called \stichwort {cylindrical coordinates} {.} A triple
\mavergleichskette
{\vergleichskette
{ (r, \alpha, z)
}
{ \in }{\R_+ \times [0, 2 \pi[ \times \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is sent to the
Cartesian coordinates
\mavergleichskettedisp
{\vergleichskette
{(x,y,z)
}
{ =} { (r \cos \alpha ,r \sin \alpha ,z)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\zwischenueberschrift{The trigonometric series}
We discuss now the analytic approach to the trigonometric functions.
\inputdefinition
{ }
{
For
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
the series
\mathdisp {\sum_{ n = 0}^\infty \frac{ (-1)^{ n } x^{2n} }{(2n)!}} { }
is called the \definitionswort {cosine series}{,} and the series
\mathdisp {\sum_{ n = 0}^\infty \frac{ (-1)^{ n } x^{2n+1} }{(2n +1 )!}} { }
}
By comparing with the exponential series we see that these series converge absolutely for every $x$. The corresponding functions
\mathdisp {\cos x \defeq \sum_{ n = 0}^\infty \frac{ (-1)^{ n } x^{2n} }{(2n)!} \text{ and } \sin x \defeq \sum_{ n = 0}^\infty \frac{ (-1)^{ n } x^{2n+1} }{(2n +1 )!}} { }
are called \stichwort {sine} {} and \stichwort {cosine} {.} Both functions are related to the exponential function, but we need the complex numbers to see this relation. The point is that one can also plug in complex numbers into power series
\zusatzklammer {the convergence is then not on a real interval but on a disk} {} {.}
For the exponential series and
\mavergleichskette
{\vergleichskette
{ z
}
{ = }{ { \mathrm i} x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {where $x$ might be real or complex} {} {}
we get
\mavergleichskettealign
{\vergleichskettealign
{ \exp { \left( { \mathrm i} x \right) }
}
{ =} { \sum_{k = 0}^\infty { \frac{ ( { \mathrm i} x)^k }{ k! } }
}
{ =} { \sum_{k = 0, \, k \text{ even} }^\infty { \frac{ ( { \mathrm i}x)^k }{ k! } } + \sum_{k = 0, \, k \text{ odd} }^\infty { \frac{ ( { \mathrm i} x)^k }{ k! } }
}
{ =} { \sum_{n = 0 }^\infty { \frac{ ( { \mathrm i} x)^{2n} }{ (2n) ! } } + \sum_{n = 0 }^\infty { \frac{ ( { \mathrm i} x)^{2n+1} }{ (2n+1) ! } }
}
{ =} { \sum_{n = 0 }^\infty (-1)^n { \frac{ x^{2n} }{ (2n) ! } } + { \mathrm i} (-1)^n \sum_{n = 0 }^\infty { \frac{ (x)^{2n+1} }{ (2n+1) ! } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { \cos x + { \mathrm i} \sin x
}
{ } {}
{ } {}
{ } {}
}
{}{.}
With this relation between the complex exponential function and the trigonometric functions
\zusatzklammer {which is called \stichwort {Euler's formula} {}} {} {,}
one can prove many properties quite easily. Special cases of this formula are
\mavergleichskettedisp
{\vergleichskette
{ e^{ \pi { \mathrm i}}
}
{ =} { -1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
and
\mavergleichskettedisp
{\vergleichskette
{ e^{2 \pi { \mathrm i}}
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Sine and cosine are continuous functions, due to Theorem 12.2 . Further important properties are given in the following theorem.
\inputfaktbeweis
{Sine and cosine/Real/Properties/Fact}
{Theorem}
{}
{
\faktsituation {The functions
\mathdisp {\R \longrightarrow \R
, x \longmapsto \cos x} { , }
and
\mathdisp {\R \longrightarrow \R
, x \longmapsto \sin x} { , }
have the following properties for
\mavergleichskette
{\vergleichskette
{ x,y
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {\aufzaehlungvier {We have
\mathkor {} {\cos 0 =1} {and} {\sin 0 =0} {.}
} {We have
\mathkor {} {\cos { \left( -x \right) } = \cos x} {and} {\sin { \left( -x \right) } = - \sin x} {.}
} {The addition theorems
\mavergleichskettedisp
{\vergleichskette
{ \cos (x+y)
}
{ =} { \cos x \cdot \cos y - \sin x \cdot \sin y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
and
\mavergleichskettedisp
{\vergleichskette
{ \sin (x+y)
}
{ =} { \sin x \cdot \cos y + \cos x \cdot \sin y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
hold.
} {We have
\mavergleichskettedisp
{\vergleichskette
{ ( \cos x)^2 + (\sin x)^2
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
}
{
(1) and (2) follow directly from the definitions of the series.
(3). The $2n$-th summand
\zusatzklammer {the term which refers to the power with exponent $2n$} {} {}
in the cosine series
\zusatzklammer {the coefficients referring to $x^{i}$, $i$ odd, are $0$} {} {}
of \mathl{x+y}{} is
\mavergleichskettealign
{\vergleichskettealign
{ { \frac{ (-1)^n (x+y)^{2n} }{ (2n)! } }
}
{ =} { { \frac{ (-1)^n }{ (2n)! } } \sum_{i = 0}^{2n} \binom { 2n } { i } x^{i} y^{2n-i}
}
{ =} { (-1)^n \sum_{i = 0}^{2n} { \frac{ 1 }{ i! (2n-i)! } } x^{i} y^{2n-i}
}
{ =} {(-1)^n \sum_{j = 0}^{n} { \frac{ x^{2j } y^{2n-2j} }{ (2j)! (2n-2j )! } } + (-1)^n \sum_{j = 0}^{n-1} { \frac{ x^{2j+1} y^{2n-2j-1} }{ (2j+1)! (2n-2j-1)! } }
}
{ } {
}
}
{}
{}{,}
where in the last step we have split up the index set into even and odd numbers.
The $2n$-th summand in the
Cauchy product
of
\mathkor {} {\cos x} {and} {\cos y} {}
is
\mavergleichskettealign
{\vergleichskettealign
{ \sum_{j = 0}^n { \frac{ (-1)^{j} (-1)^{n-j} }{ (2j)! (2(n-j))! } } x^{2j} y^{2(n-j)}
}
{ =} {(-1)^{n} \sum_{j = 0}^n { \frac{ x^{2j} y^{2(n-j)} }{ (2j)! (2(n-j))! } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}
{}{,}
and the $2n$-th summand in the Cauchy product of
\mathkor {} {\sin x} {and} {\sin y} {}
is
\mavergleichskettealign
{\vergleichskettealign
{ \sum_{j = 0}^{n-1} { \frac{ (-1)^{j} (-1)^{n-1-j} }{ (2j+1)! (2(n-1-j)+1)! } } x^{2j+1} y^{2(n-j)+1}
}
{ =} {(-1)^{n-1} \sum_{j = 0}^{n-1} { \frac{ x^{2j+1} y^{2(n-1-j)+1} }{ (2j+1)! (2(n-1-j)+1)! } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}
{}{.}
Hence, both sides of the addition theorem coincide in the even case. For an odd index the left-hand side is $0$. Since in the cosine series only even exponents occur, it follows that in the Cauchy product of the two cosine series only exponents of the form \mathl{x^iy^j}{} with $i,j$ even occur. Since in the sine series only odd exponents occur, it follows that in the Cauchy product of the two sine series only exponents of the form \mathl{x^iy^j}{} with \mathl{i+j}{} even occur. Therefore terms of the form \mathl{x^iy^j}{} with \mathl{i+j}{} odd occur neither on the left nor on the right-hand side.
The addition theorem for sine is proved in a similar way.
(4). From the addition theorem for cosine, applied to
\mavergleichskette
{\vergleichskette
{ y
}
{ \defeq }{ -x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
and because of (2), we get
\mavergleichskettealign
{\vergleichskettealign
{ 1
}
{ =} { \cos 0
}
{ =} { \cos { \left( x-x \right) }
}
{ =} { \cos x \cdot \cos { \left( -x \right) } - \sin x \cdot \sin { \left( -x \right) }
}
{ =} { \cos x \cdot \cos x + \sin x \cdot \sin x
}
}
{}
{}{.}
The last statement in this theorem means that the pair \mathl{( \cos x, \sin x )}{} is a point on the \stichwort {unit circle} {} \mathl{{ \left\{ (u,v) \mid u^2+v^2 = 1 \right\} }}{.} We will see later that every point of the unit circle might be written as \mathl{( \cos x, \sin x)}{,} where $x$ is an angle. Here, $2 \pi$ encounters as a period length, where indeed we define $\pi$ via the trigonometric functions.
In the following definition for tangent and cotangent, we use already the number $\pi$.
\inputdefinition
{ }
{
The function
\mathdisp {\R \setminus { \left({ \frac{ \pi }{ 2 } } + \Z \pi\right) } \longrightarrow \R
, x \longmapsto \tan x = \frac{ \sin x }{ \cos x }} { , }
is called
\definitionswort {tangent}{,}
and the function
\mathdisp {\R \setminus \Z \pi \longrightarrow \R
, x \longmapsto \cot x = \frac{ \cos x }{ \sin x }} { , }
is called
}