Интеграл Дирихле - Dirichlet integral

Не путать с Энергия Дирихле.

В математика, есть несколько интегралы известный как Интеграл Дирихле, в честь немецкого математика Питер Густав Лежен Дирихле, одним из которых является несобственный интеграл из функция sinc над положительной реальной линией:

${\displaystyle \int _{0}^{\infty }{\frac {\sin x}{x}}\,dx={\frac {\pi }{2}}.}$

Этот интеграл не абсолютно сходящийся, смысл ${\displaystyle {\Biggl |}{\frac {\sin x}{x}}{\Biggl |}}$ не интегрируем по Лебегу, поэтому интеграл Дирихле не определен в смысле Интеграция Лебега. Однако он определяется в смысле неправильного Интеграл Римана или обобщенный Риман, или Интеграл Хенстока – Курцвейла.^[1][2] Значение интеграла (в смысле Римана или Хенстока) может быть получено различными способами, включая преобразование Лапласа, двойное интегрирование, дифференцирование под знаком интеграла, контурное интегрирование и ядро ​​Дирихле.

Оценка

Преобразование Лапласа

Позволять ${\displaystyle f(t)}$ быть функцией, определенной всякий раз, когда ${\displaystyle t\geq 0}$. Тогда его Преобразование Лапласа дан кем-то

${\displaystyle {\mathcal {L}}\{f(t)\}=F(s)=\int _{0}^{\infty }e^{-st}f(t)\,dt,}$

если интеграл существует.^[3]

Свойство Преобразование Лапласа полезно для вычисления несобственных интегралов является

${\displaystyle {\mathcal {L}}{\Biggl [}{\frac {f(t)}{t}}{\Biggl ]}=\int _{s}^{\infty }F(u)\,du,}$

при условии ${\displaystyle \lim _{t\rightarrow 0}{\frac {f(t)}{t}}}$ существуют.

Это свойство можно использовать для вычисления интеграла Дирихле следующим образом:

${\displaystyle {\begin{aligned}\int _{0}^{\infty }{\frac {\sin t}{t}}\,dt&=\lim _{s\rightarrow 0}\int _{0}^{\infty }e^{-st}{\frac {\sin t}{t}}\,dt=\lim _{s\rightarrow 0}{\mathcal {L}}{\Biggl [}{\frac {\sin t}{t}}{\Biggl ]}\\[6pt]&=\lim _{s\rightarrow 0}\int _{s}^{\infty }{\frac {du}{u^{2}+1}}=\lim _{s\rightarrow 0}\arctan u{\Biggl |}_{s}^{\infty }\\[6pt]&=\lim _{s\rightarrow 0}{\Biggl [}{\frac {\pi }{2}}-\arctan(s){\Biggl ]}={\frac {\pi }{2}},\end{aligned}}}$

потому что ${\displaystyle {\mathcal {L}}\{\sin t\}={\frac {1}{s^{2}+1}}}$ - преобразование Лапласа функции ${\displaystyle \sin t}$. (См. Вывод в разделе «Дифференцирование под знаком интеграла».)

Двойная интеграция

Вычисление интеграла Дирихле с использованием преобразования Лапласа эквивалентно попытке вычислить один и тот же дважды определенный интеграл двумя разными способами, путем обращения порядок интеграции, а именно:

${\displaystyle \left(I_{1}=\int _{0}^{\infty }\int _{0}^{\infty }e^{-st}\sin t\,dt\,ds\right)=\left(I_{2}=\int _{0}^{\infty }\int _{0}^{\infty }e^{-st}\sin t\,ds\,dt\right),}$

${\displaystyle \left(I_{1}=\int _{0}^{\infty }{\frac {1}{s^{2}+1}}\,ds={\frac {\pi }{2}}\right)=\left(I_{2}=\int _{0}^{\infty }{\frac {\sin t}{t}}\,dt\right),{\text{ provided }}s>0.}$

Дифференцирование под знаком интеграла (трюк Фейнмана)

Сначала перепишем интеграл как функцию дополнительной переменной ${\displaystyle a}$. Позволять

${\displaystyle f(a)=\int _{0}^{\infty }e^{-a\omega }{\frac {\sin \omega }{\omega }}\,d\omega .}$

Чтобы вычислить интеграл Дирихле, нам необходимо определить${\displaystyle f(0)}$.

Дифференцировать по ${\displaystyle a}$ и применить Правило Лейбница дифференцирования под знаком интеграла чтобы получить

