L’étude géométrique des trajectoires non bornées repose fondamentalement sur l’analyse des branches infinies de courbes. En effet, cette caractérisation analytique prédit le comportement topologique d’une paramétrisation s’éloignant indéfiniment de l’origine spatiale.
Définitions Formelles des Branches infinies de courbes
Soit $\mathcal{E}$ un plan affine euclidien orienté, rapporté à un repère orthonormé $(O, \vec{i}, \vec{j})$. Considérons une courbe paramétrée $\gamma : I \to \mathcal{E}$.
Ses coordonnées cartésiennes sont formellement définies par le vecteur position affine :
$$ \gamma(t) = \begin{pmatrix} x(t) \\ y(t) \end{pmatrix} $$Un point $t_0 \in \bar{\mathbb{R}}$ génère une branche infinie si la norme euclidienne diverge strictement.
$$ \lim_{t \to t_0} ||\overrightarrow{O\gamma(t)}|| = +\infty $$Direction Asymptotique Vectorielle
L’étude angulaire requiert l’évaluation du rapport algébrique des coordonnées cartésiennes. Posons la limite fondamentale suivante :
$$ a = \lim_{t \to t_0} \frac{y(t)}{x(t)} \in \bar{\mathbb{R}} $$Si ce réel $a$ est fini, la courbe possède une direction asymptotique rigoureusement définie par le vecteur directeur $\vec{u} = \vec{i} + a\vec{j}$.
Si cette limite est infinie, la direction asymptotique devient strictement verticale, dirigée par le vecteur $\vec{j}$.
Théorèmes et Propriétés Asymptotiques
L’existence d’une direction privilégiée ne garantit pas la présence d’une droite asymptote stricte. Une analyse différentielle secondaire est obligatoire.
Théorème de l’Asymptote Oblique
Supposons que la courbe admette une direction asymptotique de pente $a \in \mathbb{R}$. Évaluons l’écart projectif résiduel :
$$ b = \lim_{t \to t_0} [y(t) – a x(t)] $$Si la limite $b$ est un réel fini, la droite d’équation $\Delta : y = ax + b$ est l’asymptote stricte de la courbe.
Preuve : Soit $M(t) = (x(t), y(t))$ un point de la courbe. La distance euclidienne de $M(t)$ à la droite affine $\Delta$ d’équation $ax – y + b = 0$ s’écrit analytiquement :
$$ d(M(t), \Delta) = \frac{|ax(t) – y(t) + b|}{\sqrt{a^2 + (-1)^2}} $$Par hypothèse du théorème, la limite du numérateur s’annule lorsque $t$ tend vers l’infini topologique $t_0$.
$$ \lim_{t \to t_0} (y(t) – ax(t)) = b \implies \lim_{t \to t_0} |ax(t) – y(t) + b| = 0 $$Puisque le dénominateur $\sqrt{a^2 + 1}$ est une constante strictement positive, la distance globale tend inévitablement vers zéro.
$$ \lim_{t \to t_0} d(M(t), \Delta) = 0 $$Par conséquent, la trajectoire paramétrée converge indéfiniment vers la droite $\Delta$, confirmant son statut géométrique d’asymptote. $\blacksquare$
Théorème de la Branche Parabolique
Si l’écart résiduel diverge vers l’infini, la structure topologique diffère radicalement. La droite projective n’est plus approchée.
$$ \lim_{t \to t_0} [y(t) – a x(t)] = \pm\infty $$Dans cette configuration précise, la courbe géométrique admet une branche parabolique de direction invariante $\vec{u} = \vec{i} + a\vec{j}$.
Exemples et Contre-exemples Algébriques
L’application de ces limites asymptotiques permet de classifier efficacement les singularités à l’infini des courbes rationnelles.
Exemple Paramétré : Le Folium de Descartes
Considérons la courbe algébrique paramétrée par les fractions rationnelles suivantes, étudiée spécifiquement pour $t_0 = -1$ :
$$ x(t) = \frac{3t}{1+t^3}, \quad y(t) = \frac{3t^2}{1+t^3} $$Lorsque $t \to -1$, les deux coordonnées divergent vers l’infini. Cherchons d’abord la direction asymptotique en calculant le quotient :
$$ \lim_{t \to -1} \frac{y(t)}{x(t)} = \lim_{t \to -1} t = -1 $$La pente est $a = -1$. Évaluons ensuite l’écart algébrique résiduel pour trouver l’ordonnée à l’origine $b$.
$$ \lim_{t \to -1} (y(t) – ax(t)) = \lim_{t \to -1} (y(t) + x(t)) $$ $$ \lim_{t \to -1} \frac{3t^2 + 3t}{1+t^3} = \lim_{t \to -1} \frac{3t(t+1)}{(t+1)(t^2-t+1)} $$Après simplification du pôle analytique, la limite polynomiale devient parfaitement finie et calculable.
$$ b = \frac{3(-1)}{1 – (-1) + 1} = -1 $$La courbe possède donc une asymptote oblique stricte d’équation affine $y = -x – 1$.
Contre-exemple : La Spirale d’Archimède
Une divergence en norme n’implique absolument pas l’existence d’une direction asymptotique. Considérons la spirale polaire définie par $r(\theta) = \theta$.
Les coordonnées cartésiennes oscillent indéfiniment lorsque le paramètre angulaire croît :
$$ x(\theta) = \theta \cos(\theta), \quad y(\theta) = \theta \sin(\theta) $$La norme euclidienne diverge trivialement puisque $||\overrightarrow{OM}|| = |\theta| \to +\infty$. Cependant, le quotient des coordonnées est trigonométrique et périodique.
$$ \frac{y(\theta)}{x(\theta)} = \tan(\theta) $$Cette fonction tangente n’admet aucune limite lorsque $\theta \to +\infty$. La trajectoire tourne perpétuellement sans jamais se stabiliser vers une direction projective. L’analyse asymptotique vectorielle y est structurellement impossible.