LOG#026. Boosts, rapidity, HEP.

In euclidean two dimensional space, rotations are easy to understand in terms of matrices and trigonometric functions. A plane rotation is given by:

\boxed{\begin{pmatrix}x'\\ y'\end{pmatrix}=\begin{pmatrix}\cos \theta & \sin \theta \\ -\sin \theta & \cos \theta \end{pmatrix}\begin{pmatrix}x\\ y\end{pmatrix}}\leftrightarrow \boxed{\mathbb{X}'=\mathbb{R}(\theta)\mathbb{X}}

where the rotation angle is \theta, and it is parametrized by 0\leq \theta \leq 2\pi.

Interestingly, in minkovskian two dimensional spacetime, the analogue does exist and it is written in terms of matrices and hyperbolic trigonometric functions. A “plane” rotation in spacetime is given by:

\boxed{\begin{pmatrix}ct'\\ x'\end{pmatrix}=\begin{pmatrix}\cosh \varphi & -\sinh \varphi \\ -\sinh \varphi & \cosh \varphi \end{pmatrix}\begin{pmatrix}ct\\ x\end{pmatrix}}\leftrightarrow \boxed{\mathbb{X}'=\mathbb{L}(\varphi)\mathbb{X}}

Here, \varphi = i\psi is the so-called hiperbolic rotation angle, pseudorotation, or more commonly, the rapidity of the Lorentz boost in 2d spacetime. It shows that rapidity are a very useful parameter for calculations in Special Relativity. Indeed, it is easy to check that

\mathbb{L}(\varphi_1+\varphi_2)=\mathbb{L}(\varphi_1)\mathbb{L}\mathbb(\varphi_2)

So, at least in the 2d spacetime case, rapidities are “additive” in the written sense.

Firstly, we are going to guess the relationship between rapidity and velocity in a single lorentzian spacetime boost. From the above equation we get:

ct'=ct\cosh \varphi -x\sinh \varphi

x'=-ct\sinh \varphi +x\cosh \varphi

Multiplying the first equation by \cosh \varphi and the second one by \sinh \varphi, we add the resulting equation to obtain:

ct'\cosh\varphi+x'\sinh \varphi =ct\cosh^2 \varphi -ct\sinh^2 \varphi =ct

that is

ct'\cosh\varphi+x'\sinh \varphi =ct

From this equation (or the boxed equations), we see that \varphi=0 corresponds to x'=x and t'=t. Setting x'=0, we deduce that

x'=0=-ct\sinh \varphi +x\cosh \varphi

and thus

ct\tanh \varphi =x or x=ct\tanh\varphi.

Since t\neq 0, and the pseudorotation seems to have a “pseudovelocity” equals to V=x/t, the rapidity it is then defined through the equation:

\boxed{\tanh \varphi=\dfrac{V}{c}=\beta}\leftrightarrow\mbox{RAPIDITY}\leftrightarrow\boxed{\varphi=\tanh^{-1}\beta}

If we remember what we have learned in our previous mathematical survey, that is,

\tanh^{-1}z=\dfrac{1}{2}\ln \dfrac{1+z}{1-z}=\sqrt{\dfrac{1+z}{1-z}}

We set z=\beta in order to get the next alternative expression for the rapidity:

\varphi=\ln \sqrt{\dfrac{1+\beta}{1-\beta}}=\dfrac{1}{2}\ln \dfrac{1+\beta}{1-\beta}\leftrightarrow \exp \varphi=\sqrt{\dfrac{1+\beta}{1-\beta}}

In experimental particle physics, in general 3+1 spacetime, the rapidity definition is extended as follows. Writing, from the previous equations above,

\sinh \varphi=\dfrac{\beta}{\sqrt{1-\beta^2}}

\cosh \varphi=\dfrac{1}{\sqrt{1-\beta^2}}

and using these two last equations, we can also write momenergy components using rapidity in the same fashion. Suppose that for some particle(objetc), its  mass is m, its energy is E, and its (relativistic) momentum is \mathbf{P}. Then:

E=mc^2\cosh \varphi

\lvert \mathbf{P} \lvert =mc\sinh \varphi

From these equations, it is trivial to guess:

\varphi=\tanh^{-1}\dfrac{\lvert \mathbf{P} \lvert c}{E}=\dfrac{1}{2}\ln \dfrac{E+\lvert \mathbf{P} \lvert c}{E-\lvert \mathbf{P} \lvert c}

This is the completely general definition of rapidity used in High Energy Physics (HEP), with a further detail. In HEP, physicists used to select the direction of momentum in the same direction that the collision beam particles! Suppose we select some orientation, e.g.the z-axis. Then, \lvert \mathbf{P} \lvert =p_z and rapidity is defined in that beam direction as:

\boxed{\varphi_{hep}=\tanh^{-1}\dfrac{\lvert \mathbf{P}_{beam} \lvert c}{E}=\dfrac{1}{2}\ln \dfrac{E+p_z c}{E-p_z c}}

In 2d spacetime, rapidities add nonlinearly according to the celebrated relativistic addition rule:

\beta_{1+2}=\dfrac{\beta_1+\beta_2}{1+\frac{\beta_1\beta_2}{c^2}}

Indeed, Lorentz transformations do commute in 2d spacetime since we boost in a same direction x, we get:

L_1^xL_2^x-L_2^xL_1^x=0

with

L_1^x=\begin{pmatrix}\gamma_1 & -\gamma_1\beta_1\\ -\gamma_1\beta_1 &\gamma_1 \end{pmatrix}

L_2^x=\begin{pmatrix}\gamma_2 & -\gamma_2\beta_2\\ -\gamma_2\beta_2 &\gamma_2 \end{pmatrix}

This commutativity is lost when we go to higher dimensions. Indeed, in spacetime with more than one spatial direction that result is not true in general. If we build a Lorentz transformation with two boosts in different directions V_1=(v_1,0,0) and V_2=(0,v_2,0), the Lorentz matrices are ( remark for experts: we leave one direction in space untouched, so we get 3×3 matrices):

L_1^x=\begin{pmatrix}\gamma_1 & -\gamma_1\beta_1 &0\\ -\gamma_1\beta_1 &\gamma_1 &0\\ 0& 0& 1\end{pmatrix}

L_2^y=\begin{pmatrix}\gamma_2 & 0&-\gamma_2\beta_2\\ 0& 1& 0\\ -\gamma_2\beta_2 & 0&\gamma_2 \end{pmatrix}

and it is easily checked that

L_1^xL_2^y-L_2^yL_1^x\neq 0

Finally, there is other related quantity to rapidity that even experimentalists do prefer to rapidity. It is called: PSEUDORAPIDITY!

Pseudorapidity, often denoted by \eta describes the angle of a particle relative to the beam axis. Mathematically speaking is:

\boxed{\eta=-\ln \tan \dfrac{\theta}{2}}\leftrightarrow \mbox{PSEUDORAPIDITY}\leftrightarrow \boxed{\exp (\eta)=\dfrac{1}{\tan\dfrac{\theta}{2}}}

where \theta is the angle between the particle momentum \mathbf{P}  and the beam axis. The above relation can be inverted to provide:

\boxed{\theta=2\tan^{-1}(e^{-\eta})}

The pseudorapidity in terms of the momentum is given by:

\boxed{\eta=\dfrac{1}{2}\ln \dfrac{\vert \mathbf{P}\vert +P_L}{\vert \mathbf{P}\vert -P_L}}

Note that, unlike rapidity, pseudorapidity depends only on the polar angle of its trajectory, and not on the energy of the particle.

In hadron collider physics,  and other colliders as well, the rapidity (or pseudorapidity) is preferred over the polar angle because, loosely speaking, particle production is constant as a function of rapidity. One speaks of the “forward” direction in a collider experiment, which refers to regions of the detector that are close to the beam axis, at high pseudorapidity \eta.

The rapidity as a function of pseudorapidity is provided by the following formula:

\boxed{\varphi=\ln\dfrac{\sqrt{m^2+p_T^2\cosh^2\eta}+p_T\sinh \eta}{\sqrt{m^2+p_T^2}}}

where p_T is the momentum transverse to the direction of motion and m is the invariant mass of the particle.

Remark: The difference in the rapidity of two particles is independent of the Lorentz boosts along the beam axis.

Colliders measure physical momenta in terms of transverse momentum p_T instead of the momentum in the direction of the beam axis (longitudinal momentum) P_L=p_z, the polar angle in the transverse plane (genarally denoted by \phi) and pseudorapidity \eta. To obtain cartesian momenta (p_x,p_y,p_z)  (with the z-axis defined as the beam axis), the following transformations are used:

p_x=P_T\cos\phi

p_y=P_T\sin\phi

p_z=P_T\sinh\eta

Thus, we get the also useful relationship

\vert P \vert=P_T\cosh\eta

This quantity is an observable in the collision of particles, and it can be measured as the main image of this post shows.


LOG#024. Strange derivative.

I have been fascinated (perhaps I am in love too with it) by Mathematics since I was a child. As a teenager in High School, I was a very curious student ( I am curious indeed yet)  and I tried to understand some weird results I got in the classroom. This entry is devoted to some of those problems that made me wonder and think a lot out of class, at home. It took me some years and to learn complex variable function theory to understand one of the issues I could not understand before I learned complex variable. 3 years to understand a simple derivate! Yes, it is too much time. However, understanding stuff deeply carries time. Sometimes more, sometimes less.

This is the problem. A very simple problem indeed! The following “weird” (real) trigonometric-like function has a null derivative:

g(x)= \tan^{-1}((1+x)/(1-x))-\tan ^{-1} (x)

where the \tan^{-1} (x) is the arctangent function \arctan (x)( the inverse of the tangent function \tan (x)).

Proof:

g'(x) = \dfrac{dg}{dx}=\dfrac{\dfrac{(1-x)+(1+x)}{(1-x)^2}}{1+\left(\dfrac{(1+x)}{(1-x)}\right)^2}-\dfrac{1}{1+x^2}

g'(x) = \dfrac{\dfrac{2}{(1-x)^2}}{1+\left(\dfrac{1+x}{1-x}\right)^2}-1/(1+x^2)

g'(x) = \dfrac{2}{\left(1-x\right)^2+\left(1+x\right)^2}-1/(1+x^2)

g'(x) = \dfrac{2}{2+2x^2}-1/(1+x^2)

g'(x) = \dfrac{1}{1+x^2}-\dfrac{1}{1+x^2}

g'(x)=0

q.e.d.

Since the derivative g'(x) is zero, the two functions must differ by a constant. We can guess that constant with usual real variable calculus. It’s quite simple:

g(x)=constant. => g(x=0)= constant = \tan^{-1}((1+0)/(1-0))-\tan ^{-1} (0)

g(0)= \tan^{-1}(1)-\tan ^{-1} (0)=\pi /4

So, the difference is \pi/ 4. However, this calculation does not explain why the two functions differ by a constant. The secret lies in the complex function origin of the arctangent. In complex variable function theory, it can be proved that

\tan^{-1}(x)=\dfrac{1}{2i} \ln ((1+ix)/(1-ix))

since

\tan(x)=y=\dfrac{\left[\dfrac{1}{2i} (\exp (ix)-\exp (-ix))\right]}{\left[\dfrac{1}{2} \left(\exp (ix)+\exp (-ix)\right)\right]}=\dfrac{\exp (ix)-\exp (-ix)}{\exp (ix)+\exp (-ix)}

then iy=\left(\exp (2ix)-1)/(\exp (2ix)+1\right) and thus \exp (2ix)=(1+iy)/(1-iy) and therefore x=\dfrac{1}{2i} \ln \left((1+iy)/(1-iy)\right) Q.E.D.

Now, we can calculate the functions in terms of complex variables:

\tan^{-1}\left((1+x)/(1-x)\right)=\arctan \left((1+x)/(1-x)\right)=\dfrac{1}{2i} \ln \left(\dfrac{(1+i\left(\frac{1+x}{1-x}\right)}{(1-i\left(\frac{1+x}{1-x}\right)}\right)

We can make some algebra inside the logarithm function to get:

\arctan \left((1+x)/(1-x)\right)=\dfrac{1}{2i} \ln \left( \dfrac{(1-x)+i(1+x)}{(1-x)-i(1+x)} \right)= \dfrac{1}{2i} \ln \left( \dfrac{(1+ix)+i(1+ix)}{(1-ix)-i(1-ix)} \right)

By the other hand, we also have

\tan^{-1}(x)=\arctan (x)=\dfrac{1}{2i} \ln \left( \dfrac{1+ix}{1-ix} \right)

Thus,

g(x) = \dfrac{1}{2i} \left( \arctan ((1+x)/(1-x)) - \arctan (x) \right) = \dfrac{1}{2i} \left( \ln \left [ \dfrac{\dfrac{(1+ix)+i(1+ix)}{(1-ix)-i(1-ix)}}{ \dfrac{1+ix}{1-ix}} \right]\right)

i.e.,the terms depending on x cancel to get a pure complex number! The number is

g(x)=number=\dfrac{1}{2i} \ln \left( \dfrac{1+i}{1-i}\right)

We have to calculate the logarith of the complex number

z=\dfrac{1+i}{1-i}=\dfrac{(1+i)(1+i)}{(1-i)(1+i)}=\dfrac{2i}{2}=i=exp(i\pi/2)

Then, \ln ( i ) = i\pi/2. Of course, that is we were expecting to get since in this case

g(x)=\dfrac{1}{2i} \dfrac{i\pi}{2}=\dfrac{\pi}{4}

as before! That is, we recover the phase difference we also got with real calculus. The origin of the cancellation was in the complex origin of the arctangent function! Beautiful mathematics! The complex world is fascinating but very enlightening even for real functions!


LOG#023. Math survey.

What is a triangle? It is a question of definition in Mathematics. Of course you could disagree, but it is true. Look the above three “triangles”. Euclidean geometry is based in the first one. The second “triangle” is commonly found in special relativity. Specially, hyperbolic functions. The third one is related to spherical/elliptical geometry.

Today’s summary: some basic concepts in arithmetics, complex numbers and functions. We are going to study and review the properties of some elementary and well known functions. We are doing this in order to prepare a better background for the upcoming posts, in which some special functions will appear. Maybe, this post can be useful for understanding some previous posts too.

First of all, let me remember you that elementary arithmetics is based on seven basic “operations”: addition, substraction, multiplication, division, powers, roots, exponentials and logarithms. You are familiar with the 4 first operations, likely you will also know about powers and roots, but exponentials and logarithms are the last kind of elementary operations taught in the school ( high school, in the case they are ever explained!).

Let me begin with addition/substraction of real numbers (it would be also valid for complex numbers z=a+bi or even more general “numbers”, “algebras”, “rings” or “fields”, with suitable extensions).

a+b=b+a

(a+b)+c=a+(b+c)

a+(-a)=0

a+0=a

Multiplication is a harder operation. We have to be careful with the axioms since there are many places in physics where multiplication is generaliz loosing some of the following properties:

kA=\underbrace{A+..+A}_\text{k-times}

AB=BA

(AB)C=A(BC)=ABC

1A=A1=A

(A+B)C=AC+BC

A(B+C)=AB+AC

A^{-1}A=AA^{-1}=1

Indeed the last rule can be undestood as the “division” rule, provided A\neq 0 since in mathematics or physics there is no sense to “divide by zero”, as follows.

A^{-1}=\dfrac{1}{A}

Now, we are going to review powers and roots.

x^a=\underbrace{x\cdots x}_\text{a-times}

(x^a)^b=x^{ab}

x^{-a}=\dfrac{1}{x^a}

x^ax^b=x^{a+b}

\sqrt[n]{x}=x^{1/n}

Note that the identity x^ay^a=(x+y)^a is not true in general. Moreover, if x\neq 0 then x^0=1 as well, as it can be easily deduced from the previous axioms. Now, the sixth operation is called exponentiation. It reads:

\exp (a+b)=\exp (a)\exp (b)

Sometimes you can read e^{a+b}=e^{a}e^{b}, where \displaystyle{e=\lim_{x\to\infty}\left(a+\dfrac{1}{n}\right)^n} is the so-called “e” number. The definitions is even more general, since the previous property is the key feature for any exponential. I mean that,

a^x=\underbrace{a\cdots a}_\text{x-times}

a^xb^x=(ab)^x

\left(\dfrac{a}{b}\right)^x=\dfrac{a^x}{b^x}

We also get that for any x\neq 0, then 0^x=0. Finally, the 7th operation. Likely, the most mysterious for the layman. However, it is very useful in many different places. Recall the definition of the logarithm in certain base “a”:

\log_{(a)} x=y \leftrightarrow x=a^y

Please, note that this definition has nothing to do with the “deformed” logarithm of my previous log-entry. Notations are subtle, but you must always be careful about what are you talking about!

Furthermore, there are more remarks:

1st. Sometimes you write \log_e=\ln x. Be careful, some books use other notations for the Napier’s logarithm/natural logarithm. Then, you can find out there \log_e=L or even \log_e=\log .

2nd. Whenever you are using a calculator, you can generally find \log_e=\ln and \log_{(10)}=\log. Please, note that in this case \log is not the natural logarithm, it is the decimal logarithm.

Logarithms (caution: logarithms of real numbers, since the logarithms of  complex numbers are a bit more subtle) have some other cool properties:

\log_{(a)}(xy)=\log_{(a)}x+\log_{(a)}y

\log_{(a)}\dfrac{x}{y}=\log_{(a)}x-\log_{(a)}y

\log_{(a)}x^y=y\log_{(a)}x

\log_{(a)}=\dfrac{\log_{(b)}}{\log_{(b)}a}

Common values of the logarithm are:

\ln 0^+=-\infty;\; \ln 1=0;\; \ln e=1;\; \ln e^x=e^{\ln x}=x

Indeed, logarithms are also famous due to a remarkable formula by Dirac to express any number in terms of 2’s as follows:

\displaystyle{N=-\log_2\log_2 \sqrt{\sqrt{\underbrace{\cdots}_\text{(N-1)-times}2}}=-\log_2\log_2\sqrt{\underbrace{\cdots}_\text{(N)-times}2}}

However, it is quite a joke, since it is even easier to write N=\log_a a^N, or even N=\log_{(1/a)}a^{-N}

Are we finished? NO! There are more interesting functions to review. In particular, the trigonometric functions are the most important functions you can find in the practical applications.

EUCLIDEAN TRIGONOMETRY

Triangles are cool! Let me draw the basic triangle in euclidean trigonometry.

The trigonometric ratios/functions you can define from this figure are:

i)The function (sin), defined as the ratio of the side opposite the angle to the hypotenuse:
\sin A=\dfrac{\textrm{opposite}}{\textrm{hypotenuse}}=\dfrac{a}{\,c\,}
ii) The function (cos), defined as the ratio of the adjacent leg to the hypotenuse.
\cos A=\dfrac{\textrm{adjacent}}{\textrm{hypotenuse}}=\dfrac{b}{\,c\,}
iii) The function (tan), defined as the ratio of the opposite leg to the adjacent leg.
\tan A=\dfrac{\textrm{opposite}}{\textrm{adjacent}}=\dfrac{a}{\,b\,}=\dfrac{\sin A}{\cos A}

The hypotenuse is the side opposite to the 90 degree angle in a right triangle; it is the longest side of the triangle, and one of the two sides adjacent to angle ”A”. The ”’adjacent leg”’ is the other side that is adjacent to angle ”A”. The ”’opposite side”’ is the side that is opposite to angle ”A”. The terms ”’perpendicular”’ and ”’base”’ are sometimes used for the opposite and adjacent sides respectively. Many English speakers find it easy to remember what sides of the right triangle are equal to sine, cosine, or tangent, by memorizing the word SOH-CAH-TOA ( a mnemonics rule whose derivation and meaning is left to the reader).

The multiplicative inverse or reciprocals of these functions are named the cosecant (csc or cosec), secant(sec), and cotangent (cot), respectively:
\csc A=\dfrac{1}{\sin A}=\dfrac{c}{a}
\sec A=\dfrac{1}{\cos A}=\dfrac{c}{b}
\cot A=\dfrac{1}{\tan A}=\dfrac{\cos A}{\sin A}=\dfrac{b}{a}

The inverse trigonometric functions/inverse functions are called the arcsine, arccosine, and arctangent, respectively. These functions are what in common calculators are given by \sin^{-1},\cos^{-1},\tan^{-1}. Don’t confuse them with the multiplicative inverse trigonometric functions.

There are arithmetic relations between these functions, which are known as trigonometric identities.  The cosine, cotangent, and cosecant are so named because they are respectively the sine, tangent, and secant of the complementary angle abbreviated to “co-“. From the goniometric circle (a circle of radius equal to 1) you can read the Fundamental Theorem of (euclidean) Trigonometry:

\cos^2\theta+\sin^2\theta=1

Indeed, from the triangle above, you can find out that the pythagorean theorem implies

a^2+b^2=c^2

or equivalently

\dfrac{a^2}{c^2}+\dfrac{b^2}{c^2}=\dfrac{c^2}{c^2}

So, the Fundamental Theorem of Trigonometry is just a dressed form of the pythagorean theorem!
The fundamental theorem of trigonometry can be rewritten too as follows:

\tan^2\theta+1=\sec^2\theta

\cot^2+1=\csc^2\theta

These equations can be easily derived geometrically from the goniometric circle:

The trigonometric ratios are also related geometrically to this circle, and it can seen from the next picture:

Other trigonometric identities are:

\sin (x\pm y)=\sin x \cos y\pm \sin y\cos x

\cos (x\pm y)=\cos x \cos y -\sin x \sin y

\tan (x\pm y)=\dfrac{\tan x\pm \tan y}{1\mp \tan x \tan y}

\cot (x\pm y)=\dfrac{\cot x \cot y\mp 1}{\cot x\pm \cot y}

\sin 2x=2\sin x \cos x

\cos 2x=\cos^2 x-\sin^2 x

\tan 2x=\dfrac{2\tan x}{1-\tan^2 x}

\sin \dfrac{x}{2}=\sqrt{\dfrac{1-\cos x}{2}}

\cos \dfrac{x}{2}=\sqrt{\dfrac{1+\cos x}{2}}

\tan \dfrac{x}{2}=\sqrt{\dfrac{1-\cos x}{1+\cos x}}

\sin x\sin y=\dfrac{\cos(x-y)-\cos(x+y)}{2}

\sin x\cos y=\dfrac{\sin(x+y)+\sin(x-y)}{2}

\cos x\cos y=\dfrac{\cos (x+y)+\cos(x-y)}{2}

The above trigonometric functions are also valid for complex numbers with care enough. Let us write a complex number as either a binomial expression z=a+bi or like a trigonometric expression z=re^{i\theta}. The famous Euler identity:

e^{i\theta}=\cos \theta + i\sin \theta

allows us to relate both two expressions for a complex number since

z=r(\cos \theta + i\sin \theta)

implies that a=r\cos\theta and b=r\sin\theta. The Euler formula is also useful to recover the identities for the sin and cos of a sum/difference, since e^{iA}e^{iB}=e^{i(A+B)}

The complex conjugate of a complex number is \bar{z}=a-bi, and the modulus is

z\bar{z}=\vert z\vert^2=r^2

with \theta =\arctan \dfrac{b}{a}, \;\; \vert z \vert=\sqrt{a^2+b^2}

Moreover, \overline{\left(z_1\pm z_2\right)}=\bar{z_1}\pm\bar{z_2}, \vert \bar{z}\vert=\vert z\vert, and if z_2\neq 0, then

\overline{\left(\dfrac{z_1}{z_2}\right)}=\dfrac{\bar{z_1}}{\bar{z_2}}

We also have the so-called Moivre’s formula

z^n=r^n(\cos n\theta+i\sin n\theta)

and for the complex roots of complex numbers with w^n=z the identity:

w=z^{1/n}=r^{1/n}\left(cos\left(\dfrac{\theta +2\pi k}{n}\right)+i\sin\left(\dfrac{\theta +2\pi k}{n}\right)\right)\forall k=0,1,\ldots,n-1

The complex logarithm (or the complex power) is a multivalued functions (be aware!):

\ln( re^{i\theta})=\ln r +i\theta +2\pi k,\forall k\in \mathbb{Z}

The introduction of complex numbers and complex values of trigonometric functions are fun. You can check that

\cos z=\dfrac{\exp (iz)+\exp (-iz)}{2} and \sin z=\dfrac{\exp (iz)-\exp (-iz)}{2i} and \tan z=\dfrac{\exp (iz)-\exp (-iz)}{i(\exp (iz)+\exp(-iz))}

thanks to the Euler identity.

In special relativity, the geometry is “hyperbolic”, i.e., it is non-euclidean. Let me review the so-called hyperbolic trigonometry. More precisely, we are going to review the hyperbolic functions related to special relativity now.

HYPERBOLIC TRIGONOMETRY

We define the functions sinh, cosh and tanh ( sometimes written as sh, ch, th):

\sinh x=\dfrac{\exp (x) -\exp (-x)}{2}

\cosh x=\dfrac{\exp (x) +\exp (-x)}{2}

\tanh x=\dfrac{\exp (x) -\exp (-x)}{\exp (x)+\exp (-x)}

The fundamental theorem of hyperbolic trigonometry is

\cosh^2 x-\sinh^2 x=1

The hyperbolic triangles are objects like this:

The hyperbolic inverse functions are

\sinh^{-1} x=\ln (x+\sqrt{x^2+1})

\cosh^{-1} x=\ln (x+\sqrt{x^2-1})

\tanh^{-1} x=\dfrac{1}{2}\ln\dfrac{1+x}{1-x}

Two specially useful formulae in Special Relativity (related to the gamma factor, the velocity and a parameter called rapidity) are:

\boxed{\sinh \tanh^{-1} x=\dfrac{x}{\sqrt{1-x^2}}}

\boxed{\cosh \tanh^{-1} x=\dfrac{1}{\sqrt{1-x^2}}}

In fact, we also have:

\exp(x)=\sinh x+\cosh x

\exp(-x)=-\sinh x+\cosh x

\sec\mbox{h}^2x+\tanh^2 x=1

\coth ^2 x-\csc\mbox{h}^2 x=1

There are even more identities to be known. The most remarkable and important are likely to be:

\sinh (x\pm y)=\sinh (x)\cosh (y)\pm\sinh (y)\cosh (x)

\cosh (x\pm y)=\cosh (x)\cosh (y)\pm\sinh (x)\sinh (y)

\tanh (x\pm y)=\dfrac{\tanh x\pm \tanh y}{1\pm \tanh x\tanh y}

\coth (x\pm y)=\dfrac{\coth x\coth y\pm 1}{\coth y\pm \coth x}

You can also relate euclidean trigonometric functions with hyperbolic trigonometric functions with the aid of complex numbers. For instance, we get

\sinh x=-i\sin ix

\cosh x=\cos ix

\tanh x= -i\tan ix

and so on. The hyperbolic models of geometry/trigonometry are also very known in arts. Escher’s drawings are very beautiful and famous:

or the colorful variation of this theme

I love Escher’s drawings. And I also love Mathematics, Physics, Physmatics, and Science. Equations are cool. And hyperbolic functions, and other functions we have reviewed here today, will arise naturally in the next posts.