A p Interpolation in the Unit Ball

We study interpolating sequences in the unit ball for A^–pwith p > 0, the Banach space of holomorphic functions f with(1 – |z|²)^p |f(z)| bounded. The finite unions of A^–p-interpolatingsequences are characterized by a Carleson type condition.     

Double Hilbert transform along real-analytic surfaces in Rd+2

We give a necessary and sufficient condition for the doubleHilbert transform on ^d+2 to be bounded on L^p, 1 < p <. This generalizes a result of Carbery, Wainger and Wright [DukeMath. J. 101 (2000) 499–513] for d = 1.     

S-adic L-Functions Attached to the Symmetric Square of a Newform

In order to apply the ideas of Iwasawa theory to the symmetricsquare of a newform, we need to be able to define non-archimedeananalogues of its complex L-series. The interpolated p-adic L-functionis closely connected via a "Main Conjecture" with certain Selmergroups over the cyclotomic Z_p-extension of Q. In the p-ordinarycase these functions are well understood. In this article we extend the interpolation to an arbitraryset S of good primes (not necessarily satisfying ordinarityconditions). The corresponding S-adic functions can be characterisedin terms of certain admissibility criteria. We also allow interpolationat particular primes dividing the level of the newform. One interesting application is to the symmetric square of amodular elliptic curve E defined over Q. Our constructions yieldp-adic L-functions at all primes of stable or semi-stable reduction.If p is ordinary or multiplicative the corresponding analyticfunction is bounded; if p is supersingular our function behaveslike log²(1 + T). 1991 Mathematics Subject Classification: 11F67,11F66, 11F33, 11F30     

Generating Examples of Shock Propagation by Three Principles

In a medium characterized by a scalar speed C(x), a shock arrivesat the point x, after time T(x), with its magnitude decreasedby A(x). Symmetric C, T, and A in two dimensions can be convertedto cylindrically symmetric results in three dimensions by applyinga dimension-increasing principle: "Let C(x, y), T(x, y), andA(x, y) be even functions of y. They can be extended into threedimensions by using the formulas C(x, y)C(x, r), T(x, y)T(x,r), and A(x,y)A(x,r) [r^–1 cos(x, r)]^?, where r = (x²+2²)^?and is an auxiliary function." When C(x) is a function of asingle variable, the auxiliary function is given by cos(x,y) = T_y(x, y). In two dimensions, there is a conformal mappingprinciple: "Under the conformal mapping x+iy = f(x^*+iy^*), thefunctions T(x, y) and A(x, y) go into functions associated witha medium having speed C^*,y^*) = C(Re[f), Im[f]/f¹(x^*+iy."Thereis also an unchanged wavefronts principle: "If g is a smoothfunction with g(0) = 0 and g'(0)>0 then T^*(x) = g(T(x) andA^*(x) = A(x)[g'(x)/g'^1/2 are associated with a medium havingspeed C^*(x) = C(x)/g'(T(x))." in two dimensions, alternatingthe application of the last two principles generates a sequenceof media with their associated T(x, y) and A(x, y). Some ofthese can be extended into three dimensions by applying thefirst principle.     

The Characterization of the Regularity of the Jacobian Determinant in the Framework of Bessel Potential Spaces on Domains

Let 2 m n. The paper gives necessary and sufficient conditionson the parameters s1, s2, ..., sm, p1, p2, ..., pm such thatthe Jacobian determinant extends to a bounded operator fromHs1p1 x Hs2p2 x ... x Hsmpm into S'. Here all spaces are definedon Rn or on domains Rn. In almost all cases the regularity ofthe Jacobian determinant is calculated exactly.     

On the Completeness of Sets of Solutions to the Helmholtz Equation

Completeness in L²(D) is established for sets of functions formedfrom solutions to the two-dimensional Helmholtz equation ina domain D. Each function is a linear combination of a solution(found by separation of variables) and its normal derivativeon D, so the sets may be used to solve impedance-type boundaryvalue problems. Sets that contain either regular Bessel functionsor singular Hankel functions are considered. Methods of proofare employed that provide alternatives to the conventional potential-theoreticapproaches. In the majority of cases, the domain of interestis bounded and simply connected. One completeness result fora bounded, doubly-connected domain is proved. In some circumstances,one of the methods leads to a mild but inessential eigenvaluerestriction.     

