Уравнения с неизвестной функцией под знаком интеграла
В математике интегральные уравнения — это уравнения, в которых неизвестная функция появляется под знаком интеграла . [1] В математической нотации интегральные уравнения могут быть выражены как имеющие вид: где — интегральный оператор, действующий на u. Следовательно, интегральные уравнения можно рассматривать как аналог дифференциальных уравнений, где вместо уравнения, включающего производные, уравнение содержит интегралы. Можно провести прямое сравнение с математической формой общего интегрального уравнения выше с общей формой дифференциального уравнения, которая может быть выражена следующим образом: где можно рассматривать как дифференциальный оператор порядка i . [1] Благодаря этой тесной связи между дифференциальными и интегральными уравнениями часто можно выполнять преобразования между ними. Например, одним из методов решения краевой задачи является преобразование дифференциального уравнения с его граничными условиями в интегральное уравнение и решение интегрального уравнения. [1] Кроме того, поскольку можно выполнять преобразования между ними, дифференциальные уравнения в физике, такие как уравнения Максвелла, часто имеют аналоговую интегральную и дифференциальную форму. [2] См. также, например, функцию Грина и теорию Фредгольма .
Классификация и обзор
Существуют различные методы классификации интегральных уравнений. Несколько стандартных классификаций включают различия между линейными и нелинейными; однородными и неоднородными; Фредгольмом и Вольтеррой; уравнениями первого, второго и третьего порядка; а также сингулярными и регулярными интегральными уравнениями. [1] Эти различия обычно основываются на некотором фундаментальном свойстве, таком как рассмотрение линейности уравнения или однородности уравнения. [1] Эти комментарии конкретизируются с помощью следующих определений и примеров:
Линейность
Линейное : Интегральное уравнение является линейным, если неизвестная функция u(x) и ее интегралы появляются в уравнении линейными. [1] Следовательно, примером линейного уравнения будет: [1] В качестве примечания к соглашению об именовании: i) u(x) называется неизвестной функцией, ii) f(x) называется известной функцией, iii) K(x,t) является функцией двух переменных и часто называется функцией ядра , и iv) λ является неизвестным фактором или параметром, который играет ту же роль, что и собственное значение в линейной алгебре . [1]
Нелинейный : Интегральное уравнение является нелинейным, если неизвестная функция u(x) или любой из ее интегралов появляются в уравнении нелинейно. [1] Следовательно, примерами нелинейных уравнений будут уравнения выше, если мы заменим u(t) на , например: Некоторые виды нелинейных интегральных уравнений имеют особые названия. [3] Вот некоторые из таких уравнений: [3]
- Нелинейные интегральные уравнения Вольтерра второго рода, имеющие общий вид: где F — известная функция. [3]
- Нелинейные интегральные уравнения Фредгольма второго рода, имеющие общий вид: . [3]
- Особый тип нелинейных интегральных уравнений Фредгольма второго рода задается формой: , которая имеет два специальных подкласса: [3]
- Уравнение Урысона: . [3]
- Уравнение Гаммерштейна: . [3]
Более подробную информацию об уравнении Гаммерштейна и различных версиях уравнения Гаммерштейна можно найти в разделе «Гаммерштейн» ниже.
Расположение неизвестного уравнения
Первый род : Интегральное уравнение называется интегральным уравнением первого рода, если неизвестная функция появляется только под знаком интеграла. [3] Примером может служить: . [3]
Второй род : Интегральное уравнение называется интегральным уравнением второго рода, если неизвестная функция также появляется вне интеграла. [3]
Третий род : Интегральное уравнение называется интегральным уравнением третьего рода, если оно является линейным интегральным уравнением следующего вида: [3] где g(t) обращается в нуль по крайней мере один раз в интервале [a,b] [4] [5] или где g(t) обращается в нуль в конечном числе точек в (a,b) . [6]
Пределы интеграции
Фредгольм : Интегральное уравнение называется интегральным уравнением Фредгольма , если оба предела интегрирования во всех интегралах фиксированы и постоянны. [1] Примером может служить случай, когда интеграл берется по фиксированному подмножеству . [3] Следовательно, следующие два примера являются уравнениями Фредгольма: [1]
- Уравнение Фредгольма первого типа: .
- Уравнение Фредгольма второго типа:
Обратите внимание, что мы можем выразить интегральные уравнения, такие как приведенные выше, также с помощью обозначения интегрального оператора. [7] Например, мы можем определить интегральный оператор Фредгольма как: Следовательно, приведенное выше уравнение Фредгольма второго рода можно записать компактно как: [7]
Вольтерра : Интегральное уравнение называется интегральным уравнением Вольтерра , если хотя бы один из пределов интегрирования является переменной. [1] Следовательно, интеграл берется по области, изменяющейся вместе с переменной интегрирования. [3] Примерами уравнений Вольтерра могут быть: [1]
- Интегральное уравнение Вольтерра первого рода:
- Интегральное уравнение Вольтерра второго рода:
Как и в случае с уравнениями Фредгольма, мы снова можем принять операторную нотацию. Таким образом, мы можем определить линейный интегральный оператор Вольтерры следующим образом: [3] где и K(t,s) называется ядром и должно быть непрерывным на интервале . [3] Следовательно, интегральное уравнение Вольтерры первого рода может быть записано как: [3] с . Кроме того, линейное интегральное уравнение Вольтерры второго рода для неизвестной функции и заданной непрерывной функции на интервале , где : Вольтерра-Фредгольм : В более высоких размерностях существуют интегральные уравнения, такие как интегральные уравнения Фредгольма-Вольтерры (VFIE). [3] VFIE имеет вид: с и являясь замкнутой ограниченной областью в с кусочно-гладкой границей. [3] Интегральный оператор Фредгольма-Вольтерры определяется как: [3]
Обратите внимание, что хотя в этой статье границы интеграла обычно записываются в виде интервалов, это не обязательно так. [7] В общем случае интегральные уравнения не всегда должны определяться на интервале , но их также можно определить на кривой или поверхности. [7]
Однородность
Однородный : Интегральное уравнение называется однородным, если известная функция тождественно равна нулю. [1]
Неоднородный : Интегральное уравнение называется неоднородным, если известная функция отлична от нуля. [1]
Регулярность
Регулярное : Интегральное уравнение называется регулярным, если все используемые интегралы являются собственными интегралами. [7]
Сингулярное или слабосингулярное : Интегральное уравнение называется сингулярным или слабосингулярным, если интеграл является несобственным интегралом. [7] Это может быть связано либо с тем, что по крайней мере один из пределов интегрирования бесконечен, либо ядро становится неограниченным, то есть бесконечным, по крайней мере в одной точке интервала или области, по которой интегрируется. [1]
Вот несколько примеров: [1] Эти два интегральных уравнения являются преобразованием Фурье и преобразованием Лапласа функции u(x) , соответственно, причем оба являются уравнениями Фредгольма первого рода с ядром и , соответственно. [1] Другой пример сингулярного интегрального уравнения, в котором ядро становится неограниченным: [1] Это уравнение является особой формой более общего слабо сингулярного интегрального уравнения Вольтерра первого рода, называемого интегральным уравнением Абеля: [7] Сильно сингулярное : Интегральное уравнение называется сильно сингулярным, если интеграл определяется специальной регуляризацией, например, главным значением Коши. [7]
Интегро-дифференциальные уравнения
Интегро -дифференциальное уравнение, как следует из названия, объединяет дифференциальные и интегральные операторы в одно уравнение. [1] Существует много версий, включая интегро-дифференциальное уравнение Вольтерры и уравнения типа запаздывания, как определено ниже. [3] Например, используя оператор Вольтерры, как определено выше, интегро-дифференциальное уравнение Вольтерры можно записать как: [3] Для задач с запаздыванием мы можем определить интегральный оператор запаздывания как: [3] где интегро-дифференциальное уравнение запаздывания можно выразить как: [3]
Интегральные уравнения Вольтерра
Теоремы единственности и существования в 1D
Решение линейного интегрального уравнения Вольтерра первого рода, заданное уравнением: можно описать следующей теоремой единственности и существования. [3] Напомним, что интегральный оператор Вольтерра , можно определить следующим образом: [3] где и K(t,s) называется ядром и должен быть непрерывным на интервале . [3]
Решение линейного интегрального уравнения Вольтерра второго рода, заданное уравнением: [3], можно описать следующей теоремой единственности и существования. [3]
Интегральные уравнения Вольтерра в R 2 {\displaystyle \mathbb {R} ^{2}}
Интегральное уравнение Вольтерра второго рода можно выразить следующим образом: [3] где , , и . [3] Это интегральное уравнение имеет единственное решение, заданное формулой: [3] где — ядро резольвенты K . [3]
Теоремы существования и единственности уравнений Фредгольма-Вольтерра
Как определено выше, VFIE имеет вид: с и являясь замкнутой ограниченной областью в с кусочно-гладкой границей. [3] Интегральный оператор Фредгольма-Вольтерры определяется как: [3] В случае, когда ядро K может быть записано как , K называется положительным ядром памяти. [3] Имея это в виду, мы теперь можем ввести следующую теорему: [3]
Теорема — Если линейный VFIE, заданный как: с удовлетворяет следующим условиям:
- , и
- где и
Тогда VFIE имеет единственное решение, заданное выражением , где называется резольвентным ядром и задается пределом ряда Неймана для ядра и решает уравнения резольвенты:
Специальные уравнения Вольтерра
Специальный тип уравнения Вольтерра, который используется в различных приложениях, определяется следующим образом: [3] где , функция g(t) непрерывна на интервале , а интегральный оператор Вольтерра задается выражением: с . [3]
Преобразование IVP в интегральные уравнения
В следующем разделе мы приводим пример того, как преобразовать задачу начального значения (IVP) в интегральное уравнение. Для этого есть несколько мотиваций, среди которых то, что интегральные уравнения часто могут быть более легко разрешимы и лучше подходят для доказательства теорем существования и единственности. [7]
Следующий пример был представлен Вазвазом на страницах 1 и 2 его книги. [1] Мы рассматриваем IVP, заданный уравнением:
и начальное условие:
Если мы проинтегрируем обе части уравнения, то получим:
и по основной теореме исчисления получаем:
Переставив уравнение выше, получим интегральное уравнение:
которое представляет собой интегральное уравнение Вольтерра вида:
где K(x,t) называется ядром и равно 2t , а f(x)=1 . [1]
Численное решение
Стоит отметить, что интегральные уравнения часто не имеют аналитического решения и должны решаться численно. Примером этого является оценка интегрального уравнения электрического поля (EFIE) или интегрального уравнения магнитного поля (MFIE) над объектом произвольной формы в задаче электромагнитного рассеяния.
Один из методов численного решения требует дискретизации переменных и замены интеграла квадратурной формулой.
Тогда у нас есть система с n уравнениями и n переменными. Решая ее, мы получаем значение n переменных
Интегральные уравнения как обобщение уравнений на собственные значения
Некоторые однородные линейные интегральные уравнения можно рассматривать как континуальный предел уравнений собственных значений . Используя индексную нотацию , уравнение собственных значений можно записать как
где M = [ M i,j ] — матрица, v — один из ее собственных векторов, а λ — соответствующее собственное значение.
Принимая континуальный предел, т.е. заменяя дискретные индексы i и j непрерывными переменными x и y , получаем
где сумма по j заменена интегралом по y , а матрица M и вектор v заменены ядром K ( x , y ) и собственной функцией φ ( y ) . (Пределы интеграла фиксированы, аналогично пределам суммы по j .) Это дает линейное однородное уравнение Фредгольма второго типа.
В общем случае K ( x , y ) может быть распределением , а не функцией в строгом смысле. Если распределение K имеет носитель только в точке x = y , то интегральное уравнение сводится к дифференциальному уравнению собственных функций .
В общем случае интегральные уравнения Вольтерра и Фредгольма могут возникнуть из одного дифференциального уравнения в зависимости от того, какие условия применяются на границе области его решения.
Интегральные уравнения Винера–Хопфа
Первоначально такие уравнения изучались в связи с задачами переноса излучения, а в последнее время они были связаны с решением граничных интегральных уравнений для плоских задач, в которых граница является лишь кусочно-гладкой.
Уравнения Гаммерштейна
Уравнение Гаммерштейна — это нелинейное интегральное уравнение Вольтерра первого рода вида: [3] При определенных условиях регулярности уравнение эквивалентно неявному интегральному уравнению Вольтерра второго рода: [3] где: Однако уравнение может быть также выражено в операторной форме, что мотивирует определение следующего оператора, называемого нелинейным оператором Вольтерра-Гаммерштейна: [3] Здесь — гладкая функция, в то время как ядро K может быть непрерывным, т. е. ограниченным или слабо сингулярным. [3] Соответствующее интегральное уравнение Вольтерра второго рода, называемое интегральным уравнением Вольтерра-Гаммерштейна второго рода, или просто уравнением Гаммерштейна для краткости, может быть выражено как: [3] В некоторых приложениях нелинейность функции G можно рассматривать как только полулинейную в виде: [3] В этом случае мы имеем следующее полулинейное интегральное уравнение Вольтерра: [3] В этой форме мы можем сформулировать теорему существования и единственности для полулинейного интегрального уравнения Гаммерштейна. [3]
Теорема — Предположим, что полулинейное уравнение Гаммерштейна имеет единственное решение и является функцией Липшица. Тогда решение этого уравнения можно записать в виде: где обозначает единственное решение линейной части уравнения выше и задается как: с обозначением ядра резольвенты.
Мы также можем записать уравнение Гаммерштейна, используя другой оператор, называемый оператором Немыцкого, или оператором подстановки, определяемый следующим образом: [3] Подробнее об этом можно узнать на странице 75 этой книги. [3]
Приложения
Интегральные уравнения важны во многих приложениях. Задачи, в которых встречаются интегральные уравнения, включают перенос излучения и колебания струны, мембраны или оси. Задачи колебания также могут быть решены как дифференциальные уравнения .
Смотрите также
Библиография
- Агарвал, Рави П. и Донал О'Реган. Интегральные и интегродифференциальные уравнения: теория, метод и приложения. Gordon and Breach Science Publishers, 2000. [13]
- Бруннер, Герман. Методы коллокации для интегральных уравнений Вольтерра и связанных с ними функционально-дифференциальных уравнений. Cambridge University Press, 2004. [3]
- Бертон, Т. А. Интегральные и дифференциальные уравнения Вольтерры. Elsevier, 2005. [14]
- Глава 7 It Mod 02-14-05 - Инженерный колледж Айры А. Фултона. https://www.et.byu.edu/~vps/ET502WWW/NOTES/CH7m.pdf. [15]
- Кордуняну, К. Интегральные уравнения и их применение. Cambridge University Press, 2008. [16]
- Хакбуш, Вольфганг. Теория интегральных уравнений и численное решение. Биркхойзер, 1995. [7]
- Хохштадт, Гарри. Интегральные уравнения. Wiley-Interscience/John Wiley & Sons, 1989. [17]
- «Интегральное уравнение». Из Wolfram MathWorld, https://mathworld.wolfram.com/IntegralEquation.html. [18]
- «Интегральное уравнение». Интегральное уравнение — Энциклопедия математики, https://encyclopediaofmath.org/wiki/Singular_integral_equations/Integral_equation. [19]
- Джерри, Абдул Дж. Введение в интегральные уравнения с приложениями. Sampling Publishing, 2007. [20]
- Пипкин, А.С. Курс интегральных уравнений. Springer-Verlag, 1991. [21]
- Полянин АД, и Александр В. Манжиров. Справочник по интегральным уравнениям. Chapman & Hall/CRC, 2008. [22]
- Вазваз, Абдул-Маджид. Первый курс интегральных уравнений. World Scientific, 2015. [1]
Ссылки
- ^ abcdefghijklmnopqrstu vw Вазваз, Абдул-Маджид (2005). Первый курс интегральных уравнений . World Scientific.
- ^ admin (2022-09-10). "Уравнения Максвелла: вывод в интегральной и дифференциальной форме". Ox Science . Получено 2022-12-10 .
- ^ abcdefghijklmnopqrstu vwxyz aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw Бруннер, Герман (2004). Методы коллокации для интегральных уравнений Вольтерра и связанных с ними функционально-дифференциальных уравнений . Издательство Кембриджского университета.
- ^ Bart, GR; Warnock, RL (ноябрь 1973 г.). «Линейные интегральные уравнения третьего рода». Журнал SIAM по математическому анализу . 4 (4): 609–622. doi :10.1137/0504053. ISSN 0036-1410.
- ^ Шулая, Д. (2017-12-01). "Интегральные уравнения третьего рода для случая кусочно-монотонных коэффициентов". Труды Математического института им. А. Размадзе . 171 (3): 396–410. doi : 10.1016/j.trmi.2017.05.002 . ISSN 2346-8092.
- ^ Сукаванам, Н. (1984-05-01). "Теория типа Фредгольма для линейных интегральных уравнений третьего рода". Журнал математического анализа и приложений . 100 (2): 478–485. doi : 10.1016/0022-247X(84)90096-9 . ISSN 0022-247X.
- ^ abcdefghij Хакбуш, Вольфганг (1995). Теория интегральных уравнений и численное решение . Биркхаузер.
- ^ «Конспект лекций по теории риска» (PDF) . 2010.
- ^ Sachs, EW; Strauss, AK (2008-11-01). "Эффективное решение частного интегро-дифференциального уравнения в финансах". Applied Numerical Mathematics . 58 (11): 1687–1703. doi :10.1016/j.apnum.2007.11.002. ISSN 0168-9274.
- ^ Феллер, Вилли (1941). «Об интегральном уравнении теории восстановления». Анналы математической статистики . 12 (3): 243–267. ISSN 0003-4851.
- ^ Дадди-Мусса-Идер, А.; Вильфан, А.; Голестанян, Р. (6 апреля 2022 г.). «Диффузиофоретическое движение изотропной активной коллоидной частицы вблизи диска конечного размера, встроенного в плоский интерфейс жидкость–жидкость». Журнал механики жидкости . 940 : A12. arXiv : 2109.14437 . doi : 10.1017/jfm.2022.232.
- ^ Дадди-Мусса-Идер, А.; Лисицки, М.; Лёвен, Х .; Менцель, А.М. (5 февраля 2020 г.). «Динамика композита микропловец–микротромбоцит». Physics of Fluids . 32 (2): 021902. arXiv : 2001.06646 . doi :10.1063/1.5142054.
- ^ Донал., Агарвал, Рави П. О'Реган (2000). Интегральные и интегродифференциальные уравнения: теория, метод и приложения. Gordon and Breach Science Publishers. ISBN 90-5699-221-X. OCLC 44617552.
{{cite book}}
: CS1 maint: multiple names: authors list (link) - ^ Бертон, ТА (2005). Интегральные и дифференциальные уравнения Вольтерра . Elsevier.
- ^ "Глава 7 It Mod 02-14-05 - Инженерный колледж Айры А. Фултона" (PDF) .
- ^ Кордуняну, К. (2008). Интегральные уравнения и приложения . Издательство Кембриджского университета.
- ^ Хохштадт, Гарри (1989). Интегральные уравнения . Wiley-Interscience/John Wiley & Sons.
- ^ «Интегральное уравнение».
- ^ "Интегральное уравнение - Энциклопедия математики". encyclopediaofmath.org . Получено 2022-11-14 .
- ^ Джерри, Абдул Дж. Введение в интегральные уравнения с приложениями. ISBN 0-9673301-1-4. OCLC 852490911.
- ^ Пипкин, А.С. (1991). Курс интегральных уравнений . Springer-Verlag.
- ^ Полеянин, А. Д. (2008). Справочник по интегральным уравнениям . Chapman & Hall/CRC.
Дальнейшее чтение
- Кендалл Э. Аткинсон. Численное решение интегральных уравнений второго рода . Кембриджские монографии по прикладной и вычислительной математике, 1997.
- Джордж Арфкен и Ганс Вебер. Математические методы для физиков . Harcourt/Academic Press, 2000.
- Гарри Бейтман (1910) История и современное состояние теории интегральных уравнений, Доклад Британской ассоциации .
- Андрей Д. Полянин и Александр В. Манжиров Справочник по интегральным уравнениям . CRC Press, Бока-Ратон, 1998. ISBN 0-8493-2876-4 .
- ET Whittaker и GN Watson . Курс современного анализа. Кембриджская математическая библиотека.
- М. Краснов, А. Киселев, Г. Макаренко, Задачи и упражнения по интегральным уравнениям , Издательство Мир, Москва, 1971
- Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007). "Глава 19. Интегральные уравнения и обратная теория". Numerical Recipes: The Art of Scientific Computing (3-е изд.). Нью-Йорк: Cambridge University Press. ISBN 978-0-521-88068-8. Архивировано из оригинала 2011-08-11 . Получено 2011-08-17 .
Внешние ссылки
- Интегральные уравнения: точные решения в EqWorld: Мир математических уравнений.
- Интегральные уравнения: Индекс в EqWorld: Мир математических уравнений.
- «Интегральное уравнение», Энциклопедия математики , EMS Press , 2001 [1994]
- Интегральные уравнения ( MIT OpenCourseWare )