Calcul formel : Mode d'emploi - Exemples en Maple

Claude Gomez, Bruno Salvy, Paul Zimmermann

Masson, 1995

Chapitre VIII, section 2.7, exercice 7, page 212.

Philippe.Dumas@inria.fr
http://algo.inria.fr/dumas/Maple/

Page du Projet Algorithmes | Page de Philippe Dumas | Page Maple de Philippe Dumas

Retour en page principale
Table des matières
Index
Maple V.5 worksheet


Je n'arrive pas à voir ce que je pourrais faire pour utiliser un système de calcul formel dans cet exercice. Le noyau de Poisson est défini par l'expression suivante.

[Maple Math].

Une décomposition en éléments simples par rapport à l'indéterminée r donne tout de suite la formule

[Maple Math].

Ce pourrait être une occasion d'utiliser Maple avec l'instruction, valable à partir de la version V.5,

> P:=(1-r^2)/(1-2*r*cos(theta)+r^2):
expandedP:=convert(P,fullparfrac,r);

[Maple Math]

suivie d'une transformation fastidieuse. Quoi qu'il en soit, si nous voyons l'indéterminée r comme un réel strictement entre 0 et 1, nous pouvons développer la fraction rationnelle en série entière et nous obtenons l'expression suivante du noyau de Poisson

[Maple Math].

Nous devons intégrer l'expression [Maple Math]. L'énoncé ne fournit aucune hypothèse sur la fonction f. Une hypothèse raisonnable est que la fonction est intégrable au sens de Riemann entre 0 et 2*PI, par exemple continue. Dans ces conditions le développement en série entière par rapport à r de l'intégrande est normalement convergent (nous supposons toujours que r représente un réel strictement entre 0 et 1) et nous pouvons intégrer terme à terme. Le premier terme n'est que la moyenne de la fonction sur l'intervalle. Pour les autres nous développons le cosinus comme suit

[Maple Math].

Du coup en intégrant nous voyons apparaître les coefficients de Fourier a_n et b_n de la fonction 2*Pi-périodique qui coïncide avec f entre 0 et 2*Pi. Finalement nous obtenons la formule

[Maple Math].

Cette formule est la base de la méthode de Poisson pour la sommation des séries de Fourier. La méthode consiste à étudier la limite de l'expression précédente quand r tend vers 1 par valeurs inférieures. La formule intervient aussi dans la résolution du problème de Dirichlet pour un disque.

Retour en page principale