Альтернатива Фредгольма - Википедия - Fredholm alternative

В математика, то Альтернатива Фредгольма, названный в честь Ивар Фредхольм, один из Теоремы Фредгольма и является результатом Теория Фредгольма. Это может быть выражено несколькими способами, как теорема линейная алгебра, теорема интегральные уравнения, или как теорему о Фредгольмовы операторы. Часть результата утверждает, что ненулевое комплексное число в спектр из компактный оператор - собственное значение.

Линейная алгебра

Если V является п-размерный векторное пространство и это линейное преобразование, то выполняется ровно одно из следующего:

  1. Для каждого вектора v в V есть вектор ты в V так что . Другими словами: Т сюръективно (а значит, и биективно, так как V конечномерна).

Более простая формулировка в терминах матриц выглядит следующим образом. Учитывая м×п матрица А и м× 1 вектор-столбец б, должно выполняться ровно одно из следующего:

  1. Либо: А Икс = б есть решение Икс
  2. Или же: АТ у = 0 имеет решение у с уТб ≠ 0.

Другими словами, А Икс = б есть решение если и только если для любого у s.t. АТ у = 0, уТб = 0 .

Интегральные уравнения

Позволять быть интегральное ядро, и рассмотрим однородное уравнение, то Интегральное уравнение Фредгольма,

и неоднородное уравнение

Альтернативой Фредгольма является утверждение, что для любого ненулевого фиксированного комплексное число , либо первое уравнение имеет нетривиальное решение, либо второе уравнение имеет решение для всех .

Достаточным условием для этого утверждения является то, что быть квадратично интегрируемый на прямоугольнике (куда а и / или б может быть минус или плюс бесконечность). Интегральный оператор, определяемый таким K называется Интегральный оператор Гильберта – Шмидта.

Функциональный анализ

Результаты по Фредгольмов оператор обобщить эти результаты на векторные пространства бесконечной размерности, Банаховы пространства.

Интегральное уравнение можно переформулировать в операторных обозначениях следующим образом. Напишите (несколько неформально)

значить

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

дан кем-то

с данный

На этом языке альтернатива Фредгольма для интегральных уравнений рассматривается как аналогичная альтернативе Фредгольма для конечномерной линейной алгебры.

Оператор K дается сверткой с L2 ядро, как указано выше, известно как Интегральный оператор Гильберта – Шмидта.Такие операторы всегда компактный. В более общем плане альтернатива Фредгольма действительна, когда K - любой компактный оператор. Альтернативу Фредгольма можно переформулировать в следующем виде: ненулевое либо является собственное значение из K, либо лежит в области противовоспалительное средство

Эллиптические уравнения в частных производных

Альтернатива Фредгольма может быть применена к решению линейных эллиптические краевые задачи. Основной результат: если уравнение и соответствующие банаховы пространства установлены правильно, то либо

(1) Однородное уравнение имеет нетривиальное решение, или
(2) Неоднородное уравнение может быть решено однозначно для каждого выбора данных.

Аргумент следующий. Типичный простой для понимания эллиптический оператор L будет лапласианом плюс несколько членов более низкого порядка. В сочетании с подходящими граничными условиями и выражается в подходящем банаховом пространстве Икс (который кодирует как граничные условия, так и желаемую регулярность решения), L становится неограниченным оператором из Икс самому себе, и каждый пытается решить

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

Конкретным примером может служить эллиптический краевая задача подобно

дополнен граничным условием

где Ω ⊆ рп - ограниченное открытое множество с гладкой границей и час(Икс) - фиксированная коэффициентная функция (потенциал в случае оператора Шредингера). Функция жИкс - переменные данные, для которых мы хотим решить уравнение. Здесь можно было бы взять Икс быть пространством L2(Ω) всех квадратично интегрируемые функции на Ω и dom (L) тогда Соболевское пространство W 2,2(Ω) ∩ W1,2
0
(Ω), что составляет множество всех суммируемых с квадратом функций на Ω, у которых слабый первая и вторая производные существуют, суммируются с квадратом и удовлетворяют нулевому граничному условию на ∂Ω.

Если Икс был выбран правильно (как в этом примере), то для μ0 >> 0 оператор L + μ0 является положительный, а затем используя эллиптические оценки, можно доказать, что L + μ0 : dom (L) → Икс является биекцией, а обратный ей - компактный, всюду определенный оператор K из Икс к Икс, с изображением, равным dom (L). Исправляем один такой μ0, но его ценность не важна, поскольку это всего лишь инструмент.

Затем мы можем преобразовать альтернативу Фредгольма, сформулированную выше для компактных операторов, в утверждение о разрешимости краевой задачи (*) - (**). Альтернатива Фредгольма, как указано выше, утверждает:

  • Для каждого λр, либо λ является собственным значением K, или оператор K − λ биективен от Икс себе.

Давайте исследуем две альтернативы по мере их реализации для краевой задачи. Предполагать λ ≠ 0. Тогда либо

(А) λ является собственным значением K ⇔ есть решение час ∈ dom (L) из (L + μ0) час = λ−1час ⇔–μ0+λ−1 является собственным значением L.

(B) Оператор K − λ : Икс → Икс является биекцией ⇔ (K − λ) (L + μ0) = Id -λ (L + μ0): дом (L) → Икс биекция ⇔ L + μ0 − λ−1 : dom (L) → Икс это биекция.

Замена -μ0+λ−1 к λ, и лечение случая λ = −μ0 по отдельности это дает следующую альтернативу Фредгольма для эллиптической краевой задачи:

  • Для каждого λр, либо однородное уравнение (L − λ) ты = 0 имеет нетривиальное решение, или неоднородное уравнение (L − λ) ты = ж обладает уникальным решением ты ∈ dom (L) для каждого данного элемента данных жИкс.

Последняя функция ты решает поставленную выше краевую задачу (*) - (**). Это дихотомия, заявленная в пунктах (1) - (2) выше. Посредством спектральная теорема для компактных операторов также получаем, что множество λ для которых разрешимость не выполняется, является дискретным подмножеством р (собственные значения L). Собственные функции, связанные с собственными значениями, можно рассматривать как «резонансы», которые блокируют разрешимость уравнения.

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

Рекомендации

  • Фредхольм, Э. И. (1903). "Sur une classe d'equations fonctionnelles". Acta Math. 27: 365–390. Дои:10.1007 / bf02421317.
  • А.Г. Рамм "Простое доказательство альтернативы Фредгольма и характеризация операторов Фредгольма ", Американский математический ежемесячный журнал, 108 (2001) стр. 855.
  • Хведелидзе, Б.В. (2001) [1994], «Теоремы Фредгольма для интегральных уравнений», Энциклопедия математики, EMS Press
  • Вайсштейн, Эрик В. «Фредгольмская альтернатива». MathWorld.