Soit \(f:\mathbb{R}\to \mathbb{R}\) de classe \(\mathcal C ^\infty\) et \(g(x) = \dfrac{f(x)-f(0)}x\) si \(x \neq 0\), \(g(0)=f'(0)\).
Vérifier que \(g(x) = \int _{t=0}^1 f'(tx)\,\mathrm{ \;d}t\). En déduire que \(g\) est de classe \(\mathcal C ^\infty\).
Montrer de même que la fonction \(g_k : x\mapsto \dfrac1{x^k}\left({f(x) - f(0) - xf'(0) - \dots- \dfrac{x^{k-1}}{(k-1)!}f^{(k-1)}(0)}\right)\) se prolonge en une fonction de classe \(\mathcal C ^\infty\) en 0.
Soit \(f:\mathbb{R}\to \mathbb{R}\) continue. On définit pour \(x \in \mathbb{R}^*\) et \(y \in \mathbb{R}\) : \(g(x,y) = \dfrac 1x \int _{t=x}^{xy} f(t)\,\mathrm{ \;d}t\).
Montrer que \(g\) peut être prolongée en une fonction continue sur \(\mathbb{R}^2\).
On suppose de plus \(f\) dérivable en 0. Montrer que \(g\) est de classe \(\mathcal C ^1\).
\(g(x,y) = \int _{u=1}^y f(ux)\,d u\).
\(\dfrac{\partial g}{\partial x} = \dfrac1x \Bigl( yf(xy)-f(x) - \int _{u=1}^y f(ux)\,d u\Bigr) \to _{x\to 0}\dfrac{y^2 -1}2f'(0)\).
Calculer \(f(a) = \int _{t=0}^{+\infty } e^{-t^2 }\cos(at)\,\mathrm{ \;d}t\).
Soit \(g(a) = \int _{t=0}^{+\infty } e^{-t^2 }\dfrac{\sin(at)}t\,\mathrm{ \;d}t\) ; calculer \(\lim_{a\to +\infty } g(a)\).
\(f'(a) = -\dfrac a2f(a) \Rightarrow f(a) = \frac{\sqrt \pi }2\exp(-a^2 /4)\).
\(g'(a) = f(a) \Rightarrow g(a) \to _{a\to +\infty } \frac\pi 2\).
Soit f continue par morceaux définie sur \(\mathbb{R}\), à valeurs dans \(\mathbb{C}\).
Soient \(a,b\in \mathbb{R}\). Montrer que \(\int _{t=a}^b f(t) \cos(nt)\,\mathrm{ \;d}t\to _{n\to \infty }0\).
On suppose que \(f\) est intégrable sur \(]0,+\infty [\). Soit \(u_n= \int _{t=0}^{n\pi } \sin^2 (nt) f(t)\,\mathrm{ \;d}t\). Montrer que \((u_n)_{n \in \mathbb{N}}\) admet une limite quand \(n\to \infty\) et la préciser.
\(\sin^2 (nt) = \dfrac{1-\cos(2nt)}2\), donc il suffit d’étudier \(I_n = \int _{t=0}^{n\pi }\cos(2nt)f(t)\,\mathrm{ \;d}t\).
Posons \(I_{n,p} = \int _{t=0}^{\min(n,p)\pi }\cos(2nt)f(t)\,\mathrm{ \;d}t\) : on a \(|I_n-I_{n,p}| \leq \int _{t=p\pi }^{+\infty }|f(t)|\,\mathrm{ \;d}t\), quantité indépendante de \(n\) et tendant vers \(0\) quand \(p\to \infty\) donc le théorème d’interversion des limites s’applique :
\(\lim_{n\to \infty }I_n = \lim_{n\to \infty }\lim_{p\to \infty }I_{n,p} = \lim_{p\to \infty }\lim_{n\to \infty }I_{n,p} = 0\). On en déduit \(u_n \to _{n\to \infty } \dfrac12\int _{t=0}^{+\infty } f(t)\,\mathrm{ \;d}t\).