Strong Cesàro summability of double Fourier integrals

We prove the following theorem. Assume f ∈ L ^∞(R ²) with bounded support. If f is continuous at some point (x ₁,x ₂) ∈ R ², then the double Fourier integral of f is strongly q-Cesàro summable at (x ₁,x ₂) to the function value f(x ₁,x ₂) for every 0 < q < ∞. Furthermore, if f is continuous on some open subset of R ², then the strong q-Cesàro summability of the double Fourier integral of f is locally uniform on . Research partially supported by the Australian Research Council and the Hungarian National Foundation for Scientific Research under Grant T 046 192.     

Coefficient multipliers of mixed norm space in the ball

In the paper, we characterize the coefficient multiplier spaces of mixed norm spaces (H _p,q (φ₁), H _u,v (φ₂)) for the values of p, q, u, v in three cases: (i) 0 < p ≤ u ≤ ∞, 0 < q ≤ min(1, v) ≤ ∞. (ii) v = ∞, 0 < p ≤ u ≤ ∞, 1 ≤ u, q ≤ ∞. (iii) 1 ≤ v ≤ 2 ≤ q ≤ ∞, and 0 < p ≤ u ≤ ∞ or 1 ≤ p, u ≤ ∞. The first case extends the result of Blasco, Jevtić, and Pavlović in one variable. The third case generalizes partly the results of Jevtić, Jovanović, and Wojtaszczyk to higher dimensions. Dedicated to Professor Sheng GONG on the occasion of his 75th birthday     

Representations for the first associated q-classical orthogonal polynomials

Let {p_k(x; q)} be any system of the q-classical orthogonal polynomials, and let be the corresponding weight function, satisfying the q-difference equation D_q(σ)=τ, where σ and τ are polynomials of degree at most 2 and exactly 1, respectively. Further, let {p_k⁽¹⁾(x;q)} be associated polynomials of the polynomials {p_k(x; q)}. Explicit forms of the coefficients b_n,k and c_n,k in the expansions

are given in terms of basic hypergeometric functions. Here _k(x) equals x^k if σ⁺(0)=0, or (x;q)_k if σ⁺(1)=0, where σ⁺(x)σ(x)+(q−1)xτ(x). The most important representatives of those two classes are the families of little q-Jacobi and big q-Jacobi polynomials, respectively.Writing the second-order nonhomogeneous q-difference equation satisfied by p_n−1⁽¹⁾(x;q) in a special form, recurrence relations (in k) for b_n,k and c_n,k are obtained in terms of σ and τ.     

Growth and Hölder conditions for the sample paths of Feller processes

Let (A,D(A)) be the infinitesimal generator of a Feller semigroup such that C _c ^∞(ℝ ⁿ )⊂D(A) and A|C _c ^∞(ℝ ⁿ ) is a pseudo-differential operator with symbol −p(x,ξ) satisfying |p(•,ξ)|_∞≤c(1+|ξ|²) and |Imp(x,ξ)|≤c ₀Rep(x,ξ). We show that the associated Feller process {X _t } _{t ≥0} on ℝ ⁿ is a semimartingale, even a homogeneous diffusion with jumps (in the sense of [21]), and characterize the limiting behaviour of its trajectories as t→0 and ∞. To this end, we introduce various indices, e.g., β_∞ ^x :={λ>0:lim _{|ξ|→∞ | x − y |≤2/|ξ|}|p(y,ξ)|/|ξ|^λ=0} or δ_∞ ^x :={λ>0:liminf _{|ξ|→∞ | x − y |≤2/|ξ| |ε|≤1}|p(y,|ξ|ε)|/|ξ|^λ=0}, and obtain a.s. (ℙ ^x ) that lim _{t →0} t ^−1/λ _{s ≤ t} |X _s −x|=0 or ∞ according to λ>β_∞ ^x or λ<δ_∞ ^x . Similar statements hold for the limit inferior and superior, and also for t→∞. Our results extend the constant-coefficient (i.e., Lévy) case considered by W. Pruitt [27]. Received: 21 July 1997 / Revised version: 26 January 1998     

Measure concentration for a class of random processes

Summary.   Let X={X _i } _{i =−∞} ^∞ be a stationary random process with a countable alphabet and distribution q. Let q ^∞(·|x _{− k} ⁰) denote the conditional distribution of X ^∞=(X ₁,X ₂,…,X _n ,…) given the k-length past:

Existence of Positive Solutions for Singular Second-order<Emphasis Type="Italic">m</Emphasis>-Point Boundary Value Problems

Abstract   The singular second-order m-point boundary value problem

Spectral invariance for pseudodifferential operators on weighted function spaces

The spectrum of each symmetric ψ DO of the symbol class S⁰ _{1, γ}, 0≤γ<1, acting on B³ _p,q(w(x)) and F³ _p,q(w(x)), is independent of the choice ofs ∈ℝ, 0<p≤∞ (p<∞ in the F-case), 0<q≤∞ and the weight w(x)∈W.     

