-
Fractional Parabolic Theory as a High-Dimensional Limit of Fractional Elliptic Theory
Authors:
Blair Davey,
Mariana Smit Vega Garcia
Abstract:
This paper continues the program that was initiated in \cite{Dav18} and continued in \cite{DSVG24}, where a high-dimensional limiting technique was developed and used to prove certain parabolic theorems from their elliptic counterparts. The articles \cite{Dav18} and \cite{DSVG24} address the constant-coefficient and variable-coefficient settings, respectively. Here, we focus on fractional operator…
▽ More
This paper continues the program that was initiated in \cite{Dav18} and continued in \cite{DSVG24}, where a high-dimensional limiting technique was developed and used to prove certain parabolic theorems from their elliptic counterparts. The articles \cite{Dav18} and \cite{DSVG24} address the constant-coefficient and variable-coefficient settings, respectively. Here, we focus on fractional operators. As shown in \cite{CS07}, \cite{NS16}, \cite{ST17}, fractional operators may be associated with certain degenerate operators via extension problems, so we study the corresponding class of degenerate operators. Our high-dimensional limiting technique is demonstrated through new proofs of three theorems for degenerate parabolic equations. Specifically, we establish the monotonicity of Almgren-type, Weiss-type, and Alt-Caffarelli-Friedman-type functionals in the degenerate parabolic setting. Each new parabolic proof in this article is based on a (new) related elliptic theorem and a careful limiting argument that is reminiscent of those from \cite{Dav18} and \cite{DSVG24}. Our proof of the degenerate parabolic Weiss-type monotonicity formula additionally uses an epiperimetric inequality for weakly $a$-harmonic functions, which we also prove. To the best of our knowledge, our Alt-Caffarelli-Friedman monotonicity result is new.
△ Less
Submitted 17 March, 2025;
originally announced March 2025.
-
Self-similar sets and Lipschitz graphs
Authors:
Blair Davey,
Silvia Ghinassi,
Bobby Wilson
Abstract:
We investigate and quantify the distinction between rectifiable and purely unrectifiable 1-sets in the plane. That is, given that purely unrectifiable 1-sets always have null intersections with Lipschitz images, we ask whether these sets intersect with Lipschitz images at a dimension that is close to one. In an answer to this question, we show that one-dimensional attractors of iterated function s…
▽ More
We investigate and quantify the distinction between rectifiable and purely unrectifiable 1-sets in the plane. That is, given that purely unrectifiable 1-sets always have null intersections with Lipschitz images, we ask whether these sets intersect with Lipschitz images at a dimension that is close to one. In an answer to this question, we show that one-dimensional attractors of iterated function systems that satisfy the open set condition have subsets of dimension arbitrarily close to one that can be covered by Lipschitz graphs. Moreover, the Lipschitz constant of such graphs depends explicitly on the difference between the dimension of the original set and the subset that intersects with the graph.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
On Landis' conjecture in the plane for potentials with growth
Authors:
Blair Davey
Abstract:
We investigate the quantitative unique continuation properties of real-valued solutions to Schrödinger equations in the plane with potentials that exhibit growth at infinity. More precisely, for equations of the form $Δu - V u = 0$ in $\mathbb{R}^2$, with $|V(z)| \lesssim |z|^{N}$ for some $N \ge 0$, we prove that real-valued solutions satisfy exponential decay estimates with a rate that depends e…
▽ More
We investigate the quantitative unique continuation properties of real-valued solutions to Schrödinger equations in the plane with potentials that exhibit growth at infinity. More precisely, for equations of the form $Δu - V u = 0$ in $\mathbb{R}^2$, with $|V(z)| \lesssim |z|^{N}$ for some $N \ge 0$, we prove that real-valued solutions satisfy exponential decay estimates with a rate that depends explicitly on $N$. The case $N = 0$ corresponds to the Landis conjecture, which was proved for real-valued solutions in the plane in [LMNN20]. As such, the results in this article may be interpreted as generalized Landis-type theorems. Our proof techniques rely heavily on the ideas presented in [LMNN20].
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
Variable-coefficient parabolic theory as a high-dimensional limit of elliptic theory
Authors:
Blair Davey,
Mariana Smit Vega Garcia
Abstract:
This paper continues the study initiated in [B. Davey, Parabolic theory as a high-dimensional limit of elliptic theory, Arch Rational Mech Anal 228 (2018)], where a high-dimensional limiting technique was developed and used to prove certain parabolic theorems from their elliptic counterparts. In this article, we extend these ideas to the variable-coefficient setting. This generalized technique is…
▽ More
This paper continues the study initiated in [B. Davey, Parabolic theory as a high-dimensional limit of elliptic theory, Arch Rational Mech Anal 228 (2018)], where a high-dimensional limiting technique was developed and used to prove certain parabolic theorems from their elliptic counterparts. In this article, we extend these ideas to the variable-coefficient setting. This generalized technique is demonstrated through new proofs of three important theorems for variable-coefficient heat operators, one of which establishes a result that is, to the best of our knowledge, also new. Specifically, we give new proofs of $L^2 \to L^2$ Carleman estimates and the monotonicity of Almgren-type frequency functions, and we prove a new monotonicity of Alt-Caffarelli-Friedman-type functions. The proofs in this article rely only on their related elliptic theorems and a limiting argument. That is, each parabolic theorem is proved by taking a high-dimensional limit of a related elliptic result.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
Exponential Decay Estimates for Fundamental Matrices of Generalized Schrödinger Systems
Authors:
Blair Davey,
Joshua Isralowitz
Abstract:
In this article, we investigate systems of generalized Schrödinger operators and their fundamental matrices. More specifically, we establish the existence of such fundamental matrices and then prove sharp upper and lower exponential decay estimates for them. The Schrödinger operators that we consider have leading coefficients that are bounded and uniformly elliptic, while the zeroth-order terms ar…
▽ More
In this article, we investigate systems of generalized Schrödinger operators and their fundamental matrices. More specifically, we establish the existence of such fundamental matrices and then prove sharp upper and lower exponential decay estimates for them. The Schrödinger operators that we consider have leading coefficients that are bounded and uniformly elliptic, while the zeroth-order terms are assumed to be nondegenerate and belong to a reverse Hölder class of matrices. In particular, our operators need not be self-adjoint. The exponential bounds are governed by the so-called upper and lower Agmon distances associated to the reverse Hölder matrix that serves as the potential function. Furthermore, we thoroughly discuss the relationship between this new reverse Hölder class of matrices, the more classical matrix $\mathcal{A}_{p,\infty}$ class, and the matrix $\mathcal{A}_{\infty}$ class introduced in [Dall15].
△ Less
Submitted 12 July, 2022;
originally announced July 2022.
-
A Quantification of a Besicovitch Nonlinear Projection Theorem via Multiscale Analysis
Authors:
Blair Davey,
Krystal Taylor
Abstract:
The Besicovitch projection theorem states that if a subset $E$ of the plane has finite length in the sense of Hausdorff measure and is purely unrectifiable (so its intersection with any Lipschitz graph has zero length), then almost every orthogonal projection of $E$ to a line will have zero measure. In other words, the Favard length of a purely unrectifiable $1$-set vanishes. In this article, we s…
▽ More
The Besicovitch projection theorem states that if a subset $E$ of the plane has finite length in the sense of Hausdorff measure and is purely unrectifiable (so its intersection with any Lipschitz graph has zero length), then almost every orthogonal projection of $E$ to a line will have zero measure. In other words, the Favard length of a purely unrectifiable $1$-set vanishes. In this article, we show that when linear projections are replaced by certain nonlinear projections called curve projections, this result remains true. In fact, we go further and use multiscale analysis to prove a quantitative version of this Besicovitch nonlinear projection theorem. Roughly speaking, we show that if a subset of the plane has finite length in the sense of Hausdorff and is nearly purely unrectifiable, then its Favard curve length is very small. Our techniques build on those of Tao, who in [Tao09] proves a quantification of the original Besicovitch projection theorem.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
Expanding Belnap 2: the dual category in depth
Authors:
Andrew Craig,
Brian A. Davey,
Miroslav Haviar
Abstract:
Bilattices, which provide an algebraic tool for simultaneously modelling knowledge and truth, were introduced by N.D. Belnap in a 1977 paper entitled 'How a computer should think'. Prioritised default bilattices include not only Belnap's four values, for `true' ($t$), `false'($f$), `contradiction' ($\top$) and `no information' ($\bot$), but also indexed families of default values for simultaneousl…
▽ More
Bilattices, which provide an algebraic tool for simultaneously modelling knowledge and truth, were introduced by N.D. Belnap in a 1977 paper entitled 'How a computer should think'. Prioritised default bilattices include not only Belnap's four values, for `true' ($t$), `false'($f$), `contradiction' ($\top$) and `no information' ($\bot$), but also indexed families of default values for simultaneously modelling degrees of knowledge and truth. Prioritised default bilattices have applications in a number of areas including artificial intelligence.
In our companion paper, we introduced a new family of prioritised default bilattices, $\mathbf J_n$, for $n \in ω$, with $\mathbf J_0$ being Belnap's seminal example. We gave a duality for the variety $\mathcal V_n$ generated by $\mathbf J_n$, with the objects of the dual category $\mathcal X_n$ being multi-sorted topological structures.
Here we study the dual category in depth. We give an axiomatisation of the category $\mathcal X_n$ and show that it is isomorphic to a category $\mathcal Y_n$ of single-sorted topological structures. The objects of $\mathcal Y_n$ are Priestley spaces endowed with a continuous retraction in which the order has a natural ranking. We show how to construct the Priestley dual of the underlying bounded distributive lattice of an algebra in $\mathcal V_n$ via its dual in $\mathcal Y_n$; as an application we show that the size of the free algebra $\mathbf F_{\mathcal V_n}(1)$ is given by a polynomial in $n$ of degree $6$.
△ Less
Submitted 14 December, 2020;
originally announced December 2020.
-
Improved quantitative unique continuation for complex-valued drift equations in the plane
Authors:
Blair Davey,
Carlos Kenig,
Jenn-Nan Wang
Abstract:
In this article, we investigate the quantitative unique continuation properties of complex-valued solutions to drift equations in the plane. We consider equations of the form $Δu + W \cdot \nabla u = 0$ in $\mathbb{R}^2$, where $W = W_1 + i W_2$ with each $W_j$ real-valued. Under the assumptions that $W_j \in L^{q_j}$ for some $q_1 \in [2, \infty]$, $q_2 \in (2, \infty]$, and $W_2$ exhibits rapid…
▽ More
In this article, we investigate the quantitative unique continuation properties of complex-valued solutions to drift equations in the plane. We consider equations of the form $Δu + W \cdot \nabla u = 0$ in $\mathbb{R}^2$, where $W = W_1 + i W_2$ with each $W_j$ real-valued. Under the assumptions that $W_j \in L^{q_j}$ for some $q_1 \in [2, \infty]$, $q_2 \in (2, \infty]$, and $W_2$ exhibits rapid decay at infinity, we prove new global unique continuation estimates. This improvement is accomplished by reducing our equations to vector-valued Beltrami systems. Our results rely on a novel order of vanishing estimate combined with a finite iteration scheme.
△ Less
Submitted 31 March, 2020;
originally announced April 2020.
-
Upper and lower bounds on the rate of decay of the Favard curve length for the four-corner Cantor set
Authors:
Laura Cladek,
Blair Davey,
Krystal Taylor
Abstract:
The Favard length of a subset of the plane is defined as the average of its orthogonal projections. This quantity is related to the probabilistic Buffon needle problem; that is, the Favard length of a set is proportional to the probability that a needle or a line that is dropped at random onto the set will intersect the set. If instead of dropping lines onto a set, we drop fixed curves, then the a…
▽ More
The Favard length of a subset of the plane is defined as the average of its orthogonal projections. This quantity is related to the probabilistic Buffon needle problem; that is, the Favard length of a set is proportional to the probability that a needle or a line that is dropped at random onto the set will intersect the set. If instead of dropping lines onto a set, we drop fixed curves, then the associated Buffon curve probability is proportional to the so-called Favard curve length. As we show in our companion paper, a Besicovitch generalized projection theorem still holds in the setting where lines are replaced by curves. Consequently, the Favard curve length of any purely unrectifiable set is zero. Since the four-corner Cantor set is a compact, purely unrectifiable $1$-set with bounded, non-zero Hausdorff measure, then its Favard curve length equals zero. In this article, we estimate upper and lower bounds for the rate of decay of the Favard curve length of the four-corner Cantor set. Our techniques build on the ideas that have been previously used for the classical Favard length.
△ Less
Submitted 7 February, 2021; v1 submitted 7 March, 2020;
originally announced March 2020.
-
Quantitative unique continuation for Schrödinger operators
Authors:
Blair Davey
Abstract:
We investigate the quantitative unique continuation properties of solutions to second order elliptic equations with singular lower order terms. The main theorem presents a quantification of the strong unique continuation property for $Δ+ V$. That is, for any non-trivial $u$ that solves $Δu + V u = 0$ in some open, connected subset of $\mathbb{R}^n$, we estimate the vanishing order of solutions in…
▽ More
We investigate the quantitative unique continuation properties of solutions to second order elliptic equations with singular lower order terms. The main theorem presents a quantification of the strong unique continuation property for $Δ+ V$. That is, for any non-trivial $u$ that solves $Δu + V u = 0$ in some open, connected subset of $\mathbb{R}^n$, we estimate the vanishing order of solutions in terms of the $L^t$-norm of $V$. Our results apply to all $t > \frac n 2$ and $n \ge 3$. With these maximal order of vanishing estimates, we employ a scaling argument to produce quantitative unique continuation at infinity estimates for global solutions to $Δu + V u = 0$. To handle $V \in L^t$ for every $t \in (\frac n 2, \infty]$, we prove a novel $L^p - L^q$ Carleman estimate by interpolating a known $L^p - L^2$ estimate with a new endpoint Carleman estimate. This new Carleman estimate may also be used to establish improved order of vanishing estimates for equations with a first order term, those of the form $Δu + W \cdot \nabla u + V u = 0$.
△ Less
Submitted 10 March, 2019;
originally announced March 2019.
-
On Landis' conjecture in the plane for some equations with sign-changing potentials
Authors:
Blair Davey
Abstract:
In this article, we investigate the quantitative unique continuation properties of real-valued solutions to elliptic equations in the plane. Under a general set of assumptions on the operator, we establish quantitative forms of Landis' conjecture. Of note, we prove a version of Landis' conjecture for solutions to $-Δu + V u = 0$, where $V$ is a bounded function whose negative part exhibits polynom…
▽ More
In this article, we investigate the quantitative unique continuation properties of real-valued solutions to elliptic equations in the plane. Under a general set of assumptions on the operator, we establish quantitative forms of Landis' conjecture. Of note, we prove a version of Landis' conjecture for solutions to $-Δu + V u = 0$, where $V$ is a bounded function whose negative part exhibits polynomial decay at infinity. The main mechanism behind the proofs is an order of vanishing estimate in combination with an iteration scheme. To prove the order of vanishing result, we present a new idea for constructing positive multipliers and use it reduce the equation to a Beltrami system. The resulting first-order equation is analyzed using the similarity principle and the Hadamard three-quasi-circle theorem.
△ Less
Submitted 10 March, 2019; v1 submitted 5 September, 2018;
originally announced September 2018.
-
Expanding Belnap: dualities for a new class of default bilattices
Authors:
Andrew Craig,
Brian A. Davey,
Miroslav Haviar
Abstract:
Bilattices provide an algebraic tool with which to model simultaneously knowledge and truth. They were introduced by Belnap in 1977 in a paper entitled \emph{How a computer should think}. Belnap argued that instead of using a logic with two values, for `true' ($t$) and `false' ($f$), a computer should use a logic with two further values, for `contradiction' ($\top$) and `no information' ($\bot$).…
▽ More
Bilattices provide an algebraic tool with which to model simultaneously knowledge and truth. They were introduced by Belnap in 1977 in a paper entitled \emph{How a computer should think}. Belnap argued that instead of using a logic with two values, for `true' ($t$) and `false' ($f$), a computer should use a logic with two further values, for `contradiction' ($\top$) and `no information' ($\bot$). The resulting structure is equipped with two lattice orders, a \emph{knowledge order} and a \emph{truth order}, and hence is called a \emph{bilattice}.
Prioritised default bilattices include not only values for `true' ($t_0$), `false' ($f_0$), `contradiction' and `no information', but also indexed families of default values, $t_1, \dots, t_n$ and $f_1, \dots, f_n$, for simultaneous modelling of degrees of knowledge and truth.
We focus on a new family of prioritised default bilattices: $\mathbf J_n$, for $n \in ω$. The bilattice $\mathbf J_0$ is precisely Belnap's seminal example. We address mathematical rather than logical aspects of our prioritised default bilattices. We obtain a single-sorted topological representation for the bilattices in the quasivariety $\mathcal J_n$ generated by $\mathbf J_n$, and separately a multi-sorted topological representation for the bilattices in the variety $\mathcal V_n$ generated by $\mathbf J_n$. Our results provide an interesting example where the multi-sorted duality for the variety has a simpler structure than the single-sorted duality for the quasivariety.
△ Less
Submitted 5 May, 2019; v1 submitted 29 August, 2018;
originally announced August 2018.
-
On Landis' conjecture in the plane when the potential has an exponentially decaying negative part
Authors:
Blair Davey,
Carlos Kenig,
Jenn-Nan Wang
Abstract:
In this article, we continue our investigation into the unique continuation properties of real-valued solutions to elliptic equations in the plane. More precisely, we make another step towards proving a quantitative version of Landis' conjecture by establishing unique continuation at infinity estimates for solutions to equations of the form $- Δu + V u = 0$ in $\mathbb{R}^2$, where…
▽ More
In this article, we continue our investigation into the unique continuation properties of real-valued solutions to elliptic equations in the plane. More precisely, we make another step towards proving a quantitative version of Landis' conjecture by establishing unique continuation at infinity estimates for solutions to equations of the form $- Δu + V u = 0$ in $\mathbb{R}^2$, where $V = V_+ - V_-$, $V_+ \in L^\infty$, and $V_-$ is a non-trivial function that exhibits exponential decay at infinity. The main tool in the proof of this theorem is an order of vanishing estimate in combination with an iteration scheme. To prove the order of vanishing estimate, we establish a similarity principle for vector-valued Beltrami systems.
△ Less
Submitted 28 August, 2018;
originally announced August 2018.
-
Landis' conjecture for general second order elliptic equations with singular lower order terms in the plane
Authors:
Blair Davey,
Jenn-Nan Wang
Abstract:
In this article, we study the order of vanishing and a quantitative form of Landis' conjecture in the plane for solutions to second-order elliptic equations with variable coefficients and singular lower order terms. Precisely, we let $A$ be real-valued, bounded and elliptic, but not necessary symmetric or continuous, and we assume that $V$ and $W_i$ are real-valued and belong to $L^p$ and…
▽ More
In this article, we study the order of vanishing and a quantitative form of Landis' conjecture in the plane for solutions to second-order elliptic equations with variable coefficients and singular lower order terms. Precisely, we let $A$ be real-valued, bounded and elliptic, but not necessary symmetric or continuous, and we assume that $V$ and $W_i$ are real-valued and belong to $L^p$ and $L^{q_i}$, respectively. We prove that if $u$ is a real-valued, bounded and normalized solution to an equation of the form $-\nabla \cdot (A \nabla u + W_1 u) + W_2 \cdot \nabla u + V u = 0$ in $B_d$, then under suitable conditions on the lower order terms, for any $r$ sufficiently small, the following order of vanishing estimate holds $$\|u\|_{L^\infty(B_r)} \ge r^{C M},$$ where $M$ depends on the Lebesgue norms of the lower order terms. In a number of settings, a scaling argument gives rise to a quantitative form of Landis' conjecture, \[ \inf_{|z_0| = R} \|u\|_{L^\infty(B_1(z_0))} \ge \exp(- C R^β\log R), \] where $β$ depends on $p$, $q_1$, and $q_2$. The integrability assumptions that we impose on $V$ and $W_i$ are nearly optimal in view of a scaling argument. We use the theory of elliptic boundary value problems to establish the existence of positive multipliers associated to the elliptic equation. Then the proofs rely on transforming the equations to Beltrami systems and applying a generalization of Hadamard's three-circle theorem.
△ Less
Submitted 10 June, 2018; v1 submitted 26 September, 2017;
originally announced September 2017.
-
Quantitative uniqueness of solutions to second order elliptic equations with singular potentials in two dimensions
Authors:
Blair Davey,
Jiuyi Zhu
Abstract:
In this article, we study the vanishing order of solutions to second order elliptic equations with singular lower order terms in the plane. In particular, we derive lower bounds for solutions on arbitrarily small balls in terms of the Lebesgue norms of the lower order terms for all admissible exponents. Then we show that a scaling argument allows us to pass from these vanishing order estimates to…
▽ More
In this article, we study the vanishing order of solutions to second order elliptic equations with singular lower order terms in the plane. In particular, we derive lower bounds for solutions on arbitrarily small balls in terms of the Lebesgue norms of the lower order terms for all admissible exponents. Then we show that a scaling argument allows us to pass from these vanishing order estimates to estimates for the rate of decay of solutions at infinity. Our proofs rely on a new $L^p - L^q$ Carleman estimate for the Laplacian in $\mathbb{R}^2$.
△ Less
Submitted 3 April, 2017;
originally announced April 2017.
-
Quantitative uniqueness of solutions to second order elliptic equations with singular lower order terms
Authors:
Blair Davey,
Jiuyi Zhu
Abstract:
In this article, we study the quantitative uniqueness of solutions to second order elliptic equations with singular lower order terms. We quantify the strong unique continuation property by estimating the maximal vanishing order of solutions. That is, when $u$ is a non-trivial solution to $\triangle u + W \cdot \nabla u + V u = 0$ in some open, connected subset of $\mathbb R^n$, where $n \geq 3$,…
▽ More
In this article, we study the quantitative uniqueness of solutions to second order elliptic equations with singular lower order terms. We quantify the strong unique continuation property by estimating the maximal vanishing order of solutions. That is, when $u$ is a non-trivial solution to $\triangle u + W \cdot \nabla u + V u = 0$ in some open, connected subset of $\mathbb R^n$, where $n \geq 3$, we characterize the vanishing order of solutions in terms of the norms of $V$ and $W$ in their respective Lebesgue spaces. Using these maximal order of vanishing estimates, we also establish quantitative unique continuation at infinity results for solutions to $\triangle u + W \cdot \nabla u + V u = 0$ in $\mathbb R^n$. The main tools in our work are new versions of $L^p\to L^q$ Carleman estimates for a range of $p$- and $q$-values.
△ Less
Submitted 23 May, 2017; v1 submitted 15 February, 2017;
originally announced February 2017.
-
Fundamental matrices and Green matrices for non-homogeneous elliptic systems
Authors:
Blair Davey,
Jonathan Hill,
Svitlana Mayboroda
Abstract:
In this paper, we establish existence, uniqueness, and scale-invariant estimates for fundamental solutions of non-homogeneous second order elliptic systems with bounded measurable coefficients in $\mathbb{R}^n$ and for the corresponding Green functions in arbitrary open sets. We impose certain non-homogeneous versions of de Giorgi-Nash-Moser bounds on the weak solutions and investigate in detail t…
▽ More
In this paper, we establish existence, uniqueness, and scale-invariant estimates for fundamental solutions of non-homogeneous second order elliptic systems with bounded measurable coefficients in $\mathbb{R}^n$ and for the corresponding Green functions in arbitrary open sets. We impose certain non-homogeneous versions of de Giorgi-Nash-Moser bounds on the weak solutions and investigate in detail the assumptions on the lower order terms sufficient to guarantee such conditions.
△ Less
Submitted 25 October, 2016;
originally announced October 2016.
-
Restricted Priestley dualities and discriminator varieties
Authors:
Brian A. Davey,
Asha Gair
Abstract:
Anyone who has ever worked with a variety~$\boldsymbol{\mathscr{A}}$ of algebras with a reduct in the variety of bounded distributive lattices will know a restricted Priestley duality when they meet one---but until now there has been no abstract definition. Here we provide one. After deriving some basic properties of a restricted Priestley dual category $\boldsymbol{\mathscr{X}}$ of such a variety…
▽ More
Anyone who has ever worked with a variety~$\boldsymbol{\mathscr{A}}$ of algebras with a reduct in the variety of bounded distributive lattices will know a restricted Priestley duality when they meet one---but until now there has been no abstract definition. Here we provide one. After deriving some basic properties of a restricted Priestley dual category $\boldsymbol{\mathscr{X}}$ of such a variety, we give a characterisation, in terms of $\boldsymbol{\mathscr{X}}$, of finitely generated discriminator subvarieties of~$\boldsymbol{\mathscr{A}}$.
As a first application of our characterisation, we give a new proof of Sankappanavar's characterisation of finitely generated discriminator varieties of distributive double p-algebras.
A substantial portion of the paper is devoted to the application of our results to Cornish algebras. A Cornish algebra is a bounded distributive lattice equipped with a family of unary operations each of which is either an endomorphism or a dual endomorphism of the bounded lattice. They are a natural generalisation of Ockham algebras, which have been extensively studied. We give an external necessary-and-sufficient condition and an easily applied, completely internal, sufficient condition for a finite set of finite Cornish algebras to share a common ternary discriminator term and so generate a discriminator variety. Our results give a characterisation of discriminator varieties of Ockham algebras as a special case, thereby yielding Davey, Nguyen and Pitkethly's characterisation of quasi-primal Ockham algebras.
△ Less
Submitted 26 May, 2016;
originally announced May 2016.
-
The homomorphism lattice induced by a finite algebra
Authors:
Brian A. Davey,
Charles T. Gray,
Jane G. Pitkethly
Abstract:
Each finite algebra $\mathbf A$ induces a lattice~$\mathbf L_{\mathbf A}$ via the quasi-order~$\to$ on the finite members of the variety generated by~$\mathbf A$, where $\mathbf B \to \mathbf C$ if there exists a homomorphism from $\mathbf B$ to~$\mathbf C$. In this paper, we introduce the question: `Which lattices arise as the homomorphism lattice $\mathbf L_{\mathbf A}$ induced by a finite algeb…
▽ More
Each finite algebra $\mathbf A$ induces a lattice~$\mathbf L_{\mathbf A}$ via the quasi-order~$\to$ on the finite members of the variety generated by~$\mathbf A$, where $\mathbf B \to \mathbf C$ if there exists a homomorphism from $\mathbf B$ to~$\mathbf C$. In this paper, we introduce the question: `Which lattices arise as the homomorphism lattice $\mathbf L_{\mathbf A}$ induced by a finite algebra $\mathbf A$?' Our main result is that each finite distributive lattice arises as~$\mathbf L_{\mathbf Q}$, for some quasi-primal algebra~$\mathbf Q$. We also obtain representations of some other classes of lattices as homomorphism lattices, including all finite partition lattices, all finite subspace lattices and all lattices of the form $\mathbf L\oplus \mathbf 1$, where $\mathbf L$ is an interval in the subgroup lattice of a finite group.
△ Less
Submitted 18 December, 2016; v1 submitted 29 February, 2016;
originally announced March 2016.
-
New-from-old full dualities via axiomatisation
Authors:
Brian A. Davey,
Jane G. Pitkethly,
Ross Willard
Abstract:
We clarify what it means for two full dualities based on the same algebra to be different. Our main theorem gives conditions on two different alter egos of a finite algebra under which, if one yields a full duality, then the other does too. We use this theorem to obtain a better understanding of several important examples from the theory of natural dualities. Throughout the paper, a fundamental ro…
▽ More
We clarify what it means for two full dualities based on the same algebra to be different. Our main theorem gives conditions on two different alter egos of a finite algebra under which, if one yields a full duality, then the other does too. We use this theorem to obtain a better understanding of several important examples from the theory of natural dualities. Throughout the paper, a fundamental role is played by the universal Horn theory of the dual classes.
△ Less
Submitted 29 January, 2018; v1 submitted 10 November, 2015;
originally announced November 2015.
-
The Landis Conjecture for variable coefficient second-order elliptic PDES
Authors:
Blair Davey,
Carlos Kenig,
Jenn-Nan Wang
Abstract:
In this work, we study the Landis conjecture for second-order elliptic equations in the plane. Precisely, assume that $V\ge 0$ is a measurable real-valued function satisfying $\|V\|_{L^\infty({\mathbb R}^2)} \le 1$. Let $u$ be a real solution to $\mbox{div}(A \nabla u) - V u = 0$ in ${\mathbb R}^2$. Assume that $|u(z)| \le \exp(c_0 |z|)$ and $u(0) = 1$. Then, for any $R$ sufficiently large, \[ \in…
▽ More
In this work, we study the Landis conjecture for second-order elliptic equations in the plane. Precisely, assume that $V\ge 0$ is a measurable real-valued function satisfying $\|V\|_{L^\infty({\mathbb R}^2)} \le 1$. Let $u$ be a real solution to $\mbox{div}(A \nabla u) - V u = 0$ in ${\mathbb R}^2$. Assume that $|u(z)| \le \exp(c_0 |z|)$ and $u(0) = 1$. Then, for any $R$ sufficiently large, \[ \inf_{|z_0| = R} \|u\|_{L^\infty(B_1(z_0))} \ge \exp(- C R \log R). \] In addition to equations with electric potentials, we also derive similar estimates for equations with magnetic potentials. The proofs rely on transforming the equations to Beltrami systems and Hadamard's three-quasi-circle theorem.
△ Less
Submitted 15 October, 2015;
originally announced October 2015.
-
Bohr compactifications of algebras and structures
Authors:
B. A. Davey,
M. Haviar,
H. A. Priestley
Abstract:
This paper provides a unifying framework for a range of categorical constructions characterised by universal mapping properties, within the realm of compactifications of discrete structures. Some classic examples fit within this broad picture: the Bohr compactification of an abelian group via Pontryagin duality, the zero-dimensional Bohr compactification of a semilattice, and the Nachbin order-com…
▽ More
This paper provides a unifying framework for a range of categorical constructions characterised by universal mapping properties, within the realm of compactifications of discrete structures. Some classic examples fit within this broad picture: the Bohr compactification of an abelian group via Pontryagin duality, the zero-dimensional Bohr compactification of a semilattice, and the Nachbin order-compactification of an ordered set.
The notion of a natural extension functor is extended to suitable categories of structures and such a functor is shown to yield a reflection into an associated category of topological structures. Our principal results address reconciliation of the natural extension with the Bohr compactification or its zero-dimensional variant. In certain cases the natural extension functor and a Bohr compactification functor are the same, in others the functors have different codomains but may agree on all objects. Coincidence in the stronger sense occurs in the zero-dimensional setting precisely when the domain is a category of structures whose associated topological prevariety is standard. It occurs, in the weaker sense only, for the class of ordered sets and, as we show, also for infinitely many classes of ordered structures.
Coincidence results aid understanding of Bohr-type compactifications, which are defined abstractly. Ideas from natural duality theory lead to an explicit description of the natural extension which is particularly amenable for any prevariety of algebras with a finite, dualisable, generator. Examples of such classes---often varieties---are plentiful and varied, and in many cases the associated topological prevariety is standard.
△ Less
Submitted 31 May, 2015;
originally announced June 2015.
-
Piggyback dualities revisited
Authors:
B. A. Davey,
M. Haviar,
H. A. Priestley
Abstract:
In natural duality theory, the piggybacking technique is a valuable tool for constructing dualities. As originally devised by Davey and Werner, and extended by Davey and Priestley, it can be applied to finitely generated quasivarieties of algebras having term-reducts in a quasivariety for which a well-behaved natural duality is already available. This paper presents a comprehensive study of the me…
▽ More
In natural duality theory, the piggybacking technique is a valuable tool for constructing dualities. As originally devised by Davey and Werner, and extended by Davey and Priestley, it can be applied to finitely generated quasivarieties of algebras having term-reducts in a quasivariety for which a well-behaved natural duality is already available. This paper presents a comprehensive study of the method in a much wider setting: piggyback duality theorems are obtained for suitable prevarieties of structures. For the first time, and within this extended framework, piggybacking is used to derive theorems giving criteria for establishing strong dualities and two-for-one dualities. The general theorems specialise in particular to the familiar situation in which we piggyback on Priestley duality for distributive lattices or Hofmann--Mislove--Stralka duality for semilattices, and many well-known dualities are thereby subsumed. A selection of new dualities is also presented.
△ Less
Submitted 11 January, 2015;
originally announced January 2015.
-
Counting relations on Ockham algebras
Authors:
Brian A. Davey,
Long T. Nguyen,
Jane G. Pitkethly
Abstract:
We find all finite Ockham algebras that admit only finitely many compatible relations (modulo a natural equivalence). Up to isomorphism and symmetry, these Ockham algebras form two countably infinite families: one family consists of the quasi-primal Ockham algebras, and the other family is a sequence of generalised Stone algebras.
We find all finite Ockham algebras that admit only finitely many compatible relations (modulo a natural equivalence). Up to isomorphism and symmetry, these Ockham algebras form two countably infinite families: one family consists of the quasi-primal Ockham algebras, and the other family is a sequence of generalised Stone algebras.
△ Less
Submitted 10 January, 2015;
originally announced January 2015.
-
Parabolic theory as a high-dimensional limit of elliptic theory
Authors:
Blair Davey
Abstract:
The aim of this article is to show how certain parabolic theorems follow from their elliptic counterparts. This technique is demonstrated through new proofs of five important theorems in parabolic unique continuation and the regularity theory of parabolic equations and geometric flows. Specifically, we give new proofs of an $L^2$ Carleman estimate for the heat operator, and the monotonicity formul…
▽ More
The aim of this article is to show how certain parabolic theorems follow from their elliptic counterparts. This technique is demonstrated through new proofs of five important theorems in parabolic unique continuation and the regularity theory of parabolic equations and geometric flows. Specifically, we give new proofs of an $L^2$ Carleman estimate for the heat operator, and the monotonicity formulas for the frequency function associated to the heat operator, the two-phase free boundary problem, the flow of harmonic maps, and the mean curvature flow. The proofs rely only on the underlying elliptic theorems and limiting procedures belonging essentially to probability theory. In particular, each parabolic theorem is proved by taking a high-dimensional limit of the related elliptic result.
△ Less
Submitted 16 October, 2017; v1 submitted 5 November, 2014;
originally announced November 2014.
-
A Meshkov-type construction for the borderline case
Authors:
Blair Davey
Abstract:
We construct functions $u: \mathbb{R}^2 \to \mathbb{C}$ that satisfy an elliptic eigenvalue equation of the form $-Δu + W \cdot \nabla u + V u = λu$, where $λ\in \mathbb{C}$, and $V$ and $W$ satisfy $|V(x)| \lesssim <x>^{-N}$, and $|W(x)| \lesssim <x>^{-P}$, with $\min\{N, P\} = 1/2$. For $|x|$ sufficiently large, these solutions satisfy $|u(x)| \lesssim \exp(- c|x|)$. In the author's previous wor…
▽ More
We construct functions $u: \mathbb{R}^2 \to \mathbb{C}$ that satisfy an elliptic eigenvalue equation of the form $-Δu + W \cdot \nabla u + V u = λu$, where $λ\in \mathbb{C}$, and $V$ and $W$ satisfy $|V(x)| \lesssim <x>^{-N}$, and $|W(x)| \lesssim <x>^{-P}$, with $\min\{N, P\} = 1/2$. For $|x|$ sufficiently large, these solutions satisfy $|u(x)| \lesssim \exp(- c|x|)$. In the author's previous work, examples of solutions over $\mathbb{R}^2$ were constructed for all $N, P$ such that $\min\{N,P\} \in [0, 1/2)$. These solutions were shown to have the optimal rate of decay at infinity. A recent result of Lin and Wang shows that the constructions presented in this note for the borderline case of $\min\{N, P\} = 1/2$ also have the optimal rate of decay at infinity.
△ Less
Submitted 28 March, 2014;
originally announced March 2014.
-
A further quantification of the unique continuation properties of eigenfunctions of the magnetic Schrödinger operator
Authors:
Blair Davey
Abstract:
We prove quantitative unique continuation results for solutions of $Δw - k^2 w = V w + W\cdot \nabla w$ in a neighborhood of infinity, where $k > 0$, and $V$ and $W$ are complex-valued decaying potentials that satisfy $|V(x)| \lesssim |x|^{-N}$ and $|W(x)| \lesssim |x|^{-P}$ for some $N, P > 1$. For $M(R, 4n/k) = \inf \{||w||_{L^2(B_{4n/k}(x_0))} : |x_0| = R \}$, we show that if the solution $w$ i…
▽ More
We prove quantitative unique continuation results for solutions of $Δw - k^2 w = V w + W\cdot \nabla w$ in a neighborhood of infinity, where $k > 0$, and $V$ and $W$ are complex-valued decaying potentials that satisfy $|V(x)| \lesssim |x|^{-N}$ and $|W(x)| \lesssim |x|^{-P}$ for some $N, P > 1$. For $M(R, 4n/k) = \inf \{||w||_{L^2(B_{4n/k}(x_0))} : |x_0| = R \}$, we show that if the solution $w$ is non-zero, bounded, and normalized, then $M(R, 4n/k) \gtrsim \exp(-kR - G \log R)$, where $G > \frac{n-1}{2}$ is a constant. An examination of radial solutions to $Δw - k^2 w = V w + W\cdot \nabla w$ shows that this new estimate for $M(R, 4n/k)$ is sharp up to logarithmic terms.
△ Less
Submitted 15 October, 2015; v1 submitted 28 March, 2014;
originally announced March 2014.
-
Sharp constructions of eigenfunctions of the magnetic Schrödinger operator
Authors:
Blair Davey
Abstract:
We prove sharpness of quantitative unique continuation results for solutions of $-Δu + W\cdot \nabla u + V u = \la u$, where $\la \in \C$ and $V$ and $W$ are complex-valued decaying potentials that satisfy $|V(x)| \lesssim <x>^{-N}$ and $|W(x)| \lesssim <x>^{-P}$. For $M(R) = \inf_{|x_0| = R}||u||_{L^2(B_1(x_0))}$, it was shown in a companion paper that if the solution $u$ is non-zero, bounded, an…
▽ More
We prove sharpness of quantitative unique continuation results for solutions of $-Δu + W\cdot \nabla u + V u = \la u$, where $\la \in \C$ and $V$ and $W$ are complex-valued decaying potentials that satisfy $|V(x)| \lesssim <x>^{-N}$ and $|W(x)| \lesssim <x>^{-P}$. For $M(R) = \inf_{|x_0| = R}||u||_{L^2(B_1(x_0))}$, it was shown in a companion paper that if the solution $u$ is non-zero, bounded, and $u(0) = 1$, then $M(R) \gtrsim \exp(-C R^{\be_0}(\log R)^{A(R)})$, where $\be_0 = max{2 - 2P, (4-2N)/3, 1}$. Under certain conditions on $N$, $P$, $\la$, and the dimension, we construct examples (some of which are in the style of Meshkov) to prove that this estimate for $M(R)$ is sharp. That is, we construct functions $u$, $V$ and $W$ such that $-Δu + W\cdot \nabla u + V u = \la u$, $|V(x)| \lesssim <x>^{-N},$ $|W(x)| \lesssim <x>^{-P}$ and $|u(x)| \lesssim \exp(-c|x|^{\be_0}(\log |x|)^C)$.
△ Less
Submitted 10 April, 2014; v1 submitted 17 December, 2012;
originally announced December 2012.
-
Dualizability of automatic algebras
Authors:
Wolfram Bentz,
Brian A. Davey,
Jane G. Pitkethly,
Ross Willard
Abstract:
We make a start on one of George McNulty's Dozen Easy Problems: "Which finite automatic algebras are dualizable?" We give some necessary and some sufficient conditions for dualizability. For example, we prove that a finite automatic algebra is dualizable if its letters act as an abelian group of permutations on its states. To illustrate the potential difficulty of the general problem, we exhibit a…
▽ More
We make a start on one of George McNulty's Dozen Easy Problems: "Which finite automatic algebras are dualizable?" We give some necessary and some sufficient conditions for dualizability. For example, we prove that a finite automatic algebra is dualizable if its letters act as an abelian group of permutations on its states. To illustrate the potential difficulty of the general problem, we exhibit an infinite ascending chain $\mathbf A_1 \le \mathbf A_2 \le \mathbf A_3 \le ...b$ of finite automatic algebras that are alternately dualizable and non-dualizable.
△ Less
Submitted 3 October, 2012;
originally announced October 2012.
-
Some quantitative unique continuation results for eigenfunctions of the magnetic Schrödinger operator
Authors:
Blair Davey
Abstract:
We prove quantitative unique continuation results for solutions of $-Δu + W\cdot \nabla u + Vu = λu$, where $λ\in \mathbb{C}$ and $V$ and $W$ are complex-valued decaying potentials that satisfy $|V(x)| \lesssim \langle x\rangle^{-N}$ and $|W(x)| \lesssim \langle x\rangle^{-P}$. For $M(R) = \inf_{|x_0| = R}||u||_{L^2(B_1(x_0))}$, we show that if the solution $u$ is non-zero, bounded, and…
▽ More
We prove quantitative unique continuation results for solutions of $-Δu + W\cdot \nabla u + Vu = λu$, where $λ\in \mathbb{C}$ and $V$ and $W$ are complex-valued decaying potentials that satisfy $|V(x)| \lesssim \langle x\rangle^{-N}$ and $|W(x)| \lesssim \langle x\rangle^{-P}$. For $M(R) = \inf_{|x_0| = R}||u||_{L^2(B_1(x_0))}$, we show that if the solution $u$ is non-zero, bounded, and $u(0) = 1$, then $M(R) \gtrsim \exp(-C R^{β_0}(\log R)^{A( R)})$, where $β_0 = \max\{2 - 2P, \frac{4-2N}{3}, 1\}$. Under certain conditions on $N$, $P$ and $λ$, we construct examples (some of which are in the style of Meshkov) to prove that this estimate for $M(R)$ is sharp. That is, we construct functions $u, V$ and $W$ such that $-Δu + W\cdot \nabla u + Vu = λu$, $|V(x)| \lesssim \langle x\rangle^{-N}$, $|W(x)| \lesssim \langle x\rangle^{-P}$ and $|u(x)| \lesssim \exp(-c|x|^{β_0}(\log |x|)^C)$.
△ Less
Submitted 9 April, 2014; v1 submitted 25 September, 2012;
originally announced September 2012.
