SearcharxivSearch

arXiv subjects

Richard Wellman

Publications and source records attributed to Richard Wellman.

6 recordsLinked to original sources

A New Characterization of the Domains of Integral Powers of the Self-Adjoint Friedrichs-Legendre Operator

Let $A$ be the self-adjoint operator in $L^{2}(-1,1)$, generated by the second-order classical Legendre differential equation% \[ \ell\lbrack y](t)=-\left( (1-t^{2})y^{\prime}(t)\right) ^{\prime}+ky(t)=\lambda y(t)\quad(t\in(-1,1)), \] which has the Legendre polynomials $\{P_{m}\}_{m=0}^{\infty}$ as a complete sequence of eigenfunctions; here $k$ is a fixed, non-negative real number. This is the Friedrichs extension of the minimal operator associated with $\ell[\cdot]$ in $L^2(-1,1)$. For each $n \in \mathbb{N}$, we show that $\mathcal{D}(A^{n})$ is characterized by \textit{one} integrability condition instead of $2n$ boundary conditions as dictated by the classical Glazman-Krein-Naimark theory. We also prove that if $f\in\mathcal{D}(A^{n})$ then $f^{(n)}\in L^{2}(-1,1).$ This smoothness result extends known results when $n=1$ and $n=2.$ Furthermore, this result is optimal in the sense that there exists $g\in\mathcal{D}(A^{n})$ with $g^{(n+1)}\notin L^{2}(-1,1)$.

math.FA

Analytic Versus Algebraic Density of Polynomials

We show that under very mild conditions on a measure $\mu$ on the interval $[0,\infty)$, the span of $\{x^k\}_{k=n}^{\infty}$ is dense in $L^2(\mu)$ for any $n=0,1,\ldots$. We present two different proofs of this result, one based on the density index of Berg and Thill and one based on the Hilbert space $L^2(\mu)\oplus \mathbb{C}^{n+1}$. Using the index of determinacy of Berg and Dur\'an we prove that if the measure $\mu$ on $\mathbb{R}$ has infinite index of determinacy then the polynomial ideal $R(x)\mathbb{C}[x]$ is dense in $L^2(\mu)$ for any polynomial $R$ with zeros having no mass under $\mu$.

math.CA

Algebraic Versus Analytic Density of Polynomials

We show that under very mild conditions on a measure $\mu$ on the real line, the span of $\{x^n\}_{n=j}^{\infty}$ is dense in $L^2(\mu)$ for any $j\in\mathbb{N}$. We also present a slightly weaker result with an interesting proof that uses Sobolev orthogonality.

math.CA

On Birman's sequence of Hardy-Rellich-type inequalities

In 1961, Birman proved a sequence of inequalities $\{I_{n}\},$ for $n\in\mathbb{N},$ valid for functions in $C_0^{n}((0,\infty))\subset L^{2}((0,\infty)).$ In particular, $I_{1}$ is the classical (integral) Hardy inequality and $I_{2}$ is the well-known Rellich inequality. In this paper, we give a proof of this sequence of inequalities valid on a certain Hilbert space $H_{n}([0,\infty))$ of functions defined on $[0,\infty).$ Moreover, $f\in H_{n}([0,\infty))$ implies $f^{\prime}\in H_{n-1}([0,\infty));$ as a consequence of this inclusion, we see that the classical Hardy inequality implies each of the inequalities in Birman's sequence. We also show that for any finite $b>0,$ these inequalities hold on the standard Sobolev space $H_0^{n}((0,b))$. Furthermore, in all cases, the Birman constants $[(2n-1)!!]^{2}/2^{2n}$ in these inequalities are sharp and the only function that gives equality in any of these inequalities is the trivial function in $L^{2}((0,\infty))$ (resp., $L^2((0,b))$). We also show that these Birman constants are related to the norm of a generalized continuous Cesàro averaging operator whose spectral properties we determine in detail.

math.SP

Differential operator for discrete Gegenbauer--Sobolev orthogonal polynomials: eigenvalues and asymptotics

We consider the following discrete Sobolev inner product involving the Gegenbauer weight $$(f,g)_S:=\int_{-1}^1f(x)g(x)(1-x^2)^αdx+M\big[f^{(j)}(-1)g^{(j)}(-1)+f^{(j)}(1)g^{(j)}(1)\big],$$ where $α>-1,$ $j\in \mathbb{N}\cup \{0\},$ and $M>0.$ Let $\{Q_n^{(α,M,j)}\}_{n\geq0}$ be the sequence of orthogonal polynomials with respect to the above inner product. These polynomials are eigenfunctions of a differential operator $\mathbf{T}. $ We establish the asymptotic behavior of the corresponding eigenvalues. Furthermore, we calculate the exact value $$r_0 = \lim_{n\rightarrow \infty}\frac{\log \left(\max_{x\in [-1,1]} |\widetilde{Q}_n^{(α,M,j)}(x)|\right)}{\log \widetildeλ_n},$$ where $\{\widetilde{Q}_n^{(α,M,j)}\}_{n\geq0}$ are the sequence of orthonormal polynomials with respect to this Sobolev inner product. This value $r_0$ is related to the convergence of a series in a left--definite space. Finally, we study the Mehler--Heine type asymptotics for $\{Q_n^{(α,M,j)}\}_{n\geq0}.$

math.CA

Self-Adjoint Operators in Extended Hilbert Spaces $H\oplus W$: An Application of the General GKN-EM Theorem

We construct self-adjoint operators in the direct sum of a complex Hilbert space $H$ and a finite dimensional complex inner product space $W$. The operator theory developed in this paper for the Hilbert space $H\oplus W$ is originally motivated by some fourth-order differential operators, studied by Everitt and others, having orthogonal polynomial eigenfunctions. Generated by a closed symmetric operator $T_{0}$ in $H$ with equal and finite deficiency indices and its adjoint $T_{1}$, we define \textit{families} of minimal operators $\{\widehat{T}_{0}\}$ and maximal operators $\{\widehat{T}_{1}\}$ in the extended space $H\oplus W$ and establish, using a recent theory of complex symplectic geometry, developed by Everitt and Markus, a characterization of self-adjoint extensions of $\{\widehat{T}_{0}\}$ when the dimension of the extension space $W$ is not greater than the deficiency index of $T_{0}$. A generalization of the classical Glazman-Krein-Naimark (GKN) Theorem - called the GKN-EM Theorem to acknowledge the work of Everitt and Markus - is key to finding these self-adjoint extensions in $H\oplus W.$ We consider several examples to illustrate our results.

math.FA