<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Bateman_function</id>
	<title>Bateman function - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Bateman_function"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Bateman_function&amp;action=history"/>
	<updated>2026-05-18T22:52:46Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Bateman_function&amp;diff=25501&amp;oldid=prev</id>
		<title>en&gt;Headbomb: /* References */Various citation cleanup, replaced: | url=http://dx.doi.org/ → | doi=, {{MathSciNet | id = 1501618}} → {{MR|1501618}}, | id={{MR|1501618}} → | mr=1501618 using AWB</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Bateman_function&amp;diff=25501&amp;oldid=prev"/>
		<updated>2011-08-21T18:39:58Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;References: &lt;/span&gt;Various citation cleanup, replaced: | url=http://dx.doi.org/ → | doi=, {{MathSciNet | id = 1501618}} → {{MR|1501618}}, | id={{MR|1501618}} → | mr=1501618 using &lt;a href=&quot;/index.php?title=Testwiki:AWB&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;Testwiki:AWB (page does not exist)&quot;&gt;AWB&lt;/a&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;[[File:FBN exp(-1x2).jpeg|thumb|The function &amp;#039;&amp;#039;y&amp;#039;&amp;#039;&amp;amp;nbsp;=&amp;amp;nbsp;&amp;#039;&amp;#039;e&amp;#039;&amp;#039;&amp;lt;sup&amp;gt;−1/&amp;#039;&amp;#039;x&amp;#039;&amp;#039;&amp;lt;sup&amp;gt;2&amp;lt;/sup&amp;gt;&amp;lt;/sup&amp;gt; is flat at &amp;#039;&amp;#039;x&amp;#039;&amp;#039;&amp;amp;nbsp;=&amp;amp;nbsp;0.]]&lt;br /&gt;
In &amp;#039;&amp;#039;&amp;#039;[[mathematics]]&amp;#039;&amp;#039;&amp;#039;, especially [[real analysis]], a &amp;#039;&amp;#039;&amp;#039;flat function&amp;#039;&amp;#039;&amp;#039; is a [[smooth function]] ƒ&amp;amp;nbsp;:&amp;amp;nbsp;ℝ&amp;amp;nbsp;→&amp;amp;nbsp;ℝ all of whose [[derivative]]s vanish at a given point &amp;#039;&amp;#039;x&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;&amp;amp;nbsp;∈&amp;amp;nbsp;ℝ. The flat functions are, in some sense, the [[antitheses]] of the [[analytic function]]s. An analytic function ƒ&amp;amp;nbsp;:&amp;amp;nbsp;ℝ&amp;amp;nbsp;→&amp;amp;nbsp;ℝ is given by a [[convergent series|convergent]] [[power series]] close to some point &amp;#039;&amp;#039;x&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;&amp;amp;nbsp;∈&amp;amp;nbsp;ℝ:&lt;br /&gt;
:&amp;lt;math&amp;gt; f(x) \sim \lim_{n\to\infty}\sum_{k=0}^n\frac{f^{(k)}(x_0)}{k!}(x-x_0)^k . &amp;lt;/math&amp;gt;&lt;br /&gt;
In the case of a flat function we see that all derivatives vanish at &amp;#039;&amp;#039;x&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;&amp;amp;nbsp;∈&amp;amp;nbsp;ℝ, i.e. ƒ&amp;lt;sup&amp;gt;(&amp;#039;&amp;#039;k&amp;#039;&amp;#039;)&amp;lt;/sup&amp;gt;(&amp;#039;&amp;#039;x&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;)&amp;amp;nbsp;=&amp;amp;nbsp;0 for all &amp;#039;&amp;#039;k&amp;#039;&amp;#039;&amp;amp;nbsp;∈&amp;amp;nbsp;ℕ. This means that a meaningful [[Taylor series]] expansion in a neighbourhood of &amp;#039;&amp;#039;x&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt; is impossible. In the language of [[Taylor&amp;#039;s_theorem#Statement|Taylor&amp;#039;s theorem]], the non-constant part of the function always lies in the remainder &amp;#039;&amp;#039;R&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039;(&amp;#039;&amp;#039;x&amp;#039;&amp;#039;) for all &amp;#039;&amp;#039;n&amp;#039;&amp;#039;&amp;amp;nbsp;∈&amp;amp;nbsp;ℕ.&lt;br /&gt;
&lt;br /&gt;
Notice that the function need not be flat everywhere. The [[constant function]]s on ℝ are flat functions at all of their points. But there are other, non-trivial, examples.&lt;br /&gt;
&lt;br /&gt;
==Example==&lt;br /&gt;
&lt;br /&gt;
The function defined by&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;f(x) = \begin{cases} e^{-1/x^2} &amp;amp; \text{if }x\neq 0 \\&lt;br /&gt;
0 &amp;amp; \text{if }x = 0 \end{cases} &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
is flat at&amp;amp;nbsp;&amp;#039;&amp;#039;x&amp;#039;&amp;#039;&amp;amp;nbsp;=&amp;amp;nbsp;0.&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
&lt;br /&gt;
* {{Citation|first=P.|last=Glaister|title=A Flat Function with Some Interesting Properties and an Application|publisher=The Mathematical Gazette, Vol. 75, No. 474, pp. 438&amp;amp;ndash;440 |date=December 1991|jstor=3618627}}&lt;br /&gt;
&lt;br /&gt;
[[Category:Real analysis]]&lt;br /&gt;
[[Category:Algebraic geometry]]&lt;br /&gt;
[[Category:Differential calculus]]&lt;br /&gt;
[[Category:Smooth functions]]&lt;br /&gt;
[[Category:Differential structures]]&lt;/div&gt;</summary>
		<author><name>en&gt;Headbomb</name></author>
	</entry>
</feed>