Integration and Lipschitz functions

The aim of the paper is to prove that every f ∈ L ¹([0,1]) is of the form f = , where j _n,k is the characteristic function of the interval [k- 1 / 2 ⁿ , k / 2 ⁿ ) and Σ _n=0^∞Σ _k=1²ⁿ |a _n,k | is arbitrarily close to ||f|| (Theorem 2). It is also shown that if μ is any probabilistic Borel measure on [0,1], then for any ɛ > 0 there exists a sequence (b _n,k ) _n≧0 ^k=1,...,2n of real numbers such that and for each Lipschitz function g: [0,1] → ℝ (Theorem 3).      

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,

GKB-FP: an algorithm for large-scale discrete ill-posed problems

We describe an algorithm for large-scale discrete ill-posed problems, called GKB-FP, which combines the Golub-Kahan bidiagonalization algorithm with Tikhonov regularization in the generated Krylov subspace, with the regularization parameter for the projected problem being chosen by the fixed-point method by Bazán (Inverse Probl. 24(3), 2008). The fixed-point method selects as regularization parameter a fixed-point of the function ‖r _λ ‖₂/‖f _λ ‖₂, where f _λ is the regularized solution and r _λ is the corresponding residual. GKB-FP determines the sought fixed-point by computing a finite sequence of fixed-points of functions ||r_l^(k)||₂/||f_l^(k)||₂\|r_{\lambda}^{(k)}\|_{2}/\|f_{\lambda}^{(k)}\|_{2}, where f_l^(k)f_{\lambda}^{(k)} approximates f _λ in a k-dimensional Krylov subspace and r_l^(k)r_{\lambda}^{(k)} is the corresponding residual. Based on this and provided the sought fixed-point is reached, we prove that the regularized solutions f_l^(k)f_{\lambda}^{(k)} remain unchanged and therefore completely insensitive to the number of iterations. This and the performance of the method when applied to well-known test problems are illustrated numerically.     

Automorphic L-Functions in the Weight Aspect

Let S_k(Γ) be the space of holomorphic Γ-cusp forms f(z) of even weight k ≥ 12 for Γ = SL(2, ℤ), and let S_k(Γ)⁺ be the set of all Hecke eigenforms from this space with the first Fourier coefficient a_f(1) = 1. For f ∈ S_k(Γ)⁺, consider the Hecke L-function L(s, f). Let

On convergence of a generalized Pál interpolation process

Let f∈C _[−1,1] ^″ (r≥1) and R_n(f,α,β,x) be the generalized Pál interpolation polynomials satisfying the conditions R_n(f,α,β,x_k)=f(x_k),R_n ^′(f,α,β,x_k)=f′(x_k)(k=1,2,…,n), where {x_k} are the roots of n-th Jacobi polynomial P_n(α,β,x),α,β>−1 and {x _k ^″ } are the roots of (1−x²)P_n″(α,β,x). In this paper, we prove that holds uniformly on [0,1]. In Memory of Professor M. T. Cheng Supported by the Science Foundation of CSBTB and the Natural Science Foundatioin of Zhejiang.     

Riesz multiwavelet bases generated by vector refinement equation

In this paper, we investigate compactly supported Riesz multiwavelet sequences and Riesz multiwavelet bases for L ₂(ℝ ^s ). Suppose ψ = (ψ¹,..., ψ ^r ) ^T and are two compactly supported vectors of functions in the Sobolev space (H ^μ(ℝ ^s )) ^r for some μ > 0. We provide a characterization for the sequences {ψ _jk ^l : l = 1,...,r, j ε ℤ, k ε ℤ ^s } and to form two Riesz sequences for L ₂(ℝ ^s ), where ψ _jk ^l = m ^j/2ψ ^l (M ^j ·−k) and , M is an s × s integer matrix such that lim _n→∞ M ⁻ⁿ = 0 and m = |detM|. Furthermore, let ϕ = (ϕ¹,...,ϕ ^r ) ^T and be a pair of compactly supported biorthogonal refinable vectors of functions associated with the refinement masks a, and M, where a and are finitely supported sequences of r × r matrices. We obtain a general principle for characterizing vectors of functions ψ^ν = (ψ^ν1,...,ψ^νr ) ^T and , ν = 1,..., m − 1 such that two sequences {ψ _jk ^νl : ν = 1,..., m − 1, l = 1,...,r, j ε ℤ, k ε ℤ ^s } and { : ν=1,...,m−1,ℓ=1,...,r, j ∈ ℤ, k ∈ ℤ ^s } form two Riesz multiwavelet bases for ^L ₂(ℝ ^s ). The bracket product [f, g] of two vectors of functions f, g in (L ₂(ℝ ^s )) ^r is an indispensable tool for our characterization. This work was supported by National Natural Science Foundation of China (Grant Nos. 10771190, 10471123)     