${\displaystyle {\begin{aligned}{\frac {df}{da}}&={\frac {d}{da}}\int _{0}^{\infty }e^{-a\omega }{\frac {\sin \omega }{\omega }}\,d\omega =\int _{0}^{\infty }{\frac {\partial }{\partial a}}e^{-a\omega }{\frac {\sin \omega }{\omega }}\,d\omega \\[6pt]&=-\int _{0}^{\infty }e^{-a\omega }\sin \omega \,d\omega .\end{aligned}}}$

Теперь, используя формулу Эйлера ${\displaystyle e^{i\omega }=\cos \omega +i\sin \omega ,}$ можно выразить синусоиду через комплексные экспоненциальные функции. Таким образом, мы имеем

${\displaystyle \sin(\omega )={\frac {1}{2i}}\left(e^{i\omega }-e^{-i\omega }\right).}$

Следовательно,

${\displaystyle {\begin{aligned}{\frac {df}{da}}&=-\int _{0}^{\infty }e^{-a\omega }\sin \omega \,d\omega =-\int _{0}^{\infty }e^{-a\omega }{\frac {e^{i\omega }-e^{-i\omega }}{2i}}d\omega \\[6pt]&=-{\frac {1}{2i}}\int _{0}^{\infty }\left[e^{-\omega (a-i)}-e^{-\omega (a+i)}\right]d\omega \\[6pt]&=-{\frac {1}{2i}}\left[{\frac {-1}{a-i}}e^{-\omega (a-i)}-{\frac {-1}{a+i}}e^{-\omega (a+i)}\right]{\Biggl |}_{0}^{\infty }\\[6pt]&=-{\frac {1}{2i}}\left[0-\left({\frac {-1}{a-i}}+{\frac {1}{a+i}}\right)\right]=-{\frac {1}{2i}}\left({\frac {1}{a-i}}-{\frac {1}{a+i}}\right)\\[6pt]&=-{\frac {1}{2i}}\left({\frac {a+i-(a-i)}{a^{2}+1}}\right)=-{\frac {1}{a^{2}+1}}.\end{aligned}}}$

Интегрируя по ${\displaystyle a}$ дает

${\displaystyle f(a)=\int {\frac {-da}{a^{2}+1}}=A-\arctan a,}$

куда ${\displaystyle A}$ - постоянная интегрирования, которую предстоит определить. С ${\displaystyle \lim _{a\to \infty }f(a)=0,}$ ${\displaystyle A=\lim _{a\to \infty }\arctan(a)={\frac {\pi }{2}},}$ используя главное значение. Это означает

${\displaystyle f(a)={\frac {\pi }{2}}-\arctan {a}.}$

Наконец, для ${\displaystyle a=0}$, у нас есть ${\displaystyle f(0)={\frac {\pi }{2}}-\arctan(0)={\frac {\pi }{2}}}$, как прежде.

Комплексная интеграция

Тот же результат может быть получен путем сложного интегрирования. Учитывать

${\displaystyle f(z)={\frac {e^{iz}}{z}}.}$

Как функция комплексной переменной ${\displaystyle z}$, у него есть простой полюс в начале координат, который предотвращает применение Лемма Джордана, остальные гипотезы которого выполнены.

Затем определите новую функцию^[4]

${\displaystyle g(z)={\frac {e^{iz}}{z+i\varepsilon }}.}$

Полюс был перемещен от реальной оси, поэтому ${\displaystyle g(z)}$ интегрируется по полукругу радиуса ${\displaystyle R}$ сосредоточен на ${\displaystyle z=0}$ и замкнута по реальной оси. Затем вы берете предел ${\displaystyle \varepsilon \rightarrow 0}$.

Комплексный интеграл равен нулю по теореме о вычетах, так как внутри пути интегрирования нет полюсов.

${\displaystyle 0=\int _{\gamma }g(z)\,dz=\int _{-R}^{R}{\frac {e^{ix}}{x+i\varepsilon }}\,dx+\int _{0}^{\pi }{\frac {e^{i(Re^{i\theta }+\theta )}}{Re^{i\theta }+i\varepsilon }}iR\,d\theta .}$

Второй член исчезает при ${\displaystyle R}$ уходит в бесконечность. Что касается первого интеграла, то можно использовать одну версию Теорема Сохоцкого – Племеля. для интегралов по вещественной прямой: для сложный -значная функция ж определенные и непрерывно дифференцируемые на действительной прямой и действительных константах ${\displaystyle a}$ и ${\displaystyle b}$ с ${\displaystyle a<0<b}$ можно найти

