В математике собственная функция линейного оператора D , определенного в некотором функциональном пространстве , — это любая ненулевая функция в этом пространстве, которая при воздействии на нее D умножается только на некоторый масштабный коэффициент, называемый собственным значением . В виде уравнения это условие можно записать как для некоторого скалярного собственного значения [1] [2] [3] Решения этого уравнения также могут подчиняться граничным условиям , которые ограничивают допустимые собственные значения и собственные функции.
Собственная функция — это тип собственного вектора .
В общем случае собственный вектор линейного оператора D, определенного в некотором векторном пространстве, является ненулевым вектором в области D , который, когда D действует на него, просто масштабируется некоторой скалярной величиной, называемой собственным значением. В особом случае, когда D определен в функциональном пространстве, собственные векторы называются собственными функциями . То есть функция f является собственной функцией D, если она удовлетворяет уравнению
где λ — скаляр. [1] [2] [3] Решения уравнения ( 1 ) также могут подчиняться граничным условиям. Из-за граничных условий возможные значения λ обычно ограничены, например, дискретным набором λ 1 , λ 2 , … или непрерывным набором в некотором диапазоне. Набор всех возможных собственных значений D иногда называют его спектром , который может быть дискретным, непрерывным или комбинацией обоих. [1]
Каждое значение λ соответствует одной или нескольким собственным функциям. Если несколько линейно независимых собственных функций имеют одно и то же собственное значение, то собственное значение называется вырожденным , а максимальное количество линейно независимых собственных функций, связанных с одним и тем же собственным значением, является степенью вырождения или геометрической кратностью собственного значения . [4] [5]
Широко используемый класс линейных операторов, действующих в бесконечномерных пространствах, — это дифференциальные операторы в пространстве C ∞ бесконечно дифференцируемых действительных или комплексных функций действительного или комплексного аргумента t . Например, рассмотрим оператор производной с уравнением на собственные значения
Это дифференциальное уравнение можно решить, умножив обе части на и проинтегрировав. Его решение, экспоненциальная функция, является собственной функцией оператора производной, где f 0 — параметр, зависящий от граничных условий. Обратите внимание, что в этом случае собственная функция сама является функцией своего соответствующего собственного значения λ, которое может принимать любое действительное или комплексное значение. В частности, обратите внимание, что при λ = 0 собственная функция f ( t ) является константой.
Предположим в примере, что f ( t ) подчиняется граничным условиям f (0) = 1 и . Тогда мы находим, что где λ = 2 — единственное собственное значение дифференциального уравнения, которое также удовлетворяет граничному условию.
Собственные функции могут быть выражены как векторы-столбцы, а линейные операторы могут быть выражены как матрицы, хотя они могут иметь бесконечные размеры. В результате многие концепции, связанные с собственными векторами матриц, переносятся на изучение собственных функций.
Определим скалярное произведение в функциональном пространстве, на котором D определяется как интегрированное в некотором диапазоне интереса для t, называемом Ω. * обозначает комплексно сопряженное .
Предположим, что функциональное пространство имеет ортонормированный базис , заданный набором функций { u 1 ( t ), u 2 ( t ), …, u n ( t )}, где n может быть бесконечным. Для ортонормированного базиса, где δ ij — символ Кронекера , и его можно рассматривать как элементы единичной матрицы .
Функции могут быть записаны как линейная комбинация базисных функций, например, через разложение Фурье функции f ( t ). Коэффициенты b j могут быть сложены в вектор-столбец размером n на 1 b = [ b 1 b 2 … b n ] T . В некоторых особых случаях, таких как коэффициенты ряда Фурье синусоидальной функции, этот вектор-столбец имеет конечную размерность.
Дополнительно определим матричное представление линейного оператора D с элементами
Мы можем записать функцию Df ( t ) либо как линейную комбинацию базисных функций, либо как D, действующую на расширение f ( t ),
Взяв внутреннее произведение каждой части этого уравнения с произвольной базисной функцией u i ( t ),
Это матричное умножение Ab = c, записанное в записи суммирования, и является матричным эквивалентом оператора D, действующего на функцию f ( t ), выраженную в ортонормированном базисе. Если f ( t ) является собственной функцией D с собственным значением λ, то Ab = λb .
Многие из операторов, встречающихся в физике, являются эрмитовыми . Предположим, что линейный оператор D действует на функциональное пространство, которое является гильбертовым пространством с ортонормированным базисом, заданным набором функций { u 1 ( t ), u 2 ( t ), …, u n ( t )}, где n может быть бесконечным. В этом базисе оператор D имеет матричное представление A с элементами, интегрированными в некотором диапазоне для t, обозначенном Ω.
По аналогии с эрмитовыми матрицами , D является эрмитовым оператором, если A ij = A ji *, или: [6]
Рассмотрим эрмитов оператор D с собственными значениями λ 1 , λ 2 , … и соответствующими собственными функциями f 1 ( t ), f 2 ( t ), …. Этот эрмитов оператор обладает следующими свойствами:
Второе условие всегда выполняется для λ i ≠ λ j . Для вырожденных собственных функций с одинаковым собственным значением λ i , всегда можно выбрать ортогональные собственные функции, охватывающие собственное пространство, связанное с λ i , например, с помощью процесса Грама-Шмидта . [5] В зависимости от того, является ли спектр дискретным или непрерывным, собственные функции можно нормализовать, установив внутреннее произведение собственных функций равным либо дельта-функции Кронекера, либо дельта-функции Дирака соответственно. [8] [9]
Для многих эрмитовых операторов, в частности операторов Штурма–Лиувилля , есть третье свойство:
Вследствие этого во многих важных случаях собственные функции эрмитова оператора образуют ортонормированный базис. В этих случаях произвольная функция может быть выражена в виде линейной комбинации собственных функций эрмитова оператора.
Пусть h ( x , t ) обозначает поперечное смещение напряженной упругой хорды, такой как вибрирующие струны струнного инструмента , как функцию положения x вдоль струны и времени t . Применяя законы механики к бесконечно малым частям струны, функция h удовлетворяет частному дифференциальному уравнению , которое называется (одномерным) волновым уравнением . Здесь c — постоянная скорость, которая зависит от натяжения и массы струны.
Эта задача поддается методу разделения переменных . Если предположить, что h ( x , t ) можно записать как произведение вида X ( x ) T ( t ) , то можно составить пару обыкновенных дифференциальных уравнений:
Каждое из них является уравнением собственных значений с собственными значениями и − ω 2 соответственно. Для любых значений ω и c уравнения удовлетворяются функциями, где фазовые углы φ и ψ являются произвольными действительными константами.
Если мы накладываем граничные условия, например, что концы струны зафиксированы в x = 0 и x = L , а именно X (0) = X ( L ) = 0 , и что T (0) = 0 , мы ограничиваем собственные значения. Для этих граничных условий sin( φ ) = 0 и sin( ψ ) = 0 , поэтому фазовые углы φ = ψ = 0 , и
Это последнее граничное условие ограничивает ω значением ω n = ncπ/Л , где n — любое целое число. Таким образом, зажатая струна поддерживает семейство стоячих волн вида
В примере со струнным инструментом частота ω n является частотой n -й гармоники , которая называется ( n − 1) -м обертоном .
В квантовой механике уравнение Шредингера с оператором Гамильтона может быть решено путем разделения переменных, если гамильтониан не зависит явно от времени. [10] В этом случае волновая функция Ψ( r , t ) = φ ( r ) T ( t ) приводит к двум дифференциальным уравнениям,
Оба эти дифференциальные уравнения являются уравнениями собственных значений с собственным значением E. Как показано в предыдущем примере, решение уравнения ( 3 ) является экспоненциальным
Уравнение ( 2 ) является независимым от времени уравнением Шредингера. Собственные функции φ k оператора Гамильтона являются стационарными состояниями квантово-механической системы, каждое из которых имеет соответствующую энергию E k . Они представляют собой допустимые энергетические состояния системы и могут быть ограничены граничными условиями.
Гамильтонов оператор H является примером эрмитова оператора, собственные функции которого образуют ортонормированный базис. Когда гамильтониан не зависит явно от времени, общие решения уравнения Шредингера являются линейными комбинациями стационарных состояний, умноженных на колебательное T ( t ) , [11] или, для системы с непрерывным спектром,
Успех уравнения Шредингера в объяснении спектральных характеристик водорода считается одним из величайших триумфов физики XX века.
При изучении сигналов и систем собственной функцией системы является сигнал f ( t ) , который при подаче на вход системы вызывает ответ y ( t ) = λf ( t ) , где λ — комплексное скалярное собственное значение. [12]