พิสูจน์ $\int_{-\pi}^\pi F_n(y) \, dy=1$

Question

พิสูจน์ $\int_{-\pi}^\pi F_n(y)\,dy=1$กับ $$F_n(y)=\frac{1}{2\pi (n+1)}\frac{\sin^2 \left( \frac{(n+1)y}{2} \right)}{\sin^2(\frac{y}{2})}$$

ฉันลองถามคำถามที่คล้ายกัน แต่ที่นั่นฉันได้ให้ฟังก์ชั่นซีรีส์ คราวนี้ไม่รู้จะมีซีรี่ที่ช่วยเรื่องนี้ได้หรือเปล่า ฉันลองโดยไม่ใช้ซีรีส์:

\begin{align} \int_{-\pi}^{\pi}F_n(y) \, dy &= \int_{-\pi}^\pi \frac{1}{2\pi (n+1)} \frac{\sin^2\left(\frac{(n+1)y}{2}\right)}{\sin^2(\frac{y}{2})} \, dy\\ &=\int_{-\pi}^\pi \frac{1}{2\pi (n+1)}\frac{(e^{\frac{i(n+1)y}{2}}-e^{\frac{-i(n+1)y}{2}})^2}{(e^\frac{iy}{2}-e^\frac{-iy}{2})^2} \, dy\\ &=\int_{-\pi}^\pi \frac{1}{2\pi (n+1)}\frac{(e^{i(n+1)y}+e^{-i(n+1)y}-2)}{(e^{iy}+e^{-iy}-2)} \, dy \end{align}

แต่ตอนนี้ผมติดอีกแล้ว ฉันคิดว่าต้องมีวิธีที่ง่ายกว่าในการพิสูจน์เรื่องนี้ ใครสามารถช่วยฉันออก?

Answer 1

คุณมี

$$F_n(x) = \frac{2\pi}{n+1}D_n^2(x)=\frac{1}{2\pi (n+1)}\left(\sum_{k=-n}^n e^{ikx} \right)^2= \frac{1}{2\pi (n+1)}\frac{\sin^2 \left(\frac{(n+1)x}{2}\right)}{\sin^2 \left(\frac{x}{2}\right)}.$$

ซึ่งตามด้วยการสลับ $\int$ และ $\sum$ ความเท่าเทียมกัน

$$\begin{aligned}\int_{-\pi}^{\pi}F_n(x) \ dx&= \frac{1}{2\pi (n+1)}\int_{-\pi}^{\pi}\left(\sum_{k=-n}^n e^{ikx}\right)^2 \ dx\\ &= \frac{1}{2\pi (n+1)}\int_{-\pi}^{\pi}\sum_{k=-n}^n \sum_{l=-n}^ne^{i(k+l)x}\ dx\\ &= \frac{1}{2\pi (n+1)}\sum_{k=-n}^n \sum_{l=-n}^n \int_{-\pi}^{\pi}e^{i(k+l)x}\ dx\\ &=1 \end{aligned}$$

เช่นเดียวกับผลรวมสองเท่าคำที่ไม่หายไปเท่านั้นสำหรับ $k=-l$ และมี $n+1$ เงื่อนไขดังกล่าว

Answer 2

คำแนะนำ:ให้$$D_n(x)= \sum_{k=-n}^n e^{ikx},$$ และปล่อยให้ $$F_N(x) = \sum_{n=0}^{N-1} D_n(x).$$ พิสูจน์ว่า $$ F_N(x) = \frac{1}{N}\frac{\sin^2 (Nx/2)}{\sin^2 (x/2)}.$$

$D_n$ เรียกว่าเคอร์เนล Dirichlet และ $F_N$ เรียกว่าเคอร์เนลFejér

Answer 3

นี่คือการผสานรวมโดยไม่ต้องอาศัยอนุกรม

\begin{align} \int_{-\pi}^{\pi}F_{n}(y)dy & = \frac1{\pi(n+1)}\int_{0}^{\pi} \frac{\sin^{2}\frac{(n+1)y}{2}}{\sin^{2}\frac{y}{2}}dy\\ & = \frac1{\pi(n+1)}\int_{0}^{\pi} \frac{ \cos(n+1)y-1}{\cos y-1} dy \\ & = \frac1{\pi(n+1)}\cdot \lim_{a\to 0}\int_{0}^{\pi} \frac{ \cos(n+1)y-\cos(n+1)a}{\cos y-\cos a} dy\\ & = \frac1{\pi(n+1)}\cdot \lim_{a\to 0}\frac{\pi\sin(n+1)a}{\sin a}\\ &=1 \end{align} ที่ผลลัพธ์ $$\int_{0}^{\pi}{\frac{\cos(nx)-\cos(na)}{\cos x-\cos a}}dx = \frac{\pi \sin(na )}{\sin a}$$มาในปริพันธ์ตรีโกณมิติพาราเมตริก$\int_{0}^{\pi}{\frac{\cos(nx)-\cos(na)}{\cos x-\cos a}}dx$ ถูกนำมาใช้.