stringtranslate.com

Operador autoadjunto

En matemáticas , un operador autoadjunto en un espacio vectorial complejo V con producto interno es una función lineal A (de V a sí misma) que es su propio adjunto . Si V es de dimensión finita con una base ortonormal dada , esto es equivalente a la condición de que la matriz de A sea una matriz hermítica , es decir, igual a su transpuesta conjugada A ∗ . Por el teorema espectral de dimensión finita , V tiene una base ortonormal tal que la matriz de A relativa a esta base es una matriz diagonal con entradas en los números reales . Este artículo trata de aplicar generalizaciones de este concepto a operadores en espacios de Hilbert de dimensión arbitraria.

Los operadores autoadjuntos se utilizan en el análisis funcional y la mecánica cuántica . En la mecánica cuántica, su importancia radica en la formulación de Dirac-von Neumann de la mecánica cuántica, en la que los observables físicos como la posición , el momento , el momento angular y el espín se representan mediante operadores autoadjuntos en un espacio de Hilbert. De particular importancia es el operador hamiltoniano definido por

que como observable corresponde a la energía total de una partícula de masa m en un campo potencial real V. Los operadores diferenciales son una clase importante de operadores ilimitados .

La estructura de los operadores autoadjuntos en espacios de Hilbert de dimensión infinita se asemeja esencialmente al caso de dimensión finita. Es decir, los operadores son autoadjuntos si y solo si son unitariamente equivalentes a operadores de multiplicación de valor real . Con las modificaciones adecuadas, este resultado se puede extender a operadores posiblemente ilimitados en espacios de dimensión infinita. Dado que un operador autoadjunto definido en todas partes está necesariamente limitado, es necesario prestar más atención a la cuestión del dominio en el caso ilimitado. Esto se explica a continuación con más detalle.

Definiciones

Sea un espacio de Hilbert y un operador no acotado (es decir, no necesariamente acotado) con un dominio denso . Esta condición se cumple automáticamente cuando es de dimensión finita ya que para cada operador lineal en un espacio de dimensión finita.

El gráfico de un operador (arbitrario) es el conjunto Se dice que un operador extiende si Esto se escribe como

Sea el producto interno lineal conjugado en el segundo argumento. El operador adjunto actúa sobre el subespacio formado por los elementos tales que

El operador definido densamente se llama simétrico (o hermítico ) si , es decir, si y para todo . Equivalentemente, es simétrico si y sólo si

Como es denso en , los operadores simétricos siempre se pueden cerrar (es decir, el cierre de es el gráfico de un operador). Si es una extensión cerrada de , la extensión cerrada más pequeña de debe estar contenida en . Por lo tanto,

para operadores simétricos y

para operadores simétricos cerrados. [1]

El operador definido densamente se llama autoadjunto si , es decir, si y solo si es simétrico y . De manera equivalente, un operador simétrico cerrado es autoadjunto si y solo si es simétrico. Si es autoadjunto, entonces es real para todo , es decir, [2]

Se dice que un operador simétrico es esencialmente autoadjunto si el cierre de es autoadjunto. De manera equivalente, es esencialmente autoadjunto si tiene una única extensión autoadjunta. En términos prácticos, tener un operador esencialmente autoadjunto es casi tan bueno como tener un operador autoadjunto, ya que solo necesitamos tomar el cierre para obtener un operador autoadjunto.

En física, el término hermítico se refiere tanto a operadores simétricos como a operadores autoadjuntos. La diferencia sutil entre ambos suele pasarse por alto.

Operadores autoadjuntos acotados

Sea un espacio de Hilbert y un operador simétrico. Según el teorema de Hellinger-Toeplitz , si entonces es necesariamente acotado. [3] Un operador acotado es autoadjunto si

Todo operador acotado puede escribirse en la forma compleja donde y son operadores autoadjuntos acotados. [4]

Alternativamente, cada operador lineal acotado positivo es autoadjunto si el espacio de Hilbert es complejo . [5]

Propiedades

Un operador autoadjunto acotado definido en tiene las siguientes propiedades: [6] [7]

Espectro de operadores autoadjuntos

