Tutoriel SAGE

(Éte 2017)

Une introduction éclair.

Si vous lisez ceci c'est parce que vous avez ouvert une session du notebook de SAGE, ou encore que vous l'exécutez dans un des serveurs dédiés. Comme bien de logiciels, SAGE peut aussi être utilisé via le terminal, mais laissons de côté cette approche pour l'instant. Vous verrez plusieurs "cellules" où; on doit entrer le code SAGE.

Déplacez le curseur dans l'espace entre deux cellules, vous verrez une ligne bleue apparaître. Si on clique dessus, une nouvelle cellule apparaît, tandis que si on fait Ctrl + click, c'est une petite section pour entrer du texte, comme celui-ci qui apparaît. Dans ces sections, on peut aussi entrer du texte $\LaTeX$, ce qui est très bien si on veut écrire des équations. Par ailleurs, en faisant un double click sur une de ces sections, vous accédez au texte, et pouvez l'éditer. Corrigez ceci : $\frac{1}{2} + \frac{1}{3} = \frac{1+1}{2+3} = \frac{2}{5}$.

Bien entendu, le résultat est $\frac{5}{6}$. SAGE sait faire ceci, et bien d'autre choses. Pour exécuter les commandes / calculs d'une cellule, il faut faire Shift + Entrée. Faites-le après la cellule ci-bas, une fois directement, puis une autre après avoir coché la case

Si on veut une valeur numérique on doit faire:

ou encore

Vous le devinez, SAGE sait reconnaître le type d'objets... pour les rationnels, il opère de façon exacte, on doit court-circuiter un peu ceci pour avoir une valeur décimale.

Deux astuces importantes:

• Tab si vous commencez à écrire une commande, puis appuyez sur la touche TAB, les commandes commençant comme celle que vous avez commencé à entrer s'afficheront. Vous pouvez alors en choisir une, puis

• ? le point d'interrogation après une commande, suivi de Shift + Entrée ramène à la documentation de la commande en question, ce qui comporte des exemples.

Faites Tab dans la cellule ci-bas.

Variables et quelques calculs symboliques

Faisons quelques calculs symboliques. Il faut déclarer les variables, toutes sauf $x$.

