Sinus hyperbolique

Principales caractéristiques
Notation	sinh⁡(x)
Réciproque	arsinh(x) sur ℝ
Dérivée	cosh⁡(x)
Primitives	cosh⁡(x)+C
Ensemble de définition	ℝ
Ensemble image	ℝ
Parité	impaire
Valeur en zéro	0
Limite en +∞	+∞
Limite en −∞	−∞

Le sinus hyperbolique est, en mathématiques, une fonction hyperbolique.

Définition

La fonction sinus hyperbolique, notée $\sinh$ (ou $sh$ ) est la fonction complexe suivante :

\sinh : z \mapsto \frac{e^{z} - e^{- z}}{2}

où $z \mapsto e^{z}$ est l'exponentielle complexe.

La fonction sinus hyperbolique est la partie impaire de l'exponentielle complexe.

Dans la géométrie hyperbolique, la fonction sinus hyperbolique est un analogue de la fonction sinus de la géométrie euclidienne.

Propriétés

Propriétés générales

$\sinh$ est continue et même holomorphe donc infiniment dérivable. Sa dérivée est la fonction cosinus hyperbolique notée $\cosh$ .
$\sinh$ est impaire.
Les primitives de $\sinh$ sont $\cosh + C$ , où $C$ est une constante d'intégration.
La restriction de $\sinh$ à ℝ est strictement croissante, concave sur $] - \infty, 0 [$ et convexe sur $] 0, + \infty [$ .

Propriétés trigonométriques

Des définitions des fonctions sinus et cosinus hyperbolique, on peut déduire les égalités suivantes :

e^{z} = \cosh z + \sinh z

e^{- z} = \cosh z - \sinh z

Ces égalités sont analogues aux formules d'Euler en trigonométrie classique.

De même que les coordonnées $(\cos t, \sin t)$ définissent un cercle, $(\cosh t, \sinh t)$ définissent la branche positive d'une hyperbole équilatère. On a en effet pour tout $t$ :

\cosh^{2} t - \sinh^{2} t = 1

.

D'autre part, pour $x \in ℝ$ :

\sinh (i x) = \frac{e^{i x} - e^{- i x}}{2} = i \sin (x)

, d'où

\sinh (x) = - i \sin (i x)

;

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

, d'où

\sinh x = 2 \sinh (\frac{x}{2}) \cosh (\frac{x}{2})

;

\sinh x = x \prod_{n = 1}^{\infty} \cosh (x / 2^{n})

(obtenu en itérant la formule précédente) ;

\sinh^{2} (\frac{x}{2}) = \frac{\cosh (x) - 1}{2}

.

L'utilisation de formules trigonométriques telles que $\tan (2 t) = \frac{2 \tan t}{1 - \tan^{2} t}$ permet aussi d'obtenir des relations plus anecdotiques, telle que (pour tout réel $x$ non nul) :

\sinh (x) = \frac{- 1}{\tan (2 \arctan (e^{x}))}

;

voir également l'article Gudermannien.

Développement en série de Taylor

La série de Taylor en 0 de la fonction $\sinh$ converge sur ℂ tout entier et est donnée par :

\sinh z = z + \frac{z^{3}}{3!} + \frac{z^{5}}{5!} + \dots = \sum_{n = 0}^{+ \infty} \frac{z^{2 n + 1}}{(2 n + 1)!}

.

Valeurs

Quelques valeurs de $\sinh$ :

$\sinh (0) = 0$ ;
$\sinh (1) = \frac{e^{2} - 1}{2 e}$ ;
$\sinh (i) = i \sin (1)$ .

Zéros

Tous les zéros de $\sinh$ sont des imaginaires purs : $\forall z \in ℂ \sinh (z) = 0 \Leftrightarrow z \in i π ℤ$ .

Démonstration

Soit $z = x + i y$ avec $x, y \in ℝ$ alors

\sinh z = 0 \Leftrightarrow \sinh (x) \cos (y) + i \sin (y) \cosh (x) = 0 \Leftrightarrow \sin (y) = 0 et \sinh (x) = 0 \Leftrightarrow y \in π ℤ et x = 0

.

Fonction réciproque

$\sinh$ admet une fonction réciproque, notée $arsinh$ (ou $argsinh$ ou $argsh$ ou parfois $s i n h^{-1}$ ), et nommée argument sinus hyperbolique. Il s'agit d'une fonction multiforme complexe. Sa branche principale est généralement choisie en posant comme coupure les demi-droites $] - \infty i, - i]$ et $[i, + \infty i [$ :

arsinh (z) = \log (z + \sqrt{1 + z^{2}})

,

où $\log$ et $\sqrt{}$ sont les déterminations principales du logarithme complexe de la racine carrée complexe. En effet, si $\sinh Z = z$ alors $\cosh^{2} Z = 1 + z^{2}$ , or $e^{Z} = \sinh Z + \cosh Z$ .

La restriction-corestriction de sinh de ℝ dans ℝ admet donc pour réciproque : $arsinh (x) = \ln (x + \sqrt{1 + x^{2}})$ .

Cette branche principale est holomorphe sur le disque unité $| z | < 1$ et y admet le développement en série entière :

a r s i n h (z) = z + \sum_{n = 1}^{+ \infty} (- 1)^{n} \frac{1.3.5 \dots (2 n - 1)}{2.4.6 \dots (2 n) . (2 n + 1)} z^{2 n + 1}

.

Voir aussi

Sur les autres projets Wikimedia :

la fonction sinus hyperbolique, sur Wikimedia Commons
la fonction argsinus hyperbolique, sur Wikimedia Commons

Portail de l'analyse

Notation	$\sinh (x)$
Réciproque	$arsinh (x)$ sur $ℝ$
Dérivée	$\cosh (x)$
Primitives	$\cosh (x) + C$

Ensemble de définition	$ℝ$
Ensemble image	$ℝ$
Parité	impaire

Valeur en zéro	0
Limite en +∞	$+ \infty$
Limite en −∞	$- \infty$