Sea un operador ilimitado. [8] El conjunto resolutivo (o conjunto regular ) de se define como

Si es acotado, la definición se reduce a ser biyectiva en . El espectro de se define como el complemento

En dimensiones finitas, consiste exclusivamente en valores propios (complejos) . [9] El espectro de un operador autoadjunto es siempre real (es decir, ), aunque también existen operadores no autoadjuntos con espectro real. [10] [11] Sin embargo, para operadores acotados ( normales ), el espectro es real si y solo si el operador es autoadjunto. [12] Esto implica, por ejemplo, que un operador no autoadjunto con espectro real es necesariamente ilimitado.

Como preliminar, defina y con . Luego, para cada uno y cada una

dónde

De hecho, sea por la desigualdad de Cauchy-Schwarz ,

Si entonces y se llama acotado inferiormente .

Teorema  :  El operador autoadjunto tiene espectro real

Prueba

Sea autoadjunto y denote con Es suficiente para demostrar que

  1. Sea El objetivo es probar la existencia y la delimitación de y demostrar que Comenzamos demostrando que y
    1. Como se muestra arriba, está acotado por debajo, es decir, con la trivialidad de lo que sigue.
    2. Queda por demostrar que , en efecto,
      1. es cerrada. Para probar esto, escoja una secuencia que converja a algún Dado que es fundamental . Por lo tanto, converge a algún Además, y Los argumentos presentados hasta ahora son válidos para cualquier operador simétrico. Ahora se deduce de la autoadjunción que es cerrada, por lo que y en consecuencia
      2. es denso en La autoadjunción de (ie ) implica y por lo tanto . La inclusión posterior implica y, en consecuencia,
  2. Ahora se ha demostrado que el operador es biyectivo, por lo que existe y está definido en todas partes. El gráfico de es el conjunto Como es cerrado (porque es), entonces es Por el teorema del grafo cerrado , está acotado, por lo que

Teorema  :  El operador simétrico con espectro real es autoadjunto

Prueba
  1. es simétrica; por lo tanto y para cada . Sea Si entonces y los operadores son ambos biyectivos.
  2. En efecto, . Es decir, si entonces no sería inyectiva (es decir ). Pero y, por lo tanto, Esto contradice la biyectividad.
  3. La igualdad muestra que ie es autoadjunto. En efecto, basta con demostrar que Para cada y

Teorema espectral

En la literatura de física, el teorema espectral se enuncia a menudo diciendo que un operador autoadjunto tiene una base ortonormal de vectores propios. Sin embargo, los físicos son muy conscientes del fenómeno del "espectro continuo"; por lo tanto, cuando hablan de una "base ortonormal" se refieren a una base ortonormal en el sentido clásico o a algún análogo continuo de la misma. En el caso del operador de momento , por ejemplo, los físicos dirían que los vectores propios son las funciones , que claramente no están en el espacio de Hilbert . (Los físicos dirían que los vectores propios son "no normalizables"). Los físicos luego continuarían diciendo que estos "vectores propios generalizados" forman una "base ortonormal en el sentido continuo" para , después de reemplazar el delta de Kronecker habitual por una función delta de Dirac . [13]

Aunque estas afirmaciones pueden parecer desconcertantes para los matemáticos, se pueden hacer rigurosas mediante el uso de la transformada de Fourier, que permite expresar una función general como una "superposición" (es decir, integral) de las funciones , aunque estas funciones no estén en . La transformada de Fourier "diagonaliza" el operador de momento; es decir, lo convierte en el operador de multiplicación por , donde es la variable de la transformada de Fourier.

El teorema espectral en general se puede expresar de manera similar como la posibilidad de "diagonalizar" un operador al mostrar que es unitariamente equivalente a un operador de multiplicación. Otras versiones del teorema espectral tienen la intención de capturar la idea de que un operador autoadjunto puede tener "vectores propios" que no están realmente en el espacio de Hilbert en cuestión.

Forma del operador de multiplicación del teorema espectral

En primer lugar, sea un espacio de medida σ-finito y una función medible en . Entonces el operador , definido por

