On the Theory of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>)-Banach Lattices

Given 1≤ p,q < ∞, let BL_pL_q be the class of all Banach lattices X such that X is isometrically lattice isomorphic to a band in some L_p(L_q)-Banach lattice. We show that the range of a positive contractive projection on any BL_pL_q-Banach lattice is itself in BL_pL_q. It is a consequence of this theorem and previous results that BL_pL_q is first-order axiomatizable in the language of Banach lattices. By studying the pavings of arbitrary BL_pL_q-Banach lattices by finite dimensional sublattices that are themselves in this class, we give an explicit set of axioms for BL_pL_q. We also consider the class of all sublattices of L_p(L_q)-Banach lattices; for this class (when p/q is not an integer) we give a set of axioms that are similar to Krivine’s well-known axioms for the subspaces of L_p-Banach spaces (when p/2 is not an integer). We also extend this result to the limiting case q = ∞.     

Rationality of the vertex operator algebra <Emphasis Type="Italic">V</Emphasis><Subscript><Emphasis Type="Italic">L</Emphasis></Subscript>+ for a positive definite even lattice <Emphasis Type="Italic">L</Emphasis>

The lattice vertex operator algebra V_L associated to a positive definite even lattice L has an automorphism of order 2 lifted from –1-isometry of L. The fixed point set V_L+ of V_L for the automorphism is naturally a vertex operator algebra. We prove that any ₀-graded weak V_L⁺-module is completely reducible.Supported by JSPS Research Fellowships for Young Scientists.     

Point sets with low <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-discrepancy

In this paper we study the L _p -discrepancy of digitally shifted Hammersley point sets. While it is known that the (unshifted) Hammersley point set (which is also known as Roth net) with N points has L _p -discrepancy (p an integer) of order (log N)/N, we show that there always exists a shift such that the digitally shifted Hammersley point set has L _p -discrepancy (p an even integer) of order which is best possible by a result of W. Schmidt. Further we concentrate on the case p = 2. We give very tight lower and upper bounds for the L ₂-discrepancy of digitally shifted Hammersley point sets which show that the value of the L ₂-discrepancy of such a point set mostly depends on the number of zero coordinates of the shift and not so much on the position of these. This work is supported by the Austrian Research Fund (FWF), Project P17022-N12 and Project S8305.     

A note on the complexity of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> minimization

We discuss the L _p (0 ≤ p < 1) minimization problem arising from sparse solution construction and compressed sensing. For any fixed 0 < p < 1, we prove that finding the global minimal value of the problem is strongly NP-Hard, but computing a local minimizer of the problem can be done in polynomial time. We also develop an interior-point potential reduction algorithm with a provable complexity bound and demonstrate preliminary computational results of effectiveness of the algorithm.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-Boundedness of general index transforms

We establish the boundedness properties in L _p for a class of integral transformations with respect to an index of hypergeometric functions. In particular, by using the Riesz-Thorin interpolation theorem, we get the corresponding results in L _p (R ₊), 1 p 2, for the Kontorovich-Lebedev, Mehler-Fock, and Olevskii index transforms. An inversion theorem is proved for a general index transformation. The case p=2 is known as the Plancherel-type theory for this class of transformations.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 1, pp. 127–147, January–March, 2005.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> discrepancy of generalized two-dimensional Hammersley point sets

We determine the L _p discrepancy of the two-dimensional Hammersley point set in base b. These formulas show that the L _p discrepancy of the Hammersley point set is not of best possible order with respect to the general (best possible) lower bound on L _p discrepancies due to Roth and Schmidt. To overcome this disadvantage we introduce permutations in the construction of the Hammersley point set and show that there always exist permutations such that the L _p discrepancy of the generalized Hammersley point set is of best possible order. For the L ₂ discrepancy such permutations are given explicitly. F.P. is supported by the Austrian Science Foundation (FWF), Project S9609, that is part of the Austrian National Research Network “Analytic Combinatorics and Probabilistic Number Theory”.     

Finite-dimensional subspaces of <Emphasis Type="Italic">L</Emphasis><Subscript>p</Subscript> with Lipschitz metric projection

We prove that the metric projection onto a finite-dimensional subspace Y ? L _p, p ∈ (1, 2) ∪ (2, ∞), satisfies the Lipschitz condition if and only if every function in Y is supported on finitely many atoms. We estimate the Lipschitz constant of such a projection for the case in which the subspace is one-dimensional.     

On the <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> affine isoperimetric inequalities

We obtain an isoperimetric inequality which estimate the affine invariant p-surface area measure on convex bodies. We also establish the reverse version of L _p -Petty projection inequality and an affine isoperimetric inequality of Γ_− p K.     

Interpolation of nonlinear operators in weighted <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-spaces

We show that Peetre’s classical interpolation theorem in weighted L _p -spaces is carried over to some classes of nonlinear operators containing in particular the Lipschitz operators and operators close to them in the properties satisfying less restrictive conditions than Lipschitz in each of the spaces of a Banach pair.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-mixed intersection bodies and star duality

The paper extends the two notions of the dual mixed volumes and L _p -intersection body to q-dual mixed volumes and L _p -mixed intersection body, respectively. Inequalities for the star dual of L _p -mixed intersection bodies are established.     

