2.3: La Función e^jθ y el Círculo de Unidad
- Page ID
- 82199
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Tratemos de extender nuestras definiciones de la función\(e^x\) al argumento\(x=jΘ\). Entonces\(e^{jΘ}\) es la función
\[e^{jθ}=lim_{n→∞}(1+j\frac θ n)^n \nonumber \]
El número complejo\(1+j\frac θ n\) se ilustra en la Figura. El radio al punto\(1+j\frac θ n\) es\(r=(1+\frac {θ^2} {n^2})^{1/2}\) y el ángulo es\(φ=\tan^{−1}\frac θ n\)
Esto significa que el n º poder de\(1+j\frac θ n\) tiene radio\(r^n=(1+\frac {θ^2} {n^2})^{n/2}\) y ángulo\(nφ=n\;\tan^{−1}\frac θ n\) (Recordemos nuestro estudio de potencias de z.)
Por lo tanto, el número complejo\((1+j\frac θ n)^n\) puede escribirse como
\[(1+j\frac θ n)^n=(1+\frac {θ^2} {n^2})^{n/2}[\cos(n\;\tan^{−1}\frac θ n)+j\sin(n\tan^{−1}\frac θ n)] \nonumber \]
Para\(n\) grandes,\((1+\frac {θ^2} {n^2})^{n/2}2≅1\), y\(n\tan^{−1}\frac θ n≅n \frac θ n=θ\). Por lo tanto\((1+j\frac θ n)^n\) es aproximadamente
\[(1+j\frac θ n)^n=1(\cosθ+j\sinθ) \nonumber \]
Este hallazgo es consistente con nuestra definición anterior de\(e^{jθ}\)!
La expansión de la serie\(e^{jθ}\) se obtiene evaluando la fórmula de Taylor en\(x=jθ\):
\[e^{jθ}=∑_{n=0}^∞\frac 1 {n!}(jθ)n \nonumber \]
Cuando\(e^{jθ}\) se escribe esta expansión de serie para, tenemos la fórmula
\[e^{jθ}=∑^∞_{n=0}\frac 1 {(2n)!} (jθ)^{2n}+∑^∞_{n=0}\frac 1 {(2n+1)!}(jθ)^{2n+1} = ∑^∞_{n=0}\frac {(−1)^n} {(2n)!} θ^{2n}+j∑^∞_{n=0}\frac {(−1)^n}{(2n+1)!} θ^{2n+1} \nonumber \]
Ahora está claro que\(\cosθ\) y\(\sinθ\) tienen las expansiones de la serie
\[\cosθ=∑^∞_{n=0}\frac {(−1)^n} {(2n)!} θ^{2n} \nonumber \]
\[\sinθ=∑_{n=0}^∞\frac {(−1)^n} {(2n+1)!} θ^{2n+1} \nonumber \]
Cuando estas sumas infinitas se truncan en N−1, entonces decimos que tenemos aproximaciones de N-término para\(\cosθ\) y\(\sinθ\):
\[\cosθ≅∑^{N−1}_{n=0} \frac {(−1)^n} {(2n)!} θ^{2n} \nonumber \]
\[\sinθ≅∑_{n=0}^{N−1} \frac {(−1)^n} {(2n+1)!} θ^{2n+1} \nonumber \]
Las aproximaciones de diez términos\(\cosθ\) y\(\sinθ\) se trazan sobre expresiones exactas para\(\cosθ\) y\(\sinθ\) en la Figura. Las aproximaciones son muy buenas en un periodo\((0≤θ≤2π)\), pero divergen fuera de este intervalo. Para aproximaciones más precisas en un rango mayor de θ′s, necesitaríamos usar más términos. O, mejor aún, podríamos usar el hecho de que\(cosθ\) y\(sinθ\) son periódicos en θ. Entonces podríamos restar tantos múltiplos\(2π\) como necesitábamos de θ para llevar el resultado al rango\([0,2π]\) y usar las aproximaciones de diez términos en esta nueva variable. La nueva variable se llama θ-módulo\(2π\).
Escriba los primeros términos de las expansiones de la serie para\(\cosθ\) y\(\sinθ\).
Demostración 2.1 (MATLAB)
Cree un archivo MATLAB que contenga el siguiente programa de demostración de MATLAB que calcula y traza dos ciclos de\(\cosθ\) y\(\sinθ\) versus θ. Se debe observar Figura. Obsérvese que dos ciclos toman\(2(2π)\) radianes, que es aproximadamente 12 radianes.
clg;
j = sqrt (-1);
theta = 0:2 *pi/ 50:4 *pi;
s = sin (theta);
c = cos (theta);
parcela (theta, s);
elabel ('theta en radianes');
ylabel ('seno y coseno');
mantener la
trama (theta, c);
retener
(MATLAB) Escribe un programa MATLAB para calcular y trazar las aproximaciones de diez términos a\(\cosθ\) y\(\sinθ\) para θ ejecutándose de 0 a\(2(2π)\) en pasos de\(2π/50\). Calcular y sobretrazar expresiones exactas para\(\cosθ\) y\(\sinθ\). Se debe observar un resultado como la Figura.
El círculo de unidades
El círculo unitario se define como el conjunto de todos los números complejos z cuyas magnitudes son 1. Esto significa que todos los números en el círculo unitario pueden escribirse como\(z=e^{jθ}\). Decimos que el círculo unitario consiste en todos los números generados por la función\(z=e^{jθ}\) ya que θ varía de 0 a\(2π\). Ver abajo Figura.
Una simetría fundamental
Consideremos los dos números complejos\(z_1\) y\(\frac 1 {z^∗_1}\), ilustrados en la Figura. Llamamos\(\frac 1 {z^∗_1}\) al “reflejo de z a través del círculo unitario” (y viceversa). Tenga en cuenta que\(z_1=r_1e^{jθ_1}\) y\(\frac 1 {z^∗_1} = \frac 1 {r_1e^{jθ_1}}\). Los números complejos\(z_1−e^{jθ}\) y\(\frac 1 {z^*_1} −e^{jθ}\) se ilustran en la Figura a continuación. La magnitud al cuadrado de cada uno es
\[|z_1−e^{jθ}|^2=(z_1−e^{jθ})(z^∗_1−e^{−jθ}) \nonumber \]
\[|\frac 1 {z^*_1} −e^{jθ}|^2=(\frac 1 {z^*_1−e^{jθ}})(\frac 1 {z_1} −e^{−jθ}) \nonumber \]
La relación de estas magnitudes al cuadrado es
\[β^2=\frac {(z_1−e^{jθ})(z^∗_1−e^{−jθ})} {(\frac 1 {z^*_1}−e^{jθ})(\frac 1 {z_1} −e^{−jθ})} \nonumber \]
Esta relación puede ser manipulada para mostrar que es independiente de θ, lo que significa que los puntos\(z_1\) y\(\frac 1 {z^∗_1}\) mantienen una distancia relativa constante desde cada punto en el círculo unitario:
\[β^2=\frac {e^{jθ}(e^{−jθ}z_1−1)(z^∗_1e^{jθ}−1)e^{−jθ}} {\frac {1} {zi} (1−e^{jθ}z^∗_1)(1−z_1e^{−jθ}) \frac 1 z_1} = |z_1|^2 \;,\;\mathrm{independent} \;\mathrm{of}\;θ! \nonumber \]
Este resultado será de suma importancia para usted cuando estudie el filtrado digital, el diseño de antenas y la teoría de la comunicación.
Escribe el número complejo\(z−e^{jθ}\) como\(re^{jφ}\). ¿Qué son\(r\) y\(φ\)?