dónde

se llama operador de multiplicación . [14] Cualquier operador de multiplicación es un operador autoadjunto. [15]

En segundo lugar, dos operadores y con dominios densos y en espacios de Hilbert y , respectivamente, son unitariamente equivalentes si y solo si existe una transformación unitaria tal que: [16]

Si son unitariamente equivalentes y están acotados, entonces ; si es autoadjunto, entonces también lo es .

Teorema  :  Cualquier operador autoadjunto en un espacio de Hilbert separable es unitariamente equivalente a un operador de multiplicación, es decir, [17]

El teorema espectral se cumple tanto para operadores autoadjuntos acotados como ilimitados. La prueba de este último se obtiene mediante reducción al teorema espectral para operadores unitarios . [18] Podríamos notar que si es la multiplicación por , entonces el espectro de es simplemente el rango esencial de .

También existen versiones más completas del teorema espectral que involucran integrales directas y llevan consigo la noción de "vectores propios generalizados". [19]

Cálculo funcional

Una aplicación del teorema espectral es definir un cálculo funcional . Es decir, si es una función en la recta real y es un operador autoadjunto, deseamos definir el operador . El teorema espectral muestra que si se representa como el operador de multiplicación por , entonces es el operador de multiplicación por la composición .

Un ejemplo de la mecánica cuántica es el caso en el que es el operador hamiltoniano . Si tiene una base ortonormal verdadera de vectores propios con valores propios , entonces puede definirse como el operador único acotado con valores propios tales que:

El objetivo del cálculo funcional es extender esta idea al caso donde tiene espectro continuo (es decir, donde no tiene vectores propios normalizables).

Se ha acostumbrado a introducir la siguiente notación

donde es la función indicadora del intervalo . La familia de operadores de proyección E(λ) se denomina resolución de la identidad para T . Además, se puede demostrar la siguiente representación integral de Stieltjes para T :

Formulación en la literatura de física

En mecánica cuántica, la notación de Dirac se utiliza como expresión combinada tanto para el teorema espectral como para el cálculo funcional de Borel . Es decir, si H es autoadjunto y f es una función de Borel ,

con

donde la integral recorre todo el espectro de H . La notación sugiere que H está diagonalizada por los vectores propios Ψ E . Tal notación es puramente formal . La resolución de la identidad (a veces llamada medidas con valores de proyección ) se asemeja formalmente a las proyecciones de rango 1 . En la notación de Dirac, las mediciones (proyectivas) se describen mediante valores propios y estados propios , ambos objetos puramente formales. Como era de esperar, esto no sobrevive al paso a la resolución de la identidad. En la última formulación, las mediciones se describen utilizando la medida espectral de , si el sistema se prepara en antes de la medición. Alternativamente, si uno quisiera preservar la noción de estados propios y hacerla rigurosa, en lugar de meramente formal, puede reemplazar el espacio de estados por un espacio de Hilbert manipulado adecuado .

Si f = 1 , el teorema se denomina resolución de la unidad:

En el caso de que sea la suma de un operador hermítico H y un operador antihermítico (ver matriz antihermítica ) , se define el conjunto de base biortogonal

y escribe el teorema espectral como:

(Véase la partición de Feshbach-Fano para el contexto donde aparecen dichos operadores en la teoría de dispersión ).

Formulación para operadores simétricos

El teorema espectral se aplica únicamente a operadores autoadjuntos, y no en general a operadores simétricos. No obstante, en este punto podemos dar un ejemplo simple de un operador simétrico (específicamente, un operador esencialmente autoadjunto) que tiene una base ortonormal de vectores propios. Consideremos el espacio complejo de Hilbert L 2 [0,1] y el operador diferencial

con todas las funciones infinitamente diferenciables de valor complejo f en [0, 1] que satisfacen las condiciones de contorno

Luego, la integración por partes del producto interno muestra que A es simétrica. [nb 1] Las funciones propias de A son las senoides

con los valores propios reales n 2 π 2 ; la ortogonalidad bien conocida de las funciones seno se deduce como consecuencia de que A es simétrica.

