Researcher profile

Derek W. Robinson

Derek W. Robinson contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.AP math.FA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author

14works

0followers

2topics

3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

The weighted Hardy inequality and self-adjointness of symmetric diffusion operators

Let $Ω$ be a domain in $\Ri^d$ with boundary $Γ$${\!,}$ $d_Γ$ the Euclidean distance to the boundary and $H=-\divv(C\,\nabla)$ an elliptic operator with $C=(\,c_{kl}\,)>0$ where $c_{kl}=c_{lk}$ are real, bounded, Lipschitz functions. We assume that $C\sim c\,d_Γ^{\,δ}$ as $d_Γ\to0$ in the sense of asymptotic analysis where $c$ is a strictly positive, bounded, Lipschitz function and $δ\geq0$. We also assume that there is an $r>0$ and a $ b_{δ,r}>0$ such that the weighted Hardy inequality \[ \int_{Γ_{\!\!r}} d_Γ^{\,δ}\,|\nabla ψ|^2\geq b_{δ,r}^{\,2}\int_{Γ_{\!\!r}} d_Γ^{\,δ-2}\,| ψ|^2 \] is valid for all $ψ\in C_c^\infty(Γ_{\!\!r})$ where $Γ_{\!\!r}=\{x\inΩ: d_Γ(x)<r\}$. We then prove that the condition $(2-δ)/2<b_δ$ is sufficient for the essential self-adjointness of $H$ on $C_c^\infty(Ω)$ with $b_δ$ the supremum over $r$ of all possible $b_{δ,r}$ in the Hardy inequality. This result extends all known results for domains with smooth boundaries and also gives information on self-adjointness for a large family of domains with rough, e.g.\ fractal, boundaries.

preprint2017arXiv

Hardy and Rellich inequalities on the complement of convex sets

