<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE document PUBLIC "-//CNX//DTD CNXML 0.5 plus MathML//EN" "http://cnx.rice.edu/technology/cnxml/schema/dtd/0.5/cnxml_mathml.dtd">
<document xmlns="http://cnx.rice.edu/cnxml" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:bib="http://bibtexml.sf.net/" id="id15294867">
  <name xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">m29 - Downsampling, Subsampling and Decimation</name>
  <metadata xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
  <md:version xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">1.1</md:version>
  <md:created xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">2006/08/01 14:07:40.838 GMT-5</md:created>
  <md:revised xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">2006/09/17 13:41:17.052 GMT-5</md:revised>
  <md:authorlist xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
      <md:author xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="cburrus">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">C.</md:firstname>
      <md:othername xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Sidney</md:othername>
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Burrus</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">csb@rice.edu</md:email>
    </md:author>
  </md:authorlist>

  <md:maintainerlist xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="cburrus">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">C.</md:firstname>
      <md:othername xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Sidney</md:othername>
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Burrus</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">csb@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="kochelek">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Doug</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Kochelek</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">kochelek@rice.edu</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  <md:keywordlist xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
    <md:keyword xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">decimation</md:keyword>
    <md:keyword xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">down sampling</md:keyword>
    <md:keyword xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">subsampling</md:keyword>
  </md:keywordlist>

  <md:abstract xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Down sampling, subsampling, and decimation of discrete time signals can be studied using Fourier transforms.</md:abstract>
</metadata>
  <content xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="id6573089">
   
   
</para>
<section xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="id3660855">
<name xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Down--Sampling, Subsampling, or Decimation</name>
<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="id15739165">
   In this section we consider the sampling problem where, unless there is
   sufficient redundancy, there will be a loss of information caused by removing
   data in the time domain and aliasing in the frequency domain.
</para>
<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="id14827350">
   The sampling process or the down sampling process creates a new shorter or
   compressed signal by keeping every
   <m:math display="inline">
     <m:mrow>
       <m:msup>
         <m:mi>M</m:mi>
         <m:mrow>
           <m:mi>t</m:mi>
           <m:mo/>
           <m:mi>h</m:mi>
         </m:mrow>
       </m:msup>
     </m:mrow>
   </m:math>
   sample of the original sequence. This process is best seen as done in two
   steps. The first is to mask off the terms to be removed by setting
   <m:math display="inline">
     <m:mrow>
       <m:mi>M</m:mi>
       <m:mo form="infix">−</m:mo>
       <m:mn>1</m:mn>
     </m:mrow>
   </m:math>
   terms to zero in each
   length-<m:math display="inline">
     <m:mrow>
       <m:mi>M</m:mi>
     </m:mrow>
   </m:math>
   block (multiply
   <m:math display="inline">
     <m:mrow>
       <m:mi>x</m:mi>
       <m:mo/>
       <m:mrow>
         <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
         <m:mi>n</m:mi>
         <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
       </m:mrow>
     </m:mrow>
   </m:math>
   by
   <m:math display="inline">
     <m:mrow>
       <m:msub>
         <m:mo form="infix">⨿</m:mo>
         <m:mi>M</m:mi>
       </m:msub>
       <m:mrow>
         <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
         <m:mi>n</m:mi>
         <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
       </m:mrow>
     </m:mrow>
   </m:math>),
   then that sequence is compressed or shortened by removing the
   <m:math display="inline">
     <m:mrow>
       <m:mi>M</m:mi>
       <m:mo form="infix">−</m:mo>
       <m:mn>1</m:mn>
     </m:mrow>
   </m:math>
   zeroed terms.