Se puede observar que el operador A tiene una inversa compacta , lo que significa que la ecuación diferencial correspondiente Af = g se resuelve mediante algún operador integral (y, por lo tanto, compacto) G . El operador simétrico compacto G tiene entonces una familia contable de vectores propios que son completos en L 2 . Lo mismo puede decirse entonces de A .

Espectro de puntos puros

Un operador autoadjunto A en H tiene espectro puntual puro si y solo si H tiene una base ortonormal { e i } i ∈ I que consiste en vectores propios para A .

Ejemplo . El hamiltoniano para el oscilador armónico tiene un potencial cuadrático V , es decir

Este hamiltoniano tiene un espectro de puntos puro; esto es típico de los hamiltonianos de estados ligados en la mecánica cuántica. [ aclaración necesaria ] [20] Como se señaló en un ejemplo anterior, una condición suficiente para que un operador simétrico ilimitado tenga vectores propios que formen una base del espacio de Hilbert es que tenga una inversa compacta.

Operadores simétricos vs operadores autoadjuntos

Aunque la distinción entre un operador simétrico y un operador (esencialmente) autoadjunto es sutil, es importante ya que la autoadjunción es la hipótesis del teorema espectral. Aquí analizamos algunos ejemplos concretos de la distinción.

Condiciones de contorno

En el caso en que el espacio de Hilbert sea un espacio de funciones en un dominio acotado, estas distinciones tienen que ver con un problema familiar en física cuántica: no se puede definir un operador (como el operador de momento o el operador hamiltoniano) en un dominio acotado sin especificar condiciones de contorno . En términos matemáticos, elegir las condiciones de contorno equivale a elegir un dominio apropiado para el operador. Consideremos, por ejemplo, el espacio de Hilbert (el espacio de funciones integrables al cuadrado en el intervalo [0,1]). Definamos un operador de momento A en este espacio mediante la fórmula habitual, fijando la constante de Planck en 1:

Ahora debemos especificar un dominio para A , lo que equivale a elegir condiciones de contorno. Si elegimos

entonces A no es simétrico (porque los términos de contorno en la integración por partes no se desvanecen).

Si elegimos

Luego, utilizando la integración por partes, se puede verificar fácilmente que A es simétrico. Sin embargo, este operador no es esencialmente autoadjunto [21] , básicamente porque hemos especificado demasiadas condiciones de contorno en el dominio de A , lo que hace que el dominio del adjunto sea demasiado grande (ver también el ejemplo a continuación).

En concreto, con la elección anterior del dominio para A , el dominio del cierre de A es

mientras que el dominio del adjunto de A es

Es decir, el dominio del cierre tiene las mismas condiciones de contorno que el dominio de A mismo, sólo un supuesto de suavidad menos estricto. Mientras tanto, dado que hay "demasiadas" condiciones de contorno en A , hay "muy pocas" (en realidad, ninguna en este caso) para . Si calculamos para usando la integración por partes, entonces como se desvanece en ambos extremos del intervalo, no se necesitan condiciones de contorno en para cancelar los términos de contorno en la integración por partes. Por lo tanto, cualquier función suficientemente suave está en el dominio de , con . [22]

Como el dominio de la clausura y el dominio del adjunto no concuerdan, A no es esencialmente autoadjunto. Después de todo, un resultado general dice que el dominio del adjunto de es el mismo que el dominio del adjunto de A . Por lo tanto, en este caso, el dominio del adjunto de es mayor que el dominio de sí mismo, lo que demuestra que no es autoadjunto, lo que por definición significa que A no es esencialmente autoadjunto.

El problema con el ejemplo anterior es que impusimos demasiadas condiciones de contorno en el dominio de A. Una mejor elección de dominio sería utilizar condiciones de contorno periódicas:

Con este dominio, A es esencialmente autoadjunto. [23]

