Some path properties of generalized Lévy sheet

Let X(t) be an N parameter generalized Lévy sheet taking values in ℝ^d with a lower index α, ℜ = {(s, t] = ∏ _i=1 ^N (s _i, t _i], s _i < t _i}, E(x, Q) = {t ∈ Q: X(t) = x}, Q ∈ ℜ be the level set of X at x and X(Q) = {x: ∃t ∈ Q such that X(t) = x} be the image of X on Q. In this paper, the problems of the existence and increment size of the local times for X(t) are studied. In addition, the Hausdorff dimension of E(x, Q) and the upper bound of a uniform dimension for X(Q) are also established.     

Existence of Positive Solutions to Semipositone Singular Dirichlet Boundary Value Problems

The paper presents the conditions which guarantee that for some positive value of μ there are positive solutions of the differential equation （Ф（x＇））＇＋μQ（t, x, x＇） = 0 satisfying the Dirichlet boundary conditions x（0） = x（T） = 0. Here Q is a continuous function on the set [0, T] × （0, ∞） ~ （R ／ {0}） of the semipositone type and Q is singular at the value zero of its phase variables.     

Descriptive set-theoretical properties of an abstract density operator

Let $ \mathcal{K} $ \mathcal{K} (ℝ) stand for the hyperspace of all nonempty compact sets on the real line and let d ^±(x;E) denote the (right- or left-hand) Lebesgue density of a measurable set E ⊂ ℝ at a point x∈ ℝ. In [3] it was proved that

Riesz transformations of distributions and a generalized Hardy space

LeiE(ℝⁿ) be the space of all functions on ℝⁿ which can continue to the entire holomorphic functions on ℂⁿ. We define Riesz transformation R_j of distributions as a linear transformation of the quotient spaceD′(ℝⁿ)/E(ℝⁿ) to itself, j=1,2,..., n. These generalized Riesz transformations share the same properties with the classical ones, such as . As applications we generalize further a theorem of F. & M. Riesz generalized by Stein and Weiss, and then define a generalized Hardy space, of which some properties are studied.     

Homogenization in the scattering problem

The scattering problem is studied, which is described by the equation (-Δ _x +q(x,x/ɛ)−E)ψ = f(x), where ψ = ψ (x,ɛ) ∈ ℂ, x ℂ ℝ ^d , ɛ > 0, E > 0, the function q(x,y) is periodic with respect to y, and the function f is compactly supported. The solution satisfying radiation conditions at infinity is considered, and its asymptotic behavior as ɛ → O is described. The asymptotic behavior of the scattering amplitude of a plane wave is also considered. It is shown that in principal order both the solution and the scattering amplitude are described by the homogenized equation with potential

Surjective partial differential operators on real analytic functions defined on open convex sets

Let P(D) be a partial differential operator with constant coefficients which is surjective on the space A(Ω) of real analytic functions on a covex open set Ω⊂ℝ ⁿ . Let L(P _m ) denote the localizations at ∞ (in the sense of H?rmander) of the principal part P _m . Then Q(x+iτN)≠ 0 for (x,τ)∈ℝ ⁿ ×(ℝ\{ 0}) for any Q∈L(P _m ) if N is a normal to δΩ which is noncharacteristic for Q. Under additional assumptions this implies that P _m must be locally hyperbolic. Received: 24 January 2000     

The Markov chain associated to a Pick function

To each function ϕ˜(ω) mapping the upper complex half plane ?⁺ into itself such that the coefficient of ω in the Nevanlinna integral representation is one, we associate the kernel p(y, dx) of a Markov chain on ℝ by

On groups of central type,non-degenerate and bijective cohomology classes

