Harmonic approximation of difference operators

For a general class of difference operators Hε=Tε+Vε on ?²(d(εZ)), where Vε is a multi-well potential and ε is a small parameter, we analyze the asymptotic behavior as ε→0 of the (low-lying) eigenvalues and eigenfunctions. We show that the first n eigenvalues of Hε converge to the first n eigenvalues of the direct sum of harmonic oscillators on Rd located at the several wells. Our proof is microlocal.     

Isoperimetric type inequalities for harmonic functions

For 0<p<+∞ let hp be the harmonic Hardy space and let bp be the harmonic Bergman space of harmonic functions on the open unit disk U. Given 1?p<+∞, denote by ‖⋅bp_‖ and ‖⋅hp_‖ the norms in the spaces bp and hp, respectively. In this paper, we establish the harmonic hp-analogue of the known isoperimetric type inequality ‖fb2p_‖?‖fhp_‖, where f is an arbitrary holomorphic function in the classical Hardy space Hp. We prove that for arbitrary p>1, every function f∈hp satisfies the inequality

‖fb2p_‖?ap‖fhp_‖,     

Minimal bases and maximal nonbases in additive number theory

An asymptotic basis $\text{A}$ of order h is minimal if no proper subset of $\text{A}$ is an asymptotic basis of order h. Examples are constructed of minimal asymptotic bases, and also of an asymptotic basis of order two no subset of which is minimal.If $\text{B}$ is a set of nonnegative integers which is not a basis (resp. asymptotic basis) of order h, but such that every proper superset of $\text{B}$ is a basis (resp. asymptotic basis) of order h, then $\text{B}$ is a maximal nonbasis (resp. maximal asymptotic nonbasis) of order h. Examples of such sets are constructed, and it is proved that every set not a basis of order h is a subset of a maximal nonbasis of order h.     

The Khavinson-Shapiro conjecture and polynomial decompositions

The main result of the paper states the following: Let ψ be a polynomial in n variables. Suppose that there exists a constant C>0 such that any polynomial f has a polynomial decomposition f=ψqf+hf with Δkhf=0 and . Then . Here Δk is the kth iterate of the Laplace operator Δ. As an application, new classes of domains in Rn are identified for which the Khavinson-Shapiro conjecture holds.     

A note on harmonic quasiconformal mappings

In this note we show that a harmonic quasiconformal mapping f=u+iv with respect to the Poincaré metric of the upper half plane onto itself such that v(x,y)=v(y) or u(x,y)=u(x) is a conformal mapping.     

An initial value approach to rotationally symmetric harmonic maps

We study the effect of the varying y′(0) on the existence and asymptotic behavior of solutions for the initial value problem

     

Biharmonic extensions on trees without positive potentials

Let T be a tree rooted at e endowed with a nearest-neighbor transition probability that yields a recurrent random walk. We show that there exists a function K biharmonic off e whose Laplacian has potential theoretic importance and, in addition, has the following property: Any function f on T which is biharmonic outside a finite set has a representation, unique up to addition of a harmonic function, of the form f=βK+B+L, where β a constant, B is a biharmonic function on T, and L is a function, subject to certain normalization conditions, whose Laplacian is constant on all sectors sufficiently far from the root. We obtain a characterization of the functions biharmonic outside a finite set whose Laplacian has 0 flux similar to one that holds for a function biharmonic outside a compact set in Rn for n=2,3, and 4 proved by Bajunaid and Anandam. Moreover, we extend the definition of flux and, under certain restrictions on the tree, we characterize the functions biharmonic outside a finite set that have finite flux in this extended sense.     

On the Schwartz-Bruhat space and the Paley-Wiener theorem for locally compact abelian groups

Let G be a locally compact abelian group. The Schwartz-Bruhat space of functions on G is then defined in terms of Lie subquotient groups. We give an alternative characterization which involves asymptotic behavior of the function and its Fourier transform, and which makes no reference to Lie theory. We then prove the Paley-Wiener theorem for the Fourier transform of C_C^∞(G). The asymptotic estimates which arise are closely related to those used to characterize the Schwartz-Bruhat space.     

Minimal surfaces over stars

A JS surface is a minimal graph over a polygonal domain that becomes infinite in magnitude at the domain boundary. Jenkins and Serrin characterized the existence of these minimal graphs in terms of the signs of the boundary values and the side-lengths of the polygon. For a convex polygon, there can be essentially only one JS surface, but a non-convex domain may admit several distinct JS surfaces. We consider two families of JS surfaces corresponding to different boundary values, namely JS₀ and JS₁, over domains in the form of regular stars. We give parameterizations for these surfaces as lifts of harmonic maps, and observe that all previously constructed JS surfaces have been of type JS₀. We give an example of a JS₁ surface that is a new complete embedded minimal surface generalizing Scherk's doubly periodic surface, and show also that the JS₀ surface over a regular convex 2n-gon is the limit of JS₁ surfaces over non-convex stars. Finally we consider the construction of other JS surfaces over stars that belong neither to JS₀ nor to JS₁.     

The Floating Body and the Equiaffine Inner Parallel Curve of a Plane Convex Body

The floating body of a plane convex body K is defined as the convex body in K all tangent lines of which cut off from K segments of area s. We investigate asymptotic properties of the floating body as s → 0 and prove for smooth K an asymptotic expansion for the area of the floating body. Our theorem implies an extension of a classical result of Rényi and Sulanke in geometric probability.     

A systematization of the saddle point method. Application to the Airy and Hankel functions

The standard saddle point method of asymptotic expansions of integrals requires to show the existence of the steepest descent paths of the phase function and the computation of the coefficients of the expansion from a function implicitly defined by solving an inversion problem. This means that the method is not systematic because the steepest descent paths depend on the phase function on hand and there is not a general and explicit formula for the coefficients of the expansion (like in Watson's Lemma for example). We propose a more systematic variant of the method in which the computation of the steepest descent paths is trivial and almost universal: it only depends on the location and the order of the saddle points of the phase function. Moreover, this variant of the method generates an asymptotic expansion given in terms of a generalized (and universal) asymptotic sequence that avoids the computation of the standard coefficients, giving an explicit and systematic formula for the expansion that may be easily implemented on a symbolic manipulation program. As an illustrative example, the well-known asymptotic expansion of the Airy function is rederived almost trivially using this method. New asymptotic expansions of the Hankel function Hn(z) for large n and z are given as non-trivial examples.     

Asymptotic formulas for the triple Gamma function Γ3 by means of its integral representation

There is an abundant literature on inequalities for the Gamma function Γ and its various related functions as well as their approximations. Only very recently, several authors began to investigate various inequalities for the double Gamma function Γ₂ and its approximation. Here, in this sequel to some of these recent works, we aim at presenting an integral representation of the triple Gamma function Γ₃, which is then used to derive an asymptotic formula for Γ₃. As a by-product of the results presented here, integral representations and asymptotic formulas for the Gamma function Γ and the double Gamma function Γ₂ are also given. The methods and techniques used in this paper can easily be extended to derive the corresponding integral representations and asymptotic formulas for the multiple Gamma functions Γ_n (n ≧ 4).     

Statistical inference in a panel data semiparametric regression model with serially correlated errors

We consider a panel data semiparametric partially linear regression model with an unknown vector β of regression coefficients, an unknown nonparametric function g(·) for nonlinear component, and unobservable serially correlated errors. The correlated errors are modeled by a vector autoregressive process which involves a constant intraclass correlation. Applying the pilot estimators of β and g(·), we construct estimators of the autoregressive coefficients, the intraclass correlation and the error variance, and investigate their asymptotic properties. Fitting the error structure results in a new semiparametric two-step estimator of β, which is shown to be asymptotically more efficient than the usual semiparametric least squares estimator in terms of asymptotic covariance matrix. Asymptotic normality of this new estimator is established, and a consistent estimator of its asymptotic covariance matrix is presented. Furthermore, a corresponding estimator of g(·) is also provided. These results can be used to make asymptotically efficient statistical inference. Some simulation studies are conducted to illustrate the finite sample performances of these proposed estimators.     

Carleson Type Measures for Harmonic Mixed Norm Spaces with Application to Toeplitz Operators

Let Ω be a bounded domain in Rnwith a smooth boundary, and let h p,q be the space of all harmonic functions with a finite mixed norm. The authors first obtain an equivalent norm on h p,q, with which the definition of Carleson type measures for h p,q is obtained. And also, the authors obtain the boundedness of the Bergman projection on h p,q which turns out the dual space of h p,q. As an application, the authors characterize the boundedness(and compactness) of Toeplitz operators T μ on h p,q for those positive finite Borel measures μ.     

Asymptotic existence theorems for frames and group divisible designs

In this paper, we establish an asymptotic existence theorem for group divisible designs of type mn with block sizes in any given set K of integers greater than 1. As consequences, we will prove an asymptotic existence theorem for frames and derive a partial asymptotic existence theorem for resolvable group divisible designs.     

The local structure of characters

Let G be a connected real semisimple Lie group with Lie algebra g. Let g = t? + s be the Cartan decomposition and K the maximal compact subgroup with Lie algebra t?. Let Θ be the character of an irreducible representation. Then Θ has an asymptotic expansion at zero (in the sense of Taylor series). As consequences of this expansion we obtain results about the asymptotic directions in which the K-types occur and about the Gelfand-Kirillov dimension of the representation.     

Values of the Euler function free of kth powers

We establish an asymptotic formula for the number of positive integers n?x for which φ(n) is free of kth powers.     

Uniform asymptotics of some q-orthogonal polynomials

Uniform asymptotic formulas are obtained for the Stieltjes-Wigert polynomial, the q⁻¹-Hermite polynomial and the q-Laguerre polynomial as the degree of the polynomial tends to infinity. In these formulas, the q-Airy polynomial, defined by truncating the q-Airy function, plays a significant role. While the standard Airy function, used frequently in the uniform asymptotic formulas for classical orthogonal polynomials, behaves like the exponential function on one side and the trigonometric functions on the other side of an extreme zero, the q-Airy polynomial behaves like the q-Airy function on one side and the q-Theta function on the other side. The last two special functions are involved in the local asymptotic formulas of the q-orthogonal polynomials. It seems therefore reasonable to expect that the q-Airy polynomial will play an important role in the asymptotic theory of the q-orthogonal polynomials.     

Uniform asymptotic regularity for Mann iterates

In Numer. Funct. Anal. Optim. 22 (2001) 641-656, we obtained an effective quantitative analysis of a theorem due to Borwein, Reich, and Shafrir on the asymptotic behavior of general Krasnoselski-Mann iterations for nonexpansive self-mappings of convex sets C in arbitrary normed spaces. We used this result to obtain a new strong uniform version of Ishikawa's theorem for bounded C. In this paper we give a qualitative improvement of our result in the unbounded case and prove the uniformity result for the bounded case under the weaker assumption that C contains a point x whose Krasnoselski-Mann iteration (x_k) is bounded. We also consider more general iterations for which asymptotic regularity is known only for uniformly convex spaces (Groetsch). We give uniform effective bounds for (an extension of) Groetsch's theorem which generalize previous results by Kirk, Martinez-Yanez, and the author.