Интегральное преобразование

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

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

Общая форма

Интегральным преобразованием является любое преобразование следующего вида: T {\displaystyle T}

( T f ) ( u ) = t 1 t 2 f ( t ) K ( t , u ) d t {\displaystyle (Tf)(u)=\int _{t_{1}}^{t_{2}}f(t)\,K(t,u)\,dt}

Вход этого преобразования — функция , а выход — другая функция . Интегральное преобразование — это особый вид математического оператора . f {\displaystyle f} T f {\displaystyle Tf}

Существует множество полезных интегральных преобразований. Каждое из них определяется выбором функции двух переменных , которая называется ядром или ядром преобразования. K {\displaystyle K}

Некоторые ядра имеют связанное с ними обратное ядро, которое (грубо говоря) дает обратное преобразование: K 1 ( u , t ) {\displaystyle K^{-1}(u,t)}

f ( t ) = u 1 u 2 ( T f ) ( u ) K 1 ( u , t ) d u {\displaystyle f(t)=\int _{u_{1}}^{u_{2}}(Tf)(u)\,K^{-1}(u,t)\,du}

Симметричное ядро ​​— это ядро, которое остается неизменным при перестановке двух переменных; это функция ядра, такая что . В теории интегральных уравнений симметричные ядра соответствуют самосопряженным операторам . [1] K {\displaystyle K} K ( t , u ) = K ( u , t ) {\displaystyle K(t,u)=K(u,t)}

Мотивация

Существует множество классов задач, которые трудно решить — или, по крайней мере, довольно громоздко алгебраически — в их исходных представлениях. Интегральное преобразование «отображает» уравнение из его исходной «области» в другую область, в которой манипулирование и решение уравнения могут быть намного проще, чем в исходной области. Затем решение может быть отображено обратно в исходную область с помощью обратного интегрального преобразования.

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

История

Предшественником преобразований были ряды Фурье для выражения функций в конечных интервалах. Позднее преобразование Фурье было разработано для устранения требования конечных интервалов.

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

Пример использования

В качестве примера применения интегральных преобразований рассмотрим преобразование Лапласа . Это метод, который отображает дифференциальные или интегро-дифференциальные уравнения в области «времени» в полиномиальные уравнения в так называемой области «комплексной частоты» . (Комплексная частота похожа на фактическую, физическую частоту, но является более общей. В частности, мнимая составляющая ω комплексной частоты s = − σ + соответствует обычному понятию частоты, а именно , скорости, с которой циклирует синусоида, тогда как действительная составляющая σ комплексной частоты соответствует степени «затухания», т. е. экспоненциальному уменьшению амплитуды.) Уравнение, представленное в терминах комплексной частоты, легко решается в комплексной частотной области (корни полиномиальных уравнений в комплексной частотной области соответствуют собственным значениям во временной области), что приводит к «решению», сформулированному в частотной области. Используя обратное преобразование , т. е . обратную процедуру исходного преобразования Лапласа, получаем решение во временной области. В этом примере полиномы в комплексной частотной области (обычно встречающиеся в знаменателе) соответствуют степенным рядам во временной области, тогда как аксиальные сдвиги в комплексной частотной области соответствуют затуханию затухающими экспонентами во временной области.

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

Другим примером использования является ядро ​​в интеграле по траектории :