${\displaystyle \lim _{\varepsilon \to 0^{+}}\int _{a}^{b}{\frac {f(x)}{x\pm i\varepsilon }}\,dx=\mp i\pi f(0)+{\mathcal {P}}\int _{a}^{b}{\frac {f(x)}{x}}\,dx,}$

куда ${\displaystyle {\mathcal {P}}}$ обозначает Главное значение Коши. Возвращаясь к приведенному выше исходному расчету, можно написать

${\displaystyle 0={\mathcal {P}}\int {\frac {e^{ix}}{x}}\,dx-\pi i.}$

Взяв мнимую часть с обеих сторон и отметив, что функция ${\displaystyle \sin(x)/x}$ чётно, получаем

${\displaystyle \int _{-\infty }^{+\infty }{\frac {\sin(x)}{x}}\,dx=2\int _{0}^{+\infty }{\frac {\sin(x)}{x}}\,dx.}$

Ну наконец то,

${\displaystyle \lim _{\varepsilon \to 0}\int _{\varepsilon }^{\infty }{\frac {\sin(x)}{x}}\,dx=\int _{0}^{\infty }{\frac {\sin(x)}{x}}\,dx={\frac {\pi }{2}}.}$

В качестве альтернативы выберите в качестве контура интегрирования для ${\displaystyle f}$ объединение верхних полуплоскостей радиусов ${\displaystyle \varepsilon }$ и ${\displaystyle R}$ вместе с двумя соединяющими их отрезками реальной линии. С одной стороны, контурный интеграл равен нулю независимо от ${\displaystyle \varepsilon }$ и ${\displaystyle R}$; с другой стороны, как ${\displaystyle \varepsilon \to 0}$ и ${\displaystyle R\to \infty }$ мнимая часть интеграла сходится к ${\displaystyle 2I+\Im {\big (}\ln 0-\ln(\pi i){\big )}=2I-\pi }$ (здесь ${\displaystyle \ln z}$ - любая ветвь логарифма в верхней полуплоскости), приводящая к ${\displaystyle I={\frac {\pi }{2}}}$.

Ядро Дирихле

Позволять

${\displaystyle D_{n}(x)=1+2\sum _{k=1}^{n}\cos(2kx)={\frac {\sin[(2n+1)x]}{\sin(x)}}}$

быть Ядро Дирихле.^[5]

Отсюда сразу следует, что${\displaystyle \int _{0}^{\frac {\pi }{2}}D_{n}(x)dx={\frac {\pi }{2}}.}$

Определять

${\displaystyle f(x)={\begin{cases}{\frac {1}{x}}-{\frac {1}{\sin(x)}}&x\neq 0\\[6pt]0&x=0\end{cases}}}$

Четко, ${\displaystyle f}$ непрерывно, когда ${\displaystyle x\neq 0}$, чтобы увидеть его непрерывность в 0, примените Правило Л'Опиталя:

${\displaystyle \lim _{x\to 0}{\frac {\sin(x)-x}{x\sin(x)}}=\lim _{x\to 0}{\frac {\cos(x)-1}{\sin(x)+x\cos(x)}}=\lim _{x\to 0}{\frac {-\sin(x)}{2\cos(x)-x\sin(x)}}=0.}$

Следовательно, ${\displaystyle f}$ выполняет требования Лемма Римана-Лебега.. Это означает

${\displaystyle \lim _{\lambda \to \infty }\int _{a}^{b}f(x)\sin(\lambda x)dx=0\Rightarrow \lim _{\lambda \to \infty }\int _{a}^{b}{\frac {\sin(\lambda x)}{x}}dx=\lim _{\lambda \to \infty }\int _{a}^{b}{\frac {\sin(\lambda x)}{\sin(x)}}dx.}$

(Используемая здесь форма леммы Римана-Лебега доказана в цитируемой статье.)

Выберите лимиты ${\displaystyle a=0}$ и ${\displaystyle b=\pi /2}$. Мы хотели бы сказать что