Small fractional parts of additive forms

Letf(x)=θ₁ x ₁ ^k +...+θ _s x _s ^k be an additive form with real coefficients, and ∥α∥ = min {|α-u|:uεℤ} denote the distance fromα to the nearest integer. We show that ifθ ₁,…,θ _s , are algebraic ands = 4k then there are integersx ₁,…,x _s , satisfying l ≤x ₁,≤ N and ∥f(x)∥ ≤ N ^E , withE = − 1 + 2/e. Whens = λk, 1 ≤λ ≤ 2k, the exponentE may be replaced byλE/4, and if we drop the condition thatθ ₁,…,θ _s , be algebraic then the result holds for almost all values of θεℝ ^s . Whenk ≥ 6 is small a better exponent is obtained using Heath-Brown’s version of Weyl’s estimate.     

Moduli of continuity for <Emphasis Type="Italic">l</Emphasis><Superscript>∞</Superscript>-valued Gaussian random fields

This paper establishes the general moduli of continuity for l ^∞-valued Gaussian random fields {X(t):= (X ₁(t),X ₂(t), h.), t ∈ [0, ∞) ^N } indexed by the N-dimensional parameter t:= (t ₁,…,t _N ), under the explicit condition yielding that the covariance function of distinct increments of X _k (t) for fixed k ≧ 1 is positive or nonpositive. Supported by KOSEF-R01-2008-000-11418-0.     

A Fully Nonlinear Nonhomogeneous Neumann Problem

Let Ω be an open bounded set in ℝ^N, N≥3, with connected Lipschitz boundary ∂Ω and let a(x,ξ) be an operator of Leray–Lions type (a(⋅,∇u) is of the same type as the operator |∇u|^p−2∇u, 1<p<N). If τ is the trace operator on ∂Ω, [φ] the jump across ∂Ω of a function φ defined on both sides of ∂Ω, the normal derivative ∂/∂ν_a related to the operator a is defined in some sense as 〈a(⋅,∇u),ν〉, the inner product in ℝ^N, of the trace of a(⋅,∇u) on ∂Ω with the outward normal vector field ν on ∂Ω. If β and γ are two nondecreasing continuous real functions everywhere defined in ℝ, with β(0)=γ(0)=0, f∈L¹(ℝ^N), g∈L¹(∂Ω), we prove the existence and the uniqueness of an entropy solution u for the following problem,

BOUNDEDNESS OF VECTOR-VALUED CALDERON-ZYGMUND OPERATORS ON HERZ SPACES WITH NON-DOUBLING MEASURES

In the paper we obtain vector-valued inequalities for Calderon-Zygmund operator,simply CZO On Herz space and weak Herz space.In particular,we obtain vector-valued inequalities for CZO on Lq(Rd,│x│αdμ)space,with 1＜q＜∞,-n＜α＜n(q-1),and on L1,∞(Rd,│x│αdμ)space,with -n＜α＜0.     

Singular solutions of some nonlinear parabolic equations

We consider the existence and uniqueness of singular solutions for equations of the formu ₁=div(|Du|^p−2 Du)-φu), with initial datau(x, 0)=0 forx⇑0. The function ϕ is a nondecreasing real function such that ϕ(0)=0 andp>2. Under a growth condition on ϕ(u) asu→∞, (H1), we prove that for everyc>0 there exists a singular solution such thatu(x, t)→cδ(x) ast→0. This solution is unique and is called a fundamental solution. Under additional conditions, (H2) and (H3), we show the existence of very singular solutions, i.e. singular solutions such that ∫_|x|≤r u(x,t)dx→∞ ast→0. Finally, for functions ϕ which behave like a power for largeu we prove that the very singular solution is unique. This is our main result. In the case ϕ(u)=u ^q, 1≤q, there are fundamental solutions forq<p*=p-1+(p/N) and very singular solutions forp-1<q<p*. These ranges are optimal. Dedicated to Professor Shmuel Agmon     

Recovery of band limited functions via cardinal splines

The main result of this paper asserts that if a function f is in the class B_π,p, 1 <p < ∞; that is, those p-integrable functions whose Fourier transforms are supported in the interval [ - π, π], then f and its derivatives f^(j) j = 1, 2, …, can be recovered from its sampling sequence{f(k)} via the cardinal interpolating spline of degree m in the metric ofL _q(ℝ)), 1 <p=q < ∞, or 11 <p=q < ⩽ ∞.     

On Small Deviations of Series of Weighted Random Variables

Let ξ,ξ ₁,ξ ₂,… be positive i.i.d. random variables, S=∑ _j=1^∞ a(j)ξ _j , where the coefficients a(j)≥0 are such that P(S<∞)=1. We obtain an explicit form of the asymptotics of −ln P(S<x) as x→0 for the following three cases:

Isolation and Component Structure in Spaces of Composition Operators

We establish a condition that guarantees isolation in the space of composition operators acting between H^p(B_N) and H^q(B_N), for 0 < p ≤ ∞, 0 < q < ∞, and N ≥ 1. This result will allow us, in certain cases where 0 < q < p ≤ ∞, completely to characterize the component structure of this space of operators.     