Approximation of sine-shaped functions by constants in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>, <Emphasis Type="Italic">p</Emphasis> < 1

We investigate the best approximations of sine-shaped functions by constants in the spaces L_p for p < 1. In particular, we find the best approximation of perfect Euler splines by constants in the spaces L_p for certain p(0,1).Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 6, pp. 745–762, June, 2004.     

Selberg＇s Normal Density Theorem for Automorphic L-Functions for GLm

Let π be an irreducible unitary cuspidal representation of GLm（AQ） with m ≥ 2, and L（s, Tr） the L-function attached to π. Under the Generalized Riemann Hypothesis for L（s,π）, we estimate the normal density of primes in short intervals for the automorphic L-function L（s, π）. Our result generalizes the corresponding theorem of Selberg for the Riemann zeta-function.     

Geometric dual formulation for first-derivative-based univariate cubic <Emphasis Type="Italic">L</Emphasis><Subscript>1</Subscript> splines

With the objective of generating “shape-preserving” smooth interpolating curves that represent data with abrupt changes in magnitude and/or knot spacing, we study a class of first-derivative-based -smooth univariate cubic L ₁ splines. An L ₁ spline minimizes the L ₁ norm of the difference between the first-order derivative of the spline and the local divided difference of the data. Calculating the coefficients of an L ₁ spline is a nonsmooth non-linear convex program. Via Fenchel’s conjugate transformation, the geometric dual program is a smooth convex program with a linear objective function and convex cubic constraints. The dual-to-primal transformation is accomplished by solving a linear program.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript><Emphasis Type="Bold">-</Emphasis>solvability of the Dirichlet problem for the heat equation in noncylindrical domains with isolated characteristic points at the boundary

We study the solvabitlity of the Dirichlet problem for the heat operator in weighted Sobolev L _p -spaces in noncylindrical paraboloid type domains with isolated characteristic points at the boundary. For any p > 1 we find a necessary and sufficient L _p -solvability condition and establish an L _p -estimate. The results are formulated in terms of Muckenhoupt type conditions on the weight. Bibliography: 10 titles.     

Entropy conditions for <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">r</Emphasis></Subscript>-convergence of empirical processes

The law of large numbers (LLN) over classes of functions is a classical topic of empirical processes theory. The properties characterizing classes of functions on which the LLN holds uniformly (i.e. Glivenko–Cantelli classes) have been widely studied in the literature. An elegant sufficient condition for such a property is finiteness of the Koltchinskii–Pollard entropy integral, and other conditions have been formulated in terms of suitable combinatorial complexities (e.g. the Vapnik–Chervonenkis dimension). In this paper, we endow the class of functions with a probability measure and consider the LLN relative to the associated L _r metric. This framework extends the case of uniform convergence over , which is recovered when r goes to infinity. The main result is a L _r -LLN in terms of a suitable uniform entropy integral which generalizes the Koltchinskii–Pollard entropy integral.      

Summability Kernels for <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Multipliers

In this article we study the problem of extending Fourier Multipliers on L ^p (T) to those on L ^p (R) by taking convolution with a kernel, called a summability kernel. We characterize the space of such kernels for the cases p = 1 and p = 2. For other values of p we give a necessary condition for a function to be a summability kernel. For the case p = 1, we present properties of measures which are transferred from M(T) to M(R) by summability kernels. Furthermore it is shown that every l _p sequence can be extended to some L ^q (R) multipliers for certain values of p and q.     

The best approximation of Laplace operator by linear bounded operators in the space <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We obtain close two-sided estimates for the best approximation of Laplace operator by linear bounded operators on the class of functions for which the square of the Laplace operator belongs to the L _p -space. We estimate the best constant in the corresponding Kolmogorov inequality and the error of the optimal recovery of values of the Laplace operator on functions from this class defined with an error. In a particular case (p = 2) we solve all three problems exactly.     

The <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-saturation for linear combination of Bernstein-Kantorovich operators

We study the L _p -saturation for the linear combination of Bernstein-Kantorovich operators. As a result we obtain the saturation class by using K-functional as well as some modulus of smoothness. Research supported by National Natural Science Foundation of China (10671019) and Zhejiang Provincial Natural Science Foundation of China (102005).     

On Transference of Multipliers on Matrix Weighted <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-Spaces

We consider a periodic matrix weight W defined on ℝ ^d and taking values in the N×N positive-definite matrices. For such weights, we prove transference results between multiplier operators on L _p (ℝ ^d ;W) and L_p(\mathbb T^d;W)L_{p}(\mathbb {T}^{d};W), 1<p<∞, respectively. As a specific application, we study transference results for homogeneous multipliers of degree zero.     

Best approximation by ridge functions in <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-spaces

We study the approximation of the classes of functions by the manifold R _n formed by all possible linear combinations of n ridge functions of the form r(a · x)): It is proved that, for any 1 ≤ q ≤ p ≤ ∞, the deviation of the Sobolev class W ^r _p from the set R _n of ridge functions in the space L _q (B ^d ) satisfies the sharp order n ^-r/(d-1).