WikiDer > Принцип ограничения поглощения

В математике принцип предельного поглощения (LAP) это концепция от теория операторов и теория рассеяния который заключается в выборе "правильного" противовоспалительное средство из линейный оператор на существенный спектр на основе поведения резольвенты вблизи существенного спектра. Этот термин часто используется для обозначения того, что резольвента, если рассматривать ее не в исходном пространстве (которое обычно то ${ displaystyle L ^ {2}}$ Космос), но в некоторых весовых пространствах (обычно ${ displaystyle L_ {s} ^ {2}}$, см. ниже), имеет предел по мере приближения спектрального параметра к существенному спектру. Эта концепция возникла из идеи введения малого поглощения в волновое уравнение для выбора конкретных решений, восходящего к Владимир Игнатовский.^[1]

Отношение к теории рассеяния

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

В качестве примера рассмотрим Оператор Лапласа в одном измерении, что является неограниченный оператор ${ displaystyle A = - partial _ {x} ^ {2},}$ действуя в ${ Displaystyle L ^ {2} ( mathbb {R})}$ и определен в домене ${ Displaystyle D (A) = H ^ {2} ( mathbb {R})}$, то Соболевское пространство. Опишем его противовоспалительное средство, ${ Displaystyle Р ( лямбда) = (A- лямбда I) ^ {- 1}}$. Учитывая уравнение

${ displaystyle (- partial _ {x} ^ {2} - lambda) u (x) = f (x), quad x in mathbb {R}, quad f in L ^ {2} ( mathbb {R})}$,

то для спектрального параметра ${ displaystyle lambda}$ от набор резольвент ${ Displaystyle mathbb {C} smallsetminus { overline { mathbb {R} _ {+}}}}$, решение ${ Displaystyle и в L ^ {2} ( mathbb {R})}$ дан кем-то${ Displaystyle и (Икс) = (р ( лямбда) е) (х) = (G ( cdot, лямбда) * е) (х),}$куда ${ Displaystyle G ( cdot, lambda) * f}$ это свертка из ж с фундаментальное решение грамм:

${ Displaystyle (G ( cdot, lambda) * f) (x) = int _ { mathbb {R}} G (x-y; lambda) f (y) , dy,}$

с фундаментальным решением, данным

${ displaystyle G (x; lambda) = { frac {1} {2 { sqrt {- lambda}}}} e ^ {- | x | { sqrt {- lambda}}}, quad lambda in mathbb {C} smallsetminus { overline { mathbb {R} _ {+}}}.}$

Ясно, какую из ветвей квадратного корня нужно выбрать: ту с положительной действительной частью (которая затухает при больших абсолютных значениях Икс), так что свертка грамм с ${ Displaystyle е в L ^ {2} ( mathbb {R})}$ имеет смысл.

Можно рассматривать предел фундаментального решения ${ Displaystyle G (х; лямбда)}$ в качестве ${ displaystyle lambda}$ приближается к спектру ${ displaystyle - partial _ {x} ^ {2}}$, данный${ displaystyle sigma (- partial _ {x} ^ {2}) = { overline { mathbb {R} _ {+}}} = [0, + infty)}$.В зависимости от того, ${ displaystyle lambda}$ приближается к спектру сверху или снизу, будут два разных предельных выражения:${ displaystyle G _ {+} (x; lambda) = lim _ { varepsilon to 0+} G (x; lambda + i varepsilon) = - { frac {1} {2i { sqrt { lambda}}}} e ^ {i | x | { sqrt { lambda}}}}$если ${ displaystyle lambda = | lambda | + i0}$ (когда ${ displaystyle lambda}$ подходы ${ Displaystyle mathbb {R} _ {+}}$ сверху) и${ displaystyle G _ {-} (x; lambda) = lim _ { varepsilon to 0+} G (x; lambda -i varepsilon) = { frac {1} {2i { sqrt { лямбда}}}} e ^ {- i | x | { sqrt { lambda}}}}$(при приближении ${ Displaystyle mathbb {R} _ {+}}$ снизу).

Чему соответствуют эти два разных предела? Напомним, что к указанной выше спектральной задаче приходят при изучении Уравнение Шредингера,

${ Displaystyle я , partial _ {t} psi (t, x) = - partial _ {x} ^ {2} psi (t, x), quad t in mathbb {R}, quad x in mathbb {R}.}$

Слово «поглощение» связано с тем, что если бы среда была поглощающей, то уравнение было бы следующим:${ Displaystyle я , partial _ {t} psi (t, x) = - partial _ {x} ^ {2} psi (t, x) -i varepsilon psi (t, x)}$, решение с ${ displaystyle varepsilon> 0}$ получит временной распад: ${ Displaystyle psi (t, x) to psi (t, x) e ^ {- varepsilon t}}$, ${ Displaystyle т к + infty}$; «предельное поглощение» означает, что эта мнимая часть стремится к нулю. Из-за этого затухания во времени на положительные времена преобразование Фурье во времени решения,

${ displaystyle { hat { psi}} ( lambda, x) = int _ { mathbb {R}} e ^ {я lambda t} psi (t, x) , dt,}$

можно аналитически продолжить в небольшую область нижней полуплоскости, ${ displaystyle lambda in mathbb {C}}$, с ${ displaystyle Im lambda> - varepsilon}$. В этом смысле «правильная» резольвента, соответствующая исходящим волнам, будет представлена ​​оператором ${ Displaystyle R _ {-} ( lambda)}$ с интегральным ядром ${ Displaystyle G _ {-} (х-у, лямбда)}$, которая определяется как предел резольвенты при приближении к спектру из области ${ displaystyle Im lambda <0}$.^[2]

Оценки в весовых пространствах

Позволять ${ Displaystyle A: , от X до X}$ быть линейный оператор в Банахово пространство ${ displaystyle X}$, определенные в домене ${ Displaystyle D (A) подмножество X}$Для значений спектрального параметра из резольвентного множества оператора ${ displaystyle lambda in rho (A) subset mathbb {C}}$, резольвента ${ Displaystyle Р ( лямбда) = (A- лямбда I) ^ {- 1}}$ ограничен, если рассматривать его как линейный оператор, действующий из ${ displaystyle X}$ себе, ${ Displaystyle Р ( лямбда): , Х к Х}$, но его оценка зависит от спектрального параметра ${ displaystyle lambda}$ и стремится к бесконечности при ${ displaystyle lambda}$ приближается к спектру оператора, ${ displaystyle sigma (A) = mathbb {C} smallsetminus rho (A)}$. Точнее, существует соотношение

${ Displaystyle Vert R ( lambda) Vert geq { frac {1} { OperatorName {dist} ( lambda, sigma (A))}}, qquad lambda in rho (A) .}$

В последние годы многие ученые ссылаются на «принцип предельного поглощения», когда хотят сказать, что резольвент ${ Displaystyle R ( lambda)}$ конкретного оператора А, когда рассматривается как действующий в определенных весовых пространствах, имеет предел (и / или остается равномерно ограниченным) как спектральный параметр ${ displaystyle lambda}$ приближается к существенному спектру, ${ displaystyle sigma _ {ess} (А)}$. Например, в приведенном выше примере оператора Лапласа в одном измерении, ${ displaystyle A = - partial _ {x} ^ {2}: , L ^ {2} ( mathbb {R}) to L ^ {2} ( mathbb {R})}$, определенные в домене ${ Displaystyle D (А) = Н ^ {2} ( mathbb {R})}$, за ${ displaystyle lambda> 0}$, оба оператора ${ displaystyle R _ { pm} ( lambda)}$ с целыми ядрами ${ Displaystyle G _ { pm} (х-у; лямбда)}$ не ограничены ${ displaystyle L ^ {2}}$ (то есть как операторы из ${ displaystyle L ^ {2}}$ самому себе), но оба будут ограничены, если рассматривать их как операторы

${ displaystyle R _ { pm} ( lambda): ; L_ {s} ^ {2} ( mathbb {R}) to L _ {- s} ^ {2} ( mathbb {R}), quad s> 1/2, quad lambda in mathbb {C} smallsetminus { overline { mathbb {R} _ {+}}},}$

где пространства ${ Displaystyle L_ {s} ^ {2} ( mathbb {R})}$ определяются как пространства локально интегрируемый функции такие, что их ${ Displaystyle L_ {s} ^ {2}}$-норма,

${ Displaystyle Vert и Vert _ {L_ {s} ^ {2} ( mathbb {R})} ^ {2} = int _ { mathbb {R}} (1 + x ^ {2}) ^ {s} | u (x) | ^ {2} , dx,}$

конечно.^[3][4]

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