Picard values of <Emphasis Type="Italic">p</Emphasis>-adic meromorphic functions

We investigate Picard-Hayman behavior of derivatives of meromorphic functions on an algebraically closed field K, complete with respect to a non-trivial ultrametric absolute value. We present an analogue of the well-known Hayman’s alternative theorem both in K and in any open disk. Here the main hypothesis is based on the behaviour of |f|(r) when r tends to +∞ on properties of special values and quasi-exceptional values.We apply this study to give some sufficient conditions on meromorphic functions so that they satisfy Hayman’s conjectures for n = 1and for n = 2. Given a meromorphic transcendental function f, at least one of the two functions f′f and f′f ² assumes all non-zero values infinitely often. Further, we establish that if the sequence of residues at simple poles of a meromorphic transcendental function on K admits no infinite stationary subsequence, then either f′ + af ² has infinitely many zeros that are not zeros of f for every a ∈ K* or both f′ + bf ³ and f′ + bf ⁴ have infinitely many zeros that are not zeros of f for all b ∈ K*. Most of results have a similar version for unbounded meromorphic functions inside an open disk.     

Piecewise Constant Roughly Convex Functions

This paper investigates some kinds of roughly convex functions, namely functions having one of the following properties: -convexity (in the sense of Klötzler and Hartwig), -convexity and midpoint -convexity (in the sense of Hu, Klee, and Larman), -convexity and midpoint -convexity (in the sense of Phu). Some weaker but equivalent conditions for these kinds of roughly convex functions are stated. In particular, piecewise constant functions satisfying f(x) = f([x]) are considered, where [x] denotes the integer part of the real number x. These functions appear in numerical calculation, when an original function g is replaced by f(x):=g([x]) because of discretization. In the present paper, we answer the question of when and in what sense such a function f is roughly convex.     

Variational Principles in Curve Design

The paper considers Hermite interpolation for vector-valued functions. Corresponding to the interpolating functions f we define functionals I which contain function values of f^(r) and integrals of f^(r) where 0 ≤ r ≤ m for some integer m. The main purpose of the paper is to characterize those functions which satisfy the interpolation problem and have a minimal value of I. These characterizations contain several results of the literature including splines in tension and geometric splines.     

<Emphasis Type="Italic">C</Emphasis><Superscript>0</Superscript> transversality and shadowing properties

Let f be an Axiom A diffeomorphism of a closed smooth two-dimensional manifold. It is shown that the following statements are equivalent: (a) f satisfies the C ⁰ transversality condition, (b) f has the shadowing property, and (c) f has the inverse shadowing property with respect to a class of continuous methods.     

Error Bounds for Approximation with Neural Networks

In this paper we prove convergence rates for the problem of approximating functions f by neural networks and similar constructions. We show that the rates are the better the smoother the activation functions are, provided that f satisfies an integral representation. We give error bounds not only in Hilbert spaces but also in general Sobolev spaces W^m, r(Ω). Finally, we apply our results to a class of perceptrons and present a sufficient smoothness condition on f guaranteeing the integral representation.     

Morse theory for some lower-C 2 functions in finite dimension

Using inf-regularization methods, we prove that Morse inequalities hold for some lower-C ² functions. For this purpose, we first recall some properties of the class of lower-C ² functions and of their Moreau-Yosida approximations. Then, we establish, under some qualification conditions on the critical points, that it is possible to define a Morse index for a lower-C ² functionf. This index is preserved by the Moreau-Yosida approximation process. We prove in particular that the Moreau-Yosida approximations are twice continuolusly differentiable around such a critical point which is shown to be a strict local minimum of the restriction off and of its approximations to some affine space. In a last step, Morse inequalities are written for Moreau-Yosida approximations and with the aid of deformation retractions we prove that these inequalities also hold for some lower-C ² functions.     

Best Polynomial Approximations in <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript> and Widths of Some Classes of Functions

We obtain the exact values of extremal characteristics of a special form that connect the best polynomial approximations of functions f(x) ∈ L ₂ ^r (r ∈ ℤ₊) and expressions containing moduli of continuity of the kth order ω_k(f(^r), t). Using these exact values, we generalize the Taikov result for inequalities that connect the best polynomial approximations and moduli of continuity of functions from L ₂. For the classes (k, r, Ψ_*) defined by ω _k(f ^(r), t) and the majorant , we determine the exact values of different widths in the space L₂.__________Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 56, No. 11, pp. 1458–1466, November, 2004.     

New integral representations of nth order convex functions

