New Applications of the <Emphasis Type="Italic">p</Emphasis>-Adic Nevanlinna Theory

Let IK be an algebraically closed field of characteristic 0 complete for an ultrametric absolute value. Following results obtained in complex analysis, here we examine problems of uniqueness for meromorphic functions having finitely many poles, sharing points or a pair of sets (C.M. or I.M.) defined either in the whole field IK or in an open disk, or in the complement of an open disk. Following previous works in C, we consider functions fⁿ(x)f^m(ax + b), gⁿ(x)g^m(ax + b) with |a| = 1 and n ≠ m, sharing a rational function and we show that f/g is a n + m-th root of 1 whenever n + m ≥ 5. Next, given a small function w, if n, m ∈ IN are such that |n ? m|_∞ ≥ 5, then fⁿ(x)f^m(ax + b) ? w has infinitely many zeros. Finally, we examine branched values for meromorphic functions fⁿ(x)f^m(ax + b).     

Equiconvergence of expansions in multiple Fourier series and in fourier integrals with “lacunary sequences of partial sums”

We investigate the equiconvergence on T^N = [?π, π)^N of expansions in multiple trigonometric Fourier series and in the Fourier integrals of functions f ∈ L_p(T^N) and g ∈ L_p(R^N), p > 1, N ≥ 3, g(x) = f(x) on T^N, in the case where the “partial sums” of these expansions, i.e., S_n(x; f) and J_α(x; g), respectively, have “numbers” n ∈ Z^N and α ∈ R^N (n_j = [α_j], j = 1,..., N, [t] is the integral part of t ∈ R¹) containing N ? 1 components which are elements of “lacunary sequences.”     

Bessel Property of the System of Root Functions of a Second-Order Singular Operator on an Interval

For the system of root functions of an operator defined by the differential operation ?u″ + p(x)u′ + q(x)u, x ∈ G = (0, 1), with complex-valued singular coefficients, sufficient conditions for the Bessel property in the space L₂(G) are obtained and a theorem on the unconditional basis property is proved. It is assumed that the functions p(x) and q(x) locally belong to the spaces L₂ and W₂^?1, respectively, and may have singularities at the endpoints of G such that q(x) = q_R(x) +q′S(x) and the functions q_S(x), p(x), q ₂ ^S (x)w(x), p²(x)w(x), and q_R(x)w(x) are integrable on the whole interval G, where w(x) = x(1 ? x).     

Equicontinuity of maps on a dendrite with finite branch points

Let(T, d) be a dendrite with finite branch points and f be a continuous map from T to T. Denote byω(x,f) and P(f) the ω-limit set of x under f and the set of periodic points of,respectively. Write Ω(x,f) = {y| there exist a sequence of points x_k E T and a sequence of positive integers n_1 n_2 … such that lim_(k→∞)x_k=x and lim_(k→∞)f~(n_k)(x_k) =y}. In this paper, we show that the following statements are equivalent:(1) f is equicontinuous.(2) ω(x, f) = Ω(x,f) for any x∈T.(3) ∩_(n=1)~∞f~n(T) = P(f),and ω(x,f)is a periodic orbit for every x ∈ T and map h : x→ω(x,f)(x ET)is continuous.(4) Ω(x,f) is a periodic orbit for any x∈T.     

The weighted Hardy spaces associated to self-adjoint operators and their duality on product spaces

Let L be a non-negative self-adjoint operator acting on L²(R ⁿ ) satisfying a pointwise Gaussian estimate for its heat kernel. Let w be an A _r weight on R ⁿ × R ⁿ , 1 < r < ∞. In this article we obtain a weighted atomic decomposition for the weighted Hardy space H _L,w ^p (R ⁿ ×R ⁿ ), 0 < p ≤ 1 associated to L. Based on the atomic decomposition, we show the dual relationship between H _L,w ¹ (R ⁿ × R ⁿ ) and BMO_L,w(R ⁿ × R ⁿ ).     

On the rank of odd hyper-quasi-polynomials

Given any nonzero entire function g: ? → ?, the complex linear space F(g) consists of all entire functions f decomposable as f(z + w)g(z - w)=φ₁(z)ψ₁(w)+???+ φ_n(z)ψ_n(w) for some φ₁, ψ₁, …, φ_n, ψ_n: ? → ?. The rank of f with respect to g is defined as the minimum integer n for which such a decomposition is possible. It is proved that if g is an odd function, then the rank any function in F(g) is even.     

Hankel and Berezin Type Operators on Weighted Besov Spaces of Holomorphic Functions on Polydisks

