Cauchy-Schwarz
Bonjour
On a $\forall t \in [a,b] , \ f(t)-f(a) = \displaystyle\int_{a}^t f'(u) du$. Comme $f(a)=0$ alors $f(t)= \displaystyle\int_{a}^t f'(u) du.$
Donc $f^2(t)= \Big( \displaystyle\int_{a}^t f'(u) du \Big)^2.$
Or, $ \displaystyle\int_{a}^t f'(u) du \leq \int_{a}^t |f'(u)| du .$
L'inégalité de Cauchy-Schwarz fournit $ \Big( \displaystyle\int_{a}^t |f'(u)| du \Big)^2 \leq \int_{a}^t f'(u)^2 du \int_{a}^t du.$
Donc $\boxed{\Big( \displaystyle\int_{a}^t |f'(u)| du \Big)^2 \leq (t-a) \int_{a}^t f'(u)^2 du}.$
Je bloque ici.
On a $\forall t \in [a,b] , \ f(t)-f(a) = \displaystyle\int_{a}^t f'(u) du$. Comme $f(a)=0$ alors $f(t)= \displaystyle\int_{a}^t f'(u) du.$
Donc $f^2(t)= \Big( \displaystyle\int_{a}^t f'(u) du \Big)^2.$
Or, $ \displaystyle\int_{a}^t f'(u) du \leq \int_{a}^t |f'(u)| du .$
L'inégalité de Cauchy-Schwarz fournit $ \Big( \displaystyle\int_{a}^t |f'(u)| du \Big)^2 \leq \int_{a}^t f'(u)^2 du \int_{a}^t du.$
Donc $\boxed{\Big( \displaystyle\int_{a}^t |f'(u)| du \Big)^2 \leq (t-a) \int_{a}^t f'(u)^2 du}.$
Je bloque ici.
Réponses
-
Dès qu'on a écrit ceci avec C-S le résultat est évident.
$\int_a^b f(t)^2 dt =\int_a^b (\int_a ^t f'(x) dx)^2 dt=.. $ -
C'est bon j'ai réussi, il suffit de remarque que $\displaystyle\int_{a}^t f^2(u) du \leq \displaystyle\int_{a}^b f^2(u) du$ car $f^2(u) \geq 0$.
Puis on calcule $\displaystyle\int_{a}^b (t-a) dt= \Big[ \dfrac{t^2}{2} -at \Big] = \dfrac{b^2}{2} -ab -\dfrac{a^2}{2} +a^2 =\dfrac{b^2+a^2-2ab}{2} =\dfrac{ (b-a)^2}{2}$.
Ce qui permet de conclure. -
Bonjour,
Quand tu intègres $t-a$ par rapport à $t$, tu peux écrire, tout de go, ${(t-a)^2\over 2}$ afin de bénéficier de la borne en $a.$
Cette façon d’écrire est très souvent utile dans la plupart des exercices et démonstrations. -
Merci Yves en effet c'est astucieux.
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