We establish existence of weighted Hardy and Rellich inequalities on the spaces $L_p(Ω)$ where $Ω= \Ri^d\backslash K$ with $K$ a closed convex subset of $\Ri^d$. Let $Γ=\partialΩ$ denote the boundary of $Ω$ and $d_Γ$ the Euclidean distance to $Γ$. We consider weighting functions $c_Ω=c\circ d_Γ$ with $c(s)=s^δ(1+s)^{δ'-δ}$ and $δ,δ'\geq0$. Then the Hardy inequalities take the form \[ \int_Ωc_Ω\,|\nablaφ|^p\geq b_p\int_Ωc_Ω\,d_Γ^{\;-p}\,|φ|^p \] and the Rellich inequalities are given by \[ \int_Ω|Hφ|^p\geq d_p\int_Ω|c_Ω\,d_Γ^{\,-2}φ|^p \] with $H=-\divv(c_Ω\nabla)$. The constants $b_p, d_p$ depend on the weighting parameter $δ,δ'\geq0$ and the Hausdorff dimension of the boundary. We compute the optimal constants in a broad range of situations.

preprint2013arXiv

Analysis of degenerate elliptic operators of Grušin type

We analyze degenerate, second-order, elliptic operators $H$ in divergence form on $L_2(\Ri^{n}\times\Ri^{m})$. We assume the coefficients are real symmetric and $a_1H_δ\geq H\geq a_2H_δ$ for some $a_1,a_2>0$ where \[ H_δ=-{\nabla}_{x_1}\cdot(c_{δ_1, δ'_1}(x_1)\,\nabla_{x_1})-c_{δ_2, δ'_2}(x_1)\,\nabla_{x_2}^2 \;. \] Here $x_1\in\Ri^n$, $x_2\in\Ri^m$ and $c_{δ_i, δ'_i}$ are positive measurable functions such that $c_{δ_i, δ'_i}(x)$ behaves like $|x|^{δ_i}$ as $x\to0$ and $|x|^{δ_i'}$ as $x\to\infty$ with $δ_1,δ_1'\in[0,1\rangle$ and $δ_2,δ_2'\geq0$. Our principal results state that the submarkovian semigroup $S_t=e^{-tH}$ is conservative and its kernel $K_t$ satisfies bounds \[ 0\leq K_t(x\,;y)\leq a\,(|B(x\,;t^{1/2})|\,|B(y\,;t^{1/2})|)^{-1/2} \] where $|B(x\,;r)|$ denotes the volume of the ball $B(x\,;r)$ centred at $x$ with radius $r$ measured with respect to the Riemannian distance associated with $H$. The proofs depend on detailed subelliptic estimations on $H$, a precise characterization of the Riemannian distance and the corresponding volumes and wave equation techniques which exploit the finite speed of propagation. We discuss further implications of these bounds and give explicit examples that show the kernel is not necessarily strictly positive, nor continuous.

preprint2013arXiv

The limitations of the Poincar{é} inequality

We examine the validity of the Poincaré inequality for degenerate, second-order, elliptic operators $H$ in divergence form on $L_2(\Ri^{n}\times\Ri^{m})$. We assume the coefficients are real symmetric and $a_1H_δ\geq H\geq a_2H_δ$ for some $a_1,a_2>0$ where $H_δ$ is a generalized Grušin operator, \[ H_δ=-\nabla_{x_1}\,|x_1|^{(2δ_1,2δ_1')}\,\nabla_{x_1}-|x_1|^{(2δ_2,2δ_2')}\,\nabla_{x_2}^2 \;. \] Here $x_1\in\Ri^n$, $x_2\in\Ri^m$, $δ_1,δ_1'\in[0,1\rangle$, $δ_2,δ_2'\geq0$ and $|x_1|^{(2δ,2δ')}=|x_1|^{2δ}$ if $|x_1|\leq 1$ and $|x_1|^{(2δ,2δ')}=|x_1|^{2δ'}$ if $|x_1|\geq 1$. \smallskip We prove that the Poincaré inequality, formulated in terms of the Riemannian geometry corresponding to $H$, is valid if $n\geq 2$, or if $n=1$ and $δ_1\veeδ_1'\in[0,1/2\rangle$ but it fails if $n=1$ and $δ_1\veeδ_1'\in[1/2,1\rangle$. The failure is caused by the leading term. If $δ_1\in[1/2, 1\rangle$ it is an effect of the local degeneracy $|x_1|^{2δ_1}$ but if $δ_1\in[0, 1/2\rangle$ and $δ_1'\in [1/2,1\rangle$ it is an effect of the growth at infinity of $|x_1|^{2δ_1'}$. If $n=1$ and $δ_1\in[1/2, 1\rangle$ then the semigroup $S$ generated by the Friedrichs' extension of $H$ is not ergodic. The subspaces $x_1\geq 0$ and $x_1\leq 0$ are $S$-invariant and the Poincaré inequality is valid on each of these subspaces. If, however, $n=1$, $δ_1\in[0, 1/2\rangle$ and $δ_1'\in [1/2,1\rangle$ then the semigroup $S$ is ergodic but the Poincaré inequality is only valid locally. \smallskip Finally we discuss the implication of these results for the kernel of the semigroup $S$.

preprint2010arXiv

$L_1$-uniqueness of degenerate elliptic operators

Let $Ω$ be an open subset of $\Ri^d$ with $0\in Ω$. Further let $H_Ω=-\sum^d_{i,j=1}\partial_i\,c_{ij}\,\partial_j$ be a second-order partial differential operator with domain $C_c^\infty(Ω)$ where the coefficients $c_{ij}\in W^{1,\infty}_{\rm loc}(\barΩ)$ are real, $c_{ij}=c_{ji}$ and the coefficient matrix $C=(c_{ij})$ satisfies bounds $0<C(x)\leq c(|x|) I$ for all $x\in Ω$. If \[ \int^\infty_0ds\,s^{d/2}\,e^{-λ\,μ(s)^2}<\infty \] for some $λ>0$ where $μ(s)=\int^s_0dt\,c(t)^{-1/2}$ then we establish that $H_Ω$ is $L_1$-unique, i.e.\ it has a unique $L_1$-extension which generates a continuous semigroup, if and only if it is Markov unique, i.e.\ it has a unique $L_2$-extension which generates a submarkovian semigroup. Moreover these uniqueness conditions are equivalent with the capacity of the boundary of $Ω$, measured with respect to $H_Ω$, being zero. We also demonstrate that the capacity depends on two gross features, the Hausdorff dimension of subsets $A$ of the boundary the set and the order of degeneracy of $H_Ω$ at $A$.

preprint2009arXiv

Degenerate elliptic operators in one dimension

Let $H$ be the symmetric second-order differential operator on $L_2(\Ri)$ with domain $C_c^\infty(\Ri)$ and action $Hφ=-(c φ')'$ where $ c\in W^{1,2}_{\rm loc}(\Ri)$ is a real function which is strictly positive on $\Ri\backslash\{0\}$ but with $c(0)=0$. We give a complete characterization of the self-adjoint extensions and the submarkovian extensions of $H$. In particular if $ν=ν_+\veeν_-$ where $ν_\pm(x)=\pm\int^{\pm 1}_{\pm x} c^{-1}$ then $H$ has a unique self-adjoint extension if and only if $ν\not\in L_2(0,1)$ and a unique submarkovian extension if and only if $ν\not\in L_\infty(0,1)$. In both cases the corresponding semigroup leaves $L_2(0,\infty)$ and $L_2(-\infty,0)$ invariant. In addition we prove that for a general non-negative $ c\in W^{1,\infty}_{\rm loc}(\Ri)$ the corresponding operator $H$ has a unique submarkovian extension.

preprint2009arXiv

Markov uniqueness of degenerate elliptic operators

Let $Ω$ be an open subset of $\Ri^d$ and $H_Ω=-\sum^d_{i,j=1}\partial_i c_{ij} \partial_j$ a second-order partial differential operator on $L_2(Ω)$ with domain $C_c^\infty(Ω)$ where the coefficients $c_{ij}\in W^{1,\infty}(Ω)$ are real symmetric and $C=(c_{ij})$ is a strictly positive-definite matrix over $Ω$. In particular, $H_Ω$ is locally strongly elliptic. We analyze the submarkovian extensions of $H_Ω$, i.e. the self-adjoint extensions which generate submarkovian semigroups. Our main result establishes that $H_Ω$ is Markov unique, i.e. it has a unique submarkovian extension, if and only if $\capp_Ω(\partialΩ)=0$ where $\capp_Ω(\partialΩ)$ is the capacity of the boundary of $Ω$ measured with respect to $H_Ω$. The second main result establishes that Markov uniqueness of $H_Ω$ is equivalent to the semigroup generated by the Friedrichs extension of $H_Ω$ being conservative.

preprint2006arXiv

Analysis of degenerate elliptic operators of Grushin type

We analyze degenerate, second-order, elliptic operators $H$ in divergence form on $L_2({\bf R}^{n}\times{\bf R}^{m})$. We assume the coefficients are real symmetric and $a_1H_δ\geq H\geq a_2H_δ$ for some $a_1,a_2>0$ where \[ H_δ=-\nabla_{x_1} c_{δ_1, δ'_1}(x_1) \nabla_{x_1}-c_{δ_2, δ'_2}(x_1) \nabla_{x_2}^2 . \] Here $x_1\in{\bf R}^n$, $x_2\in{\bf R}^m$ and $c_{δ_i, δ'_i}$ are positive measurable functions such that $c_{δ_i, δ'_i}(x)$ behaves like $|x|^{δ_i}$ as $x\to0$ and $|x|^{δ_i'}$ as $x\to\infty$ with $δ_1,δ_1'\in[0,1>$ and $δ_2,δ_2'\geq0$. Our principal results state that the submarkovian semigroup $S_t=e^{-tH}$ is conservative and its kernel $K_t$ satisfies bounds \[ 0\leq K_t(x ;y)\leq a (|B(x ;t^{1/2})| |B(y ;t^{1/2})|)^{-1/2} \] where $|B(x ;r)|$ denotes the volume of the ball $B(x ;r)$ centred at $x$ with radius $r$ measured with respect to the Riemannian distance associated with $H$. The proofs depend on detailed subelliptic estimations on $H$, a precise characterization of the Riemannian distance and the corresponding volumes and wave equation techniques which exploit the finite speed of propagation. We discuss further implications of these bounds and give explicit examples that show the kernel is not necessarily strictly positive, nor continuous.

preprint2006arXiv

Contraction semigroups on $L_\infty({\bf R})$

If $X$ is a non-degenerate vector field on ${\bf R}$ and $H=-X^2$ we examine conditions for the closure of $H$ to generate a continuous semigroup on $L_\infty$ which extends to the $L_p$-spaces. We give an example which cannot be extended and an example which extends but for which the real part of the generator on $L_2$ is not lower semibounded.

preprint2006arXiv

Degenerate elliptic operators: capacity, flux and separation

Let $S=\{S_t\}_{t\geq0}$ be the semigroup generated on $L_2(\Ri^d)$ by a self-adjoint, second-order, divergence-form, elliptic operator $H$ with Lipschitz continuous coefficients. Further let $Ω$ be an open subset of $\Ri^d$ with Lipschitz continuous boundary $\partialΩ$. We prove that $S$ leaves $L_2(Ω)$ invariant if, and only if, the capacity of the boundary with respect to $H$ is zero or if, and only if, the energy flux across the boundary is zero. The global result is based on an analogous local result.

preprint2006arXiv

Dirichlet forms and degenerate elliptic operators

It is shown that the theory of real symmetric second-order elliptic operators in divergence form on $\Ri^d$ can be formulated in terms of a regular strongly local Dirichlet form irregardless of the order of degeneracy. The behaviour of the corresponding evolution semigroup $S_t$ can be described in terms of a function $(A,B) \mapsto d(A ;B)\in[0,\infty]$ over pairs of measurable subsets of $\Ri^d$. Then \[ |(ϕ_A,S_tϕ_B)|\leq e^{-d(A;B)^2(4t)^{-1}}\|ϕ_A\|_2\|ϕ_B\|_2 \] for all $t>0$ and all $ϕ_A\in L_2(A)$, $ϕ_B\in L_2(B)$. Moreover $S_tL_2(A)\subseteq L_2(A)$ for all $t>0$ if and only if $d(A ;A^c)=\infty$ where $A^c$ denotes the complement of $A$.

preprint2006arXiv

Second-order operators with degenerate coefficients

We consider properties of second-order operators $H = -\sum^d_{i,j=1} \partial_i \, c_{ij} \, \partial_j$ on $\Ri^d$ with bounded real symmetric measurable coefficients. We assume that $C = (c_{ij}) \geq 0$ almost everywhere, but allow for the possibility that $C$ is singular. We associate with $H$ a canonical self-adjoint viscosity operator $H_0$ and examine properties of the viscosity semigroup $S^{(0)}$ generated by $H_0$. The semigroup extends to a positive contraction semigroup on the $L_p$-spaces with $p \in [1,\infty]$. We establish that it conserves probability, satisfies $L_2$~off-diagonal bounds and that the wave equation associated with $H_0$ has finite speed of propagation. Nevertheless $S^{(0)}$ is not always strictly positive because separation of the system can occur even for subelliptic operators. This demonstrates that subelliptic semigroups are not ergodic in general and their kernels are neither strictly positive nor Hölder continuous. In particular one can construct examples for which both upper and lower Gaussian bounds fail even with coefficients in $C^{2-\varepsilon}(\Ri^d)$ with $\varepsilon > 0$.

preprint2006arXiv

Small time asymptotics of diffusion processes

We establish the short-time asymptotic behaviour of the Markovian semigroups associated with strongly local Dirichlet forms under very general hypotheses. Our results apply to a wide class of strongly elliptic, subelliptic and degenerate elliptic operators. In the degenerate case the asymptotics incorporate possible non-ergodicity.

preprint2006arXiv

Uniform subellipticity

We establish two global subellipticity properties of positive symmetric second-order partial differential operators on $L_2(\Ri^d)$. First, if $m \in \Ni$ then we consider operators $H_0$ with coefficients in $W^{m+1,\infty}(\Ri^d)$ and domain $D(H_0)=W^{\infty,2}(\Ri^d)$ satisfying the subellipticity property \[ c (ϕ, (I+H_0)ϕ)\geq \|Δ^{γ/2} ϕ\|_2^2 \] for some $c>0$ and $γ\in<0,1]$, uniformly for all $ϕ\in W^{\infty,2}(\Ri^d)$, where $Δ$ denotes the usual Laplacian. Then we prove that $D(H^α) \subseteq D(Δ^{αγ})$ for all $α\in [0,2^{-1} (m + 1 + γ^{-1})>$. Hence there is a $c>0$ such that the norm estimate \[ c \|(I+H)^αϕ\|_2\geq \|Δ^{αγ} ϕ\|_2 \] is valid for all $ϕ\in D(H^α)$ where $H$ denotes the self-adjoint closure of $H_0$. In particular, if the coefficients of $H_0$ are in $C_b^\infty(\Ri^d)$ then the conclusion is valid for all $α\geq0$. Secondly, we prove that if \[ H_0=\sum^N_{i=1}X_i^* X_i, \] where the $X_i$ are vector fields on $\Ri^d$ with coefficients in $C_b^\infty(\Ri^d)$ satisfying a uniform version of Hörmander's criterion for hypoellipticity, then $H_0$ satisfies the subellipticity condition for $γ=r^{-1}$ where $r$ is the rank of the set of vector fields. Consequently $D(H^n) \subseteq D(Δ^{n/r})$ for all $n \in \Ni$, where $H$ is the closure of $H_0$.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint