The semiclassical resolvent and the propagator for non-trapping scattering metrics

Consider a compact manifold with boundary M with a scattering metric g or, equivalently, an asymptotically conic manifold (M^○,g). (Euclidean Rn, with a compactly supported metric perturbation, is an example of such a space.) Let Δ be the positive Laplacian on (M,g), and V a smooth potential on M which decays to second order at infinity. In this paper we construct the kernel of the operator ⁻¹(h²Δ+V−²(λ₀±i0)), at a non-trapping energy λ₀>0, uniformly for h∈(0,h₀), h₀>0 small, within a class of Legendre distributions on manifolds with codimension three corners. Using this we construct the kernel of the propagator, e−it(Δ/2+V), t∈(0,t₀) as a quadratic Legendre distribution. We also determine the global semiclassical structure of the spectral projector, Poisson operator and scattering matrix.     

Stably average shadowable homoclinic classes

Let p be a hyperbolic periodic saddle of a diffeomorphism of f on a closed smooth manifold M, and let H_f(p) be the homoclinic class of f containing p. In this paper, we show that if H_f(p) is locally maximal and every hyperbolic periodic point in H_f(p) is uniformly far away from being nonhyperbolic, and H_f(p) has the average shadowing property, then H_f(p) is hyperbolic.     

The method of asymptotic stabilization to a given trajectory based on a correction of the initial data

Let S be an operator in a Banach space H and S ⁱ (u) (i = 0, 1, ..., u ∈ H) be the evolutionary process specified by S. The following problem is considered: for a given point z ₀ and a given initial condition a ₀, find a correction l such that the trajectory {S ⁱ (a ₀ + l)} approaches }S ⁱ (z ₀)} for 0 < i ≤ n. This problem is reduced to projecting a ₀ on the manifold ?^?(z ₀, f ⁽ⁿ⁾) defined in a neighborhood of z ₀ and specified by a certain function f ⁽ⁿ⁾. In this paper, an iterative method is proposed for the construction of the desired correction u = a ₀ + l. The convergence of the method is substantiated, and its efficiency for the blow-up Chafee-Infante equation is verified. A constructive proof of the existence of a locally stable manifold ?^?(z ₀, f) in a neighborhood of a trajectory of hyperbolic type is one of the possible applications of the proposed method. For the points in ?^?(z ₀, f), the value of n can be chosen arbitrarily large.     

Multicomplexes and polynomials with real zeros

We show that each polynomial a(z)=1+a₁z+?+a_dz^d in N[z] having only real zeros is the f-polynomial of a multicomplex. It follows that a(z) is also the h-polynomial of a Cohen-Macaulay ring and is the g-polynomial of a simplicial polytope. We conjecture that a(z) is also the f-polynomial of a simplicial complex and show that the multicomplex result implies this in the special case that the zeros of a(z) belong to the real interval [-1,0). We also show that for fixed d the conjecture can fail for at most finitely many polynomials having the required form.     

The η invariant of the Atiyah–Patodi–Singer operator on compact flat manifolds

Let ${\mathcal{D}}$ be the boundary operator defined by Atiyah, Patodi and Singer, acting on smooth even forms of a compact orientable Riemannian manifold M. In continuation of our previous study, we deal with the problem of computing explicitly the ?? invariant ???= ??(M) for any orientable compact flat manifold M. After giving an explicit expression for ??(s) in the case of cyclic holonomy group, we obtain a combinatorial formula that reduces the computation to the cyclic case. We illustrate the method by determining ??(0) for several infinite families, some of them having non-abelian holonomy groups. For cyclic groups of odd prime order p??? 7, ??(s) can be expressed as a multiple of L _??(s), an L-function associated to a quadratic character mod p, while ??(0) is a (non-zero) integral multiple of the class number h _?p of the number field ${\mathbb Q(\sqrt {-p})}$ . In the case of metacyclic groups of odd order pq, with p, q primes, we show that ??(0) is a rational multiple of h _?p .     

Asymptotic expansions in time for solutions of Schrödinger-type equations

Let ?iA = ?i(p(D) + V) be a dissipative operator in L₂(R_n), where p(D) is an elliptic differential operator of order m with real constant coefficients and V is a compact operator from the weighted Sobolev space H^m′,s (Rⁿ) to H^{0, p + s} (Rⁿ), s?R, for some m′ < m ? 1 and p > 1. Let R(z) be the resolvent of A. Then an asymptotic expansion of R(z) as z approaches a critical value of the polynomial p(ξ) is given; the coefficient operators in the expansion are computed explicitly. By using the resolvent expansion and the results of M. Murata [9], an asymptotic expansion of e^?itA as t → ∞ is given.     

The Poisson transform and representations of a free group

Let G be a free group with r generators, 1 < r < ∞. All the eigenfunctions of an operator on G which plays the same role of the Laplace Beltrami operator on semisimple Lie groups are characterized. Furthermore, an analytic family of representations π_z of G on functions on the boundary Ω is considered, defined by $\text{π}{}_{\mathrm{z}}\text{(x)?(ω) = p}{}^{\mathrm{z}}\text{(x, ω)?(x}{}^{\mathrm{?1}}\text{ω)}$, where p(x, ω) is the Poisson kernel relative to the action of G on Ω. It is proved that, for 0 < s = Re z < 1, π_z is uniformly bounded on an appropriate Hilbert space $\text{H}{}_{\mathrm{s}}\text{(Ω)}$. Finally the uniform boundedness of other special representations of G, obtained by considering the free group either as a subgroup of the group of all isometries of a tree or as a subgroup of GL(2, Q_p) is proved.     

Generation of the integrated semigroups by superelliptic differential operators

Let A be a superelliptic differential operator of order 2m introduced by E.B. Davies [E.B. Davies, Uniformly elliptic operators with measurable coefficients, J. Funct. Anal. 132 (1995) 141-169]. In the case of 2m>N, he obtained the upper Gaussian bound of the integral kernel representing (e−zA)_z∈C+ and the estimates of the Lp-operator norm of the semigroup for all p∈[1,∞). The purpose of the present paper is to show that −i(A+k) (for some constant k>0) generates an integrated semigroup on Lα,p (weighted Lp space) and lp(Lα,q). To prove this we need norm estimates of (e−zA)_z∈C+ on each of these spaces. Also we get another norm estimate of (e−zA)_z∈C+ on Lp when 2m>N without using the integral kernel. This norm estimate is better than that in [E.B. Davies, Uniformly elliptic operators with measurable coefficients, J. Funct. Anal. 132 (1995) 141-169] and gives a better “times of the integration” of the integrated semigroup.     

Spectral gaps for periodic Schrödinger operators with hypersurface magnetic wells: Analysis near the bottom

We consider a periodic magnetic Schrödinger operator Hh, depending on the semiclassical parameter h>0, on a noncompact Riemannian manifold M such that H¹(M,R)=0 endowed with a properly discontinuous cocompact isometric action of a discrete group. We assume that there is no electric field and that the magnetic field has a periodic set of compact magnetic wells. We suppose that the magnetic field vanishes regularly on a hypersurface S. First, we prove upper and lower estimates for the bottom λ₀(Hh) of the spectrum of the operator Hh in L²(M). Then, assuming the existence of non-degenerate miniwells for the reduced spectral problem on S, we prove the existence of an arbitrarily large number of spectral gaps for the operator Hh in the region close to λ₀(Hh), as h→0. In this case, we also obtain upper estimates for the eigenvalues of the one-well problem.     

A low order anisotropic nonconforming characteristic finite element method for a convection-dominated transport problem

A low order anisotropic nonconforming rectangular finite element method for the convection-diffusion problem with a modified characteristic finite element scheme is studied in this paper. The O(h²) order error estimate in L²-norm with respect to the space, one order higher than the expanded characteristic-mixed finite element scheme with order O(h), and the same as the conforming case for a modified characteristic finite element scheme under regular meshes, is obtained by use of some distinct properties of the interpolation operator and the mean value technique, instead of the so-called elliptic projection, which is an indispensable tool in the convergence analysis of the previous literature. Lastly, some numerical results of the element are provided to verify our theoretical analysis.     

Compositions of analytic functions of the form Fn(z) = Fn−1(fn(z)), fn(z) → f(z)

Frequently, in applications, a function is iterated in order to determine its fixed point, which represents the solution of some problem. In the variation of iteration presented in this paper fixed points serve a different purpose. The sequence {F_n(z)} is studied, where F₁(z) = f₁(z) and F_n(z) = F_n−1(f_n(z)), with f_n → f. Many infinite arithmetic expansions exhibit this form, and the fixed point, α, of f may be used as a modifying factor (z = α) to influence the convergence behaviour of these expansions. Thus one employs, rather than seeks the fixed point of the function f.     

A damped hyerbolic equation with critical exponent

The aim of this paper is twofold. First, we initiate a detailed study of the so-called X^s _θ spaces attached to a partial differential operator. This include localization, duality, microlocal representation, subelliptic estimates, solvability and L^p (L^q ) estimates. Secondly, we obtain some theorems on the unique continuation of solutions to semilinear second order hyperbolic equations across strongly pseudo-convex surfaces. These results are proved using some new L^p → L^q Carleman estimates, derived using the X^s _θ spaces. Our theorems cover the subcritical case; in the critical case, the problem remains open. Similar results hold for higher order partial differential operators, provided that characteristic set satisfies a curvature conditions.     

