Fonction trigonométrique généralisée

En analyse mathématique, les fonctions trigonométriques généralisées sont une extension des fonctions de la trigonométrie classique (fonctions circulaires, hyperboliques, circulaires réciproques et hyperboliques réciproques). Elles ont d'abord été étudiées par le mathématicien suédois Erik Lundberg (1846–1911) dans le cadre de la résolution des intégrales abéliennes.

Histoire

Courbes de Fermat pour p = 1, 2,...

Erik Lundberg introduit ces fonctions dans le cadre de la résolution de l'équation différentielle :

$y^{\prime }=(1\pm y^p{)}^{\frac{m}{p}}$

avec Modèle:Mvar et Modèle:Mvar deux entiers tels que Modèle:Math. Il appelle alors les solutions fonctions hypergoniométriques, comme généralisations des fonctions trigonométriques circulaires et hyperboliques. Lundberg s'intéresse aux cas Modèle:Math, Modèle:Math et Modèle:Mvar impair, et Modèle:Math, ce dernier cas correspondant à la Modèle:Lien d'ordre Modèle:Mvar.

Définitions

On peut définir les fonctions trigonométriques généralisées de trois façons équivalentes.

Par un système différentiel

On peut définir les fonctions Modèle:Math et Modèle:Math comme les solutions du système différentiel : $$\{\begin{array}{c}{x}^{\prime }(t)=-y(t{)}^{p-1},\mathrm{\forall }t\in ℝ\\ y^{\prime }(t)=x(t{)}^{p-1},\mathrm{\forall }t\in ℝ\\ x(0)=1\\ y(0)=0\end{array}$$

Par des intégrales abéliennes

Trigonométrie circulaire

On pose la fonction, pour $p>1$ :

${\arcsin }_p(x)=\underset{0}{\overset{x}{\int }}(1-t^p{)}^{-\frac{1}{p}}\mathrm{d}t$

et on note ${\pi }_p=2{\arcsin }_p(1)=\frac{\pi }{p}\mathrm{c}\mathrm{s}\mathrm{c}\frac{\pi }{p}=\frac{2}{p}\mathrm{B}(\frac{p-1}{p},\frac{1}{p})$.

Cette fonction est bijective, et on note Modèle:Math sa réciproque. Cette fonction peut être prolongée de $[0;{\pi }_p/2]$ sur $ℝ$ par des propriétés de symétrie et d'imparité : on pose d'abord

$\mathrm{\forall }x\in [{\pi }_p/2,{\pi }_p],{\sin }_p(x)={\sin }_p({\pi }_p-x)$

puis on prolonge sur $[-{\pi }_p,{\pi }_p]$ comme une fonction impaire.

On en déduit la définition du cosinus généralisé par sa fonction réciproque :

${\arccos }_p(x)=\underset{(1-x^p{)}^{1/p}}{\overset{1}{\int }}(1-t^p{)}^{-\frac{1}{p}}\mathrm{d}t$

Trigonométrie hyperbolique

On pose la fonction, pour $p>1$ :

$\mathrm{\forall }x>0,{\mathrm{a}\mathrm{r}\mathrm{g}\mathrm{s}\mathrm{h}}_p(x)=\underset{0}{\overset{x}{\int }}(1+t^p{)}^{-\frac{1}{p}}\mathrm{d}t,{\mathrm{a}\mathrm{r}\mathrm{g}\mathrm{s}\mathrm{h}}_p(-x)=-{\mathrm{a}\mathrm{r}\mathrm{g}\mathrm{s}\mathrm{h}}_p(x)$

Cette fonction est bijective, et on note Modèle:Math sa réciproque.

On en déduit la définition du cosinus hyperbolique généralisé et de la tangente hyperbolique généralisée :

$\mathrm{\forall }x\in ℝ,{\cosh }_p(x)={{\sinh }_p}^{\prime }(x),{\tanh }_p(x)=\frac{{\sinh }_p(x)}{{\cosh }_p(x)}.$

On retrouve alors des identités similaires à celles impliquant les fonctions trigonométriques circulaires usuelles :

$\mathrm{\forall }x\in ℝ,{\cos }_p^p(x)-{\sin }_p^p(x)=1$

Par une étude d'aire

En considérant le cercle unité d'équation $x^2+y^2=1$, on peut montrer que, pour t réel, le nombre Modèle:Math est l'unique réel vérifiant :

$\frac{1}{2}X\sqrt{1-X^2}+\underset{X}{\overset{1}{\int }}(1-u^2{)}^{-\frac{1}{2}}\mathrm{d}u=\frac{t}{2}$

De même, en considérant l'hyperbole unité d'équation $x^2-y^2=1$, on peut montrer que, pour t réel, Modèle:Math est l'unique réel vérifiant :

$\frac{1}{2}X\sqrt{X^2-1}+\underset{X}{\overset{1}{\int }}(u^2-1{)}^{-\frac{1}{2}}\mathrm{d}u=\frac{t}{2}$

Ainsi, par extension, on peut poser que pour t réel, Modèle:Math est l'unique réel vérifiant :

$\frac{1}{2}X\sqrt[p]{1-X^p}+\underset{X}{\overset{1}{\int }}(1-u^p{)}^{-\frac{1}{p}}\mathrm{d}u=\frac{t}{2}$

Cas particuliers

Dans le cas Modèle:Math, qui renvoie à la métrique de la distance taxicab, les fonctions trigonométriques généralisées sont parfois appelées sinus taxicab, cosinus taxicab, etc. Dans le cas Modèle:Math, la courbe est appelée squircle et certains auteurs parlent de squigonométrie.

Propriétés

De façon similaire, on définit les fonctions tangente, sécante, cotangente et cosécante généralisées par :

${\tan }_p(t)=\frac{{\sin }_p(t)}{{\cos }_p(t)},{\mathrm{s}\mathrm{e}\mathrm{c}}_p(t)=\frac{1}{{\cos }_p(t)},{\mathrm{c}\mathrm{o}\mathrm{t}}_p(t)=\frac{{\cos }_p(t)}{{\sin }_p(t)}=\frac{1}{{\tan }_p(t)},{\mathrm{c}\mathrm{s}\mathrm{c}}_p(t)=\frac{1}{{\sin }_p(t)}.$

Expressions directes

On peut exprimer les fonctions trigonométriques généralisées à partir des fonctions trigonométriques usuelles :

$\begin{array}{cc}{\sin }_p(t)=\frac{\sin (t)}{\sqrt[p]{|\cos (t){|}^p+|\sin (t){|}^p}},& {\cos }_p(t)=\frac{\cos (t)}{\sqrt[p]{|\cos (t){|}^p+|\sin (t){|}^p}},\\ {\tan }_p(t)=\tan (t),& {\mathrm{s}\mathrm{e}\mathrm{c}}_p(t)=\frac{\sqrt[p]{|\cos (t){|}^p+|\sin (t){|}^p}}{\cos (t)},\\ {\mathrm{c}\mathrm{o}\mathrm{t}}_p(t)=\mathrm{c}\mathrm{o}\mathrm{t}(t),& {\mathrm{c}\mathrm{s}\mathrm{c}}_p(t)=\frac{\sqrt[p]{|\cos (t){|}^p+|\sin (t){|}^p}}{\sin (t)}.\end{array}$

Dérivées

On a :

$\begin{array}{ccccc}{{\sin }_p}^{\prime }(t)={\cos }_p(t{)}^{p-1}& & {{\cos }_p}^{\prime }(t)=-{\sin }_p(t{)}^{p-1}& & {{\tan }_p}^{\prime }(t)={\mathrm{s}\mathrm{e}\mathrm{c}}_p(t{)}^2\\ {{\mathrm{c}\mathrm{o}\mathrm{t}}_p}^{\prime }(t)=-{\mathrm{s}\mathrm{e}\mathrm{c}}_p(t{)}^2& & {{\mathrm{s}\mathrm{e}\mathrm{c}}_p}^{\prime }(t)={\mathrm{s}\mathrm{e}\mathrm{c}}_p(t{)}^2{\sin }_p(t{)}^{p-1}& & {{\mathrm{c}\mathrm{s}\mathrm{c}}_p}^{\prime }(t)=-{\mathrm{c}\mathrm{s}\mathrm{c}}_p(t{)}^2{\cos }_p(t{)}^{p-1}\end{array}$

Applications

Ces fonctions apparaissent comme fonctions propres du p-laplacien. En effet, on a :

$\begin{array}{c}\frac{{\mathrm{d}}^2}{\mathrm{d}{t}^2}{\sin }_p(t)=-(p-1){\cos }_p(t{)}^{p-1}{\sin }_p(t{)}^{p-2}\\ \frac{{\mathrm{d}}^2}{\mathrm{d}{t}^2}{\cos }_p(t)=-(p-1){\sin }_p(t{)}^{p-1}{\cos }_p(t{)}^{p-2}\end{array}$

Ainsi, Modèle:Math et Modèle:Math sont les solutions de l'équation différentielle non linéaire du second degré :

$u^{″}=-(p-1)u^{p-1}(1-u^p{)}^{\frac{p-2}{p}}$

Extensions à deux paramètres

En 2012, Shingeku Takeuchi définit des fonctions trigonométriques généralisées à deux paramètres, ainsi que des extensions des fonctions elliptique de JacobiModèle:,; par exemple, en reprenant la définition par les intégrales abéliennes, on peut définir, pour $p,q>1$ :

${\arcsin }_{p,q}(x)=\underset{0}{\overset{x}{\int }}(1-t^q{)}^{-\frac{1}{p}}\mathrm{d}t$

Voir aussi

Bibliographie

• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Article

Articles connexes

• Squircle
• Courbe de Lamé