Some simple Haar-type wavelets in higher dimensions

An orthonormal wavelet system in ℝ^d, d ∈ ℕ, is a countable collection of functions {ψ _j,k ^ℓ }, j ∈ ℤ, k ∈ ℤ^d, ℓ = 1,..., L, of the form that is an orthonormal basis for L² (ℝ^d), where a ∈ GL_d (ℝ) is an expanding matrix. The first such system to be discovered (almost 100 years ago) is the Haar system for which L = d = 1, ψ¹(x) = ψ(x) = κ[0,1/2)^(x) − κ_[l/2,1) ^(x), a = 2. It is a natural problem to extend these systems to higher dimensions. A simple solution is found by taking appropriate products Φ(x₁, x₂, ..., x_d) = φ₁ (x₁)φ₂(x₂) ... φ_d(x_d) of functions of one variable. The obtained wavelet system is not always convenient for applications. It is desirable to find “nonseparable” examples. One encounters certain difficulties, however, when one tries to construct such MRA wavelet systems. For example, if a = ( _1-1 ^{1 1} ) is the quincunx dilation matrix, it is well-known (see, e.g., [5]) that one can construct nonseparable Haar-type scaling functions which are characteristic functions of rather complicated fractal-like compact sets. In this work we shall construct considerably simpler Haar-type wavelets if we use the ideas arising from “composite dilation” wavelets. These were developed in [7] and involve dilations by matrices that are products of the form a^jb, j ∈ ℤ, where a ∈ GL_d(ℝ) has some “expanding” property and b belongs to a group of matrices in GL_d(ℝ) having |det b| = 1.     

On sharp Kolmogorov-type inequalities taking into account the number of sign changes of derivatives

We obtain new sharp Kolmogorov-type inequalities, in particular the following sharp inequality for 2π-periodic functions x ∈ L _∞ ^r (T):

Contact Elements on Fibered Manifolds

For every product preserving bundle functor T ^μ on fibered manifolds, we describe the underlying functor of any order (r, s, q), s ≥ r ≤ q. We define the bundle K_k,l^r,s,q YK_{k,l}^{r,s,q} Y of (k, l)-dimensional contact elements of the order (r, s, q) on a fibered manifold Y and we characterize its elements geometrically. Then we study the bundle of general contact elements of type μ. We also determine all natural transformations of K_k,l^r,s,q YK_{k,l}^{r,s,q} Y into itself and of T( K_k,l^r,s,q Y )T\left( {K_{k,l}^{r,s,q} Y} \right) into itself and we find all natural operators lifting projectable vector fields and horizontal one-forms from Y to K_k,l^r,s,q YK_{k,l}^{r,s,q} Y .     

On estimation and detection of a function of infinitely many variables

We observe an unknown function of infinitely many variables f = f(t), t = (t₁, ..., t_n, ... ) ∈, [0, 1]^∞, in the Gaussian white noise of level ε > 0. We suppose that in each variable there exists a 1-periodical σ-smooth extension of the function f(t) to IR ^∞. Taking a quantity σ > 0 and a positive sequence a = {a_k}, we consider the set that consists of functions f such that . We consider the cases a_k = k^α and a_k = exp(λk), α > 0, λ > 0. We would like to estimate a function f ∈ or to test the null hypothesis H₀: f = 0 against the alternatives f ∈ , where the set consists of functions f ∈ such that ∥f∥₂ ≥ r. In the estimation problem, we obtain the asymptotics (as ε → 0) of the minimax quadratic risk. In the detection problem, we study the sharp asymptotics of minimax separation rates f _ɛ ^* that provide distiguishability in the problems. Bibliography: 12 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 328, 2005, pp. 91–113.     

Inequalities for derivatives of functions in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

  We obtain a new sharp inequality for the local norms of functions x ∈ L _{∞, ∞} ^r (R), namely,

On the distribution of the fourier spectrum of Boolean functions

In this paper we obtain a general lower bound for the tail distribution of the Fourier spectrum of Boolean functionsf on {1, −1} ^N . Roughly speaking, fixingk∈ℤ₊ and assuming thatf is not essentially determined by a bounded number (depending onk) of variables, we have that . The example of the majority function shows that this result is basically optimal.     

Affine Synthesis onto L p when 0<p≤1

