valeurs propres du laplacien
Bonjour,
Je considère le domaine borné $\Omega= ( 0,L )$ et l'espace de Hilbert $H=L^2(\Omega)$
Soit l'opérateur $A=-\Delta$ dont le domaine est $D(A)=H^1_0(\Omega) \cap H^2(\Omega)$
Je cherche les valeurs propres de cet opérateur :
Si je cherche à résoudre l'équation différentielle $-u''=\lambda u$ dans le monde des fonctions régulières, je trouve une infinité de valeurs propres $\lambda_k=(\frac{k \pi}{L})^2$ associées aux vecteurs propres $u_k(x)=\sin(\frac{k \pi}{L}x)$
Mais comment savoir qu'il n'y a pas d'autres valeurs propres associées à des vecteurs propres moins réguliers ?
Merci d'avance.
Je considère le domaine borné $\Omega= ( 0,L )$ et l'espace de Hilbert $H=L^2(\Omega)$
Soit l'opérateur $A=-\Delta$ dont le domaine est $D(A)=H^1_0(\Omega) \cap H^2(\Omega)$
Je cherche les valeurs propres de cet opérateur :
Si je cherche à résoudre l'équation différentielle $-u''=\lambda u$ dans le monde des fonctions régulières, je trouve une infinité de valeurs propres $\lambda_k=(\frac{k \pi}{L})^2$ associées aux vecteurs propres $u_k(x)=\sin(\frac{k \pi}{L}x)$
Mais comment savoir qu'il n'y a pas d'autres valeurs propres associées à des vecteurs propres moins réguliers ?
Merci d'avance.
Réponses
-
Non, car la famille obtenue est totale. De toutes façons, la régularité elliptique implique des fonctions propres de classe $C^\infty$.
-
Et que dit exactement ce théorème de régularité elliptique ?
-
Bonjour,
grosso modo, si tu as une fonction $u$ sur un domaine $\Omega$ borné régulier de $\mathbb{R}^n$ qui vérifie
$-\Delta u=f$ et $
u\in H^1_0$
alors, si $f\in H^k$ (resp. $C^{s,\alpha}$ espace de Hölder, $\alpha\in(0,1)$, $s\in\mathbb{N}$), alors $u\in H^{k+2}$ (resp. $C^{s+2,\alpha}$). En appliquant ceci de façon récursive, tu peux prouver que les valeurs propres du laplacien sont $C^\infty$.
Si tu veux rechercher un peu de doc sur le sujet, il y a bien sûr des résultats plus généraux avec un opérateur elliptique ou avec des estimations des "traces" pour les fonctions non nulles sur le bord. -
Oui. Ici, on est en dimension 1 et c'est plus simple. Si $-u''=\lambda u$ avec $u\in H^1$, cela implique que $u''\in H^1$, donc $u\in H^3$. Mais alors, $u''\in H^3$, donc $u\in H^5$. Mais alors, $u''\in H^5$, donc $u\in H^7$. Mais alors... finalement $u\in \cap_k H^k=C^\infty$.
-
Bonne nuit,
Dans ce cas simple, on doit pouvoir montrer que les solutions distributions sont les solutions classiques ? Non ?
En dimension 2 ou 3, les valeurs propres du laplacien sont détaillées dans Dautray-Lions (le volume n° 2 sur le laplacien, I suppose).
Bien cordialement. -
Dans ce cas simple, on doit pouvoir montrer que les solutions distributions sont les solutions classiques ? Non ?
Oui, puisque localement toute distribution est dans un $H^{-k}$, donc localement on finit par remonter à $L^2$ par bootstrap comme plus haut et de là vers $C^\infty$ et au delà ! -
Ca marcherait mieux si c'était "vers $\ell^{\infty}$ et au-delà" mais je ne vais pas faire la fine bouche.
Quel âge ont les enfants ? -
Ok . Merci beaucoup à tous
-
Bonjour,
j'ai une nouvelle question, cette fois ci au sujet du spectre du laplacien .
J'ai montré que $\forall u \in H^1_0((0,L)) ||u'||^2 \geq (\frac{\pi}{L})^2 ||u||^2 $
On me demande de déduire de cela que le spectre de mon opérateur $H=-\Delta$ est inclu dans$[(\frac{\pi}{L})^2,+\infty($ -
Prends une fonction propre associée à une valeur propre $\lambda$, multiplie l'équation par cette même fonction propre et intègre.
-
Après calculs j'arrive à $\int_{0}^{L} (\Phi_k')^2 = \lambda_k\int_{0}^{L} (\Phi_k)^2$
-
Oui, et donc ? (Il y a une erreur dans ton inégalité, en plus des $u$ qui deviennent des $\phi$ ou des $\Phi$).
-
Ah oui j'avais mal recopié :S
Du coup c'est facile :
$\lambda_k \int_{0}^{L} (\Phi_k)^2 \geq (\frac{\pi}{L})^2 \int_{0}^{L} (\Phi_k)^2$
D'où le résultat -
(tu)
-
Merci !!
-
Bonsoir,
je reviens sur la première réponse de remarque : en quoi le fait que la famille soit totale implique-t-il qu'il n'y a pas d'autre vecteurs propres ?
C. -
Parce que les fonctions propres associées à des valeurs propres différentes sont orthogonales deux à deux.
-
Merci pour la précision.
C. -
Bonjour, hier, on a traité le cas des valeurs propres, mais comment traiter les éléments du spectre qui justement ne sont pas des valeurs propres
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres