Transfert de régularité du bord d'un ouvert
Bonjour
Dans $\mathbb{R}^n$, ($n=2$ ou $3$), je considère un ouvert borné $\Omega$ dont le bord $\partial \Omega$ est de classe $C^k$ ($k$ entier). Étant donnée une fonction $f:\Omega \rightarrow \mathbb{R}^n$, quelle régularité doit-elle avoir pour garantir que $\partial (f(\Omega))$ soit de classe $C^k$ ? En particulier doit-on imposer une régularité jusqu'au bord ? J'ai d'abord pensé que $f\ C^k$-difféo sur l'ouvert $\Omega$ pouvait suffire mais je crois que je me trompe... je précise que je ne m'y connais pas trop en théorie des variétés.
Merci d'avance !
Dans $\mathbb{R}^n$, ($n=2$ ou $3$), je considère un ouvert borné $\Omega$ dont le bord $\partial \Omega$ est de classe $C^k$ ($k$ entier). Étant donnée une fonction $f:\Omega \rightarrow \mathbb{R}^n$, quelle régularité doit-elle avoir pour garantir que $\partial (f(\Omega))$ soit de classe $C^k$ ? En particulier doit-on imposer une régularité jusqu'au bord ? J'ai d'abord pensé que $f\ C^k$-difféo sur l'ouvert $\Omega$ pouvait suffire mais je crois que je me trompe... je précise que je ne m'y connais pas trop en théorie des variétés.
Merci d'avance !
Réponses
-
f polynomiale est une hypothèse de régularité suffisante. Globalement, toutes les autres échouent, même la biholomorphie https://fr.wikipedia.org/wiki/Théorème_de_l'application_conforme .
-
Ajout au message précédent.
Je corrige : si $f$ est polynomiale et bijective oui, sinon pas sûr ($f(\Omega)$ peut ne même pas être ouvert). Peu importe. En tout cas, l'hypothèse $C^k$ ou $C^{\infty}$ est insuffisante.
[Inutile de reproduire le message précédent. AD] -
Merci pour l'info ! Auriez-vous une référence pour ce résultat ? Et si on suppose $f : \overline{\Omega} \rightarrow \mathbb{R}^n$ (donc définie aussi au bord), l'hypothèse $f \ C^k$-difféo entre $\overline{\Omega}$ et son image peut-elle cette fois-ci être suffisante ?
-
Que veut dire être $C^k$ sur un fermé ? À ma connaissance, les fonctions $C^k$ sont définies sur des ouverts.
Ce que je peux dire c'est que, si $f$ est prolongeable $C^k$ sur un voisinage de $\overline{\Omega}$, alors $\partial (f(\Omega))$ est bien $C^k$. -
Merci ! Pour moi on peut tout à fait définir la notion de continuité sur un fermé. Il suffit d'utiliser la topologie usuelle "restreinte" (c'est peut-être pas le bon terme) au fermé.
-
La continuité, oui, mais la différentiabilité ?
-
Je reconnais que je n'avais jamais vraiment creusé la question. Du coup j'ai été regarder et ça existe bien, $u \in C^k(\overline{\Omega})$ signifie qu'il existe un ouvert $\tilde{\Omega}, \ \overline{\Omega} \subset \tilde{\Omega}$ et une fonction $\tilde{f} \in C^k(\tilde{\Omega})$ telle que $\tilde{f}|_{\overline{\Omega}} = f$.
En même temps le contraire m'aurait étonné, en analyse il y a plein de théorèmes qui utilisent ces espaces...
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 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
- 62 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
- 312 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
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres
In this Discussion
Qui est en ligne 2
2 Invités