Logarithmic approximants: Difference between revisions

Wikispaces>MartinGough
**Imported revision 541426630 - Original comment: **
 
Wikispaces>MartinGough
**Imported revision 541426660 - Original comment: **
Line 1: Line 1:
<h2>IMPORTED REVISION FROM WIKISPACES</h2>
<h2>IMPORTED REVISION FROM WIKISPACES</h2>
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br>
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br>
: This revision was by author [[User:MartinGough|MartinGough]] and made on <tt>2015-02-19 08:27:25 UTC</tt>.<br>
: This revision was by author [[User:MartinGough|MartinGough]] and made on <tt>2015-02-19 08:27:48 UTC</tt>.<br>
: The original revision id was <tt>541426630</tt>.<br>
: The original revision id was <tt>541426660</tt>.<br>
: The revision comment was: <tt></tt><br>
: The revision comment was: <tt></tt><br>
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br>
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br>
<h4>Original Wikitext content:</h4>
<h4>Original Wikitext content:</h4>
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;white-space: pre-wrap ! important" class="old-revision-html">**&lt;span style="font-size: 20px;"&gt;Logarithmic approximants&lt;/span&gt;**
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;white-space: pre-wrap ! important" class="old-revision-html">WORK IN PROGRESS
WORK IN PROGRESS
**&lt;span style="font-size: 15px;"&gt;Introduction&lt;/span&gt;**
**&lt;span style="font-size: 15px;"&gt;Introduction&lt;/span&gt;**
&lt;span style="font-family: Arial,Helvetica,sans-serif;"&gt;The term //logarithmic approximant//[[xenharmonic/Mike's Lecture on Vector Spaces and Dual Spaces#ref1|{1}]] (or //approximant// for short) denotes an algebraic approximation to the logarithm function. By approximating interval sizes, logarithmic approximants can shed light on questions such as&lt;/span&gt;
&lt;span style="font-family: Arial,Helvetica,sans-serif;"&gt;The term //logarithmic approximant//[[xenharmonic/Mike's Lecture on Vector Spaces and Dual Spaces#ref1|{1}]] (or //approximant// for short) denotes an algebraic approximation to the logarithm function. By approximating interval sizes, logarithmic approximants can shed light on questions such as&lt;/span&gt;
Line 16: Line 15:
The exact size, in cents, of an interval with frequency ratio //r// is
The exact size, in cents, of an interval with frequency ratio //r// is
[[math]]
[[math]]
\qquad J_c = 1200 \log_2{r} = 1200 \ln{r}/\ln{2}
\qquad J_c = 1200 \log_2{r} = 1200 \ln{r}/\ln{2}


Line 22: Line 20:
where for just intervals r is rational and can be written as the ratio of two integers:
where for just intervals r is rational and can be written as the ratio of two integers:
[[math]]
[[math]]
\qquad r = n/d
\qquad r = n/d


Line 50: Line 47:
[[math]]
[[math]]
\qquad v = \frac{n-d}{n+d} \\
\qquad v = \frac{n-d}{n+d} \\
 
[[math]]
[[math]]
&lt;span style="color: #ffffff;"&gt;######&lt;/span&gt; = (frequency difference) / (frequency sum)
&lt;span style="color: #ffffff;"&gt;######&lt;/span&gt; = (frequency difference) / (frequency sum)
Line 75: Line 72:


[[math]]
[[math]]
\qquad J = \tanh^(-1){v} = v + \tfrac{1}{3}v^3 + \tfrac{1}{5}v^5 - ...
\qquad J = \tanh^(-1){v} = v + \tfrac{1}{3}v^3 + \tfrac{1}{5}v^5 - ...
[[math]]
[[math]]


The function &lt;span style="font-family: Georgia,serif; font-size: 110%;"&gt;//v(r)//&lt;/span&gt; is the order (1,1) Padé approximant of the function &lt;span style="font-family: Georgia,serif; font-size: 110%;"&gt; //J(r) =//½ ln //r// &lt;/span&gt; in the region of //&lt;span style="font-family: "Cambria","serif";"&gt;r&lt;/span&gt;// = 1, which has the property of matching the function value and its first and second derivatives at this value of //r//. The bimodular approximant function is thus accurate to second order in //r//&lt;span style="font-family: "Cambria","serif";"&gt; – 1&lt;/span&gt;.
The function &lt;span style="font-family: Georgia,serif; font-size: 110%;"&gt;//v(r)//&lt;/span&gt; is the order (1,1) Padé approximant of the function &lt;span style="font-family: Georgia,serif; font-size: 110%;"&gt; //J(r) =//½ ln //r// &lt;/span&gt; in the region of //r// = 1, which has the property of matching the function value and its first and second derivatives at this value of //r//. The bimodular approximant function is thus accurate to second order in //r// – 1.




