Showing 1–43 of 43 results for author: Christianson, H

Quantum Flux and Quantum Ergodicity for Cross Sections

Authors: Hans Christianson, John Toth

Abstract: For sequences of quantum ergodic eigenfunctions, we define the quantum flux norm associated to a codimension $1$ submanifold $Σ$ of a non-degenerate energy surface. We prove restrictions of eigenfunctions to $Σ$, realized using the quantum flux norm, are quantum ergodic. We compare this result to known results from \cite{CTZ} in the case of Euclidean domains and hyperfurfaces. As a further applica… ▽ More For sequences of quantum ergodic eigenfunctions, we define the quantum flux norm associated to a codimension $1$ submanifold $Σ$ of a non-degenerate energy surface. We prove restrictions of eigenfunctions to $Σ$, realized using the quantum flux norm, are quantum ergodic. We compare this result to known results from \cite{CTZ} in the case of Euclidean domains and hyperfurfaces. As a further application, we consider complexified analytic eigenfunctions and prove a second microlocal analogue of \cite{CTZ} in that context. △ Less

Submitted 2 April, 2024; originally announced April 2024.

MSC Class: 35B40; 35P99; 58J51

Small-scale mass estimates for Neumann eigenfunctions: piecewise smooth planar domains

Authors: Hans Christianson, John A. Toth

Abstract: Let $Ω$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$. Our main result is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (including boundary and corner points) and any $δ\in [0,1),$ $$ \| φ_λ\|_{B(x_0,λ^{-δ})\cap Ω} = O(λ^{-δ/2}).$$ The proof is a stationary… ▽ More Let $Ω$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$. Our main result is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (including boundary and corner points) and any $δ\in [0,1),$ $$ \| φ_λ\|_{B(x_0,λ^{-δ})\cap Ω} = O(λ^{-δ/2}).$$ The proof is a stationary vector field argument combined with a small scale induction argument. △ Less

Submitted 19 September, 2023; originally announced September 2023.

Comments: This is an expanded version of the first half of the preprint arXiv:2012.15237 [math.AP] by the same authors

MSC Class: 35B40; 35B30; 35P99; 35G15

Control estimates for 0th order pseudodifferential operators

Authors: Hans Christianson, Jian Wang, Ruoyu P. T. Wang

Abstract: We introduce the control conditions for 0th order pseudodifferential operators $\mathbf{P}$ whose real parts satisfy the Morse--Smale dynamical condition. We obtain microlocal control estimates under the control conditions. As a result, we show that there are no singular profiles in the solution to the evolution equation $(i\partial_t-\mathbf{P})u=f$ when $\mathbf{P}$ has a dam** term that satis… ▽ More We introduce the control conditions for 0th order pseudodifferential operators $\mathbf{P}$ whose real parts satisfy the Morse--Smale dynamical condition. We obtain microlocal control estimates under the control conditions. As a result, we show that there are no singular profiles in the solution to the evolution equation $(i\partial_t-\mathbf{P})u=f$ when $\mathbf{P}$ has a dam** term that satisfies the control condition and $f\in C^{\infty}$. This is motivated by the study of a microlocal model for the damped internal waves. △ Less

Submitted 27 September, 2023; v1 submitted 11 March, 2023; originally announced March 2023.

Comments: 20 pages, 3 figures. To appear in Int. Math. Res. Not. IMRN

MSC Class: 35S99

Energy Distribution for Dirichlet Eigenfunctions on Right Triangles

Authors: Hans Christianson, Daniel Pezzi

Abstract: In this paper, we continue the study of eigenfunctions on triangles initiated by the first author in \cite{Chr-tri} and \cite{Chr-simp}. The Neumann data of Dirichlet eigenfunctions on triangles enjoys an equidistribution law, being equidistributed on each side. The proof of this result is remarkably simple, using only the radial vector field and a Rellich type integrations by parts. The equidistr… ▽ More In this paper, we continue the study of eigenfunctions on triangles initiated by the first author in \cite{Chr-tri} and \cite{Chr-simp}. The Neumann data of Dirichlet eigenfunctions on triangles enjoys an equidistribution law, being equidistributed on each side. The proof of this result is remarkably simple, using only the radial vector field and a Rellich type integrations by parts. The equidistribution law, including on higher dimensional simplices, agrees with what Quantum Ergodic Restriction would predict. However, distribution of the Neumann data on subsets of a side is not well understood, and elementary methods do not appear to give enough information to draw conclusions. In the present note, we first show that an "obvious" conjecture fails even for the simplest right isosceles triangle using only Fourier series. We then use a result of Marklof-Rudnick \cite{Marklof-Rudnick} in which the authors show an interior {\it spatial} equidistribution law for a density-one subsequence of eigenfunctions to give an estimate on energy distribution of eigenfunctions on the interior. Finally we present some numerical computations suggesting the behaviour of eigenfunctions on almost isosceles triangles is quite complicated. △ Less

Submitted 28 May, 2024; v1 submitted 9 January, 2023; originally announced January 2023.

MSC Class: 35P05; 35G15

Learning Dynamic Graphs, Too Slow

Authors: Andrei A. Klishin, Nicolas H. Christianson, Cynthia S. Q. Siew, Dani S. Bassett

Abstract: The structure of knowledge is commonly described as a network of key concepts and semantic relations between them. A learner of a particular domain can discover this network by navigating the nodes and edges presented by instructional material, such as a textbook, workbook, or other text. While over a long temporal period such exploration processes are certain to discover the whole connected netwo… ▽ More The structure of knowledge is commonly described as a network of key concepts and semantic relations between them. A learner of a particular domain can discover this network by navigating the nodes and edges presented by instructional material, such as a textbook, workbook, or other text. While over a long temporal period such exploration processes are certain to discover the whole connected network, little is known about how the learning is affected by the dual pressures of finite study time and human mental errors. Here we model the learning of linear algebra textbooks with finite length random walks over the corresponding semantic networks. We show that if a learner does not keep up with the pace of material presentation, the learning can be an order of magnitude worse than it is in the asymptotic limit. Further, we find that this loss is compounded by three types of mental errors: forgetting, shuffling, and reinforcement. Broadly, our study informs the design of teaching materials from both structural and temporal perspectives. △ Less

Submitted 5 July, 2022; originally announced July 2022.

Comments: 29 RevTeX pages, 13 figures

Optimizing the Human Learnability of Abstract Network Representations

Authors: William Qian, Christopher W. Lynn, Andrei A. Klishin, Jennifer Stiso, Nicolas H. Christianson, Dani S. Bassett

Abstract: Precisely how humans process relational patterns of information in knowledge, language, music, and society is not well understood. Prior work in the field of statistical learning has demonstrated that humans process such information by building internal models of the underlying network structure. However, these mental maps are often inaccurate due to limitations in human information processing. Th… ▽ More Precisely how humans process relational patterns of information in knowledge, language, music, and society is not well understood. Prior work in the field of statistical learning has demonstrated that humans process such information by building internal models of the underlying network structure. However, these mental maps are often inaccurate due to limitations in human information processing. The existence of such limitations raises clear questions: Given a target network that one wishes for a human to learn, what network should one present to the human? Should one simply present the target network as-is, or should one emphasize certain parts of the network to proactively mitigate expected errors in learning? To answer these questions, we study the optimization of network learnability. Evaluating an array of synthetic and real-world networks, we find that learnability is enhanced by reinforcing connections within modules or clusters. In contrast, when networks contain significant core-periphery structure we find that learnability is best optimized by reinforcing peripheral edges between low-degree nodes. Overall, our findings suggest that the accuracy of human network learning can be systematically enhanced by targeted emphasis and de-emphasis of prescribed sectors of information. △ Less

Submitted 24 November, 2021; v1 submitted 23 November, 2021; originally announced November 2021.

Non-concentration and restriction bounds for Neumann eigenfunctions of piecewise $C^{\infty}$ bounded planar domains

Authors: Hans Christianson, John A. Toth

Abstract: Let $(Ω,g)$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$ and $u_λ:= φ_λ |_{\partial Ω}$ the associated Dirichlet data (ie. boundary restriction of $φ_λ$). Our first main result (Theorem \ref{T:non-con}) is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (incl… ▽ More Let $(Ω,g)$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$ and $u_λ:= φ_λ |_{\partial Ω}$ the associated Dirichlet data (ie. boundary restriction of $φ_λ$). Our first main result (Theorem \ref{T:non-con}) is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (including boundary corner points) and any $δ\in [0,1),$ $$ \| φ_h \|_{B(x_0,λ^{-δ})\cap Ω} = O(λ^{-δ/2}).$$ Our subsequent results involve applications of the nonconcentration estimate to upper bounds for $L^2$ restrictions of boundary eigenfunctions that are valid up to boundary corners. In particular, in Theorem \ref{dirichlet} we prove that for any {\em flat} boundary edge $Γ$ (possibly including corner points), the boundary restrictions $u_h:= φ_h |_{\partial Ω}$ satisfy the bounds $$ \|u_λ \|_{L^2(Γ)} = O_ε(λ^{1/4 + ε}),$$ for any $ε>0.$ The exponent $1/4$ is sharp and the result improves on the $O(λ^{1/3})$ universal $L^2$-restriction bound for Neumann eigenfunctions due to Tataru \cite{Ta}. The $O(λ^{1/4})$ -bound is also an extension to the boundary (including corner points) of well-known interior $L^2$ restriction bounds of Burq-Gerard-Tzvetkov \cite{BGT} along totally-geodesic hypersurfaces. △ Less

Submitted 30 December, 2020; originally announced December 2020.

Comments: 64 pages

MSC Class: 35P20; 35G15

Conformal Perturbations and Local Smoothing

Authors: Hans Christianson, Dylan Muckerman

Abstract: The purpose of this paper is to study the effect of conformal perturbations on the local smoothing effect for the Schrödinger equation on surfaces of revolution. The paper \cite{ChWu-lsm} studied the Schrödinger equation on surfaces of revolution with one trapped orbit. The dynamics near this trap** were unstable, but degenerately so. Beginning from the metric $g$ from this paper, we consider th… ▽ More The purpose of this paper is to study the effect of conformal perturbations on the local smoothing effect for the Schrödinger equation on surfaces of revolution. The paper \cite{ChWu-lsm} studied the Schrödinger equation on surfaces of revolution with one trapped orbit. The dynamics near this trap** were unstable, but degenerately so. Beginning from the metric $g$ from this paper, we consider the perturbed metric $g_s = e^{sf}g$, where $f$ is a smooth, compactly supported function. If $s$ is small enough and finitely many derivatives of $f$ satisfy appropriate symbolic estimates, then we show that a local smoothing estimate still holds. △ Less

Submitted 30 June, 2020; originally announced July 2020.

MSC Class: 35P25; 58J50

Local Smoothing for the Schrödinger Equation on a Multi-Warped Product Manifold with Inflection-Transmission Trap**

Authors: Hans Christianson, Derrick Nowak

Abstract: Geodesic trap** is an obstruction to dispersive estimates for solutions to the Schrödinger equation. Surprisingly little is known about solutions to the Schrödinger equation on manifolds with degenerate trap**, since the conditions for degenerate trap** are not stable under perturbations. In this paper we extend some of the results of [CM14] on inflection-transmission type trap** on warped… ▽ More Geodesic trap** is an obstruction to dispersive estimates for solutions to the Schrödinger equation. Surprisingly little is known about solutions to the Schrödinger equation on manifolds with degenerate trap**, since the conditions for degenerate trap** are not stable under perturbations. In this paper we extend some of the results of [CM14] on inflection-transmission type trap** on warped product manifolds to the case of multi-warped products. The main result is that the trap** on one cross section does not interact with the trap** on other cross sections provided the manifold has only one infinite end and only inflection-transmission type trap**. △ Less

Submitted 2 April, 2021; v1 submitted 27 May, 2020; originally announced May 2020.

Comments: 14 pages

MSC Class: 35J10; 35B65

Asymptotic Boundary Observability for the Schrödinger Equation on Simplices

Authors: Sarah Carpenter, Hans Christianson

Abstract: We consider the Schrödinger equation $(i\partial_t+Δ)u=0$ on an $n$-dimensional simplex with Dirichlet boundary conditions. We use a commutator argument along with integration by parts to obtain an observability asymptotic for any one face of the simplex. Rather than the typical observability inequality, we are able to do better as we instead prove a large-time asymptotic. We consider the Schrödinger equation $(i\partial_t+Δ)u=0$ on an $n$-dimensional simplex with Dirichlet boundary conditions. We use a commutator argument along with integration by parts to obtain an observability asymptotic for any one face of the simplex. Rather than the typical observability inequality, we are able to do better as we instead prove a large-time asymptotic. △ Less

Submitted 22 May, 2020; originally announced May 2020.

Asymptotic Boundary Observability For The Wave Equation On Simplices

Authors: Hans Christianson, Ziqing Lu

Abstract: In this paper, we consider the wave equation on an n-dimensional simplex with Dirichlet boundary conditions. Our main result is an asymptotic observability identity from any one face of the simplex. The novel aspects of the result are that it is a large-time asymptotic rather than an estimate, and it requires no dynamical assumptions on the billiard flow. The proof uses mainly integrations by part… ▽ More In this paper, we consider the wave equation on an n-dimensional simplex with Dirichlet boundary conditions. Our main result is an asymptotic observability identity from any one face of the simplex. The novel aspects of the result are that it is a large-time asymptotic rather than an estimate, and it requires no dynamical assumptions on the billiard flow. The proof uses mainly integrations by parts. △ Less

Submitted 3 April, 2020; originally announced April 2020.

Comments: 15 pages, 3 figures

Architecture and evolution of semantic networks in mathematics texts

Authors: Nicolas H. Christianson, Ann Sizemore Blevins, Danielle S. Bassett

Abstract: Knowledge is a network of interconnected concepts. Yet, precisely how the topological structure of knowledge constrains its acquisition remains unknown, hampering the development of learning enhancement strategies. Here we study the topological structure of semantic networks reflecting mathematical concepts and their relations in college-level linear algebra texts. We hypothesize that these networ… ▽ More Knowledge is a network of interconnected concepts. Yet, precisely how the topological structure of knowledge constrains its acquisition remains unknown, hampering the development of learning enhancement strategies. Here we study the topological structure of semantic networks reflecting mathematical concepts and their relations in college-level linear algebra texts. We hypothesize that these networks will exhibit structural order, reflecting the logical sequence of topics that ensures accessibility. We find that the networks exhibit strong core-periphery architecture, where a dense core of concepts presented early is complemented with a sparse periphery presented evenly throughout the exposition; the latter is composed of many small modules each reflecting more narrow domains. Using tools from applied topology, we find that the expositional evolution of the semantic networks produces and subsequently fills knowledge gaps, and that the density of these gaps tracks negatively with community ratings of each textbook. Broadly, our study lays the groundwork for future efforts develo** optimal design principles for textbook exposition and teaching in a classroom setting. △ Less

Submitted 24 September, 2019; v1 submitted 13 August, 2019; originally announced August 2019.

Comments: 22 pages, 5 figures

Neumann Data Mass on Perturbed Triangles

Authors: Hans Christianson, ** Xi

Abstract: Based on a previous paper [Chr17] on Neumann data for Dirichlet eigenfunctions on triangles, we extend the study in two ways. First, we investigate the (semi-classical) Neumann data mass on perturbed triangles. Specifically, we replace one side of a triangle by adding a smooth perturbation, and assume that the disparity between the perturbation and the original side is bounded by a small value… ▽ More Based on a previous paper [Chr17] on Neumann data for Dirichlet eigenfunctions on triangles, we extend the study in two ways. First, we investigate the (semi-classical) Neumann data mass on perturbed triangles. Specifically, we replace one side of a triangle by adding a smooth perturbation, and assume that the disparity between the perturbation and the original side is bounded by a small value $ε$. Second, we add a small $ε$ sized potential to the (semi-classical) Laplacian and see how the results change on triangles. In both cases, we find that the $L^2$ norm of Neumann data on each side is close to the length of the side divided by the area of the triangle, and the difference is dominated by $ε$. △ Less

Submitted 7 August, 2019; originally announced August 2019.

Asymptotic Boundary Observability for the Wave Equation on One Side of a Planar Triangle

Authors: Hans Christianson, Evan Stafford

Abstract: We consider the wave equation $(\partial_t^2-Δ)u=0$ on a planar triangular domain $Ω\subset\mathbb{R}^2$ with Dirichlet boundary conditions. We use a commutator and integration by parts argument similar to that in \cite{Chr2DTriangles} by the first author to obtain an observability asymptotic for any one side of the triangle. Our result is particular to triangular domains and does not hold for pol… ▽ More We consider the wave equation $(\partial_t^2-Δ)u=0$ on a planar triangular domain $Ω\subset\mathbb{R}^2$ with Dirichlet boundary conditions. We use a commutator and integration by parts argument similar to that in \cite{Chr2DTriangles} by the first author to obtain an observability asymptotic for any one side of the triangle. Our result is particular to triangular domains and does not hold for polygons in general. △ Less

Submitted 29 November, 2018; originally announced November 2018.

MSC Class: 35B30; 35B40; 35Q93

A one point non-concentration estimate for Laplace eigenfunctions on polygons

Authors: Hans Christianson

Abstract: In this paper we consider eigenfunctions of the Laplacian on a planar domain with polygonal boundary with Dirichlet, Neumann, or mixed boundary conditions. The main result is a quantitative estimate on the $L^2$ mass of eigenfunctions near a point in terms of the distance to the nearest non-adjacent boundary face. In particular, eigenfunctions cannot concentrate completely at any one single point.… ▽ More In this paper we consider eigenfunctions of the Laplacian on a planar domain with polygonal boundary with Dirichlet, Neumann, or mixed boundary conditions. The main result is a quantitative estimate on the $L^2$ mass of eigenfunctions near a point in terms of the distance to the nearest non-adjacent boundary face. In particular, eigenfunctions cannot concentrate completely at any one single point. The technique of proof is to use the commutator ideas from the recent work of the author \cite{Chr-tri,Chr-simp} on triangles and simplices. △ Less

Submitted 9 August, 2018; originally announced August 2018.

Localized energy for wave equations with degenerate trap**

Authors: Robert Booth, Hans Christianson, Jason Metcalfe, Jacob Perry

Abstract: Localized energy estimates have become a fundamental tool when studying wave equations in the presence of asymptotically at background geometry. Trapped rays necessitate a loss when compared to the estimate on Minkowski space. A loss of regularity is a common way to incorporate such. When trap** is sufficiently weak, a logarithmic loss of regularity suffices. Here, by studying a warped product m… ▽ More Localized energy estimates have become a fundamental tool when studying wave equations in the presence of asymptotically at background geometry. Trapped rays necessitate a loss when compared to the estimate on Minkowski space. A loss of regularity is a common way to incorporate such. When trap** is sufficiently weak, a logarithmic loss of regularity suffices. Here, by studying a warped product manifold introduced by Christianson and Wunsch, we encounter the first explicit example of a situation where an estimate with an algebraic loss of regularity exists and this loss is sharp. Due to the global-in-time nature of the estimate for the wave equation, the situation is more complicated than for the Schrödinger equation. An initial estimate with sub-optimal loss is first obtained, where extra care is required due to the low frequency contributions. An improved estimate is then established using energy functionals that are inspired by WKB analysis. Finally, it is shown that the loss cannot be improved by any power by saturating the estimate with a quasimode. △ Less

Submitted 15 December, 2017; originally announced December 2017.

Comments: 18 pages

MSC Class: 35R01; 35B45

Equidistribution of Neumann data mass on simplices and a simple inverse problem

Authors: Hans Christianson

Abstract: In this paper we study the behaviour of the Neumann data of Dirichlet eigenfunctions on simplices. We prove that the $L^2$ norm of the (semi-classical) Neumann data on each face is equal to $2/n$ times the $(n-1)$-dimensional volume of the face divided by the volume of the simplex. This is a generalization of \cite{Chr-tri} to higher dimensions. Again it is {\it not} an asymptotic, but an exact fo… ▽ More In this paper we study the behaviour of the Neumann data of Dirichlet eigenfunctions on simplices. We prove that the $L^2$ norm of the (semi-classical) Neumann data on each face is equal to $2/n$ times the $(n-1)$-dimensional volume of the face divided by the volume of the simplex. This is a generalization of \cite{Chr-tri} to higher dimensions. Again it is {\it not} an asymptotic, but an exact formula. The proof is by simple integrations by parts and linear algebra. We also consider the following inverse problem: do the {\it norms} of the Neumann data on a simplex determine a constant coefficient elliptic operator? The answer is yes in dimension 2 and no in higher dimensions. △ Less

Submitted 6 April, 2017; originally announced April 2017.

MSC Class: 35P25; 47A99

Equidistribution of Neumann data mass on triangles

Authors: Hans Christianson

Abstract: In this paper we study the behaviour of the Neumann data of Dirichlet eigenfunctions on triangles. We prove that the $L^2$ norm of the (semi-classical) Neumann data on each side is equal to the length of the side divided by the area of the triangle. The novel feature of this result is that it is {\it not} an asymptotic, but an exact formula. The proof is by simple integrations by parts. In this paper we study the behaviour of the Neumann data of Dirichlet eigenfunctions on triangles. We prove that the $L^2$ norm of the (semi-classical) Neumann data on each side is equal to the length of the side divided by the area of the triangle. The novel feature of this result is that it is {\it not} an asymptotic, but an exact formula. The proof is by simple integrations by parts. △ Less

Submitted 10 January, 2017; originally announced January 2017.

Comments: 10 pages

MSC Class: 35P20

Local Smoothing Estimates near a Trapped Set with Infinitely Many Connected Components

Authors: Hans Christianson, Dylan Muckerman

Abstract: We prove a local smoothing result for the Schrödinger equation on a class of surfaces of revolution which have infinitely many trapped geodesics. Our main result is a local smoothing estimate with loss (compared to \cite{ChMe-lsm}) depending on the accumulation rate of the critical points of the profile curve. The proof uses an h-dependent version of semiclassical propagation of singularities, and… ▽ More We prove a local smoothing result for the Schrödinger equation on a class of surfaces of revolution which have infinitely many trapped geodesics. Our main result is a local smoothing estimate with loss (compared to \cite{ChMe-lsm}) depending on the accumulation rate of the critical points of the profile curve. The proof uses an h-dependent version of semiclassical propagation of singularities, and a result on gluing an h-dependent number of cutoff resolvent estimates. △ Less

Submitted 9 February, 2018; v1 submitted 19 December, 2014; originally announced December 2014.

Comments: Undergoing major revisions due to an error in the main proof

MSC Class: 35B34; 35S05; 58J50; 47A10

Imperfect geometric control and overdam** for the damped wave equation

Authors: Nicolas Burq, Hans Christianson

Abstract: We consider the damped wave equation on a manifold with imperfect geometric control. We show the sub-exponential energy decay estimate in \cite{Chr-NC-erratum} is optimal in the case of one hyperbolic periodic geodesic. We show if the equation is overdamped, then the energy decays exponentially. Finally we show if the equation is overdamped but geometric control fails for one hyperbolic periodic g… ▽ More We consider the damped wave equation on a manifold with imperfect geometric control. We show the sub-exponential energy decay estimate in \cite{Chr-NC-erratum} is optimal in the case of one hyperbolic periodic geodesic. We show if the equation is overdamped, then the energy decays exponentially. Finally we show if the equation is overdamped but geometric control fails for one hyperbolic periodic geodesic, then nevertheless the energy decays exponentially. △ Less

Submitted 26 September, 2013; originally announced September 2013.

MSC Class: 35B40; 35P20; 35Q93

A non-concentration estimate for partially rectangular billiards

Authors: Hans Christianson

Abstract: We consider quasimodes on planar domains with a partially rectangular boundary. We prove that for any $ε_0>0$, an $Ø(λ^{-ε_0})$ quasimode must have $L^2$ mass in the "wings" bounded below by $λ^{-2-δ}$ for any $δ>0$. The proof uses the author's recent work on 0-Gevrey smooth domains to approximate quasimodes on $C^{1,1}$ domains. There is an improvement for $C^{2,α}$ domains. We consider quasimodes on planar domains with a partially rectangular boundary. We prove that for any $ε_0>0$, an $Ø(λ^{-ε_0})$ quasimode must have $L^2$ mass in the "wings" bounded below by $λ^{-2-δ}$ for any $δ>0$. The proof uses the author's recent work on 0-Gevrey smooth domains to approximate quasimodes on $C^{1,1}$ domains. There is an improvement for $C^{2,α}$ domains. △ Less

Submitted 13 September, 2013; v1 submitted 20 May, 2013; originally announced May 2013.

Comments: Contains a summary of results from the author's previous work in arXiv:1303.6172 [math.AP]. Version 2 corrects a mistake in notation and add an improved result for $C^{2, α}$ domains. L. Hillairet pointed out a mistake in v.2; v.3 is expanded and corrects this mistake

MSC Class: 35P20; 58J51

Unique Continuation for Quasimodes on Surfaces of Revolution: Rotationally invariant Neighbourhoods

Authors: Hans Christianson

Abstract: We prove a strong conditional unique continuation estimate for irreducible quasimodes in rotationally invariant neighbourhoods on compact surfaces of revolution. The estimate states that Laplace quasimodes which cannot be decomposed as a sum of other quasimodes have $L^2$ mass bounded below by $C_ελ^{-1 - ε}$ for any $ε>0$ on any open rotationally invariant neighbourhood which meets the semiclassi… ▽ More We prove a strong conditional unique continuation estimate for irreducible quasimodes in rotationally invariant neighbourhoods on compact surfaces of revolution. The estimate states that Laplace quasimodes which cannot be decomposed as a sum of other quasimodes have $L^2$ mass bounded below by $C_ελ^{-1 - ε}$ for any $ε>0$ on any open rotationally invariant neighbourhood which meets the semiclassical wavefront set of the quasimode. For an analytic manifold, we conclude the same estimate with a lower bound of $C_δλ^{-1 + δ}$ for some fixed $δ>0$. △ Less

Submitted 15 April, 2013; originally announced April 2013.

Comments: 16 pages. Contains summaries of the author's results (with co-authors) from arXiv:1103.3908, arXiv:1303.3309, and arXiv:1303.6172

MSC Class: 35P20; 35B40; 58J50

High-frequency resolvent estimates on asymptotically Euclidean warped products

Authors: Hans Christianson

Abstract: We consider the resolvent on asymptotically Euclidean warped product manifolds in an appropriate 0-Gevrey class, with trapped sets consisting of only finitely many components. We prove that the high-frequency resolvent is either bounded by $C_ε|λ|^ε$ for any $ε>0$, or blows up faster than any polynomial (at least along a subsequence). A stronger result holds if the manifold is analytic. The method… ▽ More We consider the resolvent on asymptotically Euclidean warped product manifolds in an appropriate 0-Gevrey class, with trapped sets consisting of only finitely many components. We prove that the high-frequency resolvent is either bounded by $C_ε|λ|^ε$ for any $ε>0$, or blows up faster than any polynomial (at least along a subsequence). A stronger result holds if the manifold is analytic. The method of proof is to exploit the warped product structure to separate variables, obtaining a one-dimensional semiclassical Schrödinger operator. We then classify the microlocal resolvent behaviour associated to every possible type of critical value of the potential, and translate this into the associated resolvent estimates. Weakly stable trap** admits highly concentrated quasimodes and fast growth of the resolvent. Conversely, using a delicate inhomogeneous blowup procedure loosely based on the classical positive commutator argument, we show that any weakly unstable trap** forces at least some spreading of quasimodes. As a first application, we conclude that either there is a resonance free region of size $| \Im λ| \leq C_ε| \Re λ|^{-1-ε}$ for any $ε>0$, or there is a sequence of resonances converging to the real axis faster than any polynomial. Again, a stronger result holds if the manifold is analytic. As a second application, we prove a spreading result for weak quasimodes in partially rectangular billiards. △ Less

Submitted 25 March, 2013; originally announced March 2013.

Comments: 46 pages. Contains summaries of the author's results (with co-authors) from arXiv:1103.3908, arXiv:1303.3309

MSC Class: 58J50; 35B34

Exterior mass estimates and $L^2$ restriction bounds for Neumann data along hypersurfaces

Authors: Hans Christianson, Andrew Hassell, John A. Toth

Abstract: We study the problem of estimating the $L^2$ norm of Laplace eigenfunctions on a compact Riemannian manifold $M$ when restricted to a hypersurface $H$. We prove mass estimates for the restrictions of eigenfunctions $φ_h$, $(h^2 Δ- 1)φ_h = 0$, to $H$ in the region exterior to the coball bundle of $H$, on $h^δ$-scales ($0\leq δ< 2/3$). We use this estimate to obtain an $O(1)$ $L^2$-restriction bound… ▽ More We study the problem of estimating the $L^2$ norm of Laplace eigenfunctions on a compact Riemannian manifold $M$ when restricted to a hypersurface $H$. We prove mass estimates for the restrictions of eigenfunctions $φ_h$, $(h^2 Δ- 1)φ_h = 0$, to $H$ in the region exterior to the coball bundle of $H$, on $h^δ$-scales ($0\leq δ< 2/3$). We use this estimate to obtain an $O(1)$ $L^2$-restriction bound for the Neumann data along $H.$ The estimate also applies to eigenfunctions of semiclassical Schrödinger operators. △ Less

Submitted 8 November, 2013; v1 submitted 18 March, 2013; originally announced March 2013.

Comments: 22 pages. Second version has (sharp) improved restriction estimate following contributions from A. Hassell (added as an author). Version 3 fixes some mistakes and typos, and adds a more general result on semiclassical Schrodinger operator eigenfunctions

MSC Class: 35P20

Sharp local smoothing for manifolds with smooth inflection transmission

Authors: Hans Christianson, Jason Metcalfe

Abstract: We consider a family of spherically symmetric, asymptotically Euclidean manifolds with two trapped sets, one which is unstable and one which is semi-stable. The phase space structure is that of an inflection transmission set. We prove a sharp local smoothing estimate for the linear Schrödinger equation with a loss which depends on how flat the manifold is near each of the trapped sets. The result… ▽ More We consider a family of spherically symmetric, asymptotically Euclidean manifolds with two trapped sets, one which is unstable and one which is semi-stable. The phase space structure is that of an inflection transmission set. We prove a sharp local smoothing estimate for the linear Schrödinger equation with a loss which depends on how flat the manifold is near each of the trapped sets. The result interpolates between the family of similar estimates in \cite{ChWu-lsm}. As a consequence of the techniques of proof, we also show a sharp high energy resolvent estimate with a polynomial loss depending on how flat the manifold is near each of the trapped sets. △ Less

Submitted 13 March, 2013; originally announced March 2013.

Comments: 20 pages, contains summaries of results in arXiv:1103.3908

MSC Class: 35J10; 35B34

From resolvent estimates to damped waves

Authors: Hans Christianson, Emmanuel Schenck, András Vasy, Jared Wunsch

Abstract: In this paper we show how to obtain decay estimates for the damped wave equation on a compact manifold without geometric control via knowledge of the dynamics near the un-damped set. We show that if replacing the dam** term with a higher-order \emph{complex absorbing potential} gives an operator enjoying polynomial resolvent bounds on the real axis, then the "resolvent" associated to our damped… ▽ More In this paper we show how to obtain decay estimates for the damped wave equation on a compact manifold without geometric control via knowledge of the dynamics near the un-damped set. We show that if replacing the dam** term with a higher-order \emph{complex absorbing potential} gives an operator enjoying polynomial resolvent bounds on the real axis, then the "resolvent" associated to our damped problem enjoys bounds of the same order. It is known that the necessary estimates with complex absorbing potential can also be obtained via gluing from estimates for corresponding non-compact models. △ Less

Submitted 7 June, 2012; originally announced June 2012.

Comments: 16 pages, 1 figure

Quantum ergodic restriction for Cauchy data: Interior QUE and restricted QUE

Authors: Hans Christianson, John Toth, Steve Zelditch

Abstract: We prove a quantum ergodic restriction theorem for the Cauchy data of a sequence of quantum ergodic eigenfunctions on a hypersurface $H$ of a Riemannian manifold $(M, g)$. The technique of proof is to use a Rellich type identity to relate quantum ergodicity of Cauchy data on $H$ to quantum ergodicity of eigenfunctions on the global manifold $M$. This has the interesting consequence that if the eig… ▽ More We prove a quantum ergodic restriction theorem for the Cauchy data of a sequence of quantum ergodic eigenfunctions on a hypersurface $H$ of a Riemannian manifold $(M, g)$. The technique of proof is to use a Rellich type identity to relate quantum ergodicity of Cauchy data on $H$ to quantum ergodicity of eigenfunctions on the global manifold $M$. This has the interesting consequence that if the eigenfunctions are quantum unique ergodic on the global manifold $M$, then the Cauchy data is automatically quantum unique ergodic on $H$ with respect to operators whose symbols vanish to order one on the glancing set of unit tangential directions to $H$. △ Less

Submitted 4 June, 2013; v1 submitted 1 May, 2012; originally announced May 2012.

Comments: 9 pages. Final version; incorporates referees' comments. To appear in MRL

Journal ref: Math.Res.Lett 20 (2013) 465-475

Nonlinear bound states on weakly homogeneous spaces

Authors: Hans Christianson, Jeremy Marzuola, Jason Metcalfe, Michael Taylor

Abstract: We prove the existence of ground state solutions for a class of nonlinear elliptic equations, arising in the production of standing wave solutions to an associated family of nonlinear Schrödinger equations. We examine two constrained minimization problems, which give rise to such solutions. One yields what we call $F_λ$-minimizers, the other energy minimizers. We produce such ground state solution… ▽ More We prove the existence of ground state solutions for a class of nonlinear elliptic equations, arising in the production of standing wave solutions to an associated family of nonlinear Schrödinger equations. We examine two constrained minimization problems, which give rise to such solutions. One yields what we call $F_λ$-minimizers, the other energy minimizers. We produce such ground state solutions on a class of Riemannian manifolds called weakly homogeneous spaces, and establish smoothness, positivity, and decay properties. We also identify classes of Riemannian manifolds with no such minimizers, and classes for which essential uniqueness of positive solutions to the associated elliptic PDE fails. △ Less

Submitted 15 March, 2012; originally announced March 2012.

Comments: 49 pages

MSC Class: 35J61; 58J05

Near Sharp Strichartz estimates with loss in the presence of degenerate hyperbolic trap**

Authors: Hans Christianson

Abstract: We consider an $n$-dimensional spherically symmetric, asymptotically Euclidean manifold with two ends and a codimension 1 trapped set which is degenerately hyperbolic. By separating variables and constructing a semiclassical parametrix for a time scale polynomially beyond Ehrenfest time, we show that solutions to the linear Schrödiner equation with initial conditions localized on a spherical harmo… ▽ More We consider an $n$-dimensional spherically symmetric, asymptotically Euclidean manifold with two ends and a codimension 1 trapped set which is degenerately hyperbolic. By separating variables and constructing a semiclassical parametrix for a time scale polynomially beyond Ehrenfest time, we show that solutions to the linear Schrödiner equation with initial conditions localized on a spherical harmonic satisfy Strichartz estimates with a loss depending only on the dimension $n$ and independent of the degeneracy. The Strichartz estimates are sharp up to an arbitrary $β>0$ loss. This is in contrast to \cite{ChWu-lsm}, where it is shown that solutions satisfy a sharp local smoothing estimate with loss depending only on the degeneracy of the trapped set, independent of the dimension. △ Less

Submitted 11 January, 2012; originally announced January 2012.

Local smoothing for the Schrödinger equation with a prescribed loss

Authors: Hans Christianson, Jared Wunsch

Abstract: We consider a family of surfaces of revolution, each with a single periodic geodesic which is degenerately unstable. We prove a local smoothing estimate for solutions to the linear Schrödinger equation with a loss that depends on the degeneracy, and we construct explicit examples to show our estimate is saturated on a weak semiclassical time scale. As a byproduct of our proof, we obtain a cutoff r… ▽ More We consider a family of surfaces of revolution, each with a single periodic geodesic which is degenerately unstable. We prove a local smoothing estimate for solutions to the linear Schrödinger equation with a loss that depends on the degeneracy, and we construct explicit examples to show our estimate is saturated on a weak semiclassical time scale. As a byproduct of our proof, we obtain a cutoff resolvent estimate with a sharp polynomial loss. △ Less

Submitted 27 January, 2012; v1 submitted 20 March, 2011; originally announced March 2011.

Comments: 26 pages, incorporated referee's comments

MSC Class: 35J10; 35B34

Nonlinear quasimodes near elliptic periodic geodesics

Authors: Pierre Albin, Hans Christianson, Jeremy L. Marzuola, Laurent Thomann

Abstract: We consider the nonlinear Schrödinger equation on a compact manifold near an elliptic periodic geodesic. Using a geometric optics construction, we construct quasimodes to a nonlinear stationary problem which are highly localized near the periodic geodesic. We show the nonlinear Schrödinger evolution of such a quasimode remains localized near the geodesic, at least for short times. We consider the nonlinear Schrödinger equation on a compact manifold near an elliptic periodic geodesic. Using a geometric optics construction, we construct quasimodes to a nonlinear stationary problem which are highly localized near the periodic geodesic. We show the nonlinear Schrödinger evolution of such a quasimode remains localized near the geodesic, at least for short times. △ Less

Submitted 16 March, 2011; originally announced March 2011.

Comments: 35 pages

MSC Class: 35Q55; 35R01; 35C20

Random walk on surfaces with hyperbolic cusps

Authors: Hans Christianson, Colin Guillarmou, Laurent Michel

Abstract: We consider the operator associated to a random walk on finite volume surfaces with hyperbolic cusps. We study the spectral gap (upper and lower bound) associated to this operator and deduce some rate of convergence of the iterated kernel towards its stationary distribution. We consider the operator associated to a random walk on finite volume surfaces with hyperbolic cusps. We study the spectral gap (upper and lower bound) associated to this operator and deduce some rate of convergence of the iterated kernel towards its stationary distribution. △ Less

Submitted 16 May, 2010; originally announced May 2010.

Comments: 28 pages

MSC Class: 58-XX

Strichartz estimates for the water-wave problem with surface tension

Authors: Hans Christianson, Vera Mikyoung Hur, Gigliola Staffilani

Abstract: Strichartz-type estimates for one-dimensional surface water-waves under surface tension are studied, based on the formulation of the problem as a nonlinear dispersive equation. We establish a family of dispersion estimates on time scales depending on the size of the frequencies. We infer that a solution $u$ of the dispersive equation we introduce satisfies local-in-time Strichartz estimates with… ▽ More Strichartz-type estimates for one-dimensional surface water-waves under surface tension are studied, based on the formulation of the problem as a nonlinear dispersive equation. We establish a family of dispersion estimates on time scales depending on the size of the frequencies. We infer that a solution $u$ of the dispersive equation we introduce satisfies local-in-time Strichartz estimates with loss in derivative: \[ \| u \|_{L^p([0,T]) W^{s-1/p,q}(\mathbb{R})} \leq C, \qquad \frac{2}{p} + \frac{1}{q} = {1/2}, \] where $C$ depends on $T$ and on the norms of the initial data in $H^s \times H^{s-3/2}$. The proof uses the frequency analysis and semiclassical Strichartz estimates for the linealized water-wave operator. △ Less

Submitted 8 October, 2009; v1 submitted 22 August, 2009; originally announced August 2009.

Comments: Fixed typos and mistakes. Merged with arXiv:0809.4515

MSC Class: 76B15

Existence and stability of solitons for the nonlinear Schrödinger equation on hyperbolic space

Authors: Hans Christianson, Jeremy Marzuola

Abstract: We study the existence and stability of ground state solutions or solitons to a nonlinear stationary equation on hyperbolic space. The method of concentration compactness applies and shows that the results correlate strongly to those of Euclidean space. We study the existence and stability of ground state solutions or solitons to a nonlinear stationary equation on hyperbolic space. The method of concentration compactness applies and shows that the results correlate strongly to those of Euclidean space. △ Less

Submitted 26 November, 2014; v1 submitted 12 May, 2009; originally announced May 2009.

Comments: New: As noted in Banica-Duyckaerts (arXiv:1411.0846), Section 5 should read that for sufficiently large mass, sub-critical problems can be solved via energy minimization for all d \geq 2 and as a result Cazenave-Lions results can be applied in Section 6 with the same restriction. These requirements were addressed by the subsequent work with Metcalfe and Taylor in arXiv:1203.3612

MSC Class: 35Q55; 35Q51

Local smoothing effects for the water-wave problem with surface tension

Authors: Hans Christianson, Vera Mikyoung Hur, Gigliola Staffilani

Abstract: This paper has been merged to 0908.3255. This paper has been merged to 0908.3255. △ Less

Submitted 9 October, 2009; v1 submitted 25 September, 2008; originally announced September 2008.

Comments: This paper has been merged to 0908.3255

Isomorphisms between Algebras of Semiclassical Pseudodifferential Operators

Authors: Hans Christianson

Abstract: Following the work of Duistermaat-Singer \cite{DS} on isomorphisms of algebras of global pseudodifferential operators, we classify isomorphisms of algebras of microlocally defined semiclassical pseudodifferential operators. Specifically, we show that any such isomorphism is given by conjugation by $A = BF$, where $B$ is a microlocally elliptic semiclassical pseudodifferential operator, and $F$ i… ▽ More Following the work of Duistermaat-Singer \cite{DS} on isomorphisms of algebras of global pseudodifferential operators, we classify isomorphisms of algebras of microlocally defined semiclassical pseudodifferential operators. Specifically, we show that any such isomorphism is given by conjugation by $A = BF$, where $B$ is a microlocally elliptic semiclassical pseudodifferential operator, and $F$ is a microlocal $h$-FIO associated to the graph of a local symplectic transformation. △ Less

Submitted 5 March, 2008; originally announced March 2008.

MSC Class: 35S30

Quantum Monodromy and Non-concentration near a Closed Semi-Hyperbolic Orbit

Authors: Hans Christianson

Abstract: For a large class of semiclassical operators $P(h)-z$ which includes Schrödinger operators on manifolds with boundary, we construct the Quantum Monodromy operator $M(z)$ associated to a periodic orbit $γ$ of the classical flow. Using estimates relating $M(z)$ and $P(h)-z$, we prove semiclassical estimates for small complex perturbations of $P(h) -z$ in the case $γ$ is semi-hyperbolic. As our mai… ▽ More For a large class of semiclassical operators $P(h)-z$ which includes Schrödinger operators on manifolds with boundary, we construct the Quantum Monodromy operator $M(z)$ associated to a periodic orbit $γ$ of the classical flow. Using estimates relating $M(z)$ and $P(h)-z$, we prove semiclassical estimates for small complex perturbations of $P(h) -z$ in the case $γ$ is semi-hyperbolic. As our main application, we give logarithmic lower bounds on the mass of eigenfunctions away from semi-hyperbolic orbits of the associated classical flow. As a second application of the Monodromy Operator construction, we prove if $γ$ is an elliptic orbit, then $P(h)$ admits quasimodes which are well-localized near $γ$. △ Less

Submitted 5 March, 2008; originally announced March 2008.

MSC Class: 35P20

Applications of Cutoff Resolvent Estimates to the Wave Equation

Authors: Hans Christianson

Abstract: We consider solutions to the linear wave equation on non-compact Riemannian manifolds without boundary when the geodesic flow admits a filamentary hyperbolic trapped set. We obtain a polynomial rate of local energy decay with exponent depending only on the dimension. We consider solutions to the linear wave equation on non-compact Riemannian manifolds without boundary when the geodesic flow admits a filamentary hyperbolic trapped set. We obtain a polynomial rate of local energy decay with exponent depending only on the dimension. △ Less

Submitted 19 November, 2007; v1 submitted 4 September, 2007; originally announced September 2007.

Comments: 11 pages

MSC Class: 58J45

Cutoff Resolvent Estimates and the Semilinear Schrödinger Equation

Authors: Hans Christianson

Abstract: This paper shows how abstract resolvent estimates imply local smoothing for solutions to the Schrödinger equation. If the resolvent estimate has a loss when compared to the optimal, non-trap** estimate, there is a corresponding loss in regularity in the local smoothing estimate. As an application, we apply well-known techniques to obtain well-posedness results for the semi-linear Schrödinger e… ▽ More This paper shows how abstract resolvent estimates imply local smoothing for solutions to the Schrödinger equation. If the resolvent estimate has a loss when compared to the optimal, non-trap** estimate, there is a corresponding loss in regularity in the local smoothing estimate. As an application, we apply well-known techniques to obtain well-posedness results for the semi-linear Schrödinger equation. △ Less

Submitted 19 November, 2007; v1 submitted 28 June, 2007; originally announced June 2007.

Comments: 8 pages, 1 figure

MSC Class: 35G25

The Colin de Verdière Graph Parameter for Threshold Graphs

Authors: Hans Christianson, Felix Goldberg

Abstract: We consider Schrödinger operators on threshold graphs and prove a formula for the Colin de Verdière parameter in terms of the building sequence. We construct an optimal Colin de Verdière matrix for each connected threshold graph $G$ of $n$ vertices. For a large subclass of threshold graphs we construct an alternative Colin de Verdière matrix depending on a large parameter. As a corollary to this… ▽ More We consider Schrödinger operators on threshold graphs and prove a formula for the Colin de Verdière parameter in terms of the building sequence. We construct an optimal Colin de Verdière matrix for each connected threshold graph $G$ of $n$ vertices. For a large subclass of threshold graphs we construct an alternative Colin de Verdière matrix depending on a large parameter. As a corollary to this last construction, we give estimates on the size of the non-zero eigenvalues of this matrix. △ Less

Submitted 18 January, 2008; v1 submitted 22 December, 2006; originally announced December 2006.

Comments: 19 pages, 1 figure. Added sharp result with F. Goldberg

MSC Class: 05C50

Dispersive Estimates for Manifolds with one Trapped Orbit

Authors: Hans Christianson

Abstract: For a large class of complete, non-compact Riemannian manifolds, $(M,g)$, with boundary, we prove high energy resolvent estimates in the case where there is one trapped hyperbolic geodesic. As an application, we have the following local smoothing estimate for the Schrödinger propagator: \int_0^T || ρ_s e^{it(Δ_g-V)} u_0 ||_{H^{1/2 - ε}(M)}^2 dt \leq C_T || u_0 ||_{L^2(M)}^2, where… ▽ More For a large class of complete, non-compact Riemannian manifolds, $(M,g)$, with boundary, we prove high energy resolvent estimates in the case where there is one trapped hyperbolic geodesic. As an application, we have the following local smoothing estimate for the Schrödinger propagator: \int_0^T || ρ_s e^{it(Δ_g-V)} u_0 ||_{H^{1/2 - ε}(M)}^2 dt \leq C_T || u_0 ||_{L^2(M)}^2, where $ρ_s(x) \in \Ci(M)$ satisfies $ρ_s = <\dist_g(x,x_0)>^{-s}$, $s> \half$, and $V \in \Ci(M)$, $0 \leq V \leq C$ satisfies $|\nabla V| \leq C <\dist(x,x_0)>^{-1-δ}$ for some $δ>0$. From the local smoothing estimate, we deduce a family of Strichartz-type estimates, which are used to prove two well-posedness results for the nonlinear Schrödinger equation. As a second application, we prove the following exponential local energy decay estimate for solutions to the wave equation when $\dim M = n \geq 3$ is odd and $M$ is equal to $\reals^n$ outside a compact set: \be \int_M |ψ\partial_t u |^2 + | ψ\nabla u |^2 dx} \leq C e^{-t/C} (||u(x,0)||_{H^{1+ε}(M)}^2 + ||D_tu(x,0)||_{H^ε(M)}^2), where $ψ\in \Ci(M)$, $ψ\equiv e^{-|x|^2}$ outside a compact set. △ Less

Submitted 19 November, 2007; v1 submitted 27 November, 2006; originally announced November 2006.

Comments: 24 pages

MSC Class: 35B99

Semiclassical Nonconcentration near Hyperbolic Orbits

Authors: Hans Christianson

Abstract: For a large class of semiclassical pseudodifferential operators, including Schrödinger operators, $ P (h) = -h^2 Δ_g + V (x) $, on compact Riemannian manifolds, we give logarithmic lower bounds on the mass of eigenfunctions outside neighbourhoods of generic closed hyperbolic orbits. More precisely we show that if $ A $ is a pseudodifferential operator which is microlocally equal to the identity… ▽ More For a large class of semiclassical pseudodifferential operators, including Schrödinger operators, $ P (h) = -h^2 Δ_g + V (x) $, on compact Riemannian manifolds, we give logarithmic lower bounds on the mass of eigenfunctions outside neighbourhoods of generic closed hyperbolic orbits. More precisely we show that if $ A $ is a pseudodifferential operator which is microlocally equal to the identity near the hyperbolic orbit and microlocally zero away from the orbit, then \[ \| u \| \leq C (\sqrt{\log(1/h)}/ h) \| P (h)u \| + C \sqrt {\log(1/h)} \| (I - A) u \| . \] This generalizes earlier estimates of Colin de Verdière-Parisse \cite{CVP} obtained for a special case, and of Burq-Zworski \cite{BZ} for real hyperbolic orbits. △ Less

Submitted 4 February, 2006; originally announced February 2006.

Comments: 45 pages, 5 figures

MSC Class: 35P20

Journal ref: J. Funct. Anal. Vol. 246 (2007), no. 2, 145--195

Growth and Zeros of the Zeta Function for Hyperbolic Rational Maps

Authors: Hans Christianson

Abstract: This paper describes new results on the growth and zeros of the Ruelle zeta function for the Julia set of a hyperbolic rational map. It is shown that the zeta function is bounded by $\exp(C_K |s|^δ)$ in strips $|\Re s| \leq K$, where $δ$ is the dimension of the Julia set. This leads to bounds on the number of zeros in strips (interpreted as the Pollicott-Ruelle resonances of this dynamical syste… ▽ More This paper describes new results on the growth and zeros of the Ruelle zeta function for the Julia set of a hyperbolic rational map. It is shown that the zeta function is bounded by $\exp(C_K |s|^δ)$ in strips $|\Re s| \leq K$, where $δ$ is the dimension of the Julia set. This leads to bounds on the number of zeros in strips (interpreted as the Pollicott-Ruelle resonances of this dynamical system). An upper bound on the number of zeros in polynomial regions $\{|\Re s | \leq |\Im s|^α\}$ is given, followed by weaker lower bound estimates in strips $\{\Re s > -C, |\Im s|\leq r\}$, and logarithmic neighbourhoods $\{|\Re s | \leq ρ\log |\Im s| \}$. Recent numerical work of Strain-Zworski suggests the upper bounds in strips are optimal. △ Less

Submitted 24 May, 2004; v1 submitted 29 April, 2004; originally announced April 2004.

Comments: 18 pages, 1 figure Expanded Lemma 5.2 and moved to an appendix

MSC Class: 37C30