Generalized absolutely monotone functions

The concept of absolutely monotone functions is generalized by replacing the conditionsφ ^(k)(t)≧0,k=0, 1, … by an infinite sequence of differential inequalitiesφ(t)≧0,L _kφ(t)≧0,k=1, 2, …, where theL _k are differential operators of a special type. It is shown that these functions have a valid series expansion in terms of basic functions associated with the operatorsL _k.     

Asymptotic separation for independent trajectories of Markov processes

We say that n independent trajectories ξ₁(t),…,ξ _n (t) of a stochastic process ξ(t)on a metric space are asymptotically separated if, for some ɛ > 0, the distance between ξ _i (t _i ) and ξ _j (t _j ) is at least ɛ, for some indices i, j and for all large enough t ₁,…,t _n , with probability 1. We prove sufficient conitions for asymptotic separationin terms of the Green function and the transition function, for a wide class of Markov processes. In particular,if ξ is the diffusion on a Riemannian manifold generated by the Laplace operator Δ, and the heat kernel p(t, x, y) satisfies the inequality p(t, x, x) ≤ Ct ^−ν/2 then n trajectories of ξ are asymptotically separated provided . Moreover, if for some α∈(0, 2)then n trajectories of ξ^(α) are asymptotically separated, where ξ^(α) is the α-process generated by −(−Δ)^α/2. Received: 10 June 1999 / Revised version: 20 April 2000 / Published online: 14 December 2000 RID="*" ID="*" Supported by the EPSRC Research Fellowship B/94/AF/1782 RID="**" ID="**" Partially supported by the EPSRC Visiting Fellowship GR/M61573     

A q-Analogue of Weber-Schafheitlin Integral of Bessel Functions

In an attempt to find a q-analogue of Weber and Schafheitlin's integral ₀ x ^– J (ax) J (bx) dx which is discontinuous on the diagonal a = b the integral ₀ x ^– J ⁽²⁾ (a(1 – q)x; q)J ⁽¹⁾ (b(1 – q)x; q) dx is evaluated where J ⁽¹⁾ (x; q) and J ⁽²⁾ (x; q) are two of Jackson's three q-Bessel functions. It is found that the question of discontinuity becomes irrelevant in this case. Evaluations of this integral are also made in some interesting special cases. A biorthogonality formula is found as well as a Neumann series expansion for x in terms of J ⁽²⁾ _+1+2n ((1 – q)x; q). Finally, a q-Lommel function is introduced.     

Non-Commutative Harmonic and Subharmonic Polynomials

The paper introduces a notion of the Laplace operator of a polynomial p in noncommutative variables x = (x ₁,…, x _g ). The Laplacian Lap[p, h] of p is a polynomial in x and in a noncommuting variable h. When all variables commute we have Lap[p, h] = h ²Δ _x p where Δ _x p is the usual Laplacian. A symmetric polynomial in symmetric variables will be called harmonic if Lap[p, h] = 0 and subharmonic if the polynomial q(x, h) :=  Lap[p, h] takes positive semidefinite matrix values whenever matrices X ₁,…, X _g , H are substituted for the variables x ₁,…, x _g , h. In this paper we classify all homogeneous symmetric harmonic and subharmonic polynomials in two symmetric variables. We find there are not many of them: for example, the span of all such subharmonics of any degree higher than 4 has dimension 2 (if odd degree) and 3 (if even degree). Hopefully, the approach here will suggest ways of defining and analyzing other partial differential equations and inequalities. Dedicated to Israel Gohberg on the occasion of his 80^th birthday. All authors were partially supported by J.W. Helton’s grants from the NSF and the Ford Motor Co. and J. A. Hernandez was supported by a McNair Fellowship.     

Wavelet expansions of fractal measures

Let μ be a measure on ℝⁿ that satisfies the estimate μ(B _r(x))≤cr ^α for allx ∈ ℝⁿ and allr ≤ 1 (B _r(x) denotes the ball of radius r centered atx. Let ϕ _j,k ^(ɛ) (x)=2 ^nj2ϕ^(ɛ)(2 ^j x-k) be a wavelet basis forj ∈ ℤ, κ ∈ ℤⁿ, and ∈ ∈E, a finite set, and letP _j (T)=Σ_ɛ,k <T,ϕ _j,k ^(ɛ) >ϕ _j,k ^(ɛ) denote the associated projection operators at levelj (T is a suitable measure or distribution). Iff ∈Ls ^p(dμ) for 1 ≤p ≤ ∞, we show thatP _j(f dμ) ∈ L^p(dx) and ||P _j (fdμ)||L _p(dx)≤c2 ^{j((n-α)/p′))}||f||L _p(dμ) for allj ≥ 0. We also obtain estimates for the limsup and liminf of ||P _j (fdμ)||L _p(dx) under more restrictive hypotheses. Communicated by Guido Weiss