-
Envelopes of Horospheres and Weingarten Surfaces in Hyperbolic 3-Space
Authors:
Charles L. Epstein
Abstract:
We derive basic differential geometric formulae for surfaces in hyperbolic space represented as envelopes of horospheres. The dual notion of parallel hypersurfaces is also studied. The representation is applied to prove existence and regularity theorems for Weingarten surfaces in H^3, which satisfy (1-a)K = a(2-H), for an a < 0, and have a specified boundary curve at infinity. These surfaces are s…
▽ More
We derive basic differential geometric formulae for surfaces in hyperbolic space represented as envelopes of horospheres. The dual notion of parallel hypersurfaces is also studied. The representation is applied to prove existence and regularity theorems for Weingarten surfaces in H^3, which satisfy (1-a)K = a(2-H), for an a < 0, and have a specified boundary curve at infinity. These surfaces are shown to be closely connected to conformal map**s of domains in S^2 into the unit disk and provide Riemannian interpretations for some conformal invariants associated to such map**s.
This paper was originally written in 1984, before I learned to use TeX, and was typed by one of the secretaries in the Princeton Math Department. It was more or less, my first original work after my dissertation. For some reason, I was not able to get this paper published in a timely manner. The results and perspective in this paper have proved to be useful to a variety of people, some of whom asked me to render the article into TeX and post it to the arXiv. I had been seriously thinking about doing this, when Martin Bridgemen sent me a transcription of my original article into TeX. I am extremely grateful to him for the effort he has put into this project.
The paper is now formatted in a more or less modern AMS-article style, but for lots of additional punctuation, a few corrections and some minor stylistic changes, the content has been largely reproduced as it originally was. Remarks about the 'state-of-the-art' in hyperbolic geometry are obviously way out of date, as there has been enormous progress in many aspects of this still rich subject.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Solving the Scattering Problem for Open Wave-Guides, III: Radiation Conditions and Uniqueness
Authors:
Charles L. Epstein,
Rafe Mazzeo
Abstract:
This paper continues the analysis of the scattering problem for a network of open wave-guides started in [arXiv:2302.04353, arXiv:2310.05816]. In this part we present explicit, physically motivated radiation conditions that ensure uniqueness of the solution to the scattering problem. These conditions stem from a 2000 paper of A. Vasy on 3-body Schrodinger operators; we discuss closely related cond…
▽ More
This paper continues the analysis of the scattering problem for a network of open wave-guides started in [arXiv:2302.04353, arXiv:2310.05816]. In this part we present explicit, physically motivated radiation conditions that ensure uniqueness of the solution to the scattering problem. These conditions stem from a 2000 paper of A. Vasy on 3-body Schrodinger operators; we discuss closely related conditions from a 1994 paper of H. Isozaki. Vasy's paper also proves the existence of the limiting absorption resolvents, and that the limiting solutions satisfy the radiation conditions. The statements of these results require a calculus of pseudodifferential operators, called the 3-body scattering calculus, which is briefly introduced here. We show that the solutions to the model problem obtained in arXiv:2302.04353 satisfy these radiation conditions, which makes it possible to prove uniqueness, and therefore existence, for the system of Fredholm integral equations introduced in that paper.
△ Less
Submitted 9 January, 2024;
originally announced January 2024.
-
Solving the Transmission Problem for Open Wave-Guides, II Outgoing Estimates
Authors:
Charles L. Epstein
Abstract:
The paper continues the analysis, started in [1] (Part I,arXiv:2302.04353), of the model open wave-guide problem defined by 2 semi-infinite, rectangular wave-guides meeting along a common perpendicular line. In Part I we reduce the solution of the physical problem to a transmission problem rephrased as a system of integral equations on the common perpendicular line. In this part we show that solut…
▽ More
The paper continues the analysis, started in [1] (Part I,arXiv:2302.04353), of the model open wave-guide problem defined by 2 semi-infinite, rectangular wave-guides meeting along a common perpendicular line. In Part I we reduce the solution of the physical problem to a transmission problem rephrased as a system of integral equations on the common perpendicular line. In this part we show that solutions of the integral equations introduced in Part I have asymptotic expansions, if the data allows it. Using these expansions we show that the solutions to the PDE found in each half space satisfy appropriate outgoing radiation conditions. In Part III we show that these conditions imply uniqueness of the solution to the PDE as well as uniqueness for our system of integral equations.
△ Less
Submitted 4 October, 2023;
originally announced October 2023.
-
An accurate and efficient scheme for function extensions on smooth domains
Authors:
Charles L. Epstein,
Fredrik Fryklund,
Shidong Jiang
Abstract:
A new scheme is proposed to construct an n-times differentiable function extension of an n-times differentiable function defined on a smooth domain D in d-dimensions. The extension scheme relies on an explicit formula consisting of a linear combination of n+1 function values in D, which extends the function along directions normal to the boundary. Smoothness tangent to the boundary is automatic. T…
▽ More
A new scheme is proposed to construct an n-times differentiable function extension of an n-times differentiable function defined on a smooth domain D in d-dimensions. The extension scheme relies on an explicit formula consisting of a linear combination of n+1 function values in D, which extends the function along directions normal to the boundary. Smoothness tangent to the boundary is automatic. The performance of the scheme is illustrated by using function extension as a step in a numerical solver for the inhomogeneous Poisson equation on multiply connected domains with complex geometry in two and three dimensions. We show that the modest additional work needed to do function extension leads to considerably more accurate solutions of the partial differential equation.
△ Less
Submitted 3 December, 2023; v1 submitted 22 June, 2022;
originally announced June 2022.
-
Debye source representation for type-I superconductors, I
Authors:
Charles L. Epstein,
Manas Rachh
Abstract:
In this note, we analyze the classical magneto-static approach to the theory of type I superconductors, and a Debye source representation that can be used numerically to solve the resultant equations. We also prove that one of the fields, $\boldsymbol{J}^-$, found within the superconductor via the London equations, is the physical current in that the outgoing part of the magnetic field is given as…
▽ More
In this note, we analyze the classical magneto-static approach to the theory of type I superconductors, and a Debye source representation that can be used numerically to solve the resultant equations. We also prove that one of the fields, $\boldsymbol{J}^-$, found within the superconductor via the London equations, is the physical current in that the outgoing part of the magnetic field is given as the Biot-Savart integral of $\boldsymbol{J}^{-}$. Finally, we compute the static currents for moderate values of London penetration depth, $λ_L,$ for a sphere, a stellarator-like geometry and a two-holed torus.
△ Less
Submitted 25 May, 2021;
originally announced May 2021.
-
Recovering missing data in coherent diffraction imaging
Authors:
David Barmherzig,
Alex B. Barnett,
Charles L. Epstein,
Leslie F. Greengard,
Jeremy F. Magland,
Manas Rachh
Abstract:
In coherent diffraction imaging (CDI) experiments, the intensity of the scattered wave im**ing on an object is measured on an array of detectors. This signal can be interpreted as the square of the modulus of the Fourier transform of the unknown scattering density. A beam-stop obstructs the forward scattered wave and, hence, the modulus Fourier data from a neighborhood of k=0 cannot be measured.…
▽ More
In coherent diffraction imaging (CDI) experiments, the intensity of the scattered wave im**ing on an object is measured on an array of detectors. This signal can be interpreted as the square of the modulus of the Fourier transform of the unknown scattering density. A beam-stop obstructs the forward scattered wave and, hence, the modulus Fourier data from a neighborhood of k=0 cannot be measured. In this note, we describe a linear method for recovering this unmeasured modulus Fourier data from the measured values and an estimate of the support of the image's autocorrelation function without consideration of phase retrieval. We analyze the conditioning of this problem, which grows exponentially with the modulus of the maximum spatial frequency not measured, and the effects of noise.
△ Less
Submitted 2 June, 2020; v1 submitted 7 February, 2020;
originally announced February 2020.
-
Explicit unconditionally stable methods for the heat equation via potential theory
Authors:
Alex H. Barnett,
Charles L. Epstein,
Leslie Greengard,
Shidong Jiang,
Jun Wang
Abstract:
We study the stability properties of explicit marching schemes for second-kind Volterra integral equations that arise when solving boundary value problems for the heat equation by means of potential theory. It is well known that explicit finite difference or finite element schemes for the heat equation are stable only if the time step $Δt$ is of the order $O(Δx^2)$, where $Δx$ is the finest spatia…
▽ More
We study the stability properties of explicit marching schemes for second-kind Volterra integral equations that arise when solving boundary value problems for the heat equation by means of potential theory. It is well known that explicit finite difference or finite element schemes for the heat equation are stable only if the time step $Δt$ is of the order $O(Δx^2)$, where $Δx$ is the finest spatial grid spacing. In contrast, for the Dirichlet and Neumann problems on the unit ball in all dimensions $d\ge 1$, we show that the simplest Volterra marching scheme, i.e., the forward Euler scheme, is unconditionally stable. Our proof is based on an explicit spectral radius bound of the marching matrix, leading to an estimate that an $L^2$-norm of the solution to the integral equation is bounded by $c_dT^{d/2}$ times the norm of the right hand side. For the Robin problem on the half space in any dimension, with constant Robin (heat transfer) coefficient $κ$, we exhibit a constant $C$ such that the forward Euler scheme is stable if $Δt < C/κ^2$, independent of any spatial discretization. This relies on new lower bounds on the spectrum of real symmetric Toeplitz matrices defined by convex sequences. Finally, we show that the forward Euler scheme is unconditionally stable for the Dirichlet problem on any smooth convex domain in any dimension, in $L^\infty$-norm.
△ Less
Submitted 16 April, 2019; v1 submitted 22 February, 2019;
originally announced February 2019.
-
Geometry of the Phase Retrieval Problem
Authors:
Alexander Barnett,
Charles L. Epstein,
Leslie Greengard,
Jeremy Magland
Abstract:
One of the most powerful approaches to imaging at the nanometer or subnanometer length scale is coherent diffraction imaging using X-ray sources. For amorphous (non-crystalline) samples, the raw data can be interpreted as the modulus of the continuous Fourier transform of the unknown object. Making use of prior information about the sample (such as its support), a natural goal is to recover the ph…
▽ More
One of the most powerful approaches to imaging at the nanometer or subnanometer length scale is coherent diffraction imaging using X-ray sources. For amorphous (non-crystalline) samples, the raw data can be interpreted as the modulus of the continuous Fourier transform of the unknown object. Making use of prior information about the sample (such as its support), a natural goal is to recover the phase through computational means, after which the unknown object can be visualized at high resolution. While many algorithms have been proposed for this phase retrieval problem, careful analysis of its well-posedness has received relatively little attention. In this paper, we show that the problem is, in general, not well-posed and describe some of the underlying issues that are responsible for the ill-posedness. We then show how this analysis can be used to develop experimental protocols that lead to better conditioned inverse problems.
△ Less
Submitted 1 April, 2020; v1 submitted 23 August, 2018;
originally announced August 2018.
-
A high-order wideband direct solver for electromagnetic scattering from bodies of revolution
Authors:
Charles L. Epstein,
Leslie Greengard,
Michael O'Neil
Abstract:
The generalized Debye source representation of time-harmonic electromagnetic fields yields well-conditioned second-kind integral equations for a variety of boundary value problems, including the problems of scattering from perfect electric conductors and dielectric bodies. Furthermore, these representations, and resulting integral equations, are fully stable in the static limit as $ω\to 0$ in mult…
▽ More
The generalized Debye source representation of time-harmonic electromagnetic fields yields well-conditioned second-kind integral equations for a variety of boundary value problems, including the problems of scattering from perfect electric conductors and dielectric bodies. Furthermore, these representations, and resulting integral equations, are fully stable in the static limit as $ω\to 0$ in multiply connected geometries. In this paper, we present the first high-order accurate solver based on this representation for bodies of revolution. The resulting solver uses a Nyström discretization of a one-dimensional generating curve and high-order integral equation methods for applying and inverting surface differentials. The accuracy and speed of the solvers are demonstrated in several numerical examples.
△ Less
Submitted 15 February, 2019; v1 submitted 31 July, 2017;
originally announced August 2017.
-
Transition probabilities for degenerate diffusions arising in population genetics
Authors:
Charles L. Epstein,
Camelia A. Pop
Abstract:
We provide a detailed description of the structure of the transition probabilities and of the hitting distributions of boundary components of a manifold with corners for a degenerate strong Markov process arising in population genetics. The Markov processes that we study are a generalization of the classical Wright-Fisher process. The main ingredients in our proofs are based on the analysis of the…
▽ More
We provide a detailed description of the structure of the transition probabilities and of the hitting distributions of boundary components of a manifold with corners for a degenerate strong Markov process arising in population genetics. The Markov processes that we study are a generalization of the classical Wright-Fisher process. The main ingredients in our proofs are based on the analysis of the regularity properties of solutions to a forward Kolmogorov equation defined on a compact manifold with corners, which is degenerate in the sense that it is not strictly elliptic and the coefficients of the first order drift term have mild logarithmic singularities.
△ Less
Submitted 25 July, 2017; v1 submitted 6 August, 2016;
originally announced August 2016.
-
Boundary estimates for a degenerate parabolic equation with partial Dirichlet boundary conditions
Authors:
Charles L. Epstein,
Camelia A. Pop
Abstract:
We study the boundary regularity properties and derive a priori pointwise supremum estimates of weak solutions and their derivatives in terms of suitable weighted $L^2$-norms for a class of degenerate parabolic equations that satisfy homogeneous Dirichlet boundary conditions on certain portions of the boundary. Such equations arise in population genetics in the study of models for the evolution of…
▽ More
We study the boundary regularity properties and derive a priori pointwise supremum estimates of weak solutions and their derivatives in terms of suitable weighted $L^2$-norms for a class of degenerate parabolic equations that satisfy homogeneous Dirichlet boundary conditions on certain portions of the boundary. Such equations arise in population genetics in the study of models for the evolution of gene frequencies. Among the applications of our results is the description of the structure of the transition probabilities and of the hitting distributions of the underlying gene frequencies process, which correspond to the fundamental solution and the caloric measure of the parabolic equation, respectively.
△ Less
Submitted 7 February, 2017; v1 submitted 5 August, 2016;
originally announced August 2016.
-
Eigenfunctions and the Dirichlet problem for the Classical Kimura Diffusion Operator
Authors:
Charles L. Epstein,
Jon Wilkening
Abstract:
We study the classical Kimura diffusion operator defined on the n-simplex, $$L^{Kim}=\sum_{1\leq i,j\leq n+1}x_ix_j\partial_{x_i}\partial_{x_j}$$ We give novel constructions for the basis of eigenpolynomials, and the solution to the inhomogeneous Dirichlet problem, which are well adapted to numerical applications. Our solution of the Dirichlet problem is quite explicit and provides a precise descr…
▽ More
We study the classical Kimura diffusion operator defined on the n-simplex, $$L^{Kim}=\sum_{1\leq i,j\leq n+1}x_ix_j\partial_{x_i}\partial_{x_j}$$ We give novel constructions for the basis of eigenpolynomials, and the solution to the inhomogeneous Dirichlet problem, which are well adapted to numerical applications. Our solution of the Dirichlet problem is quite explicit and provides a precise description of the singularities that arise along the boundary.
△ Less
Submitted 20 October, 2016; v1 submitted 6 August, 2015;
originally announced August 2015.
-
Smoothed corners and scattered waves
Authors:
Charles L. Epstein,
Michael O'Neil
Abstract:
We introduce an arbitrary order, computationally efficient method to smooth corners on curves in the plane, as well as edges and vertices on surfaces in $\mathbb R^3$. The method is local, only modifying the original surface in a neighborhood of the geometric singularity, and preserves desirable features like convexity and symmetry. The smoothness of the final surface is an explicit parameter in t…
▽ More
We introduce an arbitrary order, computationally efficient method to smooth corners on curves in the plane, as well as edges and vertices on surfaces in $\mathbb R^3$. The method is local, only modifying the original surface in a neighborhood of the geometric singularity, and preserves desirable features like convexity and symmetry. The smoothness of the final surface is an explicit parameter in the method, and the bandlimit of the smoothed surface is proportional to its smoothness. Several numerical examples are provided in the context of acoustic scattering. In particular, we compare scattered fields from smoothed geometries in two dimensions with those from polygonal domains. We observe that significant reductions in computational cost can be obtained if merely approximate solutions are desired in the near- or far-field. Provided that it is sub-wavelength, the error of the scattered field is proportional to the size of the geometry that is modified.
△ Less
Submitted 7 April, 2016; v1 submitted 28 June, 2015;
originally announced June 2015.
-
On the stability of time-domain integral equations for acoustic wave propagation
Authors:
Charles L. Epstein,
Leslie Greengard,
Thomas Hagstrom
Abstract:
We give a principled approach for the selection of a boundary integral, retarded potential representation for the solution of scattering problems for the wave equation in an exterior domain.
We give a principled approach for the selection of a boundary integral, retarded potential representation for the solution of scattering problems for the wave equation in an exterior domain.
△ Less
Submitted 15 April, 2015;
originally announced April 2015.
-
Harnack Inequalities for Degenerate Diffusions
Authors:
Charles L. Epstein,
Camelia A. Pop
Abstract:
We study various probabilistic and analytical properties of a class of degenerate diffusion operators arising in Population Genetics, the so-called generalized Kimura diffusion operators. Our main results is a stochastic representation of weak solutions to a degenerate parabolic equation with singular lower-order coefficients, and the proof of the scale-invariant Harnack inequality for nonnegative…
▽ More
We study various probabilistic and analytical properties of a class of degenerate diffusion operators arising in Population Genetics, the so-called generalized Kimura diffusion operators. Our main results is a stochastic representation of weak solutions to a degenerate parabolic equation with singular lower-order coefficients, and the proof of the scale-invariant Harnack inequality for nonnegative solutions to the Kimura parabolic equation. The stochastic representation of solutions that we establish is a considerable generalization of the classical results on Feynman-Kac formulas concerning the assumptions on the degeneracy of the diffusion matrix, the boundedness of the drift coefficients, and on the a priori regularity of the weak solutions.
△ Less
Submitted 18 June, 2014;
originally announced June 2014.
-
Harnack Inequalities and Heat-kernel Estimates for Degenerate Diffusion Operators Arising in Population Biology
Authors:
Charles L. Epstein,
Rafe Mazzeo
Abstract:
This paper continues the analysis, started in [2, 3], of a class of degenerate elliptic operators defined on manifolds with corners, which arise in Population Biology. Using techniques pioneered by J. Moser, and extended and refined by L. Saloff-Coste, Grigoryan, and Sturm, we show that weak solutions to the parabolic problem defined by a sub-class of these operators, which consists of those that…
▽ More
This paper continues the analysis, started in [2, 3], of a class of degenerate elliptic operators defined on manifolds with corners, which arise in Population Biology. Using techniques pioneered by J. Moser, and extended and refined by L. Saloff-Coste, Grigoryan, and Sturm, we show that weak solutions to the parabolic problem defined by a sub-class of these operators, which consists of those that can be defined by Dirichlet forms and have non-vanishing transverse vector field, satisfy a Harnack inequality. This allows us to conclude that the solutions to these equations belong, for positive times, to the natural anisotropic Holder spaces, and also leads to upper and, in some cases, lower bounds for the heat kernels of these operators. These results imply that these operators have a compact resolvent when acting on $C^0$ or $L^2.$ The proof relies upon a scale invariant Poincare inequality that we establish for a large class of weighted Dirichlet forms, as well as estimates to handle certain mildly singular perturbation terms. The weights that we consider are neither Ahlfors regular, nor do they generally belong to the Muckenhaupt class $A_2.$
△ Less
Submitted 11 August, 2014; v1 submitted 5 June, 2014;
originally announced June 2014.
-
Regularity for the supercritical fractional Laplacian with drift
Authors:
Charles L. Epstein,
Camelia A. Pop
Abstract:
We consider the linear stationary equation defined by the fractional Laplacian with drift. In the supercritical case, that is the case when the dominant term is given by the drift instead of the diffusion component, we prove local regularity of solutions in Sobolev spaces em- ploying tools from the theory of pseudo-differential operators. The regularity of solutions in the supercritical case is as…
▽ More
We consider the linear stationary equation defined by the fractional Laplacian with drift. In the supercritical case, that is the case when the dominant term is given by the drift instead of the diffusion component, we prove local regularity of solutions in Sobolev spaces em- ploying tools from the theory of pseudo-differential operators. The regularity of solutions in the supercritical case is as expected in the subcritical case, when the diffusion is at least as strong as the drift component, and the operator defined by the fractional Laplacian with drift can be viewed as an elliptic operator, which is not the case in the supercritical regime. We compute the leading singularity for the Green's kernel in the supercritical range, which displays some unusual behavior: it is more singular in the half plane into which the drift vector points, than in the complementary half plane.
△ Less
Submitted 24 January, 2014; v1 submitted 23 September, 2013;
originally announced September 2013.
-
Debye Sources, Beltrami Fields, and a Complex Structure on Maxwell Fields
Authors:
Charles L. Epstein,
Leslie Greengard,
Michael O'Neil
Abstract:
The Debye source representation for solutions to the time harmonic Maxwell equations is extended to bounded domains with finitely many smooth boundary components. A strong uniqueness result is proved for this representation. Natural complex structures are identified on the vector spaces of time-harmonic Maxwell fields. It is shown that in terms of Debye source data, these complex structures are un…
▽ More
The Debye source representation for solutions to the time harmonic Maxwell equations is extended to bounded domains with finitely many smooth boundary components. A strong uniqueness result is proved for this representation. Natural complex structures are identified on the vector spaces of time-harmonic Maxwell fields. It is shown that in terms of Debye source data, these complex structures are uniformized, that is, represented by a fixed linear map on a fixed vector space, independent of the frequency. This complex structure relates time-harmonic Maxwell fields to constant-k Beltrami fields, i.e. solutions of the equation curl(E) = kE. A family of self-adjoint boundary conditions are defined for the Beltrami operator. This leads to a proof of the existence of zero-flux, constant-k, force-free Beltrami fields for any bounded region in R^3, as well as a constructive method to find them. The family of self-adjoint boundary value problems defines a new spectral invariant for bounded domains in R^3.
△ Less
Submitted 25 August, 2013;
originally announced August 2013.
-
On the convergence of local expansions of layer potentials
Authors:
Charles L. Epstein,
Leslie Greengard,
Andreas Klöckner
Abstract:
In a recently developed quadrature method (quadrature by expansion or QBX), it was demonstrated that weakly singular or singular layer potentials can be evaluated rapidly and accurately on surface by making use of local expansions about carefully chosen off-surface points. In this paper, we derive estimates for the rate of convergence of these local expansions, providing the analytic foundation fo…
▽ More
In a recently developed quadrature method (quadrature by expansion or QBX), it was demonstrated that weakly singular or singular layer potentials can be evaluated rapidly and accurately on surface by making use of local expansions about carefully chosen off-surface points. In this paper, we derive estimates for the rate of convergence of these local expansions, providing the analytic foundation for the QBX method. The estimates may also be of mathematical interest, particularly for microlocal or asymptotic analysis in potential theory.
△ Less
Submitted 22 April, 2013; v1 submitted 16 December, 2012;
originally announced December 2012.
-
Subelliptic SpinC Dirac Operators, IV Proof of the Relative Index Conjecture
Authors:
Charles L. Epstein
Abstract:
We prove the relative index conjecture, which in turn implies that the set of embeddable deformations of a strictly pseudoconvex CR-structure on a compact 3-manifold is closed in the C\infty-topology.
We prove the relative index conjecture, which in turn implies that the set of embeddable deformations of a strictly pseudoconvex CR-structure on a compact 3-manifold is closed in the C\infty-topology.
△ Less
Submitted 24 March, 2012;
originally announced March 2012.
-
A consistency condition for the vector potential in multiply-connected domains
Authors:
Charles L. Epstein,
Zydrunas Gimbutas,
Leslie Greengard,
Andreas Klöckner,
Michael O'Neil
Abstract:
A classical problem in electromagnetics concerns the representation of the electric and magnetic fields in the low-frequency or static regime, where topology plays a fundamental role. For multiply connected conductors, at zero frequency the standard boundary conditions on the tangential components of the magnetic field do not uniquely determine the vector potential. We describe a (gauge-invariant)…
▽ More
A classical problem in electromagnetics concerns the representation of the electric and magnetic fields in the low-frequency or static regime, where topology plays a fundamental role. For multiply connected conductors, at zero frequency the standard boundary conditions on the tangential components of the magnetic field do not uniquely determine the vector potential. We describe a (gauge-invariant) consistency condition that overcomes this non-uniqueness and resolves a longstanding difficulty in inverting the magnetic field integral equation.
△ Less
Submitted 18 March, 2012;
originally announced March 2012.
-
Degenerate Diffusion Operators Arising in Population Biology
Authors:
Charles L. Epstein,
Rafe Mazzeo
Abstract:
We analyze a class of partial differential equations that arise as "backwards Kolmogorov operators" in infinite population limits of the Wright-Fisher models in population genetics and in mathematical finance. These are degenerate elliptic operators defined on manifolds with corners. The classical example is the Kimura diffusion operator, which acts on functions defined on the simplex in R^n. We i…
▽ More
We analyze a class of partial differential equations that arise as "backwards Kolmogorov operators" in infinite population limits of the Wright-Fisher models in population genetics and in mathematical finance. These are degenerate elliptic operators defined on manifolds with corners. The classical example is the Kimura diffusion operator, which acts on functions defined on the simplex in R^n. We introduce anisotropic Holder spaces, and prove existence, uniqueness and regularity results for the heat and resolvent equations defined by this class of operators. This suffices to prove that the C^0-graph closure generates a strongly continuous semigroup, and that the associated Martingale problem has a unique solution. We give a detailed description of the nullspace of the forward Kolmogorov operator.
△ Less
Submitted 30 September, 2011;
originally announced October 2011.
-
Debye Sources and the Numerical Solution of the Time Harmonic Maxwell Equations, II
Authors:
Charles L. Epstein,
Leslie Greengard,
Michael O'Neil
Abstract:
In this paper, we develop a new integral representation for the solution of the time harmonic Maxwell equations in media with piecewise constant dielectric permittivity and magnetic permeability in R^3. This representation leads to a coupled system of Fredholm integral equations of the second kind for four scalar densities supported on the material interface. Like the classical Muller equation, it…
▽ More
In this paper, we develop a new integral representation for the solution of the time harmonic Maxwell equations in media with piecewise constant dielectric permittivity and magnetic permeability in R^3. This representation leads to a coupled system of Fredholm integral equations of the second kind for four scalar densities supported on the material interface. Like the classical Muller equation, it has no spurious resonances. Unlike the classical approach, however, the representation does not suffer from low frequency breakdown. We illustrate the performance of the method with numerical examples.
△ Less
Submitted 16 May, 2011;
originally announced May 2011.
-
Wright-Fisher Diffusion in One Dimension
Authors:
Charles L. Epstein,
Rafe Mazzeo
Abstract:
We analyze the diffusion processes associated to equations of Wright-Fisher type in one spatial dimension. These are defined by a degenerate second order operator on the interval [0, 1], where the coefficient of the second order term vanishes simply at the endpoints, and the first order term is an inward-pointing vector field. We consider various aspects of this problem, motivated by application…
▽ More
We analyze the diffusion processes associated to equations of Wright-Fisher type in one spatial dimension. These are defined by a degenerate second order operator on the interval [0, 1], where the coefficient of the second order term vanishes simply at the endpoints, and the first order term is an inward-pointing vector field. We consider various aspects of this problem, motivated by applications in population genetics, including a sharp regularity theory for the zero flux boundary conditions, as well as a derivation of the precise asymptotics for solutions of this equation, both as t goes to 0 and infinity, and as x goes to 0, 1.
△ Less
Submitted 22 July, 2009;
originally announced July 2009.
-
Debye Sources and the Numerical Solution of the Time Harmonic Maxwell Equations
Authors:
Charles L. Epstein,
Leslie Greengard
Abstract:
In this paper, we develop a new representation for outgoing solutions to the time harmonic Maxwell equations in unbounded domains in $\bbR^3.$ This representation leads to a Fredholm integral equation of the second kind for solving the problem of scattering from a perfect conductor, which does not suffer from spurious resonances or low frequency breakdown, although it requires the inversion of t…
▽ More
In this paper, we develop a new representation for outgoing solutions to the time harmonic Maxwell equations in unbounded domains in $\bbR^3.$ This representation leads to a Fredholm integral equation of the second kind for solving the problem of scattering from a perfect conductor, which does not suffer from spurious resonances or low frequency breakdown, although it requires the inversion of the scalar surface Laplacian on the domain boundary. In the course of our analysis, we give a new proof of the existence of non-trivial families of time harmonic solutions with vanishing normal components that arise when the boundary of the domain is not simply connected. We refer to these as $k$-Neumann fields, since they generalize, to non-zero wave numbers, the classical harmonic Neumann fields. The existence of $k$-harmonic fields was established earlier by Kress.
△ Less
Submitted 3 March, 2009; v1 submitted 25 August, 2008;
originally announced August 2008.
-
Cobordism, Relative Indices and Stein Fillings
Authors:
Charles L. Epstein
Abstract:
In this paper we build on the framework developed in "Subelliptic Boundary Value Problems for the Spin_C Dirac Operator, I, II, III" to obtain a more complete understanding of the gluing properties for indices of boundary value problems for the SpinC-Dirac operator with sub-elliptic boundary conditions. We extend our analytic results for sub-elliptic boundary value problems for the SpinC-Dirac o…
▽ More
In this paper we build on the framework developed in "Subelliptic Boundary Value Problems for the Spin_C Dirac Operator, I, II, III" to obtain a more complete understanding of the gluing properties for indices of boundary value problems for the SpinC-Dirac operator with sub-elliptic boundary conditions. We extend our analytic results for sub-elliptic boundary value problems for the SpinC-Dirac operator, and gluing results for the indices of these boundary problems to SpinC-manifolds with several pseudoconvex (pseudoconcave) boundary components. These results are applied to study Stein fillability for compact, 3-dimensional, contact manifolds.
△ Less
Submitted 11 May, 2007;
originally announced May 2007.
-
Subelliptic Spin_C Dirac operators, II Basic Estimates
Authors:
Charles L. Epstein
Abstract:
We assume that the manifold with boundary, X, has a Spin_C-structure with spinor bundle S. Along the boundary, this structure agrees with the structure defined by an infinite order integrable almost complex structure and the metric is Kahler. The induced CR-structure on bX is integrable and either strictly pseudoconvex or strictly pseudoconcave. We assume that E->X is a complex vector bundle, wh…
▽ More
We assume that the manifold with boundary, X, has a Spin_C-structure with spinor bundle S. Along the boundary, this structure agrees with the structure defined by an infinite order integrable almost complex structure and the metric is Kahler. The induced CR-structure on bX is integrable and either strictly pseudoconvex or strictly pseudoconcave. We assume that E->X is a complex vector bundle, which has an infinite order integrable complex structure along bX, compatible with that defined along bX. In this paper use boundary layer methods to prove subelliptic estimates for the twisted Spin_C- Dirac operator acting on sections on S\otimes E. We use boundary conditions that are modifications of the classical dbar-Neumann condition. These results are proved by using the extended Heisenberg calculus.
△ Less
Submitted 2 November, 2007; v1 submitted 11 May, 2007;
originally announced May 2007.
-
Subelliptic Spin_C Dirac operators, I
Authors:
Charles L Epstein
Abstract:
We consider modifications of the classical dbar-Neumann conditions that define Fredholm problems for the Spin_C Dirac operator. In part II, we use boundary layer methods to obtain subelliptic estimates for these boundary value problems. Using these results, we obtain an expression for the finite part of the holomorphic Euler characteristic of a strictly pseudoconvex manifold as the index of a Sp…
▽ More
We consider modifications of the classical dbar-Neumann conditions that define Fredholm problems for the Spin_C Dirac operator. In part II, we use boundary layer methods to obtain subelliptic estimates for these boundary value problems. Using these results, we obtain an expression for the finite part of the holomorphic Euler characteristic of a strictly pseudoconvex manifold as the index of a Spin_C-Dirac operator with a subelliptic boundary condition. We also prove an analogue of the Agranovich-Dynin formula expressing the change in the index in terms of a relative index on the boundary. If X is a complex manifold partitioned by a strictly pseudoconvex hypersurface, then we obtain formulae for the holomorphic Euler characteristic of X as sums of indices of Spin_C-Dirac operators on the components. This is a subelliptic analogue of Bojarski's formula in the elliptic case.
△ Less
Submitted 11 May, 2007;
originally announced May 2007.
-
Tempering the polylogarithm
Authors:
Charles L. Epstein,
Jack Morava
Abstract:
We show that the function Li_s(e^x) extends to an entire function of the complex variable s, taking values in tempered distributions in x on the whole real line. That the classical polylogarithm extends similarly, as an entire function taking values in distributions on compactly-supported functions on the positive real axis, is a corollary. We then identify the singularities of Li_s(e^x) in term…
▽ More
We show that the function Li_s(e^x) extends to an entire function of the complex variable s, taking values in tempered distributions in x on the whole real line. That the classical polylogarithm extends similarly, as an entire function taking values in distributions on compactly-supported functions on the positive real axis, is a corollary. We then identify the singularities of Li_s(e^x) in terms of distribution powers of x; this leads to a simple proof of the smoothness of the `modified' polylogarithm of Bloch, Ramakrishnan, Wigner, Wojtkowiak, Zagier, and others.
△ Less
Submitted 8 November, 2006;
originally announced November 2006.
-
Anderson Localization, Non-linearity and Stable Genetic Diversity
Authors:
Charles L. Epstein
Abstract:
In many models of genotypic evolution, the vector of genotype populations satisfies a system of linear ordinary differential equations. This system of equations models a competition between differential replication rates (fitness) and mutation. Mutation operates as a generalized diffusion process on genotype space. In the large time asymptotics, the replication term tends to produce a single dom…
▽ More
In many models of genotypic evolution, the vector of genotype populations satisfies a system of linear ordinary differential equations. This system of equations models a competition between differential replication rates (fitness) and mutation. Mutation operates as a generalized diffusion process on genotype space. In the large time asymptotics, the replication term tends to produce a single dominant quasispecies, unless the mutation rate is too high, in which case the populations of different genotypes becomes de-localized. We introduce a more macroscopic picture of genotypic evolution wherein a random replication term in the linear model displays features analogous to Anderson localization. When coupled with non-linearities that limit the population of any given genotype, we obtain a model whose large time asymptotics display stable genotypic diversity
△ Less
Submitted 28 February, 2006;
originally announced February 2006.
-
Subelliptic Spin_c Dirac operators, III The Atiyah-Weinstein conjecture
Authors:
Charles L. Epstein
Abstract:
In this paper we show that there is a well defined modified dbar-Neumann problem for a spin_c manifold with a strictly pseudoconvex boundary (in the contact geometry sense). We show that the index of the associated boundary value problem can be computed as the relative index between the Calderon projector on the boundary and the projector defining the boundary condition. To make sense of this st…
▽ More
In this paper we show that there is a well defined modified dbar-Neumann problem for a spin_c manifold with a strictly pseudoconvex boundary (in the contact geometry sense). We show that the index of the associated boundary value problem can be computed as the relative index between the Calderon projector on the boundary and the projector defining the boundary condition. To make sense of this statement we need to develop a considerable extension of the classical notion of a Fredholm pair of subspaces of a Hilbert space. We call this the theory of "tame Fredholm pairs;" it is presented in the appendix to the paper. Using these tools, we give a proof of a conjecture of Atiyah and Weinstein for the index of a Fourier integral operator defined by a contact transformation between the boundaries of two strictly pseudoconvex manifolds. In fact, we prove a much more general result expressing the relative index between two generalized Szego projectors as the index of a Dirac operator on a compact "glued" space with correction terms coming from boundary value problems. The Atiyah-Weinstein conjecture is a simple special case of this general formula. Special cases of this result were earlier proved by Epstein and Melrose, and Leichtnam, Nest and Tsygan. Using our general formula for relative indices, we also obtain a formula for the relative index between two Szego projectors defined by embeddable CR-structures on a contact three manifold. Using this formula, we reduce a conjecture about the boundedness of these relative indices to a conjecture of A. Stipsicz on the boundedness of the Euler characteristics and signatures of Stein manifolds with a given contact boundary. This latter conjecture has been proved in many cases of interest.
△ Less
Submitted 11 May, 2007; v1 submitted 26 July, 2005;
originally announced July 2005.