Semiclassical resonances associated with a periodic orbit

We consider resonances for a h-pseudo-differential operator H(x, hD _x; h) induced by a periodic orbit of hyperbolic type. We generalize the framework of Gérard and Sjöstrand, in the sense that we allow hyperbolic and elliptic eigenvalues of the Poincarémap, and look for so-called semi-excited resonances with imaginary part of magnitude ?h log h, or h ^δ, with 0 < δ < 1.     

Characterizations for Besov spaces and applications. Part I

The main theorem of this paper gives a characterization for holomorphic Besov space B^p(D) over a large class of bounded domains D in , which states that there is a bounded linear operator so that PV_D=I on B^p(D), where P is the Bergman projection, and is the biholomorphic invariant measure with K(z,z) being Bergman kernel function for D. Moreover, some application for characterizing Schatter von Neumann p-class small Hankel operation is given as a direct consequence of this theorem.     

The domination of g-evaluations and Choquet evaluations

In this paper, we obtain that a convex g evaluation can be dominated by the corresponding Choquet evaluation if and only if g has the form g(t, y, z) = μ t y + h(t, z), where h(t, z) is positively homogeneous and subadditive with respect to z.     

Fourier-Integral-Operator Approximation of Solutions to First-Order Hyperbolic Pseudodifferential Equations I: Convergence in Sobolev Spaces

An approximation Ansatz for the operator solution, U(z′,z), of a hyperbolic first-order pseudodifferential equation, ? _z  + a(z,x,D _x ) with Re (a) ≥ 0, is constructed as the composition of global Fourier integral operators with complex phases. An estimate of the operator norm in L(H ^(s),H ^(s)) of these operators is provided, which yields a convergence result for the Ansatz to U(z′,z) in some Sobolev space as the number of operators in the composition goes to ∞.     

Superconvergence analysis and extrapolation of quasi-Wilson nonconforming finite element method for nonlinear Sobolev equations

Quasi-Wilson nonconforming finite element approximation for a class of nonlinear Sobolev equa-tions is discussed on rectangular meshes. We first prove that this element has two special characters by novel approaches. One is that (▽h ( u-Ihu )1, ▽hvh) h may be estimated as order O ( h2 ) when u ∈ H3 (Ω), where Ihu denotes the bilinear interpolation of u , vh is a polynomial belongs to quasi-Wilson finite element space and ▽h denotes the piecewise defined gradient operator, h is the mesh size tending to zero. The other is that the consistency error of this element is of order O ( h2 ) /O ( h3 ) in broken H 1-norm, which is one/two order higher than its interpolation error when u ∈ H3 (Ω) /H4 (Ω). Then we derive the optimal order error estimate and su- perclose property via mean-value method and the known high accuracy result of bilinear element. Furthermore, we deduce the global superconvergence through interpolation post processing technique. At last, an extrapola- tion result of order O ( h3 ), two order higher than traditional error estimate, is obtained by constructing a new suitable extrapolation scheme.     

The support points of several classes of analytic functions with fixed coefficients

Let B denote the set of functions ?(z) that are analytic in the unit disk D and satisfy |?(z)|?1(|z|<1). Let P denote the set of functions p(z) that are analytic in D and satisfy p(0)=1 and Rep(z)>0(|z|<1). Let T denote the set of functions f(z) that are analytic in D, normalized by f(0)=0 and f^′(0)=1 and satisfy that f(z) is real if and only if z is real (|z|<1). In this article we investigate the support points of the subclasses of B, P and T of functions with fixed coefficients.     

The eigen functions of the complex projective space

In the complexn-dimensional projective spaceCP ⁿ , let λ _p (=4p(p+n)) be the eigen value of the Laplace-Beltrami operator andH _p be the space of all eigen functions of eigen value λ _p . The reproducing kernelh _p (z, w) ofH _p is constructed explicitly in this paper, and a system of complete orthogohal functions ofH _p is constructed fromh _p (z,w)(p=1,2, …). Partially supported by NSF of China     

Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations

We consider a numerical method to verify the existence and uniqueness of the solutions of nonlinear hyperbolic problems with guaranteed error bounds. Using a C¹ finite element solution and an inequality constituting a bound on the norm of the inverse operator of the linearized operator, we numerically construct a set of functions which satisfy the hypothesis of Banach's fixed point theorem for a continuous map on L^p-space in a computer. We present detailed verification procedures and give some numerical examples.