Loading [MathJax]/jax/element/mml/optable/BasicLatin.js

4 votos

Pruebas que se basan en una matriz infinita

Si tengo un operador AB(H) que se puede "identificar" con una matriz infinita con un número contable de entradas, ¿es de alguna manera poco riguroso hacer cálculos reales con la imagen que tenemos en mente de matrices finitas, es decir, es incorrecto hacer un cálculo como Ah=[abcdef][xyz]=[ax+by+cx+dy+ex+fy+]

Dicho de otro modo, ¿está bien definido y da siempre el mismo resultado que esperaríamos si lo hiciéramos de forma libre?

3voto

DanielV Puntos 11606

Aclaración sobre mi comentario anterior.

Por ejemplo, la multiplicación de matrices infinitas no es necesariamente asociativa.

Mira las 3 matrices infinitas:

{A=[111]B=[+11000+11000+11000+1]C=[111]

Ahora considere X1=(AB)C y X2=A(BC) . Una evaluación directa da X1=[1] pero X2=[0] .

La razón es que una matriz de tamaño infinito no tiene un "último" elemento, lo que puede hacer que no sean exactamente iguales al límite de una matriz finita.

Considere si define

{An is 1 by n MatrixAn=[1111]Bn is n by n MatrixB=[+11000+1100000+1100000+1000000+1100000+1]Cn is n by 1 MatrixC=[1111]

Entonces defina X3=lim

Lo verás aquí X_3 = \begin{bmatrix} 1 \end{bmatrix} \ne X_2 . Me resulta curioso, ya que eso significa que la multiplicación matricial infinita convencional no es un límite directo. Es podría definirse así, pero tal vez lo sea y tal vez no. Hay que tener cuidado.

1voto

TrialAndError Puntos 25444

Es posible que pueda salirse con la suya si el operador A es un operador lineal acotado definido en todo un espacio de Hilbert separable. Sin embargo, si el operador es no acotado, la historia cambia radicalmente porque hay operadores simples no acotados con dominios diferentes que tienen el mismo diagonal representaciones matriciales con respecto a una base, pero que son muy diferentes en naturaleza y espectro.

El ejemplo más sencillo es el operador de diferenciación Af = \frac{1}{i}\frac{df}{dt} definió su mayor dominio natural consistente en todos los f \in L^{2}[0,2\pi] que son iguales a.e. a funciones absolutamente continuas con derivadas en L^{2}[0,2\pi] . Se trata de un operador lineal cerrado densamente definido A : \mathcal{D}(A_{0})\subset L^{2}[0,2\pi]\rightarrow L^{2}[0,2\pi]. El adjunto A_{0}=A^{\star} de este operador es la restricción de A a las funciones que desaparecen en los puntos extremos de [0,2\pi] . La restricción periódica A_{p} de A a las funciones f \in \mathcal{D}(A) con f(0)=f(2\pi) es autoadjunto. En términos de inclusión en el gráfico, A_{0} \prec A_{p}=A_{p}^{\star} \prec A.

Por lo tanto, estos operadores son muy diferentes debido a pequeñas diferencias en sus dominios. Sin embargo, todos son iguales cuando se consideran en la base ortonormal de L^{2}[0,2\pi] obtenida mediante la normalización de las funciones ortogonales \{ \sin(nx/2)\}_{n=1}^{\infty} . Eso es porque \sin(nx/2) es el dominio de los tres operadores, y los operadores coinciden en el dominio común. Pero estos operadores tienen un carácter críticamente diferente, y obviamente esas diferencias no pueden recuperarse conociendo sólo las entradas de la matriz.

Esta ambigüedad se amplía en gran medida cuando se examinan los operadores diferenciales parciales.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X