</para>
<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="id14131774">
   We will now calculate the length
   <m:math display="inline">
     <m:mrow>
       <m:mi>L</m:mi>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mi>N</m:mi>
         <m:mo form="infix">/</m:mo>
         <m:mi>M</m:mi>
       </m:mrow>
     </m:mrow>
   </m:math>
   DFT of a sequence that was obtained by sampling every
   <m:math display="inline">
     <m:mrow>
       <m:mi>M</m:mi>
     </m:mrow>
   </m:math>
   terms of an original
   length-<m:math display="inline">
     <m:mrow>
       <m:mi>N</m:mi>
     </m:mrow>
   </m:math>
   sequence
   <m:math display="inline">
     <m:mrow>
       <m:mi>x</m:mi>
       <m:mo/>
       <m:mrow>
         <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
         <m:mi>n</m:mi>
         <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
       </m:mrow>
     </m:mrow>
   </m:math>.
   We will use the orthogonal properties of the basis vectors of the DFT which
   says:
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md55c1759f0623284ba0cd53765965fce9a">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:munderover>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mrow>
             <m:mi>n</m:mi>
             <m:mo form="infix">=</m:mo>
             <m:mn>0</m:mn>
           </m:mrow>
           <m:mrow>
             <m:mi>M</m:mi>
             <m:mo form="infix">−</m:mo>
             <m:mn>1</m:mn>
           </m:mrow>
         </m:munderover>
         <m:msup>
           <m:mi>e</m:mi>
           <m:mrow>
             <m:mrow>
               <m:mo form="prefix">−</m:mo>
               <m:mi>j</m:mi>
             </m:mrow>
             <m:mo/>
             <m:mn>2</m:mn>
             <m:mo/>
             <m:mi>π</m:mi>
             <m:mo/>
             <m:mi>n</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mi>l</m:mi>
               <m:mo form="infix">/</m:mo>
               <m:mi>M</m:mi>
             </m:mrow>
           </m:mrow>
         </m:msup>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mo fence="true" form="prefix" stretchy="true" symmetric="true">{</m:mo>
         <m:mtable align="axis" columnalign="left left">
           <m:mtr>
             <m:mtd>
               <m:mi>M</m:mi>
             </m:mtd>
             <m:mtd>
               <m:mtext mathcolor="black">if </m:mtext>
               <m:mrow>
                 <m:mi>n</m:mi>
               </m:mrow>
               <m:mtext mathcolor="black"> is an integer multiple of </m:mtext>
               <m:mrow>
                 <m:mi>M</m:mi>
               </m:mrow>
             </m:mtd>
           </m:mtr>
           <m:mtr>
             <m:mtd>
               <m:mn>0</m:mn>
             </m:mtd>
             <m:mtd>
               <m:mtext mathcolor="black">otherwise</m:mtext>
             </m:mtd>
           </m:mtr>
         </m:mtable>
         <m:mo fence="true" form="postfix" stretchy="true" symmetric="true"/>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
</para>
<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="id15950464">
   We now calculate the DFT of the down--sampled signal.
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md50714c352af2ecb1aa703a5a7664644c5">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:msub>
           <m:mi>C</m:mi>
           <m:mi>d</m:mi>
         </m:msub>
         <m:mo/>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mi>k</m:mi>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munderover>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mrow>
             <m:mi>m</m:mi>
             <m:mo form="infix">=</m:mo>
             <m:mn>0</m:mn>
           </m:mrow>
           <m:mrow>
             <m:mi>L</m:mi>
             <m:mo form="infix">−</m:mo>
             <m:mn>1</m:mn>
           </m:mrow>
         </m:munderover>
         <m:mrow>
           <m:mrow>
             <m:mi>x</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mrow>
                 <m:mi>M</m:mi>
                 <m:mo/>
                 <m:mi>m</m:mi>
               </m:mrow>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
           <m:mo/>
           <m:msubsup>
             <m:mi>W</m:mi>
             <m:mi>L</m:mi>
             <m:mrow>
               <m:mi>m</m:mi>
               <m:mo/>
               <m:mi>k</m:mi>
             </m:mrow>
           </m:msubsup>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   where
   <m:math display="inline">
     <m:mrow>
       <m:mi>N</m:mi>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mi>L</m:mi>
         <m:mo/>
         <m:mi>M</m:mi>
       </m:mrow>
     </m:mrow>
   </m:math>
   and
   <m:math display="inline">
     <m:mrow>
       <m:mrow>
         <m:mi>k</m:mi>
         <m:mo form="infix">=</m:mo>
         <m:mn>0</m:mn>
       </m:mrow>
       <m:mo form="infix">,</m:mo>
       <m:mn>1</m:mn>
       <m:mo form="infix">,</m:mo>
       <m:mi>⋯</m:mi>
       <m:mo form="infix">,</m:mo>
       <m:mrow>
         <m:mi>L</m:mi>
         <m:mo form="infix">−</m:mo>
         <m:mn>1</m:mn>
       </m:mrow>
     </m:mrow>
   </m:math>.
   This done by masking
   <m:math display="inline">
     <m:mrow>
       <m:mi>x</m:mi>
       <m:mo/>
       <m:mrow>
         <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
         <m:mi>n</m:mi>
         <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
       </m:mrow>
     </m:mrow>
   </m:math>.
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:msub>
           <m:mi>C</m:mi>
           <m:mi>d</m:mi>
         </m:msub>
         <m:mo/>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mi>k</m:mi>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munderover>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mrow>
             <m:mi>n</m:mi>
             <m:mo form="infix">=</m:mo>
             <m:mn>0</m:mn>
           </m:mrow>
           <m:mrow>
             <m:mi>N</m:mi>
             <m:mo form="infix">−</m:mo>
             <m:mn>1</m:mn>
           </m:mrow>
         </m:munderover>
         <m:mrow>
           <m:mrow>
             <m:mi>x</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mi>n</m:mi>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
           <m:mo/>
           <m:mrow>
             <m:msub>
               <m:mo form="infix">⨿</m:mo>
               <m:mi>M</m:mi>
             </m:msub>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mi>n</m:mi>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
           <m:mo/>
           <m:msubsup>
             <m:mi>W</m:mi>
             <m:mi>N</m:mi>
             <m:mrow>
               <m:mi>n</m:mi>
               <m:mo/>
               <m:mi>k</m:mi>
             </m:mrow>
           </m:msubsup>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munderover>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mrow>
             <m:mi>n</m:mi>
             <m:mo form="infix">=</m:mo>
             <m:mn>0</m:mn>
           </m:mrow>
           <m:mrow>
             <m:mi>N</m:mi>
             <m:mo form="infix">−</m:mo>
             <m:mn>1</m:mn>
           </m:mrow>
         </m:munderover>
         <m:mrow>
           <m:mrow>
             <m:mi>x</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mi>n</m:mi>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="true" symmetric="true">[</m:mo>
             <m:mrow>
               <m:mfrac>
                 <m:mn>1</m:mn>
                 <m:mi>M</m:mi>
               </m:mfrac>
               <m:mo/>
               <m:mrow>
                 <m:munderover>
                   <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
                   <m:mrow>
                     <m:mi>l</m:mi>
                     <m:mo form="infix">=</m:mo>
                     <m:mn>0</m:mn>
                   </m:mrow>
                   <m:mrow>
                     <m:mi>M</m:mi>
                     <m:mo form="infix">−</m:mo>
                     <m:mn>1</m:mn>
                   </m:mrow>
                 </m:munderover>
                 <m:msup>
                   <m:mi>e</m:mi>
                   <m:mrow>
                     <m:mrow>
                       <m:mo form="prefix">−</m:mo>
                       <m:mi>j</m:mi>
                     </m:mrow>
                     <m:mo/>
                     <m:mn>2</m:mn>
                     <m:mo/>
                     <m:mi>π</m:mi>
                     <m:mo/>
                     <m:mi>n</m:mi>
                     <m:mo/>
                     <m:mrow>
                       <m:mi>l</m:mi>
                       <m:mo form="infix">/</m:mo>
                       <m:mi>M</m:mi>
                     </m:mrow>
                   </m:mrow>
                 </m:msup>
               </m:mrow>
             </m:mrow>
             <m:mo fence="true" form="postfix" stretchy="true" symmetric="true">]</m:mo>
           </m:mrow>
           <m:mo/>
           <m:msup>
             <m:mi>e</m:mi>
             <m:mrow>
               <m:mrow>
                 <m:mo form="prefix">−</m:mo>
                 <m:mi>j</m:mi>
               </m:mrow>
               <m:mo/>
               <m:mn>2</m:mn>
               <m:mo/>
               <m:mi>π</m:mi>
               <m:mo/>
               <m:mi>n</m:mi>
               <m:mo/>
               <m:mrow>
                 <m:mi>k</m:mi>
                 <m:mo form="infix">/</m:mo>
                 <m:mi>N</m:mi>
               </m:mrow>
             </m:mrow>
           </m:msup>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mfrac>
           <m:mn>1</m:mn>
           <m:mi>M</m:mi>
         </m:mfrac>
         <m:mo/>
         <m:mrow>
           <m:munderover>
             <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
             <m:mrow>
               <m:mi>l</m:mi>
               <m:mo form="infix">=</m:mo>
               <m:mn>0</m:mn>
             </m:mrow>
             <m:mrow>
               <m:mi>M</m:mi>
               <m:mo form="infix">−</m:mo>
               <m:mn>1</m:mn>
             </m:mrow>
           </m:munderover>
           <m:mrow>
             <m:munderover>
               <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
               <m:mrow>
                 <m:mi>n</m:mi>
                 <m:mo form="infix">=</m:mo>
                 <m:mn>0</m:mn>
               </m:mrow>
               <m:mrow>
                 <m:mi>N</m:mi>
                 <m:mo form="infix">−</m:mo>
                 <m:mn>1</m:mn>
               </m:mrow>
             </m:munderover>
             <m:mrow>
               <m:mrow>
                 <m:mi>x</m:mi>
                 <m:mo/>
                 <m:mrow>
                   <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                   <m:mi>n</m:mi>
                   <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
                 </m:mrow>
               </m:mrow>
               <m:mo/>
               <m:msup>
                 <m:mi>e</m:mi>
                 <m:mrow>
                   <m:mi>j</m:mi>
                   <m:mo/>
                   <m:mn>2</m:mn>
                   <m:mo/>
                   <m:mi>π</m:mi>
                   <m:mo/>
                   <m:mrow>
                     <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                     <m:mrow>
                       <m:mi>k</m:mi>
                       <m:mo form="infix">+</m:mo>
                       <m:mrow>
                         <m:mi>L</m:mi>
                         <m:mo/>
                         <m:mi>l</m:mi>
                       </m:mrow>
                     </m:mrow>
                     <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
                   </m:mrow>
                   <m:mo/>
                   <m:mrow>
                     <m:mi>n</m:mi>
                     <m:mo form="infix">/</m:mo>
                     <m:mi>N</m:mi>
                   </m:mrow>
                 </m:mrow>
               </m:msup>
             </m:mrow>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md5ceccd19ee311aa73c14b7c8ff491ffed">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mfrac>
           <m:mn>1</m:mn>
           <m:mi>M</m:mi>
         </m:mfrac>
         <m:mo/>
         <m:mrow>
           <m:munderover>
             <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
             <m:mrow>
               <m:mi>l</m:mi>
               <m:mo form="infix">=</m:mo>
               <m:mn>0</m:mn>
             </m:mrow>
             <m:mrow>
               <m:mi>M</m:mi>
               <m:mo form="infix">−</m:mo>
               <m:mn>1</m:mn>
             </m:mrow>
           </m:munderover>
           <m:mrow>
             <m:mi>C</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mrow>
                 <m:mi>k</m:mi>
                 <m:mo form="infix">+</m:mo>
                 <m:mrow>
                   <m:mi>L</m:mi>
                   <m:mo/>
                   <m:mi>l</m:mi>
                 </m:mrow>
               </m:mrow>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   The compression or removal of the masked terms is achieved in the frequency
   domain by using
   <m:math display="inline">
     <m:mrow>
       <m:mrow>
         <m:mi>k</m:mi>
         <m:mo form="infix">=</m:mo>
         <m:mn>0</m:mn>
       </m:mrow>
       <m:mo form="infix">,</m:mo>
       <m:mn>1</m:mn>
       <m:mo form="infix">,</m:mo>
       <m:mi>⋯</m:mi>
       <m:mo form="infix">,</m:mo>
       <m:mrow>
         <m:mi>L</m:mi>
         <m:mo form="infix">−</m:mo>
         <m:mn>1</m:mn>
       </m:mrow>
     </m:mrow>
   </m:math>.
   This is a
   length-<m:math display="inline">
     <m:mrow>
       <m:mi>L</m:mi>
     </m:mrow>
   </m:math>
   DFT of the samples of
   <m:math display="inline">
     <m:mrow>
       <m:mi>x</m:mi>
       <m:mo/>
       <m:mrow>
         <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
         <m:mi>n</m:mi>
         <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
       </m:mrow>
     </m:mrow>
   </m:math>
   which is the sum of
   <m:math display="inline">
     <m:mrow>
       <m:mi>M</m:mi>
     </m:mrow>
   </m:math>
   shifted versions of
   <m:math display="inline">
     <m:mrow>
       <m:mi>C</m:mi>
       <m:mo/>
       <m:mrow>
         <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
         <m:mi>k</m:mi>
         <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
       </m:mrow>
     </m:mrow>
   </m:math>,
   the DFT of
   <m:math display="inline">
     <m:mrow>
       <m:mi>x</m:mi>
       <m:mo/>
       <m:mrow>
         <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
         <m:mi>n</m:mi>
         <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
       </m:mrow>
     </m:mrow>
   </m:math>.
   Unless
   <m:math display="inline">
     <m:mrow>
       <m:mi>C</m:mi>
       <m:mo/>
       <m:mrow>
         <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
         <m:mi>k</m:mi>
         <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
       </m:mrow>
     </m:mrow>
   </m:math>
   is sufficiently bandlimited, this causes aliasing and
   <m:math display="inline">
     <m:mrow>
       <m:mi>x</m:mi>
       <m:mo/>
       <m:mrow>
         <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
         <m:mi>n</m:mi>
         <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
       </m:mrow>
     </m:mrow>
   </m:math>
   is not unrecoverable.
</para>
<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="id15952607">
   It is instructive to consider an alternative derivation of the above result.
   In this case we use the IDFT given by
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md559f52e09ddf034e29a57caf27f4d6e95">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mrow>
           <m:mi>x</m:mi>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mi>n</m:mi>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
         <m:mo form="infix">=</m:mo>
         <m:mrow>
           <m:mfrac>
             <m:mn>1</m:mn>
             <m:mi>N</m:mi>
           </m:mfrac>
           <m:mo/>
           <m:mrow>
             <m:munderover>
               <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
               <m:mrow>
                 <m:mi>k</m:mi>
                 <m:mo form="infix">=</m:mo>
                 <m:mn>0</m:mn>
               </m:mrow>
               <m:mrow>
                 <m:mi>N</m:mi>
                 <m:mo form="infix">−</m:mo>
                 <m:mn>1</m:mn>
               </m:mrow>
             </m:munderover>
             <m:mrow>
               <m:mrow>
                 <m:mi>C</m:mi>
                 <m:mo/>
                 <m:mrow>
                   <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                   <m:mi>k</m:mi>
                   <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
                 </m:mrow>
               </m:mrow>
               <m:mo/>
               <m:msubsup>
                 <m:mi>W</m:mi>
                 <m:mi>N</m:mi>
                 <m:mrow>
                   <m:mrow>
                     <m:mo form="prefix">−</m:mo>
                     <m:mi>n</m:mi>
                   </m:mrow>
                   <m:mo/>
                   <m:mi>k</m:mi>
                 </m:mrow>
               </m:msubsup>
             </m:mrow>
           </m:mrow>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">.</m:mo>
     </m:mrow>
   </m:math>
</equation>
   The sampled signal gives
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mrow>
           <m:mi>y</m:mi>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mi>n</m:mi>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
         <m:mo form="infix">=</m:mo>
         <m:mrow>
           <m:mi>x</m:mi>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mrow>
               <m:mi>M</m:mi>
               <m:mo/>
               <m:mi>n</m:mi>
             </m:mrow>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
         <m:mo form="infix">=</m:mo>
         <m:mrow>
           <m:mfrac>
             <m:mn>1</m:mn>
             <m:mi>N</m:mi>
           </m:mfrac>
           <m:mo/>
           <m:mrow>
             <m:munderover>
               <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
               <m:mrow>
                 <m:mi>k</m:mi>
                 <m:mo form="infix">=</m:mo>
                 <m:mn>0</m:mn>
               </m:mrow>
               <m:mrow>
                 <m:mi>N</m:mi>
                 <m:mo form="infix">−</m:mo>
                 <m:mn>1</m:mn>
               </m:mrow>
             </m:munderover>
             <m:mrow>
               <m:mrow>
                 <m:mi>C</m:mi>
                 <m:mo/>
                 <m:mrow>
                   <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                   <m:mi>k</m:mi>
                   <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
                 </m:mrow>
               </m:mrow>
               <m:mo/>
               <m:msubsup>
                 <m:mi>W</m:mi>
                 <m:mi>N</m:mi>
                 <m:mrow>
                   <m:mrow>
                     <m:mo form="prefix">−</m:mo>
                     <m:mi>M</m:mi>
                   </m:mrow>
                   <m:mo/>
                   <m:mi>n</m:mi>
                   <m:mo/>
                   <m:mi>k</m:mi>
                 </m:mrow>
               </m:msubsup>
             </m:mrow>
           </m:mrow>
         </m:mrow>
       </m:mrow>
       <m:mtext>.</m:mtext>
     </m:mrow>
   </m:math>
   for
   <m:math display="inline">
     <m:mrow>
       <m:mrow>
         <m:mi>n</m:mi>
         <m:mo form="infix">=</m:mo>
         <m:mn>0</m:mn>
       </m:mrow>
       <m:mo form="infix">,</m:mo>
       <m:mn>1</m:mn>
       <m:mo form="infix">,</m:mo>
       <m:mi>⋯</m:mi>
       <m:mo form="infix">,</m:mo>
       <m:mrow>
         <m:mi>L</m:mi>
         <m:mo form="infix">−</m:mo>
         <m:mn>1</m:mn>
       </m:mrow>
     </m:mrow>
   </m:math>.
   This sum can be broken down by
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mrow>
           <m:mi>y</m:mi>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mi>n</m:mi>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
         <m:mo form="infix">=</m:mo>
         <m:mrow>
           <m:mfrac>
             <m:mn>1</m:mn>
             <m:mi>N</m:mi>
           </m:mfrac>
           <m:mo/>
           <m:mrow>
             <m:munderover>
               <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
               <m:mrow>
                 <m:mi>k</m:mi>
                 <m:mo form="infix">=</m:mo>
                 <m:mn>0</m:mn>
               </m:mrow>
               <m:mrow>
                 <m:mi>L</m:mi>
                 <m:mo form="infix">−</m:mo>
                 <m:mn>1</m:mn>
               </m:mrow>
             </m:munderover>
             <m:mrow>
               <m:munderover>
                 <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
                 <m:mrow>
                   <m:mi>l</m:mi>
                   <m:mo form="infix">=</m:mo>
                   <m:mn>0</m:mn>
                 </m:mrow>
                 <m:mrow>
                   <m:mi>M</m:mi>
                   <m:mo form="infix">−</m:mo>
                   <m:mn>1</m:mn>
                 </m:mrow>
               </m:munderover>
               <m:mrow>
                 <m:mrow>
                   <m:mi>C</m:mi>
                   <m:mo/>
                   <m:mrow>
                     <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                     <m:mrow>
                       <m:mi>k</m:mi>
                       <m:mo form="infix">+</m:mo>
                       <m:mrow>
                         <m:mi>L</m:mi>
                         <m:mo/>
                         <m:mi>l</m:mi>
                       </m:mrow>
                     </m:mrow>
                     <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
                   </m:mrow>
                 </m:mrow>
                 <m:mo/>
                 <m:msubsup>
                   <m:mi>W</m:mi>
                   <m:mi>N</m:mi>
                   <m:mrow>
                     <m:mrow>
                       <m:mo form="prefix">−</m:mo>
                       <m:mi>M</m:mi>
                     </m:mrow>
                     <m:mo/>
                     <m:mi>n</m:mi>
                     <m:mo/>
                     <m:mrow>
                       <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                       <m:mrow>
                         <m:mi>k</m:mi>
                         <m:mo form="infix">+</m:mo>
                         <m:mrow>
                           <m:mi>L</m:mi>
                           <m:mo/>
                           <m:mi>l</m:mi>
                         </m:mrow>
                       </m:mrow>
                       <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
                     </m:mrow>
                   </m:mrow>
                 </m:msubsup>
               </m:mrow>
             </m:mrow>
           </m:mrow>
         </m:mrow>
       </m:mrow>
       <m:mtext>.</m:mtext>
     </m:mrow>
   </m:math>
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mfrac>
           <m:mn>1</m:mn>
           <m:mi>N</m:mi>
         </m:mfrac>
         <m:mo/>
         <m:mrow>
           <m:munderover>
             <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
             <m:mrow>
               <m:mi>k</m:mi>
               <m:mo form="infix">=</m:mo>
               <m:mn>0</m:mn>
             </m:mrow>
             <m:mrow>
               <m:mi>L</m:mi>
               <m:mo form="infix">−</m:mo>
               <m:mn>1</m:mn>
             </m:mrow>
           </m:munderover>
           <m:mrow>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="true" symmetric="true">[</m:mo>
               <m:mrow>
                 <m:munderover>
                   <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
                   <m:mrow>
                     <m:mi>l</m:mi>
                     <m:mo form="infix">=</m:mo>
                     <m:mn>0</m:mn>
                   </m:mrow>
                   <m:mrow>
                     <m:mi>M</m:mi>
                     <m:mo form="infix">−</m:mo>
                     <m:mn>1</m:mn>
                   </m:mrow>
                 </m:munderover>
                 <m:mrow>
                   <m:mi>C</m:mi>
                   <m:mo/>
                   <m:mrow>
                     <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                     <m:mrow>
                       <m:mi>k</m:mi>
                       <m:mo form="infix">+</m:mo>
                       <m:mrow>
                         <m:mi>L</m:mi>
                         <m:mo/>
                         <m:mi>l</m:mi>
                       </m:mrow>
                     </m:mrow>
                     <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
                   </m:mrow>
                 </m:mrow>
               </m:mrow>
               <m:mo fence="true" form="postfix" stretchy="true" symmetric="true">]</m:mo>
             </m:mrow>
             <m:mo/>
             <m:msubsup>
               <m:mi>W</m:mi>
               <m:mi>N</m:mi>
               <m:mrow>
                 <m:mrow>
                   <m:mo form="prefix">−</m:mo>
                   <m:mi>M</m:mi>
                 </m:mrow>
                 <m:mo/>
                 <m:mi>n</m:mi>
                 <m:mo/>
                 <m:mi>k</m:mi>
               </m:mrow>
             </m:msubsup>
           </m:mrow>
         </m:mrow>
       </m:mrow>
       <m:mtext>.</m:mtext>
     </m:mrow>
   </m:math>
   &gt;From the term in the brackets, we have
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:msub>
           <m:mi>C</m:mi>
           <m:mi>s</m:mi>
         </m:msub>
         <m:mo/>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mi>k</m:mi>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munderover>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mrow>
             <m:mi>l</m:mi>
             <m:mo form="infix">=</m:mo>
             <m:mn>0</m:mn>
           </m:mrow>
           <m:mrow>
             <m:mi>M</m:mi>
             <m:mo form="infix">−</m:mo>
             <m:mn>1</m:mn>
           </m:mrow>
         </m:munderover>
         <m:mrow>
           <m:mi>C</m:mi>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mrow>
               <m:mi>k</m:mi>
               <m:mo form="infix">+</m:mo>
               <m:mrow>
                 <m:mi>L</m:mi>
                 <m:mo/>
                 <m:mi>l</m:mi>
               </m:mrow>
             </m:mrow>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   as was obtained in
   (<cnxn xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" target="md5ceccd19ee311aa73c14b7c8ff491ffed"/>).
</para>
<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="id15963778">
   Now consider still another derivation using shah functions. Let
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md50965d2bfac11dbee3d4b3002d525ddcc">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:msub>
           <m:mi>x</m:mi>
           <m:mi>s</m:mi>
         </m:msub>
         <m:mo/>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mi>n</m:mi>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mrow>
           <m:msub>
             <m:mo form="infix">⨿</m:mo>
             <m:mi>M</m:mi>
           </m:msub>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mi>n</m:mi>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
         <m:mo/>
         <m:mrow>
           <m:mi>x</m:mi>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mi>n</m:mi>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   &gt;From the convolution property of the DFT we have
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:msub>
           <m:mi>C</m:mi>
           <m:mi>s</m:mi>
         </m:msub>
         <m:mo/>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mi>k</m:mi>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mi>L</m:mi>
         <m:mo/>
         <m:mrow>
           <m:msub>
             <m:mo form="infix">⨿</m:mo>
             <m:mi>L</m:mi>
           </m:msub>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mi>k</m:mi>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
         <m:mo form="infix">*</m:mo>
         <m:mrow>
           <m:mi>C</m:mi>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mi>k</m:mi>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   therefore
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md57378bfed68f89ff95e4c60884628cb16">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:msub>
           <m:mi>C</m:mi>
           <m:mi>s</m:mi>
         </m:msub>
         <m:mo/>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mi>k</m:mi>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munderover>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mrow>
             <m:mi>l</m:mi>
             <m:mo form="infix">=</m:mo>
             <m:mn>0</m:mn>
           </m:mrow>
           <m:mrow>
             <m:mi>M</m:mi>
             <m:mo form="infix">−</m:mo>
             <m:mn>1</m:mn>
           </m:mrow>
         </m:munderover>
         <m:mrow>
           <m:mi>C</m:mi>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mrow>
               <m:mi>k</m:mi>
               <m:mo form="infix">+</m:mo>
               <m:mrow>
                 <m:mi>L</m:mi>
                 <m:mo/>
                 <m:mi>l</m:mi>
               </m:mrow>
             </m:mrow>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   which again is the same as in
   (<cnxn xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" target="md5ceccd19ee311aa73c14b7c8ff491ffed"/>).
</para>
<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="id15950222">
   We now turn to the down sampling of an infinitely long signal which will
   require use of the DTFT of the signals.
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md5368f787b78264ed0b3316a61dd0ccbf2">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:msub>
           <m:mi>C</m:mi>
           <m:mi>s</m:mi>
         </m:msub>
         <m:mo/>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mi>ω</m:mi>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munderover>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mrow>
             <m:mi>m</m:mi>
             <m:mo form="infix">=</m:mo>
             <m:mrow>
               <m:mo form="prefix">−</m:mo>
               <m:mi>∞</m:mi>
             </m:mrow>
           </m:mrow>
           <m:mi>∞</m:mi>
         </m:munderover>
         <m:mrow>
           <m:mrow>
             <m:mi>x</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mrow>
                 <m:mi>M</m:mi>
                 <m:mo/>
                 <m:mi>m</m:mi>
               </m:mrow>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
           <m:mo/>
           <m:msup>
             <m:mi>e</m:mi>
             <m:mrow>
               <m:mrow>
                 <m:mo form="prefix">−</m:mo>
                 <m:mi>j</m:mi>
               </m:mrow>
               <m:mo/>
               <m:mi>ω</m:mi>
               <m:mo/>
               <m:mi>M</m:mi>
               <m:mo/>
               <m:mi>m</m:mi>
             </m:mrow>
           </m:msup>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munder>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mi>n</m:mi>
         </m:munder>
         <m:mrow>
           <m:mrow>
             <m:mi>x</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mi>n</m:mi>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
           <m:mo/>
           <m:mrow>
             <m:msub>
               <m:mo form="infix">⨿</m:mo>
               <m:mi>M</m:mi>
             </m:msub>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mi>n</m:mi>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
           <m:mo/>
           <m:msup>
             <m:mi>e</m:mi>
             <m:mrow>
               <m:mrow>
                 <m:mo form="prefix">−</m:mo>
                 <m:mi>j</m:mi>
               </m:mrow>
               <m:mo/>
               <m:mi>ω</m:mi>
               <m:mo/>
               <m:mi>n</m:mi>
             </m:mrow>
           </m:msup>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munder>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mi>n</m:mi>
         </m:munder>
         <m:mrow>
           <m:mrow>
             <m:mi>x</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mi>n</m:mi>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="true" symmetric="true">[</m:mo>
             <m:mrow>
               <m:mfrac>
                 <m:mn>1</m:mn>
                 <m:mi>M</m:mi>
               </m:mfrac>
               <m:mo/>
               <m:mrow>
                 <m:munderover>
                   <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
                   <m:mrow>
                     <m:mi>l</m:mi>
                     <m:mo form="infix">=</m:mo>
                     <m:mn>0</m:mn>
                   </m:mrow>
                   <m:mrow>
                     <m:mi>M</m:mi>
                     <m:mo form="infix">−</m:mo>
                     <m:mn>1</m:mn>
                   </m:mrow>
                 </m:munderover>
                 <m:msup>
                   <m:mi>e</m:mi>
                   <m:mrow>
                     <m:mrow>
                       <m:mo form="prefix">−</m:mo>
                       <m:mi>j</m:mi>
                     </m:mrow>
                     <m:mo/>
                     <m:mn>2</m:mn>
                     <m:mo/>
                     <m:mi>π</m:mi>
                     <m:mo/>
                     <m:mi>n</m:mi>
                     <m:mo/>
                     <m:mrow>
                       <m:mi>l</m:mi>
                       <m:mo form="infix">/</m:mo>
                       <m:mi>M</m:mi>
                     </m:mrow>
                   </m:mrow>
                 </m:msup>
               </m:mrow>
             </m:mrow>
             <m:mo fence="true" form="postfix" stretchy="true" symmetric="true">]</m:mo>
           </m:mrow>
           <m:mo/>
           <m:msup>
             <m:mi>e</m:mi>
             <m:mrow>
               <m:mrow>
                 <m:mo form="prefix">−</m:mo>
                 <m:mi>j</m:mi>
               </m:mrow>
               <m:mo/>
               <m:mi>ω</m:mi>
               <m:mo/>
               <m:mi>n</m:mi>
             </m:mrow>
           </m:msup>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mfrac>
           <m:mn>1</m:mn>
           <m:mi>M</m:mi>
         </m:mfrac>
         <m:mo/>
         <m:mrow>
           <m:munderover>
             <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
             <m:mrow>
               <m:mi>l</m:mi>
               <m:mo form="infix">=</m:mo>
               <m:mn>0</m:mn>
             </m:mrow>
             <m:mrow>
               <m:mi>M</m:mi>
               <m:mo form="infix">−</m:mo>
               <m:mn>1</m:mn>
             </m:mrow>
           </m:munderover>
           <m:mrow>
             <m:munder>
               <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
               <m:mi>n</m:mi>
             </m:munder>
             <m:mrow>
               <m:mrow>
                 <m:mi>x</m:mi>
                 <m:mo/>
                 <m:mrow>
                   <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                   <m:mi>n</m:mi>
                   <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
                 </m:mrow>
               </m:mrow>
               <m:mo/>
               <m:msup>
                 <m:mi>e</m:mi>
                 <m:mrow>
                   <m:mrow>
                     <m:mo form="prefix">−</m:mo>
                     <m:mi>j</m:mi>
                   </m:mrow>
                   <m:mo/>
                   <m:mrow>
                     <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                     <m:mrow>
                       <m:mi>ω</m:mi>
                       <m:mo form="infix">−</m:mo>
                       <m:mrow>
                         <m:mn>2</m:mn>
                         <m:mo/>
                         <m:mi>π</m:mi>
                         <m:mo/>
                         <m:mrow>
                           <m:mi>l</m:mi>
                           <m:mo form="infix">/</m:mo>
                           <m:mi>M</m:mi>
                         </m:mrow>
                       </m:mrow>
                     </m:mrow>
                     <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
                   </m:mrow>
                   <m:mo/>
                   <m:mi>n</m:mi>
                 </m:mrow>
               </m:msup>
             </m:mrow>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md5ceca6b7aa8467137c3f20d630be0c8df">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mfrac>
           <m:mn>1</m:mn>
           <m:mi>M</m:mi>
         </m:mfrac>
         <m:mo/>
         <m:mrow>
           <m:munderover>
             <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
             <m:mrow>
               <m:mi>l</m:mi>
               <m:mo form="infix">=</m:mo>
               <m:mn>0</m:mn>
             </m:mrow>
             <m:mrow>
               <m:mi>M</m:mi>
               <m:mo form="infix">−</m:mo>
               <m:mn>1</m:mn>
             </m:mrow>
           </m:munderover>
           <m:mrow>
             <m:mi>C</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mrow>
                 <m:mi>ω</m:mi>
                 <m:mo form="infix">−</m:mo>
                 <m:mrow>
                   <m:mn>2</m:mn>
                   <m:mo/>
                   <m:mi>π</m:mi>
                   <m:mo/>
                   <m:mrow>
                     <m:mi>l</m:mi>
                     <m:mo form="infix">/</m:mo>
                     <m:mi>M</m:mi>
                   </m:mrow>
                 </m:mrow>
               </m:mrow>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   which shows the aliasing caused by the masking (sampling without compression).
   We now give the effects of compressing
   <m:math display="inline">
     <m:mrow>
       <m:msub>
         <m:mi>x</m:mi>
         <m:mi>s</m:mi>
       </m:msub>
       <m:mo/>
       <m:mrow>
         <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
         <m:mi>n</m:mi>
         <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
       </m:mrow>
     </m:mrow>
   </m:math>
   which is a simple scaling of
   <m:math display="inline">
     <m:mrow>
       <m:mi>ω</m:mi>
     </m:mrow>
   </m:math>.
   This is the inverse of the stretching results in
   (<cnxn xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" target="md5a1d6b81e36f848d69fb657d79d2693c4"/>).
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md5f34d4aca94ce5e5d965ae4d2bfb1b793">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mrow>
           <m:msub>
             <m:mi>C</m:mi>
             <m:mi>s</m:mi>
           </m:msub>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mi>ω</m:mi>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
         <m:mo form="infix">=</m:mo>
         <m:mrow>
           <m:mfrac>
             <m:mn>1</m:mn>
             <m:mi>M</m:mi>
           </m:mfrac>
           <m:mo/>
           <m:mrow>
             <m:munderover>
               <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
               <m:mrow>
                 <m:mi>l</m:mi>
                 <m:mo form="infix">=</m:mo>
                 <m:mn>0</m:mn>
               </m:mrow>
               <m:mrow>
                 <m:mi>M</m:mi>
                 <m:mo form="infix">−</m:mo>
                 <m:mn>1</m:mn>
               </m:mrow>
             </m:munderover>
             <m:mrow>
               <m:mi>C</m:mi>
               <m:mo/>
               <m:mrow>
                 <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                 <m:mrow>
                   <m:mrow>
                     <m:mi>ω</m:mi>
                     <m:mo form="infix">/</m:mo>
                     <m:mi>M</m:mi>
                   </m:mrow>
                   <m:mo form="infix">−</m:mo>
                   <m:mrow>
                     <m:mn>2</m:mn>
                     <m:mo/>
                     <m:mi>π</m:mi>
                     <m:mo/>
                     <m:mrow>
                       <m:mi>l</m:mi>
                       <m:mo form="infix">/</m:mo>
                       <m:mi>M</m:mi>
                     </m:mrow>
                   </m:mrow>
                 </m:mrow>
                 <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
               </m:mrow>
             </m:mrow>
           </m:mrow>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">.</m:mo>
     </m:mrow>
   </m:math>
</equation>
</para>
<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="id15966629">
   In order to see how the various properties of the DFT can be used, consider an
   alternate derivation which uses the IDTFT.
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md51f965c4bfb315420cc619453909426bb">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mi>x</m:mi>
         <m:mo/>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mi>n</m:mi>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mfrac>
           <m:mn>1</m:mn>
           <m:mrow>
             <m:mn>2</m:mn>
             <m:mo/>
             <m:mi>π</m:mi>
           </m:mrow>
         </m:mfrac>
         <m:mo/>
         <m:mrow>
           <m:msubsup>
             <m:mo form="prefix" largeop="true">∫</m:mo>
             <m:mrow>
               <m:mo form="prefix">−</m:mo>
               <m:mi>π</m:mi>
             </m:mrow>
             <m:mi>π</m:mi>
           </m:msubsup>
           <m:mrow>
             <m:mrow>
               <m:mi>C</m:mi>
               <m:mo/>
               <m:mrow>
                 <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                 <m:mi>ω</m:mi>
                 <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
               </m:mrow>
             </m:mrow>
             <m:mo/>
             <m:msup>
               <m:mi>e</m:mi>
               <m:mrow>
                 <m:mi>j</m:mi>
                 <m:mo/>
                 <m:mi>ω</m:mi>
                 <m:mo/>
                 <m:mi>n</m:mi>
               </m:mrow>
             </m:msup>
             <m:mo/>
             <m:mrow>
               <m:mo form="prefix">ⅆ</m:mo>
               <m:mi>ω</m:mi>
             </m:mrow>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   which for the down--sampled signal becomes
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mi>x</m:mi>
         <m:mo/>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mrow>
             <m:mi>M</m:mi>
             <m:mo/>
             <m:mi>n</m:mi>
           </m:mrow>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mfrac>
           <m:mn>1</m:mn>
           <m:mrow>
             <m:mn>2</m:mn>
             <m:mo/>
             <m:mi>π</m:mi>
           </m:mrow>
         </m:mfrac>
         <m:mo/>
         <m:mrow>
           <m:msubsup>
             <m:mo form="prefix" largeop="true">∫</m:mo>
             <m:mrow>
               <m:mo form="prefix">−</m:mo>
               <m:mi>π</m:mi>
             </m:mrow>
             <m:mi>π</m:mi>
           </m:msubsup>
           <m:mrow>
             <m:mrow>
               <m:mi>C</m:mi>
               <m:mo/>
               <m:mrow>
                 <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                 <m:mi>ω</m:mi>
                 <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
               </m:mrow>
             </m:mrow>
             <m:mo/>
             <m:msup>
               <m:mi>e</m:mi>
               <m:mrow>
                 <m:mi>j</m:mi>
                 <m:mo/>
                 <m:mi>ω</m:mi>
                 <m:mo/>
                 <m:mi>M</m:mi>
                 <m:mo/>
                 <m:mi>n</m:mi>
               </m:mrow>
             </m:msup>
             <m:mo/>
             <m:mrow>
               <m:mo form="prefix">ⅆ</m:mo>
               <m:mi>ω</m:mi>
             </m:mrow>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   The integral broken into the sum of
   <m:math display="inline">
     <m:mrow>
       <m:mi>M</m:mi>
     </m:mrow>
   </m:math>
   sections using a change of variables of
   <m:math display="inline">
     <m:mrow>
       <m:mi>ω</m:mi>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mrow>
             <m:msub>
               <m:mi>ω</m:mi>
               <m:mn>1</m:mn>
             </m:msub>
             <m:mo form="infix">+</m:mo>
             <m:mrow>
               <m:mn>2</m:mn>
               <m:mo/>
               <m:mi>π</m:mi>
               <m:mo/>
               <m:mi>l</m:mi>
             </m:mrow>
           </m:mrow>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
         <m:mo form="infix">/</m:mo>
         <m:mi>M</m:mi>
       </m:mrow>
     </m:mrow>
   </m:math>
   giving
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mi>x</m:mi>
         <m:mo/>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mrow>
             <m:mi>M</m:mi>
             <m:mo/>
             <m:mi>n</m:mi>
           </m:mrow>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mfrac>
           <m:mn>1</m:mn>
           <m:mrow>
             <m:mn>2</m:mn>
             <m:mo/>
             <m:mi>π</m:mi>
           </m:mrow>
         </m:mfrac>
         <m:mo/>
         <m:mrow>
           <m:munderover>
             <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
             <m:mrow>
               <m:mi>l</m:mi>
               <m:mo form="infix">=</m:mo>
               <m:mn>0</m:mn>
             </m:mrow>
             <m:mrow>
               <m:mi>M</m:mi>
               <m:mo form="infix">−</m:mo>
               <m:mn>1</m:mn>
             </m:mrow>
           </m:munderover>
           <m:mrow>
             <m:msubsup>
               <m:mo form="prefix" largeop="true">∫</m:mo>
               <m:mrow>
                 <m:mo form="prefix">−</m:mo>
                 <m:mi>π</m:mi>
               </m:mrow>
               <m:mi>π</m:mi>
             </m:msubsup>
             <m:mrow>
               <m:mrow>
                 <m:mi>C</m:mi>
                 <m:mo/>
                 <m:mrow>
                   <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                   <m:mrow>
                     <m:mrow>
                       <m:msub>
                         <m:mi>ω</m:mi>
                         <m:mn>1</m:mn>
                       </m:msub>
                       <m:mo form="infix">/</m:mo>
                       <m:mi>M</m:mi>
                     </m:mrow>
                     <m:mo form="infix">+</m:mo>
                     <m:mrow>
                       <m:mn>2</m:mn>
                       <m:mo/>
                       <m:mi>π</m:mi>
                       <m:mo/>
                       <m:mrow>
                         <m:mi>l</m:mi>
                         <m:mo form="infix">/</m:mo>
                         <m:mi>M</m:mi>
                       </m:mrow>
                     </m:mrow>
                   </m:mrow>
                   <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
                 </m:mrow>
               </m:mrow>
               <m:mo/>
               <m:msup>
                 <m:mi>e</m:mi>
                 <m:mrow>
                   <m:mi>j</m:mi>
                   <m:mo/>
                   <m:mrow>
                     <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                     <m:mrow>
                       <m:mrow>
                         <m:msub>
                           <m:mi>ω</m:mi>
                           <m:mn>1</m:mn>
                         </m:msub>
                         <m:mo form="infix">/</m:mo>
                         <m:mi>M</m:mi>
                       </m:mrow>
                       <m:mo form="infix">+</m:mo>
                       <m:mrow>
                         <m:mn>2</m:mn>
                         <m:mo/>
                         <m:mi>π</m:mi>
                         <m:mo/>
                         <m:mrow>
                           <m:mi>l</m:mi>
                           <m:mo form="infix">/</m:mo>
                           <m:mi>M</m:mi>
                         </m:mrow>
                       </m:mrow>
                     </m:mrow>
                     <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
                   </m:mrow>
                   <m:mo/>
                   <m:mi>M</m:mi>
                   <m:mo/>
                   <m:mi>n</m:mi>
                 </m:mrow>
               </m:msup>
               <m:mo/>
               <m:mrow>
                 <m:mo form="prefix">ⅆ</m:mo>
                 <m:msub>
                   <m:mi>ω</m:mi>
                   <m:mn>1</m:mn>
                 </m:msub>
               </m:mrow>
             </m:mrow>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   which shows the transform to be the same as given in
   (<cnxn xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" target="md51ff1de774005f8da13f42943881c655f"/>).
</para>
<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="id16049217">
   Still another approach which uses the shah function can be given by
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md526eb4fcb1164a60877f957749a0f1e73">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:msub>
           <m:mi>x</m:mi>
           <m:mi>s</m:mi>
         </m:msub>
         <m:mo/>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mi>n</m:mi>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mrow>
           <m:msub>
             <m:mo form="infix">⨿</m:mo>
             <m:mi>M</m:mi>
           </m:msub>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mi>n</m:mi>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
         <m:mo/>
         <m:mrow>
           <m:mi>x</m:mi>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mi>n</m:mi>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   which has as a DTFT
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:msub>
           <m:mi>C</m:mi>
           <m:mi>s</m:mi>
         </m:msub>
         <m:mo/>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mi>ω</m:mi>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mfrac>
             <m:mrow>
               <m:mn>2</m:mn>
               <m:mo/>
               <m:mi>π</m:mi>
             </m:mrow>
             <m:mi>M</m:mi>
           </m:mfrac>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
         <m:mo/>
         <m:mrow>
           <m:msub>
             <m:mo form="infix">⨿</m:mo>
             <m:mrow>
               <m:mn>2</m:mn>
               <m:mo/>
               <m:mrow>
                 <m:mi>π</m:mi>
                 <m:mo form="infix">/</m:mo>
                 <m:mi>M</m:mi>
               </m:mrow>
             </m:mrow>
           </m:msub>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mi>ω</m:mi>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
         <m:mo form="infix">*</m:mo>
         <m:mrow>
           <m:mi>C</m:mi>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mi>ω</m:mi>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md5593c7889f7851a0a3b6415211f74e78c">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mfrac>
           <m:mrow>
             <m:mn>2</m:mn>
             <m:mo/>
             <m:mi>π</m:mi>
           </m:mrow>
           <m:mi>M</m:mi>
         </m:mfrac>
         <m:mo/>
         <m:mrow>
           <m:munderover>
             <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
             <m:mrow>
               <m:mi>l</m:mi>
               <m:mo form="infix">=</m:mo>
               <m:mn>0</m:mn>
             </m:mrow>
             <m:mrow>
               <m:mi>M</m:mi>
               <m:mo form="infix">−</m:mo>
               <m:mn>1</m:mn>
             </m:mrow>
           </m:munderover>
           <m:mrow>
             <m:mi>C</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mrow>
                 <m:mi>ω</m:mi>
                 <m:mo form="infix">+</m:mo>
                 <m:mrow>
                   <m:mn>2</m:mn>
                   <m:mo/>
                   <m:mi>π</m:mi>
                   <m:mo/>
                   <m:mrow>
                     <m:mi>l</m:mi>
                     <m:mo form="infix">/</m:mo>
                     <m:mi>M</m:mi>
                   </m:mrow>
                 </m:mrow>
               </m:mrow>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   which after compressing becomes
   <m:math display="block" mode="display">
     <m:mrow>
       <m:msub>
         <m:mi>C</m:mi>
         <m:mi>s</m:mi>
       </m:msub>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mfrac>
           <m:mrow>
             <m:mn>2</m:mn>
             <m:mo/>
             <m:mi>π</m:mi>
           </m:mrow>
           <m:mi>M</m:mi>
         </m:mfrac>
         <m:mo/>
         <m:mrow>
           <m:munderover>
             <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
             <m:mrow>
               <m:mi>l</m:mi>
               <m:mo form="infix">=</m:mo>
               <m:mn>0</m:mn>
             </m:mrow>
             <m:mrow>
               <m:mi>M</m:mi>
               <m:mo form="infix">−</m:mo>
               <m:mn>1</m:mn>
             </m:mrow>
           </m:munderover>
           <m:mrow>
             <m:mi>C</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mrow>
                 <m:mrow>
                   <m:mi>ω</m:mi>
                   <m:mo form="infix">/</m:mo>
                   <m:mi>M</m:mi>
                 </m:mrow>
                 <m:mo form="infix">+</m:mo>
                 <m:mrow>
                   <m:mn>2</m:mn>
                   <m:mo/>
                   <m:mi>π</m:mi>
                   <m:mo/>
                   <m:mrow>
                     <m:mi>l</m:mi>
                     <m:mo form="infix">/</m:mo>
                     <m:mi>M</m:mi>
                   </m:mrow>
                 </m:mrow>
               </m:mrow>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   which is same as
   (<cnxn xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" target="md51ff1de774005f8da13f42943881c655f"/>).
</para>
<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="id16050106">
   Now we consider the effects of down--sampling on the z-transform of a signal.
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md5191d265f565c43a94aee148f925c4811">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:mi>X</m:mi>
         <m:mo/>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mi>z</m:mi>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munderover>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mrow>
             <m:mi>n</m:mi>
             <m:mo form="infix">=</m:mo>
             <m:mrow>
               <m:mo form="prefix">−</m:mo>
               <m:mi>∞</m:mi>
             </m:mrow>
           </m:mrow>
           <m:mi>∞</m:mi>
         </m:munderover>
         <m:mrow>
           <m:mrow>
             <m:mi>x</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mi>n</m:mi>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
           <m:mo/>
           <m:msup>
             <m:mi>z</m:mi>
             <m:mrow>
               <m:mo form="prefix">−</m:mo>
               <m:mi>n</m:mi>
             </m:mrow>
           </m:msup>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   Applying this to the sampled signal gives
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md5719b75424fd8dfc276c4da51ec8306f0">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mrow>
         <m:msub>
           <m:mi>X</m:mi>
           <m:mi>s</m:mi>
         </m:msub>
         <m:mo/>
         <m:mrow>
           <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
           <m:mi>z</m:mi>
           <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munder>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mi>n</m:mi>
         </m:munder>
         <m:mrow>
           <m:mrow>
             <m:mi>x</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mrow>
                 <m:mi>M</m:mi>
                 <m:mo/>
                 <m:mi>n</m:mi>
               </m:mrow>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
           <m:mo/>
           <m:msup>
             <m:mi>z</m:mi>
             <m:mrow>
               <m:mrow>
                 <m:mo form="prefix">−</m:mo>
                 <m:mi>M</m:mi>
               </m:mrow>
               <m:mo/>
               <m:mi>n</m:mi>
             </m:mrow>
           </m:msup>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munder>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mi>n</m:mi>
         </m:munder>
         <m:mrow>
           <m:mrow>
             <m:mi>x</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mi>n</m:mi>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
           <m:mo/>
           <m:mrow>
             <m:msub>
               <m:mo form="infix">⨿</m:mo>
               <m:mi>M</m:mi>
             </m:msub>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mi>n</m:mi>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
           <m:mo/>
           <m:msup>
             <m:mi>z</m:mi>
             <m:mrow>
               <m:mo form="prefix">−</m:mo>
               <m:mi>n</m:mi>
             </m:mrow>
           </m:msup>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
</equation>
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:mrow>
           <m:munder>
             <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
             <m:mi>n</m:mi>
           </m:munder>
           <m:mrow>
             <m:mi>x</m:mi>
             <m:mo/>
             <m:mrow>
               <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
               <m:mi>n</m:mi>
               <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
             </m:mrow>
           </m:mrow>
         </m:mrow>
         <m:mo/>
         <m:mrow>
           <m:munderover>
             <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
             <m:mrow>
               <m:mi>l</m:mi>
               <m:mo form="infix">=</m:mo>
               <m:mn>0</m:mn>
             </m:mrow>
             <m:mrow>
               <m:mi>M</m:mi>
               <m:mo form="infix">−</m:mo>
               <m:mn>1</m:mn>
             </m:mrow>
           </m:munderover>
           <m:mrow>
             <m:msup>
               <m:mi>e</m:mi>
               <m:mrow>
                 <m:mi>j</m:mi>
                 <m:mo/>
                 <m:mn>2</m:mn>
                 <m:mo/>
                 <m:mi>π</m:mi>
                 <m:mo/>
                 <m:mi>n</m:mi>
                 <m:mo/>
                 <m:mrow>
                   <m:mi>l</m:mi>
                   <m:mo form="infix">/</m:mo>
                   <m:mi>M</m:mi>
                 </m:mrow>
               </m:mrow>
             </m:msup>
             <m:mo/>
             <m:msup>
               <m:mi>z</m:mi>
               <m:mrow>
                 <m:mo form="prefix">−</m:mo>
                 <m:mi>n</m:mi>
               </m:mrow>
             </m:msup>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munderover>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mrow>
             <m:mi>l</m:mi>
             <m:mo form="infix">=</m:mo>
             <m:mn>0</m:mn>
           </m:mrow>
           <m:mrow>
             <m:mi>M</m:mi>
             <m:mo form="infix">−</m:mo>
             <m:mn>1</m:mn>
           </m:mrow>
         </m:munderover>
         <m:mrow>
           <m:munder>
             <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
             <m:mi>n</m:mi>
           </m:munder>
           <m:mrow>
             <m:mrow>
               <m:mi>x</m:mi>
               <m:mo/>
               <m:mrow>
                 <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
                 <m:mi>n</m:mi>
                 <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
               </m:mrow>
             </m:mrow>
             <m:mo/>
             <m:msup>
               <m:mrow>
                 <m:mo fence="true" form="prefix" stretchy="true" symmetric="true">{</m:mo>
                 <m:mrow>
                   <m:msup>
                     <m:mi>e</m:mi>
                     <m:mrow>
                       <m:mi>j</m:mi>
                       <m:mo/>
                       <m:mn>2</m:mn>
                       <m:mo/>
                       <m:mi>π</m:mi>
                       <m:mo/>
                       <m:mrow>
                         <m:mi>l</m:mi>
                         <m:mo form="infix">/</m:mo>
                         <m:mi>M</m:mi>
                       </m:mrow>
                     </m:mrow>
                   </m:msup>
                   <m:mo/>
                   <m:mi>z</m:mi>
                 </m:mrow>
                 <m:mo fence="true" form="postfix" stretchy="true" symmetric="true">}</m:mo>
               </m:mrow>
               <m:mrow>
                 <m:mo form="prefix">−</m:mo>
                 <m:mi>n</m:mi>
               </m:mrow>
             </m:msup>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   <m:math display="block" mode="display">
     <m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munderover>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mrow>
             <m:mi>l</m:mi>
             <m:mo form="infix">=</m:mo>
             <m:mn>0</m:mn>
           </m:mrow>
           <m:mrow>
             <m:mi>M</m:mi>
             <m:mo form="infix">−</m:mo>
             <m:mn>1</m:mn>
           </m:mrow>
         </m:munderover>
         <m:mrow>
           <m:mi>X</m:mi>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mrow>
               <m:msup>
                 <m:mi>e</m:mi>
                 <m:mrow>
                   <m:mrow>
                     <m:mo form="prefix">−</m:mo>
                     <m:mi>j</m:mi>
                   </m:mrow>
                   <m:mo/>
                   <m:mn>2</m:mn>
                   <m:mo/>
                   <m:mi>π</m:mi>
                   <m:mo/>
                   <m:mrow>
                     <m:mi>l</m:mi>
                     <m:mo form="infix">/</m:mo>
                     <m:mi>M</m:mi>
                   </m:mrow>
                 </m:mrow>
               </m:msup>
               <m:mo/>
               <m:mi>z</m:mi>
             </m:mrow>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
       </m:mrow>
     </m:mrow>
   </m:math>
   which becomes after compressing
   
<equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="md534173cb38f07f89ddbebc2ac9128303f">
<m:math display="block" mode="display">
     <m:mrow>
       <m:mo form="infix">=</m:mo>
       <m:mrow>
         <m:munderover>
           <m:mo form="prefix" largeop="true" movablelimits="true">∑</m:mo>
           <m:mrow>
             <m:mi>l</m:mi>
             <m:mo form="infix">=</m:mo>
             <m:mn>0</m:mn>
           </m:mrow>
           <m:mrow>
             <m:mi>M</m:mi>
             <m:mo form="infix">−</m:mo>
             <m:mn>1</m:mn>
           </m:mrow>
         </m:munderover>
         <m:mrow>
           <m:mi>X</m:mi>
           <m:mo/>
           <m:mrow>
             <m:mo fence="true" form="prefix" stretchy="false">(</m:mo>
             <m:mrow>
               <m:msup>
                 <m:mi>e</m:mi>
                 <m:mrow>
                   <m:mrow>
                     <m:mo form="prefix">−</m:mo>
                     <m:mi>j</m:mi>
                   </m:mrow>
                   <m:mo/>
                   <m:mn>2</m:mn>
                   <m:mo/>
                   <m:mi>π</m:mi>
                   <m:mo/>
                   <m:mrow>
                     <m:mi>l</m:mi>
                     <m:mo form="infix">/</m:mo>
                     <m:mi>M</m:mi>
                   </m:mrow>
                 </m:mrow>
               </m:msup>
               <m:mo/>
               <m:msup>
                 <m:mi>z</m:mi>
                 <m:mrow>
                   <m:mn>1</m:mn>
                   <m:mo form="infix">/</m:mo>
                   <m:mi>M</m:mi>
                 </m:mrow>
               </m:msup>
             </m:mrow>
             <m:mo fence="true" form="postfix" stretchy="false">)</m:mo>
           </m:mrow>
         </m:mrow>
       </m:mrow>
       <m:mo form="infix">.</m:mo>
     </m:mrow>
   </m:math>
</equation>
   This concludes our investigations of the effects of down--sampling a
   discrete--time signal and we discover much the same aliasing properties as in
   sampling a continuous--time signal. We also saw some of the mathematical steps
   used in the development.
</para>
<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="id16035546">
   
   
</para>
</section>
</content>
</document>