In this paper we give an integral representation of an n-convex function f in general case without additional assumptions on function f. We prove that any n-convex function can be represented as a sum of two (n+1)-times monotone functions and a polynomial of degree at most n. We obtain a decomposition of n-Wright-convex functions which generalizes and complements results of Maksa and Páles (2009) [13]. We define and study relative n-convexity of n-convex functions. We introduce a measure of n-convexity of f. We give a characterization of relative n-convexity in terms of this measure, as well as in terms of nth order distributional derivatives and Radon-Nikodym derivatives. We define, study and give a characterization of strong n-convexity of an n-convex function f in terms of its derivative f(n+1)(x) (which exists a.e.) without additional assumptions on differentiability of f. We prove that for any two n-convex functions f and g, such that f is n-convex with respect to g, the function g is the support for the function f in the sense introduced by W?sowicz (2007) [29], up to polynomial of degree at most n.     

A note on the differentiability of conjugate functions

For a proper, lower semicontinuous and convex function f with Legendre–Fenchel conjugate f ^*, it is well-known that differentiability properties of f ^* are equivalent to strict convexity properties of f. In this note a result of this kind is obtained without a convexity assumption on f.     

Potential spaces and traces of Lévy processes on <Emphasis Type="Italic">h</Emphasis>-sets

Potential spaces and Dirichlet forms associated with Lévy processes subordinate to Brownian motion in ℝ ⁿ with generator f(−Δ) are investigated. Estimates for the related Rieszand Bessel-type kernels of order s are derived which include the classical case f(r) = r ^α/2 with 0 < α < 2 corresponding to α-stable Lévy processes. For general (tame) Bernstein functions f potential representations of the trace spaces, the trace Dirichlet forms, and the trace processes on fractal h-sets are derived. Here we suppose the trace condition ∫₀¹ r ⁻⁽ⁿ⁺¹⁾ f(r ⁻²)⁻¹ h(r) dr < ∞ on f and the gauge function h. Dedicated to the 80th birthday of Klaus Krickeberg     

Univalent Functions in Hardy Spaces in Terms of the Growth of Arc-Length

Pommerenke (1962) proved that for f univalent in the unit disk and 0<p<2, f∈H ^p if and only if ∫ ₀¹ M ₁ ^p (r,f′)dr<∞. In this paper, we prove that the result continues to be true for p slightly larger than 2, but is false for large p. Also, it turns out that the result is true for all p>0 when f is restricted to the class of close-to-convex functions. Finally, we discuss the membership of univalent functions in some related spaces of Dirichlet type.     

A finite element method for the solution of a potential theory integral equation

This paper discusses a finite element approximation for an integral equation of the second kind deduced from a potential theory boundary value problem in two variables. The equation is shown to admit a unique solution, to be variational and coercive in the Hilbert space of functions σ ε H^1/2(Γ), f_rd γ = 0. The Galerkin method with finite elements as trial functions is shown to lead to an optimal rate of convergence.     

A Generalization of the Direct and Inverse Problem for the Radial Schrödinger Equation

We consider the operators H₀= ?d²/dr² and H₁ = ?d²/dr² + V(r) (0< r< ∞) acting on a Hilbert space of complex functions f(r) such that the subspaces in which the operators are defined consist of twice differentiable functions which satisfy the boundary condition (d/dr)f(0) = αf(0). H₁ and H₀ are Hermitian in this subspace. Assuming V(r)→0 as r→∞ sufficiently rapidly, the scattering operator formalism is set up for the direct scattering problem. Next we consider the inverse problem of determining V(r) from H₀ and the spectral measure function for the spectrum of H₁ through the use of an appropriate Gelfand-Levitan equation. It is shown that generally the value of α associated with H₁ differs from that for H₀, i.e., H₁ and H₀ generally operate in different subspaces. Thus scattering cannot be defined. However, by changing the spectral measure function, one obtains a new Gelfand-Levitan equation such that H₁ is the same as before [i.e., α and V(r) are the same] from the operator H₀, which uses the same value of α as H₁. Thus H₁ and the new H₀ operate in the same subspace of Hilbert space, and scattering can be defined. The process of obtaining the new H₀ after finding H₁ from the old H₀ is somewhat analogous to renormalization in field theory, where a new H₀ is picked to have properties compatible with H₁. A necessary and sufficient condition on the spectral data is given which makes the domains of H₀ and H₁ coincide and thus makes “renormalization” unnecessary. The direct problem is a generalization of the usual l=0 radial Schrödinger equation. The inverse problem is a generalization of the corresponding inverse problem. It is also a generalization of the case α=0 for H₀ considered by Gelfand and Levitan in their early work on the inverse spectral problem. An incompletely understood connection of the inverse problem for the radial equation to solutions of the Korteweg-deVries equation in the half space is discussed. The existence of such a connection is one of the motivations for studying the generalized radial Schrodinger equation.     

On the existence of convex decompositions of partially separable functions

