# Trajectoire orthogonale

En mathématiques, une trajectoire orthogonale est une courbe qui intersecte les courbes d'un faisceau dans le plan orthogonalement.
Par exemple, les trajectoires orthogonales d'un faisceau de cercles concentriques sont les droites passant par le centre commun.
Les méthodes usuelles de détermination de trajectoires orthogonales sont données par la résolution d'équations différentielles ; dans les cas simples, on détermine une équation différentielle ordinaire du premier ordre, que l'on résout par séparation des variables pour obtenir l'expression exacte.
Les trajectoires orthogonales sont utilisées en mathématiques dans les systèmes de coordonnées courbes (i.e. coordonnées elliptiques). En physique, le calcul de trajectoires orthogonales permet de déterminer les champs électriques et leurs courbes équipotentielles.
Dans le cas plus général, les courbes intersectant l'ensemble d'un faisceau selon un angle donné fixe sont appelées trajectoires isogonales.

## Détermination des trajectoires orthogonales
### En coordonnées cartésiennes

On note (C$_α$) le faisceau de courbes et (Γ$_λ$) celui de ses trajectoires orthogonales. On suppose que les courbes de (C$_α$) vérifient toutes une équation différentielle non paramétrée, qui permettent donc de déterminer la pente de la tangente en un point d'une courbe. Pour trouver les trajectoires orthogonales, il suffit donc de calculer l'opposé de l'inverse de cette pente.

#### Forme ordinaire

L'équation différentielle caractérisant (C$_α$) est de la forme :
    $y'=f(x,y).$
Cette valeur f(x , y) correspond à la pente de la tangente de la courbe de (C$_α$) passant par (x , y), donc la pente de la tangente à la trajectoire orthogonale en ce point vaut -1/f(x , y).
Déterminer les courbes de (Γ$_λ$) revient donc à résoudre l'équation différentielle :
    $y'={\frac {-1}{f(x,y)}}.$

#### Système différentiel

L'équation différentielle caractérisant (C$_α$) est de la forme :
    $x'=a(x,y),\ y'=b(x,y).$
Par un raisonnement similaire, on montre que les courbes de (Γ$_λ$) vérifient :
    $x'=-b(x,y),\ y'=a(x,y).$

#### Différentielle

L'équation différentielle caractérisant (C$_α$) est de la forme :
    $A(x,y)\mathrm {d} x+B(x,y)\mathrm {d} y=0.$
Par un raisonnement similaire, on montre que les courbes de (Γ$_λ$) vérifient :
    $-B(x,y)\mathrm {d} x+A(x,y)\mathrm {d} y=0.$

#### Forme implicite non différentielle

Dans le cas où l'équation caractérisant (C$_α$) est algébrique, de la forme :
    $V(x,y)=c,$
on se ramène au cas précédent en différentiant :
    ${\frac {\partial V}{\partial x}}(x,y)\mathrm {d} x+{\frac {\partial V}{\partial y}}(x,y)\mathrm {d} y=0.$

#### Exemples
##### Cercles concentriques

L'ensemble des cercles centrés à l'origine vérifie :
    $x^{2}+y^{2}-\alpha =0\ ,\qquad \alpha \geqslant 0,$
qui admet pour différentielle :
    $x\mathrm {d} x+y\mathrm {d} y=0.$
Les trajectoires orthogonales vérifient donc
    $-y\mathrm {d} x+x\mathrm {d} y=0\Longleftrightarrow y=\lambda x,\lambda \in \mathbb {R} .$
Il s'agit du faisceau de droites passant par l'origine.

##### Paraboles

L'ensemble des paraboles passant par l'origine, d'axe (Oy), vérifie $y-\alpha x^{2}=0\ ,\qquad \alpha \in \mathbb {R}$ qui admet pour différentielle :
    $-2\alpha x\mathrm {d} x+\mathrm {d} y=0.$
Les trajectoires orthogonales vérifient donc, en utilisant l'équation de base pour supprimer le paramètre α :
    $\mathrm {d} x+2\alpha x\mathrm {d} y=\mathrm {d} x+{\frac {2y}{x}}\mathrm {d} y=0\Longrightarrow x^{2}+2y^{2}=\lambda .$
Ce sont des ellipses.

### En coordonnées polaires

Si l'équation du faisceau est donnée en coordonnées polaires :
    $V(r,\varphi ,\alpha )=0$
la forme différentielle non paramétrée s'écrit
    ${\frac {\partial V}{\partial r}}(r,\varphi ,\alpha )+{\frac {\partial V}{\partial \varphi }}(r,\varphi ,\alpha )\cdot {\frac {\partial \varphi }{\partial r}}=0,\qquad {\frac {\partial \varphi }{\partial r}}=v(r,\varphi ).$
L'équation des trajectoires orthogonales s'écrit alors :
    ${\frac {\partial \varphi }{\partial r}}=-{\frac {1}{r^{2}v(r,\varphi )}}\ .$

#### Exemple

L'équation d'un faisceau de cardioïdes est donné par :
    $V(r,\varphi ,\alpha )=r-\alpha (1+\cos \varphi )=0,\ \alpha >0\ .\$
    $V_{r}(r,\varphi ,\alpha )+V_{\varphi }(r,\varphi ,\alpha )\;\varphi '=1+\alpha \sin \varphi \;\varphi '=0,\qquad$
En éliminant α, on obtient l'équation :
    $\varphi '=-{\frac {1+\cos \varphi }{r\sin \varphi }}$
L'équation différentielle des trajectoires orthogonales est alors :
    $\varphi '={\frac {\sin \varphi }{r(1+\cos \varphi )}}$
Une résolution par séparation des variables donne
    $r=\lambda (1-\cos \varphi )\ ,\ \lambda >0\ ,$
soit un faisceau de cardioïdes symétrique à l'original.

## Trajectoires isogonales

Quand les courbes recherchées intersectent le faisceau selon un angle θ fixé donné, on parle de trajectoires isogonales.
La relation entre la pente de la tangente à une courbe du faisceau y' et la pente d'une trajectoire isogonale η' en un point (x , y) est donnée par :
    $\eta '={\frac {y'+\tan(\theta )}{1-y'\tan(\theta )}}\ .$
Cette égalité se déduit du développement de tan(θ$_1$ + θ$_2$). Pour θ → π/2, on retrouve la relation des trajectoires orthogonales.
Afin de trouver l'équation des trajectoires isogonales, l'équation à résoudre, sous la forme ordinaire, devient :
    $y'={\frac {f(x,y)+\tan(\theta )}{1-f(x,y)\;\tan(\theta )}}\ .$

### Exemple

On reprend l'exemple du faisceau de cercles centrés à l'origine, mais on fixe θ = π/4, ce qui donne l'équation suivante à résoudre :
    $y'={\frac {-x/y+1}{1+x/y}}\ .$
Après un changement de variables z = y/x, l'équation est résoluble par séparation des variables, ce qui donne l'ensemble des courbes solutions d'équation :
    $\arctan {\frac {y}{x}}+{\frac {1}{2}}\ln(x^{2}+y^{2})=\lambda ,$
soit en coordonnées polaires
    $\lambda -\varphi =\ln(r).$
Ce sont des spirales logarithmiques.

## Méthodes de résolution numérique

Dans le cas où l'équation différentielle des trajectoires n'est pas résoluble exactement, on utilise des méthodes numériques pour les déterminer, usuellement des méthodes de Runge-Kutta.

## Applications
### Électromagnétisme

Dans un champ électromagnétique en deux dimensions, les équipotentielles (les courbes de niveaux pour un potentiel donné) sont les trajectoires orthogonales des lignes de champ.