Menu Close

Question-147007




Question Number 147007 by Ar Brandon last updated on 17/Jul/21
Answered by Olaf_Thorendsen last updated on 17/Jul/21
(1)  f(x) = Σ_(n=0) ^∞ a_n x^n   f′(x) = Σ_(n=1) ^∞ na_n x^(n−1)  = Σ_(n=0) ^∞ (n+1)a_(n+1) x^n   f′′(x) = Σ_(n=1) ^∞ n(n+1)a_(n+1) x^(n−1)   f′′(x) = Σ_(n=0) ^∞ (n+1)(n+2)a_(n+2) x^n   xf′′(x)+2f′(x)+xf(x) = 0  Σ_(n=0) ^∞ (n+1)(n+2)a_(n+2) x^(n+1) +2Σ_(n=0) ^∞ (n+1)a_(n+1) x^n   +Σ_(n=0) ^∞ a_n x^(n+1)  = 0  Σ_(n=0) ^∞ (n+1)(n+2)a_(n+2) x^(n+1) +2a_1 +2Σ_(n=0) ^∞ (n+2)a_(n+2) x^(n+1)   +Σ_(n=0) ^∞ a_n x^(n+1)  = 0  Necessairement a_1  = 0  Et par identification des puissances  comparables :  (n+1)(n+2)a_(n+2) +2(n+2)a_(n+2) +a_n  = 0  a_(n+2)  = −(a_n /((n+2)(n+3)))    (2)  Comme a_1  = 0 ⇒ a_(2p+1)  = 0  Et pour les indices pairs :  a_2  = −(a_0 /(2.3)) = −(1/(2.3)) = −(1/(3!))  a_4  = −(a_2 /(4.5)) = (−1)^2 (1/(2.3.4.5)) = (1/(5!))  ...etc...  a_(2p)  = (((−1)^p )/((2p+1)!)) et a_(2p+1)  = 0    (3)  Compte tenu des criteres sur les series  alternees, f(x) converge partout  sur R et :  f(x) = Σ_(n=0) ^∞ (−1)^p (x^(2p) /((2p+1)!))  xf(x) = Σ_(n=0) ^∞ (−1)^p (x^(2p+1) /((2p+1)!)) = sinx  et donc f(x) = ((sinx)/x)  On pourrait verifier, avec sa forme  explicite que f verifie bien l′equation  differentielle.
$$\left(\mathrm{1}\right) \\ $$$${f}\left({x}\right)\:=\:\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}{a}_{{n}} {x}^{{n}} \\ $$$${f}'\left({x}\right)\:=\:\underset{{n}=\mathrm{1}} {\overset{\infty} {\sum}}{na}_{{n}} {x}^{{n}−\mathrm{1}} \:=\:\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}\left({n}+\mathrm{1}\right){a}_{{n}+\mathrm{1}} {x}^{{n}} \\ $$$${f}''\left({x}\right)\:=\:\underset{{n}=\mathrm{1}} {\overset{\infty} {\sum}}{n}\left({n}+\mathrm{1}\right){a}_{{n}+\mathrm{1}} {x}^{{n}−\mathrm{1}} \\ $$$${f}''\left({x}\right)\:=\:\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}\left({n}+\mathrm{1}\right)\left({n}+\mathrm{2}\right){a}_{{n}+\mathrm{2}} {x}^{{n}} \\ $$$${xf}''\left({x}\right)+\mathrm{2}{f}'\left({x}\right)+{xf}\left({x}\right)\:=\:\mathrm{0} \\ $$$$\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}\left({n}+\mathrm{1}\right)\left({n}+\mathrm{2}\right){a}_{{n}+\mathrm{2}} {x}^{{n}+\mathrm{1}} +\mathrm{2}\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}\left({n}+\mathrm{1}\right){a}_{{n}+\mathrm{1}} {x}^{{n}} \\ $$$$+\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}{a}_{{n}} {x}^{{n}+\mathrm{1}} \:=\:\mathrm{0} \\ $$$$\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}\left({n}+\mathrm{1}\right)\left({n}+\mathrm{2}\right){a}_{{n}+\mathrm{2}} {x}^{{n}+\mathrm{1}} +\mathrm{2}{a}_{\mathrm{1}} +\mathrm{2}\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}\left({n}+\mathrm{2}\right){a}_{{n}+\mathrm{2}} {x}^{{n}+\mathrm{1}} \\ $$$$+\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}{a}_{{n}} {x}^{{n}+\mathrm{1}} \:=\:\mathrm{0} \\ $$$$\mathrm{Necessairement}\:{a}_{\mathrm{1}} \:=\:\mathrm{0} \\ $$$$\mathrm{Et}\:\mathrm{par}\:\mathrm{identification}\:\mathrm{des}\:\mathrm{puissances} \\ $$$$\mathrm{comparables}\:: \\ $$$$\left({n}+\mathrm{1}\right)\left({n}+\mathrm{2}\right){a}_{{n}+\mathrm{2}} +\mathrm{2}\left({n}+\mathrm{2}\right){a}_{{n}+\mathrm{2}} +{a}_{{n}} \:=\:\mathrm{0} \\ $$$${a}_{{n}+\mathrm{2}} \:=\:−\frac{{a}_{{n}} }{\left({n}+\mathrm{2}\right)\left({n}+\mathrm{3}\right)} \\ $$$$ \\ $$$$\left(\mathrm{2}\right) \\ $$$$\mathrm{Comme}\:{a}_{\mathrm{1}} \:=\:\mathrm{0}\:\Rightarrow\:{a}_{\mathrm{2}{p}+\mathrm{1}} \:=\:\mathrm{0} \\ $$$$\mathrm{Et}\:\mathrm{pour}\:\mathrm{les}\:\mathrm{indices}\:\mathrm{pairs}\:: \\ $$$${a}_{\mathrm{2}} \:=\:−\frac{{a}_{\mathrm{0}} }{\mathrm{2}.\mathrm{3}}\:=\:−\frac{\mathrm{1}}{\mathrm{2}.\mathrm{3}}\:=\:−\frac{\mathrm{1}}{\mathrm{3}!} \\ $$$${a}_{\mathrm{4}} \:=\:−\frac{{a}_{\mathrm{2}} }{\mathrm{4}.\mathrm{5}}\:=\:\left(−\mathrm{1}\right)^{\mathrm{2}} \frac{\mathrm{1}}{\mathrm{2}.\mathrm{3}.\mathrm{4}.\mathrm{5}}\:=\:\frac{\mathrm{1}}{\mathrm{5}!} \\ $$$$…\mathrm{etc}… \\ $$$${a}_{\mathrm{2}{p}} \:=\:\frac{\left(−\mathrm{1}\right)^{{p}} }{\left(\mathrm{2}{p}+\mathrm{1}\right)!}\:\mathrm{et}\:{a}_{\mathrm{2}{p}+\mathrm{1}} \:=\:\mathrm{0} \\ $$$$ \\ $$$$\left(\mathrm{3}\right) \\ $$$$\mathrm{Compte}\:\mathrm{tenu}\:\mathrm{des}\:\mathrm{criteres}\:\mathrm{sur}\:\mathrm{les}\:\mathrm{series} \\ $$$$\mathrm{alternees},\:{f}\left({x}\right)\:\mathrm{converge}\:\mathrm{partout} \\ $$$$\mathrm{sur}\:\mathbb{R}\:\mathrm{et}\:: \\ $$$${f}\left({x}\right)\:=\:\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}\left(−\mathrm{1}\right)^{{p}} \frac{{x}^{\mathrm{2}{p}} }{\left(\mathrm{2}{p}+\mathrm{1}\right)!} \\ $$$${xf}\left({x}\right)\:=\:\underset{{n}=\mathrm{0}} {\overset{\infty} {\sum}}\left(−\mathrm{1}\right)^{{p}} \frac{{x}^{\mathrm{2}{p}+\mathrm{1}} }{\left(\mathrm{2}{p}+\mathrm{1}\right)!}\:=\:\mathrm{sin}{x} \\ $$$$\mathrm{et}\:\mathrm{donc}\:{f}\left({x}\right)\:=\:\frac{\mathrm{sin}{x}}{{x}} \\ $$$$\mathrm{On}\:\mathrm{pourrait}\:\mathrm{verifier},\:\mathrm{avec}\:\mathrm{sa}\:\mathrm{forme} \\ $$$$\mathrm{explicite}\:\mathrm{que}\:{f}\:\mathrm{verifie}\:\mathrm{bien}\:\mathrm{l}'\mathrm{equation} \\ $$$$\mathrm{differentielle}. \\ $$
Commented by Ar Brandon last updated on 17/Jul/21
Merci beaucoup monsieur.  Bien le jour !
$$\mathrm{Merci}\:\mathrm{beaucoup}\:\mathrm{monsieur}. \\ $$$$\mathrm{Bien}\:\mathrm{le}\:\mathrm{jour}\:! \\ $$

Leave a Reply

Your email address will not be published. Required fields are marked *