THE GIBBS PHENOMENON,THE PINSKY PHENOMENON,AND VARIANTS FOR EIGENFUNCTION EXPANSIONS

ABSTRACT

We examine analogues of the Gibbs phenomenon for eigenfunction expansions of functions with singularities across a smooth surface, though of a more general nature than a simple jump. The Gibbs phenomena that arise still have a universal form, but a more general class of “fractional sine integrals” arises, and we study these functions. We also make a uniform analysis of eigenfunction expansions in the presence of the Pinsky phenomenon, and see an analogue of the Gibbs phenomenon there. These analyses are done on three classes of manifolds: strongly scattering manifolds, including Euclidean space; compact manifolds without strongly focusing geodesic flows, including flat tori and quotients of hyperbolic space, and compact manifolds with periodic geodesic flow; including spheres and Zoll surfaces. Finally, we uncover a new divergence phenomenon for eigenfunction expansions of characteristic functions of balls, for a perturbation of the Laplace operator on a sphere of dimension ≥5.     

Pointwise Fourier inversion on tori and other compact manifolds

We prove a number of results about pointwise convergence of eigenfunction expansions of functions on compact manifolds. In particular, we establish that the Pinsky phenomenon holds for piecewise smooth functions on the three-dimensional torus, with jump across the boundary of a ball, in the same form as it was discovered for functions on three-dimensional Euclidean space. Our work on this has been stimulated by recent work of Brandolini and Colzani, and we also discuss some variants of their results.     

Pointwise fourier inversion and related eigenfunction expansions

Necessary and sufficient conditions are found for the convergence at a pre-assigned point of the spherical partial sums (resp. integrals) of the Fourier series (resp. integral) in the class of piecewise smooth functions on Euclidean space. These results carry over unchanged to spherical harmonic expansions, Fourier transforms on hyperbolic space, and Dirichlet eigenfunction expansions with respect to the Laplace operator on a class of Riemannian manifolds. © 1994 John Wiley & Sons, Inc.     

Localization and convergence of eigenfunction expansions

We state a localization principle for expansions in eigenfunctions of a self-adjoint second order elliptic operator and we prove an equiconvergence result between eigenfunction expansions and trigonometric expansions. We then study the Gibbs phenomenon for eigenfunction expansions of piecewise smooth functions on two-dimensional manifolds.     

Some Special Tauberian Theorems for Fourier Type Integrals and Eigenfunction Expansions of Sturm-Liouville Equations on the Whole Line

We offer a new proof of a special Tauberian theorem for Fourier type integrals. This Tauberian theorem was already considered by us in the papers [1] and [2]. The idea of our initial proof was simple, but the details were complicated because we used Bochner's definition of generalized Fourier transform for functions of polynomial growth. In the present paper we work with L. Schwartz's generalization. This leads to significant simplification. The paper consists of six sections. In Section 1 we establish an integral representation of functions of polynomial growth (subjected to some Tauberian conditions), in Section 2 we prove our main Tauberian theorems (Theorems 2.1 and 2.2.), using the integral representation of Section 1, in Section 3 we study the asymptotic behavior of M. Riesz's means of functions of polynomial growth, in Sections 4 and 5 we apply our Tauberian theorems to the problem of equiconvergence of eigenfunction expansions of Sturm-Liouville equations and expansion in ordinary Fourier integrals, and in Section 6 we compare our general equiconvergence theorems of Sections 4 and 5 with the well known theorems on eigenfunction expansions in classical orthogonal polynomials. In some sense this paper is a re-made survey of our results obtained during the period 1953-58. Another proof of our Tauberian theorem and some generalization can be found in the papers [3] and [4].     

On the Rate of Convergence of Multi-dimensional Orthogonal Expansions

We discuss here several alternative generalizations of the one-dimensionalanalysis of Bain & Delves (1977) to cover multi-dimensionalorthogonal expansions. The expansions considered include (1)eigenfunction expansions and (2) products of one-dimensionalorthogonal functions. Detailed results are given for the caseof product Jacobi polynomials on a hyper-rectangle.     

On multiple Fourier integrals of piecewise smooth functions with discontinuities of the second kind

