Trouver une constante positive.
Réponses
-
Bonjour,
Pour $f$ nulle c'est faux.
Pour $f$ non nulle, l'intégrale à gauche est strictement positive ( et donc $c$ existe) sauf si $f$ vérifie l'ED... qui est de Bessel et donc $C_0^\infty$.
Ton énoncé est donc faux. Il n'existe pas $c>0$ lorsque $f$ est solution de l'équation différentielle de Bessel (qui inclut la fonction nulle). -
Bonjour@YvesM, la fonction de Bessel n'est pas solution de l'équation différentielle qui est à gauche, d'ailleurs il n'existe aucune $f\in L^2(\R^+,rdr)$ solution de l'équation différentielle en question (c'est un résultat déjà montré).
Merci infiniment. -
Bonjour,
Avec la correction du signe en $\geq$ et le résultat sur l'inexsitence de solution de cette ED qui soit $L^2$, tu peux conclure. -
Bonjour, comment je peux conclure.
-
Bonjour,
J’essaie.
Si $f$ est la fonction nulle, alors l’inegalite est vraie pour toute constante $c>0$ ; on peut choisir $c=1.$
Si $f$ n’est pas nulle, et si l’integrale du membre de droite existe, alors l’integrale du membre de droite est strictement positive. On divise donc par cette intégrale toute l’inegalite. On prend la contraposée. On suppose qu’il existe une fonction $f$ telle que le membre de gauche soit plus petit que tout $c>0.$ A la limite, on obtient que l’intégrale à gauche est nulle : donc $f$ vérifie l’ED (puisque l’integrande est positif ou nul) mais les fonctions de Bessel solutions - non nulles - ne sont pas de carré sommable sur l’axe des réels positifs. Contradiction.
C’est raisonnable ? -
Bonjour,
Ma proposition c'est $ \exists c>0, \forall f,\dots$ sa négation est donc
$\forall c>0, \exists f , \overline{\dots}$
donc à chaque $c>0$, il va exister un $f$ qui dépend de $c$.
Du coup ton raisonnement ne marche pas bien.
Merci -
Bonjour,
As-tu essayé avec la fonction f égale à une exponentielle en $-r/a$ ? -
Bonjour, je pense que tu peux utiliser le théorème de l'application ouverte. Considère l'espace fonctionnel L^2[R+], le membre de droite est la norme au carré de f dans cet espace. Et celui de gauche la norme au carré d'un certain opérateur. Montre que le Im de ton opérateur est un sous espace fermé, qu'il est injectif et déduis l'existence de cette constante avec le théorème de l'application ouverte
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.6K Toutes les catégories
- 62 Collège/Lycée
- 22.2K Algèbre
- 37.7K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 23 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 26 Mathématiques et finance
- 344 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 805 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres