Empirical multifractal moment measures of self-similar measure for <Emphasis Type="Italic">q</Emphasis> < 0<Superscript>*</Superscript>

For q ≥ 0, Olsen [1] has attained the exact rate of convergence of the L ^q -spectrum of a self-similar measure and showed that the so-called empirical multifractal moment measures converges weakly to the normalized multifractal measures. Unfortunately, nothing is known for q < 0. Indeed, the problem of analysing the L ^q - spectrum for q < 0 is generally considered significantly more difficult since the L ^q -spectrum is extremely sensitive to small variations of μ for q < 0. In [2] we showed that self-similar measures satisfying the Open Set Condition (OSC) are Ahlfors regular and, using this fact, we obtained the exact rate of convergence of the L ^q -spectrum of a self-similar measure satisfying the OSC for q < 0. In this paper, we apply the results from [2] to show the empirical multifractal q’th moment measures of self-similar measures satisfying the OSC converges weakly to the normalized multifractal Hausdorff measures for q < 0. Authors’ addresses: Jiaqing Xiao, School of Science, Wuhan University of Technology, Wuhan 430070, China; Wu Min, School of Mathematical Sciences, South China University of Technology, Guangzhou, 510640, China     

On Stokes operators with variable viscosity in bounded and unbounded domains

We consider a generalization of the Stokes resolvent equation, where the constant viscosity is replaced by a general given positive function. Such a system arises in many situations as linearized system, when the viscosity of an incompressible, viscous fluid depends on some other quantities. We prove that an associated Stokes-like operator generates an analytic semi-group and admits a bounded H _∞ -calculus, which implies the maximal L ^q -regularity of the corresponding parabolic evolution equation. The analysis is done for a large class of unbounded domains with -boundary for some r > d with r ≥ q, q′. In particular, the existence of an L ^q -Helmholtz projection is assumed.     

Beurling’s analyticity theorem for quantum differences

A theorem of Beurling states that if f satisfies , n = 1, 2,..., for some 0 < ρ < 2, on a real interval I, then f is analytic in a rhombus containing I. We study the corresponding problem for the quantum differences Δ _n f (q, x), q > 1, n = 1, 2,..., for functions defined on (0, ∞) and prove quantitative and qualitative analogues of Beurling’s result. We also characterize the analyticity of f on subintervals of (0, ∞) in q-analytic terms.     

Nearly flat almost monotone measures are big pieces of lipschitz graphs

A concentrated (ξ, m) almost monotone measure inR ⁿ is a Radon measure Φ satisfying the two following conditions: (1) Θ ^m (Φ,x)≥1 for every x ∈spt (Φ) and (2) for everyx ∈R ⁿ the ratioexp [ξ(r)]r^−mΦ(B(x,r)) is increasing as a function of r>0. Here ξ is an increasing function such thatlim _r→0-ξ(r)=0. We prove that there is a relatively open dense setReg (Φ) ∋spt (Φ) such that at each x∈Reg(Φ) the support of Φ has the following regularity property: given ε>0 and λ>0 there is an m dimensional spaceW ⊂R ⁿ and a λ-Lipschitz function f from x+W into x+W^‖ so that (100-ε)% ofspt(Φ) ∩B (x, r) coincides with the graph of f, at some scale r>0 depending on x, ε, and λ.     

Typical <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>-Dimensions of Measures

For a probability measure μ on a subset of , the lower and upper L^q-dimensions of order are defined by We study the typical behaviour (in the sense of Baire’s category) of the L^q-dimensions and . We prove that a typical measure μ is as irregular as possible: for all q ≥ 1, the lower L^q-dimension attains the smallest possible value and the upper L^q-dimension attains the largest possible value.     

Theq-gamma function forx<0

F. H. Jackson defined aq analogue of the gamma function which extends theq-factorial (n!) _q =1(1+q)(1+q+q ²)...(1+q+q ²+...+q ^n–1) to positivex. Askey studied this function and obtained analogues of most of the classical facts about the gamma function, for 0<q<1. He proved an analogue of the Bohr-Mollerup theorem, which states that a logarithmically convex function satisfyingf(1)=1 andf(x+1)=[(q ^x –1)/(q–1)]f(x) is in fact theq-gamma function He also studied the behavior of _q asq changes and showed that asq1^–, theq-gamma function becomes the ordinary gamma function forx>0.I proved many of these results forq>1. The current paper contains a study of the behavior of _q (x) forx<0 and allq>0. In addition to some basic properties of _q , we will study the behavior of the sequence {x _n (q)} of critical points asn orq changes.     

Compactness properties of certain integral operators related to fractional integration

Suppose 1≤p,q≤∞ and α > (1/p−1/q)₊. Then we investigate compactness properties of the integral operator when regarded as operator from L_p[0,1] into L_q[0,1]. We prove that its Kolmogorov numbers tend to zero faster than exp(−c_αn^1/2). This extends former results of Laptev in the case p=q=2 and of the authors for p=2 and q=∞. As application we investigate compactness properties of related integral operators as, for example, of the difference between the fractional integration operators of Riemann–Liouville and Weyl type. It is shown that both types of fractional integration operators possess the same degree of compactness. In some cases this allows to determine the strong asymptotic behavior of the Kolmogorov numbers of Riemann–Liouville operators. In memoria of Eduard (University of the West Indies) who passed away in October 2004.     

H ∞-calculus for the Stokes operator on unbounded domains

We consider the Stokes operator A on unbounded domains of uniform C ^1,1-type. Recently, it has been shown by Farwig, Kozono and Sohr that – A generates an analytic semigroup in the spaces , 1 < q < ∞, where for q ≥ 2 and for q ∈ (1, 2). Moreover, it was shown that A has maximal L ^p -regularity in these spaces for p ∈ (1,∞). In this paper we show that ɛ + A has a bounded H ^∞-calculus in for all q ∈ (1, ∞) and ɛ > 0. This allows to identify domains of fractional powers of the Stokes operator. Received: 12 October 2007     

A remark on the least n with χ (n) ≠ 1

Suppose that a > 2. We prove that the number of positive integers q ≦ Q such that there exists a primitive character χ modulo q with χ (n) = 1 for all n ≦ (log Q)^a is O(Q^1/(1-a)+ε). Received: 7 December 2004     

Sur les fonctions entièresq-arithmétiques

Letq ɛ Z, |q|>1. In this paper, we study entire functions of a complex variable such thatf(q ^n+m)≡f(qⁿ) (modq ^m-1), ∀n ɛ N andm>0. We prove that iff is of sufficiently small growth, then it is a polynomial.      

On the existence of semifields of prime power order admitting free automorphism groups

The purpose of this paper is to prove the existence of semifields of order q ⁴ for any odd prime power q = p^r, q > 3, admitting a free automorphism group isomorphic to Z ₂ × Z ₂.     

On the stability of the quadratic functional equation on bounded domains

A result of Skof and Terracini will be generalized; More precisely, we will prove that if a functionf : [-t, t]ⁿ →E satisfies the inequality (1) for some δ > 0 and for allx, y ∈ [-t, t]ⁿ withx + y, x - y ∈ [-t, t]ⁿ, then there exists a quadratic functionq: ℝⁿ →E such that ∥f(x) -q(x)∥ < (2912n² + 1872n + 334)δ for anyx ∈ [-t, t] ⁿ .     

A characterisation result on a particular class of non-weighted minihypers

We present a characterisation of {e₁ (q+1)+e₀,e₁ ;n,q}{\{\epsilon_1 (q+1)+\epsilon_0,\epsilon_1 ;n,q\}} -minihypers, q square, q = p ^h , p > 3 prime, h ≥ 2, q ≥ 1217, for e₀ + e₁ < \fracq^7/122-\fracq^1/42{\epsilon_0 + \epsilon_1 < \frac{q^{7/12}}{2}-\frac{q^{1/4}}{2}}. This improves a characterisation result of Ferret and Storme (Des Codes Cryptogr 25(2): 143–162, 2002), involving more Baer subgeometries contained in the minihyper.     

Finite elements approximation of second order linear elliptic equations in divergence form with right-hand side in L 1

In this paper we consider, in dimension d≥ 2, the standard finite elements approximation of the second order linear elliptic equation in divergence form with coefficients in L ^∞(Ω) which generalizes Laplace’s equation. We assume that the family of triangulations is regular and that it satisfies an hypothesis close to the classical hypothesis which implies the discrete maximum principle. When the right-hand side belongs to L ¹(Ω), we prove that the unique solution of the discrete problem converges in (for every q with ) to the unique renormalized solution of the problem. We obtain a weaker result when the right-hand side is a bounded Radon measure. In the case where the dimension is d = 2 or d = 3 and where the coefficients are smooth, we give an error estimate in when the right-hand side belongs to L ^r (Ω) for some r > 1.     

Regularity of radial minimizers of reaction equations involving the <Emphasis Type="Italic">p</Emphasis>-Laplacian

We consider semi-stable, radially symmetric, and decreasing solutions of  − Δ _p u = g(u) in the unit ball of , where p > 1, Δ _p is the p-Laplace operator, and g is a locally Lipschitz function. For this class of radial solutions, which includes local minimizers, we establish pointwise, L ^q , and W ^1,q estimates which are optimal and do not depend on the specific nonlinearity g. Among other results, we prove that every radially decreasing and semi-stable solution u belonging to W ^1,p (B ₁) is bounded whenever n < p + 4p/(p − 1). Under standard assumptions on the nonlinearity g(u) = λf (u), where λ > 0 is a parameter, it is proved that the corresponding extremal solution u ^* is semi-stable, and hence, it enjoys the regularity stated in our main result.     

Lemma about increase of approximate solutions to the Dirichlet problem for <Emphasis Type="Italic">m</Emphasis>-Hessian equations

We prove an assertion about the increase of a solution, weak in the sense of Trudinger, to the Dirichlet problem for m-Hessian equations with the righthand side in L ^q , q > n(n + 1)/(2m). We estimate the ratio between the increment of the solution along the normal and the distance to the boundary of a domain. This assertion is also proved for some class of degenerate linear elliptic equations of second order. Bibliography: 7 titles. Translated from Problemy Matematicheskogo Analiza, No. 38, December 2008, pp. 37–46.     

A priori bounds and a Liouville theorem on a half-space for higher-order elliptic Dirichlet problems

We consider the 2m-th order elliptic boundary value problem Lu = f (x, u) on a bounded smooth domain with Dirichlet boundary conditions on ∂Ω. The operator L is a uniformly elliptic operator of order 2m given by . For the nonlinearity we assume that , where are positive functions and q > 1 if N ≤ 2m, if N > 2m. We prove a priori bounds, i.e, we show that for every solution u, where C > 0 is a constant. The solutions are allowed to be sign-changing. The proof is done by a blow-up argument which relies on the following new Liouville-type theorem on a half-space: if u is a classical, bounded, non-negative solution of ( − Δ) ^m u  =  u ^q in with Dirichlet boundary conditions on and q > 1 if N ≤ 2m, if N > 2m then .      

The Schur–Potapov Algorithm for Sequences of Complex p × q Matrices. I

The main theme of this paper is to characterize distinguished subclasses of the matricial Schur class in terms of Taylor coefficients. Starting point of our investigations is the observation that the Taylor coefficient sequences of functions from are exactly the infinite p  ×  q Schur sequences. We draw our attention mainly to the subclass of which consists of all p ×  q Schur functions for which the corresponding Taylor coefficient sequences are nondegenerate p  ×  q Schur sequences. Using an appropriate adaptation of the Schur–Potapov algorithm for functions belonging to to infinite sequences of complex p  ×  q matrices we obtain an one-to-one correspondence between infinite nondegenerate p  ×  q Schur sequences and the set of all infinite sequences (E_j)_j=0^∞ of strictly contractive complex p  ×  q matrices. Taking into account the construction of this gives us an one-to-one correspondence between and the set of all infinite sequences (E_j)_j=0^∞ of strictly contractive complex p  ×  q matrices. Hereby, (E_j)_{j =0}^∞ is called the sequence of Schur–Potapov parameters (shortly SP-parameters) of f. Communicated by Daniel Alpay. Submitted: August 17, 2006; Accepted: September 13, 2006     

Complete unital-derived arcs in the hall planes

We prove the existence of complete (q ² -q + 1)-arcs in each Hall plane of orderq ²,q ² > 9. Work performed under the auspicies of the G.N.S.A.G.A. of the C.N.R. (National Research Council) of Italy and supported by M.U.R.S.T. progetto “Strutture Geometriche Combinatoria e Loro Applicazioni”.