带权的 p-Laplacian 非线性特征值问题解的存在性

文利用变分方法讨论了方程-△p^u=λ a(x)(u^{+})^q-1-μ a(x)(u^-)^q-1+f(x,u), u∈W₀^1,p(Ω), 当 p≠q时的可解性. 其中Ω是 R^N(N≥ 3)中的有界光滑区域,权重函数a(x)∈ L^r(Ω), (r≥Np/Np-Nq+pq)且a(x)>0, a.e.于Ω, f满足某些条件.     

Definiteness of the Peano Kernel Associated with the Polyharmonic Mean Value Property

The definiteness of the Peano kernel is proved for a functionalassociated with the mean-value property of Picone and Brambleand Payne for polyharmonic functions in the ball. An importantcorollary of this is that if a function f satisfying (–1)^ppf>0vanishes on p concentric spheres centered at 0, then f(0)>0.This generalizes a well-known property of subharmonic functions(which arise in the special case p = 1).     

Nodal Solutions of a p-Laplacian Equation

We prove that the p-Laplacian problem –_p u = f(x, u),with u on a bounded domain R^N, with p > 1 arbitrary, has a nodal solution providedthat f : x R R is subcritical, and f(x, t) / |t|^p –² is superlinear. Infinitely many nodal solutions are obtainedif, in addition, f(x, –t) = –f(x, t). 2000 MathematicsSubject Classification 35J20, 35J65, 58E05.     

A Note on a Maximal Function Over Arbitrary Sets of Directions

Let M_S be the universal maximal operator over unit vectors ofarbitrary directions. This operator is not bounded in L²(R²).We consider a sequence of operators over sets of finite equidistributeddirections converging to M_S. We provide a new proof of N. Katz'sbound for such operators. As a corollary, we deduce that M_Sis bounded from some subsets of L² to L². These subsets arecomposed of positive functions whose Fourier transforms havea logarithmic decay or which are supported on a disc. 1991 MathematicsSubject Classification 42B25.     

Propagation of Smallness for Harmonic and Analytic Functions in Arbitrary Domains

In this paper the authors develop a new approach to the problemof ‘propagation of smallness’ for harmonic functionsin arbitrary domains, in Rⁿ (n 2). The main result of thispaper is a certain logarithmic-convexity relation for the L²-normsof harmonic functions. As a consequence, new kinds of uniquenessresults for harmonic functions are obtained. The method worksalso for analytic functions in C, with L^p-norms (p > 0).1991 Mathematics Subject Classification 31B05.     

Zeta Functions for Curves and Log Canonical Models

The topological zeta function and Igusa's local zeta functionare respectively a geometrical invariant associated to a complexpolynomial f and an arithmetical invariant associated to a polynomialf over a p-adic field. When f is a polynomial in two variables we prove a formula forboth zeta functions in terms of the so-called log canonicalmodel of f^-1{0} in A². This result yields moreover a conceptualexplanation for a known cancellation property of candidate polesfor these zeta functions. Also in the formula for Igusa's localzeta function appears a remarkable non-symmetric ‘q-deformation’of the intersection matrix of the minimal resolution of a Hirzebruch-Jungsingularity. 1991 Mathematics Subject Classification: 32S5011S80 14E30 (14G20)     

一类带权函数的拟线性椭圆方程

该文利用变分方法讨论了方程 -△_p u=λa(x)(u⁺)^p-1-μa(x)(u^-)^p-1+f(x, u), u∈W₀^1,p(\Omega)在(λ, μ)\not\in ∑_p和(λ, μ) ∈ ∑_p 两种情况下的可解性, 其中\Omega是 R^N(N≥3)中的有界光滑区域, ∑_p为方程 -△_p u=α a(x)(u⁺)^p-1-βa(x)(u^-)^p-1, u∈ W₀^1,p(\Omega)的Fucik谱, 权重函数a(x)∈ L^r(\Omega) (r≥ N/p)$且a(x)>0 a.e.于\Omega, f满足一定的条件.     

Bloch Functions in Several Complex Variables, I

Bloch functions on the unit disk are those analytic functionsf for which the quantity |f'(z)|(1 – |z|²) is bounded(for z in the disk). In this paper, Bloch functions on boundedhomogeneous domains in complex m-space are studied. The mainresult shows that many of the equivalent definitions of Blochfunctions on the unit disk are also equivalent in the generalsetting. Current Address: 39 Trinity College, Dublin 2, Ireland.     

Strong Type Inequalities and an Almost-Orthogonality Principle for Families of Maximal Operators Along Directions in R2

The paper proves an almost-orthogonality principle for maximaloperators over arbitrary sets of directions in R². Namely, theL^p-bounds for an operator of this type are obtained from thecorresponding L^p-bounds of the maximal functions associatedto a certain partition of the set of directions, and from theparticular structure of this partition. Applications to severaltypes of maximal operators are provided.     

Weakly Almost Periodic Functions on N with a Negative Base

Weakly almost periodic compactifications have been seriouslystudied for over 30 years. In the pioneering papers of de Leeuwand Glicksberg [4] and [5], the approach adopted was operator-theoretic.The current definition is more likely to be created from theperspective of universal algebra (see [1, Chapter 3]). For adiscrete group or semigroup S, the weakly almost periodic compactificationwS is the largest compact semigroup which (i) contains S asa dense subsemigroup, and (ii) has multiplication continuousin each variable separately (where largest means that any othercompact semigroup with the properties (i) and (ii) is a quotientof wS). A third viewpoint is to envisage wS as the Gelfand spaceof the C*-algebra of bounded weakly almost periodic functionson S (for the definition of such functions, see below). In this paper, we are concerned only with the simplest semigroup(N, +). The three approaches described above give three methodsof obtaining information about wN. An early striking resultabout wN, that it contains more than one idempotent, was obtainedby T. T. West using operator theory [13]. He considered theweak operator closure of the semigroup {T, T², T³, ...} of iteratesof a single operator T on the Hilbert space L²(µ) fora particular measure µ on [0, 1]. Brown and Moran, ina series of papers culminating in [2], used sophisticated techniquesfrom harmonic analysis to produce measures µ that permittedthe detection of further structure in wN; in particular, theyfound 2^cdistinct idempotents. However, for many years, no otherway of showing the existence of more than one idempotent inwN was found. The breakthrough came in 1991, and it was made by Ruppert [11].In his paper, he created a direct construction of a family ofweakly almost periodic functions which could detect 2^c differentidempotents in wN. His method was very ingenious (he used aunique variant of the p-adic expansion of integers) and rathercomplicated. Our main aim in this paper is to construct weaklyalmost periodic functions which are easy to describe and soappear more ‘natural’ than Ruppert's. We also showthat there are enough functions of our type to distinguish 2^cidempotentsin wN.     

Hormander's Hp Multiplier Theorem for the Heisenberg Group

Let Hⁿ denote the (2n+1)-dimensional Heisenberg group. Givenan operator-valued function M, define the operator T_M with ‘^’ denoting theFourier transform. Hörmander-type sufficient conditionsare determined on M for the H^p-boundedness, p 1, of the operatorT_M on Hⁿ.     

Invariant Subspaces of Bergman Spaces on Slit Domains

In this paper, we characterize the z-invariant subspaces thatlie between the Bergman spaces A^p(G) and A^p(G\K), where 1 <p < , G is a bounded region in C, and K is a closed subsetof a simple compact C¹ arc.     

On translates of the Poisson kernel and zeros of harmonic functions

We characterize the systems of translates of the Poisson kernelspanning L^p(), 1 p < . An equivalent formulation in termsof discrete uniqueness sets for harmonic functions is given,together with a Blaschke-type condition for the zero varietyof bounded harmonic functions in the unit disk.     

On the ideals and singularities of secant varieties of Segre varieties

We find minimal generators for the ideals of secant varietiesof Segre varieties in the cases of _k(¹ x ⁿ x ^m) for all k, n,m, ₂(ⁿ x ^m x ^p x ^r) for all n, m, p, r (GSS conjecture for fourfactors), and ₃(ⁿ x ^m x ^p) for all n, m, p and prove they arenormal with rational singularities in the first case and arithmeticallyCohen–Macaulay in the second two cases.