<?xml version="1.0" encoding="ISO-8859-1"?>
<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel>
        <title>Les-mathematiques.net - Analyse</title>
        <description></description>
        <link>http://www.les-mathematiques.net/phorum/list.php?4</link>
        <lastBuildDate>Sat, 31 Jul 2010 21:52:02 +0200</lastBuildDate>
        <generator>Phorum 5.2.8</generator>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,613274,613274#msg-613274</guid>
            <title>une inégalité (5 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,613274,613274#msg-613274</link>
            <description><![CDATA[ Hi<BR><BR>J'ai un problème à vous proposer dont je n'ai pas la solution. Soit <SPAN CLASS="MATH"><IMG WIDTH="14" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100731&msg=94&th=1" ALT="$ f$"></SPAN> une fonction Lipschitzienne sur <!-- MATH $\mathbb R^N$ --><SPAN CLASS="MATH"><IMG WIDTH="28" HEIGHT="17" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100731&msg=94&th=2" ALT="$ \mathbb R^N$"></SPAN> telle que <BR><P><!-- MATH \begin{displaymath}\newline \int_{\mathbb R^N} |f(x)|^2 e^{|x|} dx < \infty\newline\end{displaymath} --></P><DIV ALIGN="CENTER" CLASS="mathdisplay"><IMG WIDTH="162" HEIGHT="51" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100731&msg=94&th=3" ALT="$\displaystyle \newline \int_{\mathbb R^N} \vert f(x)\vert^2 e^{\vert x\vert} dx &lt; \infty\newline $"></DIV><P></P><BR>Montrer alors que <!-- MATH $|f(x)| ^{N+2} e^{|x|}$ --><SPAN CLASS="MATH"><IMG WIDTH="95" HEIGHT="36" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100731&msg=94&th=4" ALT="$ \vert f(x)\vert ^{N+2} e^{\vert x\vert}$"></SPAN> est borné.<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail613274')">Code LaTeX</a>
								<div id="detail613274" class="detail">Hi<br />
<br />
J'ai un problème à vous proposer dont je n'ai pas la solution. Soit $f$ une fonction Lipschitzienne sur $\mathbb R^N$ telle que <br />
\[<br />
\int_{\mathbb R^N} |f(x)|^2 e^{|x|} dx &lt; \infty<br />
\]<br />
Montrer alors que $|f(x)| ^{N+2} e^{|x|}$ est borné.</div></div>]]></description>
            <dc:creator>Croco</dc:creator>
            <category>Analyse</category>
            <pubDate>Sat, 31 Jul 2010 21:21:35 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,613236,613236#msg-613236</guid>
            <title>Fubini dans L°° (2 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,613236,613236#msg-613236</link>
            <description><![CDATA[ Bonjour,<BR><BR>Avez vous déjà vu un théorème à la Fubini dans <!-- MATH $L^{\infty}$ --><SPAN CLASS="MATH"><IMG WIDTH="28" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100731&msg=66&th=1" ALT="$ L^{\infty}$"></SPAN> affirmant :<BR><BR><hr class="bbcode"/><BR><b>Théorème</b> : Soient <SPAN CLASS="MATH"><IMG WIDTH="38" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100731&msg=66&th=2" ALT="$ X,Y$"></SPAN> deux espaces mesurés et <!-- MATH $f\in L^{\infty}(X\times Y)$ --><SPAN CLASS="MATH"><IMG WIDTH="116" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100731&msg=66&th=3" ALT="$ f\in L^{\infty}(X\times Y)$"></SPAN>, alors ... et <BR><P><!-- MATH \begin{displaymath}\|f\|_{\infty}=\big\|\big(x\mapsto \|f(x,.)\|_{\infty}\big)\big\|_{\infty}=\big\|\big(y\mapsto \|f(.,y)\|_{\infty}\big) \big\|_{\infty}\end{displaymath} --></P><DIV ALIGN="CENTER" CLASS="mathdisplay"><IMG WIDTH="387" HEIGHT="34" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100731&msg=66&th=4" ALT="$\displaystyle \Vert f\Vert _{\infty}=\big\Vert\big(x\mapsto \Vert f(x,.)\Vert _......ty}=\big\Vert\big(y\mapsto \Vert f(.,y)\Vert _{\infty}\big) \big\Vert _{\infty}$"></DIV><P></P> <BR><hr class="bbcode"/><BR><BR>Ca me parait correct même si je n'ai pas vérifié les questions de mesurabilité...<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail613236')">Code LaTeX</a>
								<div id="detail613236" class="detail">Bonjour,<br />
<br />
Avez vous déjà vu un théorème à la Fubini dans $L^{\infty}$ affirmant :<br />
<br />
<hr class="bbcode"/><br />
<b>Théorème</b> : Soient $X,Y$ deux espaces mesurés et $f\in L^{\infty}(X\times Y)$, alors ... et <br />
$$\|f\|_{\infty}=\big\|\big(x\mapsto \|f(x,.)\|_{\infty}\big)\big\|_{\infty}=\big\|\big(y\mapsto \|f(.,y)\|_{\infty}\big) \big\|_{\infty}$$ <br />
<hr class="bbcode"/><br />
<br />
Ca me parait correct même si je n'ai pas vérifié les questions de mesurabilité...</div></div>



Modifié 1 fois. Dernière modification le 31/07/2010 par AD.]]></description>
            <dc:creator>aziz</dc:creator>
            <category>Analyse</category>
            <pubDate>Sat, 31 Jul 2010 19:44:36 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,613176,613176#msg-613176</guid>
            <title>Homéomorphe à la sphère ? (14 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,613176,613176#msg-613176</link>
            <description><![CDATA[ Est-ce <!-- MATH $z^4+(x^2+y^2-1)(2x^2+3y^2-1)=0$ --><SPAN CLASS="MATH"><IMG WIDTH="266" HEIGHT="33" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100731&msg=38&th=1" ALT="$ z^4+(x^2+y^2-1)(2x^2+3y^2-1)=0$"></SPAN> est homéomorphe à la sphère <SPAN CLASS="MATH"><IMG WIDTH="22" HEIGHT="16" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100731&msg=38&th=2" ALT="$ S^2$"></SPAN> de <!-- MATH $\mathbb{R}^3$ --><SPAN CLASS="MATH"><IMG WIDTH="23" HEIGHT="16" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100731&msg=38&th=3" ALT="$ \mathbb{R}^3$"></SPAN> ?<BR>Je l'ai dessiné sur maple, je trouve qu'elle ressemble à un ballon un peu aplati.<BR>Je dirais oui mais je ne suis pas certain.<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail613176')">Code LaTeX</a>
								<div id="detail613176" class="detail">Est-ce $z^4+(x^2+y^2-1)(2x^2+3y^2-1)=0$ est homéomorphe à la sphère $S^2$ de $\R^3$ ?<br />
Je l'ai dessiné sur maple, je trouve qu'elle ressemble à un ballon un peu aplati.<br />
Je dirais oui mais je ne suis pas certain.</div></div>



Modifié 2 fois. Dernière modification le 31/07/2010 par AD.]]></description>
            <dc:creator>Kritoff</dc:creator>
            <category>Analyse</category>
            <pubDate>Sat, 31 Jul 2010 21:37:18 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,613111,613111#msg-613111</guid>
            <title>Opérateurs bornés, opérateurs linéaires (3 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,613111,613111#msg-613111</link>
            <description><![CDATA[ Hello,<BR><BR>j'ai du mal à voir la différence entre un opérateur linéaire borné et un opérateur linéaire continu. Quelqu'un pourrait il m'expliquer la différence ?<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail613111')">Code LaTeX</a>
								<div id="detail613111" class="detail">Hello,<br />
<br />
j'ai du mal à voir la différence entre un opérateur linéaire borné et un opérateur linéaire continu. Quelqu'un pourrait il m'expliquer la différence ?</div></div>]]></description>
            <dc:creator>Piwies</dc:creator>
            <category>Analyse</category>
            <pubDate>Fri, 30 Jul 2010 20:26:13 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,613035,613035#msg-613035</guid>
            <title>ensemble fini (3 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,613035,613035#msg-613035</link>
            <description><![CDATA[ Bonjour,<BR><BR>Aujourd'hui je vois une propostion dans un livre comme suit : <BR><BR>Soit <SPAN CLASS="MATH"><IMG WIDTH="17" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100730&msg=32&th=1" ALT="$ O$"></SPAN> un ouvert relativement compact de <!-- MATH $\mathbb{R}^3$ --><SPAN CLASS="MATH"><IMG WIDTH="23" HEIGHT="16" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100730&msg=32&th=2" ALT="$ \mathbb{R}^3$"></SPAN> et <!-- MATH $\phi : O\to \mathbb{R}^3$ --><SPAN CLASS="MATH"><IMG WIDTH="83" HEIGHT="33" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100730&msg=32&th=3" ALT="$ \phi : O\to \mathbb{R}^3$"></SPAN> une application différentiable. Soit <!-- MATH $x\in \mathbb{R}^3$ --><SPAN CLASS="MATH"><IMG WIDTH="51" HEIGHT="33" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100730&msg=32&th=4" ALT="$ x\in \mathbb{R}^3$"></SPAN> une valeur régulière de l'application <SPAN CLASS="MATH"><IMG WIDTH="14" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100730&msg=32&th=5" ALT="$ \phi$"></SPAN>. Alors, <b>comme <SPAN CLASS="MATH"><IMG WIDTH="17" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100730&msg=32&th=1" ALT="$ O$"></SPAN> est relativement compact</b>, <!-- MATH $\phi^{-1}(x)$ --><SPAN CLASS="MATH"><IMG WIDTH="52" HEIGHT="33" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100730&msg=32&th=6" ALT="$ \phi^{-1}(x)$"></SPAN> est un sous-ensemble fini de <SPAN CLASS="MATH"><IMG WIDTH="17" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100730&msg=32&th=1" ALT="$ O$"></SPAN>.<BR><BR>J'ai l'impression que cette proposition n'est pas correcte. <BR><BR>Qu'en pensez-vous? <BR><BR>Merci d'avance.<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail613035')">Code LaTeX</a>
								<div id="detail613035" class="detail">Bonjour,<br />
<br />
Aujourd'hui je vois une propostion dans un livre comme suit : <br />
<br />
Soit $O$ un ouvert relativement compact de $\mathbb{R}^3$ et $\phi : O\to \mathbb{R}^3$ une application différentiable. Soit $x\in \mathbb{R}^3$ une valeur régulière de l'application $\phi$. Alors, <b>comme $O$ est relativement compact</b>, $\phi^{-1}(x)$ est un sous-ensemble fini de $O$.<br />
<br />
J'ai l'impression que cette proposition n'est pas correcte. <br />
<br />
Qu'en pensez-vous? <br />
<br />
Merci d'avance.</div></div>]]></description>
            <dc:creator>thiago</dc:creator>
            <category>Analyse</category>
            <pubDate>Fri, 30 Jul 2010 13:40:22 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,613015,613015#msg-613015</guid>
            <title>&quot;Par homogenéité&quot; (2 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,613015,613015#msg-613015</link>
            <description><![CDATA[ Bonjour,<BR><BR>Il y a un truc de base que je ne comprends pas dans une démo du Breizis   et qui correspond à une grosse lacune que je me traîne depuis longtemps.<BR><BR>"Soient E et F deux espaces de Banach, T un opérateur linéaire, continu de E dans F qui est de plus bijectif. Le théorème de l'application ouverte nous dit qu'il existe un c tel que  <!-- MATH $||Tx||<c \Rightarrow ||x||<1,\ \forall x \in E$ --><SPAN CLASS="MATH"><IMG WIDTH="214" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100730&msg=45&th=1" ALT="$ \vert\vert Tx\vert\vert&lt;c \Rightarrow \vert\vert x\vert\vert&lt;1,\ \forall x \in E$"></SPAN>" . Jusque là tout va bien pour moi. <BR>Ensuite il dit : "<b>Par homogénéité</b> <!-- MATH $||x||\leq \dfrac{||Tx||}{c}$ --><SPAN CLASS="MATH"><IMG WIDTH="94" HEIGHT="53" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100730&msg=45&th=2" ALT="$ \vert\vert x\vert\vert\leq \dfrac{\vert\vert Tx\vert\vert}{c}$"></SPAN>".<BR>Quelqu'un pourrait-il avoir la gentillesse de me détailler proprement une bonne fois pour toutes tout ce qui est contenu dans ce "par homogénéité". <BR>Merci de m'aider à combler cette lacune inexcusable.<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail613015')">Code LaTeX</a>
								<div id="detail613015" class="detail">Bonjour,<br />
<br />
Il y a un truc de base que je ne comprends pas dans une démo du Breizis   et qui correspond à une grosse lacune que je me traîne depuis longtemps.<br />
<br />
"Soient E et F deux espaces de Banach, T un opérateur linéaire, continu de E dans F qui est de plus bijectif. Le théorème de l'application ouverte nous dit qu'il existe un c tel que  $||Tx||&lt;c \Rightarrow ||x||&lt;1,\ \forall x \in E$" . Jusque là tout va bien pour moi. <br />
Ensuite il dit : "<b>Par homogénéité</b> $||x||\leq \dfrac{||Tx||}{c}$".<br />
 Quelqu'un pourrait-il avoir la gentillesse de me détailler proprement une bonne fois pour toutes tout ce qui est contenu dans ce "par homogénéité". <br />
Merci de m'aider à combler cette lacune inexcusable.</div></div>



Modifié 1 fois. Dernière modification le 30/07/2010 par AD.]]></description>
            <dc:creator>Piwies</dc:creator>
            <category>Analyse</category>
            <pubDate>Fri, 30 Jul 2010 11:36:26 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,613008,613008#msg-613008</guid>
            <title>Preuve constructive (2 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,613008,613008#msg-613008</link>
            <description><![CDATA[ Salut à tous,<BR><BR>Voilà deux résultats dont je ne connais que des preuves non constructives :<BR><BR>1) Pour tout <SPAN CLASS="MATH"><IMG WIDTH="41" HEIGHT="28" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100730&msg=7&th=1" ALT="$ p&gt;2$"></SPAN> il existe des éléments de <!-- MATH $L^p(\mathbb{R})$ --><SPAN CLASS="MATH"><IMG WIDTH="46" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100730&msg=7&th=2" ALT="$ L^p(\mathbb{R})$"></SPAN> dont la transformée de Fourier (au sens tempérée) n'est pas une fonction localement intégrable.<BR><BR>2) De même, pour tout <SPAN CLASS="MATH"><IMG WIDTH="41" HEIGHT="28" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100730&msg=7&th=3" ALT="$ s&gt;0$"></SPAN>, <!-- MATH $H^{-s}(\mathbb{R})$ --><SPAN CLASS="MATH"><IMG WIDTH="59" HEIGHT="33" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100730&msg=7&th=4" ALT="$ H^{-s}(\mathbb{R})$"></SPAN> contient des éléments qui ne sont pas des fonctions localement intégrables.<BR><BR>Dans les deux cas on s'en sort en utilisant le graphe fermé pour construire une inégalité dont on on prouve qu'elle ne peut avoir lieu en jouant sur une famille de Gaussiennes bien choisie.<BR><BR>Quelqu'un aurait-il un exemple concret pour le 1) ou le 2) ?<BR><BR>Je dois dire que lorsqu'on m'a posé le 2) j'étais presque sûr qu'il existait des contre-exemples très simples de type masse de Dirac, mais cela ne marche que pour <SPAN CLASS="MATH"><IMG WIDTH="57" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100730&msg=7&th=5" ALT="$ s&gt;1/2$"></SPAN>...<BR><BR>A +,<BR><BR>- <BR>Ayman<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail613008')">Code LaTeX</a>
								<div id="detail613008" class="detail">Salut à tous,<br />
<br />
Voilà deux résultats dont je ne connais que des preuves non constructives :<br />
<br />
1) Pour tout $p&gt;2$ il existe des éléments de $L^p(\R)$ dont la transformée de Fourier (au sens tempérée) n'est pas une fonction localement intégrable.<br />
<br />
2) De même, pour tout $s&gt;0$, $H^{-s}(\R)$ contient des éléments qui ne sont pas des fonctions localement intégrables.<br />
<br />
Dans les deux cas on s'en sort en utilisant le graphe fermé pour construire une inégalité dont on on prouve qu'elle ne peut avoir lieu en jouant sur une famille de Gaussiennes bien choisie.<br />
<br />
Quelqu'un aurait-il un exemple concret pour le 1) ou le 2) ?<br />
<br />
Je dois dire que lorsqu'on m'a posé le 2) j'étais presque sûr qu'il existait des contre-exemples très simples de type masse de Dirac, mais cela ne marche que pour $s&gt;1/2$...<br />
<br />
A +,<br />
<br />
-- <br />
Ayman</div></div>]]></description>
            <dc:creator>Ayman</dc:creator>
            <category>Analyse</category>
            <pubDate>Fri, 30 Jul 2010 17:10:27 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612964,612964#msg-612964</guid>
            <title>Suite de Cauchy (20 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612964,612964#msg-612964</link>
            <description><![CDATA[ Je ne vois pas l'intérêt des suites de Cauchy, puisque c'est équivalent à des suites adjacentes, ne pourrait-on pas de passer de ce concept fumeux ?<br />
<br />
Éd.]]></description>
            <dc:creator>Ed</dc:creator>
            <category>Analyse</category>
            <pubDate>Sat, 31 Jul 2010 16:52:59 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612858,612858#msg-612858</guid>
            <title>Un corollaire du théorème de Banach-Steinhaus (2 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612858,612858#msg-612858</link>
            <description><![CDATA[ Bonjour<BR><BR>Je suis en train de lire "<i>Analyse fonctionnelle</i>" de Mr Brezis, et j'ai du mal avec le point (a) du corollaire II.2 :<BR>"Soient E et F deux espaces de Banach. Soit <SPAN CLASS="MATH"><IMG WIDTH="35" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100729&msg=64&th=1" ALT="$ (T_n)$"></SPAN> une suite d'opérateurs linéaires continus, telle que pour tout <!-- MATH $x \in E,\ T_nx$ --><SPAN CLASS="MATH"><IMG WIDTH="85" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100729&msg=64&th=2" ALT="$ x \in E,\ T_nx$"></SPAN> converge vers une limite noté <SPAN CLASS="MATH"><IMG WIDTH="25" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100729&msg=64&th=3" ALT="$ T x$"></SPAN>. Alors on a :<BR>(a) <!-- MATH $\sup_n\|T_n\|_{L(E,F)}<\infty$ --><SPAN CLASS="MATH"><IMG WIDTH="153" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100729&msg=64&th=4" ALT="$ \sup_n\Vert T_n\Vert _{L(E,F)}&lt;\infty$"></SPAN><BR>(b)...<BR>"<BR>Le point (a) est clairement une conséquence du théorème de Banach Steinhaus. Le problème est que je ne comprends pas comment montrer que <!-- MATH $\sSup_n\|T_nx\|_F<\infty$ --><SPAN CLASS="MATH"><IMG WIDTH="104" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100729&msg=64&th=5" ALT="$ \sSup_n\Vert T_nx\Vert _F&lt;\infty$"></SPAN> (qui permet d'appliquer B-S et d'avoir le résultat) à partir des hypothèses de l'énoncé. <BR>Merci<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612858')">Code LaTeX</a>
								<div id="detail612858" class="detail">Bonjour<br />
<br />
Je suis en train de lire "<i>Analyse fonctionnelle</i>" de Mr Brezis, et j'ai du mal avec le point (a) du corollaire II.2 :<br />
"Soient E et F deux espaces de Banach. Soit $(T_n)$ une suite d'opérateurs linéaires continus, telle que pour tout $x \in E,\ T_nx$ converge vers une limite noté $T x$. Alors on a :<br />
(a) $\sup_n\|T_n\|_{L(E,F)}&lt;\infty$<br />
(b)...<br />
"<br />
Le point (a) est clairement une conséquence du théorème de Banach Steinhaus. Le problème est que je ne comprends pas comment montrer que $\sSup_n\|T_nx\|_F&lt;\infty$ (qui permet d'appliquer B-S et d'avoir le résultat) à partir des hypothèses de l'énoncé. <br />
Merci</div></div>



Modifié 1 fois. Dernière modification le 29/07/2010 par AD.]]></description>
            <dc:creator>surfeurBiaritz</dc:creator>
            <category>Analyse</category>
            <pubDate>Thu, 29 Jul 2010 11:34:24 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612832,612832#msg-612832</guid>
            <title>langage limite (9 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612832,612832#msg-612832</link>
            <description><![CDATA[ Bonjour,<BR><BR>Je fais un blocage sur une notion toute simple.<BR><BR>Je ne me souviens plus de ce qu'il faut comprendre à " la limite de cos x quand x tend vers 0 est 1 <b>par valeurs inférieures"</b><BR><BR>C'est le "par valeurs inférieures" qui me bloque. Je tourne dans quel sens sur mon cercle trigo par rapport à 0.<BR><BR>Y-a longtemps que je n'ai pas fait de trucs comme ça. C'est pour ne pas perdre la main, et la preuve...<BR><BR>Merci pour votre ba.<BR><BR>Clotho<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612832')">Code LaTeX</a>
								<div id="detail612832" class="detail">Bonjour,<br />
<br />
Je fais un blocage sur une notion toute simple.<br />
<br />
Je ne me souviens plus de ce qu'il faut comprendre à " la limite de cos x quand x tend vers 0 est 1 <b>par valeurs inférieures"</b><br />
<br />
C'est le "par valeurs inférieures" qui me bloque. Je tourne dans quel sens sur mon cercle trigo par rapport à 0.<br />
<br />
Y-a longtemps que je n'ai pas fait de trucs comme ça. C'est pour ne pas perdre la main, et la preuve...<br />
<br />
Merci pour votre ba.<br />
<br />
Clotho</div></div>]]></description>
            <dc:creator>clothoide</dc:creator>
            <category>Analyse</category>
            <pubDate>Thu, 29 Jul 2010 14:41:13 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612816,612816#msg-612816</guid>
            <title>Fourier (2 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612816,612816#msg-612816</link>
            <description><![CDATA[ Bonsoir,<BR><BR>Dans mon bouquin, il y a une majoration que je ne comprends pas :<BR>Soit <SPAN CLASS="MATH"><IMG WIDTH="14" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100729&msg=2&th=1" ALT="$ f$"></SPAN> de période <SPAN CLASS="MATH"><IMG WIDTH="12" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100729&msg=2&th=2" ALT="$ a$"></SPAN>, continue sur <!-- MATH $\mathbb{R}$ --><SPAN CLASS="MATH"><IMG WIDTH="16" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100729&msg=2&th=3" ALT="$ \mathbb{R}$"></SPAN> et dérivable avec <SPAN CLASS="MATH"><IMG WIDTH="18" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100729&msg=2&th=4" ALT="$ f'$"></SPAN> continue par morceaux sur <SPAN CLASS="MATH"><IMG WIDTH="36" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100729&msg=2&th=5" ALT="$ [0;a]$"></SPAN>.<BR>On note <!-- MATH $c_n(f)=\frac{1}{a}\int_{0}^{a}f(x)e^{2i\pi nx}dx$ --><SPAN CLASS="MATH"><IMG WIDTH="187" HEIGHT="35" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100729&msg=2&th=6" ALT="$ c_n(f)=\frac{1}{a}\int_{0}^{a}f(x)e^{2i\pi nx}dx$"></SPAN><BR>On a <!-- MATH $c_n(f')=\frac{2i\pi n}{a}c_n(f)$ --><SPAN CLASS="MATH"><IMG WIDTH="135" HEIGHT="35" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100729&msg=2&th=7" ALT="$ c_n(f')=\frac{2i\pi n}{a}c_n(f)$"></SPAN><BR><BR>Je voudrais comprendre pourquoi :<BR><!-- MATH $|c_n(f)|=\frac{a}{2\pi |n|}|c_n(f')|\leq \frac{a}{4\pi}(\frac{1}{n^2}+|c_n(f')|^2)$ --><SPAN CLASS="MATH"><IMG WIDTH="303" HEIGHT="34" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100729&msg=2&th=8" ALT="$ \vert c_n(f)\vert=\frac{a}{2\pi \vert n\vert}\vert c_n(f')\vert\leq \frac{a}{4\pi}(\frac{1}{n^2}+\vert c_n(f')\vert^2)$"></SPAN><BR><BR>Je ne pense pas qu'il s'agisse d'une IPP car il y a du <SPAN CLASS="MATH"><IMG WIDTH="46" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100729&msg=2&th=9" ALT="$ c_n(f')$"></SPAN> des deux côtés.<BR>J'ai essayé de majorer en distinguant les cas où <!-- MATH $c_n(f') < 1$ --><SPAN CLASS="MATH"><IMG WIDTH="75" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100729&msg=2&th=10" ALT="$ c_n(f') &lt; 1$"></SPAN> et ceux où <!-- MATH $c_n(f') \geq 1$ --><SPAN CLASS="MATH"><IMG WIDTH="75" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100729&msg=2&th=11" ALT="$ c_n(f') \geq 1$"></SPAN> mais je n'y suis pas arrivé.<BR><BR>Quelqu'un pourrait m'aider svp ?<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612816')">Code LaTeX</a>
								<div id="detail612816" class="detail">Bonsoir,<br />
<br />
Dans mon bouquin, il y a une majoration que je ne comprends pas :<br />
Soit $f$ de période $a$, continue sur $\mathbb{R}$ et dérivable avec $f'$ continue par morceaux sur $[0;a]$.<br />
On note $c_n(f)=\frac{1}{a}\int_{0}^{a}f(x)e^{2i\pi nx}dx$<br />
On a $c_n(f')=\frac{2i\pi n}{a}c_n(f)$<br />
<br />
Je voudrais comprendre pourquoi :<br />
$|c_n(f)|=\frac{a}{2\pi |n|}|c_n(f')|\leq \frac{a}{4\pi}(\frac{1}{n^2}+|c_n(f')|^2)$<br />
<br />
Je ne pense pas qu'il s'agisse d'une IPP car il y a du $c_n(f')$ des deux côtés.<br />
J'ai essayé de majorer en distinguant les cas où $c_n(f') &lt; 1$ et ceux où $c_n(f') \geq 1$ mais je n'y suis pas arrivé.<br />
<br />
Quelqu'un pourrait m'aider svp ?</div></div>]]></description>
            <dc:creator>ecopula</dc:creator>
            <category>Analyse</category>
            <pubDate>Thu, 29 Jul 2010 13:08:05 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612775,612775#msg-612775</guid>
            <title>Convergence dans L^0 (2 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612775,612775#msg-612775</link>
            <description><![CDATA[ Bonjour, c'est une simple question de notations. Dans plusieurs articles, on parle de convergence au sens de <SPAN CLASS="MATH"><IMG WIDTH="22" HEIGHT="16" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100728&msg=176&th=1" ALT="$ L^0$"></SPAN>. J'ai l'impression qu'il s'agit de la convergence en probabilité. <BR>Est-ce cela ? <BR>Et si oui pourquoi cette notation ? <BR>En quoi la convergence <SPAN CLASS="MATH"><IMG WIDTH="22" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100728&msg=176&th=2" ALT="$ L^p$"></SPAN> pour <SPAN CLASS="MATH"><IMG WIDTH="45" HEIGHT="28" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=176&th=3" ALT="$ p\to 0$"></SPAN> évoque-t-elle la convergence en proba ?<BR><BR>Amicalement, Raoul.<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612775')">Code LaTeX</a>
								<div id="detail612775" class="detail">Bonjour, c'est une simple question de notations. Dans plusieurs articles, on parle de convergence au sens de $L^0$. J'ai l'impression qu'il s'agit de la convergence en probabilité. <br />
Est-ce cela ? <br />
Et si oui pourquoi cette notation ? <br />
En quoi la convergence $L^p$ pour $p\to 0$ évoque-t-elle la convergence en proba ?<br />
<br />
Amicalement, Raoul.</div></div>



Modifié 1 fois. Dernière modification le 28/07/2010 par AD.]]></description>
            <dc:creator>Raoul69</dc:creator>
            <category>Analyse</category>
            <pubDate>Wed, 28 Jul 2010 21:18:35 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612758,612758#msg-612758</guid>
            <title>spectre opérateur de convolution (3 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612758,612758#msg-612758</link>
            <description><![CDATA[ Bonjour<BR><BR>Si <SPAN CLASS="MATH"><IMG WIDTH="19" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100728&msg=136&th=1" ALT="$ H$"></SPAN> est un opérateur sur <!-- MATH $L^2(\mathbb{R})$ --><SPAN CLASS="MATH"><IMG WIDTH="46" HEIGHT="33" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=136&th=2" ALT="$ L^2(\mathbb{R})$"></SPAN> défini par<BR><P><!-- MATH \begin{displaymath}\newline H f = h \star f\newline\end{displaymath} --></P><DIV ALIGN="CENTER" CLASS="mathdisplay"><IMG WIDTH="83" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=136&th=3" ALT="$\displaystyle \newline H f = h \star f\newline $"></DIV><P></P><BR>i.e. une convolution avec <SPAN CLASS="MATH"><IMG WIDTH="13" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100728&msg=136&th=4" ALT="$ h$"></SPAN>, alors <SPAN CLASS="MATH"><IMG WIDTH="19" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100728&msg=136&th=1" ALT="$ H$"></SPAN> est un opérateur compact. Ma question est : a quoi ressemblent les fonctions propres de <SPAN CLASS="MATH"><IMG WIDTH="19" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100728&msg=136&th=1" ALT="$ H$"></SPAN> et quelles sont les valeurs propres ?<BR><BR>Dans un papier, je lis que la transformée de Fourier <SPAN CLASS="MATH"><IMG WIDTH="16" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100728&msg=136&th=5" ALT="$ F$"></SPAN> diagonalise  <SPAN CLASS="MATH"><IMG WIDTH="19" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100728&msg=136&th=1" ALT="$ H$"></SPAN> au sens ou <SPAN CLASS="MATH"><IMG WIDTH="52" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100728&msg=136&th=6" ALT="$ F H F*$"></SPAN> est diagonal. Cela veut-il dire que les valeurs propres sont les coefficients de Fourier de <SPAN CLASS="MATH"><IMG WIDTH="13" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100728&msg=136&th=4" ALT="$ h$"></SPAN> ?<BR><BR>Merci de m’éclairer...<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612758')">Code LaTeX</a>
								<div id="detail612758" class="detail">Bonjour<br />
<br />
Si $H$ est un opérateur sur $L^2(\mathbb{R})$ défini par<br />
$$<br />
H f = h \star f<br />
$$<br />
i.e. une convolution avec $h$, alors $H$ est un opérateur compact. Ma question est : a quoi ressemblent les fonctions propres de $H$ et quelles sont les valeurs propres ?<br />
<br />
Dans un papier, je lis que la transformée de Fourier $F$ diagonalise  $H$ au sens ou $F H F*$ est diagonal. Cela veut-il dire que les valeurs propres sont les coefficients de Fourier de $h$ ?<br />
<br />
Merci de m’éclairer...</div></div>



Modifié 1 fois. Dernière modification le 28/07/2010 par Sasha.]]></description>
            <dc:creator>Sasha</dc:creator>
            <category>Analyse</category>
            <pubDate>Thu, 29 Jul 2010 23:33:09 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612757,612757#msg-612757</guid>
            <title>Approfondissement DSE (5 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612757,612757#msg-612757</link>
            <description><![CDATA[ Bonjour,<BR><BR>La fonction <!-- MATH $x \longmapsto \dfrac{1}{\sqrt{4-x^2}}$ --><SPAN CLASS="MATH"><IMG WIDTH="108" HEIGHT="49" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=133&th=1" ALT="$ x \longmapsto \dfrac{1}{\sqrt{4-x^2}}$"></SPAN> est développable en série entière, et de rayon de convergence <SPAN CLASS="MATH"><IMG WIDTH="45" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100728&msg=133&th=2" ALT="$ R=2$"></SPAN><BR><BR>Sur <SPAN CLASS="MATH"><IMG WIDTH="55" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=133&th=3" ALT="$ ]-2,2[$"></SPAN>, sa somme est donnée par <!-- MATH $y= \dfrac{1}{2} +\sum_{n=1}^{+\infty} \dfrac{1 \times 3 \times 5 \times \cdots \times (2n-1)}{2^{3n+1} n!} x^{2n}$ --><SPAN CLASS="MATH"><IMG WIDTH="315" HEIGHT="53" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=133&th=4" ALT="$ y= \dfrac{1}{2} +\sum_{n=1}^{+\infty} \dfrac{1 \times 3 \times 5 \times \cdots \times (2n-1)}{2^{3n+1} n!} x^{2n}$"></SPAN><BR><BR>Comment fait-on pour étudier ce qui se passe sur le cercle de convergence, lorsque <SPAN CLASS="MATH"><IMG WIDTH="42" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100728&msg=133&th=5" ALT="$ x=2$"></SPAN> ou <SPAN CLASS="MATH"><IMG WIDTH="55" HEIGHT="28" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=133&th=6" ALT="$ x= -2$"></SPAN> ?<BR><BR>Si une âme charitable pouvait me faire un petit développement à ce sujet en cette période de vacances, ça serait sympa.<BR><BR>Je n'ai encore jamais résolu une telle question. Donc ne sais pas comment cela fonctionne. <BR><BR>Merci<BR>Cordialement,<BR>Clotho<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612757')">Code LaTeX</a>
								<div id="detail612757" class="detail">Bonjour,<br />
<br />
La fonction $x \longmapsto \dfrac{1}{\sqrt{4-x^2}}$ est développable en série entière, et de rayon de convergence $R=2$<br />
<br />
Sur $]-2,2[$, sa somme est donnée par $y= \dfrac{1}{2} +\sum_{n=1}^{+\infty} \dfrac{1 \times 3 \times 5 \times \cdots \times (2n-1)}{2^{3n+1} n!} x^{2n}$<br />
<br />
Comment fait-on pour étudier ce qui se passe sur le cercle de convergence, lorsque $x=2$ ou $x= -2$ ?<br />
<br />
Si une âme charitable pouvait me faire un petit développement à ce sujet en cette période de vacances, ça serait sympa.<br />
<br />
Je n'ai encore jamais résolu une telle question. Donc ne sais pas comment cela fonctionne. <br />
<br />
Merci<br />
Cordialement,<br />
Clotho</div></div>]]></description>
            <dc:creator>clothoide</dc:creator>
            <category>Analyse</category>
            <pubDate>Thu, 29 Jul 2010 09:21:44 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612746,612746#msg-612746</guid>
            <title>Croissance sous-polynomiale (5 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612746,612746#msg-612746</link>
            <description><![CDATA[ Bonjour à tous,<BR><BR>Pour le travail, je m'intéresse actuellement aux fonctions à croissances sous-polynomiale et sous-linéaires :<BR><P><!-- MATH \begin{displaymath}\newline \exists C >0,\ \exists p >1 :\newline \forall x\in\mathbb R,\ |f(x)|\leqslant C(1 + |x|^p).\newline\end{displaymath} --></P><DIV ALIGN="CENTER" CLASS="mathdisplay"><IMG WIDTH="331" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=1" ALT="$\displaystyle \newline \exists C &gt;0,\ \exists p &gt;1 :\newline \forall x\in\mathbb R,\ \vert f(x)\vert\leqslant C(1 + \vert x\vert^p).\newline $"></DIV><P></P><BR>La question que je me pose (peut-être naïve si on la regarde d'une façon qui ne m'a pas traversée l'esprit) est : si <SPAN CLASS="MATH"><IMG WIDTH="14" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=2" ALT="$ f$"></SPAN> est à croissance sous-polynomiale, en est-il de même de sa dérivée <SPAN CLASS="MATH"><IMG WIDTH="18" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=3" ALT="$ f'$"></SPAN> si <SPAN CLASS="MATH"><IMG WIDTH="14" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=2" ALT="$ f$"></SPAN> est <!-- MATH $\mathcal C^1$ --><SPAN CLASS="MATH"><IMG WIDTH="21" HEIGHT="16" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=4" ALT="$ \mathcal C^1$"></SPAN>. Intuitivement je dirais oui et pour une telle fonction définie sur <!-- MATH $[1,\infty[$ --><SPAN CLASS="MATH"><IMG WIDTH="44" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=5" ALT="$ [1,\infty[$"></SPAN> il me semble qu'on peut le montrer par l'absurde comme suit :<BR><BR>Supposons que <SPAN CLASS="MATH"><IMG WIDTH="18" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=3" ALT="$ f'$"></SPAN> n'est pas à croissance sous-polynômiale : alors il existe <!-- MATH $x_{p,C}\in [1,\infty[$ --><SPAN CLASS="MATH"><IMG WIDTH="94" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=6" ALT="$ x_{p,C}\in [1,\infty[$"></SPAN> tel que :<BR><P><!-- MATH \begin{displaymath}\newline f'(x_{p,C}) = |f'(x_{p,C})| > Cp(1 + x_{p,C}^{p - 1}).\newline\end{displaymath} --></P><DIV ALIGN="CENTER" CLASS="mathdisplay"><IMG WIDTH="266" HEIGHT="37" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=7" ALT="$\displaystyle \newline f'(x_{p,C}) = \vert f'(x_{p,C})\vert &gt; Cp(1 + x_{p,C}^{p - 1}).\newline $"></DIV><P></P><BR>Alors, puisque <SPAN CLASS="MATH"><IMG WIDTH="18" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=3" ALT="$ f'$"></SPAN> est continue, il existe <!-- MATH $1\leqslant a < b$ --><SPAN CLASS="MATH"><IMG WIDTH="70" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=8" ALT="$ 1\leqslant a &lt; b$"></SPAN> tel que <!-- MATH $f'(x) > \frac{C}{p}(1 + x^{p - 1})$ --><SPAN CLASS="MATH"><IMG WIDTH="147" HEIGHT="35" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=9" ALT="$ f'(x) &gt; \frac{C}{p}(1 + x^{p - 1})$"></SPAN> pour tout <!-- MATH $x\in ]a,b[$ --><SPAN CLASS="MATH"><IMG WIDTH="59" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=10" ALT="$ x\in ]a,b[$"></SPAN>. D'où, en intégrant cette inégalité sur <SPAN CLASS="MATH"><IMG WIDTH="38" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=11" ALT="$ ]a,x[$"></SPAN> :<BR><P><!-- MATH \begin{displaymath}\newline f(x) >\newline f(x) - f(a) >\newline Cpx + Cx^p > C(1 + x^p).\newline\end{displaymath} --></P><DIV ALIGN="CENTER" CLASS="mathdisplay"><IMG WIDTH="331" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100728&msg=119&th=12" ALT="$\displaystyle \newline f(x) &gt;\newline f(x) - f(a) &gt;\newline Cpx + Cx^p &gt; C(1 + x^p).\newline $"></DIV><P></P><BR>Si ceci est juste, alors le résultat fonctionne t'il aussi pour les fonctions à croissances sous-linéaires et si la dérivée d'une fonction à croissance sous-linéaire est sous-linéaire, que dire de sa majoration ?<BR><BR>Par ailleurs si vous connaissez une bonne référence bibliographique qui aborde ce thème, cela m'intéresse, car je n'ai trouvé que peu de chose là dessus sur internet ou dans les livres.<BR><BR>Merci d'avance,<BR>NM<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612746')">Code LaTeX</a>
								<div id="detail612746" class="detail">Bonjour à tous,<br />
<br />
Pour le travail, je m'intéresse actuellement aux fonctions à croissances sous-polynomiale et sous-linéaires :<br />
$$<br />
\exists C &gt;0,\ \exists p &gt;1 :<br />
\forall x\in\mathbb R,\ |f(x)|\leqslant C(1 + |x|^p).<br />
$$<br />
La question que je me pose (peut-être naïve si on la regarde d'une façon qui ne m'a pas traversée l'esprit) est : si $f$ est à croissance sous-polynomiale, en est-il de même de sa dérivée $f'$ si $f$ est $\mathcal C^1$. Intuitivement je dirais oui et pour une telle fonction définie sur $[1,\infty[$ il me semble qu'on peut le montrer par l'absurde comme suit :<br />
<br />
Supposons que $f'$ n'est pas à croissance sous-polynômiale : alors il existe $x_{p,C}\in [1,\infty[$ tel que :<br />
$$<br />
f'(x_{p,C}) = |f'(x_{p,C})| &gt; Cp(1 + x_{p,C}^{p - 1}).<br />
$$<br />
Alors, puisque $f'$ est continue, il existe $1\leqslant a &lt; b$ tel que $f'(x) &gt; \frac{C}{p}(1 + x^{p - 1})$ pour tout $x\in ]a,b[$. D'où, en intégrant cette inégalité sur $]a,x[$ :<br />
$$<br />
f(x) &gt;<br />
f(x) - f(a) &gt;<br />
Cpx + Cx^p &gt; C(1 + x^p).<br />
$$<br />
Si ceci est juste, alors le résultat fonctionne t'il aussi pour les fonctions à croissances sous-linéaires et si la dérivée d'une fonction à croissance sous-linéaire est sous-linéaire, que dire de sa majoration ?<br />
<br />
Par ailleurs si vous connaissez une bonne référence bibliographique qui aborde ce thème, cela m'intéresse, car je n'ai trouvé que peu de chose là dessus sur internet ou dans les livres.<br />
<br />
Merci d'avance,<br />
NM</div></div>



Modifié 1 fois. Dernière modification le 28/07/2010 par AD.]]></description>
            <dc:creator>nm</dc:creator>
            <category>Analyse</category>
            <pubDate>Wed, 28 Jul 2010 20:25:09 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612700,612700#msg-612700</guid>
            <title>suite (2 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612700,612700#msg-612700</link>
            <description><![CDATA[ x(1) un réel <br />
<br />
x(n+1)=x(n)cos(x(n))<br />
<br />
Etudier la convergence de (x(n)) suivant les valeurs de x(1)]]></description>
            <dc:creator>Tommas</dc:creator>
            <category>Analyse</category>
            <pubDate>Wed, 28 Jul 2010 10:47:29 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612677,612677#msg-612677</guid>
            <title>EDP (3 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612677,612677#msg-612677</link>
            <description><![CDATA[ Bonsoir à tous,<BR><BR>J'aimerais savoir si l'équation aux dérivées partielle suivante est résoluble explicitement (ie on peut trouver une famille de solution exprimable par des fonctions usuelle):<BR><BR><P><!-- MATH \begin{displaymath}\frac{\partial f}{\partial x}-2f\frac{\partial f}{\partial y}=0\end{displaymath} --></P><DIV ALIGN="CENTER" CLASS="mathdisplay"><IMG WIDTH="116" HEIGHT="51" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100727&msg=118&th=1" ALT="$\displaystyle \frac{\partial f}{\partial x}-2f\frac{\partial f}{\partial y}=0$"></DIV><P></P><BR><BR>Je vous remercie par avance,<BR><BR>Blue<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612677')">Code LaTeX</a>
								<div id="detail612677" class="detail">Bonsoir à tous,<br />
<br />
     J'aimerais savoir si l'équation aux dérivées partielle suivante est résoluble explicitement (ie on peut trouver une famille de solution exprimable par des fonctions usuelle):<br />
<br />
   $$\frac{\partial f}{\partial x}-2f\frac{\partial f}{\partial y}=0$$<br />
<br />
   Je vous remercie par avance,<br />
<br />
     Blue</div></div>]]></description>
            <dc:creator>blue_matematics</dc:creator>
            <category>Analyse</category>
            <pubDate>Fri, 30 Jul 2010 00:29:17 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612651,612651#msg-612651</guid>
            <title>Mesure vectorielle (3 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612651,612651#msg-612651</link>
            <description><![CDATA[ Bonjour.<BR><BR>Si <!-- MATH $(X,\mathcal{A}, \mu)$ --><SPAN CLASS="MATH"><IMG WIDTH="67" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=1" ALT="$ (X,\mathcal{A}, \mu)$"></SPAN> est un espace mesuré, <!-- MATH $f \in L^1(\mu, \mathbb{K})$ --><SPAN CLASS="MATH"><IMG WIDTH="92" HEIGHT="33" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=2" ALT="$ f \in L^1(\mu, \mathbb{K})$"></SPAN>, avec <!-- MATH $\mathbb{K} = \mathbb{R}$ --><SPAN CLASS="MATH"><IMG WIDTH="49" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=3" ALT="$ \mathbb{K} = \mathbb{R}$"></SPAN> ou <!-- MATH $\mathbb{C}$ --><SPAN CLASS="MATH"><IMG WIDTH="16" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=4" ALT="$ \mathbb{C}$"></SPAN>, on définit une mesure à valeurs dans <!-- MATH $\mathbb{K}$ --><SPAN CLASS="MATH"><IMG WIDTH="16" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=5" ALT="$ \mathbb{K}$"></SPAN> par <!-- MATH $\nu(A) = \int_A f \, d\mu$ --><SPAN CLASS="MATH"><IMG WIDTH="109" HEIGHT="33" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=6" ALT="$ \nu(A) = \int_A f \, d\mu$"></SPAN>.<BR><BR>Il est facile de vérifier, à l'aide du théorème de Radon-Nikodym qui nous fournit une densité <SPAN CLASS="MATH"><IMG WIDTH="12" HEIGHT="28" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=7" ALT="$ g$"></SPAN> de <SPAN CLASS="MATH"><IMG WIDTH="13" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=8" ALT="$ \nu$"></SPAN> par rapport à <SPAN CLASS="MATH"><IMG WIDTH="22" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=9" ALT="$ \vert\nu\vert$"></SPAN>, avec <SPAN CLASS="MATH"><IMG WIDTH="50" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=10" ALT="$ \vert g\vert = 1$"></SPAN> partout, que l'on a <!-- MATH $|\nu|(A) = \int_A |f| \, d\mu$ --><SPAN CLASS="MATH"><IMG WIDTH="127" HEIGHT="33" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=11" ALT="$ \vert\nu\vert(A) = \int_A \vert f\vert \, d\mu$"></SPAN>.<BR><BR>Qu'en est-il si l'on prend <!-- MATH $f \in L^1(\mu, E)$ --><SPAN CLASS="MATH"><IMG WIDTH="93" HEIGHT="33" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=12" ALT="$ f \in L^1(\mu, E)$"></SPAN>, où <SPAN CLASS="MATH"><IMG WIDTH="17" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=13" ALT="$ E$"></SPAN> est un espace vectoriel normé de dimension finie ?<BR>Le théorème de Radon-Nikodym est toujours valable, et on a donc <!-- MATH $d\nu = g \, d|\nu|$ --><SPAN CLASS="MATH"><IMG WIDTH="79" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=14" ALT="$ d\nu = g \, d\vert\nu\vert$"></SPAN>, avec <SPAN CLASS="MATH"><IMG WIDTH="50" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=10" ALT="$ \vert g\vert = 1$"></SPAN> partout, mais la preuve de <!-- MATH $|\nu|(A) = \int_A |f| \, d\mu$ --><SPAN CLASS="MATH"><IMG WIDTH="127" HEIGHT="33" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=11" ALT="$ \vert\nu\vert(A) = \int_A \vert f\vert \, d\mu$"></SPAN> ne fonctionne plus, car on a plus le droit de diviser par <SPAN CLASS="MATH"><IMG WIDTH="12" HEIGHT="28" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100727&msg=90&th=7" ALT="$ g$"></SPAN> ...<BR><BR>Ce résultat est-il toujours vrai, et si oui, comment le prouve-t-on ?<BR><BR>Merci d'avance. :)<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612651')">Code LaTeX</a>
								<div id="detail612651" class="detail">Bonjour.<br />
<br />
Si $(X,\mathcal{A}, \mu)$ est un espace mesuré, $f \in L^1(\mu, \mathbb{K})$, avec $\mathbb{K} = \mathbb{R}$ ou $\mathbb{C}$, on définit une mesure à valeurs dans $\mathbb{K}$ par $\nu(A) = \int_A f \, d\mu$.<br />
<br />
Il est facile de vérifier, à l'aide du théorème de Radon-Nikodym qui nous fournit une densité $g$ de $\nu$ par rapport à $|\nu|$, avec $|g| = 1$ partout, que l'on a $|\nu|(A) = \int_A |f| \, d\mu$.<br />
<br />
Qu'en est-il si l'on prend $f \in L^1(\mu, E)$, où $E$ est un espace vectoriel normé de dimension finie ?<br />
Le théorème de Radon-Nikodym est toujours valable, et on a donc $d\nu = g \, d|\nu|$, avec $|g| = 1$ partout, mais la preuve de $|\nu|(A) = \int_A |f| \, d\mu$ ne fonctionne plus, car on a plus le droit de diviser par $g$ ...<br />
<br />
Ce résultat est-il toujours vrai, et si oui, comment le prouve-t-on ?<br />
<br />
Merci d'avance. :)</div></div>]]></description>
            <dc:creator>BlackBird</dc:creator>
            <category>Analyse</category>
            <pubDate>Thu, 29 Jul 2010 10:07:32 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612546,612546#msg-612546</guid>
            <title>analyse fonctionnelle et mesure (10 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612546,612546#msg-612546</link>
            <description><![CDATA[ Bonjour, j'ai un exo d'analyse fonctionnelle difficile (en tout cas pour moi). La question est de démontrer la formule suivante<BR><P><!-- MATH \begin{displaymath}\newline \forall f \in L^1(\mathbb R^d),\qquad  f= \int_{x \in \mathbb R^d}  f(x) \  \delta_x  \ dx \newline\end{displaymath} --></P><DIV ALIGN="CENTER" CLASS="mathdisplay"><IMG WIDTH="278" HEIGHT="51" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100726&msg=171&th=1" ALT="$\displaystyle \newline \forall f \in L^1(\mathbb R^d),\qquad f= \int_{x \in \mathbb R^d} f(x) \ \delta_x \ dx \newline $"></DIV><P></P><BR>ou l'intégrale est à comprendre au sens vectoriel i.e. on intègre une fonction de <!-- MATH $x \in \mathbb R^d$ --><SPAN CLASS="MATH"><IMG WIDTH="52" HEIGHT="34" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100726&msg=171&th=2" ALT="$ x \in \mathbb R^d$"></SPAN> à valeurs dans l'espace  de Banach <SPAN CLASS="MATH"><IMG WIDTH="21" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100726&msg=171&th=3" ALT="$ M$"></SPAN> des mesures bornées (l'intégrale est bien convergente car <!-- MATH $\int \| f(x)  \delta_x \|_M dx  =  \int | f(x) | dx < \infty$ --><SPAN CLASS="MATH"><IMG WIDTH="240" HEIGHT="33" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100726&msg=171&th=4" ALT="$ \int \Vert f(x) \delta_x \Vert _M dx = \int \vert f(x) \vert dx &lt; \infty$"></SPAN>).<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612546')">Code LaTeX</a>
								<div id="detail612546" class="detail">Bonjour, j'ai un exo d'analyse fonctionnelle difficile (en tout cas pour moi). La question est de démontrer la formule suivante<br />
\[  <br />
\forall f \in L^1(\mathbb R^d),\qquad  f= \int_{x \in \mathbb R^d}  f(x) \  \delta_x  \ dx <br />
\]<br />
ou l'intégrale est à comprendre au sens vectoriel i.e. on intègre une fonction de $x \in \mathbb R^d$ à valeurs dans l'espace  de Banach $M$ des mesures bornées (l'intégrale est bien convergente car $\int \| f(x)  \delta_x \|_M dx  =  \int | f(x) | dx &lt; \infty$).</div></div>]]></description>
            <dc:creator>radon</dc:creator>
            <category>Analyse</category>
            <pubDate>Tue, 27 Jul 2010 14:31:35 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612518,612518#msg-612518</guid>
            <title>points critiques (6 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612518,612518#msg-612518</link>
            <description><![CDATA[ Si j'ai une fonction f:R^2---------&gt;R de classe C1 les points critiques c'est les x,y qui annulent la differentielle.<br />
<br />
<br />
Mais pour une fonction g:R^2-------------&gt;R^2 de classe C3 qu'appelle t-on les points critiques ?<br />
Est ce que c'est aussi les x,y qui annulent la matrice de la differentielle ou le determinant de la matrice de la differentielle ?]]></description>
            <dc:creator>tompouce</dc:creator>
            <category>Analyse</category>
            <pubDate>Mon, 26 Jul 2010 23:13:22 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612498,612498#msg-612498</guid>
            <title>Fonctions et DSE (2 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612498,612498#msg-612498</link>
            <description><![CDATA[ Soit <SPAN CLASS="MATH"><IMG WIDTH="14" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100726&msg=150&th=1" ALT="$ f$"></SPAN> une fonction de <!-- MATH $]0;1[ \rightarrow \mathbb{R}$ --><SPAN CLASS="MATH"><IMG WIDTH="68" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100726&msg=150&th=2" ALT="$ ]0;1[ \rightarrow \mathbb{R}$"></SPAN> de classe <!-- MATH $C^{\infty}$ --><SPAN CLASS="MATH"><IMG WIDTH="30" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100726&msg=150&th=3" ALT="$ C^{\infty}$"></SPAN> et pour tout <!-- MATH $n \in \mathbb{N}$ --><SPAN CLASS="MATH"><IMG WIDTH="45" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100726&msg=150&th=4" ALT="$ n \in \mathbb{N}$"></SPAN> et tout <!-- MATH $x \in\,  ]0;1[$ --><SPAN CLASS="MATH"><IMG WIDTH="63" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100726&msg=150&th=5" ALT="$ x \in\, ]0;1[$"></SPAN>,  on a <!-- MATH $f^{(n)}(x) \geq 0$ --><SPAN CLASS="MATH"><IMG WIDTH="83" HEIGHT="36" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100726&msg=150&th=6" ALT="$ f^{(n)}(x) \geq 0$"></SPAN> <BR><BR>Montrer que <SPAN CLASS="MATH"><IMG WIDTH="14" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100726&msg=150&th=1" ALT="$ f$"></SPAN> est DSE dans <SPAN CLASS="MATH"><IMG WIDTH="36" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100726&msg=150&th=7" ALT="$ ]0;1[$"></SPAN><BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612498')">Code LaTeX</a>
								<div id="detail612498" class="detail">Soit $f$ une fonction de $]0;1[ \rightarrow \R$  de classe $C^{\infty}$  et pour tout $n \in \N$ et tout $x \in\,  ]0;1[$,  on a $f^{(n)}(x) \geq 0$ <br />
<br />
Montrer que $f$ est DSE dans $]0;1[$</div></div>



Modifié 1 fois. Dernière modification le 26/07/2010 par AD.]]></description>
            <dc:creator>tompouce</dc:creator>
            <category>Analyse</category>
            <pubDate>Mon, 26 Jul 2010 19:24:20 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612424,612424#msg-612424</guid>
            <title>Intégrale double (3 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612424,612424#msg-612424</link>
            <description><![CDATA[ Bonjour,<BR><BR>Je lis que l'on obtient l'égalité ci-dessous en inversant l'ordre de l'intégration.<BR><SPAN CLASS="MATH"><IMG WIDTH="37" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100726&msg=84&th=1" ALT="$ P(y)$"></SPAN> est une fonction de répartition.<BR>Mais je n'y arrive pas ... Quelqu'un pourrait m'aider svp ?<BR>Merci<BR><P><!-- MATH \begin{displaymath}\int_{x}^{\infty}\int_{t}^{\infty}e^{-\rho(y - t)}dP(y)dt =\frac{1}{\rho}\left[\big(1-P(x)\big) - e^{\rho x} \int_{x}^{\infty}e^{-\rho y}dP(y)\right]\end{displaymath} --></P><DIV ALIGN="CENTER" CLASS="mathdisplay"><IMG WIDTH="458" HEIGHT="54" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100726&msg=84&th=2" ALT="$\displaystyle \int_{x}^{\infty}\int_{t}^{\infty}e^{-\rho(y - t)}dP(y)dt =\frac{......ho}\left[\big(1-P(x)\big) - e^{\rho x} \int_{x}^{\infty}e^{-\rho y}dP(y)\right]$"></DIV><P></P><BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612424')">Code LaTeX</a>
								<div id="detail612424" class="detail">Bonjour,<br />
<br />
Je lis que l'on obtient l'égalité ci-dessous en inversant l'ordre de l'intégration.<br />
$P(y)$ est une fonction de répartition.<br />
Mais je n'y arrive pas ... Quelqu'un pourrait m'aider svp ?<br />
 Merci<br />
$$\int_{x}^{\infty}\int_{t}^{\infty}e^{-\rho(y - t)}dP(y)dt =\frac{1}{\rho}\left[\big(1-P(x)\big) - e^{\rho x} \int_{x}^{\infty}e^{-\rho y}dP(y)\right]$$</div></div>



Modifié 1 fois. Dernière modification le 26/07/2010 par AD.]]></description>
            <dc:creator>pshhh</dc:creator>
            <category>Analyse</category>
            <pubDate>Tue, 27 Jul 2010 17:52:05 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612407,612407#msg-612407</guid>
            <title>Intégrale (1 répondre)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612407,612407#msg-612407</link>
            <description><![CDATA[ Bonsoir,<BR><BR>Je cherche à calculer l'intégrale suivante : &nbsp;&nbsp;&nbsp;&nbsp;<!-- MATH $\displaystyle \int_{0}^{\pi}\cos(t)\sin(2nt)dt$ --><SPAN CLASS="MATH"><IMG WIDTH="143" HEIGHT="52" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100725&msg=251&th=1" ALT="$ \displaystyle \int_{0}^{\pi}\cos(t)\sin(2nt)dt$"></SPAN><BR>Dans le bouquin d'exos, on me donne la solution suivante : <!-- MATH $\displaystyle -\frac{1}{\pi n} \Big(\frac{1}{n}-\frac{\pi}{4n}\Big)$ --><SPAN CLASS="MATH"><IMG WIDTH="113" HEIGHT="49" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100725&msg=251&th=2" ALT="$ \displaystyle -\frac{1}{\pi n} \Big(\frac{1}{n}-\frac{\pi}{4n}\Big)$"></SPAN><BR>Je m'embrouille dans le calcul mais suis très loin de la solution du bouquin.<BR><BR>Je linéarise et je trouve que l'intégrande est égal à : <!-- MATH $\displaystyle \frac{1}{4i}(\cos(t+2nt)-\cos(t-2nt))$ --><SPAN CLASS="MATH"><IMG WIDTH="217" HEIGHT="49" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100725&msg=251&th=3" ALT="$ \displaystyle \frac{1}{4i}(\cos(t+2nt)-\cos(t-2nt))$"></SPAN> puis j'intègre chacun des deux termes.<BR>J'obtiens <!-- MATH $\displaystyle \frac{1}{4i} \Big(\frac{-\sin(t+2nt)}{1+2n}+\frac{\sin(t-2nt)}{1-2n} \Big)$ --><SPAN CLASS="MATH"><IMG WIDTH="243" HEIGHT="53" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100725&msg=251&th=4" ALT="$ \displaystyle \frac{1}{4i} \Big(\frac{-\sin(t+2nt)}{1+2n}+\frac{\sin(t-2nt)}{1-2n} \Big)$"></SPAN><BR>J'intègre entre <SPAN CLASS="MATH">0</SPAN> et <SPAN CLASS="MATH"><IMG WIDTH="14" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100725&msg=251&th=5" ALT="$ \pi$"></SPAN> et obtiens : <!-- MATH $\displaystyle \frac{1}{4i} \Big(\frac{-(-1)^n}{1+2n}+\frac{(-1)^n}{1-2n} \Big)$ --><SPAN CLASS="MATH"><IMG WIDTH="166" HEIGHT="53" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100725&msg=251&th=6" ALT="$ \displaystyle \frac{1}{4i} \Big(\frac{-(-1)^n}{1+2n}+\frac{(-1)^n}{1-2n} \Big)$"></SPAN><BR>Ce qui donne <!-- MATH $\displaystyle \frac{1}{4i} \Big(\frac{4n^2(-1)^n}{1-4n^2} \Big)$ --><SPAN CLASS="MATH"><IMG WIDTH="110" HEIGHT="55" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100725&msg=251&th=7" ALT="$ \displaystyle \frac{1}{4i} \Big(\frac{4n^2(-1)^n}{1-4n^2} \Big)$"></SPAN><BR><BR>Merci pour votre aide.<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612407')">Code LaTeX</a>
								<div id="detail612407" class="detail">Bonsoir,<br />
<br />
Je cherche à calculer l'intégrale suivante : \quad $\displaystyle \int_{0}^{\pi}\cos(t)\sin(2nt)dt$<br />
Dans le bouquin d'exos, on me donne la solution suivante : $\displaystyle -\frac{1}{\pi n} \Big(\frac{1}{n}-\frac{\pi}{4n}\Big)$<br />
Je m'embrouille dans le calcul mais suis très loin de la solution du bouquin.<br />
<br />
Je linéarise et je trouve que l'intégrande est égal à : $\displaystyle \frac{1}{4i}(\cos(t+2nt)-\cos(t-2nt))$ puis j'intègre chacun des deux termes.<br />
J'obtiens $\displaystyle \frac{1}{4i} \Big(\frac{-\sin(t+2nt)}{1+2n}+\frac{\sin(t-2nt)}{1-2n} \Big)$<br />
J'intègre entre $0$ et $\pi$ et obtiens : $\displaystyle \frac{1}{4i} \Big(\frac{-(-1)^n}{1+2n}+\frac{(-1)^n}{1-2n} \Big)$<br />
Ce qui donne $\displaystyle \frac{1}{4i} \Big(\frac{4n^2(-1)^n}{1-4n^2} \Big)$<br />
<br />
Merci pour votre aide.</div></div>



Modifié 1 fois. Dernière modification le 26/07/2010 par AD.]]></description>
            <dc:creator>ecopula</dc:creator>
            <category>Analyse</category>
            <pubDate>Sun, 25 Jul 2010 23:58:27 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612376,612376#msg-612376</guid>
            <title>dérivée normale et gradient (1 répondre)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612376,612376#msg-612376</link>
            <description><![CDATA[ Bon soir à tous,<br />
    J'ai du mal à travailler avec la dérivée normale. Je veux bien savoir si on peut écrire les expressions suivantes ?<br />
Cordialement.<br />
[attachment 16563 Est.pdf]<br />
[Contenu du fichier pdf joint. AD]<br />
<center class="bbcode">[attachment 16564 emna1.png]</center>]]></description>
            <dc:creator>emna_1986</dc:creator>
            <category>Analyse</category>
            <pubDate>Sun, 25 Jul 2010 22:29:59 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612300,612300#msg-612300</guid>
            <title>Equa diff à second membre discontinu (20 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612300,612300#msg-612300</link>
            <description><![CDATA[ Bonjour,<BR><BR>J'ai une question concernant une équation différentielle à second membre discontinu :<BR><P><!-- MATH \begin{displaymath}\dot{x}=v(x),\quad x(0)=0.2, \qquad \mathrm{avec\ } v(x)=  \begin{cases}\newline 0.5, & \mathrm{si\ }  x <0.5, \\\newline 1.5, &\mathrm{si\ } 0.5 \leq x.\newline \end{cases}\end{displaymath} --></P><DIV ALIGN="CENTER" CLASS="mathdisplay"><IMG WIDTH="409" HEIGHT="63" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100725&msg=115&th=1" ALT="$\displaystyle \dot{x}=v(x),\quad x(0)=0.2, \qquad \mathrm{avec\ } v(x)= \begin{......si\ } x &lt;0.5, \\ \newline 1.5, &amp;\mathrm{si\ } 0.5 \leq x.\newline \end{cases}$"></DIV><P></P><BR>Dans ce cas précis, peut-on donner un  sens à la solution comme raccord des deux solutions classiques qui sont des droites :<BR><P><!-- MATH \begin{displaymath}x(t)=  \begin{cases}\newline 0.2+0.5 t, & \mathrm{si\ }  t <0.6, \\\newline 0.5+1.5(t-0.6), & \mathrm{si\ } 0.6 \leq t.\newline \end{cases}\end{displaymath} --></P><DIV ALIGN="CENTER" CLASS="mathdisplay"><IMG WIDTH="273" HEIGHT="63" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100725&msg=115&th=2" ALT="$\displaystyle x(t)= \begin{cases}\newline 0.2+0.5 t, &amp; \mathrm{si\ } t &lt;0.6, \\ \newline 0.5+1.5(t-0.6), &amp; \mathrm{si\ } 0.6 \leq t.\newline \end{cases} $"></DIV><P></P><BR>Comment montrer la convergence du schéma d'Euler vers cette solution dans ce cas ?<BR><BR>Merci d'avance.<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612300')">Code LaTeX</a>
								<div id="detail612300" class="detail">Bonjour,<br />
<br />
J'ai une question concernant une équation différentielle à second membre discontinu :<br />
$$\dot{x}=v(x),\quad x(0)=0.2, \qquad \mathrm{avec\ } v(x)=  \begin{cases}<br />
0.5, & \mathrm{si\ }  x &lt;0.5, \\<br />
1.5, &\mathrm{si\ } 0.5 \leq x.<br />
\end{cases}$$<br />
Dans ce cas précis, peut-on donner un  sens à la solution comme raccord des deux solutions classiques qui sont des droites :<br />
$$x(t)=  \begin{cases}<br />
0.2+0.5 t, & \mathrm{si\ }  t &lt;0.6, \\<br />
0.5+1.5(t-0.6), & \mathrm{si\ } 0.6 \leq t.<br />
\end{cases} $$<br />
Comment montrer la convergence du schéma d'Euler vers cette solution dans ce cas ?<br />
<br />
Merci d'avance.</div></div>



Modifié 3 fois. Dernière modification le 25/07/2010 par AD.]]></description>
            <dc:creator>Amtagpa</dc:creator>
            <category>Analyse</category>
            <pubDate>Thu, 29 Jul 2010 23:26:54 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612241,612241#msg-612241</guid>
            <title>Différentielles (5 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612241,612241#msg-612241</link>
            <description><![CDATA[ bonjour<br />
<br />
d'abord je suis désolé de vous soumettre pour le troisième fois le même sujet cependant<br />
<br />
a) cette fois je vous explique clairement pourquoi la réponse m'est nécessaire<br />
<br />
b) vous m'avez conseillé des livres<br />
* ce serait efficace <br />
**soit si j'habitais paris<br />
**soit si j'abitais une toute petite ville dont les libraires sont obligés de travailler avec toutes les banques de données<br />
de livres<br />
<br />
Mais j'abaite une grande ville, les ' librairie travaille uniquement avec Electre, si un livre n'est aps dans electre, inutile d'insister;<br />
_______________________<br />
voici le problème , meileure présentation, j'espère et j'ai un peu avancé seul<br />
________________________________________________<br />
<br />
qun élève de L1 qui a  a un frère qui a fait son master 1 en maths et qui peut un peut l'aider<br />
essaye de trouver une acception mathematique coherente aux formules qu lui balance son prof de physique,<br />
Vous allez dire, mais on leui expliquera plus tard, impossible les parents ne sont pas riches, aprèsv4 ans de facs il faudra bossr et oublier maths et physique<br />
______________________________________________________________________________ <br />
<br />
<br />
D'abord prenons pour modèle que l'espace est un espace affine de Hilbert de dimension 3 <br />
<br />
En physique, on veut calculer la masse d'un volume ! <br />
<br />
a) tu calcules dm <br />
b) tu essaie d'intègrer <br />
<br />
d m c'est quoi, c'est pas une différentielle, puisque jusqu'en Mastère 1 on ne sait différentier que des fonctions <br />
et que la masse n'est pas une fonction. <br />
<br />
En effet à chaque point on n'associe pas une masse, un point vous êtes d'accord n'a pas de masse, c'est un volume qui a une masse. <br />
<br />
Non, m c'est une mesure, en physique on dit grandeur extensive, <br />
<br />
C'est la densité volumique ro qui est une fonction définie pour un point de l'espace. <br />
<br />
Donc il faudrait <br />
a) redéfinir ce qu'est la dérivée d'une mesure par rapport à une autre mesure <br />
b) définir une différentielle de mesure <br />
<br />
Allons y <br />
<br />
Qu'est ce que la densité volumique, ou dérivée de la masse par rapport au volume, au point P <br />
<br />
Comme ON NE L A JAMAIS VU, j'improvise : <br />
<br />
m et v sont modélisées et ont des valeurs scalaires positives ou nulles <br />
<br />
Je dirais donc qu'un certain nombre ro est le nombre dérivé de la masse par rapport au volume en P <br />
<br />
si et seulement si <br />
<br />
Je peux rendre la distance entre ro et m(B)/mv(B) arbitrairement petite <br />
mais positive à partir du moment où <br />
a) B est un borélien quelqconque contenant P <br />
b) le diamètre de B est suffisamment petit <br />
<br />
Je ne l'écris pas correctement exprès. Les epsilon n'étant pas bien vus ! <br />
<br />
Admettons que je puisse trouver un tel ro, c'est l'équivalent du nombre dérivé pour les fonctions au point P <br />
<br />
Ensuite si à chaque point du plan P, si je peut lui trouver un nombre dérivé, la fonction qui à p associ ro , je l'appelle dérivée de m par rapport à v ou densité volumique , c'est une valeur intensive ou fonction <br />
<br />
Les matheux contactés m'ont tous renvoyés à Radom-Nickodym, que fabcam verra en L3, mais Ok ça peut marcher pour les dérivées de mesures, mais pas pour les diffrentielles. <br />
<br />
Je continue: je définis une différentielle de mesure <br />
<br />
m une mesure différentiable par rapport à v le volume <br />
<br />
Je peux écrire que une aplication w de l'espace vers l'ensemble des mesures <br />
est la diffférentielle de m <br />
<br />
si et seulement si <br />
<br />
a) si B est un borélien quelconque <br />
b) si A un borélien contenant P <br />
c) je peux admettre qu'on puisse exhiber une fonction o de l'espace vers l'ensemble des mesures telle que o(p) une mesure telle que si C est un borélien quelquonque de mesure non nulle, je puisse rendre <br />
o(P)[C]/v(C) arbitrairement petit en prenant o(c) suffisamment petit <br />
telle que m(B) = m(A) = w(P) [B-A] + o(P) v(B-A) <br />
<br />
<br />
Avec une telle définition, je retombe sur mes pattes car <br />
<br />
on a forcément <br />
la densité volumique au point P, soit lambda(P) = dm(P)(B) <br />
avec B un borélien qualconque contenant P de mesure 1 <br />
<br />
ou encore si B est un borélien quelqconque <br />
lambda(P) = dm(P)(B)/dv(P)(B) <br />
on voit que dm(P)(B)/dv(P)(B) est "in dépendant" de B <br />
on peux donc le notter par abus de langage dm(P)/dv(P) <br />
_______________ <br />
Avec mes définition, il faut encore que je redéfinisse "mes" intégrales <br />
de différentielles de mesures <br />
et que je montre que <br />
Intégrale sur B de lamda(P)*dv(P) c'est bien l'intégrale de la fonction <br />
lambad au sens de la théorie classique, mais EUX ne vous expliquent pas d'où vient le "d". <br />
<br />
<br />
<br />
mais au moins avec mois Intégrale sur B de lamda(P)*dv(P) <br />
a un sens en tant qu'intégrale de différentielle de mesure et on comprend enfin d'où vien le "d" dans l'intégrale <br />
<br />
<br />
<br />
Les profs de maths de L3 prétendent justifier les calculs des profs de physique de L1, uniquement en faisant une théorie d'intégration où les mesure de riemann ni de Lebesgues ne sont privilégiée, la masse pouvant être aussi une mesure utilisée, <br />
et définissent la densité volumique avec Radom Nikodym <br />
<br />
m(B) = Intégrale sur B de lambda(P) dv(P) <br />
<br />
Ca ne marche pas, car on a besoin d'isoler les diffrentielles de mesure]]></description>
            <dc:creator>Ruscassie</dc:creator>
            <category>Analyse</category>
            <pubDate>Sun, 25 Jul 2010 13:38:06 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612215,612215#msg-612215</guid>
            <title>Equation fonctionnelle (3 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612215,612215#msg-612215</link>
            <description><![CDATA[ Bonsoir à tous,<BR>J'ai besoin d'aide concernant le problème suivant :<BR>Determiner toutes les fonctions continues <!-- MATH $f : \mathbb{C} \longrightarrow \mathbb{C}$ --><SPAN CLASS="MATH"><IMG WIDTH="84" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100724&msg=54&th=1" ALT="$ f : \mathbb{C} \longrightarrow \mathbb{C} $"></SPAN> telles que pour tous <!-- MATH $x,y \in \mathbb{C}$ --><SPAN CLASS="MATH"><IMG WIDTH="60" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100724&msg=54&th=2" ALT="$ x,y \in \mathbb{C} $"></SPAN> :<BR><P><!-- MATH \begin{displaymath}f(x+iy) = x+y\end{displaymath} --></P><DIV ALIGN="CENTER" CLASS="mathdisplay"><IMG WIDTH="127" HEIGHT="31" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100724&msg=54&th=3" ALT="$\displaystyle f(x+iy) = x+y $"></DIV><P></P><BR>Merci d'avance.<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612215')">Code LaTeX</a>
								<div id="detail612215" class="detail">Bonsoir à tous,<br />
J'ai besoin d'aide concernant le problème suivant :<br />
Determiner toutes les fonctions continues $ f : \mathbb{C} \longrightarrow \mathbb{C} $ telles que pour tous $ x,y \in \mathbb{C} $ :<br />
$$ f(x+iy) = x+y $$<br />
Merci d'avance.</div></div>]]></description>
            <dc:creator>Simpson</dc:creator>
            <category>Analyse</category>
            <pubDate>Sat, 24 Jul 2010 20:43:11 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612142,612142#msg-612142</guid>
            <title>Application qui préserve l'orientation (58 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612142,612142#msg-612142</link>
            <description><![CDATA[ Bonjour<BR><BR>Je suis en train d'étudier les applications <SPAN CLASS="MATH"><IMG WIDTH="14" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100724&msg=16&th=1" ALT="$ f$"></SPAN> de <SPAN CLASS="MATH"><IMG WIDTH="22" HEIGHT="16" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100724&msg=16&th=2" ALT="$ S^1$"></SPAN> dans <SPAN CLASS="MATH"><IMG WIDTH="22" HEIGHT="16" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100724&msg=16&th=2" ALT="$ S^1$"></SPAN> où <SPAN CLASS="MATH"><IMG WIDTH="22" HEIGHT="16" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100724&msg=16&th=2" ALT="$ S^1$"></SPAN> est le cercle unité. Dans le doc que je lis, il est question des applications qui conservent l'orientation des points. Comment traduire en termes mathématiques cette propriété? <BR>J'imagine que cela conserve l'ordre des points, mais ca donne quoi en terme mathématique? <BR><BR>Je vous remercie<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612142')">Code LaTeX</a>
								<div id="detail612142" class="detail">Bonjour<br />
<br />
Je suis en train d'étudier les applications $f$ de $S^1$ dans $S^1$ où $S^1$ est le cercle unité. Dans le doc que je lis, il est question des applications qui conservent l'orientation des points. Comment traduire en termes mathématiques cette propriété? <br />
J'imagine que cela conserve l'ordre des points, mais ca donne quoi en terme mathématique? <br />
<br />
Je vous remercie</div></div>]]></description>
            <dc:creator>pierrreg</dc:creator>
            <category>Analyse</category>
            <pubDate>Wed, 28 Jul 2010 13:32:46 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612103,612103#msg-612103</guid>
            <title>Régularité de la frontière d'un ouvert dans R^n (15 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612103,612103#msg-612103</link>
            <description><![CDATA[ Bonjour<BR><BR>Pourriez-vous me donner la définition précise d'un ouvert de <!-- MATH $\mathbb{R}^n$ --><SPAN CLASS="MATH"><IMG WIDTH="24" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100723&msg=121&th=1" ALT="$ \mathbb{R}^n$"></SPAN> dont la frontière est de classe <!-- MATH $\mathcal C^k$ --><SPAN CLASS="MATH"><IMG WIDTH="21" HEIGHT="17" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100723&msg=121&th=2" ALT="$ \mathcal C^k$"></SPAN> où <!-- MATH $k=0,1,\ldots,+\infty$ --><SPAN CLASS="MATH"><IMG WIDTH="121" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="thumb.php?dt=20100723&msg=121&th=3" ALT="$ k=0,1,\ldots,+\infty$"></SPAN>? Et de même celle d'un ouvert de <!-- MATH $\mathbb{R}^n$ --><SPAN CLASS="MATH"><IMG WIDTH="24" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="thumb.php?dt=20100723&msg=121&th=1" ALT="$ \mathbb{R}^n$"></SPAN> de frontière lipschitzienne?<BR><BR>J'ai une idée intuitive de ce que c'est mais je voudrais bien connaitre les "vraies" définitions.<BR><BR>Merci mille fois!<BR><div class="titre"><a href="javascript:void(0)" onclick="toggle('detail612103')">Code LaTeX</a>
								<div id="detail612103" class="detail">Bonjour<br />
<br />
Pourriez-vous me donner la définition précise d'un ouvert de $\R^n$ dont la frontière est de classe $\mathcal C^k$ où $k=0,1,\ldots,+\infty$? Et de même celle d'un ouvert de $\R^n$ de frontière lipschitzienne?<br />
<br />
J'ai une idée intuitive de ce que c'est mais je voudrais bien connaitre les "vraies" définitions.<br />
<br />
Merci mille fois!</div></div>]]></description>
            <dc:creator>Yop yop</dc:creator>
            <category>Analyse</category>
            <pubDate>Mon, 26 Jul 2010 23:29:30 +0200</pubDate>
        </item>
        <item>
            <guid>http://www.les-mathematiques.net/phorum/read.php?4,612094,612094#msg-612094</guid>
            <title>Lemme des bouts (3 réponses)</title>
            <link>http://www.les-mathematiques.net/phorum/read.php?4,612094,612094#msg-612094</link>
            <description><![CDATA[ Bonsoir à tous,<br />
Je cherche l'énoncé du lemme des bouts que je ne sais pas ce que c'est.<br />
On m'a dit qu'il faut aller chercher dans le cours de C.Viterbo, Proposition 4.2, mais malheueusement, je ne sais pas ou trouver ce cours.<br />
Merci de votre aide.]]></description>
            <dc:creator>Bradley22</dc:creator>
            <category>Analyse</category>
            <pubDate>Sat, 24 Jul 2010 19:33:22 +0200</pubDate>
        </item>
    </channel>
</rss>
