Limite de $f (x)-f(y)$
Bonjour, je me pose une question.
Si $f $ est une fonction numérique bornée, qu'est ce qu'on peut dire de \[\lim_{y,x\to+\infty}|f(x)-f(y)|
\] Personnellement je dirais rien car j'ai regardé la fonction $f(x)=\sin(x) $, mais peut-être je me trompe.
Merci d'avance pour votre aide.
Si $f $ est une fonction numérique bornée, qu'est ce qu'on peut dire de \[\lim_{y,x\to+\infty}|f(x)-f(y)|
\] Personnellement je dirais rien car j'ai regardé la fonction $f(x)=\sin(x) $, mais peut-être je me trompe.
Merci d'avance pour votre aide.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Existence de la limite :
Comme tu le suggères, elle n’existe pas toujours.
Quand elle existe :
En cas d’existence, on peut majorer cette limite.
En fait j'ai une équation de Volterra
\[f(x)=f_0(x)+\int_0^xk (x-t)f(t)dt\] où $k $ est intégrable et converge vers $0$ à l'infini et $f $ bornée. De plus $f_0$ converge à l'infini.
Mon objectif est de montrer que $f $ admette une limite finie à l'infini. Pour cela j'ai pensé au critère de Cauchy et j'obtiens un terme du genre pour $y>x $
\[\int_0^xk(u)\big(f(y-u)-f(x-u)\big)du\] que je veux montrer que ça tende vers $0$.
D'autre part si tu penses à faire ceci
\[f(x)=f_0(x)+\int_0^xk(t)f(x-t)dt
\] Oui mais que dis-tu de ça $$\lim_{x\to\infty}f(x-t).$$ Nous savons juste que $f$ est bornée.
Peut-être que c'est le x dans les bornes qui te gêne. Dans ce cas il suffit de faire une intégrale de 0 à l'infini en sortant une indicatrice.
Par l'expression
\[f(x)=f_0(x)+\int_0^xk(t)f(x-t)dt\] vu que $f$ est bornée et $k$ intégrable on peut permuter la limite et la somme. Cependant ça n'aide en rien vu qu'on ne peut rien dire de la limite de $f(x-t)$ lorsque $x\to+\infty$. D'ailleurs mon but est de montrer que $f$ converge.
Pour les produits de convolution on montre la nullité en l'infini grâce à la densité des fonctions plateau (ou simplement continues à support compact ?). Je ne sais plus si ça s'applique pour le cas $L^{1}*L^{\infty}$.
\[\forall\epsilon>0,\ \exists A>0,\ \forall x,y\in\mathbb{R},\quad x\geq A,\ y\geq A\implies |f(x)-f(y)|\leq\epsilon.
\] Est-ce correct ?
J'ai envie d'utiliser un truc de ce genre pour montrer que
\[\lim_{\substack{x,y\to+\infty\\y\geq x}}\int_0^x|f(y-r)-f(x-r)|dr=0.
\] En fait si cet inégalité est juste (d'ailleurs je prendrais $f=k$ et comme $k$ converge on aura cet inégalité par le critère de Cauchy.) on a pour $y>x\geq A$
\begin{align*}
\int_0^x|f(y-r)-f(x-r)|dr&=\int_0^{x-A}|f(y-r)-f(x-r)|dr+\int_{x-A}^x|f(y-r)-f(x-r)|dr\\
&=\int_{\left\{y-\{f\neq0\}\right\}\cup\left\{x-\{f\neq0\}\right\}}|f(y-r)-f(x-r)|1_{r\leq x-A}dr+\int_{x-A}^x|f(y-r)-f(x-r)|dr\\
&\leq2\mes\left(\{f\neq0\}\right)\epsilon+\int_{x-A}^x|f(y-r)-f(x-r)|dr.
\end{align*} Donc pour tout $\epsilon>0$
\[\lim_{\substack{x,y\to+\infty\\y\geq x}}\int_0^x|f(y-r)-f(x-r)|dr\leq2\mes\left(\{f\neq0\}\right)\epsilon.\]
Mais si f est à support compact l'intégrale tend évidemment vers 0.
Le problème est ici que la densité des fonctions continues à support compact ne tient pas pour $L^{\infty}$. Je vais retrouver un cours d'analyse fonctionnelle.
Dans Haïm Brezis si $f$ est uniformément continu, on a ce résultat en prenant une limite vers $0$.
[ Haïm Brezis (1944- ) mérite le respect de son prénom. AD]
Il y a toujours ce côté frustrant du problème qui est qu'on sait dominer en écrivant f(x-t)k(t), et qu'on sait la limite en écrivant f(t)k(x-t), qui donnent des intégrales identiques. Est-ce possible de bricoler quelque chose à partir de ce constat ? Ce qui donne envie d'y croire c'est que les hypothèses de l'énoncé sont vraiment faites pour la convergence dominée a priori.