arXiv subjects

Javier Sanz

Publications and source records attributed to Javier Sanz.

At least 19 recordsLinked to original sources

arXiv2026

Stability under product and composition for uniform Carleman asymptotic expansions

We study the stability under point-wise product and under composition in Carleman classes of holomorphic functions, defined on sectors of the Riemann surface of the logarithm, and admitting a uniform asymptotic expansion with remainders controlled by a given sequence of positive real numbers $\mathbf{M}$. On the one hand, the well-known conditions of algebrability and Fa\`a di Bruno, imposed on the sequence $\mathbf{M}$, ensure the desired stability with respect to each operation in both the Roumieu and the Beurling settings. On the other hand, these conditions turn out to be necessary for the corresponding stability in the Roumieu case as long as the existence of suitable characteristic functions, in a precise sense, is guaranteed within the class. The construction of such functions rests on classical results of B. Rodr\'iguez-Salinas, and is given in detail. Our results are inspired by, and thoroughly generalize, several partial statements by G.~Auberson and G.~Mennessier for Gevrey classes of order 1.

math.CV↗

arXiv2025

The Stieltjes moment problem in Gelfand-Shilov spaces defined by weight sequences in the absence of derivation closedness

The Stieltjes moment problem is studied in a new framework within the general Gelfand-Shilov spaces defined via weight sequences. The novelty consists of allowing for a naturally larger target space for the moment mapping, which sends a function to its sequence of Stieltjes moments. The motivation comes from a recent version of the Borel-Ritt theorem, concerning the surjectivity of the Borel mapping in Carleman-Roumieu ultraholomorphic classes in sectors, whose defining weight sequence is subject to the condition, weaker than derivation closedness, of having shifted moments. The injectivity and surjectivity of the moment mapping in this new setting is studied and, in some cases, characterized. Finally, results are provided for general weight sequences of fast and regular enough growth when the condition of shifted moments fails to hold.

math.FA↗

arXiv2025

Surjectivity of the asymptotic Borel map in Carleman ultraholomorphic classes defined by sequences with shifted moments

We prove several improved versions of the Borel-Ritt theorem about the surjectivity of the asymptotic Borel mapping in classes of functions with $\boldsymbol{M}$-uniform asymptotic expansion on an unbounded sector of the Riemann surface of the logarithm. While in previous results the weight sequence $\boldsymbol{M}$ of positive numbers is supposed to be derivation closed, a much weaker condition is shown to be sufficient to obtain the result in the case of Roumieu classes. Regarding Beurling classes, we are able to slightly improve a classical result of J. Schmets and M. Valdivia and reprove a result of A. Debrouwere, both under derivation closedness. Our new condition also allows us to obtain surjectivity results for Beurling classes in suitably small sectors, but the technique is now adapted from a classical procedure already appearing in the work of V. Thilliez, in its turn inspired by that of J. Chaumat and A.-M. Chollet.

math.CV↗

arXiv2023

Stability properties of ultraholomorphic classes of Roumieu-type defined by weight matrices

We characterize several stability properties, such as inverse or composition closedness, for ultraholomorphic function classes of Roumieu type defined in terms of a weight matrix. In this way we transfer and extend known results from J. Siddiqi and M. Ider, from the weight sequence setting and in sectors not wider than a half-plane, to the weight matrix framework and for sectors in the Riemann surface of the logarithm with arbitrary opening. The key argument rests on the construction, under suitable hypotheses, of characteristic functions in these classes for unrestricted sectors. As a by-product, we obtain new stability results when the growth control in these classes is expressed in terms of a weight sequence, or of a weight function in the sense of Braun-Meise-Taylor.

math.CV↗

arXiv2022

Optimal flat functions in Carleman-Roumieu ultraholomorphic classes in sectors

We construct optimal flat functions in Carleman-Roumieu ultraholomorphic classes associated to general strongly nonquasianalytic weight sequences, and defined on sectors of suitably restricted opening. A general procedure is presented in order to obtain linear continuous extension operators, right inverses of the Borel map, for the case of regular weight sequences in the sense of Dyn'kin. Finally, we discuss some examples (including the well-known $q$-Gevrey case) where such optimal flat functions can be obtained in a more explicit way.

math.CV↗

arXiv2022

Extension operators for some ultraholomorphic classes defined by sequences of rapid growth

While the asymptotic Borel mapping, sending a function into its series of asymptotic expansion in a sector, is known to be surjective for arbitrary openings in the framework of ultraholomorphic classes associated with sequences of rapid growth, there is no general procedure to construct extension operators in this case. We do provide such operators in complex sectors for some particular classes considered by S.~Pilipovi{ć}, N.~Teofanov and F.~Tomi{ć} in the ultradifferentiable setting. Although these classes are, in their words, "beyond Gevrey regularity", in some cases they keep the property of stability under differentiation, which is crucial for our technique, based on formal Borel- and truncated Laplace-like transforms with suitable kernels.

math.FA↗

arXiv2021

Equality of ultradifferentiable classes by means of indices of mixed O-regular variation

We characterize the equality between ultradifferentiable function classes defined in terms of abstractly given weight matrices and in terms of the corresponding matrix of associated weight functions by using new growth indices. These indices, defined by means of weight sequences and (associated) weight functions, are extending the notion of O-regular variation to a mixed setting. Hence we are extending the known comparison results concerning classes defined in terms of a single weight sequence and of a single weight function and give also these statements an interpretation expressed in O-regular variation.

math.FA↗

arXiv2020

Surjectivity of the asymptotic Borel map in Carleman-Roumieu ultraholomorphic classes defined by regular sequences

We study the surjectivity of, and the existence of right inverses for, the asymptotic Borel map in Carleman-Roumieu ultraholomorphic classes defined by regular sequences in the sense of E. M. Dyn'kin. We extend previous results by J. Schmets and M. Valdivia, by V. Thilliez, and by the authors, and show the prominent role played by an index associated with the sequence and introduced by Thilliez. The techniques involve regular variation, integral transforms and characterization results of A. Debrouwere in a half-plane, steming from his study of the surjectivity of the moment mapping in general Gelfand-Shilov spaces.

math.CA↗

arXiv2019

The surjectivity of the Borel mapping in the mixed setting for ultradifferentiable ramification spaces

We consider r-ramification ultradifferentiable classes, introduced by J. Schmets and M. Valdivia in order to study the surjectivity of the Borel map, and later on also exploited by the authors in the ultraholomorphic context. We characterize quasianalyticity in such classes, extend the results of Schmets and Valdivia about the image of the Borel map in a mixed ultradifferentiable setting, and obtain a version of the Whitney extension theorem in this framework.

math.FA↗

arXiv2019

Ultraholomorphic extension theorems in the mixed setting

The aim of this work is to generalize the ultraholomorphic extension theorems from V. Thilliez in the weight sequence setting and from the authors in the weight function setting (of Roumieu type) to a mixed framework. Such mixed results have already been known for ultradifferentiable classes and it seems natural that they have ultraholomorphic counterparts. In order to have control on the opening of the sectors in the Riemann surface of the logarithm for which the extension theorems are valid we are introducing new mixed growth indices which are generalizing the known ones for weight sequences and functions. As it turns out, for the validity of mixed extension results the so-called order of quasianalyticity (introduced by the second author for weight sequences) is becoming important.

math.CV↗

arXiv2019

Synchronizing Audio-Visual Film Stimuli in Unity (version 5.5.1f1): Game Engines as a Tool for Research

Unity is a software specifically designed for the development of video games. However, due to its programming possibilities and the polyvalence of its architecture, it can prove to be a versatile tool for stimuli presentation in research experiments. Nevertheless, it also has some limitations and conditions that need to be taken into account to ensure optimal performance in particular experimental situations. Such is the case if we want to use it in an experimental design that includes the acquisition of biometric signals synchronized with the broadcasting of video and audio in real time. In the present paper, we analyse how Unity (version 5.5.1f1) reacts in one such experimental design that requires the execution of audio-visual material. From the analysis of an experimental procedure in which the video was executed following the standard software specifications, we have detected the following problems desynchronization between the emission of the video and the audio; desynchronization between the temporary counter and the video; a delay in the execution of the screenshot; and depending on the encoding of the video a bad fluency in the video playback, which even though it maintains the total playback time, it causes Unity to freeze frames and proceed to compensate with little temporary jumps in the video. Finally, having detected all the problems, a compensation and verification process is designed to be able to work with audio-visual material in Unity (version 5.5.1f1) in an accurate way. We present a protocol for checks and compensations that allows solving these problems to ensure the execution of robust experiments in terms of reliability.

eess.AS↗

arXiv2019

Injectivity and surjectivity of the Stieltjes moment mapping in Gelfand-Shilov spaces

The Stieltjes moment problem is studied in the framework of general Gelfand-Shilov spaces defined via weight sequences. We characterize the injectivity and surjectivity of the Stieltjes moment mapping, sending a function to its sequence of moments, in terms of growth conditions for the defining weight sequence. Finally, a related moment problem at the origin is studied.

math.FA↗

arXiv2018

Multisummability in Carleman ultraholomorphic classes by means of nonzero proximate orders

We introduce a general multisummability theory of formal power series in Carleman ultraholomorphic classes. The finitely many levels of summation are determined by pairwise comparable, nonequivalent weight sequences admitting nonzero proximate orders and whose growth indices are distinct. Thus, we extend the powerful multisummability theory for finitely many Gevrey levels, developed by J.-P. Ramis, J. Écalle and W. Balser, among others. We provide both the analytical and cohomological approaches, and obtain a reconstruction formula for the multisum of a multisummable series by means of iterated generalized Laplace-like operators.

math.CV↗

arXiv2018

Indices of O-regular variation for weight functions and weight sequences

A plethora of spaces in Functional Analysis (Braun-Meise-Taylor and Carleman ultradifferentiable and ultraholomorphic classes; Orlicz, Besov, Lipschitz, Lebesque spaces, to cite the main ones) are defined by means of a weighted structure, obtained from a weight function or sequence subject to standard conditions entailing desirable properties (algebraic closure, stability under operators, interpolation, etc.) for the corresponding spaces. The aim of this paper is to stress or reveal the true nature of these diverse conditions imposed on weights, appearing in a scattered and disconnected way in the literature: they turn out to fall into the framework of O-regular variation, and many of them are equivalent formulations of one and the same feature. Moreover, we study several indices of regularity/growth for both functions and sequences, which allow for the rephrasing of qualitative properties in terms of quantitative statements.

math.FA↗

arXiv2018

Sectorial extensions for ultraholomorphic classes defined by weight functions

We prove an extension theorem for ultraholomorphic classes defined by so-called Braun-Meise-Taylor weight functions and transfer the proofs from the single weight sequence case from V. Thilliez [28] to the weight function setting. We are following a different approach than the results obtained in [11], more precisely we are working with real methods by applying the ultradifferentiable Whitney-extension theorem. We are treating both the Roumieu and the Beurling case, the latter one is obtained by a reduction from the Roumieu case.

math.FA↗

arXiv2018

Injectivity and surjectivity of the asymptotic Borel map in Carleman ultraholomorphic classes

We study the injectivity and surjectivity of the Borel map in three instances: in Roumieu-Carleman ultraholomorphic classes in unbounded sectors of the Riemann surface of the logarithm, and in classes of functions admitting, uniform or nonuniform, asymptotic expansion at the corresponding vertex. These classes are defined in terms of a log-convex sequence $\mathbb{M}$ of positive real numbers. Injectivity had been solved in two of these cases by S. Mandelbrojt and B. Rodríguez-Salinas, respectively, and we completely solve the third one by means of the theory of proximate orders. A growth index $ω(\mathbb{M})$ turns out to put apart the values of the opening of the sector for which injectivity holds or not. In the case of surjectivity, only some partial results were available by J. Schmets and M. Valdivia and by V. Thilliez, and this last author introduced an index $γ(\mathbb{M})$ (generally different from $ω(\mathbb{M})$) for this problem, whose optimality was not established except for the Gevrey case. We considerably extend here their results, proving that $γ(\mathbb{M})$ is indeed optimal in some standard situations (for example, as far as $\mathbb{M}$ is strongly regular) and puts apart the values of the opening of the sector for which surjectivity holds or not.

math.CV↗

arXiv2018

Log-convex sequences and nonzero proximate orders

Summability methods for ultraholomorphic classes in sectors, defined in terms of a strongly regular sequence $\mathbb{M}=(M_p)_{p\in\mathbb{N}_0}$, have been put forward by A. Lastra, S. Malek and the second author [1], and their validity depends on the possibility of associating to $\mathbb{M}$ a nonzero proximate order. We provide several characterizations of this and other related properties, in which the concept of regular variation for functions and sequences plays a prominent role. In particular, we show how to construct well-behaved strongly regular sequences from nonzero proximate orders. [1] A. Lastra, S. Malek and J. Sanz, Summability in general Carleman ultraholomorphic classes, J. Math. Anal. Appl. 430 (2015), 1175--1206.

math.CA↗

arXiv2018

Sectorial extensions, via Laplace transforms, in ultraholomorphic classes defined by weight functions

We prove several extension theorems for Roumieu ultraholomorphic classes of functions in sectors of the Riemann surface of the logarithm which are defined by means of a weight function or weight matrix. Our main aim is to transfer the results of V. Thilliez from the weight sequence case to these different, or more general, frameworks. The technique rests on the construction of suitable kernels for a truncated Laplace-like integral transform, which provides the solution without resorting to Whitney-type extension results for ultradifferentiable classes. As a byproduct, we obtain an extension in a mixed weight-sequence setting in which assumptions on the sequence are minimal.

math.FA↗