Derivatives of Computable Functions

As is well known the derivative of a computable and C¹ function may not be computable. For a computable and C∞ function f, the sequence {f⁽ⁿ⁾} of its derivatives may fail to be computable as a sequence, even though its derivative of any order is computable. In this paper we present a necessary and sufficient condition for the sequence {f⁽ⁿ⁾} of derivatives of a computable and C^∞ function f to be computable. We also give a sharp regularity condition on an initial computable function f which insures the computability of its derivative f′.     

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     

The implicit function theorem in a non-Archimedean setting

In this paper, the inverse function theorem and the implicit function theorem in a non-Archimedean setting will be discussed. We denote by N any non-Archimedean field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order; and we study the properties of locally uniformly differentiable functions from Nⁿ to N^m. Then we use that concept of local uniform differentiability to formulate and prove the inverse function theorem for functions from Nⁿ to Nⁿ and the implicit function theorem for functions from Nⁿ to N^m with m<n.     

Lp-Computability

In this paper we investigate conditions for L^p-computability which are in accordance with the classical Grzegorczyk notion of computability for a continuous function. For a given computable real number p ≥ 1 and a compact computable rectangle I ? ?^q, we show that an L^p function f ∈ L^p(I) is L^P-computable if and only if (i) f is sequentially computable as a linear functional and (ii) the L^p-modulus function of f is effectively continuous at the origin of ?^q.     

Exposed points and extremal problems in H1 on a bidisc

An essential bounded function ? gives a continuous linear functional on the Hardy space H¹ on the bitorus. In this paper, we consider extremal problems on H¹ when ? is a rational function, ? is a product of one variable functions or ? = |f|/f for some outer function f in H¹ such that f(z, w) has a good property with respect to w for a.e. z. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Detecting and creating oscillations using multifractal methods

By comparing the Hausdorff multifractal spectrum with the large deviations spectrum of a given continuous function f, we find sufficient conditions ensuring that f possesses oscillating singularities. Using a similar approach, we study the nonlinear wavelet threshold operator which associates with any function f = ∑_j ∑_k d_j,k ψ _j,k ∈ L ²(?) the function series f^t whose wavelet coefficients are d ^t _j,k = d_j,k 1 , for some fixed real number γ > 0. This operator creates a context propitious to have oscillating singularities. As a consequence, we prove that the series f^t may have a multifractal spectrum with a support larger than the one of f . We exhibit an example of function f ∈ L ²(?) such that the associated thresholded function series f^t effectively possesses oscillating singularities which were not present in the initial function f . This series f^t is a typical example of function with homogeneous non‐concave multifractal spectrum and which does not satisfy the classical multifractal formalisms. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Evaluation Formulas for Conditional Function Space Integrals I

Abstract

In this article, we establish several explicit conditional function space integration formulas for functionals defined on a very general function space C _a,b [0,T]. The formulas we obtain are rather simple and don't involve function space integrals. In particular we obtain a formula for the conditional function space integral of each of the functionals exp{∫₀ ^T x(t)db(t)}, exp{?[∫₀ ^T x(t) db(t)]²}, and exp{? ∫₀ ^T x² (t) db(t)} which arise naturally in quantum mechanics.     

On Two Questions About Topological (and Nonstandard) Extensions

We construct, under MA, a non-Hausdorff (T₁-)topological extension ^*ω of ω, such that every function from ω to ω extends uniquely to a continuous function from ^*ω to ^*ω. We also show (in ZFC) that for every nontrivial topological extension ^*X of a countable set X there exists a topology τ_f on ^*X, strictly finer than the Star topology, and such that (^*X, τ_f) is still a topological extension of X with the same function extensions ^*f. This solves two questions raised by M. Di Nasso and M. Forti.     

Explicit expression of Cartan’s connection for Levi-nondegenerate 3-manifolds in complex surfaces,and identification of the Heisenberg sphere

We study effectively the Cartan geometry of Levi-nondegenerate C ⁶-smooth hypersurfaces M ³ in ℂ². Notably, we present the so-called curvature function of a related Tanaka-type normal connection explicitly in terms of a graphing function for M, which is the initial, single available datum. Vanishing of this curvature function then characterizes explicitly the local biholomorphic equivalence of such M ³ ⊂ ℂ² to the Heisenberg sphere ℍ³, such M’s being necessarily real analytic.     

Function Spaces with Exponential Weights I

In this paper we define weighted function spaces of type B^s_pq(u) and F^s_pq(u) on the Euclidean space IRⁿ, where u is a weight function of at most exponential growth. In particular, u(x) = exp(±|χ|) is an admissible weight. We prove some basic properties of these spaces, such as completeness and density of the smooth functions.     

Sur Prolungamento Delle Funzioni Della Prima Classe

It is proved that a setH inR ⁿ has Lebesgue null measure if any function which is the restriction toH of a Baire function defined inR ⁿ is the restriction toH of a derivative of an interval function.

---

---

Ricerca eseguita nell’ambito del progetto “Analisi Reale” cofinanziato MURST.     

Analysis of Symmetric Matrix Valued Functions

For any symmetric function f: ? ⁿ  → ? ⁿ , one can define a corresponding function on the space of n × n real symmetric matrices by applying f to the eigenvalues of the spectral decomposition. We show that this matrix valued function inherits from f the properties of continuity, Lipschitz continuity, strict continuity, directional differentiability, Fréchet differentiability, and continuous differentiability.     

A note on differential operators of infinite order

A sufficient condition for entire functions f and g to be such that the series ∑_m=0^∞f^(m)(0)g^(m)/m! represents an entire function is established; and in that case, the growth of the resulting function is described.     

On Two Questions About Topological (and Nonstandard) Extensions

We construct, under MA, a non-Hausdorff (T₁-)topological extension ^*ω of ω, such that every function from ω to ω extends uniquely to a continuous function from ^*ω to ^*ω. We also show (in ZFC) that for every nontrivial topological extension ^*X of a countable set X there exists a topology τ_f on ^*X, strictly finer than the Star topology, and such that (^*X, τ_f) is still a topological extension of X with the same function extensions ^*f. This solves two questions raised by M. Di Nasso and M. Forti.     

Approximation of the unit step function by a linear combination of exponential functions

We approximate the unit step function, which equals 1 if t ε [0, T] and equals 0 if t > T, by functions of the form ∑_{n = 1}^N Ax_n^N e^−λ_n^t/T, where each λ_n is a given positive constant. We find the coefficients A_n^(N) by minimizing the integrated square of the difference between the unit step function and the approximating function. We first solve the specialized case where each λ_n = n. The resulting sum can be shown to converge in the mean to the unit step function as N → ∞. The general case is then solved and some interesting properties of the numbers A_n^(N) are noted.     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript> error estimate of the finite volume element methods on quadrilateral meshes

In this paper the optimal L ² error estimates of the finite volume element methods (FVEM) for Poisson equation are discussed on quadrilateral meshes. The trial function space is taken as isoparametric bilinear finite element space on quadrilateral partition, and the test function space is defined as piecewise constant space on dual partition. Under the assumption that all elements on quadrilateral meshes are O(h ²) quasi-parallel quadrilateral elements, we prove convergence rate to be O(h ²) in L ² norm.     

Commutators of Littlewood-Paley operators

Let b ∈ Lloc(Rn) and L denote the Littlewood-Paley operators including the LittlewoodPaley g function,Lusin area integral and gλ* function. In this paper,the authors prove that the Lp boundedness of commutators [b,L] implies that b ∈ BMO(Rn) . The authors therefore get a characterization of the Lp-boundedness of the commutators [b,L]. Notice that the condition of kernel function of L is weaker than the Lipshitz condition and the Littlewood-Paley operators L is only sublinear,so the results obtained in the p...     

Sharp real-part theorems in the upper halfplane and similar estimates for harmonic functions

Explicit formulas for sharp coefficients in estimates of the modulus of an analytic function and its derivative in the upper half-plane are found. It is assumed that the boundary values of the real part of the function are in L ^p . As corollaries, sharp estimates for the modulus of the gradient of a harmonic function in \mathbb R₊² {\mathbb R}_{+}^2 are deduced. Besides, a representation for the best constant in the estimate of the modulus of the gradient of a harmonic function in \mathbb R₊ⁿ {\mathbb R}_{+}^n by the L ^p -norm of the boundary normal derivative is given, 1 \leqslant p \leqslant ￥ 1 \leqslant p \leqslant \infty . This representation is formulated in terms of an optimization problem on the unit sphere which is solved for p ∈ [1, n]. Bibliography: 6 titles.     

Raising approximation order of refinable vector by increasing multiplicity

An algorithm is presented for raising an approximation order of any given orthogonal multiscaling function with the dilation factor a. Let φ(x) = [φ1(x),φ2(x),…,φr(x)]T be an orthogonal multiscaling function with the dilation factor a and the approximation order m. We can construct a new orthogonal multiscaling function φnew(x) = [ φT(x). f3r 1(x),φr 2(x),…,φr s(x)}T with the approximation order m L(L ∈ Z ). In other words, we raise the approximation order of multiscaling function φ(x) by increasing its multiplicity. In addition, we discuss an especial setting. That is, if given an orthogonal multiscaling function φ(x) = [φ1 (x), φ2(x), …, φr(x)]T is symmetric, then the new orthogonal multiscaling function φnew(x) not only raise the approximation order but also preserve symmetry. Finally, some examples are given.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> approximation capability of RBF neural networks

L ^p approximation capability of radial basis function (RBF) neural networks is investigated. If g: R ₊¹ → R ¹ and ∈ L _loc ^p (R ⁿ ) with 1 ≤ p < ∞, then the RBF neural networks with g as the activation function can approximate any given function in L ^p (K) with any accuracy for any compact set K in R ⁿ , if and only if g(x) is not an even polynomial. Partly supported by the National Natural Science Foundation of China (10471017)