\documentclass[12pt]{article}

\usepackage{lmodern}
\usepackage[T1]{fontenc}      
\usepackage[francais]{babel}

\usepackage{enumerate}
\usepackage{setspace}
\usepackage{soul}
\usepackage{amsthm, amsmath, amssymb}
%\usepackage{mathrsfs}
\usepackage{graphicx}
%\usepackage{centernot}
%\usepackage[all]{xy}

\onehalfspacing

\setlength\parindent{0em}
\setlength{\textheight}{592pt}
\setlength{\textwidth}{420pt}
\setlength{\voffset}{-18pt}
\setlength{\hoffset}{-18pt}
\setlength{\topmargin}{0pt}

\newtheoremstyle{theoreme}{15pt}{15pt}{\itshape}{6pt}{\bfseries}{.}{\newline}{}

\theoremstyle{theoreme}
\newtheorem*{prop}{Proposition}
\newtheorem*{lemme}{Lemme}
\newtheorem*{cor}{Corollaire}
\newtheorem*{thm}{Théorème}

\theoremstyle{definition}
\newtheorem*{de}{Définition}
\newtheorem*{exe}{Exemple}

\theoremstyle{remark}
\newtheorem*{remarque}{Remarque}

\begin{document}
\title{Inégalités de Kolmogorov}
\date{2012-2013}
\maketitle

\begin{tabular}{ll}
Références : &Xavier Gourdon, \emph{Analyse}, Ellipses, 1994, p.81\\
&Serge Francinou, Hervé Gianella, Serge Nicolas,\\&\qquad \emph{Oraux X-ENS, Analyse 1}, Cassini, 2003, p.259.
\end{tabular}

\begin{thm}
Soit $f\in\mathcal C^n(\mathbb R,\mathbb C), n\ge 2$.\\
Pour $k\in\{1,\dotsc,n\}$, on note $M_k=\sup\limits_{x\in\mathbb R}|f^{(k)}(x)|$.\\
On suppose que $M_0$ et $M_n$ sont finis.\\
Alors pour tout $k\in\{1,\dotsc,n\}$ :
\begin{enumerate}[(i)]
	\item $M_k$ est fini
	\item $M_1\le \sqrt{2M_0M_2}$
	\item $M_k\le 2^{\frac{k(n-k)}2}M_0^{1-\frac kn}M_n^{\frac kn}$.
\end{enumerate}
\end{thm}
\begin{proof}
~~\\
\begin{enumerate}[(i)]
	\item Soit $x\in\mathbb R$. Pour tout $k\in\{1,\dotsc,n-1\}$, d'après l'inégalité de Taylor-Lagrange, on a :
	\[\left|f(x+k)-f(x)-kf'(x)-\dotsb-\frac{k^{n-1}}{(n-1)!}f^{(n-1)}(x)\right|\,\le\frac{k^nM_n}{n!}\]
	D'où, par inégalité triangulaire,
	\begin{align*}
	\left|kf'(x)+\dotsb+\frac{k^{n-1}}{(n-1)!}f^{(n-1)}(x)\right|\,&\le2M_0+\frac{k^nM_n}{n!}\\
	&\le2M_0+\frac{n^nM_n}{n!}
	\end{align*}
	Si on note $X(x)$ le vecteur colonne de $\mathbb C^{n-1}$ dont les composantes sont les $\displaystyle\frac{f^{(i)}(x)}{i!}$, on en déduit $\displaystyle\|AX(x)\|_\infty\le K:=2M_0+\frac{n^nM_n}{n!}$ où :
	\[A=
	\begin{pmatrix}
	1&1&\cdots&1\\
	2&2^2&\cdots&2^{n-1}\\
	\vdots&\vdots&&\vdots\\
	n-1&(n-1)^2&\cdots&(n-1)^{n-1}
	\end{pmatrix}\]
	
	$A$ est inversible car son déterminant est de Vandermonde, donc :
	\[\forall x\in\mathbb R,\qquad\|X(x)\|_\infty\le\|A^{-1}\|K\]
	Les $M_k$ sont donc finis.
	\item Soit $x\in\mathbb R$, soit $h>0$, par l'inégalité de Taylor-Lagrange on a :
	\[\left|f(x+h)-f(x)-hf'(x)\right|\le\frac{h^2M_2}2\]
	et :
	\[\left|f(x-h)-f(x)+hf'(x)\right|\le\frac{h^2M_2}2\]
	D'où :
	\[|f(x+h)-f(x-h)-2hf'(x)|\le h^2M_2\]
	et :
	\[2h|f'(x)|\le h^2M_2+|f(x+h)-f(x-h)|\le h^2M_2+2M_0\]
	On en déduit $\displaystyle M_1\le\frac{hM_2}2+\frac{M_0}h$ pour tout $h$.
	
	Le membre de droite étant minimal en $\displaystyle h=\sqrt{\frac{2M_0}{M_2}}$, on obtient :
	\[M_1\le\sqrt{2M_0M_2}\]
	\item Montrons le résultat par récurrence sur $n$.
	
	Pour $n=2$ et $k=1$, le résultat a été prouvé en (ii), pour $k=0$ ou $k=n$ c'est évident.
	
	Supposons le résultat vrai jusqu'au rang $n$ et considérons $f$ de classe $\mathcal C^{n+1}$.
	
	Soit $k\in\{1,\dotsc,n\}$. En appliquant le cas $n=2$ à $f^{(k-1)}$, on a :
	\[M_k^2\le 2M_{k-1}M_{k+1}\]
	Par hypothèse de récurrence au rang $k$, on a :
	\[M_{k-1}\le 2^{\frac{k-1}2}M_0^{\frac 1k}M_k^{\frac{k-1}k}\]
	Par ailleurs, par hypothèse de récurrence au rang $n+1-k$ sur la fonction $f^{(k)}$, on a :
	\[M_{k+1}\le 2^{\frac{n-k}2}M_k^{\frac{n-k}{n+1-k}}M_{n+1}^{\frac1{n+1-k}}\]
	On obtient alors :
	\[M_k^2\le 2^{\frac{n+1}2}M_0^{\frac1k}M_k^{\frac{k-1}k+\frac{n-k}{n+1-k}}M_{n+1}^{\frac1{n+1-k}}\]
	En élevant le résultat à la puissance $\displaystyle\frac{k(n+1-k)}{n+1}$, on obtient finalement :
	\[M_k\le 2^{\frac{k(n+1-k)}2}M_0^{1-\frac k{n+1}}M_{n+1}^{\frac k{n+1}}\]
\end{enumerate}
\end{proof}
\end{document}