En este caso, podemos entender las implicaciones de las cuestiones de dominio para el teorema espectral. Si utilizamos la primera opción de dominio (sin condiciones de contorno), todas las funciones para son vectores propios, con valores propios , y por lo tanto el espectro es todo el plano complejo. Si utilizamos la segunda opción de dominio (con condiciones de contorno de Dirichlet), A no tiene vectores propios en absoluto. Si utilizamos la tercera opción de dominio (con condiciones de contorno periódicas), podemos encontrar una base ortonormal de vectores propios para A , las funciones . Por lo tanto, en este caso encontrar un dominio tal que A sea autoadjunto es un compromiso: el dominio tiene que ser lo suficientemente pequeño para que A sea simétrico, pero lo suficientemente grande para que .

Operadores de Schrödinger con potenciales singulares

Un ejemplo más sutil de la distinción entre operadores simétricos y (esencialmente) autoadjuntos proviene de los operadores de Schrödinger en mecánica cuántica. Si la energía potencial es singular, en particular si el potencial no está acotado por debajo, el operador de Schrödinger asociado puede no ser esencialmente autoadjunto. En una dimensión, por ejemplo, el operador

no es esencialmente autoadjunto en el espacio de funciones suaves y de rápida desintegración. [24] En este caso, la falla de la autoadjunción esencial refleja una patología en el sistema clásico subyacente: una partícula clásica con un potencial escapa al infinito en un tiempo finito. Este operador no tiene un autoadjunto único , pero sí admite extensiones autoadjuntas obtenidas al especificar "condiciones de contorno en el infinito". (Como es un operador real, conmuta con conjugación compleja. Por lo tanto, los índices de deficiencia son automáticamente iguales, que es la condición para tener una extensión autoadjunta).

En este caso, si definimos inicialmente en el espacio de funciones suaves y de decaimiento rápido, el adjunto será "el mismo" operador (es decir, dado por la misma fórmula) pero en el dominio más grande posible, es decir

Es posible entonces demostrar que no es un operador simétrico, lo que ciertamente implica que no es esencialmente autoadjunto. De hecho, tiene vectores propios con valores propios imaginarios puros, [25] [26] lo cual es imposible para un operador simétrico. Esta extraña ocurrencia es posible debido a una cancelación entre los dos términos en : Hay funciones en el dominio de para las cuales ni ni están por separado en , pero la combinación de ellas que ocurren en está en . Esto permite que sean no simétricos, aunque ambos y son operadores simétricos. Este tipo de cancelación no ocurre si reemplazamos el potencial repulsivo con el potencial confinante .

Operadores no autoadjuntos en mecánica cuántica

En mecánica cuántica, los observables corresponden a operadores autoadjuntos. Según el teorema de Stone sobre grupos unitarios de un parámetro , los operadores autoadjuntos son precisamente los generadores infinitesimales de grupos unitarios de operadores de evolución temporal . Sin embargo, muchos problemas físicos se formulan como una ecuación de evolución temporal que involucra operadores diferenciales para los cuales el hamiltoniano solo es simétrico. En tales casos, o bien el hamiltoniano es esencialmente autoadjunto, en cuyo caso el problema físico tiene soluciones únicas, o bien se intenta encontrar extensiones autoadjuntas del hamiltoniano correspondientes a diferentes tipos de condiciones de contorno o condiciones en el infinito.

Ejemplo. El operador de Schrödinger unidimensional con el potencial , definido inicialmente en funciones suaves y compactas, es esencialmente autoadjunto para 0 < α ≤ 2 pero no para α > 2 . [27] [28]

La falla de la autoadjunción esencial tiene una contraparte en la dinámica clásica de una partícula con potencial : la partícula clásica escapa al infinito en un tiempo finito. [29]

Ejemplo. No existe un operador de momento autoadjunto para una partícula que se mueve sobre una semirrecta. Sin embargo, el hamiltoniano de una partícula "libre" sobre una semirrecta tiene varias extensiones autoadjuntas que corresponden a diferentes tipos de condiciones de contorno. Físicamente, estas condiciones de contorno están relacionadas con las reflexiones de la partícula en el origen. [30]

Ejemplos

Un operador simétrico que no es esencialmente autoadjunto

Primero consideramos el espacio de Hilbert y el operador diferencial

definida en el espacio de funciones de valores complejos continuamente diferenciables en [0,1], que satisfacen las condiciones de contorno

