Weighted norm inequalities for the vectorvalued Hardy-Littlewood maximal functions of one parameter rectangles

Let N denote the Hardy-Littlewood maximal operator for the familyR of one parameter rectangles. In this paper, we obtain that for 1 _w ^p (l^r) to L _W ^P (l^r) if and only if w ∈ A_P(R); for 1≤p<∞, N is bounded from L _W ^P (l^r) to weak L _W ^P (l^r) if and only if W ∈ A_P(R). Here we say W∈A_p (1), if $$\begin{gathered} \mathop {sup}\limits_{R \in R} \left( {\tfrac{1}{{|R|}}\smallint _r wdx} \right)\left( {\tfrac{1}{{|R|}}\smallint _R w^{ - 1/(p - 1)} dx} \right)^{p - 1}< \infty ,1< p< \infty , \hfill \\ (Nw)(x) \leqslant Cw(x)a.e.,p = 1 \hfill \\ \end{gathered} $$ ,     

具有奇异性的周期椭圆算子的绝对连续性

该文研究周期椭圆算子sun from(j,l=1) to d D_(jw)(x)a_(jl)D_l+V(x)在R~d(d≥3)中的谱性质,其中A=(a_(jl))是d×d阶的实常值正定矩阵,V(x)和w(x)是关于相同格点的周期标量函数,并且w(x)是正的.利用文中第一作者建立的d-环面上的一致Sobolev不等式,证明了该算子的谱是纯绝对连续的,如果V∈L_(loc)~(2pd/(d+2p))(R~d)且w∈A_(1+α)~(p,∞)(T~d)∩L~∞(T~d)(α0,p≥d),或者V∈L_(loc)~(2d/3)/(R~d),ω∈C~1(T~d),或者V∈L_(loc)~(d/2)(R~d),w∈L_(2,loc)~(d/2)(T~d).     

Cardinal hermite interpolation with box splines

The study of cardinal interpolation (CIP) by the span of the lattice translates of a box spline has met with limited success. Only the case of interpolation with the box spline determined by the three directionsd ₁=(1, 0),d ₂=(0, 1), andd ₃=(1, 1) inR ² has been treated in full generality [2]. In the case ofR ^d,d ≥ 3, the directions that define the box spline must satisfy a certain determinant condition [6], [9]. If the directions occur with even multiplicities, then this condition is also sufficient. For Hermite interpolation (CHIP) both even multiplicities and the determinant condition for the directions does not prevent the linear dependence of the basis functions. This leads to singularities in the characteristic multiplier when using the standard Fourier transform method. In the case of derivatives in one direction, these singularities can be removed and a set of fundamental splines can be given. This gives the existence of a solution to CHIP inL ^p (R ^d) for data inl ^p (Z ^d), 1≤p≤2.     

Function spaces between BMO and critical Sobolev spaces

The function spaces Dk(Rn) are introduced and studied. The definition of these spaces is based on a regularity property for the critical Sobolev spaces Ws,p(Rn), where sp=n, obtained by J. Bourgain, H. Brezis, New estimates for the Laplacian, the div-curl, and related Hodge systems, C. R. Math. Acad. Sci. Paris 338 (7) (2004) 539-543 (see also J. Van Schaftingen, Estimates for L¹-vector fields, C. R. Math. Acad. Sci. Paris 339 (3) (2004) 181-186). The spaces Dk(Rn) contain all the critical Sobolev spaces. They are embedded in BMO(Rn), but not in VMO(Rn). Moreover, they have some extension and trace properties that BMO(Rn) does not have.     

The maximal Fejér operator on the spacesH p (R×···×R)

It is shown that the maximal operator of the Fejér means of a tempered distribution is bounded from thed-dimensional Hardy spaceH _p (R×···×R) toL _p (R ^d ) (1/2<p<∞) and is of weak type (H ₁ ^?i ,L ₁) (i=1,…,d), where the Hardy spaceH ₁ ^?i is defined by a hybrid maximal function. As a consequence, we obtain that the Fejér means of a functionf ∈H ₁ ^?i ?L(logL) ^d?1 converge a.e. to the function in question. Moreover, we prove that the Fejér means are uniformly bounded onH _p (R×···×R) whenever 1/2<p<∞. Thus, in casef ∈H _p (R×···×R) the Fejér means converge tof inH _p (R×···×R) norm. The same results are proved for the conjugate Fejér means, too.     

Multiresolution expansion, approximation order and quasiasymptotic behavior of tempered distributions

Multiresolution analysis of tempered distributions is studied through multiresolution analysis on the corresponding test function spaces Sr(R), r∈N₀. For a function h, which is smooth enough and of appropriate decay, it is shown that the derivatives of its projections to the corresponding spaces Vj, j∈Z, in a regular multiresolution analysis of L²(R), denoted by hj, multiplied by a polynomial weight converge in sup norm, i.e., hj→h in Sr(R) as j→∞. Analogous result for tempered distributions is obtained by duality arguments. The analysis of the approximation order of the projection operator within the framework of the theory of shift-invariant spaces gives a further refinement of the results. The order of approximation is measured with respect to the corresponding space of test functions. As an application, we give Abelian and Tauberian type theorems concerning the quasiasymptotic behavior of a tempered distribution at infinity.     

Layer potentials and regularity for the Dirichlet problem for Laplace's equation in Lipschitz domains

For D, a bounded Lipschitz domain in Rⁿ, n ? 2, the classical layer potentials for Laplace's equation are shown to be invertible operators on L²(?D) and various subspaces of L²(?D). For 1 < p ? 2 and data in L^p(?D) with first derivatives in L^p(?D) it is shown that there exists a unique harmonic function, u, that solves the Dirichlet problem for the given data and such that the nontangential maximal function of ▽u is in L^p(?D). When n = 2 the question of the invertibility of the layer potentials on every L^p(?D), 1 < p < ∞, is answered.     

Albanese and Picard 1-motives

We define, in a purely algebraic way, 1-motives Alb⁺(X), Alb⁻(X), Pic⁺(X), and Pic⁻(X) associated with any algebraic scheme X over an algebraically closed field of characteristic zero. For X over C of dimension n, the Hodge realizations are, respectively, H^{2n − 1} (X, Z(n))/(torsion), H₁ (X, Z)/(torsion), H¹ (X, Z(1)), and H_{2n − 1} (X, Z(1 n))/(torsion).     

Leavitt path algebras with coefficients in a commutative ring

Given a directed graph E we describe a method for constructing a Leavitt path algebra L_R(E) whose coefficients are in a commutative unital ring R. We prove versions of the Graded Uniqueness Theorem and Cuntz-Krieger Uniqueness Theorem for these Leavitt path algebras, giving proofs that both generalize and simplify the classical results for Leavitt path algebras over fields. We also analyze the ideal structure of L_R(E), and we prove that if K is a field, then L_K(E)≅K⊗_ZL_Z(E).     

Strong capacity-estimates for “fractional” norms

It is proved that for all fractionall the integral \(\int\limits_0^\infty {(p,\ell ) - cap(M_t )} dt^p\) is majorized by the P-th power norm of the functionu in the space ? _p ^l (Rⁿ) (here M_t={x∶¦u(x)¦?t} and (p,l)-cap(e) is the (p,l)-capacity of the compactum e?Rⁿ). Similar results are obtained for the spaces W _p ^l (Rⁿ) and the spaces of M. Riesz and Bessel potentials. One considers consequences regarding imbedding theorems of “fractional” spaces in ?_q(dμ), whereμ is a nonnegative measure in Rⁿ. One considers specially the case p=1.     

Translation-invariant linear forms on C0(G), C(G), Lp(G) for noncompact groups

Suppose G is a locally compact noncompact group. For abelian such G's, it is shown in this paper that L¹(G), C(G), and L^∞(G) always have discontinuous translation-invariant linear forms(TILF's) while C₀(G) and L^p(G) for 1 < p < ∞ have such forms if and only if $\text{G}\text{H}$ is a torsion group for some open σ-compact subgroup H of $\text{G}$. For σ-compact amenable G's, all the above spaces have discontinuous left TILF's.     

On the Completeness of Products of Harmonic Functions and the Uniqueness of the Solution of the Inverse Acoustic Sounding Problem

It is proved that the family of all pairwise products of regular harmonic functions on D and of the Newtonian potentials of points on the line L ? Rⁿ is complete in L₂(D), where D is a bounded domain in Rⁿ, n ≥ 3, such that \(\bar D\) ∩ L = ?. This result is used in the proof of uniqueness theorems for the inverse acoustic sounding problem in R³.     

Some well-posed functional equations which generate semigroups

Consider the abstract linear functional equation (FE) (Dx)(t) = f(t) (t ? 0), x(t) = ?(t) (t ? 0) in a Banach space B. A theorem is proven which contains the following result as a special case. Let Y(R; B; η) be a L^p-space or C₀-space on R = (?t8, ∞), with a suitable weight function η, and with values in B. Let D be a closed (unbounded) causal linear operator in Y(R; B; η), which commutes with translations. Suppose that D + λI has a continuous causal inverse for some complex λ, and that D restricted to those functions in Y(R;B;η) which vanish on R^? = (?∞, 0] has a continuous causal inverse. Then (FE) generates a strongly continuous semigroup of translation type on a Banach space, which is essentially the cross product of the restriction of the domain of D to R^? and Y(R⁺; B; η). Examples with B = Cⁿ on how the theory applies to a neutral functional differential equation, a difference equation, a Volterra integrodifferential equation (with nonintegrable kernel but integrable resolvent), and a fractional order functional differential equation are given. Also, an abstract neutral functional differential equation in a Hilbert space is studied and applications to an abstract Volterra integrodifferential equation in a Banach space are indicated.     

Translation-invariant subspaces of functions on the group of linear transformations on the real line

The characterization of right translation-invariant subspaces ofL _∞(G ^*), where , is studied. We introduce the class of multiplier functions which, in the semisimple case, play a role similar to that played by the exponentials for the real line. However, it is proved that multiplier functions ofG ^* with respect toR fail to characterize right translation-invariant subspaces ofL _∞(G ^*). That is, we construct a right translation-invariant, w^*-closed subspace ofL _∞(G ^*) which contains no multiplier function. This paper is a part of the author's Ph.D. thesis prepared at the Hebrew University of Jerusalem under the supervision of Professor H. Furstenberg, to whom the author wishes to express his thanks for his helpful guidance, and valuable remarks.     