Line 85: Line 81:


[[math]]
[[math]]
\qquad J = \tfrac{1}{2} \ln{3/2} = 0.20273...
\qquad J = \tfrac{1}{2} \ln{3/2} = 0.20273...


Line 93: Line 88:


[[math]]
[[math]]
\qquad v = (3/2 – 1)/(3/2 + 1) = (3 – 2)/(3 + 2) = 1/5 = 0.2
\qquad v = (3/2 – 1)/(3/2 + 1) = (3 – 2)/(3 + 2) = 1/5 = 0.2
[[math]]
[[math]]
Line 99: Line 93:
and the Taylor series indicates that the error in this value is about
and the Taylor series indicates that the error in this value is about
[[math]]
[[math]]
\qquad -\tfrac{1}{3}v^3 = -0.00267...
\qquad -\tfrac{1}{3}v^3 = -0.00267...
[[math]]
[[math]]
Line 108: Line 101:


[[math]]
[[math]]
\qquad v[-J] = -v[J]
\qquad v[-J] = -v[J]
\qquad v[J_1 +J_2] = \frac{v_1+v_2}{1+v_1 v_2}
\qquad v[J_1 +J_2] = \frac{v_1+v_2}{1+v_1 v_2}
Line 116: Line 108:
**&lt;span style="font-size: 20px;"&gt;Bimodular approximants and equal temperaments&lt;/span&gt;**
**&lt;span style="font-size: 20px;"&gt;Bimodular approximants and equal temperaments&lt;/span&gt;**
While bimodular approximants have historically been used as a means of estimating the sizes of very small intervals, they remain reasonably accurate as the interval size is increased to an octave or more. And being easily computable, they provide a quick means of comparing the relative sizes of intervals. For example:
While bimodular approximants have historically been used as a means of estimating the sizes of very small intervals, they remain reasonably accurate as the interval size is increased to an octave or more. And being easily computable, they provide a quick means of comparing the relative sizes of intervals. For example:
Two perfect fourths (//&lt;span style="font-family: "Cambria","serif";"&gt;r&lt;/span&gt;// = 4/3, = 1/7) approximate a minor seventh (//&lt;span style="font-family: "Cambria","serif";"&gt;r&lt;/span&gt;// = 9/5, = 2/7)
Two perfect fourths (//r// = 4/3, = 1/7) approximate a minor seventh (//r// = 9/5, = 2/7)
Three major thirds (//&lt;span style="font-family: "Cambria","serif";"&gt;r&lt;/span&gt;// = 5/4, = 1/9) or two __7/5__s ( = 1/6) or five __8/7__s ( = 1/15) approximate an octave (//&lt;span style="font-family: "Cambria","serif";"&gt;r &lt;/span&gt;//= 2/1, = 1/3)
Three major thirds (//r// = 5/4, = 1/9) or two __7/5__s ( = 1/6) or five __8/7__s ( = 1/15) approximate an octave (//r// = 2/1, = 1/3)
Bimodular approximants (abbreviated to ‘approximants’ here) also provide simple explanations for the properties of certain equal temperaments.
Bimodular approximants (abbreviated to ‘approximants’ here) also provide simple explanations for the properties of certain equal temperaments.
Tuning the perfect fourth and perfect fifth in the ratio of their approximants (1/7 : 1/5 = 5 : 7) and adjusting their sum to a pure octave yields 12edo (considered as a 3-limit temperament). This is an example of the high accuracy typically obtainable from a tempering policy which takes two intervals which are similar in size and not too large, tunes them in their approximant ratio, and normalises their sum to a pure interval.
Tuning the perfect fourth and perfect fifth in the ratio of their approximants (1/7 : 1/5 = 5 : 7) and adjusting their sum to a pure octave yields 12edo (considered as a 3-limit temperament). This is an example of the high accuracy typically obtainable from a tempering policy which takes two intervals which are similar in size and not too large, tunes them in their approximant ratio, and normalises their sum to a pure interval.
Line 174: Line 166:
Further examples of bimodular commas are provided in Reference 1. See also __Don Page comma__ (another name for this type of comma).</pre></div>
Further examples of bimodular commas are provided in Reference 1. See also __Don Page comma__ (another name for this type of comma).</pre></div>
<h4>Original HTML content:</h4>
<h4>Original HTML content:</h4>
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;width:200%;white-space: pre-wrap ! important" class="old-revision-html">&lt;html&gt;&lt;head&gt;&lt;title&gt;Logarithmic approximants&lt;/title&gt;&lt;/head&gt;&lt;body&gt;&lt;strong&gt;&lt;span style="font-size: 20px;"&gt;Logarithmic approximants&lt;/span&gt;&lt;/strong&gt;&lt;br /&gt;
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;width:200%;white-space: pre-wrap ! important" class="old-revision-html">&lt;html&gt;&lt;head&gt;&lt;title&gt;Logarithmic approximants&lt;/title&gt;&lt;/head&gt;&lt;body&gt;WORK IN PROGRESS&lt;br /&gt;
WORK IN PROGRESS&lt;br /&gt;
&lt;strong&gt;&lt;span style="font-size: 15px;"&gt;Introduction&lt;/span&gt;&lt;/strong&gt;&lt;br /&gt;
&lt;strong&gt;&lt;span style="font-size: 15px;"&gt;Introduction&lt;/span&gt;&lt;/strong&gt;&lt;br /&gt;
&lt;span style="font-family: Arial,Helvetica,sans-serif;"&gt;The term &lt;em&gt;logarithmic approximant&lt;/em&gt;&lt;a class="wiki_link" href="http://xenharmonic.wikispaces.com/Mike%27s%20Lecture%20on%20Vector%20Spaces%20and%20Dual%20Spaces#ref1"&gt;{1}&lt;/a&gt; (or &lt;em&gt;approximant&lt;/em&gt; for short) denotes an algebraic approximation to the logarithm function. By approximating interval sizes, logarithmic approximants can shed light on questions such as&lt;/span&gt;&lt;br /&gt;
&lt;span style="font-family: Arial,Helvetica,sans-serif;"&gt;The term &lt;em&gt;logarithmic approximant&lt;/em&gt;&lt;a class="wiki_link" href="http://xenharmonic.wikispaces.com/Mike%27s%20Lecture%20on%20Vector%20Spaces%20and%20Dual%20Spaces#ref1"&gt;{1}&lt;/a&gt; (or &lt;em&gt;approximant&lt;/em&gt; for short) denotes an algebraic approximation to the logarithm function. By approximating interval sizes, logarithmic approximants can shed light on questions such as&lt;/span&gt;&lt;br /&gt;
Line 219: Line 210:
[[math]]&amp;lt;br/&amp;gt;
[[math]]&amp;lt;br/&amp;gt;
\qquad v = \frac{n-d}{n+d} \\&amp;lt;br /&amp;gt;
\qquad v = \frac{n-d}{n+d} \\&amp;lt;br /&amp;gt;
&amp;lt;br/&amp;gt;[[math]]
&amp;lt;br/&amp;gt;[[math]]
  --&gt;&lt;script type="math/tex"&gt;\qquad v = \frac{n-d}{n+d} \\
  --&gt;&lt;script type="math/tex"&gt;\qquad v = \frac{n-d}{n+d} \\
&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:4 --&gt;&lt;br /&gt;
&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:4 --&gt;&lt;br /&gt;
&lt;span style="color: #ffffff;"&gt;######&lt;/span&gt; = (frequency difference) / (frequency sum)&lt;br /&gt;
&lt;span style="color: #ffffff;"&gt;######&lt;/span&gt; = (frequency difference) / (frequency sum)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
Line 252: Line 243:
  --&gt;&lt;script type="math/tex"&gt;\qquad J = \tanh^(-1){v} = v + \tfrac{1}{3}v^3 + \tfrac{1}{5}v^5 - ...&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:8 --&gt;&lt;br /&gt;
  --&gt;&lt;script type="math/tex"&gt;\qquad J = \tanh^(-1){v} = v + \tfrac{1}{3}v^3 + \tfrac{1}{5}v^5 - ...&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:8 --&gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
The function &lt;span style="font-family: Georgia,serif; font-size: 110%;"&gt;&lt;em&gt;v(r)&lt;/em&gt;&lt;/span&gt; is the order (1,1) Padé approximant of the function &lt;span style="font-family: Georgia,serif; font-size: 110%;"&gt; &lt;em&gt;J(r) =&lt;/em&gt;½ ln &lt;em&gt;r&lt;/em&gt; &lt;/span&gt; in the region of &lt;em&gt;&lt;span style="font-family: "Cambria","serif";"&gt;r&lt;/span&gt;&lt;/em&gt; = 1, which has the property of matching the function value and its first and second derivatives at this value of &lt;em&gt;r&lt;/em&gt;. The bimodular approximant function is thus accurate to second order in &lt;em&gt;r&lt;/em&gt;&lt;span style="font-family: "Cambria","serif";"&gt; – 1&lt;/span&gt;.&lt;br /&gt;
The function &lt;span style="font-family: Georgia,serif; font-size: 110%;"&gt;&lt;em&gt;v(r)&lt;/em&gt;&lt;/span&gt; is the order (1,1) Padé approximant of the function &lt;span style="font-family: Georgia,serif; font-size: 110%;"&gt; &lt;em&gt;J(r) =&lt;/em&gt;½ ln &lt;em&gt;r&lt;/em&gt; &lt;/span&gt; in the region of &lt;em&gt;r&lt;/em&gt; = 1, which has the property of matching the function value and its first and second derivatives at this value of &lt;em&gt;r&lt;/em&gt;. The bimodular approximant function is thus accurate to second order in &lt;em&gt;r&lt;/em&gt; – 1.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
Line 291: Line 282:
&lt;strong&gt;&lt;span style="font-size: 20px;"&gt;Bimodular approximants and equal temperaments&lt;/span&gt;&lt;/strong&gt;&lt;br /&gt;
&lt;strong&gt;&lt;span style="font-size: 20px;"&gt;Bimodular approximants and equal temperaments&lt;/span&gt;&lt;/strong&gt;&lt;br /&gt;
While bimodular approximants have historically been used as a means of estimating the sizes of very small intervals, they remain reasonably accurate as the interval size is increased to an octave or more. And being easily computable, they provide a quick means of comparing the relative sizes of intervals. For example:&lt;br /&gt;
While bimodular approximants have historically been used as a means of estimating the sizes of very small intervals, they remain reasonably accurate as the interval size is increased to an octave or more. And being easily computable, they provide a quick means of comparing the relative sizes of intervals. For example:&lt;br /&gt;
Two perfect fourths (&lt;em&gt;&lt;span style="font-family: "Cambria","serif";"&gt;r&lt;/span&gt;&lt;/em&gt; = 4/3, = 1/7) approximate a minor seventh (&lt;em&gt;&lt;span style="font-family: "Cambria","serif";"&gt;r&lt;/span&gt;&lt;/em&gt; = 9/5, = 2/7)&lt;br /&gt;
Two perfect fourths (&lt;em&gt;r&lt;/em&gt; = 4/3, = 1/7) approximate a minor seventh (&lt;em&gt;r&lt;/em&gt; = 9/5, = 2/7)&lt;br /&gt;
Three major thirds (&lt;em&gt;&lt;span style="font-family: "Cambria","serif";"&gt;r&lt;/span&gt;&lt;/em&gt; = 5/4, = 1/9) or two &lt;u&gt;7/5&lt;/u&gt;s ( = 1/6) or five &lt;u&gt;8/7&lt;/u&gt;s ( = 1/15) approximate an octave (&lt;em&gt;&lt;span style="font-family: "Cambria","serif";"&gt;r &lt;/span&gt;&lt;/em&gt;= 2/1, = 1/3)&lt;br /&gt;
Three major thirds (&lt;em&gt;r&lt;/em&gt; = 5/4, = 1/9) or two &lt;u&gt;7/5&lt;/u&gt;s ( = 1/6) or five &lt;u&gt;8/7&lt;/u&gt;s ( = 1/15) approximate an octave (&lt;em&gt;r&lt;/em&gt; = 2/1, = 1/3)&lt;br /&gt;
Bimodular approximants (abbreviated to ‘approximants’ here) also provide simple explanations for the properties of certain equal temperaments.&lt;br /&gt;
Bimodular approximants (abbreviated to ‘approximants’ here) also provide simple explanations for the properties of certain equal temperaments.&lt;br /&gt;
Tuning the perfect fourth and perfect fifth in the ratio of their approximants (1/7 : 1/5 = 5 : 7) and adjusting their sum to a pure octave yields 12edo (considered as a 3-limit temperament). This is an example of the high accuracy typically obtainable from a tempering policy which takes two intervals which are similar in size and not too large, tunes them in their approximant ratio, and normalises their sum to a pure interval.&lt;br /&gt;
Tuning the perfect fourth and perfect fifth in the ratio of their approximants (1/7 : 1/5 = 5 : 7) and adjusting their sum to a pure octave yields 12edo (considered as a 3-limit temperament). This is an example of the high accuracy typically obtainable from a tempering policy which takes two intervals which are similar in size and not too large, tunes them in their approximant ratio, and normalises their sum to a pure interval.&lt;br /&gt;