ψ ( x , t ) = ψ ( x , t ) K ( x , t ; x , t ) d x . {\displaystyle \psi (x,t)=\int _{-\infty }^{\infty }\psi (x',t')K(x,t;x',t')dx'.}

Это означает, что полная амплитуда, к которой нужно прийти, является суммой (интегралом) по всем возможным значениям полной амплитуды , чтобы прийти в точку, умноженной на амплитуду, чтобы перейти от к [ т.е. ] . [2] Его часто называют пропагатором для данной системы. Это (физическое) ядро ​​является ядром интегрального преобразования. Однако для каждой квантовой системы существует свое ядро. [3] ψ ( x , t ) {\displaystyle \psi (x,t)} ( x , t ) {\displaystyle (x,t)} x {\displaystyle x'} ψ ( x , t ) {\displaystyle \psi (x',t')} ( x , t ) {\displaystyle (x',t')} x {\displaystyle x'} x {\displaystyle x} K ( x , t ; x , t ) {\displaystyle K(x,t;x',t')}

Таблица преобразований

Таблица интегральных преобразований
ТрансформироватьСимволКф ( т )т 1т 2К −1у 1у 2
преобразование АбеляФ, ф 2 t t 2 u 2 {\displaystyle {\frac {2t}{\sqrt {t^{2}-u^{2}}}}} u {\displaystyle u} {\displaystyle \infty } 1 π u 2 t 2 d d u {\displaystyle {\frac {-1}{\pi {\sqrt {u^{2}\!-\!t^{2}}}}}{\frac {d}{du}}} [4]т {\displaystyle \infty }
Связанное преобразование Лежандра J n , m {\displaystyle {\mathcal {J}}_{n,m}} ( 1 x 2 ) m / 2 P n m ( x ) {\displaystyle (1-x^{2})^{-m/2}P_{n}^{m}(x)} 1 {\displaystyle -1} 1 {\displaystyle 1} 0 {\displaystyle 0} {\displaystyle \infty }
преобразование Фурье F {\displaystyle {\mathcal {F}}} e 2 π i u t {\displaystyle e^{-2\pi iut}} L 1 {\displaystyle L_{1}} {\displaystyle -\infty } {\displaystyle \infty } e 2 π i u t {\displaystyle e^{2\pi iut}} {\displaystyle -\infty } {\displaystyle \infty }
Синусоидальное преобразование Фурье F s {\displaystyle {\mathcal {F}}_{s}} 2 π sin ( u t ) {\displaystyle {\sqrt {\frac {2}{\pi }}}\sin(ut)} на , реальное значение [ 0 , ) {\displaystyle [0,\infty )} 0 {\displaystyle 0} {\displaystyle \infty } 2 π sin ( u t ) {\displaystyle {\sqrt {\frac {2}{\pi }}}\sin(ut)} 0 {\displaystyle 0} {\displaystyle \infty }
Косинусное преобразование Фурье F c {\displaystyle {\mathcal {F}}_{c}} 2 π cos ( u t ) {\displaystyle {\sqrt {\frac {2}{\pi }}}\cos(ut)} на , реальное значение [ 0 , ) {\displaystyle [0,\infty )} 0 {\displaystyle 0} {\displaystyle \infty } 2 π cos ( u t ) {\displaystyle {\sqrt {\frac {2}{\pi }}}\cos(ut)} 0 {\displaystyle 0} {\displaystyle \infty }
преобразование Ганкеля t J ν ( u t ) {\displaystyle t\,J_{\nu }(ut)} 0 {\displaystyle 0} {\displaystyle \infty } u J ν ( u t ) {\displaystyle u\,J_{\nu }(ut)} 0 {\displaystyle 0} {\displaystyle \infty }
преобразование Хартли H {\displaystyle {\mathcal {H}}} cos ( u t ) + sin ( u t ) 2 π {\displaystyle {\frac {\cos(ut)+\sin(ut)}{\sqrt {2\pi }}}} {\displaystyle -\infty } {\displaystyle \infty } cos ( u t ) + sin ( u t ) 2 π {\displaystyle {\frac {\cos(ut)+\sin(ut)}{\sqrt {2\pi }}}} {\displaystyle -\infty } {\displaystyle \infty }
Преобразование Эрмита H {\displaystyle H} e x 2 H n ( x ) {\displaystyle e^{-x^{2}}H_{n}(x)} {\displaystyle -\infty } {\displaystyle \infty } 0 {\displaystyle 0} {\displaystyle \infty }
Преобразование Гильберта H i l {\displaystyle {\mathcal {H}}il} 1 π 1 u t {\displaystyle {\frac {1}{\pi }}{\frac {1}{u-t}}} {\displaystyle -\infty } {\displaystyle \infty } 1 π 1 u t {\displaystyle {\frac {1}{\pi }}{\frac {1}{u-t}}} {\displaystyle -\infty } {\displaystyle \infty }
преобразование Якоби J {\displaystyle J} ( 1 x ) α   ( 1 + x ) β   P n α , β ( x ) {\displaystyle (1-x)^{\alpha }\ (1+x)^{\beta }\ P_{n}^{\alpha ,\beta }(x)} 1 {\displaystyle -1} 1 {\displaystyle 1} 0 {\displaystyle 0} {\displaystyle \infty }
преобразование Лагерра L {\displaystyle L} e x   x α   L n α ( x ) {\displaystyle e^{-x}\ x^{\alpha }\ L_{n}^{\alpha }(x)} 0 {\displaystyle 0} {\displaystyle \infty } 0 {\displaystyle 0} {\displaystyle \infty }
Преобразование Лапласа L {\displaystyle {\mathcal {L}}} e u t {\displaystyle e^{-ut}} 0 {\displaystyle 0} {\displaystyle \infty } e u t 2 π i {\displaystyle {\frac {e^{ut}}{2\pi i}}} c i {\displaystyle c\!-\!i\infty } c + i {\displaystyle c\!+\!i\infty }
преобразование Лежандра J {\displaystyle {\mathcal {J}}} P n ( x ) {\displaystyle P_{n}(x)\,} 1 {\displaystyle -1} 1 {\displaystyle 1} 0 {\displaystyle 0} {\displaystyle \infty }
Преобразование Меллина M {\displaystyle {\mathcal {M}}} t u 1 {\displaystyle t^{u-1}} 0 {\displaystyle 0} {\displaystyle \infty } t u 2 π i {\displaystyle {\frac {t^{-u}}{2\pi i}}\,} [5] c i {\displaystyle c\!-\!i\infty } c + i {\displaystyle c\!+\!i\infty }
Двустороннее
преобразование Лапласа
B {\displaystyle {\mathcal {B}}} e u t {\displaystyle e^{-ut}} {\displaystyle -\infty } {\displaystyle \infty } e u t 2 π i {\displaystyle {\frac {e^{ut}}{2\pi i}}} c i {\displaystyle c\!-\!i\infty } c + i {\displaystyle c\!+\!i\infty }
ядро Пуассона 1 r 2 1 2 r cos θ + r 2 {\displaystyle {\frac {1-r^{2}}{1-2r\cos \theta +r^{2}}}} 0 {\displaystyle 0} 2 π {\displaystyle 2\pi }
Радоновое преобразованиеРƒ δ ( x cos θ + y sin θ t ) {\displaystyle \delta (x\cos \theta +y\sin \theta -t)} {\displaystyle -\infty } {\displaystyle \infty }
преобразование Вейерштрасса W {\displaystyle {\mathcal {W}}} e ( u t ) 2 4 4 π {\displaystyle {\frac {e^{-{\frac {(u-t)^{2}}{4}}}}{\sqrt {4\pi }}}\,} {\displaystyle -\infty } {\displaystyle \infty } e ( u t ) 2 4 i 4 π {\displaystyle {\frac {e^{\frac {(u-t)^{2}}{4}}}{i{\sqrt {4\pi }}}}} c i {\displaystyle c\!-\!i\infty } c + i {\displaystyle c\!+\!i\infty }
рентгеновское преобразование {\displaystyle -\infty } {\displaystyle \infty }

В пределах интегрирования для обратного преобразования c является константой, которая зависит от природы функции преобразования. Например, для одностороннего и двустороннего преобразования Лапласа c должно быть больше наибольшей действительной части нулей функции преобразования.

Обратите внимание, что существуют альтернативные обозначения и соглашения для преобразования Фурье.

Разные домены

Здесь интегральные преобразования определены для функций действительных чисел, но их можно определить в более общем виде для функций группы.

  • Если вместо этого использовать функции на окружности (периодические функции), то ядра интегрирования будут бипериодическими функциями; свертка с функциями на окружности даёт круговую свертку .
  • Если использовать функции на циклической группе порядка n ( C n или Z / n Z ), то в качестве ядер интегрирования получатся матрицы n × n ; свертка соответствует циркулянтным матрицам .

Общая теория

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

Общая теория таких интегральных уравнений известна как теория Фредгольма . В этой теории ядро ​​понимается как компактный оператор, действующий на банаховом пространстве функций. В зависимости от ситуации ядро ​​тогда по-разному называют оператором Фредгольма , ядерным оператором или ядром Фредгольма .

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

Ссылки

  1. Глава 8.2, Методы теоретической физики, том I (Морзе и Фешбах)
  2. Уравнение 3.42 в книге Фейнмана и Хиббса «Квантовая механика и интегралы по траекториям», исправленное издание:
  3. ^ Что такое ядро ​​в интеграле по траекториям с математической точки зрения?
  4. ^ Предположим, что преобразование Абеля не является разрывным в точке . u {\displaystyle u}
  5. ^ Применяются некоторые условия, подробности см. в теореме об обращении Меллина .

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

  • А.Д. Полянин и А.В. Манжиров, Справочник по интегральным уравнениям , CRC Press, Бока-Ратон, 1998. ISBN  0-8493-2876-4
  • RKM Thambynayagam, Справочник по диффузии: прикладные решения для инженеров , McGraw-Hill, Нью-Йорк, 2011. ISBN 978-0-07-175184-1 
  • «Интегральное преобразование», Энциклопедия математики , EMS Press , 2001 [1994]
  • Таблицы интегральных преобразований в EqWorld: Мир математических уравнений.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Integral_transform&oldid=1258192513"