Inner derivations on ultraprime normed real algebras

We show that the set of all inner derivations of an ultraprime real Banach algebra is closed within all bounded derivations. More concretely, we show that for such an algebra A there exists a positive number γ (depending only on the “constant of ultraprimeness” of A) satisfying γ ∥ a+Z(A) ∥≦∥ D _a ∥ for all a in A, where Z(A) denotes the centre of A and D _a denotes the inner derivation on A induced by a. This result is an extension of the corresponding complex version obtained by the authors in [Proc. Amer. Math. Soc., to appear]. The proof relies on the following theorem: ultraproducts of a family of central ultraprime real Banach algebras with a unit and with constant of ultraprimeness greater than or equal to a fixed positive constant K are central ultraprime Banach algebras with a unit. This fact is obained via a general result for real Banach algebras that reads as follows: If A is a central real Banach algebra with a unit 1, then for every a in A satisfying ∥ 1+a ² ∥<1 we have [1+√1?||1+1a ²||]²≦2(|?l+M _a ||+||D _a ||) where M _a denotes the two-sided multiplication operator by a on A.     

Pullback attractors for nonautonomous reaction-diffusion equations in unbounded domains

In this paper, the existence of (L²(Rn),L²(Rn))-pullback attractors and (L²(Rn),H¹(Rn))-pullback attractors are proved for reaction-diffusion equation in unbounded domains.     

Weak- and strong-type inequality for the cone-like maximal operator in variable Lebesgue spaces

The classical Hardy-Littlewood maximal operator is bounded not only on the classical Lebesgue spaces L_p(R^d) (in the case p > 1), but (in the case when 1/p(·) is log-Hölder continuous and p- = inf{p(x): x ∈ R^d > 1) on the variable Lebesgue spaces L_p(·)(R^d), too. Furthermore, the classical Hardy-Littlewood maximal operator is of weak-type (1, 1). In the present note we generalize Besicovitch’s covering theorem for the so-called γ-rectangles. We introduce a general maximal operator M_s^γδ, and with the help of generalized Φ-functions, the strong- and weak-type inequalities will be proved for this maximal operator. Namely, if the exponent function 1/p(·) is log-Hölder continuous and p- ≥ s, where 1 ≤ s ≤ ∞ is arbitrary (or p- ≥ s), then the maximal operator M_s^γδ is bounded on the space L_p(·)(R^d) (or the maximal operator is of weak-type (p(·), p(·))).     

Minimal number of significant directional moduli of smoothness

ВДОль скОлькИх НАпРА ВлЕНИИ НЕОБхОДИМО РА ссМАтРИВАть ФУНкцИУ пРИ ОпРЕДЕлЕ НИИ ЕЕ МОДУлЕИ глАДкОстИ? ДА Етсь ОтВЕт НА ЁтОт ВОп РОс Дль пРОстРАНстВL _p (R ⁿ ), 1≦p≦∞ ИL _p (D),D?R ⁿ пРИ НЕкОтОРых УслО ВИьх НАD. пОлУЧЕНы НЕУлУЧшАЕМыЕ РЕжУль тАты.     

Constrained Approximation in Banach Spaces

Abstract. We consider the problem of approximating vectors from a complemented subspace Z ₊ of a Banach space X by the projections onto Z ₊ of vectors from a subspace Y ₊ with a norm constraint on their projections onto the complementary subspace. Sufficient conditions are found for the existence of a unique best approximant and a characterization via a critical point equation is provided, thus extending known results on Hilbert spaces. These results are then applied in the case that X is L ^p (T), where T denotes the unit circle, Z ₊ consists of functions supported on a subset of the circle, and Y ₊ is the corresponding Hardy space.     

The distribution of Brownian motion in Rn at a natural stopping time

For a measure μ on Rⁿ let ((B_t, P^μ) be Brownian motion in Rⁿ with initial distribution μ. Let D be an open subset of Rⁿ with exit time ζ ≡ inf {t > 0: B_t ? D}. In the case where D is a Green region with Green function G and μ is a measure in D such that G_μ is not identically infinite on any component of D, we have given necessary and sufficient conditions for a measure ν in D to be of the form ν(dx) = P^μ(B_T ? dx, T <ζ), where T is some natural stopping time for (B_t), and we have applied this characterization to show that a measure ν in D satisfies G_ν ? G_μ iff ν is of the form ν(dx) = P^α(B_T ? dx, T <ζ) + β(dx), where T is some natural stopping time for (B_t) and α and β are measures in D such that α + β = μ and β lives on a polar set. We have proved analogous results in the case where D = R² and μ is a finite measure on R² such that ∫ log⁺ ∥x∥ du(x) < ∞, and applied this to give a characterization of the stopping times T for Brownian motion in R² such that (log⁺ ∥B_T∧t∥)_0<t<∞ is P^μ-uniformly integrable.