It is well known that the Riesz means of eigenfunction expansions of piecewise smooth functions of order s>(n−3)/2 converge uniformly on compacts where these functions are smooth. In 2000 L. Brandolini and L. Colzani considered eigenfunction expansions of piecewise smooth functions with discontinuities of the second kind across smooth surfaces. They showed that the Riesz means of these functions of order s>(n−3)/2 may diverge even at certain points where these functions are smooth. Here it is argued that this effect depends on the measure of the singularity area, i.e. we consider functions with singularities across more limited areas and prove that the Riesz means of their eigenfunction expansions of order s>(n−3)/2 converge uniformly on compacts where these functions are continuous.     

Newton's method for sections on Riemannian manifolds: Generalized covariant -theory

One kind of the L-average Lipschitz condition is introduced to covariant derivatives of sections on Riemannian manifolds. A convergence criterion of Newton's method and the radii of the uniqueness balls of the singular points for sections on Riemannian manifolds, which is independent of the curvatures, are established under the assumption that the covariant derivatives of the sections satisfy this kind of the L-average Lipschitz condition. Some applications to special cases including Kantorovich's condition and the γ-condition as well as Smale's α-theory are provided. In particular, the result due to Ferreira and Svaiter [Kantorovich's Theorem on Newton's method in Riemannian manifolds, J. Complexity 18 (2002) 304–329] is extended while the results due to Dedieu Priouret, Malajovich [Newton's method on Riemannian manifolds: covariant alpha theory, IMA J. Numer. Anal. 23 (2003) 395–419] are improved significantly. Moreover, the corresponding results due to Alvarez, Bolter, Munier [A unifying local convergence result for Newton's method in Riemannian manifolds, Found. Comput. Math. to appear] for vector fields and mappings on Riemannian manifolds are also extended.     

Strichartz estimates and nonlinear wave equation on nontrapping asymptotically conic manifolds

We prove the global-in-time Strichartz estimates for wave equations on the nontrapping asymptotically conic manifolds. We obtain estimates for the full set of wave admissible indices, including the endpoint. The key points are the properties of the microlocalized spectral measure of Laplacian on this setting showed in [18] and a Littlewood–Paley squarefunction estimate. As applications, we prove the global existence and scattering for a family of nonlinear wave equations on this setting.     

An example where separation of variables fails

We present in detail a linear, constant-coefficient initial/boundary value problem for which the classical method of eigenfunction expansions fails. We note that the new method recently introduced by A. Fokas and B. Pelloni (2005) in [3] can be successfully applied to the same problem.     

On low eigenvalues of the Laplacian with mixed boundary conditions

By means of the so-called α-symmetrization we study the eigenvalue problem for the Laplace operator with mixed boundary conditions. We obtain various bounds for combinations of the low eigenvalues and some sharp comparison results for the first eigenfunction in terms of Bessel functions.     

Series expansions for functional differential equations

In this paper we prove convergence results for the series expansion of the solution to a linear functional differential equation. The results are consequences of an analysis of eigenfunction expansions for the generator of the solution map. This abstract approach unifies the treatment of retarded and neutral functional differential equations.The research of S.M. Verduyn Lunel has been made possible by a fellowship of the Royal Netherlands Academy of Arts and Sciences     

Patterns and structure in systems governed by linear second-order differential equations

This article represents a survey of transmutation ideas and their interaction with typical physical problems. For linear second-order differential operatorsP andQ one deals with canonical connectionsB:PQ (transmutations) satisfyingQB=BP and the related transport of structure between the theories ofP andQ. One can study in an intrinsic manner, e.g., Parseval formulas, eigenfunction expansions, integral transform, special functions, inverse problems, integral equations, and related stochastic filtering and estimation problems, etc. There are applications in virtually any area where such operators arise.     

Asymptotic expansions using blow-up

The method of matched asymptotic expansions and geometric singular perturbation theory are the most common and successful approaches to singular perturbation problems. In this work we establish a connection between the two approaches in the context of the simple fold problem. Using the blow-up technique [5], [12] and the tools of geometric singular perturbation theory we derive asymptotic expansions of slow manifolds continued beyond the fold point. Our analysis explains the structure of the expansion and gives an algorithm for computing its coefficients.     

Basic boundary value problems of thermoelasticity for anisotropic bodies with cuts. II

In the first part [1] of the paper the basic boundary value problems of the mathematical theory of elasticity for three-dimensional anisotropic bodies with cuts were formulated. It is assumed that the two-dimensional surface of a cut is a smooth manifold of an arbitrary configuration with a smooth boundary. The existence and uniqueness theorems for boundary value problems were formulated in the Besov and Bessel-potential ( _p ^s ) spaces. In the present part we give the proofs of the main results (Theorems 7 and 8) using the classical potential theory and the nonclassical theory of pseudodifferential equations on manifolds with a boundary.     

COMPUTATION OF THE RELAXATION OSCILLATION PERIOD IN LOTKA‐VOLTERRA SYSTEMS

ABSTRACT. This work surveys techniques of Grasman and Veling [1973], Vasil'eva and Belyanin [1988] and Shih [1996] for computing the relaxation oscillation period of singularly perturbed Lotka‐Volterra systems. Grasman and Veling [1973] used an implicit function theorem to derive an asymptotic formula for the period; Vasil'eva and Belyanin [1988] employed a method of matched asymptotic expansions to obtain an approximation to the period; Shih [1996] obtained two (exact) integral representations for the period in terms of two inverse functions W(–k, x) of xexp(x). These results are compared numerically and asymptotically. In particular, the integral representation of the period in Shih [1996] is computed numerically using a Gauss‐Tschebyscheff integration rule of the first kind, and is further investigated asymptotically by virtue of the asymptotics of W(–k, x), Laplace's method, and a method of consequent representation. Computational results indicate that the Gauss‐Tschebyscheff approximation of the period in Shih [1996] is uniformly accurate for a wide range of the singular parameter (? in the paper).     

Eigenvalue inequalities for the p-Laplacian on a Riemannian manifold and estimates for the heat kernel

In this paper, we successfully generalize the eigenvalue comparison theorem for the Dirichlet p  -Laplacian (1<p<∞$1<p<\infty$) obtained by Matei (2000) [19] and Takeuchi (1998) [22], respectively. Moreover, we use this generalized eigenvalue comparison theorem to get estimates for the first eigenvalue of the Dirichlet p-Laplacian of geodesic balls on complete Riemannian manifolds with radial Ricci curvature bounded from below w.r.t. some point. In the rest of this paper, we derive an upper and lower bound for the heat kernel of geodesic balls of complete manifolds with specified curvature constraints, which can supply new ways to prove the most part of two generalized eigenvalue comparison results given by Freitas, Mao and Salavessa (2013) [9].     

Asymptotic expansions using blow-up

The method of matched asymptotic expansions and geometric singular perturbation theory are the most common and successful approaches to singular perturbation problems. In this work we establish a connection between the two approaches in the context of the simple fold problem. Using the blow-up technique [5], [12] and the tools of geometric singular perturbation theory we derive asymptotic expansions of slow manifolds continued beyond the fold point. Our analysis explains the structure of the expansion and gives an algorithm for computing its coefficients.*Research supported by the Austrian Science Foundation under grant Y 42-MAT.Received: February 1, 2001; revised: November 22, 2002     

A Systematic “Saddle Point Near a Pole” Asymptotic Method with Application to the Gauss Hypergeometric Function

In recent works [ 1 ] and [ 2 ], we have proposed more systematic versions of the Laplace’s and saddle point methods for asymptotic expansions of integrals. Those variants of the standard methods avoid the classical change of variables and give closed algebraic formulas for the coefficients of the expansions. In this work we apply the ideas introduced in [ 1 ] and [ 2 ] to the uniform method “saddle point near a pole.” We obtain a computationally more systematic version of that uniform asymptotic method for integrals having a saddle point near a pole that, in many interesting examples, gives a closed algebraic formula for the coefficients. The asymptotic sequence is given, in general, in terms of exponential integrals of fractional order (or incomplete gamma functions). In particular, when the order of the saddle point is two, the basic approximant is given in terms of the error function (as in the standard method). As an application, we obtain new asymptotic expansions of the Gauss Hypergeometric function ₂F₁(a, b, c; z) for large b and c with c > b + 1 .