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/
|
|
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.
.
Une décomposition en éléments simples par rapport à l'indéterminée r donne tout de suite la formule.
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);
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
.
Nous devons intégrer l'expression . 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
.
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
.
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.