Entonces D es un operador simétrico como se puede demostrar mediante la integración por partes . Los espacios N + , N (definidos a continuación) están dados respectivamente por las soluciones distribucionales de la ecuación

que están en L 2 [0, 1]. Se puede demostrar que cada uno de estos espacios de solución es unidimensional, generado por las funciones xe −x y xe x respectivamente. Esto demuestra que D no es esencialmente autoadjunto, [31] pero sí tiene extensiones autoadjuntas. Estas extensiones autoadjuntas están parametrizadas por el espacio de aplicaciones unitarias N +N , que en este caso resulta ser el círculo unitario T .

En este caso, la falla de la autoadjunción esencial se debe a una elección "incorrecta" de las condiciones de contorno en la definición del dominio de . Como es un operador de primer orden, solo se necesita una condición de contorno para asegurar que sea simétrico. Si reemplazamos las condiciones de contorno dadas anteriormente por la condición de contorno única

,

entonces D seguiría siendo simétrica y ahora, de hecho, sería esencialmente autoadjunta. Este cambio de condiciones de contorno da una extensión esencialmente autoadjunta particular de D . Otras extensiones esencialmente autoadjuntas surgen de la imposición de condiciones de contorno de la forma .

Este ejemplo simple ilustra un hecho general sobre las extensiones autoadjuntas de operadores diferenciales simétricos P en un conjunto abierto M. Están determinadas por las aplicaciones unitarias entre los espacios de valores propios.

donde P dist es la extensión distribucional de P .

Operadores de coeficientes constantes

A continuación damos el ejemplo de operadores diferenciales con coeficientes constantes . Sea

sea ​​un polinomio en R n con coeficientes reales , donde α varía en un conjunto (finito) de índices múltiples . Por lo tanto

y

También utilizamos la notación

Entonces el operador P (D) se define en el espacio de funciones infinitamente diferenciables de soporte compacto en R n por

es esencialmente autoadjunto en L 2 ( R n ).

Teorema  —  Sea P una función polinómica en R n con coeficientes reales, F la transformada de Fourier considerada como una función unitaria L 2 ( R n ) → L 2 ( R n ). Entonces F * P (D) F es esencialmente autoadjunta y su única extensión autoadjunta es el operador de multiplicación por la función P .

De manera más general, consideremos operadores diferenciales lineales que actúan sobre funciones de valor complejo infinitamente diferenciables de soporte compacto. Si M es un subconjunto abierto de R n

donde a α son funciones infinitamente diferenciables (no necesariamente constantes). P es un operador lineal .

Correspondiente a P existe otro operador diferencial, el adjunto formal de P

Teorema  :  El adjunto P * de P es una restricción de la extensión distribucional del adjunto formal a un subespacio apropiado de . Específicamente:

Teoría de la multiplicidad espectral

La representación de multiplicación de un operador autoadjunto, aunque extremadamente útil, no es una representación canónica. Esto sugiere que no es fácil extraer de esta representación un criterio para determinar cuándo los operadores autoadjuntos A y B son unitariamente equivalentes. La representación de grano más fino que ahora analizamos implica multiplicidad espectral. Este círculo de resultados se denomina teoría de multiplicidad espectral de Hahn - Hellinger .

Multiplicidad uniforme

Primero definimos la multiplicidad uniforme :

Definición . Un operador autoadjunto A tiene multiplicidad uniforme n donde n es tal que 1 ≤ nω si y solo si A es unitariamente equivalente al operador M f de multiplicación por la función f ( λ ) = λ en

donde H n es un espacio de Hilbert de dimensión n . El dominio de M f consiste en funciones vectoriales ψ en R tales que

Las medidas aditivas contables no negativas μ , ν son mutuamente singulares si y solo si están respaldadas por conjuntos de Borel disjuntos.

Teorema  —  Sea A un operador autoadjunto en un espacio de Hilbert separable H . Entonces existe una secuencia ω de medidas finitas contablemente aditivas en R (algunas de las cuales pueden ser idénticamente 0) tales que las medidas son singulares por pares y A es unitariamente equivalente al operador de multiplicación por la función f ( λ ) = λ en

