Opérateur différentiel - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Introduction

Un opérateur différentiel est un opérateur agissant sur des fonctions différentiables.

  • Lorsque la fonction est à une seule variable, l'opérateur différentiel est construit à partir des dérivées ordinaires.
  • Lorsque la fonction est à plusieurs variables, l'opérateur différentiel est construit à partir des dérivées partielles.

Notations

Soit Ω un ouvert de \R^n , et x un point de Ω. On introduit les n coordonnées xk (k = 1,...,n). Supposons que l'on ait une fonction des n variables : xk.

Dérivées du premier ordre

Pour simplifier les écritures, on note usuellement la dérivée partielle première par rapport à la coordonnée xk par le symbole :

 \partial_k \ = \ \frac{\partial ~~}{\partial x_k}

On est également amené à introduire l'opérateur différentiel Dk du premier ordre défini par :

\mathrm D_k \ = \ - \ i \ \partial_k \ = \ - \ i \ \frac{\partial ~~}{\partial x_k}

Dans cette définition, i est la « racine de l'unité » complexe : i2 = − 1. L'intérêt de définir cet opérateur Dk apparaitra plus tard, en relation avec la transformée de Fourier.

On utilise les notations sous forme de multi-indices : un multi-indice α est un n-uplet d'entiers

\alpha \ = \ \left( \alpha_1, \ \dots, \ \alpha_n \right) \ ; \quad \ \alpha_k \, \in \, \mathbb{N}

Sa longueur | α | est définie comme la somme des αi et on définit enfin la multi-factorielle :

 \alpha \, ! \ = \ \prod_{k=1}^n ( \, \alpha_k \, ! \, )  \ = \ \alpha_1 \, ! \ \times \ \dots \ \times \ \alpha_n \, !

Dérivées d'ordres plus élevés

  • La dérivée partielle d'ordre αk par rapport à la coordonnée xk correspond au symbole :
     \partial^{\alpha_k}_k
  • On définit alors les dérivées partielles, d'ordre global | α |  :
     \partial^{\alpha} \ = \ \partial^{\alpha_1}_1 \ \dots \ \partial^{\alpha_n}_n
  • Et les opérateurs différentiels Dα, d'ordre global | α |  :
     \mathrm D^{\alpha} \ = \ \mathrm D^{\alpha_1}_1 \ \dots \ \mathrm D^{\alpha_n}_n

Transformée de Fourier

Introduction de la transformée de Fourier

On définit ici la transformée de Fourier de la fonction f(x) de n variables xk (k = 1,...,n) par :

 \hat{f}(\xi) \ = \ \int_{\mathbb{R}^n} \mathrm dx \ e^{- \, i \, < \, \xi \, , \, x \, >} \ f(x)

Dans cette définition :

  • on note ξ le n-uplet constitué des variables : ξk (k = 1,...,n).
  • la mesure est : \mathrm dx = \prod_{k=1}^{n} \mathrm dx_k .
  • le facteur <\xi \, , \, x> dans l'exponentielle oscillante désigne le produit scalaire :<\xi \, , \, x>  = \sum_{k=1}^{n} x_k \, \xi_k.

La formule de transformation inverse s'écrit alors :

 f(x)  \ = \ \int_{\mathbb{R}^n} \mathrm d \tilde{\xi} \ e^{+ \, i \, < \, \xi , \, x \, >} \ \hat{f}(\xi)

où la mesure est : \mathrm d \tilde{\xi} \ = \ \frac{\mathrm d \xi}{(2\pi)^n} \quad avec  \mathrm d\xi = \prod_{k=1}^{n} \mathrm d\xi_k .

Application aux opérateurs différentiels

Appliquons l'opérateur différentiel \mathrm D_k =  - \, i \, \partial_k à la représentation de Fourier de la fonction f(x). En supposant qu'on puisse intervertir la dérivation et l'intégration, on obtient :

 \mathrm D_k \, f(x) \ = \ \int_{\mathbb{R}^n} \mathrm d \tilde{\xi} \ \left( \ - \ i \ \partial_k \ e^{+ \, i \, < \, \xi \, , \, x \, >} \ \right) \ \hat{f}(\xi) \ = \ \int_{\mathbb{R}^n} \mathrm d \tilde{\xi} \ e^{+ \, i \, < \, \xi \, , \, x \, >} \ \xi_k \ \hat{f}(\xi)

qu'on peut écrire : (\widehat{\mathrm D_k \, f})(\xi) = \xi_k \ \hat{f}(\xi) . On en déduit que :

(\widehat{\mathrm D^{\alpha} \, f})(\xi) \ = \ \xi^{\alpha} \ \hat{f}(\xi)

où : \xi^{\alpha} = \xi_1^{\alpha_1} \ \times \ \dots \ \times \ \xi_n^{\alpha_n} . L'opérateur différentiel  \mathfrak{D} d'ordre m vérifie donc la relation :

(\mathfrak{D} \,f)(x)  \ = \ \sum_{|\alpha| = 0}^m \ a_{\alpha}(x) \ \int_{\mathbb{R}^n} \mathrm d \tilde{\xi} \ e^{+ \, i \, < \, \xi \, , \, x \, >} \  \xi^{\alpha}  \ \hat{f}(\xi)

On peut intervertir la somme et l'intégrale pour écrire :

(\mathfrak{D} \,f)(x)  \ = \ \int_{\mathbb{R}^n} \mathrm d \tilde{\xi} \ e^{+ \, i \, < \, \xi \, , \, x \, >} \ \left( \ \sum_{|\alpha| = 0}^m \ a_{\alpha}(x) \  \xi^{\alpha} \ \right) \ \hat{f}(\xi)

Symbole d'un opérateur différentiel

On appelle symbole de l'opérateur différentiel  \mathfrak{D} d'ordre m la fonction σ(x,ξ) des 2n variables (x,ξ) polynomiale en ξ de degré m :

\sigma (x,\xi) = \sum_{|\alpha| = 0}^m \ a_{\alpha}(x) \ \xi^{\alpha}

de telle sorte que :

(\mathfrak{D} \,f)(x)  \ = \ \int_{\mathbb{R}^n} \mathrm d \tilde{\xi} \ e^{+ \, i \, < \, \xi \, , \, x \, >} \ \sigma (x,\xi) \ \hat{f}(\xi)

On constate que cette formule pourrait en fait permettre de définir l'opérateur \mathfrak{D} à partir de son symbole σ. Cette idée sera mise à profit dans la théorie des opérateurs pseudo-différentiels.

Attention : pour un opérateur différentiel dont les coefficients aα(x) ne sont pas constants, le symbole σ(x,ξ) dépend des coordonnées d'espace x, et l'expression \sigma(x,\xi) \, \hat{f}(\xi) n'est pas la transformée de Fourier de (\mathfrak{D} \, f)(x) , c’est-à-dire que :

(\widehat{\mathfrak{D} \, f})(\xi) \ \ne  \ \sigma (x,\xi) \ \hat{f}(\xi)

La formule correcte de la transformée de Fourier est calculée dans le paragraphe «  ».

Symbole principal d'un opérateur différentiel

On appelle symbole principal de l'opérateur différentiel  \mathfrak{D} d'ordre m la fonction  :

\sigma_m (x,\xi) = \sum_{|\alpha| = m} \ a_{\alpha}(x) \ \xi^{\alpha}
Page générée en 0.126 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise