Эрмитовость лапласиана (и других операторов)

Является оператором Лапласа, 2 , эрмитов оператор ?

В качестве альтернативы: является ли матричное представление лапласовским эрмитовым?

то есть

2 Икс | у "=" Икс | 2 у

я полагаю, что 2 эрмитов (если бы это было не так, то гамильтониан в нестационарном уравнении Шредингера не был бы эрмитовым), но я не знаю, как можно было бы доказать, что это так.

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

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

Извините, если этот вопрос некорректно поставлен. Я не уверен, что мне нужно быть более конкретным в определениях «эрмитов» и «лапласианцев». Не стесняйтесь запрашивать разъяснения.

Ответы (2)

В общем случае нужно записать интегралы для ф | Δ ψ и Δ ф | ψ и преобразовать их друг в друга с помощью интегрирования по частям.

Эрмитовость не зависит от используемого базиса (матричного представления). Но это зависит от наложенных граничных условий, так как необходимо убедиться, что интегрирование по частям не порождает неэрмитовых граничных членов.

С граничными условиями, обычно используемыми в квантовой механике (квадратичная интегрируемость в р н ), это самосопряженный оператор и, в частности, эрмитов.

Да.

Эрмитова значит самосопряженная по отношению к сопряженно-линейной форме. В этом случае форма ф | ψ "=" ф ψ * , где интеграл заканчивается р 3 . Вы знаете это, потому что п "=" ψ ψ * дает вероятность найти частицу на Икс , так ψ | ψ "=" п "=" 1 для одной частицы. Это не должно быть доказательством, просто способ исключить почти любую другую возможную сопряженно-линейную форму, о которой вы можете подумать.

Самосопряженный означает, что 2 ф | ψ "=" ф | 2 ψ . В этом случае,

( 2 ф ) ψ * "=" ф ( 2 ψ ) * "=" ( ( 2 ψ ) ф * ) * .
Итак, давайте сделаем это. При свободном использовании интегрирования частями и вещами, исчезающими в бесконечности, когда они должны исчезать,
( 2 ф ) ψ * "=" г 2 ф г Икс я 2 ψ * "=" г ф г Икс я г ψ * г Икс я "=" ( г ψ г Икс я г ф * г Икс я ) * "=" ( ( 2 ψ ) ф * ) * .