-
Rapidly Rotating Wall-Mode Convection
Authors:
Geoffrey M. Vasil,
Keaton J. Burns,
Daniel Lecoanet,
Jeffrey S. Oishi,
Benjamin P. Brown,
Keith Julien
Abstract:
In the rapidly rotating limit, we derive a balanced set of reduced equations governing the strongly nonlinear development of the convective wall-mode instability in the interior of a general container. The model illustrates that wall-mode convection is a multiscale phenomenon where the dynamics of the bulk interior diagnostically determine the small-scale dynamics within Stewartson boundary layers…
▽ More
In the rapidly rotating limit, we derive a balanced set of reduced equations governing the strongly nonlinear development of the convective wall-mode instability in the interior of a general container. The model illustrates that wall-mode convection is a multiscale phenomenon where the dynamics of the bulk interior diagnostically determine the small-scale dynamics within Stewartson boundary layers at the sidewalls. The sidewall boundary layers feedback on the interior via a nonlinear lateral heat-flux boundary condition, providing a closed system. Outside the asymptotically thin boundary layer, the convective modes connect to a dynamical interior that maintains scales set by the domain geometry. In many ways, the final system of equations resembles boundary-forced planetary geostrophic baroclinic dynamics coupled with barotropic quasi-geostrophic vorticity. The reduced system contains the results from previous linear instability theory but captured in an elementary fashion, providing a new avenue for investigating wall-mode convection in the strongly nonlinear regime. We also derive the dominant Ekman-flux correction to the onset Rayleigh number for large Taylor number, Ra ~ 31.8 Ta^(1/2) - 4.43 Ta^(5/12) for no-slip boundaries. We demonstrate some of the reduced model's nonlinear dynamics with numerical simulations in a cylindrical container.
△ Less
Submitted 31 October, 2024; v1 submitted 30 September, 2024;
originally announced September 2024.
-
An SVD-like Decomposition of Bounded-Input Bounded-Output Functions
Authors:
Brian Charles Brown,
Michael King,
Sean Warnick,
Enoch Yeung,
David Grimsman
Abstract:
The Singular Value Decomposition (SVD) of linear functions facilitates the calculation of their 2-induced norm and row and null spaces, hallmarks of linear control theory. In this work, we present a function representation that, similar to SVD, provides an upper bound on the 2-induced norm of bounded-input bounded-output functions, as well as facilitates the computation of generalizations of the n…
▽ More
The Singular Value Decomposition (SVD) of linear functions facilitates the calculation of their 2-induced norm and row and null spaces, hallmarks of linear control theory. In this work, we present a function representation that, similar to SVD, provides an upper bound on the 2-induced norm of bounded-input bounded-output functions, as well as facilitates the computation of generalizations of the notions of row and null spaces. Borrowing from the notion of "lifting" in Koopman operator theory, we construct a finite-dimensional lifting of inputs that relaxes the unitary property of the right-most matrix in traditional SVD, $V^*$, to be an injective, norm-preserving mapping to a slightly higher-dimensional space.
△ Less
Submitted 29 March, 2024;
originally announced April 2024.
-
Iterative Methods for Navier--Stokes Inverse Problems
Authors:
Liam O'Connor,
Daniel Lecoanet,
Evan H. Anders,
Kyle C. Augustson,
Keaton J. Burns,
Geoffrey M. Vasil,
Jeffrey S. Oishi,
Benjamin P. Brown
Abstract:
Even when the partial differential equation underlying a physical process can be evolved forward in time, the retrospective (backward in time) inverse problem often has its own challenges and applications. Direct Adjoint Looping (DAL) is the defacto approach for solving retrospective inverse problems, but it has not been applied to deterministic retrospective Navier--Stokes inverse problems in 2D…
▽ More
Even when the partial differential equation underlying a physical process can be evolved forward in time, the retrospective (backward in time) inverse problem often has its own challenges and applications. Direct Adjoint Looping (DAL) is the defacto approach for solving retrospective inverse problems, but it has not been applied to deterministic retrospective Navier--Stokes inverse problems in 2D or 3D. In this paper, we demonstrate that DAL is ill-suited for solving retrospective 2D Navier--Stokes inverse problems. Alongside DAL, we study two other iterative methods: Simple Backward Integration (SBI) and the Quasi-Reversible Method (QRM). Our iterative SBI approach is novel while iterative QRM has previously been used. Using these three iterative methods, we solve two retrospective inverse problems: 1D Korteweg--de Vries--Burgers (decaying nonlinear wave) and 2D Navier--Stokes (unstratified Kelvin--Helmholtz vortex). In both cases, SBI and QRM reproduce the target final states more accurately and in fewer iterations than DAL. We attribute this performance gap to additional terms present in SBI and QRM's respective backward integrations which are absent in DAL.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Non-Clifford and parallelizable fault-tolerant logical gates on constant and almost-constant rate homological quantum LDPC codes via higher symmetries
Authors:
Guanyu Zhu,
Shehryar Sikander,
Elia Portnoy,
Andrew W. Cross,
Benjamin J. Brown
Abstract:
We study parallel fault-tolerant quantum computing for families of homological quantum low-density parity-check (LDPC) codes defined on 3-manifolds with constant or almost-constant encoding rate. We derive generic formula for a transversal $T$ gate of color codes on general 3-manifolds, which acts as collective non-Clifford logical CCZ gates on any triplet of logical qubits with their logical-$X$…
▽ More
We study parallel fault-tolerant quantum computing for families of homological quantum low-density parity-check (LDPC) codes defined on 3-manifolds with constant or almost-constant encoding rate. We derive generic formula for a transversal $T$ gate of color codes on general 3-manifolds, which acts as collective non-Clifford logical CCZ gates on any triplet of logical qubits with their logical-$X$ membranes having a $\mathbb{Z}_2$ triple intersection at a single point. The triple intersection number is a topological invariant, which also arises in the path integral of the emergent higher symmetry operator in a topological quantum field theory: the $\mathbb{Z}_2^3$ gauge theory. Moreover, the transversal $S$ gate of the color code corresponds to a higher-form symmetry supported on a codimension-1 submanifold, giving rise to exponentially many addressable and parallelizable logical CZ gates. We have developed a generic formalism to compute the triple intersection invariants for 3-manifolds and also study the scaling of the Betti number and systoles with volume for various 3-manifolds, which translates to the encoding rate and distance. We further develop three types of LDPC codes supporting such logical gates: (1) A quasi-hyperbolic code from the product of 2D hyperbolic surface and a circle, with almost-constant rate $k/n=O(1/\log(n))$ and $O(\log(n))$ distance; (2) A homological fibre bundle code with $O(1/\log^{\frac{1}{2}}(n))$ rate and $O(\log^{\frac{1}{2}}(n))$ distance; (3) A specific family of 3D hyperbolic codes: the Torelli mapping torus code, constructed from mapping tori of a pseudo-Anosov element in the Torelli subgroup, which has constant rate while the distance scaling is currently unknown. We then show a generic constant-overhead scheme for applying a parallelizable universal gate set with the aid of logical-$X$ measurements.
△ Less
Submitted 23 October, 2024; v1 submitted 25 October, 2023;
originally announced October 2023.
-
The Crisscross and the Cup: Two Short 3-Twist Paper Moebius Bands
Authors:
Brienne Elisabeth Brown,
Richard Evan Schwartz
Abstract:
We introduce the crisscross and the cup, both of which are immersed $3$-twist polygonal paper Moebius band of aspect ratio $3$. We explain why these two objects are limits of smooth embedded paper Moebius bands having knotted boundary. We conjecture that any smooth embedded paper Moebius band with knotted boundary has aspect ratio greater than $3$. The crisscross is planar but the cup is not.
We introduce the crisscross and the cup, both of which are immersed $3$-twist polygonal paper Moebius band of aspect ratio $3$. We explain why these two objects are limits of smooth embedded paper Moebius bands having knotted boundary. We conjecture that any smooth embedded paper Moebius band with knotted boundary has aspect ratio greater than $3$. The crisscross is planar but the cup is not.
△ Less
Submitted 15 October, 2023;
originally announced October 2023.
-
The spectral form of the functional model for maximally dissipative operators: A Lagrange identity approach
Authors:
B. Malcolm Brown,
Marco Marletta,
Sergey Naboko,
Ian Wood
Abstract:
The spectral and scattering properties of non-selfadjoint problems pose a mathematical challenge. Apart from exceptional cases, the well-developed methods used to examine the spectrum of selfadjoint problems are not applicable. One of the tools to attack non-selfadjoint problems are functional models. A drawback of many functional models is that their constructions require objects which may be dif…
▽ More
The spectral and scattering properties of non-selfadjoint problems pose a mathematical challenge. Apart from exceptional cases, the well-developed methods used to examine the spectrum of selfadjoint problems are not applicable. One of the tools to attack non-selfadjoint problems are functional models. A drawback of many functional models is that their constructions require objects which may be difficult to describe explicitly, such as operator square roots, making it hard to apply the results to specific examples.
We develop a functional model for the case when the non-selfadjointness arises both in additive terms and in the boundary conditions which is based on the Lagrange identity. The flexibility of the choice of the $Γ$-operators in the Lagrange identity means that these can be chosen so that expressions arising in the model are given explicitly in terms of physical parameters (coefficients, boundary conditions and Titchmarsh-Weyl $M$-function) of the maximally dissipative operator. The presentation of such explicit expressions for the spectral form of the functional model is arguably the main contribution of the present paper. In the spectral form of the functional model, the selfadjoint dilation is very simple, being the operator of multiplication by an independent variable in some auxiliary vector-valued function space. We also obtain an explicit expression for the completely non-selfadjoint part of the operator and an operator-analytic proof of the famous result by Sz.-Nagy-Foias on the pure absolute continuity of the spectrum of the minimal selfadjoint dilation. Finally, we consider an example of a limit circle Sturm-Liouville operator.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
BELIEF in Dependence: Leveraging Atomic Linearity in Data Bits for Rethinking Generalized Linear Models
Authors:
Benjamin Brown,
Kai Zhang,
Xiao-Li Meng
Abstract:
Two linearly uncorrelated binary variables must be also independent because non-linear dependence cannot manifest with only two possible states. This inherent linearity is the atom of dependency constituting any complex form of relationship. Inspired by this observation, we develop a framework called binary expansion linear effect (BELIEF) for understanding arbitrary relationships with a binary ou…
▽ More
Two linearly uncorrelated binary variables must be also independent because non-linear dependence cannot manifest with only two possible states. This inherent linearity is the atom of dependency constituting any complex form of relationship. Inspired by this observation, we develop a framework called binary expansion linear effect (BELIEF) for understanding arbitrary relationships with a binary outcome. Models from the BELIEF framework are easily interpretable because they describe the association of binary variables in the language of linear models, yielding convenient theoretical insight and striking Gaussian parallels. With BELIEF, one may study generalized linear models (GLM) through transparent linear models, providing insight into how the choice of link affects modeling. For example, setting a GLM interaction coefficient to zero does not necessarily lead to the kind of no-interaction model assumption as understood under their linear model counterparts. Furthermore, for a binary response, maximum likelihood estimation for GLMs paradoxically fails under complete separation, when the data are most discriminative, whereas BELIEF estimation automatically reveals the perfect predictor in the data that is responsible for complete separation. We explore these phenomena and provide related theoretical results. We also provide preliminary empirical demonstration of some theoretical results.
△ Less
Submitted 4 December, 2023; v1 submitted 19 October, 2022;
originally announced October 2022.
-
Cantilevered, Rectangular Plate Dynamics by Finite Difference Methods
Authors:
Benjamin Brown
Abstract:
In this technical note, we consider a dynamic linear, cantilevered rectangular plate. The evolutionary PDE model is given by the fourth order plate dynamics (via the spatial biharmonic operator) with clamped-free-free-free boundary conditions. We additionally consider damping/dissipation terms, as well as non-conservative lower order terms arising in various applications. Dynamical numerical simul…
▽ More
In this technical note, we consider a dynamic linear, cantilevered rectangular plate. The evolutionary PDE model is given by the fourth order plate dynamics (via the spatial biharmonic operator) with clamped-free-free-free boundary conditions. We additionally consider damping/dissipation terms, as well as non-conservative lower order terms arising in various applications. Dynamical numerical simulations are achieved by way of a finite difference spatial approximation with a MATLAB time integrator. The rectangular geometry allows the use of standard 2D spatial finite differences, while the high spatial order of the problem and mixed clamped-free type boundary conditions present challenges. Dynamic energies are also computed. The relevant code is presented, with discussion of the model and context.
△ Less
Submitted 7 October, 2021; v1 submitted 7 October, 2021;
originally announced October 2021.
-
Boundary topological entanglement entropy in two and three dimensions
Authors:
Jacob C. Bridgeman,
Benjamin J. Brown,
Samuel J. Elman
Abstract:
The topological entanglement entropy is used to measure long-range quantum correlations in the ground state of topological phases. Here we obtain closed form expressions for topological entropy of (2+1)- and (3+1)-dimensional loop gas models, both in the bulk and at their boundaries, in terms of the data of their input fusion categories and algebra objects. Central to the formulation of our result…
▽ More
The topological entanglement entropy is used to measure long-range quantum correlations in the ground state of topological phases. Here we obtain closed form expressions for topological entropy of (2+1)- and (3+1)-dimensional loop gas models, both in the bulk and at their boundaries, in terms of the data of their input fusion categories and algebra objects. Central to the formulation of our results are generalized $\mathcal{S}$-matrices. We conjecture a general property of these $\mathcal{S}$-matrices, with proofs provided in many special cases. This includes constructive proofs for categories up to rank 5.
△ Less
Submitted 5 August, 2021; v1 submitted 9 December, 2020;
originally announced December 2020.
-
Dimension-free local convergence and perturbations for reflected Brownian motions
Authors:
Sayan Banerjee,
Brendan Brown
Abstract:
We describe and analyze a class of positive recurrent reflected Brownian motions (RBMs) in $\mathbb{R}^d_+$ for which local statistics converge to equilibrium at a rate independent of the dimension $d$. Under suitable assumptions on the reflection matrix, drift and diffusivity coefficients, dimension-independent stretched exponential convergence rates are obtained by estimating contractions in an…
▽ More
We describe and analyze a class of positive recurrent reflected Brownian motions (RBMs) in $\mathbb{R}^d_+$ for which local statistics converge to equilibrium at a rate independent of the dimension $d$. Under suitable assumptions on the reflection matrix, drift and diffusivity coefficients, dimension-independent stretched exponential convergence rates are obtained by estimating contractions in an underlying weighted distance between synchronously coupled RBMs. We also study the Symmetric Atlas model as a first step in obtaining dimension-independent convergence rates for RBMs not satisfying the above assumptions. By analyzing a pathwise derivative process and connecting it to a random walk in a random environment, we obtain polynomial convergence rates for the gap process of the Symmetric Atlas model started from appropriate perturbations of stationarity.
△ Less
Submitted 21 March, 2022; v1 submitted 27 September, 2020;
originally announced September 2020.
-
The inverse problem for a spectral asymmetry function of the Schrödinger operator on a finite interval
Authors:
B. Malcolm Brown,
Karl Michael Schmidt,
Stephen P. Shipman,
Ian Wood
Abstract:
For the Schrödinger equation $-d^2 u/dx^2 + q(x)u = λu$ on a finite $x$-interval, there is defined an "asymmetry function" $a(λ;q)$, which is entire of order $1/2$ and type $1$ in $λ$. Our main result identifies the classes of square-integrable potentials $q(x)$ that possess a common asymmetry function. For any given $a(λ)$, there is one potential for each Dirichlet spectral sequence.
For the Schrödinger equation $-d^2 u/dx^2 + q(x)u = λu$ on a finite $x$-interval, there is defined an "asymmetry function" $a(λ;q)$, which is entire of order $1/2$ and type $1$ in $λ$. Our main result identifies the classes of square-integrable potentials $q(x)$ that possess a common asymmetry function. For any given $a(λ)$, there is one potential for each Dirichlet spectral sequence.
△ Less
Submitted 7 September, 2020;
originally announced September 2020.
-
The detectable subspace for the Friedrichs model
Authors:
B. M. Brown,
M. Marletta,
S. N. Naboko,
I. Wood
Abstract:
This paper discusses how much information on a Friedrichs model operator can be detected from `measurements on the boundary'. We use the framework of boundary triples to introduce the generalised Titchmarsh-Weyl $M$-function and the detectable subspaces which are associated with the part of the operator which is `accessible from boundary measurements'. The Friedrichs model, a finite rank perturbat…
▽ More
This paper discusses how much information on a Friedrichs model operator can be detected from `measurements on the boundary'. We use the framework of boundary triples to introduce the generalised Titchmarsh-Weyl $M$-function and the detectable subspaces which are associated with the part of the operator which is `accessible from boundary measurements'. The Friedrichs model, a finite rank perturbation of the operator of multiplication by the independent variable, is a toy model that is used frequently in the study of perturbation problems. We view the Friedrichs model as a key example for the development of the theory of detectable subspaces, because it is sufficiently simple to allow a precise description of the structure of the detectable subspace in many cases, while still exhibiting a variety of behaviours. The results also demonstrate an interesting interplay between modern complex analysis, such as the theory of Hankel operators, and operator theory.
△ Less
Submitted 29 August, 2019;
originally announced August 2019.
-
Inert drift system in a viscous fluid: Steady state asymptotics and exponential ergodicity
Authors:
Sayan Banerjee,
Brendan Brown
Abstract:
We analyze a system of stochastic differential equations describing the joint motion of a massive (inert) particle in a viscous fluid in the presence of a gravitational field and a Brownian particle impinging on it from below, which transfers momentum proportional to the local time of collisions. We study the long-time fluctuations of the velocity of the inert particle and the gap between the two…
▽ More
We analyze a system of stochastic differential equations describing the joint motion of a massive (inert) particle in a viscous fluid in the presence of a gravitational field and a Brownian particle impinging on it from below, which transfers momentum proportional to the local time of collisions. We study the long-time fluctuations of the velocity of the inert particle and the gap between the two particles, and we show convergence in total variation to the stationary distribution is exponentially fast. We also produce matching upper and lower bounds on the tails of the stationary distribution and show how these bounds depend on the system parameters. A renewal structure for the process is established, which is the key technical tool in proving the mentioned results.
△ Less
Submitted 5 January, 2020; v1 submitted 28 May, 2019;
originally announced May 2019.
-
The "Sphered Cube": A New Method for the Solution of Partial Differential Equations in Cubical Geometry
Authors:
Keaton J. Burns,
Daniel Lecoanet,
Geoffrey M. Vasil,
Jeffrey S. Oishi,
Benjamin P. Brown
Abstract:
A new gridding technique for the solution of partial differential equations in cubical geometry is presented. The method is based on volume penalization, allowing for the imposition of a cubical geometry inside of its circumscribing sphere. By choosing to embed the cube inside of the sphere, one obtains a discretization that is free of any sharp edges or corners. Taking full advantage of the simpl…
▽ More
A new gridding technique for the solution of partial differential equations in cubical geometry is presented. The method is based on volume penalization, allowing for the imposition of a cubical geometry inside of its circumscribing sphere. By choosing to embed the cube inside of the sphere, one obtains a discretization that is free of any sharp edges or corners. Taking full advantage of the simple geometry of the sphere, spectral bases based on spin-weighted spherical harmonics and Jacobi polynomials, which properly capture the regularity of scalar, vector and tensor components in spherical coordinates, can be applied to obtain moderately efficient and accurate numerical solutions of partial differential equations in the cube. This technique demonstrates the advantages of these bases over other methods for solving PDEs in spherical coordinates. We present results for a test case of incompressible hydrodynamics in cubical geometry: Rayleigh-Bénard convection with fully Dirichlet boundary conditions. Analysis of the simulations provides what is, to our knowledge, the first result on the scaling of the heat flux with the thermal forcing for this type of convection in a cube in a sphere.
△ Less
Submitted 29 March, 2019;
originally announced March 2019.
-
Gap Localization of TE-Modes by arbitrarily weak defects - multiband case
Authors:
B. M. Brown,
V. Hoang,
M. Plum,
M. Radosz,
I. Wood
Abstract:
This paper considers the propagation of TE-modes in photonic crystal waveguides. The waveguide is created by introducing a linear defect into a periodic background medium. Both the periodic background problem and the perturbed problem are modelled by a divergence type equation. A feature of our analysis is that we allow discontinuities in the coefficients of the operator, which is required to mode…
▽ More
This paper considers the propagation of TE-modes in photonic crystal waveguides. The waveguide is created by introducing a linear defect into a periodic background medium. Both the periodic background problem and the perturbed problem are modelled by a divergence type equation. A feature of our analysis is that we allow discontinuities in the coefficients of the operator, which is required to model many photonic crystals. Using the Floquet-Bloch theory in negative order Sobolev spaces, we characterize the precise number of eigenvalues created by the line defect in terms of the band functions of the original periodic background medium for arbitrarily weak defects.
△ Less
Submitted 15 January, 2019;
originally announced January 2019.
-
Tensor calculus in spherical coordinates using Jacobi polynomials. Part-I: Mathematical analysis and derivations
Authors:
Geoff Vasil,
Daniel Lecoanet,
Keaton Burns,
Jeff Oishi,
Ben Brown
Abstract:
This paper presents a method for the accurate and efficient computations on scalar, vector and tensor fields in three-dimensional spherical polar coordinates. The methods uses spin-weighted spherical harmonics in the angular directions and rescaled Jacobi polynomials in the radial direction. For the 2-sphere, spin-weighted harmonics allow for automating calculations in a fashion as similar to Four…
▽ More
This paper presents a method for the accurate and efficient computations on scalar, vector and tensor fields in three-dimensional spherical polar coordinates. The methods uses spin-weighted spherical harmonics in the angular directions and rescaled Jacobi polynomials in the radial direction. For the 2-sphere, spin-weighted harmonics allow for automating calculations in a fashion as similar to Fourier series as possible. Derivative operators act as wavenumber multiplication on a set of spectral coefficients. After transforming the angular directions, a set of orthogonal tensor rotations put the radially dependent spectral coefficients into individual spaces each obeying a particular regularity condition at the origin. These regularity spaces have remarkably simple properties under standard vector-calculus operations, such as \textit{grad} and \textit{div}. We use a hierarchy of rescaled Jacobi polynomials for a basis on these regularity spaces. It is possible to select the Jacobi-polynomial parameters such that all relevant operators act in a minimally banded way. Altogether, the geometric structure allows for the accurate and efficient solution of general partial differential equations in the unit ball.
△ Less
Submitted 26 April, 2018;
originally announced April 2018.
-
The functional model for maximal dissipative operators: An approach in the spirit of operator knots
Authors:
B. M. Brown,
M. Marletta,
S. Naboko,
I. Wood
Abstract:
In this article we develop a functional model for a general maximal dissipative operator. We construct the selfadjoint dilation of such operators. Unlike previous functional models, our model is given explicitly in terms of parameters of the original operator, making it more useful in concrete applications.
For our construction we introduce an abstract framework for working with a maximal dissip…
▽ More
In this article we develop a functional model for a general maximal dissipative operator. We construct the selfadjoint dilation of such operators. Unlike previous functional models, our model is given explicitly in terms of parameters of the original operator, making it more useful in concrete applications.
For our construction we introduce an abstract framework for working with a maximal dissipative operator and its anti-dissipative adjoint and make use of the Straus characteristic function in our setting. Explicit formulae are given for the selfadjoint dilation, its resolvent, a core and the completely non-selfadjoint subspace; minimality of the dilation is shown. The abstract theory is illustrated by the example of a Schroedinger operator on a half-line with dissipative potential, and boundary condition and connections to existing theory are discussed.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
Weyl Solutions and J-selfadjointness for Dirac operators
Authors:
B. Malcolm Brown,
Martin Klaus,
Mark Malamud,
Vadim Mogilevskii,
Ian Wood
Abstract:
We consider a non-selfadjoint Dirac-type differential expression
\begin{equation} D(Q)y:= J_n \frac{dy}{dx} + Q(x)y, \quad\quad\quad (1)
\end{equation} with a non-selfadjoint potential matrix $Q \in L^1_{loc}({\mathcal I},\mathbb{C}^{n\times n})$ and a signature matrix $J_n =-J_n^{-1} = -J_n^*\in \mathbb{C}^{n\times n}$. Here ${\mathcal I}$ denotes either the line $\mathbb{R}$ or the half-line…
▽ More
We consider a non-selfadjoint Dirac-type differential expression
\begin{equation} D(Q)y:= J_n \frac{dy}{dx} + Q(x)y, \quad\quad\quad (1)
\end{equation} with a non-selfadjoint potential matrix $Q \in L^1_{loc}({\mathcal I},\mathbb{C}^{n\times n})$ and a signature matrix $J_n =-J_n^{-1} = -J_n^*\in \mathbb{C}^{n\times n}$. Here ${\mathcal I}$ denotes either the line $\mathbb{R}$ or the half-line $\mathbb{R}_+$. With this differential expression one associates in $L^2(\mathcal I,\mathbb{C}^{n})$ the (closed) maximal and minimal operators $D_{\max}(Q)$ and $D_{\min}(Q)$, respectively. One of our main results states that $D_{\max}(Q) = D_{\min}(Q)$ in $L^2(\mathbb{R},\mathbb{C}^{n})$. Moreover, we show that if the minimal operator $D_{\min}(Q)$ in $L^2(\mathbb{R},\mathbb{C}^{n})$ is $j$-symmetric with respect to an appropriate involution $j$, then it is $j$-selfadjoint.
Similar results are valid in the case of the semiaxis $\mathbb{R}_+$. In particular, we show that if $n=2p$ and the minimal operator $D_{\min}(Q)$ in $L^2(\mathbb{R}_+,\mathbb{C}^{2p})$ is $j$-symmetric, then there exists a $2p\times p$-Weyl-type matrix solution $Ψ(z, \cdot)\in L^2(\mathbb{R}_+,\mathbb{C}^{2p\times p})$ of the equation $D^+_{\max}(Q)Ψ(z, \cdot)= zΨ(z, \cdot)$. A similar result is valid for the expression (1) with a potential matrix having a bounded imaginary part. This leads to the existence of a unique Weyl function for the expression (1).
The differential expression (1) is of significance as it appears in the Lax formulation of the vector-valued nonlinear Schr{ö}dinger equation.
△ Less
Submitted 20 February, 2018; v1 submitted 29 December, 2017;
originally announced December 2017.
-
On the expected uniform error of Brownian motion approximated by the Lévy-Ciesielski construction
Authors:
Bruce Brown,
Michael Griebel,
Frances Y. Kuo,
Ian H. Sloan
Abstract:
It is known that the Brownian bridge or Lévy-Ciesielski construction of Brownian paths almost surely converges uniformly to the true Brownian path. In the present article the focus is on the uniform error. In particular, we show constructively that at level $N$, at which there are $d=2^N$ points evaluated on the Brownian path, the uniform error and its square, and the uniform error of geometric Br…
▽ More
It is known that the Brownian bridge or Lévy-Ciesielski construction of Brownian paths almost surely converges uniformly to the true Brownian path. In the present article the focus is on the uniform error. In particular, we show constructively that at level $N$, at which there are $d=2^N$ points evaluated on the Brownian path, the uniform error and its square, and the uniform error of geometric Brownian motion, have upper bounds of order $\mathcal{O}(\sqrt{\ln d/d})$, matching the known orders. We apply the results to an option pricing example.
△ Less
Submitted 14 August, 2023; v1 submitted 3 June, 2017;
originally announced June 2017.
-
Selfadjoint and $m$ sectorial extensions of Sturm-Liouville operators
Authors:
B. M. Brown,
W. D. Evans
Abstract:
The self-adjoint and $m$-sectorial extensions of coercive Sturm-Liouville operators are characterised, under minimal smoothness conditions on the coefficients of the differential expression.
The self-adjoint and $m$-sectorial extensions of coercive Sturm-Liouville operators are characterised, under minimal smoothness conditions on the coefficients of the differential expression.
△ Less
Submitted 11 April, 2016;
originally announced April 2016.
-
Tensor calculus in polar coordinates using Jacobi polynomials
Authors:
Geoffrey M. Vasil,
Keaton J. Burns,
Daniel Lecoanet,
Sheehan Olver,
Benjamin P. Brown,
Jeffrey S. Oishi
Abstract:
Spectral methods are an efficient way to solve partial differential equations on domains possessing certain symmetries. The utility of a method depends strongly on the choice of spectral basis. In this paper we describe a set of bases built out of Jacobi polynomials, and associated operators for solving scalar, vector, and tensor partial differential equations in polar coordinates on a unit disk.…
▽ More
Spectral methods are an efficient way to solve partial differential equations on domains possessing certain symmetries. The utility of a method depends strongly on the choice of spectral basis. In this paper we describe a set of bases built out of Jacobi polynomials, and associated operators for solving scalar, vector, and tensor partial differential equations in polar coordinates on a unit disk. By construction, the bases satisfy regularity conditions at r=0 for any tensorial field. The coordinate singularity in a disk is a prototypical case for many coordinate singularities. The work presented here extends to other geometries. The operators represent covariant derivatives, multiplication by azimuthally symmetric functions, and the tensorial relationship between fields. These arise naturally from relations between classical orthogonal polynomials, and form a Heisenberg algebra. Other past work uses more specific polynomial bases for solving equations in polar coordinates. The main innovation in this paper is to use a larger set of possible bases to achieve maximum bandedness of linear operations. We provide a series of applications of the methods, illustrating their ease-of-use and accuracy.
△ Less
Submitted 15 August, 2016; v1 submitted 25 September, 2015;
originally announced September 2015.
-
Isoperimetric Regions in $\mathbb{R}^n$ with density $r^p$
Authors:
Wyatt Boyer,
Bryan Brown,
Gregory R. Chambers,
Alyssa Loving,
Sarah Tammen
Abstract:
We show that the unique isoperimetric hypersurfaces in $\mathbb{R}^n$ with density $r^p$ for $n \ge 3$ and $p>0$ are spheres that pass through the origin.
We show that the unique isoperimetric hypersurfaces in $\mathbb{R}^n$ with density $r^p$ for $n \ge 3$ and $p>0$ are spheres that pass through the origin.
△ Less
Submitted 7 October, 2016; v1 submitted 7 April, 2015;
originally announced April 2015.
-
An abstract inverse problem for boundary triples with an application to the Friedrichs Model
Authors:
B. M. Brown,
M. Marletta,
S. N. Naboko,
I. G. Wood
Abstract:
We discuss the detectable subspaces of an operator. We analyse the relation between the M-function (the abstract Dirichlet to Neumann map) and the resolvent bordered by projections onto the detectable subspaces. The abstract results are explored further by an extensive study of the Friedrichs model, together with illustrative applications to the Schroedinger and Hain-Luest-type models.
We discuss the detectable subspaces of an operator. We analyse the relation between the M-function (the abstract Dirichlet to Neumann map) and the resolvent bordered by projections onto the detectable subspaces. The abstract results are explored further by an extensive study of the Friedrichs model, together with illustrative applications to the Schroedinger and Hain-Luest-type models.
△ Less
Submitted 5 December, 2014; v1 submitted 27 April, 2014;
originally announced April 2014.
-
Four quotient set gems
Authors:
Bryan Brown,
Michael Dairyko,
Stephan Ramon Garcia,
Bob Lutz,
Michael Someck
Abstract:
Our aim in this note is to present four remarkable facts about quotient sets. These observations seem to have been overlooked by the Monthly, despite its intense coverage of quotient sets over the years.
Our aim in this note is to present four remarkable facts about quotient sets. These observations seem to have been overlooked by the Monthly, despite its intense coverage of quotient sets over the years.
△ Less
Submitted 4 December, 2013;
originally announced December 2013.
-
Robust Graph Ideals
Authors:
Adam Boocher,
Bryan Christopher Brown,
Timothy Duff,
Laura Lyman,
Takumi Murayama,
Amy Nesky,
Karl Schaefer
Abstract:
Let I be a toric ideal. We say I is robust if its universal Groebner basis is a minimal generating set. We show that any robust toric ideal arising from a graph G is also minimally generated by its Graver basis. We then completely characterize all graphs which give rise to robust ideals. Our characterization shows that robustness can be determined solely in terms of graph-theoretic conditions on t…
▽ More
Let I be a toric ideal. We say I is robust if its universal Groebner basis is a minimal generating set. We show that any robust toric ideal arising from a graph G is also minimally generated by its Graver basis. We then completely characterize all graphs which give rise to robust ideals. Our characterization shows that robustness can be determined solely in terms of graph-theoretic conditions on the set of circuits of G.
△ Less
Submitted 29 September, 2013;
originally announced September 2013.
-
Spectrum created by line defects in periodic structures
Authors:
B. M. Brown,
V. Hoang,
M. Plum,
I. Wood
Abstract:
The spectrum of periodic differential operators typically exhibits a band-gap structure. In this paper, we will consider perturbations to periodic differential operators and investigate the spectrum the perturbation induces in the gaps. More specifically, we consider the operator $$ L_0 =-\frac{1}{\eps_0(x,y,z)}Δ$$ in $\R^3$ with $\eps_0$ periodic in all three directions. The perturbation is intro…
▽ More
The spectrum of periodic differential operators typically exhibits a band-gap structure. In this paper, we will consider perturbations to periodic differential operators and investigate the spectrum the perturbation induces in the gaps. More specifically, we consider the operator $$ L_0 =-\frac{1}{\eps_0(x,y,z)}Δ$$ in $\R^3$ with $\eps_0$ periodic in all three directions. The perturbation is introduced by replacing $\eps_0$ by $\eps_0+\eps_1$ where we assume that $\eps_1$ is still periodic in one direction, but compactly supported in the remaining two directions, creating a line defect. We will show that even small perturbations $\eps_1$ lead to additional spectrum in the spectral gaps of the unperturbed operator $L_0$ and investigate some properties of the spectrum that is created.
△ Less
Submitted 26 June, 2013;
originally announced June 2013.
-
Some spectral properties of Rooms and Passages domains and their skeletons
Authors:
B. M. Brown,
W. D. Evans,
I. G. Wood
Abstract:
In this paper we investigate spectral properties of Lapla- cians on Rooms and Passages domains. In the first part, we use Dirichlet- Neumann bracketing techniques to show that for the Neumann Lapla- cian in certain Rooms and Passages domains the second term of the asymptotic expansion of the counting function is of order $\sqrtλ$. For the Dirichlet Laplacian our methods only give an upper estimate…
▽ More
In this paper we investigate spectral properties of Lapla- cians on Rooms and Passages domains. In the first part, we use Dirichlet- Neumann bracketing techniques to show that for the Neumann Lapla- cian in certain Rooms and Passages domains the second term of the asymptotic expansion of the counting function is of order $\sqrtλ$. For the Dirichlet Laplacian our methods only give an upper estimate of the form $\sqrtλ$. In the second part of the paper, we consider the relation- ship between Neumann Laplacians on Rooms and Passages domains and Sturm-Liouville operators on the skeleton.
△ Less
Submitted 18 January, 2013;
originally announced January 2013.
-
Elliptic curves, modular forms, and sums of Hurwitz class numbers
Authors:
Brittany Brown,
Neil J. Calkin,
Timothy B. Flowers,
Kevin James,
Ethan Smith,
Amy Stout
Abstract:
Let H(N) denote the Hurwitz class number. It is known that if $p$ is a prime, then {equation*} \sum_{|r|<2\sqrt p}H(4p-r^2) = 2p. {equation*} In this paper, we investigate the behavior of this sum with the additional condition $r\equiv c\pmod m$. Three different methods will be explored for determining the values of such sums. First, we will count isomorphism classes of elliptic curves over finite…
▽ More
Let H(N) denote the Hurwitz class number. It is known that if $p$ is a prime, then {equation*} \sum_{|r|<2\sqrt p}H(4p-r^2) = 2p. {equation*} In this paper, we investigate the behavior of this sum with the additional condition $r\equiv c\pmod m$. Three different methods will be explored for determining the values of such sums. First, we will count isomorphism classes of elliptic curves over finite fields. Second, we will express the sums as coefficients of modular forms. Third, we will manipulate the Eichler-Selberg trace for ula for Hecke operators to obtain Hurwitz class number relations. The cases $m=2,3$ and 4 are treated in full. Partial results, as well as several conjectures, are given for $m=5$ and 7.
△ Less
Submitted 23 August, 2012;
originally announced August 2012.
-
Theory and Applications of Robust Optimization
Authors:
Dimitris Bertsimas,
David B. Brown,
Constantine Caramanis
Abstract:
In this paper we survey the primary research, both theoretical and applied, in the area of Robust Optimization (RO). Our focus is on the computational attractiveness of RO approaches, as well as the modeling power and broad applicability of the methodology. In addition to surveying prominent theoretical results of RO, we also present some recent results linking RO to adaptable models for multi-sta…
▽ More
In this paper we survey the primary research, both theoretical and applied, in the area of Robust Optimization (RO). Our focus is on the computational attractiveness of RO approaches, as well as the modeling power and broad applicability of the methodology. In addition to surveying prominent theoretical results of RO, we also present some recent results linking RO to adaptable models for multi-stage decision-making problems. Finally, we highlight applications of RO across a wide spectrum of domains, including finance, statistics, learning, and various areas of engineering.
△ Less
Submitted 26 October, 2010;
originally announced October 2010.
-
M-functions for closed extensions of adjoint pairs of operators with applications to elliptic boundary problems
Authors:
B. M. Brown,
G. Grubb,
I. G. Wood
Abstract:
In this paper, we combine results on extensions of operators with recent results on the relation between the M-function and the spectrum, to examine the spectral behaviour of boundary value problems. M-functions are defined for general closed extensions, and associated with realisations of elliptic operators. In particular, we consider both ODE and PDE examples where it is possible for the opera…
▽ More
In this paper, we combine results on extensions of operators with recent results on the relation between the M-function and the spectrum, to examine the spectral behaviour of boundary value problems. M-functions are defined for general closed extensions, and associated with realisations of elliptic operators. In particular, we consider both ODE and PDE examples where it is possible for the operator to possess spectral points that can not be detected by the M-function.
△ Less
Submitted 3 November, 2008; v1 submitted 26 March, 2008;
originally announced March 2008.
-
The inverse resonance problem for perturbations of algebro-geometric potentials
Authors:
B. M. Brown,
R. Weikard
Abstract:
We prove that a compactly supported perturbation of a rational or simply periodic algebro-geometric potential of the one-dimensional Schrödinger equation on the half line is uniquely determined by the location of its Dirichlet eigenvalues and resonances.
We prove that a compactly supported perturbation of a rational or simply periodic algebro-geometric potential of the one-dimensional Schrödinger equation on the half line is uniquely determined by the location of its Dirichlet eigenvalues and resonances.
△ Less
Submitted 2 June, 2003;
originally announced June 2003.
-
Spectral inclusion and spectral exactness for singular non-selfadjoint Sturm-Liouville problems
Authors:
B. M. Brown,
M. Marletta
Abstract:
We consider the effect of regularization by interval truncation on the spectrum of a singular non-selfadjoint Sturm-Liouville operator. We present results on spectral inclusion and spectral exactness for the cases where the singularity is in Sims Case II or Sims Case III. For Sims Case I we present a test for spectral inexactness, which can be used to detect when the interval truncation process…
▽ More
We consider the effect of regularization by interval truncation on the spectrum of a singular non-selfadjoint Sturm-Liouville operator. We present results on spectral inclusion and spectral exactness for the cases where the singularity is in Sims Case II or Sims Case III. For Sims Case I we present a test for spectral inexactness, which can be used to detect when the interval truncation process is generating spurious eigenvalues. Numerical results illustrate the effectiveness of this test.
△ Less
Submitted 28 June, 2000;
originally announced June 2000.
-
Analytic continuation and resonance-free regions for Sturm-Liouville pote ntials with power decay
Authors:
B. M. Brown,
M. S. P. Eastham
Abstract:
We are concerned with the Sturm-Liouville problem on the half line. We show that when the potential $q$ is subject only to power decay at infinity the $L^2$ solution may be continued into a sector of the so-called un-physical sheet. This gives rise to resonance free regions and the numerical estimation of resonances outside these regions.
We are concerned with the Sturm-Liouville problem on the half line. We show that when the potential $q$ is subject only to power decay at infinity the $L^2$ solution may be continued into a sector of the so-called un-physical sheet. This gives rise to resonance free regions and the numerical estimation of resonances outside these regions.
△ Less
Submitted 8 June, 2000;
originally announced June 2000.
-
On the Accurate Finite Element Solution of a Class of Fourth Order Eigenvalue Problems
Authors:
B. M. Brown,
E. B. Davies,
P. K. Jimack,
M. D. Mihajlovi'c
Abstract:
This paper is concerned with the accurate numerical approximation of the spectral properties of the biharmonic operator on various domains in two dimensions. A number of analytic results concerning the eigenfunctions of this operator are summarized and their implications for numerical approximation are discussed. In particular, the asymptotic behaviour of the first eigenfunction is studied since…
▽ More
This paper is concerned with the accurate numerical approximation of the spectral properties of the biharmonic operator on various domains in two dimensions. A number of analytic results concerning the eigenfunctions of this operator are summarized and their implications for numerical approximation are discussed. In particular, the asymptotic behaviour of the first eigenfunction is studied since it is known that this has an unbounded number of oscillations when approaching certain types of corner on domain boundaries. Recent computational results of Bjørstad and Tjøstheim, using a highly accurate spectral Legendre-Galerkin method, have demonstrated that a number of these sign changes may be accurately computed on a square domain provided sufficient care is taken with the numerical method. We demonstrate that similar accuracy is also achieved using an unstructured finite element solver which may be applied to problems on domains with arbitrary geometries. A number of results obtained from this mixed finite element approach are then presented for a variety of domains. These include a family of circular sector regions, for which the oscillatory behaviour is studied as a function of the internal angle, and another family of (symmetric and non-convex) domains, for which the parity of the least eigenfunction is investigated. The paper not only verifies existing asymptotic theory, but also allows us to make a new conjecture concerning the eigenfunctions of the biharmonic operator.
△ Less
Submitted 6 May, 1999;
originally announced May 1999.
-
Absolute continuity and spectral concentration for slowly decaying potentials
Authors:
B. M. Brown,
M. S. P. Eastham,
D. K. R. McCormack
Abstract:
We consider the spectral function $ρ(μ)$ $(μ\geq 0)$ for the Sturm-Liouville equation $y^{''}+(λ-q)y =0$ on $[0,\infty)$ with the boundary condition $y(0)=0$ and where $q$ has slow decay $O(x^{-α})$ $(a>0)$ as $x\to \infty$. We develop our previous methods of locating spectral concentration for $q$ with rapid exponential decay (JCAM 81 (1997) 333-348) to deal with the new theoretical and computa…
▽ More
We consider the spectral function $ρ(μ)$ $(μ\geq 0)$ for the Sturm-Liouville equation $y^{''}+(λ-q)y =0$ on $[0,\infty)$ with the boundary condition $y(0)=0$ and where $q$ has slow decay $O(x^{-α})$ $(a>0)$ as $x\to \infty$. We develop our previous methods of locating spectral concentration for $q$ with rapid exponential decay (JCAM 81 (1997) 333-348) to deal with the new theoretical and computational complexities which arise for slow decay.
△ Less
Submitted 6 May, 1998;
originally announced May 1998.
-
Extensions of a New Algorithm for the Numerical Solution of Linear Differential Systems on an Infinite Interval
Authors:
B. M. Brown,
M. S. P. Eastham,
D. K. R. McCormack
Abstract:
This paper is part of a series of papers in which the asymptotic theory and appropriate symbolic computer code are developed to compute the asymptotic expansion of the solution of an n-th order ordinary differential equation. The paper examines the situation when the matrix that appears in the Levinson expansion has a double eigenvalue. Application is made to a fourth-order ODE with known specia…
▽ More
This paper is part of a series of papers in which the asymptotic theory and appropriate symbolic computer code are developed to compute the asymptotic expansion of the solution of an n-th order ordinary differential equation. The paper examines the situation when the matrix that appears in the Levinson expansion has a double eigenvalue. Application is made to a fourth-order ODE with known special function solution.
△ Less
Submitted 12 January, 1998;
originally announced January 1998.
-
A new algorithm for computing the asymptotic solutions of a class of linear differential systems
Authors:
B. M. Brown,
M. S. P. Eastham,
D. K. R. McCormack
Abstract:
This paper reports on a new algorithm to compute the asymptotic solutions of a linear differential system. A feature of the algorithm is the ability to accommodate periodic coefficients.
This paper reports on a new algorithm to compute the asymptotic solutions of a linear differential system. A feature of the algorithm is the ability to accommodate periodic coefficients.
△ Less
Submitted 12 January, 1998;
originally announced January 1998.
-
Approximate diagonalization in differential systems and an effective algorithm for the computation of the spectral matrix
Authors:
B. M. Brown,
M. S. P. Eastham,
D. K. R. McCormack,
W. D. Evans
Abstract:
This paper reports on recent work to compute the asymptotic solution of a n-th order ordinary differential equation. Symbolic methods are used to compute the asymptotics over a large region. Application is made to the computation of the Titchmarsh-Weyl M-matrix for the fourth order operator.
This paper reports on recent work to compute the asymptotic solution of a n-th order ordinary differential equation. Symbolic methods are used to compute the asymptotics over a large region. Application is made to the computation of the Titchmarsh-Weyl M-matrix for the fourth order operator.
△ Less
Submitted 12 January, 1998;
originally announced January 1998.
-
Convergence of regular approximations to the spectra of singular fourth order Sturm-Liouville problems
Authors:
Malcolm Brown,
Leon Greenberg,
Marco Marletta
Abstract:
We prove some new results which justify the use of interval truncation as a means of regularising a singular fourth order Sturm-Liouville problem near a singular endpoint. Of particular interest are the results in the so called lim-3 case, which has no analogue in second order singular problems.
We prove some new results which justify the use of interval truncation as a means of regularising a singular fourth order Sturm-Liouville problem near a singular endpoint. Of particular interest are the results in the so called lim-3 case, which has no analogue in second order singular problems.
△ Less
Submitted 12 January, 1998;
originally announced January 1998.
-
On a conjecture of Bennewitz, and the behaviour of the Titchmarsh-Weyl matrix near a pole
Authors:
B. M. Brown,
M. Marletta
Abstract:
For any real limit-$n$ $2n$th-order selfadjoint linear differential expression on $[0,\infty)$, Titchmarsh- Weyl matrices
$M(λ)$ can be defined. Two matrices of particu lar interest are the matrices $M_D(λ)$ and $M_N(λ)$ assoc iated respectively with Dirichlet and Neumann boundary conditions at $x=0$. These satisfy
$M_D(λ) = -M_{N}(λ)^{-1}$. It is known that when these matrices have poles (whi…
▽ More
For any real limit-$n$ $2n$th-order selfadjoint linear differential expression on $[0,\infty)$, Titchmarsh- Weyl matrices
$M(λ)$ can be defined. Two matrices of particu lar interest are the matrices $M_D(λ)$ and $M_N(λ)$ assoc iated respectively with Dirichlet and Neumann boundary conditions at $x=0$. These satisfy
$M_D(λ) = -M_{N}(λ)^{-1}$. It is known that when these matrices have poles (which can only lie on the real axis) the existence of valid HELP inequalities depends on their behaviour in the neighbourhood of these poles. We prove a conjecture of Bennewitz and use it, together with a new algorithm for computing the Laurent expansion of a Titchmarsh-Weyl matrix in the neighbourhood of a pole, to investigate the existence of HELP inequalities for a number of differential equations which have so far proved awkward to analyse
△ Less
Submitted 12 January, 1998;
originally announced January 1998.
-
On a New Algorithm for the Computation of Enclosures for the Titchmarsh-Weyl m-Function
Authors:
B. M. Brown,
M. S. P. Eastham,
D. K. R. McCormack,
M. Plum
Abstract:
The paper reports on computation of verified enclosures for the Titchmarsh-Weyl m-function. It examines some cases in which Lohner's AWA algorithm must be suplimented by mathematical analysis.
The paper reports on computation of verified enclosures for the Titchmarsh-Weyl m-function. It examines some cases in which Lohner's AWA algorithm must be suplimented by mathematical analysis.
△ Less
Submitted 12 January, 1998; v1 submitted 5 January, 1998;
originally announced January 1998.
-
On the spectrum of second order differential operators with complex coefficients
Authors:
B. M. Brown,
W. D. Evans,
D. K. R. McCormack,
M. Plum
Abstract:
The Weyl-Sims classification for a second-order ordinary differential equation with general complex coefficients is investigated. Connections are then established between the associated m-function and the spectral properties of maximal-accretive realisations of the differential expression.
The Weyl-Sims classification for a second-order ordinary differential equation with general complex coefficients is investigated. Connections are then established between the associated m-function and the spectral properties of maximal-accretive realisations of the differential expression.
△ Less
Submitted 6 May, 1998; v1 submitted 12 December, 1997;
originally announced December 1997.
-
The Askey-Wilson polynomials and q-Sturm-Lioville problems
Authors:
B. Malcolm Brown,
William Desmond Evans,
Mourad E. H. Ismail
Abstract:
We find the adjoint of the Askey-Wilson divided difference operator with respect to the inner procuct on L^2(-1,1,(1-x^2)^-1/2 dx) defined as a Cauchy principle value and show that the Askey-Wilson polynomials are solutions of a q-Sturm-Liouville problem. From these facts we deduce various properties of the polynomials in a simple and straightforward way. We also provide an operator theoretic de…
▽ More
We find the adjoint of the Askey-Wilson divided difference operator with respect to the inner procuct on L^2(-1,1,(1-x^2)^-1/2 dx) defined as a Cauchy principle value and show that the Askey-Wilson polynomials are solutions of a q-Sturm-Liouville problem. From these facts we deduce various properties of the polynomials in a simple and straightforward way. We also provide an operator theoretic description of the Askey-Wilson operator.
△ Less
Submitted 23 August, 1994;
originally announced August 1994.
-
A right inverse of the Askey-Wilson operator
Authors:
B. Malcolm Brown,
Mourad E. H. Ismail
Abstract:
We establish an integral representation of a right inverse of the Askey-Wilson finite difference operator on $L^2$ with weight $(1-x^2)^{-1/2}$. The kernel of this integral operator is $\vartheta'_4/\vartheta_4$ and is the Riemann mapping function that maps the open unit disc conformally onto the interior of an ellipse.
We establish an integral representation of a right inverse of the Askey-Wilson finite difference operator on $L^2$ with weight $(1-x^2)^{-1/2}$. The kernel of this integral operator is $\vartheta'_4/\vartheta_4$ and is the Riemann mapping function that maps the open unit disc conformally onto the interior of an ellipse.
△ Less
Submitted 4 October, 1993;
originally announced October 1993.