A finite group G is of central type (in the non-classical sense) if it admits a non-degenerate cohomology class [c] ∈ H ²(G, ℂ*) (G acts trivially on ℂ*). Groups of central type play a fundamental role in the classification of semisimple triangular complex Hopf algebras and can be determined by their representation-theoretical properties. Suppose that a finite group Q acts on an abelian group A so that there exists a bijective 1-cocycle π ∈ Z ¹(Q,Ǎ), where Ǎ = Hom(A, ℂ*) is endowed with the diagonal Q-action. Under this assumption, Etingof and Gelaki gave an explicit formula for a non-degenerate 2-cocycle in Z ²(G, ℂ*), where G:= A × Q. Hence, the semidirect product G is of central type. In this paper, we present a more general correspondence between bijective and non-degenerate cohomology classes. In particular, given a bijective class [π] ∈ H ¹(Q,Ǎ) as above, we construct non-degenerate classes [cπ] ∈ H ²(G,ℂ*) for certain extensions 1 → A → G → Q → 1 which are not necessarily split. We thus strictly extend the above family of central type groups.     

Higher order Riesz transforms associated with Bessel operators

In this paper we investigate Riesz transforms R _μ ^(k) of order k≥1 related to the Bessel operator Δ_μ f(x)=-f”(x)-((2μ+1)/x)f’(x) and extend the results of Muckenhoupt and Stein for the conjugate Hankel transform (a Riesz transform of order one). We obtain that for every k≥1, R _μ ^(k) is a principal value operator of strong type (p,p), p∈(1,∞), and weak type (1,1) with respect to the measure dλ(x)=x ^2μ+1  dx in (0,∞). We also characterize the class of weights ω on (0,∞) for which R _μ ^(k) maps L ^p (ω) into itself and L ¹(ω) into L ^1,∞(ω) boundedly. This class of weights is wider than the Muckenhoupt class of weights for the doubling measure dλ. These weighted results extend the ones obtained by Andersen and Kerman.     

Quantitative form of the Luzin <Emphasis Type="Italic">C</Emphasis>-property

We prove the following statement, which is a quantitative form of the Luzin theorem on C-property: Let (X, d, μ) be a bounded metric space with metric d and regular Borel measure μ that are related to one another by the doubling condition. Then, for any function f measurable on X, there exist a positive increasing function η ∈ Ω (η(+0) = 0 and η(t)t ^−a decreases for a certain a > 0), a nonnegative function g measurable on X, and a set E ⊂ X, μE = 0 , for which

Crystallography and Riemann surfaces

The level set of an elliptic function is a doubly periodic point set in ℂ. To obtain a wider spectrum of point sets, we consider, more generally, a Riemann surface S immersed in ℂ² and its sections (“cuts”) by ℂ More specifically, we consider surfaces S defined in terms of a fundamental surface element obtained as a conformai map of triangular domains in ℂ. The discrete group of isometries of ℂ² generated by reflections in the triangle edges leaves S invariant and generalizes double-periodicity. Our main result concerns the special case of maps of right triangles, with the right angle being a regular point of the map. For this class of maps we show that only seven Riemann surfaces, when cut, form point sets that are discrete in ℂ. Their isometry groups all have a rank 4 lattice subgroup, but only three of the corresponding point sets are doubly periodic in ℂ. The remaining surfaces form quasiperiodic point sets closely related to the vertex sets of quasiperiodic tilings. In fact, vertex sets of familiar tilings are recovered in all cases by applying the construction to a piecewise flat approximation of the corresponding Riemann surface. The geometry of point sets formed by cuts of Riemann surfaces is no less “rigid” than the geometry determined by a tiling, and has the distinct advantage in having a regular behavior with respect to the complex parameter which specifies the cut.     

Pointwise characterization of Sobolev classes

We prove that a function f is in the Sobolev class W _loc ^m,p (ℝ ⁿ ) or W ^m,p (Q) for some cube Q ⊂ ℝ ⁿ if and only if the formal (m − 1)-Taylor remainder R ^m−1 f(x,y) of f satisfies the pointwise inequality |R ^m−1 f(x,y)| ≤ |x − y| ^m [a(x) + a(y)] for some a ε L ^p (Q) outside a set N ⊂ Q of null Lebesgue measure. This is analogous to H. Whitney’s Taylor remainder condition characterizing the traces of smooth functions on closed subsets of ℝ ⁿ . Dedicated to S.M. Nikol’skiĭ on the occasion of his 100th birthday The main results and ideas of this paper were presented in the plenary lecture of the author at the International Conference and Workshop Function Spaces, Approximation Theory and Nonlinear Analysis dedicated to the centennial of Sergei Mikhailovich Nikol’skii, Moscow, May 24–28, 2005.     