Pour résoudre des équations, on entre la liste des équations (avec deux signes d'égalité), puis la liste des variables:

Bien entendu on a intérêt à faire solve? puis Entrée.

Listes et repétition

Faire des listes ou des ensembles est très facile, la syntaxe est presque celle qu'on utilise en maths: $\{n^2| 0\leq n \leq 10\}$ s'obtient au moyen de:

Le 0-ème élément de la liste est le premier... eu... un exemple!

Quelques graphiques

Quelques graphiques maintenant. En 2d, pour commencer.

On peut créer les objets graphiques séparément, puis les montrer ensemble. Plus haut nous avons crée le graphique de la fonction $x\mapsto \sin{x}$ pour $x\in [-3\pi, 3\pi]$, en rouge. Traçons maintant la courbe de la fonction $x\mapsto \frac{1}{2} \cos{2x}$ pour $x\in [- \pi, 3\pi]$, en bleu et pointillés.

Disons que je veux calculer une approximation d'une intégrale, naïvement. Pensons à $f(x)= - x \ln{2 x}$ entre $0$ et $2$. On va commencer par définir la fonction, puis faire une somme de Riemann avec les points milieux.

• $n$ va être le nonbre de divisions, le pas ici est donc $\Delta x = \frac{2}{n}$
• Pour chaque $i$ entre $1$ et $n$, on construira $x_i = 0+ i \Delta x = \frac{2i}{n}$
• Le point mileu de chaque intervale se construit facilement, c'est $(x_i + x_{i+1})/2$
• On doit après évaluer $f$ en ces points, multiplier par $\Delta x$ puis additionner.

On fera les choses avec des listes, mais bien sur, ça se fait avec des boucles.

On crée la liste des points milieux:

On évalue $f$ en chacun de ces points puis on multiplie par $\Delta x$, ce qui fait une autre liste, qui s'appelle F.

On calcule la somme, en mettant .n() à la fin, pour forcer un résultat numérique exprimé en notation décimale.

Mais bien entendu SAGE peut faire le calcul exact de cette intégrale (et plusieurs autres).

COURBES ORTHOGONALES

Un autre exemple : dessiner les courbes orthogonales aux courbes $y=c\sin{x}$. Pour chaque valeur de $c\in \mathbb{R}$ on considère la courbe $\mathcal{S}_c$ d'équation $y=c\sin{x}$.

Ci bas on a dessiné les courbes corerspondant aux valeurs de $c$ qui varient entre -4 et 4 par pas de .5 (la dernière valeur est exclue, il s'agit d'une liste) elles sont en bleu dans la figure plus bas.

On cherche une famille de coubes (rouges) qui coupent chacune des courbes bleues, et en chaque point d'intersection les tangentes aux courbes bleues sont orthogonales aux tangentes aux courbes rouges (voir le résultat plus bas).

De l'équation $y=c\sin{x}$ on tire directement $y'=c\cos{x}$, de sorte qu'en chaque point $(x,y)$ d'une courbe bleue $S_c$, la pente de la tangente est précisément $c\cos{x}$. La pente d'une droite orthogonale est le négatif de l'inverse, c'est à dire $-\frac{1}{c\cos{x}}$. On cherche donc $y'=-\frac{1}{c\cos{x}}$. De l'équation originale on peut éliminer $c=\frac{y}{\sin{x}}$, de sorte que, en remplaçant on trouve l'équation différentielle $y'=-\frac{\tan{x}}{y}$

Ceci peut se résoudre sans trop de peine, car c'est une équation à variables séparables, au pire une table d'intégrales donne l'intégrale de $\tan{x}$. Mais essayons plutôt de le faire avec SAGE.

Quelques remarques:

1. l'option show_method = True demande à SAGE de nous dire comment il a fait pour résoudre l'équation différentielle. Comme nous, il s'est rendu compte qu'il s'agissait d'une équation aux variables séparables.
2. Dans la solution présentée par SAGE il y a une constante d'intégration $c$, nous obtenons donc pour chaque valeur de $c$ une nouvelle courbe. Ce n'est pas le même $c$ que nous avions déjà.
   
3. Le terme $\ln{\sec{x}}$ vient d'intégrer $\tan{x}$. Or en réalité $\displaystyle \int \tan{x} dx = \ln{|\sec{x}|} + k$, il manque la valeur absolue, et le $k$ que nous avons ici est la constante ci-haut.
   

Les courbes de la famille orthogonale sont des courbes données implicitement (c'est ce qu'on obtient quand on résoud l'équation différentielle). On peut les tracer comme telles, il s'agit des courbes $y^2+2\cdot \ln{|\sec{x}|} = K$. Trouvez comment ceci est fait avec la commande implicit_plot.

Notez que les listes F1 et F2 sont les listes de courbes, donc d'objets graphiques. Ainsi, afficher la somme des listes, affiche toutes les courbes des listes. Probablement ce n'est pas la chose la plus efficace à faire...

Que se passe-t-il si on laisse tomber les valeurs absolues?

Voyons maintenant quelques courbes en coordonnées polaires. Habituellement, on écrit $r=f(\theta)$, si on donne l'équation explicitement.

Par exemple, $r=\cos{\theta}$ est un cercle, car en multipliant les deux côtés par $r$ on obtient $r^2 = r \cos{\theta}$, ou encore $x^2+y^2 = x$ ce qui équivaut à $(x-\frac{1}{2})^2+ y^2 = \frac{1}{4}$

Finalement, les courbes paramétriques $\mathbf{r}(t) = (x(t),y(t))$ pour $t\in[a,b]$

Un peu d'algèbre linéaire

Voyons maintenant comment faire les manipulations usuelles en algèbre linéaire : déclarer des vecteurs, faire le produit vectoriel (pour les vecteurs dans $\mathbb{R}^3$), produit scalaire, norme... et il en va de même pour les matrices.

Polynomes de Taylor

Pour finir, un peu de polynômes de Taylor, en une ou deux variables.

On peut, bien sur calculer plusieurs polynômes d'un seul coup, et faire les dessins sur une même figure. Ci-bas le graphique de la fonction $x\mapsto \sin{x}$ sur $[-2\pi,2\pi]$ (c'est ce que le paramètre $L$ contrôle), et les plynômes de Taylor de degrés inférieurs à 20. On remarquera comment on fait changer les couleurs des courbes.

Par ailleurs, on a intérêt à faire Taylor?.

Voici comment calculer le polynôme de Taylor autour de $x=1$, on obtient une somme de puissances de $(x-1)$.

Finalement, en deux variables: Calculons le polynôme de Taylor de degré $4$ de la fonction $x\mapsto x \cos(y)$ autour du point $(0,-1)$.

Bien entendu, ceci pourrait se faire (dans ce cas) comme le produit de deux polynomes de Taylor (attention aux degrés)

Quelques graphiques en 3D

On peut dessiner les surfaces de plusieurs façons différentes, dépendament de comment la surface est spécifiée:

• Paramétriquement, c'est à dire $\vec{r}:\mathcal{D}\to \mathbb{R}^3$ donnée par $\vec{r}(u,v)=x(u,v)\vec{\iota} + y(u,v)\vec{\jmath} + z(u,v)\vec{k}$ est une paramétrisation d'une surace $\mathcal{S}$. Ici on suppose que $(u,v)\in \mathcal{D}$.
• Explicitement, c'est à dire si $\mathcal{S}$ est l'ensemble des points $(x,y,z)$ tels que $z=f(x,y)$, pour $(x,y)\in \mathcal{D}$.
• Implicitement, c'est à dire si $\mathcal{S}$ est l'ensemble des points $(x,y,z)$ tels que $F(x,y,z)=0$.

Voyons quelques exemples.

Exemple : dessiner la région de l'espace comprise entre les surfaces $S_1:z=x^2+3y^2$ et $S_2:z=8-x^2-y^2$

Dessinons les deux surfaces explicitement:

Le graphique n'est pas tellement beau, essentiellement parce que $(x,y)$ décrivent un rectangle. L'idéal serait que seulement les valeurs de $(x,y)$ qui se trouvent sous la région commune soient considérées.

Pour ceci, on paramétrise les surfaces (on verra en détail comment faire dans le cours, on peut simplement ignorer les calculs qui suivent)

Calculons d'abord l'intersection des deux surfaces, c'est à dire $\displaystyle x^2+3y^2= 8-x^2-y^2$

C'est l'équation d'une ellipse, à savoir $\displaystyle \left(\frac{x}{2}\right)^2+ \left(\frac{y}{\sqrt{2}}\right)^2=1$.

Une paramétrisation de celle-ci est $x(u)=2\cos(u),\ y(u)=\sqrt{2}\sin{u}$ pour $u\in[0,2\pi]$.

La courbe d'intersection entre les deux surfaces est $(x(u),y(u),f(x(u),y(u)))$ où $u\in [0,2\pi]$.

On va utiliser la paramétrisation des surfaces, pour que les dessins soient plus beaux... Les paramètres seront en quelque sorte les coordonnées polaires, mais avec les noms $u,v$. Ainsi $x(u,v)=2 v \cos{u}$, et $y(u,v)=v \sqrt{2} \sin{u}$ pour $0\leq v \leq 1$ et $0\leq u \leq 2\pi$ est une description de l'ellipse et tout ce qu'il y a dans son intérieur: en effet on "multiplie" l'ellipse par le paramètre $v$ qui varie entre $0$ et $1$, ca remplit la région enfermée par l'ellipse. Pour ce qui est de l'ellipse il suffit de faire $v=1$.

Les surfaces sont ainsi $S_1: z=f(x(u,v), y(u,v))$, ou, paramétriquement $(x,y,z)= (x(u,v),y(u,v),f(x(u,v),y(u,v))$. Pour $S_2$ c'est pareil.

Flot d'un champ et lignes de courant : étant donné uin champs de vecteurs $\overrightarrow{\mathbf{F}}$ , une ligne de courant du champ est une courbe $\mathcal{C}$ donnée par une paramétrisation $\mathbf{r}(t)$ telle qu'en tout point le vecteur vitesse est égal au champ. En d'autres termes $\mathbf{v}(t) = \overrightarrow{\mathbf{F}}(\mathbf{r}(t))$

Trouver des lignes de courant revient à résoudre certaines équations différentielles. Par chaque point il y a une unique ligne de courant, on peut penser à la ligne de courant comme la trajectoire qu'un objet mobile suivrait, étant donné que sa vitesse doit coïncider avec le champ $\overrightarrow{\mathbf{F}}$ .

L'ensemble de toutes les lignes de courant s'appelle le flot du champ de vecteurs.

Ci-bas, trois lignes de courant, calculées "manuellement" pour le champ $\overrightarrow{\mathbf{F}}(x,y) = \mathbf{i} + (x+y) \mathbf{j}$ . L'équation différentielle associée est simplement $y′(x)=x+y$. En effet, si on a une courbe donnée explicitement $y=y(x)$, la pente de la tangente en $x_0$ et $y'(x_0)$, de sorte qu'un vecteur directeur de la tangente est $(1,y′(x_0))$. La recherche d'une ligne de courant pour le champ $\overrightarrow{\mathbf{F}}= P\mathbf{i} + Q\mathbf{j}$ c'est précisément la recherche d'une courbe dont un vecteur tangent au point $(x,y)$ et $\overrightarrow{\mathbf{F}}$.