Math sup : intégrales et primitives
Lien dérivée/intégrale
Enoncé
Soit $f:[a,b]\to\mathbb R$ continue telle que, pour tout couple $(\alpha,\beta)\in[a,b]^2$, on a
$\int_\alpha^\beta f(x)dx=0$. Montrer que $f\equiv 0$.
Enoncé
Soit $f:\mathbb R\to\mathbb R$ une fonction de classe $\mathcal C^1$ telle que $f'$ est $T$-périodique. On suppose
que $f(T)\neq f(0)$.
- Montrer que pour tout $n\geq 1$, $f(nT)-f((n-1)T)=f(T)-f(0)$.
- En déduire que $f$ n'est pas périodique.
Enoncé
Déterminer toutes les fonctions continues $f:\mathbb R\to\mathbb R$ vérifiant, pour tous $(x,y)\in\mathbb R^2$,
$2yf(x)=\int_{x-y}^{x+y}f(t)dt$.
Enoncé
Soit $f$ une fonction de classe $C^1$ réalisant une bijection de $[0,+\infty[$ sur $[0,+\infty[$.
- Justifier que $f$ est strictement croissante.
- Montrer que, pour tout $x\in\mathbb R^+$, on a $$xf(x)=\int_0^x f(t)dt+\int_{0}^{f(x)}f^{-1}(t)dt.$$
- En déduire que, pour tout $(x,y)\in[0,+\infty[^2$, on a $$xy\leq \int_0^x f(t)dt+\int_0^yf^{-1}(t)dt.$$ Dans quel cas a-t-on égalité?
Intégrales et suites
Exercice 5 - Intégrales de Wallis - convergence vers 0 [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $I_n=\int_0^{\pi/2}\sin^n xdx$, pour $n\in\mtn$.
- Montrer que la suite $(I_n)$ est décroissante.
- Montrer que la suite $(I_n)$ est strictement décroissante.
- Soit $\veps\in]0,\pi/2[$.
- Montrer que $I_n\leq \frac{\pi}{2}\sin^n\left(\frac\pi 2-\veps\right)+\veps$.
- En déduire (proprement!) que $(I_n)$ converge vers 0.
Enoncé
Pour $n\in\mathbb N$, on pose
$$I_n=\int_0^1 (1-t^2)^n dt.$$
- Montrer que la suite $(I_n)$ est strictement décroissante.
- Montrer que, pour tout $u\in [0,1]$, on a $0\leq 1-u\leq e^{-u}$.
- En déduire une majoration de $I_n$ à l'aide de $J_n=\int_0^{\sqrt n}e^{-x^2}dx$.
- Montrer que la suite $(J_n)$ est majorée. En déduire que la suite $(I_n)$ converge vers une limite que l'on calculera.
- Démontrer que, pour tout $n\geq 1$, $I_{n}=\frac{2n}{2n+1}I_{n-1}$.
- En déduire, pour $n\geq 0$, une expression de $I_n$ à l'aide de factorielles,
- En déduire une expression de $\int_0^{\pi/2}\cos^{2n+1}\theta d\theta$ pour tout $n\in\mathbb N$.
Suites d'intégrales
Exercice 7 - Lemme de Riemann-Lebesgue pour les fonctions de classe $C^1$ [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f:[a,b]\to\mathbb R$ une fonction de classe $C^1$. Démontrer que
$$\int_a^b f(t)\sin(nt)dt\to 0.$$
Enoncé
Soit $f:[0,1]\to\mathbb R$ une fonction continue. On pose $u_n=\int_0^1 t^n f(t)dt$.
- Démontrer que $(u_n)$ tend vers 0.
- On suppose de plus que $f$ est $C^1$ et que $f(1)\neq 0$. Déterminer un équivalent de $(u_n)$.
Enoncé
Soit $g:[0,1]\to\mathbb R$ continue.
- Étudier la suite $(L_n)$ définie par $L_n=\int_0^1 t^n g(t)dt$.
- On suppose que $g$ vérifie $g(1)=0$. Étudier la suite $(I_n)$ définie par $I_n=n\int_0^1 t^n g(t)dt.$
- On suppose maintenant que $g$ est de classe $C^1$ et vérifie $g(1)=g'(1)=0$. Etudier la suite $(J_n)$ définie par : $J_n=n^2\int_0^1 t^ng(t)dt.$
Enoncé
On pose $\mathcal E=\{f\in\mathcal C^1([0,1],\mathbb R);\ f(0)=0\textrm{ et }f(1)=1\}$.
- Soit $f\in\mathcal E$.
- Démontrer que l'on a $$\int_0^1 e^{-t}\big(f'(t)-f(t)\big)dt=\frac 1e.$$
- En déduire l'inégalité $$\int_0^1 |f'(t)-f(t)|dt\geq\frac 1e.$$
- Discuter le cas d'égalité.
- Soit $n\geq 2$ un entier. On définit la fonction $f_n$ sur $[0,1]$ par
$$f_n(t)=\left\{
\begin{array}{ll}
n(2t-nt^2)e^{t-1}&\textrm{ si }t\in \left[0,\frac 1n\right[\\
e^{t-1}&\textrm{ si }t\in \left[\frac 1n,1\right].
\end{array}\right.$$
- Justifier que $f_n\in\mathcal E$.
- On pose $$I_n=\int_0^1 |f_n'(t)-f_n(t)|dt.$$ Montrer que $$I_n=\frac 2e\int_0^1 (1-x)e^{x/n}dx.$$
- Calculer $\dis \frac2e \int_0^1 (1-x)dx$ puis montrer que $$\left|I_n-\frac 1e\right|\leq \frac 1e\left(e^{1/n}-1\right).$$
- Que vaut $\inf_{f\in\mathcal E}\int_0^1 |f'(t)-f(t)|dt$?
Fonctions définies par une intégrale
Enoncé
- Soient $I,J$ des intervalles de $\mathbb R$, soit $a\in I$, soit $h:I\to\mathbb R$ continue, $u,v:J\to I$ de classe $C^1$ et $$F(x)=\int_{u(x)}^{v(x)}h(t)dt.$$ Exprimer $F$ en fonction de $f:x\mapsto \int_a^x h(t)dt$. En déduire que $F$ est $C^1$ et calculer sa dérivée.
- On considère la fonction $F$ définie sur $J=]1,+\infty[$ par $$F(x)=\int_x^{x^2}\frac{dt}{(\ln t)^2}.$$ Étudier le sens de variation de $F$ sur $J$.
- En utilisant la décroissance de la fonction $t\mapsto \frac1{(\ln t)^2}$ sur $I=]1,+\infty[$, déterminer $\lim_{x\to+\infty}F(x)$.
- En utilisant l'inégalité $0<\ln t\leq t-1$ pour $t\in I$, déterminer $\lim_{x\to 1^+}F(x)$.
Enoncé
Soit $f$ la fonction définie par $f(x)=\int_x^{2x}\frac{dt}{\sqrt{t^4+t^2+1}}$.
- Quel est le domaine de définition de $f$? Est-elle paire, impaire?
- Étudier les variations de $f$, puis l'existence de limites aux bornes de l'ensemble de définition.
Enoncé
Étudier la fonction suivante sur $\mathbb R$ :
$$f:x\mapsto\int_0^{\sin^2 x}\arcsin\sqrt tdt+\int_0^{\cos^2 x}\arccos \sqrt tdt.$$
Enoncé
Question préliminaire : Soient $I,J$ des intervalles de $\mathbb R$, soit $h:I\to\mathbb R$ continue, $u,v:J\to I$ de classe $C^1$ et
$$F(x)=\int_{u(x)}^{v(x)}h(t)dt.$$
Justifier que $F$ est $C^1$ et calculer sa dérivée.
On définit, pour $x\in[0,1[$, $$f(x)=\int_x^{x^2}\frac{dt}{\ln t}.$$
On définit, pour $x\in[0,1[$, $$f(x)=\int_x^{x^2}\frac{dt}{\ln t}.$$
- En utilisant la concavité du logarithme, démontrer que $$\forall x\in]0,1[,\ \forall t\in]x^2,1],\ \frac{2\ln x}{x^2-1}(t-1)\leq \ln t\leq t-1.$$
- En déduire que $f$ se prolonge par continuité en 1.
- Justifier que $f$ est dérivable sur $[0,1]$, et calculer sa dérivée.
- En déduire la valeur de $I=\int_0^1\frac{(t-1)}{\ln t}dt$.
Formules de Taylor
Enoncé
-
- Soit $a>0$. Démontrer que $$\left|\cos a-1+\frac{a^2}{2!}-\frac{a^4}{4!}\right|\leq \frac{a^5}{5!}.$$
- En déduire que $$\frac{337}{384}-\frac{1}{3840}\leq\cos(1/2)\leq\frac{337}{384}+\frac{1}{3840}.$$
- Soit $x$ un réel strictement positif. Démontrer que : $$\left|\ln(1+x)-x+\frac{x^2}{2}\right|\leq\frac{x^3}{3}.$$ En déduire une valeur approchée de $\ln(1,003)$ à $10^{-8}$ près.
Enoncé
- Soit $(u_n)$ la suite définie par $$u_n=1+\frac{1}{1!}+\frac{1}{2!}+\dots+\frac{1}{n!}.$$ Démontrer que $(u_n)$ converge vers $\exp(1)$.
- On considère la suite $(u_n)$ définie par $$u_n=1-\frac12+\frac13+\dots+\frac{(-1)^{n-1}}{n}.$$ Montrer que cette suite converge vers $\ln(2)$.
Enoncé
Soit $f$ une fonction définie sur $\mtr$, de classe $C^2$. On suppose que $f$ et $f''$ sont bornées, et l'on pose :
$$M_0=\sup_{x\in\mtr}|f(x)|,\ \ M_2=\sup_{x\in\mtr}|f''(x)|$$
($M_0$ et $M_2$ sont donc des nombres réels tels que, pour tout $x$ réel, on a $|f(x)|\leq M_0$ et $|f''(x)|\leq M_2$). Le
but de cet exercice est de prouver que $f'$ est bornée, et de majorer $M_1=\sup_{x\in\mtr}|f'(x)|$ en fonction de $M_0$ et $M_2$.
Soit $x\in\mtr$, et $h>0$.
- Appliquer l'inégalité de Taylor-Lagrange à $f$ entre $x$ et $x+h$ à l'ordre 2.
- En déduire l'inégalité : $$|f'(x)|\leq \frac{2M_0}{h}+\frac{hM_2}{2}.$$ En particulier, si on choisit $h=1$, on obtient $|f'(x)|\leq 2M_0+\frac{M_2}{2}$ pour tout $x$ de $\mtr$, ce qui prouve que $f'$ est bornée, avec $M_1\leq 2M_0+\frac{M_2}{2}.$ On se propose de trouver une meilleure majoration :
- Etudier la fonction $h\mapsto \frac{2M_0}{h}+\frac{hM_2}{2}$ sur $]0,+\infty[$.
- En déduire $M_1\leq 2\sqrt{M_0M_2}.$
Enoncé
Soit $f:\mathbb R\to\mathbb R$ de classe $C^\infty$ et $\lambda>0$ vérifiant :
$$\left\{
\begin{array}{c}
f^{(n)}(0)=0\textrm{ pour tout entier }n\geq 0\\
\sup_{\mathbb R}|f^{(n)}|\leq \lambda^nn!
\end{array}\right.$$
- Montrer que $f=0$ sur l'intervalle $\left]-\frac1\lambda,\frac1\lambda\right[$.
- Montrer que $f=0$ sur $\mathbb R$.
Enoncé
Soit $f:\mathbb R\to\mathbb R$ une fonction de classe $C^\infty$ vérifiant la propriété suivante : il existe un polynôme
$P\in\mathbb R[X]$ de degré impair tel que, pour tout $n\geq 0$, pour tout $x\in\mathbb R$,
$$|f^{(n)}(x)|\leq |P(x)|.$$
- Montrer qu'il existe $a\in\mathbb R$ tel que $f^{(n)}(a)=0$ pour tout $n\geq 0$.
- En déduire que $f$ est identiquement nulle.
- Le résultat subsiste-t-il si on suppose que $P$ est de degré pair?
Exercice 20 - La dérivée seconde doit être grande [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f:[0,1]\to\mathbb R$ de classe $C^2$ vérifiant $f(0)=f'(0)=f'(1)=0$ et $f(1)=1$.
Montrer qu'il existe $c\in[0,1]$ tel que $|f''(c)|\geq 4.$
Enoncé
En appliquant la formule de Taylor avec reste intégral à la fonction $x\mapsto \ln(1+x^2)$, prouver que :
$$\int_0^1\frac{(1+t)(1-t)^2}{(1+t^2)^2}dt=\frac{\ln 2}{2}.$$
Enoncé
Soient $a<b$ deux réels.
- Soit $g:[a,b]\to\mathbb R$ continue et $n\geq 1$. On note $m=\min_{[a,b]}g$ et
$M=\max_{[a,b]}g$.
- Démontrer que $$\frac{m(b-a)^{n}}n \leq \int_a^b (b-t)^{n-1} g(t)dt\leq \frac{M(b-a)^{n}}n.$$
- En déduire qu'il existe $c\in [a,b]$ tel que $$\int_a^b (b-t)^{n-1} g(t)dt=\frac{(b-a)^{n}g(c)}n.$$
- Soit $f:[a,b]\to\mathbb R$ de classe $C^n$. Démontrer qu'il existe $c\in[a,b]$ tel que $$f(b)=\sum_{k=0}^{n-1} \frac{f^{(k)}(a)}{k!}(b-a)^k +\frac{(b-a)^nf^{(n)}(c)}{n!}.$$
Enoncé
Démontrer que pour tout $x\in[0;+\infty[$ :
$$1-\frac x3+\frac{2x^2}9-\frac{14x^3}{81}\leq\frac1{\sqrt[3]{1+x}}\leq 1-\frac x3+\frac{2x^2}9.$$
Méthodes numériques de calcul approché d'intégrales
Enoncé
Soit $f$ une fonction de classe $C^2$ sur un intervalle $[a,b]$ de $\mathbb R$. On pose $I=\int_a^b f(t)dt$,
$I_m=(b-a)f\left(\frac{a+b}2\right)$. On note $M_2=\max\{|f''(x)|;\ x\in[a,b]\}$.
- Soit $\Delta(x)=\int_{c-x}^{c+x}f(t)dt-2xf(c)$, où $c=\frac{a+b}2$. Montrer que $|\Delta''(x)|\leq 2xM_2$ pour tout $x\in[0,\frac{b-a}2]$. En déduire une majoration de $\Delta\left(\frac{b-a}{2}\right)$, puis que $$\left|I-I_m\right|\leq M_2 \frac{(b-a)^3}{24}.$$
- Pour tout $n\geq 1$, on pose $I_{m,n}=\frac{b-a}{n}\sum_{k=0}^{n-1} f\left(\frac{x_k+x_{k+1}}{2}\right)$ où $x_k=a+k\frac{b-a}n$. Montrer que $$\left|\int_a^b f(x)dx-I_{m,n}\right|\leq\frac{(b-a)^3}{24n^2}M_2.$$
Enoncé
Soit $f$ une fonction de classe $C^2$ sur un intervalle $[a,b]$ de $\mathbb R$. On pose $I=\int_a^b f(t)dt$
et on note $M_2=\max\{|f''(x)|;\ x\in[a,b]\}$.
- Montrer que $I=(b-a)\frac{f(a)+f(b)}{2}+\int_a^b \frac{(t-a)(t-b)}{2}f''(t)dt$.
- Montrer que $\int_a^b \frac{(t-a)(b-t)}{2}dt=\frac{(b-a)^3}{12}$.
- On fixe $n\geq 1$, et on pose $a_k=a+k\frac{b-a}{n}$. On note $I_n$ la valeur approchée de $I$ obtenue par la méthode des trapèzes avec $n$ intervalles. Exprimer $I_n$ en fonction des $a_k$, puis démontrer que $$|I-I_n|\leq\frac{M_2(b-a)^3}{12n^2}.$$