No label defined (Q4431071)

Let \(\tau\) be a function in \(\mathcal D\) satisfying the properties \(\tau(x)= \tau(-x)\), \(0\leq \tau(x)\leq 1\), \(\tau(x)= 1\) for \(| x|\leq 1/2\), and \(\tau(x)= 0\) for \(| x|\geq 1\). \(\tau_n\) is defined by \(\tau_n(x)= 1\) for \(| x|\leq n\), \(=\tau(n^n x- n^{n+1})\) for \(x> n\), \(=\tau(n^n x+ n^{n+1})\) for \(x<- n \); \(n= 1,2,\dots\). The neutrix \(N\) is the mapping, having domain \(N'= \{1,2,\dots, n,\dots\}\) and range \(N''\), the real numbers, with negligible functions: ``finite linear sums of the functions \(n^\alpha\ln^{r-1} n\), \(\ln^rn\) (\(\alpha> 0\), \(r= 1,2,\dots\)), \(n^i\ln(ne^{-\lambda n})\), \(ei[\lambda(x+ n)]\) (\(\lambda< 0\), \(i= 0,1,\dots\)) and all functions which converge to \(0\) as \(n\to\infty\)''. Here \[ ei(\lambda x)= \int_{[\lambda x,\infty)} t^{-1}[ e^{-t}- H(1- t)]\,dt- H(1-\lambda x)\cdot\ln|\lambda x|. \] Let \(f,g\in {\mathcal D}'\) and \(f_n= f\cdot\tau_n\), \(g_n= g\cdot\tau_n\). The commutative neutrix convolution \(f\boxed{*}g\) is defined as the neutrix limit \(h\) of \(\{f_n* g_n\}\), provided that the limit \(h\) exists in the sense that \(N\)-\(\lim_{n\to\infty}\langle f_n* g_n,\phi\rangle= \langle h,\phi\rangle\) for \(\forall \phi\in {\mathcal D}\). The authors prove the existence of the commutative neutrix convolutions \((x^r_+\ln x_+)\boxed{*} e^{\lambda x}\) and \(x^{-r}_+\boxed{*} e^{\lambda x}\) for \(\lambda< 0\), \(r= 0,1,2,\dots\), and calculate the exact forms of them.