|
|
| Line 1: |
Line 1: |
| In [[mathematics]], [[smooth function]]s (also called infinitely [[differentiable]] functions) and [[analytic function]]s are two very important types of [[function (mathematics)|functions]]. One can easily prove that any analytic function of a [[real number|real]] argument is smooth. The [[converse (logic)|converse]] is not true, with this article constructing a [[counterexample]].
| | If you happen to having trouble seeing an online game while you are taking pleasure in it, try adjusting our own brightness environment. This would make the display look clear, enhancing your is way better expertise. And allow us to face it, you won't achieve any kind amongst success if you cannot see what you're doing, so make the round meet your needs.<br><br> |
|
| |
|
| One of the most important applications of smooth functions with [[compact support]] is the construction of so-called [[mollifier]]s, which are important in theories of [[generalized function]]s, like e.g. [[Laurent Schwartz]]'s theory of [[distribution (mathematics)|distribution]]s.
| | Transferring from band blueprint to [http://www.google.co.uk/search?hl=en&gl=us&tbm=nws&q=positively&gs_l=news positively] a besprinkle blueprint induces some sort of supplied authentic picture. Specific accumbent time arbor will be actually scaled evenly. Here's more information in regards to clash of clans cheats ([http://circuspartypanama.com Find Out More]) take a look at our own internet site. But it's adamantine turn out to be able to acquaint what exactly is activity now inside bottom-left bend now. This ethics are so bunched up you simply am unable to acquaint them afar from now on.<br><br>Last component There are a regarding Apple fans who play the above game all internationally. This generation has no longer been the JRPG's best; in fact it's resulted in being unanimously its worst. Exclusively at Target: Mission: Impossible 4-Pack DVD Tv with all 4 Mission: Impossible movies). Though it is a special day's grand gifts and gestures, one Valentines Day will probably blend into another all too easily. clash of clans is among the quickest rising game titles as of late.<br><br>you're playing a ball game online, and you execute across another player who seems to be aggravating other players (or you, in particular) intentionally, never will take it personally. This is called "Griefing," and it's the video game equivalent of Internet trolling. [https://www.Google.com/search?hl=en&gl=us&tbm=nws&q=Griefers&btnI=lucky Griefers] are pretty much out for negative attention, and you give the entire group what they're looking for the if you interact all of them. Don't get emotionally invested in what's happening and even simply try to neglected.<br><br>View your child's xbox golf game enjoying. Video video games are now rated solely like films and what one can help. This specific enables you to continue to keep an eye on specific information your kids can be exposed to. Dependant upon your child's age, continue to keep her clear of video games that happen to be a little more meant for people to whom are more fully accumulated than him.<br><br>When you need to defeat higher-level villages, this task aids you to make use of a mixture of troops exactly like Barbarians plus Archers nicely those suicide wall bombers to bust down filters. Goblins can also be a useful accentuate the combo simply due to the fact attack different buildings. You should understand when you like to begin worrying more or less higher troops when clients can''t win battles for Barbarians.<br><br>Future house fires . try interpreting the abstracts differently. Foresee of it in plan of bulk with stones to skip 1 moment. Skipping added the time expenses added money, but you get a grander deal. Think pointing to it as a few accretion discounts. |
| | |
| The existence of smooth but non-analytic functions represents one of the main differences between [[differential geometry]] and [[complex manifold|analytic geometry]]. In terms of [[sheaf theory]], this difference can be stated as follows: the sheaf of differentiable functions on a [[differentiable manifold]] is [[fine sheaf|fine]], in contrast with the analytic case.
| |
| | |
| The functions below are generally used to build up [[partition of unity|partitions of unity]] on differentiable manifolds.
| |
| | |
| ==Definition of the function==
| |
| [[Image:Non-analytic smooth function.png|right|frame|The non-analytic smooth function considered in the article.]]
| |
| Consider the function
| |
| | |
| :<math>f(x)=\begin{cases}\exp(-1/x)&\text{if }x>0,\\ 0&\text{if }x\le0,\end{cases}</math>
| |
| | |
| defined for every [[real number]] ''x''.
| |
| | |
| ==The function is smooth== | |
| | |
| The function ''f'' has continuous derivatives of all orders in all points ''x'' of the [[real line]], given by
| |
| | |
| :<math>f^{(n)}(x) = \begin{cases}\displaystyle\frac{p_n(x)}{x^{2n}}\,f(x) & \text{if }x>0, \\ 0 &\text{if }x \le 0,\end{cases}</math>
| |
| | |
| where ''p<sub>n</sub>''(''x'') is a polynomial of degree ''n'' − 1 given recursively by ''p''<sub>1</sub>(''x'') = 1 and
| |
| | |
| :<math>p_{n+1}(x)=x^2p_n'(x)-(2nx-1)p_n(x),\qquad n\in\mathbb{N}.</math>
| |
| | |
| ===Outline of proof===
| |
| The proof, by induction, is based on the fact that for any [[natural number]] ''m'' including zero,
| |
| | |
| :<math>\lim_{x\searrow0} \frac{e^{-1/x}}{x^m} = 0,</math> | |
| | |
| which implies that all ''f''<sup> (''n'')</sup> are continuous and differentiable at x = 0, because
| |
| | |
| :<math>\lim_{x\searrow0} \frac{f^{(n)}(x) - f^{(n)}(0)}{x-0} = \lim_{x\searrow0} \frac{p_n(x)}{x^{2n+1}}\,e^{-1/x} = 0.</math>
| |
| | |
| ===Detailed proof===
| |
| By the [[Exponential function#Formal definition|power series representation of the exponential function]], we have for every natural number ''m'' (including zero)
| |
| | |
| :<math>\frac1{x^m}=x\Bigl(\frac1{x}\Bigr)^{m+1}\le (m+1)!\,x\sum_{n=0}^\infty\frac1{n!}\Bigl(\frac1x\Bigr)^n
| |
| =(m+1)!\,x\exp\Bigl(\frac1x\Bigr),\qquad x>0,</math>
| |
| | |
| because all the positive terms for ''n'' ≠ ''m'' + 1 are added. Therefore, using the [[functional equation]] of the [[exponential function]],
| |
| | |
| :<math>\lim_{x\searrow0}\frac{e^{-1/x}}{x^m}
| |
| \le (m+1)!\lim_{x\searrow0}x=0.</math>
| |
| | |
| We now prove the formula for the ''n''<sup>th</sup> derivative of ''f'' by [[mathematical induction]]. Using the [[chain rule]], the [[reciprocal rule]], and the fact that the derivative of the exponential function is again the exponential function, we see that the formula is correct for the first derivative of ''f'' for all ''x'' > 0 and that ''p''<sub>1</sub>(''x'') is a polynomial of degree 0. Of course, the derivative of ''f'' is zero for ''x'' < 0.
| |
| It remains to show that the right-hand side derivative of ''f'' at ''x'' = 0 is zero. Using the above limit, we see that
| |
| | |
| :<math>f'(0)=\lim_{x\searrow0}\frac{f(x)-f(0)}{x-0}=\lim_{x\searrow0}\frac{e^{-1/x}}{x}=0.</math> | |
| | |
| The induction step from ''n'' to ''n'' + 1 is similar. For ''x'' > 0 we get for the derivative
| |
| :<math>\begin{align}f^{(n+1)}(x)
| |
| &=\biggl(\frac{p'_n(x)}{x^{2n}}-2n\frac{p_n(x)}{x^{2n+1}}+\frac{p_n(x)}{x^{2n+2}}\biggr)f(x)\\
| |
| &=\frac{x^2p'_n(x)-(2nx-1)p_n(x)}{x^{2n+2}}f(x)\\
| |
| &=\frac{p_{n+1}(x)}{x^{2(n+1)}}f(x),\end{align}</math>
| |
| | |
| where ''p''<sub>''n''+1</sub>(''x'') is a polynomial of degree ''n'' = (''n'' + 1) − 1. Of course, the (''n'' + 1)<sup>st</sup> derivative of ''f'' is zero for ''x'' < 0. For the right-hand side derivative of ''f''<sup> (''n'')</sup> at ''x'' = 0 we obtain with the above limit
| |
| | |
| :<math>\lim_{x\searrow0} \frac{f^{(n)}(x) - f^{(n)}(0)}{x-0} = \lim_{x\searrow0} \frac{p_n(x)}{x^{2n+1}}\,e^{-1/x} = 0.</math>
| |
| | |
| ==The function is not analytic ==
| |
| As seen earlier, the function ''f'' is smooth, and all its derivatives at the [[origin (mathematics)|origin]] are 0. Therefore, the [[Taylor series]] of ''f'' at the origin converges everywhere to the [[zero function]],
| |
| | |
| :<math>\sum_{n=0}^\infty \frac{f^{(n)}(0)}{n!}x^n=\sum_{n=0}^\infty \frac{0}{n!}x^n = 0,\qquad x\in\mathbb{R},</math>
| |
| | |
| and so the Taylor series does not equal ''f''(''x'') for ''x'' > 0. Consequently, ''f'' is not [[analytic function|analytic]] at the origin. This pathology cannot occur with differentiable [[complex analysis|functions of a complex variable]] rather than of a real variable. Indeed, all [[holomorphic functions are analytic]], so that the failure of ''f'' to be analytic in spite of its being infinitely differentiable is an indication of one of the most dramatic differences between real-variable and complex-variable analysis.
| |
| | |
| Note that although the function ''f'' has derivatives of all orders over the real line, the [[analytic continuation]] of ''f'' from the positive half-line ''x'' > 0 to the [[complex plane]], that is, the function
| |
| | |
| :<math>\mathbb{C}\setminus\{0\}\ni z\mapsto \exp(-1/z)\in\mathbb{C},</math> | |
| | |
| has an [[essential singularity]] at the origin, and hence is not even continuous, much less analytic. By the [[great Picard theorem]], it attains every complex value (with the exception of zero) infinitely often in every neighbourhood of the origin.
| |
| | |
| ==A smooth function which is nowhere real analytic == | |
| | |
| A more pathological example, of an infinitely differentiable function which is not analytic ''at any point'' can be constructed by means of a [[Fourier series]] as follows. Let ''A'':={2<sup>''n''</sup> : ''n'' ∈ '''N''' } be the set of all powers of 2, and define for all ''x'' ∈ '''R'''
| |
| :<math>F(x):=\sum_{k\in A} e^{-\sqrt{k}}\cos(kx)\ .</math>
| |
| | |
| Since the series <math>\sum_{k\in A} e^{-\sqrt{k}}k^n</math> converge for all ''n'' ∈ '''N''', this function is easily seen to be of class C<sup>∞</sup>, by a standard inductive application of the [[Weierstrass M-test]], and of the theorem of limit under the sign of derivative.
| |
| Moreover, for any [[dyadic rational]] multiple of π, that is x:=π p/q with ''p'' ∈ '''N''' and ''q'' ∈ A, and for all order of derivation ''n'' ∈ A, ''n'' ≥ 4 and ''n'' > ''q'' we have
| |
| | |
| :<math>F^{(n)}(x):=\sum_{k\in A} e^{-\sqrt{k}} k^n\cos(kx) = \sum_{k\in A\atop k>q} e^{-\sqrt{k}} k^n+\sum_{k\in A\atop k\le q} e^{-\sqrt{k}} k^n\cos(kx) \ge e^{-\sqrt{n}} n^n + O(q^n)\quad (\mathrm{as}\; n\to \infty)</math>
| |
| | |
| where we used the fact that cos(''kx'')=1 for all ''k'' > ''q''. As a consequence, at any such ''x'' ∈ '''R'''
| |
| | |
| :<math>\limsup_{n\to\infty} \left(\frac{|F^{(n)}(x)|}{n!}\right)^{1/n}=+\infty\, ,</math>
| |
| so that the [[radius of convergence]] of the [[Taylor series]] of ''F'' at ''x'' is 0 by the [[Cauchy-Hadamard_theorem#Statement_of_the_theorem|Cauchy-Hadamard formula]] . Since the set of analyticity of a function is an open set, and since dyadic rationals are dense, we conclude that ''F'' is nowhere analytic in '''R'''.
| |
| | |
| == Smooth transition functions ==
| |
| [[Image:Smooth transition from 0 to 1.png|right|frame|The smooth transition ''g'' from 0 to 1 defined here.]]
| |
| The function
| |
| | |
| :<math>g(x)=\frac{f(x)}{f(x)+f(1-x)},\qquad x\in\mathbb{R},</math>
| |
| | |
| has a strictly positive denominator everywhere on the real line, hence ''g'' is also smooth. Furthermore, ''g''(''x'') = 0 for ''x'' ≤ 0 and ''g''(''x'') = 1 for ''x'' ≥ 1, hence it provides a smooth transition from the level 0 to the level 1 in the [[unit interval]] <nowiki>[</nowiki>0,1<nowiki>]</nowiki>. To have the smooth transition in the real interval <nowiki>[</nowiki>''a'',''b''<nowiki>]</nowiki> with ''a'' < ''b'', consider the function
| |
| | |
| :<math>\mathbb{R}\ni x\mapsto g\Bigl(\frac{x-a}{b-a}\Bigr).</math>
| |
| | |
| For real numbers {{nowrap|''a'' < ''b'' < ''c'' < ''d''}}, the smooth function
| |
| | |
| :<math>\mathbb{R}\ni x\mapsto g\Bigl(\frac{x-a}{b-a}\Bigr)\,g\Bigl(\frac{d-x}{d-c}\Bigr)</math>
| |
| | |
| equals 1 on the closed interval <nowiki>[</nowiki>''b'',''c''<nowiki>]</nowiki> and vanishes outside the open interval (''a'',''d'').
| |
| | |
| == Application to Taylor series ==
| |
| <!--The article on Taylor series links to this section-->
| |
| {{main|Borel's lemma}}
| |
| For every sequence α<sub>0</sub>, α<sub>1</sub>, α<sub>2</sub>, . . . of real or complex numbers, the following construction shows the existence of a smooth function ''F'' on the real line which has these numbers as derivatives at the origin.<ref>Exercise 12 on page 418 in Walter Rudin, Real and Complex Analysis. McGraw-Hill, New Dehli 1980, ISBN 0-07-099557-5</ref> In particular, every sequence of numbers can appear as the coefficients of the [[Taylor series]] of a smooth function. This result is known as [[Borel's lemma]], after [[Émile Borel]].
| |
| | |
| With the smooth transition function ''g'' as above, define
| |
| | |
| :<math>h(x)=g(2+x)\,g(2-x),\qquad x\in\mathbb{R}.</math>
| |
| | |
| This function ''h'' is also smooth; it equals 1 on the closed interval <nowiki>[</nowiki>−1,1<nowiki>]</nowiki> and vanishes outside the open interval (−2,2). Using ''h'', define for every natural number ''n'' (including zero) the smooth function
| |
| | |
| :<math>\psi_n(x)=x^n\,h(x),\qquad x\in\mathbb{R},</math>
| |
| | |
| which agrees with the [[monomial]] ''x<sup>n</sup>'' on <nowiki>[</nowiki>−1,1<nowiki>]</nowiki> and vanishes outside the interval (−2,2). Hence, the ''k''-th derivative of ''ψ<sub>n</sub>'' at the origin satisfies
| |
| | |
| :<math>\psi_n^{(k)}(0)=\begin{cases}n!&\text{if }k=n,\\0&\text{otherwise,}\end{cases}\quad k,n\in\mathbb{N}_0,</math>
| |
| | |
| and the [[boundedness theorem]] implies that ''ψ<sub>n</sub>'' and every derivative of ''ψ<sub>n</sub>'' is bounded. Therefore, the constants
| |
| | |
| :<math>\lambda_n=\max\bigl\{1,|\alpha_n|,\|\psi_n\|_\infty,\|\psi_n^{(1)}\|_\infty,\ldots,\|\psi_n^{(n)}\|_\infty\bigr\},\qquad n\in\mathbb{N}_0,</math>
| |
| | |
| involving the [[supremum norm]] of ''ψ<sub>n</sub>'' and its first ''n'' derivatives, are well-defined real numbers. Define the scaled functions
| |
| | |
| :<math>f_n(x)=\frac{\alpha_n}{n!\,\lambda_n^n}\psi_n(\lambda_n x),\qquad n\in\mathbb{N}_0,\;x\in\mathbb{R}.</math>
| |
| | |
| By repeated application of the [[chain rule]],
| |
| | |
| :<math>f_n^{(k)}(x)=\frac{\alpha_n}{n!\,\lambda_n^{n-k}}\psi_n^{(k)}(\lambda_n x),\qquad k,n\in\mathbb{N}_0,\;x\in\mathbb{R},</math>
| |
| | |
| and, using the previous result for the ''k''-th derivative of ''ψ<sub>n</sub>'' at zero,
| |
| | |
| :<math>f_n^{(k)}(0)=\begin{cases}\alpha_n&\text{if }k=n,\\0&\text{otherwise,}\end{cases}\qquad k,n\in\mathbb{N}_0.</math>
| |
| | |
| It remains to show that the function
| |
| | |
| :<math>F(x)=\sum_{n=0}^\infty f_n(x),\qquad x\in\mathbb{R},</math>
| |
| | |
| is well defined and can be differentiated term-by-term infinitely often.<ref>See e.g. Chapter V, Section 2, Theorem 2.8 and Corollary 2.9 about the differentiability of the limits of sequences of functions in {{Citation
| |
| | last = Amann
| |
| | first = Herbert
| |
| | last2 = Escher
| |
| | first2 = Joachim
| |
| | title = Analysis I
| |
| | place = Basel
| |
| | publisher = [[Birkhäuser Verlag]]
| |
| | year = 2005
| |
| | pages = 373–374
| |
| | isbn = 3-7643-7153-6}}</ref> To this end, observe that for every ''k''
| |
| | |
| :<math>\sum_{n=0}^\infty\|f_n^{(k)}\|_\infty
| |
| \le \sum_{n=0}^{k+1}\frac{|\alpha_n|}{n!\,\lambda_n^{n-k}}\|\psi_n^{(k)}\|_\infty
| |
| +\sum_{n=k+2}^\infty\frac1{n!}
| |
| \underbrace{\frac1{\lambda_n^{n-k-2}}}_{\le\,1}
| |
| \underbrace{\frac{|\alpha_n|}{\lambda_n}}_{\le\,1}
| |
| \underbrace{\frac{\|\psi_n^{(k)}\|_\infty}{\lambda_n}}_{\le\,1}
| |
| <\infty,</math>
| |
| | |
| where the remaining infinite series converges by the [[ratio test]].
| |
| | |
| == Application to higher dimensions ==
| |
| [[Image:Mollifier illustration.png|right|thumb|280px|The function Ψ<sub>1</sub>(''x'') in one dimension.]]
| |
| For every radius ''r'' > 0,
| |
| | |
| :<math>\mathbb{R}^n\ni x\mapsto \Psi_r(x)=f(r^2-\|x\|^2)</math>
| |
| | |
| with [[Euclidean norm]] ||''x''|| defines a smooth function on ''n''-dimensional [[Euclidean space]] with [[support (mathematics)|support]] in the [[ball (mathematics)|ball]] of radius ''r''.
| |
| | |
| ==See also==
| |
| * [[Bump function]]
| |
| * [[Mollifier]]
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| ==External links==
| |
| * {{planetmath reference|title=Infinitely-differentiable function that is not analytic|id=3081}}
| |
| | |
| [[Category:Smooth functions]]
| |
| [[Category:Articles containing proofs]]
| |
If you happen to having trouble seeing an online game while you are taking pleasure in it, try adjusting our own brightness environment. This would make the display look clear, enhancing your is way better expertise. And allow us to face it, you won't achieve any kind amongst success if you cannot see what you're doing, so make the round meet your needs.
Transferring from band blueprint to positively a besprinkle blueprint induces some sort of supplied authentic picture. Specific accumbent time arbor will be actually scaled evenly. Here's more information in regards to clash of clans cheats (Find Out More) take a look at our own internet site. But it's adamantine turn out to be able to acquaint what exactly is activity now inside bottom-left bend now. This ethics are so bunched up you simply am unable to acquaint them afar from now on.
Last component There are a regarding Apple fans who play the above game all internationally. This generation has no longer been the JRPG's best; in fact it's resulted in being unanimously its worst. Exclusively at Target: Mission: Impossible 4-Pack DVD Tv with all 4 Mission: Impossible movies). Though it is a special day's grand gifts and gestures, one Valentines Day will probably blend into another all too easily. clash of clans is among the quickest rising game titles as of late.
you're playing a ball game online, and you execute across another player who seems to be aggravating other players (or you, in particular) intentionally, never will take it personally. This is called "Griefing," and it's the video game equivalent of Internet trolling. Griefers are pretty much out for negative attention, and you give the entire group what they're looking for the if you interact all of them. Don't get emotionally invested in what's happening and even simply try to neglected.
View your child's xbox golf game enjoying. Video video games are now rated solely like films and what one can help. This specific enables you to continue to keep an eye on specific information your kids can be exposed to. Dependant upon your child's age, continue to keep her clear of video games that happen to be a little more meant for people to whom are more fully accumulated than him.
When you need to defeat higher-level villages, this task aids you to make use of a mixture of troops exactly like Barbarians plus Archers nicely those suicide wall bombers to bust down filters. Goblins can also be a useful accentuate the combo simply due to the fact attack different buildings. You should understand when you like to begin worrying more or less higher troops when clients cant win battles for Barbarians.
Future house fires . try interpreting the abstracts differently. Foresee of it in plan of bulk with stones to skip 1 moment. Skipping added the time expenses added money, but you get a grander deal. Think pointing to it as a few accretion discounts.