Related papers: Nonlinear phase unwinding of functions

This paper is the blueprint underlying the Lean formalization of the proof of Carleson's classical result asserting almost everywhere convergence of Fourier series of continuous functions. We break up the proof into two steps, a reduction…

Let $B_{R}$ be the ball in the euclidean space $\mathbb{R}^{n}$ with center 0 and radius $R$ and let $f$ be a complex-valued, infinitely differentiable function on $B_{R}.$ We show that the Laplace-Fourier series of $f$ has a holomorphic…

We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework…

Let $f$ be a finite Blaschke product with $f(0)=0$ which is not a rotation and let $f^{n}$ be its $n$-th iterate. Given a sequence $\{a_{n}\}$ of complex numbers consider $F= \sum a_n f^{n}$. If $\{a_n\}$ tends to $0$ but $\sum |a_n| =…

This paper complements the work done on simultaneous approximation results in classical Banach spaces, by focusing on approximation by finite Blaschke products. We prove the existence of a finite Blaschke product that approximates a…

We study the dynamics of a parametric family of rational functions of odd degree, where each function is a generalized Blaschke product that maps the unit circle onto itself. The action of the Blaschke product restricted to the unit circle…

We consider saddle point integrals in d variables whose phase function is neither real nor purely imaginary. Results analogous to those for Laplace (real phase) and Fourier (imaginary phase) integrals hold whenever the phase function is…

In this paper, a Fourier series in fractional dimensional space is introduced for an arbitrarily periodic function $f(t;\alpha)$. We call it fractional Fourier series of the order $\alpha$. Extending the basis functions of the linear space…

To, say, a proper algebraic or holomorphic space $X/S$, and a coherent sheaf ${\mathcal F}$ on $X$ we identify a functorial ideal, the fitted flatifier, blowing up sequentially in which leads to a flattening of the proper transform of…

In this paper I give an evaluation of a functional integral by means of a series in functional derivatives, first of all we propose a differential equation of first order and solve it by iterative methods, to obtain a series for the…

Factorial series played a major role in Stirling's classic book "Methodus Differentialis" (1730), but now only a few specialists still use them. This article wants to show that this neglect is unjustified, and that factorial series are…

The nonlinear Fourier transform, which is also known as the forward scattering transform, decomposes a periodic signal into nonlinearly interacting waves. In contrast to the common Fourier transform, these waves no longer have to be…

A class of Schr\"odinger-type second-order linear differential equations with a large parameter $u$ is considered. Analytic solutions of this type of equations can be described via (divergent) formal series in descending powers of $u$.…

We show that a nonvanishing analytic function on a domain in the unit disc can be approximated by (a scalar multiple of) a Blaschke product whose zeros lie on a prescribed circle enclosing the domain. We also give a new proof of the…

This is an anthology of series involving rational, factorial, and power functions expressed in terms of special functions. New finite expansions involving quotient functions expressed in terms of the Hurwitz-Lerch zeta function are given.…

Let $\varphi(x_1,\ldots,x_h,y) = u_1x_1 + \cdots + u_hx_h+vy$ be a linear form with nonzero integer coefficients $u_1,\ldots, u_h, v.$ Let $\mathcal{A} = (A_1,\ldots, A_h)$ be an $h$-tuple of finite sets of integers and let $B$ be an…

We establish new functional versions of the Blaschke-Santal\'o inequality on the volume product of a convex body which generalize to the non-symmetric setting an inequality of K. Ball and we give a simple proof of the case of equality. As a…

We here present three characterizations of not necessarily causal, rational functions which are (co)-isometric on the unit circle: (i) Through the realization matrix of Schur stable systems. (ii) The Blaschke-Potapov product, which is then…

For a Riemann integrable function on an interval and for a point therein,we define 'Fourier series at the point on the interval' and bring out how and when the function element becomes expressible as Fourier series.In this process,we also…

The construction of a multiresolution analysis starts with specification of a scale function. The Fourier transform of this function is defined by an infinite product. The convergence of this product is usually discussed in the context of…