Intégrale non nulle

Bonjour, s'il vous plaît, pouvez-vous m'expliquer l'existence de $\alpha>0$ telle que $\int_{0}^{\alpha}\lambda(x)dx \neq 0$ dans le lemme suivant.
Merci.98100

Réponses

  • Bonjour,

    Comme le module est $1$, $\lambda \neq 0$. Et donc, dans un voisinage de $0$ assez petit, $\lambda\neq 0$ et le résultat est là.
  • Ça ne suffit pas parce que $\lambda$ est à valeurs complexes.

    L'idée, c'est que pour $t$ proche de $0$, $\lambda(t)$ est proche de $\lambda(0)$ donc $\int_0^\alpha\lambda(t)\mathrm{d}t$ est proche de $\int_0^\alpha\lambda(0)\mathrm{d}t=\alpha\lambda(0)$. On va quantifier ça.
    Par continuité, $\bigl|\lambda(t)-\lambda(0)\bigr|\le\dfrac{\bigl|\lambda(0)\bigr|}{3}$ pour $t$ dans un intervalle $[0,\alpha]$ avec $\alpha>0$ suffisamment petit.
    En intégrant : \[
    -\left|\int_0^\alpha\lambda(t)\mathrm{d}t\right|+\left|\alpha\lambda(0)\right|
    \le\left|\int_0^\alpha\lambda(t)\mathrm{d}t-\alpha\lambda(0)\right|\le\int_0^\alpha\bigl|\lambda(t)-\lambda(0)\bigr|\mathrm{d}t\le\frac{\bigl|\alpha\lambda(0)\bigr|}{3}\]d'où l'on conclut facilement.
  • Merci pour l'aide!!:-)
Connectez-vous ou Inscrivez-vous pour répondre.