Smooth and strongly smooth points in symmetric spaces of measurable operators

We investigate the relationships between smooth and strongly smooth points of the unit ball of an order continuous symmetric function space E, and of the unit ball of the space of τ-measurable operators E(M,t){E(\mathcal{M},\tau)} associated to a semifinite von Neumann algebra (M, t){(\mathcal{M}, \tau)}. We prove that x is a smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if the decreasing rearrangement μ(x) of the operator x is a smooth point of the unit ball in E, and either μ(∞; f) = 0, for the function f ? S_E^×{f\in S_{E^{\times}}} supporting μ(x), or s(x ^*) = 1. Under the assumption that the trace τ on M{\mathcal{M}} is σ-finite, we show that x is strongly smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if its decreasing rearrangement μ(x) is a strongly smooth point of the unit ball in E. Consequently, for a symmetric function space E, we obtain corresponding relations between smoothness or strong smoothness of the function f and its decreasing rearrangement μ(f). Finally, under suitable assumptions, we state results relating the global properties such as smoothness and Fréchet smoothness of the spaces E and E(M,t){E(\mathcal{M},\tau)}.     

Differential Invariants of the 2D Conformal Lie Algebra Action

We consider the Lie algebra that corresponds to the Lie pseudogroup of all conformal transformations on the plane. This conformal Lie algebra is canonically represented as the Lie algebra of holomorphic vector fields in ℝ²≃ℂ. We describe all representations of \mathfrakg\mathfrak{g} via vector fields in J ⁰ℝ²=ℝ³(x,y,u), which project to the canonical representation, and find their algebra of scalar differential invariants.     

Enveloping Σ-C *-algebra of a smooth Frechet algebra crossed product by ℝ,K-theory and differential structure inC *-algebras

Given anm-tempered strongly continuous action α of ℝ by continuous^*-automorphisms of a Frechet^*-algebraA, it is shown that the enveloping ↡-C ^*-algebraE(S(ℝ, A^∞, α)) of the smooth Schwartz crossed productS(ℝ,A ^∞, α) of the Frechet algebra A^∞ of C^∞-elements ofA is isomorphic to the Σ-C ^*-crossed productC ^*(ℝ,E(A), α) of the enveloping Σ-C ^*-algebraE(A) ofA by the induced action. WhenA is a hermitianQ-algebra, one getsK-theory isomorphismRK _*(S(ℝ, A^∞, α)) =K ^*(C ^*(ℝ,E(A), α) for the representableK-theory of Frechet algebras. An application to the differential structure of aC ^*-algebra defined by densely defined differential seminorms is given.     

Points of continuity and quasicontinuity

Let C(f), Q(f), E(f) and A(f) be the sets of all continuity, quasicontinuity, upper and lower quasicontinuity and cliquishness points of a real function f: X → ℝ, respectively. The triplets (C(f),Q(f),A(f)), (C(f),E(f),A(f) and (Q(f),E(f),A(f)are characterized for functions defined on Baire metric spaces without isolated points.     

On mappings preserving pentagons

Summary We introduce a new characterization of linear isometries. More precisely, we prove that if a one-to-one mapping f:<span style='font-size:10.0pt;font-family:"Lucida Sans Unicode"'>ℝⁿ→ℝⁿ(2<span style='font-size:10.0pt;font-family:"Lucida Sans Unicode"'>≦n<<span style='font-size:10.0pt;font-family:"Lucida Sans Unicode"'>∞) maps every regular pentagon of side length a> 0 onto a pentagon with side length b> 0, then there exists a linear isometry I :<span style='font-size:10.0pt;font-family:"Lucida Sans Unicode"'>ℝⁿ→ℝⁿup to translation such that f(x) = (b/a) I(x).     

On some properties of Musielak-Orlicz spaces and their subspaces of order continuous elements

Some criterions in order thatl ¹ embeds complementably inE ^Φ(μ) and inL ^Φ(μ) are given. It is also proved that every idealL inL ^Φ(μ) such thatI _Φ(x/‖x‖Φ)=1 for anyxεL/{0} is contained inE ^Φ(μ).     

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