The affine synthesis operator is shown to map the coefficient space ℓ ^p (ℤ₊×ℤ ^d ) surjectively onto L ^p (ℝ ^d ), for p∈(0,1]. Here ψ _j,k (x)=|det a _j |^1/p ψ(a _j x−k) for dilation matrices a _j that expand, and the synthesizer ψ∈L ^p (ℝ ^d ) need satisfy only mild restrictions, for example, ψ∈L ¹(ℝ ^d ) with nonzero integral or else with periodization that is real-valued, nontrivial and bounded below. An affine atomic decomposition of L ^p follows immediately:

Spaces ofp-vectors of bounded rank

LetV be ann-dimensional space over an infinite field of characteristic different from 2. Therank ofw ∈ Λ ^p V is the minimal dimension of a subspaceU ⊂V such thatw ∈ Λ ^p U. Extending a well-known result on linear spaces in the Grassmannian, it is shown that ifp≤k<n then the maximal dimension of a subspaceW ⊂ Λ ^p V such that rankw≤k for allω ∈W is where∈=1 ifk=p orp=2|k,∈=0 otherwise, andm satisfies . Supported by The Israel Science Foundation founded by the Academy of Sciences and Humanities.     

Meet and join matrices in the poset of exponential divisors

It is well-known that (ℤ₊, |) = (ℤ₊, GCD, LCM) is a lattice, where | is the usual divisibility relation and GCD and LCM stand for the greatest common divisor and the least common multiple of positive integers. The number $ d = \prod\nolimits_{k = 1}^r {p_k^{d^{(k)} } } $ d = \prod\nolimits_{k = 1}^r {p_k^{d^{(k)} } } is said to be an exponential divisor or an e-divisor of $ n = \prod\nolimits_{k = 1}^r {p_k^{n^{(k)} } } $ n = \prod\nolimits_{k = 1}^r {p_k^{n^{(k)} } } (n > 1), written as d | _e n, if d ^(k) for all prime divisors p _k of n. It is easy to see that (ℤ₊\{1}, | _e is a poset under the exponential divisibility relation but not a lattice, since the greatest common exponential divisor (GCED) and the least common exponential multiple (LCEM) do not always exist.     

Asymptotic normality and efficiency of a weighted correlogram

For a process X(t)=Σ _j=1 ^M g _j (t)ξ _j (), where g_j(t) are nonrandom given functions, is a stationary vector-valued Gaussian process, Eξ_k(t) = 0, and Eξ_k(0) Eξ_l(τ) = r _kl(τ), we construct an estimate for the functions r _kl(τ) on the basis of observations X(t), t ∈ [0, T]. We establish conditions for the asymptotic normality of as T → ∞. We consider the problem of the optimal choice of parameters of the estimate depending on observations. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 7, pp. 937–947, July, 1998.     

On matroid intersections

This paper exploits and extends results of Edmonds, Cunningham, Cruse and McDiarmid on matroid intersections. Letr ₁ andr ₂ be rank functions of two matroids defined on the same setE. For everyS ⊂E, letr ₁₂(S) be the largest cardinality of a subset ofS independent in both matroids, 0≦k≦r ₁₂(E)−1. It is shown that, ifc is nonnegative and integral, there is ay: 2 ^E →Z ⁺ which maximizes and , subject toy≧0, ∀j∈E, .     

Strictly Hermitian positive definite functions

LetH be any complex inner product space with inner product <·,·>. We say thatf: ℂ→ℂ is Hermitian positive definite onH if the matrix

Transcendence of the values of certain series with Hadamard's gaps

Transcendence of the number ?_k=0^￥ a^r_k \sum_{k=0}^\infty \alpha^{r_k} , where a \alpha is an algebraic number with 0 < | a | \mid\alpha\mid > 1 and {r_k}_k\geqq0 \{r_k\}_{k\geqq0} is a sequence of positive integers such that lim_k?￥ r_k+1/r_k = d ? \mathbbN \{1} \lim_{k\to\infty}\, r_{k+1}/r_k = d \in \mathbb{N}\, \backslash \{1\} , is proved by Mahler's method. This result implies the transcendence of the number ?_k=0^￥ a^kdk \sum_{k=0}^\infty \alpha^{kd^k} .     

On cyclic codes of length $${2^{2^r}-1}$$ with two zeros whose dual codes have three weights

In 1976, Helleseth conjectured that two binary m-sequences of length 2 ^m − 1 can not have a three-valued crosscorrelation function when m is a power of 2. We show that this conjecture is true when −1 is a correlation value. In other words, if C_1,k{{\mathcal{C}}_{1,k}} is the cyclic code of length 2 ^m − 1 with two zeros α, α ^k , where α is a primitive element of \mathbbF_2^m{{\mathbb{F}}_{2^m}} and gcd(k, 2 ^m − 1) = 1, then its dual C_1,k^{^}{{\mathcal{C}}_{1,k}^{\perp}} can not have three weights when m is a power of 2.