Diferencia entre la norma l2 y la norma L2

8

¿Cuál es la diferencia entre la norma l2 y la norma L2 ? No puedo encontrar una referencia definitiva. Wikipedia los usa indistintamente.

Acero de Damasco
fuente
3
Por lo general, 2 puede considerarse como la versión discreta L2 : 2 es la norma para las secuencias, mientras que L2 es la norma para las funciones en la línea real.
SB
1
El comentario de @ SB es correcto y debe convertirse en una respuesta.
Brian Borchers
Aunque deberías considerar que a veces se piensa como algo similar. Puede encontrar un mapeo de funciones a secuencias. Por ejemplo, una serie de Fourier de una función (y la secuencia de sus coeficientes).
nicoguaro

Respuestas:

16

Ambas normas son similares en que son inducidas por el producto escalar del respectivo espacio de Hilbert, pero difieren porque los diferentes espacios están dotados de diferentes productos internos:

  • RNv=(v1,,vN)TRN

    v22=(v,v)2=i=1Nvi2.
  • Para (el espacio de secuencias reales para las cuales la siguiente norma es finita), la norma de está definida por v = { v i } i N2v 2 2 = ( v , v ) 2 = i = 1 v 2 i .2v={vi}iN2

    v22=(v,v)2=i=1vi2.
  • Para (el espacio de las funciones medibles de Lebesgue en un dominio acotado para el cual la siguiente norma es finita), la norma de se define por L2(Ω)ΩRduL2(Ω)

    uL22=(u,u)L2=Ωu(x)2dx.

Todo esto es estándar, se puede encontrar en cualquier libro de texto introductorio sobre análisis funcional, y probablemente ya lo conozca. Dado que la pregunta está etiquetada , es probable que le interese la diferencia práctica en el uso de uno u otro, por ejemplo, para la discretización de elementos finitos. Digamos que tiene un subespacio de dimensión finita que es el lapso de un número finito de funciones . Entonces cualquier se puede escribir como Como , por supuesto, puede medir conVhL2(Ω){φ1,,φN}uhVh

(1)uh=i=1Nuiφi.
VhL2(Ω)uhL2norma. Alternativamente, puede identificar con el vector (a veces llamado isomorfismo de coordenadas ) y medir según la norma euclidiana de .uhu:=(u1,,uN)TRNuhu

¿Cómo se comparan las dos formas de medir ? Al conectar la definición obtiene donde es la masa matriz con entradas . En comparación, tenemos uh(1)

uhL22=(uh,uh)L2=i=1Nj=1NuiujΩφi(x)φj(x)dx=uTMhu,
MhRN×NMij=Ωφi(x)φj(x)dx
uh22:=u22=uTu.

Ambas normas son, por lo tanto, equivalentes, es decir, existen constantes tales que Entonces, en principio, podría usar ambas normas indistintamente: si el error llega a cero en una norma, también va a cero en la otra norma, y ​​con la misma tasa. Sin embargo, nota que mientras que las constantes y son independientes de , ellos dependen de , y en particular sobre . Esto es importante si desea comparar errores de discretización para diferentes espacios con (digamos)c1,c2>0

c1uh2uhL2c2u2for all uhVh.
c1c2uhVhNVhN1<N2, En cuyo caso se debe utilizar una norma que no no sí depende de o , es decir, el norma. (Puede ver esto tomando como la función constante y compare para diferentes con - la primera escala como , mientras que este último tiene el mismo valor para cada , ya que la matriz de masa compensa la escala).N1N2L2uhuh=1uh2NuhL2NN

También hay una tercera alternativa, intermedia, donde la matriz de masa se aproxima por una matriz diagonal (por ejemplo, tomando como elementos diagonales de la suma de la fila correspondiente de ), y la norma se toma como ; Esto generalmente se conoce como masa de masa . Esta norma es también equivalente tanto con el y el norma - y en este caso, las constantes y al comparar y la masa formación de grumos norma no no dependen de .D h M hu h 2 D : = u T D h u = N i = 1 ( D h ) i i u 2 i2 L 2 c 1 c 2 L 2 NDhDhMhuhD2:=uTDhu=i=1N(Dh)iiui22L2c1c2L2N

Christian Clason
fuente
4

La norma 2 para secuencias se denota con . Para funciones en la línea real es la notación estándar de la norma 2.L 22L2

SB
fuente
¿Hay alguna referencia definitiva que pueda ver?
Damasco Steel
No conozco ninguna referencia específica, pero supongo que puede encontrar más información sobre estas definiciones en los libros de texto de análisis real estándar.
SB
1
Sugeriría: Erwin Kreyszig. Análisis funcional introductorio con aplicaciones, Wiley.
nicoguaro
@nicoguaro Gracias. Eso es lo que estaba buscando.
Damasco Steel