The maximal (C, α, β) operator of two-parameter walsh-fourier series

The two-parameter dyadic martingale Hardy spacesH _p are introduced and it is proved that the maximal operator of the (C, α, β) means of a two-dimensional Walsh-Fourier series is bounded from H_p to L_p (1/(α+1), 1/(β+1)<p<∞) and is of weak type (H ₁ ^# , L₁), where the Hardy space H ₁ ^# is defined by the hybrid maximal function. As a consequence, we obtain that the (C, α, β) means of a function f∈H ₁ ^# converge a.e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on H_p whenever 1/(α+1), 1/(β+1)<p<∞. Thus in case f∈H_p, the (C, α, β) means converge to f in H_p norm. The same results are proved for the conjugate (C, α, β) means, too.     

Some inequalities for gradients of harmonic functions

For a function u(x, y) harmonic in the upper half-plane y>0 and represented by the Poisson integral of a function v(t) ∈ L ₂ (−∞,∞), we prove that the inequality is true. A similar inequality is obtained for a function harmonic in a disk. Odessa Marine University, Odessa. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 49, No. 8, pp. 1135–1136, August, 1997.     

On the generalised jump of a function by its Fourier coefficients

Summary Author studies the summability (C,1+α+ρ) of the sequence nB_n(x) under weaker conditions than those ofMinakishisundaram [3] and thus generalises his theorems. on the ? Jump of a function ? and by applying a tauberian theorem obtaing a criteria for the (C, α+ρ) summability of the conjugate series.     

A degenerate Hartman theorem

Consider a real analytic diffeomorphism,f:ℝ²→ℝ², withq as a non-hyperbolic fixed point andDf(q)=Id. Placing sufficient conditions on lowest-order non-linear terms in the expansion off, we show the function is topologically conjugate with a decoupled product map. The impetus for studying such a function arose in the classical three-body problem.     

Restricted maximal operators of Fejér means of double Walsh-Fourier series

The main aim of this paper is to prove that there exists a martingale f ∈ H ₁^2/▭ such that the restricted maximal operators of Fejér means of twodimensional Walsh-Fourier series and conjugate Walsh-Fourier series does not belong to the space weak-L _1/2.     

Some Arithmetical Properties of the Generating Power Series for the Sequence {ζ(2k+1)}k=1 ∞

Let f_odd(z):= ∑^∞ _k=1ζ(2k + 1)z^2k be the power series with the values of the Riemann ζ function at odd integers as coefficients. This function can be analytically continued to a meromorphic function over C. We prove that 1 and the values of f_odd at rational points with relatively prime denominators are linearly independent over ―Q. Some arithmetical properties of the sequence {ζ(2k+1)} _k=1 ^∞ are deduced. This revised version was published online in June 2006 with corrections to the Cover Date.     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too.     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too. This research was made while the author was visiting the Humboldt University in Berlin supported by the Alexander von Humboldt Foundation.     

Polynomial hulls and an optimization problem

We say that a subset of Cⁿ is hypoconvex if its complement is the union of complex hyperplanes. We say it is strictly hypoconvex if it is smoothly bounded hypoconvex and at every point of the boundary the real Hessian of its defining function is positive definite on the complex tangent space at that point. Let B_n be the open unit ball in Cⁿ.Suppose K is a C^∞ compact manifold in ∂B₁ × Cⁿ, n > 1, diffeomorphic to ∂B₁ × ∂B_n, each of whose fibers K_z over ∂B₁ bounds a strictly hypoconvex connected open set. Let K be the polynomialhull of K. Then we show that K∖K is the union of graphs of analytic vector valued functions on B₁. This result shows that an unnatural assumption regarding the deformability of K in an earlier version of this result is unnecessary. Next, we study an H^∞ optimization problem. If pis a C^∞ real-valued function on ∂B₁× Cⁿ, we show that the infimum γ_ρ = inf_ƒ∈H ^∞ (B₁)ⁿ ‖ρ(z, ƒ (z))‖_∞ is attained by a unique bounded ƒ provided that the set (z, w) ∈ ∂B₁ × C ⁿ|ρ(z, w) ≤ γ_ρ has bounded connected strictly hypoconvex fibers over the circle.     

The Singularities of the Distance Function Near Convex Boundary Points

In an open bounded set Ω, we consider the distance function from ∂Ω associated to a Riemannian metric with C ^1,1 coefficients. Assuming that Ω is convex near a boundary point x ₀, we show that the distance function is differentiable at x ₀ if and only if there exists the tangent space to ∂Ω at x ₀. Furthermore, if the distance function is not differentiable at x ₀ then there exists a Lipschitz continuous curve, with initial point at x ₀, such that the distance function is not differentiable along such a curve.      

Distribution functions of binary solutions (exact analytic solution)

We show that the general solution of the Ornstein-Zernike system of equations for multicomponent solutions has the form h_αβ=∑A _αβ ^j exp(-λ_jr)/r, where λ_j are the roots of the transcendental equation 1-ρΔ(λ_j)=0 and the amplitudes A_αβ ^j can be calculated if the direct correlation functions are given. We investigate the properties of this solution including the behavior of the roots A _αβ ^j and amplitudes A_αβ ^j in both the low-density limit and the vicinity of the critical point. Several relations on A_αβ ^j and C_αβ are found. In the vicinity of the critical point, we find the state equation for a liquid, which confirms the Van der Waals similarity hypothesis. The expansion under consideration is asymptotic because we expand functions in series in eigenfunctions of the asymptotic Ornstein-Zernike equation valid at r→∞. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 123, No. 3, pp. 500–515, June, 2000.     

Analytic functions over a field of power series

 We extend the notion of absolute convergence for real series in several variables to a notion of convergence for series in a power series field ℝ((t ^Γ)) with coefficients in ℝ. Subsequently, we define a natural notion of analytic function at a point of ℝ((t ^Γ))^m. Then, given a real function f analytic on a open box I of ℝ ^m , we extend f to a function f ^★ which is analytic on a subset of ℝ((t ^Γ)) ^m containing I. We prove that the functions f ^★ share with real analytic functions certain basic properties: they are , they have usual Taylor development, they satisfy the inverse function theorem and the implicit function theorem. Received: 5 October 2000 / Revised version: 19 June 2001 / Published online: 12 July 2002     

Inversion of a theorem on action of analytic functions and multiplicative properties of some subclasses of the hardy space H∞

In this paper, function spaces V∩l _A ^p (w) are considered in the context of their multiplicative structure. The space V is determined by conditions on the values of a function in a disk (for example, C_A,Lip _Aα). We denote by l _A ^p (w) the space of power series such that their Taylor coefficients are p-summable with weight w. For an analytic function Φ acting in a space of this type, we prove the following alternative: either Φ″(z)≡0, or the space is a Banach algebra with respect to pointwise multiplication. For a wide class of weights w, we establish the continuity of the identity embeddingmult(V∩l _A ^p (w))↪multl _A ^p . An estimate for the l^p-multiplicative norm of random polynomials is found. This estimate can be considered as an extension of the known result by Salem-Zygmund. Bibliography: 10 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 232, 1996, pp. 50–72. Translated by S. Shimorin.     

On the solutions of the translation equation in rings of formal power series

We study in this paper solutions of the translation equation in rings of formal power series K[X] where K ∈R, C (so called one-parameter groups or flows), and even, more generally, homomorphisms Ф from an abelian group (G, +) into the group Г(K) of invertible power series in K[X]. This problem can equivalently be formulated as the question of constructing homomorphisms Ф from (G, +) into the differential group Г¹∞ describing the chain rules of higher order of C∞ functions with fixed point 0. In this paper we present the general form of these homomorphisms Ф : G → Г(K) (or L¹∞),Ф = (f_n ⁿ≤1,forwhich f₁ = l, f₂ = ... = f_p+l =0,f_p+2 ≠ 0 for fixed, but arbitrary p ≤ 0 (see Theorem 5, Corollary 6 and Theorem 6). This representation uses a sequence (w _n ^p )_n≥p+2 of universal polynomials in f_p+2 and a sequence of parameters, which determines the individual one-parameter group. Instead of (w _n ^p )_n≥p+2 we may also use another sequence (L _n ^p )_n≥p+2 of universal polynomials, and we describe the connection between these forms of the solutions.     

Riemann summability of multi-dimensional trigonometric-fourier series

The d-dimensional classical Hardy spaces H_p(T ^d) are introduced and it is shown that the maximal operator of the Riemann sums of a distribution is bounded from H_p(T ^d) to L_p(T ²) (d/(d+1)<p≤∞) and is of weak type (1,1) provided that the supremum in the maximal operator is taken over a positive cone. The same is proved for the conjugate Riemann sums. As a consequence we obtain that every function f∈L₁(T ^d) is a. e. Riemann summable to f, provided again that the limit is taken over a positive cone. This research was partly supported by the Hungarian Scientific Research Funds (OTKA) No F019633.     

On the existence of bounded global hydromagnetic equilibria

Summary No proof is presently available of the existence of bounded global hydromagnetic equilibria apart from two peculiarly symmetric cases. The problem is here faced in the framework of the classical Riemann geometry, with the unknowns being the metric coefficients g_ik of the (smooth) mapping x=x(z), where x belongs to a (generally hollow) toroid and z ≡ (z¹, z², z³) are corresponding Hamada coordinates. Necessary and sufficient conditions are singled out in order to construct a local equilibrium about a given ? admissible ? toroidal initial surface z³=z ₀ ³ . These conditions include the (strong) solvability of a linear, doubly-periodic-with-unit-periods parabolic system in g₁₃, g₂₃ all over the plane ℝ² of (z¹, z²), uniformly w.r.t. the normalized volume z³; a requirement which is unlikely to be satisfied outside the above symmetry classes. Instead, under certain conjectured conditions, suitably defined ? weak ? equilibria can be obtained, starting from the same surface z³=z ₀ ³ , as formal power series of Δz³ ≡ z³−z ₀ ³ , whose coefficients are elements of the Hilbert space ℋ_Per(ℝ²) of the doubly-periodic-with unit-periods functions over ℝ². Convergence of this series (specifically, convergence in norm in the same ℋ_Per(ℝ²)) for small Δz³ appears reasonable for sufficiently smooth initial data. Such weak equilibria, both formal and analytic, can be given appealing interpretations from the physical point of view. Entrata in Redazione il 30 aprile 1978.     

Hybrid Conjugate Gradient Algorithm for Unconstrained Optimization

In this paper a new hybrid conjugate gradient algorithm is proposed and analyzed. The parameter β _k is computed as a convex combination of the Polak-Ribière-Polyak and the Dai-Yuan conjugate gradient algorithms, i.e. β _k ^N =(1−θ _k )β _k ^PRP +θ _k β _k ^DY . The parameter θ _k in the convex combination is computed in such a way that the conjugacy condition is satisfied, independently of the line search. The line search uses the standard Wolfe conditions. The algorithm generates descent directions and when the iterates jam the directions satisfy the sufficient descent condition. Numerical comparisons with conjugate gradient algorithms using a set of 750 unconstrained optimization problems, some of them from the CUTE library, show that this hybrid computational scheme outperforms the known hybrid conjugate gradient algorithms. N. Andrei is a member of the Academy of Romanian Scientists, Splaiul Independenţei nr. 54, Sector 5, Bucharest, Romania.     

A nodal basis of Cμ-rational spline functions on triangulations

Let ρ be a triangulation of a polygonal domain D⊂R² with vertices V={v_i:l≤i≤N_v} and RS^k(D, ρ)={u∈C^k(D): ≠ T∈ρ, u/_T is a rational function}. The purpose of this paper is to study the existence and construction of C^μ-rational spline functions on any triangulation ρ for CAGD. The Hermite problem H^μ(V,U)={find u∈U: D^αu(v_i)=D^αf(v_i),|α|≤μ} is solved by the generalized wedge function method in rational spline function family, i.e. U=RS^μ. this solution needs only the knowledge of partial derivatives of order≤μ at v_i. The explicit repesentations of all C^μ-GWF(generalized wedge functions)and the interpolating operator with degree of precision at least 2μ+1 for any triangulation are given.     

On isomorphity of measure-preserving ℤ<Superscript>2</Superscript>-actions that have isomorphic Cartesian powers

Assume that Δ and Π are representations of the group ℤ² by operators on the space L ₂(X, μ) that are induced by measure-preserving automorphisms, and for some d, the representations Δ^⨂d and Π^⨂d are conjugate to each other, Δ(ℤ² \(0, 0)) consists of weakly mixing operators, and there is a weak limit (over some subsequence in ℤ² of operators from Δ(ℤ²)) which is equal to a nontrivial, convex linear combination of elements of Δ(ℤ²) and of the projection onto constant functions. We prove that in this case, Δ and Π are also conjugate to each other. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 8, pp. 193–212, 2007.     

On the sets of branch points of mappings more general than quasiregular

It is shown that if a point x ₀ ∊ ℝ ⁿ , n ≥ 3, is an essential isolated singularity of an open discrete Q-mapping f : D → [`(\mathbb R<sup>n</sup>)] \overline {\mathbb {R}^n} , B <sub>f</sub> is the set of branch points of f in D; and a point z <sub>0</sub> ∊ [`(\mathbb Rⁿ)] \overline {\mathbb {R}^n} is an asymptotic limit of f at the point x ₀; then, for any neighborhood U containing the point x ₀; the point z ₀ ∊ [`(f( B<sub>f</sub> ?U ))] \overline {f\left( {B_f \cap U} \right)} provided that the function Q has either a finite mean oscillation at the point x <sub>0</sub> or a logarithmic singularity whose order does not exceed n − 1: Moreover, for n ≥ 2; under the indicated conditions imposed on the function Q; every point of the set [`(\mathbb Rⁿ)] \overline {\mathbb {R}^n} \ f(D) is an asymptotic limit of f at the point x ₀. For n ≥ 3, the following relation is true: [`(\mathbbR<sup>n</sup> )] \f( D ) ì [`(f B_f )] \overline {\mathbb{R}^n } \backslash f\left( D \right) \subset \overline {f\,B_f } . In addition, if ￥ ? f( D ) \infty \notin f\left( D \right) , then the set f B _f is infinite and x₀ ? [`(B_f )] x_0 \in \overline {B_f } .