The concept of a partially separable functionf developed in [4] is generalized to include all functionsf that can be expressed as a finite sum of element functionsf _i whose Hessians have nontrivial nullspacesN _i , Such functions can be efficiently minimized by the partitioned variable metric methods described in [5], provided that each element functionf _i is convex. If this condition is not satisfied, we attempt toconvexify the given decomposition by shifting quadratic terms among the originalf _i such that the resulting modified element functions are at least locally convex. To avoid tests on the numerical value of the Hessian, we study the totally convex case where all locally convexf with the separability structureN _i ¹ have a convex decomposition. It is shown that total convexity only depends on the associated linear conditions on the Hessian matrix. In the sparse case, when eachN _i is spanned by Cartesian basis vectors, it is shown that a sparsity pattern corresponds to a totally convex structure if and only if it allows a (permuted) LDL^T factorization without fill-in.     

Sharp estimates for derivatives of functions in the Sobolev classes $$ \mathop {W_2^r }\limits^ \circ $$(−1,1)

Explicit formulas are obtained for the maximum possible values of the derivatives f ^(k)(x), x ∈ (−1, 1), k ∈ {0, 1, ..., r − 1}, for functions f that vanish together with their (absolutely continuous) derivatives of order up to ≤ r − 1 at the points ±1 and are such that $ \left\| {f^{\left( r \right)} } \right\|_{L_2 ( - 1,1)} \leqslant 1 $ \left\| {f^{\left( r \right)} } \right\|_{L_2 ( - 1,1)} \leqslant 1 . As a corollary, it is shown that the first eigenvalue λ _1,r of the operator (−D ²) ^r with these boundary conditions is $ \sqrt 2 $ \sqrt 2 (2r)! (1 + O(1/r)), r → ∞.     

An application of <Emphasis Type="Italic">H</Emphasis>-differentiability to nonnegative and unrestricted generalized complementarity problems

This paper deals with nonnegative nonsmooth generalized complementarity problem, denoted by GCP(f,g). Starting with H-differentiable functions f and g, we describe H-differentials of some GCP functions and their merit functions. We show how, under appropriate conditions on H-differentials of f and g, minimizing a merit function corresponding to f and g leads to a solution of the generalized complementarity problem. Moreover, we generalize the concepts of monotonicity, P ₀-property and their variants for functions and use them to establish some conditions to get a solution for generalized complementarity problem. Our results are generalizations of such results for nonlinear complementarity problem when the underlying functions are C ¹, semismooth, and locally Lipschitzian.     

Zero sets of holomorphic functions in the unit ball with slow growth

We study the zero-varieties of holomorphic functions in the unit ball satisfying the growth condition log |f(z)|≤c _fλ(|z|), where λ:(0,1)→ℝ⁺ is a positive increasing function. We obtain some sufficient conditions on an analytic variety to be defined by such a function. Some results for the particular case λ(r)=log(e/(1−r)), corresponding to the classA ^−∞, generalize those of B. Korenblum in one variable. Both authors supported by DGICYT grant PB92-0804-C02-02.     

Conditions for Error Bounds and Bounded Level Sets of Some Merit Functions for the Second-Order Cone Complementarity Problem

Recently this author studied several merit functions systematically for the second-order cone complementarity problem. These merit functions were shown to enjoy some favorable properties, to provide error bounds under the condition of strong monotonicity, and to have bounded level sets under the conditions of monotonicity as well as strict feasibility. In this paper, we weaken the condition of strong monotonicity to the so-called uniform P ^*-property, which is a new concept recently developed for linear and nonlinear transformations on Euclidean Jordan algebra. Moreover, we replace the monotonicity and strict feasibility by the so-called R ₀₁ or R ₀₂-functions to keep the property of bounded level sets. This work is partially supported by National Science Council of Taiwan.     

The Riesz Basis Property of an Indefinite Sturm-Liouville Problem with a Non-Odd Weight Function

For the Sturm-Liouville eigenvalue problem − f′′ = λrf on [−1, 1] with Dirichlet boundary conditions and with an indefinite weight function r changing its sign at 0 we discuss the question whether the eigenfunctions form a Riesz basis of the Hilbert space L ² _|r|[− 1, 1]. So far a number of sufficient conditions on r for the Riesz basis property are known. However, a sufficient and necessary condition is only known in the special case of an odd weight function r. We shall here give a generalization of this sufficient and necessary condition for certain generally non-odd weight functions satisfying an additional assumption.      

Values of the Euler Function in Various Sequences

Let ϕ(n) and λ(n) denote the Euler and Carmichael functions, respectively. In this paper, we investigate the equation ϕ(n)^r = λ(n)^s, where r ≥ s ≥ 1 are fixed positive integers. We also study those positive integers n, not equal to a prime or twice a prime, such that ϕ(n) = p − 1 holds with some prime p, as well as those positive integers n such that the equation ϕ(n) = f(m) holds with some integer m, where f is a fixed polynomial with integer coefficients and degree degf > 1.