Let S be the space of functions of regular variation and let ω = (ω₁,..., ω_n), ω_j ∈ S. The weighted Besov space of holomorphic functions on polydisks, denoted by B _p (ω) (0 < p < +∞), is defined to be the class of all holomorphic functions f defined on the polydisk U ⁿ such that \(||f||_{{B_{P(\omega )}}}^P = \int_{{U^n}} {|Df(z){|^p}\prod\limits_{j = 1}^n {{\omega _j}{{(1 - |{z_j}{|^2})}^{P - 2}}dm{a_{2n}}(z) < \infty } } \), where dm_2n(z) is the 2ndimensional Lebesgue measure on U ⁿ and D stands for a special fractional derivative of f.We prove some theorems concerning boundedness of the generalized little Hankel and Berezin type operators on the spaces B _p (ω) and L _p (ω) (the weighted L _p -space).     

On the metric type of measurable functions and convergence in distribution

In the present paper, sequences of real measurable functions defined on a measure space ([0, 1], µ), where µ is the Lebesgue measure, are studied. It is proved that for every sequence f_n that converges to f in distribution, there exists a sequence of automorphisms S_n of ([0, 1], µ) such that f_n(S_n(t)) converges to f(t) in measure. Connection with some known results is also discussed.     

On boundary value problems for systems of nonlinear generalized ordinary differential equations

A general theorem (principle of a priori boundedness) on solvability of the boundary value problem dx = dA(t) · f(t, x), h(x) = 0 is established, where f: [a, b]×R ⁿ → R ⁿ is a vector-function belonging to the Carathéodory class corresponding to the matrix-function A: [a, b] → R ^n×n with bounded total variation components, and h: BV_s([a, b],R ⁿ ) → R ⁿ is a continuous operator. Basing on the mentioned principle of a priori boundedness, effective criteria are obtained for the solvability of the system under the condition x(t₁(x)) = B(x) · x(t ₂(x))+c ₀, where t _i: BV_s([a, b],R ⁿ ) → [a, b] (i = 1, 2) and B: BV_s([a, b], R ⁿ ) → R ⁿ are continuous operators, and c ₀ ∈ R ⁿ .     

On some arithmetic properties of Mahler functions

Mahler functions are power series f(x) with complex coefficients for which there exist a natural number n and an integer ? ≥ 2 such that f(x), f(x^?),..., \(f({x^{{\ell ^{n - 1}}}}),f({x^{{\ell ^n}}})\) are linearly dependent over ?(x). The study of the transcendence of their values at algebraic points was initiated by Mahler around the’ 30s and then developed by many authors. This paper is concerned with some arithmetic aspects of these functions. In particular, if f(x) satisfies f(x) = p(x)f(x^?) with p(x) a polynomial with integer coefficients, we show how the behaviour of f(x) mirrors on the polynomial p(x). We also prove some general results on Mahler functions in analogy with G-functions and E-functions.     

On criteria of estimation of the errors of cubature formulas

The paper considers cubature formulas for calculating integrals of functions f(X), X = (x ₁, …, x _n ) which are defined on the n-dimensional unit hypercube K ⁿ = [0, 1] ⁿ and have integrable mixed derivatives of the kind \(\partial _{\begin{array}{*{20}c} {\alpha _1 \alpha _n } \\ {x_1 , \ldots , x_n } \\ \end{array} } f(X)\), 0 ≤ α _j ≤ 2. We estimate the errors R[f] = \(\smallint _{K^n } \) f(X)dX ? Σ _{k = 1} ^N c _k f(X(k)) of cubature formulas (c _k > 0) as functions of the weights c _k of nodes X(k) and properties of integrable functions. The error is estimated in terms of the integrals of the derivatives of f over r-dimensional faces (r≤n) of the hypercube K ⁿ : |R(f)| ≤ \(\sum _{\alpha _j } \) G(α _j )\(\int_{K^r } {\left| {\partial _{\begin{array}{*{20}c} {\alpha _1 \alpha _n } \\ {x_1 , \ldots , x_n } \\ \end{array} } f(X)} \right|} \) dX _r , where coefficients G(α _j ) are criteria which depend only on parameters c _k and X(k). We present an algorithm to calculate these criteria in the two- and n-dimensional cases. Examples are given. A particular case of the criteria is the discrepancy, and the algorithm proposed is a generalization of those used to compute the discrepancy. The results obtained can be used for optimization of cubature formulas as functions of c _k and X(k).     

A note on the Schrödinger maximal function

It is shown that control of the Schrödinger maximal function sup_{0 <t<1} ?e^itΔf? for f ∈ H^s(Rⁿ) requires s ≥ n/2(n + 1).     

Approximation properties of de la Vallée-Poussin means for piecewise smooth functions

The value of the deviation of a function f(x) from its de la Vallée-Poussin means V_mⁿ(f, x) with respect to the trigonometric system for classes of piecewise smooth 2π-periodic functions is estimated.     

Optimal cubature formulas for calculation of multidimensional integrals in weighted Sobolev spaces

Optimal cubature formulas are constructed for calculations of multidimensional integrals in weighted Sobolev spaces. We consider some classes of functions defined in the cube Ω = [-1, 1]^l, l = 1, 2,..., and having bounded partial derivatives up to the order r in Ω and the derivatives of jth order (r < j ≤ s) whose modulus tends to infinity as power functions of the form (d(x, Г))^-(j-r), where x ∈ Ω Г, x = (x₁,..., x_l), Г = ?Ω, and d(x, Г) is the distance from x to Г.     

Short cubic exponential sums over primes

For y ≥ x ^4/5 L ^8B+151 (where L = log(xq) and B is an absolute constant), a nontrivial estimate is obtained for short cubic exponential sums over primes of the form S ₃(α; x, y) = ∑ _x?y<n≤x Λ(n)e(αn ³), where α = a/q + θ/q ², (a, q) = 1, L ^32(B+20) < q ≤ y ⁵ x ^?2 L ^?32(B+20), |θ| ≤ 1, Λ is the von Mangoldt function, and e(t) = e ^2πit.     

On Extraction of Smooth Solutions of a Class of Almost Hypoelliptic Equations with Constant Power

A linear differential operator P(x, D) = P(x₁,... x _n , D₁,..., D _n ) = ∑_αγ_α(x)D^α with coefficients γ_α(x) defined in E ⁿ is called formally almost hypoelliptic in E ⁿ if all the derivatives D^ν_ξP(x, ξ) can be estimated by P(x, ξ), and the operator P(x, D) has uniformly constant power in Eⁿ. In the present paper, we prove that if P(x, D) is a formally almost hypoelliptic operator, then all solutions of equation P(x, D)u = 0, which together with some of their derivatives are square integrable with a specified exponential weight, are infinitely differentiable functions.     

Multivariate discriminant and iterated resultant

In this paper,we study the relationship between iterated resultant and multivariate discriminant.We show that,for generic form f(x_n) with even degree d,if the polynomial is squarefreed after each iteration,the multivariate discriminant △(f) is a factor of the squarefreed iterated resultant.In fact,we find a factor Hp(f,[x_1,...,x_n]) of the squarefreed iterated resultant,and prove that the multivariate discriminant △(f) is a factor of Hp(f,[x_1,...,x_n]).Moreover,we conjecture that Hp(f,[x_1,...,x_n]) = △(f) holds for generic form/,and show that it is true for generic trivariate form f(x,y,z).     

A Polynomial Time Algorithm for the Resource Allocation Problem with a Convex Objective Function

Consider the resource allocation problem:minimize ∑ⁿ_i=1 f_i(x_i) subject to ∑ⁿ_i=1 x_i = N and x_i's being nonnegative integers, where each f_i is a convex function. The well-known algorithm based on the incremental method requires O(N log n + n) time to solve this problem. We propose here a new algorithm based on the Lagrange multiplier method, requiring O[n²(log N)²] time. The latter is faster if N is much larger than n. Such a situation occurs, for example, when the optimal sample size problem related to monitoring the urban air pollution is treated.     

Fujita type conditions to heat equation with variable source

This paper studies heat equation with variable exponent u _t = Δu + u^p(x) + u ^q in ? ^N × (0, T), where p(x) is a nonnegative continuous, bounded function, 0 < p_? = inf p(x) ≤ p(x) ≤ sup p(x) = p₊. It is easy to understand for the problem that all nontrivial nonnegative solutions must be global if and only if max {p₊, q} ≤ 1. Based on the interaction between the two sources with fixed and variable exponents in the model, some Fujita type conditions are determined that that all nontrivial nonnegative solutions blow up in finite time if 0 < q ≤ 1 with p₊ > 1, or 1 < q < 1 + \(\frac{2}{N}\). In addition, if q > 1 + \(\frac{2}{N}\), then (i) all solutions blow up in finite time with 0 < p_? ≤ p₊ ≤ 1 + \(\frac{2}{N}\); (ii) there are both global and nonglobal solutions for p_? > 1 + \(\frac{2}{N}\); and (iii) there are functions p(x) such that all solutions blow up in finite time, and also functions p(x) such that the problem possesses global solutions when p_? < 1 + \(\frac{2}{N}\) < p₊.     

On Some Functional Equations and Representations of Topological Semigroups

Let a representation T of a semigroup G on a linear space X be given. We call x ∈ X a finite vector if its orbit T(G) is contained in a finite-dimensional subspace. In this paper, some statements about finite vectors are applied to the following problem. For a given positive integer n > 1, describe all continuous functions f : G → ? such that the function (x₁,..., x _n ) ? f(x₁ + ? + x _n ) can be polynomially expressed via functions of sums of fewer variables.