Articulo de referencia

núcleo de Landau

El núcleo de Landau recibe su nombre del teórico de números alemán Edmund Landau . El núcleo es un núcleo de sumabilidad definido como: [ 1 ] L norte ( t ) = { ( 1 − t 2 ) norte...

El núcleo de Landau recibe su nombre del teórico de números alemán Edmund Landau . El núcleo es un núcleo de sumabilidad definido como: [ 1 ]

Lnorte(t)={(1t2)nortedonortesi 1t10de lo contrario{\displaystyle L_{n}(t)={\begin{cases}{\frac {(1-t^{2})^{n}}{c_{n}}}&{\text{si }}{-1}\leq t\leq 1\\0&{\text{en otro caso}}\end{cases}}}donde los coeficientesdonorte{\displaystyle c_{n}}se definen de la siguiente manera:

donorte=11(1t2)nortedt.{\displaystyle c_{n}=\int _{-1}^{1}(1-t^{2})^{n}\,dt.}

Visualización

Utilizando la integración por partes, se puede demostrar que: [ 2 ]donorte=(norte¡)222norte+1(2norte)¡(2norte+1).{\displaystyle c_{n}={\frac {(n!)^{2}\,2^{2n+1}}{(2n)!(2n+1)}}.} Por lo tanto, esto implica que el núcleo de Landau se puede definir de la siguiente manera:Lnorte(t)={(1t2)norte(2norte)¡(2norte+1)(norte¡)222norte+1para t[1,1]0en otra parte{\displaystyle L_{n}(t)={\begin{cases}(1-t^{2})^{n}{\frac {(2n)!(2n+1)}{(n!)^{2}\,2^{2n+1}}}&{\text{para }}t\in [-1,1]\\0&{\text{en otro caso}}\end{cases}}}

Al graficar esta función para diferentes valores de n, se observa que a medida que n tiende a infinito,Lnorte(t){\displaystyle L_{n}(t)}se aproxima a la función delta de Dirac como una distribución , como se ve en la imagen, [ 1 ] donde se grafican las siguientes funciones.

Propiedades

Algunas propiedades generales del núcleo de Landau son que es no negativo y continuo enR{\displaystyle \mathbb {R} }Estas propiedades se concretan con mayor detalle en la siguiente sección.

secuencias de Dirac

Definición: secuencia de Dirac Una secuencia de Dirac es una secuencia{Knorte(t)}{\displaystyle \{K_{n}(t)\}}de funcionesKnorte(t):RR{\displaystyle K_{n}(t)\colon \mathbb {R} \to \mathbb {R} }que satisface las siguientes propiedades:

  • Knorte(t)0,tR y norteZ${\displaystyle K_{n}(t)\geq 0,\,\,\forall t\in \mathbb {R} {\text{ y }}\forall n\in \mathbb {Z} }$
  • Knorte(t)dt=1,norte{\displaystyle \int _{-\infty }^{\infty }K_{n}(t)\,dt=1,\,\forall n}
  • ε>0δ>0norteZ+nortenorte:{\displaystyle \forall \varepsilon >0\,\forall \delta >0\,\exists N\in \mathbb {Z} _{+}\,\forall n\geq N:}R[δ,δ]Knorte(t)dt=δKnorte(t)dt+δKnorte(t)dt<ε{\displaystyle {}\quad \int _{\mathbb {R} \smallsetminus [-\delta ,\delta ]}K_{n}(t)\,dt=\int _{-\infty }^{-\delta }K_{n}(t)\,dt+\int _{\delta }^{\infty }K_{n}(t)\,dt<\varepsilon }

El tercer punto significa que el área bajo la gráfica de la funcióny=Knorte(t){\displaystyle y=K_{n}(t)}se concentra cada vez más cerca del origen a medida que n tiende a infinito. Esta definición nos lleva al siguiente teorema.

Teorema : La sucesión de núcleos de Landau es una sucesión de Dirac.

Demostración : Demostramos únicamente la tercera propiedad. Para ello, introducimos el siguiente lema:

Lema Los coeficientes satisfacen la siguiente relación,donorte2norte+1{\displaystyle c_{n}\geq {\frac {2}{n+1}}}

Demostración del lema:

Utilizando la definición de los coeficientes anterior, encontramos que el integrando es par, podemos escribirdonorte2=01(1t2)nortedt=01(1t)norte(1+t)nortedt01(1t)nortedt=11+norte{\displaystyle {\frac {c_{n}}{2}}=\int _{0}^{1}(1-t^{2})^{n}\,dt=\int _{0}^{1}(1-t)^{n}(1+t)^{n}\,dt\geq \int _{0}^{1}(1-t)^{n}\,dt={\frac {1}{1+n}}}Con esto se completa la demostración del lema. Un corolario de este lema es el siguiente:

Corolario : Para todo lo positivo y realδ:{\displaystyle \delta :} R[δ,δ]Knorte(t)dt2donorteδ1(1t2)nortedt(norte+1)(1δ2)norte{\displaystyle \int _{\mathbb {R} \smallsetminus [-\delta ,\delta ]}K_{n}(t)\,dt\leq {\frac {2}{c_{n}}}\int _{\delta }^{1}(1-t^{2})^{n}\,dt\leq (n+1)(1-\delta ^{2})^{n}}

Véase también

Referencias

  1. 1 2 Terras, Audrey (25 de mayo de 2009). "Conferencia 8. Dirac y Weierstrass" (PDF) .
  2. Hilber, Courant. Métodos de física matemática, vol. I , pág. 84.