<?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=Spherical_basis</id>
	<title>Spherical basis - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Spherical_basis"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Spherical_basis&amp;action=history"/>
	<updated>2026-05-25T06:28:41Z</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=Spherical_basis&amp;diff=29896&amp;oldid=prev</id>
		<title>en&gt;Astrokid: /* Change of basis matrix */ the coordinates transform according to the conjugate of the matrix according to which the basis vectors transform. The matrix mentioned was correct, but it was incorrectly labelled as a transpose</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Spherical_basis&amp;diff=29896&amp;oldid=prev"/>
		<updated>2013-10-20T13:27:34Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;Change of basis matrix: &lt;/span&gt; the coordinates transform according to the conjugate of the matrix according to which the basis vectors transform. The matrix mentioned was correct, but it was incorrectly labelled as a transpose&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{no footnotes|date=December 2013}}&lt;br /&gt;
&lt;br /&gt;
In mathematics, &amp;#039;&amp;#039;&amp;#039;Turán&amp;#039;s method&amp;#039;&amp;#039;&amp;#039; provides lower bounds for [[exponential sum]]s and complex [[power sum]]s.  The method has been applied to problems in [[equidistribution]].&lt;br /&gt;
&lt;br /&gt;
The method  applies to sums of the form&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt; s_\nu = \sum_{n=1}^N b_n z_n^\nu \ &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where the &amp;#039;&amp;#039;b&amp;#039;&amp;#039; and &amp;#039;&amp;#039;z&amp;#039;&amp;#039; are complex numbers and &amp;#039;&amp;#039;ν&amp;#039;&amp;#039; runs over a range of integers.  There are two main results, depending on the size of the complex numbers&amp;amp;nbsp;&amp;#039;&amp;#039;z&amp;#039;&amp;#039;.&lt;br /&gt;
&lt;br /&gt;
==Turán&amp;#039;s first theorem==&lt;br /&gt;
The first result applies to sums &amp;#039;&amp;#039;s&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;ν&amp;lt;/sub&amp;gt; where &amp;lt;math&amp;gt;|z_n| \ge 1&amp;lt;/math&amp;gt; for all&amp;amp;nbsp;&amp;#039;&amp;#039;n&amp;#039;&amp;#039;.  For any range of &amp;#039;&amp;#039;ν&amp;#039;&amp;#039; of length &amp;#039;&amp;#039;N&amp;#039;&amp;#039;, say &amp;#039;&amp;#039;ν&amp;#039;&amp;#039;&amp;amp;nbsp;=&amp;amp;nbsp;&amp;#039;&amp;#039;M&amp;#039;&amp;#039;&amp;amp;nbsp;+&amp;amp;nbsp;1,&amp;amp;nbsp;...,&amp;amp;nbsp;&amp;#039;&amp;#039;M&amp;#039;&amp;#039;&amp;amp;nbsp;+&amp;amp;nbsp;&amp;#039;&amp;#039;N&amp;#039;&amp;#039;, there is some &amp;#039;&amp;#039;ν&amp;#039;&amp;#039; with |&amp;#039;&amp;#039;s&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;ν&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;| at least &amp;#039;&amp;#039;c&amp;#039;&amp;#039;(&amp;#039;&amp;#039;M&amp;#039;&amp;#039;,&amp;amp;nbsp;&amp;#039;&amp;#039;N&amp;#039;&amp;#039;)|&amp;#039;&amp;#039;s&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;| where&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt; c(M,N) = \left({ \sum_{k=0}^{N-1} \binom{M+k}{k} 2^k }\right)^{-1} \ . &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
The sum here may be replaced by the weaker but simpler &amp;lt;math&amp;gt;\left({ \frac{N}{2e(M+N)} }\right)^{N-1}&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
We may deduce [[Fabry&amp;#039;s gap theorem]] from this result.&lt;br /&gt;
&lt;br /&gt;
==Turán&amp;#039;s second theorem==&lt;br /&gt;
The second result applies to sums &amp;#039;&amp;#039;s&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;ν&amp;lt;/sub&amp;gt; where &amp;lt;math&amp;gt;|z_n| \le 1&amp;lt;/math&amp;gt; for all&amp;amp;nbsp;&amp;#039;&amp;#039;n&amp;#039;&amp;#039;.  Assume that the &amp;#039;&amp;#039;z&amp;#039;&amp;#039; are ordered in decreasing absolute value and scaled so that |&amp;#039;&amp;#039;z&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;| = 1.  Then there is some ν with&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt; |s_\nu| \ge 2 \left({ \frac{N}{8e(M+N)} }\right)^N \min_{1\le j\le N} \left\vert{\sum_{n=1}^j b_n }\right\vert \ . &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==See also==&lt;br /&gt;
* [[Turán&amp;#039;s theorem]] in graph theory&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
* {{cite book | last=Montgomery | first=Hugh L. | authorlink=Hugh Montgomery (mathematician) | title=Ten lectures on the interface between analytic number theory and harmonic analysis | series=Regional Conference Series in Mathematics | volume=84 | location=Providence, RI | publisher=[[American Mathematical Society]] | year=1994 | isbn=0-8218-0737-4 | zbl=0814.11001 }}&lt;br /&gt;
&lt;br /&gt;
{{DEFAULTSORT:Turan&amp;#039;s method}}&lt;br /&gt;
[[Category:Exponentials]]&lt;br /&gt;
[[Category:Analytic number theory]]&lt;/div&gt;</summary>
		<author><name>en&gt;Astrokid</name></author>
	</entry>
</feed>