stringtranslate.com

Тригонометрический интеграл

График интегральной функции гиперболического синуса Shi(z) в комплексной плоскости от −2 − 2i до 2 + 2i
График интегральной функции гиперболического синуса Shi( z ) в комплексной плоскости от −2 − 2 i до 2 + 2 i

Si( x ) (синий) и Ci( x ) (зеленый) показаны на одном графике.
Интегральный синус в комплексной плоскости, построенный с использованием варианта раскраски домена .
Интегральный косинус в комплексной плоскости. Обратите внимание на ветвь, срезанную вдоль отрицательной действительной оси.

В математике тригонометрические интегралы — это семейство неэлементарных интегралов, включающих тригонометрические функции .

Интеграл синуса

График Si( x ) для 0 ≤ x ≤ 8 π .
График функции косинуса интегрального Ci(z) в комплексной плоскости от −2 − 2i до 2 + 2i
График функции косинуса интеграла Ci( z ) в комплексной плоскости от −2 − 2 i до 2 + 2 i

Различные определения интегрального синуса :

Обратите внимание, что подынтегральное выражение — это функция sinc , а также нулевая сферическая функция Бесселя . Поскольку sincчетная целая функция ( голоморфная по всей комплексной плоскости), Si — целая, нечетная, и интеграл в ее определении можно брать по любому пути, соединяющему конечные точки.

По определению, Si( x ) является первообразной sin x / x , значение которой равно нулю при x = 0 , а si( x ) является первообразной, значение которой равно нулю при x = ∞ . Их разность задается интегралом Дирихле ,

При обработке сигналов колебания синусоидального интеграла вызывают выбросы и артефакты звона при использовании sinc-фильтра , а также звон в частотной области при использовании усеченного sinc-фильтра в качестве фильтра нижних частот .

С этим связан феномен Гиббса : если рассматривать интегральный синус как свертку функции sinc со ступенчатой ​​функцией Хевисайда , то это соответствует усечению ряда Фурье , что является причиной феномена Гиббса.

Интеграл косинуса

График Ci( x ) для 0 < x ≤ 8 π

Различные определения интегрального косинуса таковы , где γ ≈ 0,57721566 ...константа Эйлера–Маскерони . В некоторых текстах вместо Ci используется ci .

Ci( x ) является первообразной cos x / x (которая исчезает при ). Два определения связаны соотношением

Cinчетная целая функция . По этой причине некоторые тексты рассматривают Cin как первичную функцию и выводят Ci через Cin .

Интеграл гиперболического синуса

Интеграл гиперболического синуса определяется как

Он связан с обычным синусоидальным интегралом соотношением

Гиперболический косинусный интеграл

Гиперболический косинусный интеграл равен

График интегральной функции гиперболического косинуса Chi(z) в комплексной плоскости от −2 − 2i до 2 + 2i
График функции гиперболического косинуса Chi( z ) в комплексной плоскости от −2 − 2 i до 2 + 2 i

где — постоянная Эйлера–Маскерони .

Имеет расширение серии

Вспомогательные функции

Тригонометрические интегралы можно понять в терминах так называемых « вспомогательных функций ». Используя эти функции, тригонометрические интегралы можно переформулировать следующим образом (ср. Абрамовиц и Стеган, стр. 232):

Спираль Нильсена

Спираль Нильсена.

Спираль , образованная параметрическим графиком si, ci, известна как спираль Нильсена.

Спираль тесно связана с интегралами Френеля и спиралью Эйлера . Спираль Нильсена применяется в обработке изображений, строительстве дорог и рельсов и других областях. [1]

Расширение

Для вычисления тригонометрических интегралов можно использовать различные разложения в зависимости от диапазона аргумента.

Асимптотический ряд (для большого аргумента)

Эти ряды являются асимптотическими и расходящимися, хотя их можно использовать для оценок и даже точных вычислений при ℜ( x ) ≫ 1 .

Сходящийся ряд

Эти ряды сходятся при любом комплексном x , хотя при | x | ≫ 1 ряд будет сходиться медленно изначально, требуя большого количества членов для высокой точности.

Вывод разложения ряда

Из разложения синуса в ряд Маклорена:

Связь с показательным интегралом мнимого аргумента

Функция называется экспоненциальным интегралом . Она тесно связана с Si и Ci ,

Поскольку каждая соответствующая функция является аналитической, за исключением сечения при отрицательных значениях аргумента, область применимости соотношения должна быть расширена до (вне этого диапазона в выражении появляются дополнительные члены, которые являются целыми множителями π ).

Случаи мнимого аргумента обобщенной интегро-показательной функции таковы , что является действительной частью

Сходным образом

Эффективная оценка

Аппроксимации Паде сходящегося ряда Тейлора обеспечивают эффективный способ оценки функций для малых аргументов. Следующие формулы, приведенные Роу и др. (2015), [2], имеют точность лучше, чем 10 −16 для 0 ≤ x ≤ 4 ,

Интегралы можно оценить косвенно с помощью вспомогательных функций и , которые определяются как

Для рациональных функций Паде , приведенных ниже, приближенно и с погрешностью менее 10−16 : [ 2]

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

Ссылки

  1. ^ Грей (1993). Современная дифференциальная геометрия кривых и поверхностей . Бока-Ратон. стр. 119.{{cite book}}: CS1 maint: location missing publisher (link)
  2. ^ ab Rowe, B.; et al. (2015). "GALSIM: Модульный набор инструментов для моделирования изображений галактик". Astronomy and Computing . 10 : 121. arXiv : 1407.7676 . Bibcode : 2015A&C....10..121R. doi : 10.1016/j.ascom.2015.02.002. S2CID  62709903.

Дальнейшее чтение

Внешние ссылки