${\displaystyle {\begin{aligned}\int _{0}^{\infty }{\frac {\sin(t)}{t}}dt=&\lim _{\lambda \to \infty }\int _{0}^{\lambda {\frac {\pi }{2}}}{\frac {\sin(t)}{t}}dt\\[6pt]=&\lim _{\lambda \to \infty }\int _{0}^{\frac {\pi }{2}}{\frac {\sin(\lambda x)}{x}}dx\\[6pt]=&\lim _{\lambda \to \infty }\int _{0}^{\frac {\pi }{2}}{\frac {\sin(\lambda x)}{\sin(x)}}dx\\[6pt]=&\lim _{n\to \infty }\int _{0}^{\frac {\pi }{2}}{\frac {\sin((2n+1)x)}{\sin(x)}}dx\\[6pt]=&\lim _{n\to \infty }\int _{0}^{\frac {\pi }{2}}D_{n}(x)dx={\frac {\pi }{2}}\end{aligned}}}$

Однако для этого мы должны обосновать переключение реального предела в ${\displaystyle \lambda }$ к интегральному пределу в ${\displaystyle n}$. На самом деле это оправдано, если мы можем показать, что предел действительно существует, что мы и делаем сейчас.

С помощью интеграция по частям, у нас есть:

${\displaystyle \int _{a}^{b}{\frac {\sin(x)}{x}}dx=\int _{a}^{b}{\frac {d(1-\cos(x))}{x}}dx=\left.{\frac {1-\cos(x)}{x}}\right|_{a}^{b}+\int _{a}^{b}{\frac {1-\cos(x)}{x^{2}}}dx}$

Теперь, когда ${\displaystyle a\to 0}$ и ${\displaystyle b\to \infty }$ термин слева сходится без проблем. Увидеть список пределов тригонометрических функций. Теперь покажем, что ${\displaystyle \int _{-\infty }^{\infty }{\frac {1-\cos(x)}{x^{2}}}dx}$ абсолютно интегрируемо, откуда следует, что предел существует.^[6]

Сначала мы стремимся оценить интеграл вблизи начала координат. Используя разложение косинуса около нуля в ряд Тейлора,

${\displaystyle 1-\cos(x)=1-\sum _{k\geq 0}{\frac {x^{2k}}{2k!}}=-\sum _{k\geq 1}{\frac {x^{2k}}{2k!}}.}$

Следовательно,

${\displaystyle \left|{\frac {1-\cos(x)}{x^{2}}}\right|=\left|-\sum _{k\geq 0}{\frac {x^{2k}}{2(k+1)!}}\right|\leq \sum _{k\geq 0}{\frac {|x|^{k}}{k!}}=e^{|x|}.}$

Разбив интеграл на части, получим

${\displaystyle \int _{-\infty }^{\infty }\left|{\frac {1-\cos(x)}{x^{2}}}\right|dx\leq \int _{-\infty }^{-\varepsilon }{\frac {2}{x^{2}}}dx+\int _{-\varepsilon }^{\varepsilon }e^{|x|}dx+\int _{\varepsilon }^{\infty }{\frac {2}{x^{2}}}dx\leq K,}$

для некоторой постоянной ${\displaystyle K>0}$. Это показывает, что интеграл абсолютно интегрируем, что означает, что исходный интеграл существует, и переключение с ${\displaystyle \lambda }$ к ${\displaystyle n}$ был фактически оправдан, и доказательство завершено.

Смотрите также

• Математический портал

• Распределение Дирихле
• Принцип Дирихле
• Функция Sinc
• Интеграл Френеля

Примечания

1. Бартл, Роберт Г. (10 июня 1996 г.). «Возвращение к интегралу Римана» (PDF). Американский математический ежемесячник. 103 (8): 625–632. Дои:10.2307/2974874. JSTOR  2974874.
2. Бартл, Роберт Дж .; Шерберт, Дональд Р. (2011). «Глава 10: Обобщенный интеграл Римана». Введение в реальный анализ. Джон Вили и сыновья. стр.311. ISBN  978-0-471-43331-6.
3. Zill, Dennis G .; Райт, Уоррен С. (2013). «Глава 7: Преобразование Лапласа». Дифференциальные уравнения с краевыми задачами.. Cengage Learning. стр.274 -5. ISBN  978-1-111-82706-9.
4. Аппель, Уолтер. Математика для физиков и физиков. Princeton University Press, 2007, стр. 226. ISBN  978-0-691-13102-3.
5. Чен, Го (26 июня 2009 г.). Рассмотрение интеграла Дирихле методами реального анализа (PDF) (Отчет).
6. R.C. Дайеда. Несобственные интегралы (PDF) (Отчет).

внешняя ссылка

• Вайсштейн, Эрик В. «Интегралы Дирихле». MathWorld.