Esta representación es única en el siguiente sentido: para dos representaciones cualesquiera del mismo A , las medidas correspondientes son equivalentes en el sentido de que tienen los mismos conjuntos de medida 0.

Integrales directas

El teorema de multiplicidad espectral se puede reformular utilizando el lenguaje de las integrales directas de los espacios de Hilbert:

Teorema  —  [32] Cualquier operador autoadjunto en un espacio de Hilbert separable es unitariamente equivalente a la multiplicación por la función λ ↦ λ en

A diferencia de la versión del teorema espectral con operador de multiplicación, la versión integral directa es única en el sentido de que la clase de equivalencia de medida de μ (o equivalentemente sus conjuntos de medida 0) está determinada de forma única y la función medible está determinada casi en todas partes con respecto a μ . [33] La función es la función de multiplicidad espectral del operador.

Ahora podemos enunciar el resultado de la clasificación para operadores autoadjuntos: Dos operadores autoadjuntos son unitariamente equivalentes si y solo si (1) sus espectros concuerdan como conjuntos, (2) las medidas que aparecen en sus representaciones integrales directas tienen los mismos conjuntos de medida cero, y (3) sus funciones de multiplicidad espectral concuerdan casi en todas partes con respecto a la medida en la integral directa. [34]

Ejemplo: estructura del Laplaciano

El laplaciano en R n es el operador

Como se ha comentado anteriormente, el laplaciano está diagonalizado por la transformada de Fourier. En realidad, es más natural considerar el negativo del laplaciano −Δ, ya que como operador no es negativo (véase operador elíptico ).

Teorema  :  Si n = 1, entonces −Δ tiene multiplicidad uniforme ; de lo contrario, −Δ tiene multiplicidad uniforme . Además, la medida μ mult puede tomarse como una medida de Lebesgue en [0, ∞).

Véase también

Observaciones

  1. ^ Se invita al lector a realizar la integración por partes dos veces y verificar que las condiciones de contorno dadas garantizan que los términos de contorno en la integración por partes se desvanezcan.

Notas

  1. ^ Reed y Simon 1980, págs. 255-256
  2. ^ Griffel 2002, pág. 224
  3. ^ Hall 2013 Corolario 9.9
  4. ^ Griffel 2002, pág. 238
  5. ^ Reed y Simon 1980, pág. 195
  6. ^ Rudin 1991, págs. 326-327
  7. ^ Griffel 2002, págs. 224-230, 241
  8. ^ Hall 2013, págs. 133, 177
  9. ^ de la Madrid Modino 2001, págs. 95–97
  10. ^ Hall 2013 Sección 9.4
  11. ^ Bebiano & da Providencia 2019.
  12. ^ Rudin 1991, págs. 327
  13. ^ Hall 2013, págs. 123-130
  14. ^ Hall 2013, pág. 207
  15. ^ Akhiezer 1981, pág. 152
  16. ^ Akhiezer 1981, págs. 115-116
  17. ^ Hall 2013, págs. 127, 207
  18. ^ Hall 2013 Sección 10.4
  19. ^ Hall 2013, págs. 144-147, 206-207
  20. ^ Ruelle 1969
  21. ^ Proposición 9.27 del Salón 2013
  22. ^ Proposición 9.28 del Salón 2013
  23. ^ Hall 2013 Ejemplo 9.25
  24. ^ Hall 2013 Teorema 9.41
  25. ^ Berezin y Shubin 1991 pág. 85
  26. ^ Sala 2013 Sección 9.10
  27. ^ Berezin y Shubin 1991, págs.55, 86
  28. ^ Hall 2013, págs. 193-196
  29. ^ Hall 2013 Capítulo 2, Ejercicio 4
  30. ^ Bonneau, Faraut y Valent 2001
  31. ^ Hall 2013 Sección 9.6
  32. ^ Hall 2013 Teoremas 7.19 y 10.9
  33. ^ Proposición 7.22 del Salón 2013
  34. ^ Proposición 7.24 del Salón 2013

Referencias